Superharmonicity of the fractional ground state
We prove that the positive ground state $u$ of the fractional Laplacian $(-Δ)^s$, $s\in (0,1)$, on an arbitrary open set $Ω$ satisfies $-Δu>λ_s(Ω)^{1/s}u$ in $Ω$. In one dimension, this yields strong concavity and settles a conjecture of Bañuelos, Kulczycki, and Méndez-Hernández. We establish a hierarchy of pointwise inequalities comparing different powers of the Laplacian. In balls, these inequalities give a quantitative Hessian estimate for $\log u$, and hence log-concavity in every dimension. By contrast, we show that log-concavity fails in general convex domains by constructing counterexamples in sufficiently thin ellipsoids. We also extend the superharmonicity principle to ground states of $ψ(-Δ)$ for complete Bernstein functions $ψ$.