{"id":"arxiv/2608.13139","url":"https://arxiv.org/abs/2608.13139","tags":["math.FA"],"score":0,"title":"Sharp Lower Bounds on the Haraux Function Beyond Reflexivity","domain":"math.FA","source":"arxiv","authors":["Weifeng Yang"],"reviews":0,"subject":"math.FA","summary":"We prove that the sharp $\\frac{1}{2}$ lower bound for the Haraux function holds for every maximally monotone operator of type~(NI) on an arbitrary real Banach space. This extends the result established in reflexive Banach spaces to arbitrary real Banach spaces. We also establish an exact decomposition at each graph point, showing that the local contribution to the Haraux function and a nonnegative residual sum to one half of the weighted squared displacement. Due to the equivalence between type~(NI) and quasidensity, this decomposition also yields the sharp bound without requiring a graph…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}