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 point at which the residual vanishes. Moreover, for every operator with a nonempty graph, this decomposition yields a lower bound involving the residual infimum, and for maximally monotone operators it further yields a new characterization of type~(NI) in terms of the Haraux function. Finally, on $c_0$, we give a maximally monotone operator of type~(NI) for which the residual infimum is zero at some target but is not attained. This shows that the existence of a graph point at which the residual vanishes is strictly stronger than the vanishing of the residual infimum required in our proof.
We introduce a unified framework to establish the high-dimensional asymptotic behavior of maximal functions associated with radial log-concave probability densities, encompassing the maximal heat semigroup, Hardy-Littlewood maximal function over Euclidean balls, and, additionally, maximal spherical means. Namely, for a...
The goal of this work is to introduce a notion of mean curvature for level sets of functions in non-smooth spaces with Ricci curvature bounded below, and to prove that it satisfies sharp geometric inequalities. More precisely, we define a suitable Willmore functional $\mathcal{W}$ on Sobolev functions, whose domain of...
We prove an optimal Hardy inequality for every aperiodic, symmetric random walk in $\mathbb{Z}^2$ with finite variance. In particular, we verify null-criticality, and thus, optimality of the underlying Hardy weight. Under suitable moment conditions, we use fine asymptotics of the potential kernel due to Fukai and Uchiy...
Philipp Hake, Matthias Keller, Felix Pogorzelski· 0 citations
We prove that, among all measurable sets $\Omega\subset\mathbb{C}$ of prescribed Lebesgue measure, there exists a set maximizing the sum of the first $K$ eigenvalues ($K\geq 1$) of the associated Toeplitz operator on the Fock space. In the Fock setting, the case $K=1$ is well known, the optimal sets being balls of pres...
Fabio Nicola, Federico Riccardi, P. Tilli· 2 citations· ⚡1
We develop an abstract Banach principle in vector lattices and apply it to obtain lattice-theoretic versions of the individual and maximal ergodic theorems, without recourse to any measure representation. Considering a sequence of bounded operators with values in a Dedekind $\sigma$-complete vector lattice endowed with...
We study extremizers for a trilinear Stein-Weiss inequality on $\mathbb{R}^n$. Within the known boundedness region, we prove attainment under two additional assumptions: all six weight exponents are nonnegative, and at least one pair of Lebesgue exponents is admissible. The proof combines symmetric decreasing rearrange...
