Sharp Lower Bounds on the Haraux Function Beyond Reflexivity
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13139
curl -X POST /api/v1/records/arxiv/2608.13139/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13139/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'