Fractional Hardy inequalities on $C^{1,1}$ open sets

TL;DR

This work extends Brezis-Marcus type Hardy theory to the nonlocal fractional setting on bounded $C^{1,1}$ domains. It introduces the minimization functional $\mathfrak{J}_{\lambda,s}(\Omega)$ with the regional fractional Laplacian and Hardy weight, proving a sharp threshold $\lambda^*(s,\Omega)$ for attainment of the best Hardy constant $\mathfrak{h}_{N,s}$ and establishing attainment criteria for $\lambda>\lambda^*$. A new geometric fractional Hardy inequality is derived, adding a volume/geometry term $a(N,s)|\Omega_x|^{-{2s}/{N}}$ which sharpens the classical bound and yields convex-domain lower bounds $\lambda^*(s,\Omega)\ge a(N,s)|\Omega|^{-2s/N}$. The paper also analyzes asymptotics as $s\to\tfrac{1}{2}^+$, showing $\mu_{N,s}(\Omega)=\mathfrak{h}_{N,s}$ for small $s$ in convex domains and demonstrating non-attainment of the Hardy constant near $s=\tfrac{1}{2}$ in general, highlighting qualitative differences from the local case. These results advance the understanding of fractional Hardy inequalities and their geometric and asymptotic structure.

Abstract

Let $Ω$ be a bounded open set of class $C^{1,1}$ in $\mathbb{R}^N$ and $s\in(\frac{1}{2}, 1)$. We study a family of fractional Hardy-type inequalities \begin{equation} \frac{c_{N,s}}{2}\displaystyle\iint_{Ω\timesΩ}\frac{(u(x)-u(y))^2}{|x-y|^{N+2s}}\ dxdy-\displaystyleλ\int_Ωu^2\ dx\geq C\displaystyle\int_Ω\frac{u^2}{δ^{2s}}\ dx,~~~\quad\forallλ\in\mathbb{R},~~~~~~~(0.1) \end{equation} with $u\in C_c^\infty(Ω)$ and $C=C(Ω,s,N,λ)>0$. We show that the best constant in $(0.1)$ is achieved if and only if $λ>λ^*(s,Ω)$, for some $λ^*(s,Ω)\in\mathbb{R}$. As a by-product, we derive in particular that the best constant in Hardy inequality $μ_{N,s}(Ω)$ is achieved if and only if $μ_{N,s}(Ω)<\mathfrak{h}_{N,s}$, with $\mathfrak{h}_{N,s}$ being the best constant for the fractional Hardy inequality in the half space. Moreover, if $Ω$ is a convex open set, we obtain a lower bound for $λ^*(s,Ω)$ in terms of the volume of $Ω$. Specifically, we prove that $λ^*(s,Ω)\geq a(N,s)|Ω|^{-\frac{2s}{N}}$ with an explicit constant $a(N,s)>0$. For general bounded $C^{1,1}$ open sets, we prove instead that $λ^*(s,Ω)\geq0$ when $s$ is close to $\frac{1}{2}$. The aforementioned result is proved after showing that $μ_{N,s}(Ω)=\mathfrak{h}_{N,s}$ for $s$ close to $\frac{1}{2}$. In particular, we deduce that, whenever $s$ is sufficiently close to $\frac{1}{2}$, the Hardy constant $μ_{N,s}(Ω)$ is never achieved, hence, behaves differently from that in the local case. This result is completely new in the fractional setting, and was known only for convex open sets for the full range $s\in(\frac{1}{2}, 1)$.

Theorems & Definitions (37)

• Theorem 1.1
• Theorem 1.2
• Corollary 1.3
• Theorem 1.4
• Theorem 1.5
• Theorem 1.6
• Remark 1.7
• Lemma 2.1
• proof
• Lemma 2.2