---
title: Fractional Hardy Inequalities
url: https://www.emergentmind.com/topics/fractional-hardy-inequalities
type: topic
---

# Fractional Hardy Inequalities

A fractional Hardy inequality is an inequality connecting a Hardy-type potential—typically singular near the boundary or a submanifold—against a nonlocal (fractional) Sobolev seminorm, quantifying the relationship between singular behavior and regularity of functions, often with sharp or optimal constants. These inequalities are fundamental in nonlinear analysis, the theory of nonlocal PDEs, and harmonic analysis, providing insight into function spaces, spectral theory, geometry, and variational problems involving nonlocal operators.

## 1. Core Definitions and Model Inequalities

Let $s\in(0,1)$, $p>1$, and $u$ a function (with appropriate vanishing or compact support conditions) in a domain $\Omega\subset\mathbb{R}^d$ or a more general measure-metric space. The prototypical (unweighted) fractional Hardy inequality in $\Omega$ states that
\[
\int_\Omega \frac{|u(x)|^p}{\delta(x)^{sp}} \, dx \leq C \iint_{\Omega\times\Omega} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dxdy,
\]
where $\delta(x)$ is the distance to the boundary $\partial\Omega$ (or, more generally, to a submanifold or singular set). The double integral is the Gagliardo seminorm defining the fractional Sobolev space $W^{s,p}(\Omega)$. The best constant $C$ depends on $(d,s,p)$ and the geometry of $\Omega$.

Weighted and submanifold variants appear frequently:
- For a flat submanifold $K$ of codimension $k$, $\mathrm{dist}(x,K) = |x_k|$, the inequality becomes
  \[
  \int_{\mathbb{R}^d} \frac{|u(x)|^p}{|x_k|^{sp}} dx \leq C \iint_{\mathbb{R}^d\times\mathbb{R}^d} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dxdy,
  \]
  and the critical regime $sp=k$ necessitates a logarithmic correction.

Fractional Hardy inequalities generalize local (first-order) Hardy inequalities and are intimately connected to potential theory for nonlocal operators, spectral theory, and embedding results for fractional Sobolev spaces.

## 2. Geometric and Analytical Conditions

The validity and sharpness of fractional Hardy inequalities depend on both analytical exponents and the geometry of the domain or singular set:

- **Fatness and Ahlfors/Assouad dimension conditions:** Uniform $(s,p)$-fatness (quantified using capacities or Hausdorff content) is frequently necessary and sufficient for Hardy inequalities in irregular or fractal domains [1305.4616], [2204.06636]. Fatness alone, however, can be insufficient without so-called “visibility” conditions or content regularity [1305.4616].
- **Visibility and John Domains:** Visibility of the boundary (conditioned via curves or their accessible points) ensures the local Hardy inequality holds, not just the global variant [1305.4616], [1709.03296].
- **Capacity-density and open-endedness:** A fractional capacity-density condition (in terms of sets attaining fractional capacities uniformly at small scales) characterizes the validity of pointwise and integral Hardy inequalities, and possesses a self-improvement property: if it holds for $(s,p,q)$, it holds for values in a neighborhood [2404.05222].

On general metric spaces with doubling and reverse-doubling measure, combining boundary capacitary Poincaré inequalities with Mazʹya-type arguments yields both pointwise and localized Hardy inequalities, showing sharp dependence on boundary codimension and scaling [2108.07209].

## 3. Extensions: Weighted, Submanifold, and Critical Inequalities

Fractional Hardy inequalities have been systematically extended in several directions:

- **Weighted Inequalities and Singular Weights:** By introducing weights of the form $d(x)^{-\alpha}$ or $|x_k|^{-a}$ in both the seminorm and potential term, one obtains sharp weighted inequalities with singularities not only on the boundary but on arbitrary flat submanifolds. The optimal parameter regime and exact constants were analyzed in detail in [2210.06760], [2409.13050], [2503.19057].
- **Critical Cases and Logarithmic Corrections:** When the homogeneity exponent $sp$ matches the codimension $k$ (i.e., $sp=k$), the classical power-law potential must be replaced by a potential with an optimal logarithmic correction. Such corrections are shown to be sharp via explicit construction of near-extremal functions [2407.10863], [2409.13050].
- **Supercritical Regimes ($sp>n$):** In the supercritical regime, fractional Hardy inequalities hold without further geometric conditions: every proper open subset of $\mathbb{R}^n$ admits the inequality [2204.06636]. In this case, the optimal constant depends only on exponents and dimension.

## 4. Best Constants and Sharpness

Sharp constants in fractional Hardy inequalities are of fundamental significance for applications to spectral theory and extremal problems:

- **Spectral Methods and Ground-State Representations:** The extremal value for the inequality is often computed using ground-state transform, semigroup representation, or explicit harmonic analysis, e.g., as in the works of Frank–Lieb–Seiringer [1602.04997], [2210.06760], [2211.05399], and for Dunkl and Hermite operators via $h$-harmonic expansion.
- **Remainder Terms:** For $p\geq 2$, exact ground-state splitting yields not only the optimal constant but also an explicit remainder (deficit) term, yielding fractional Hardy–Sobolev–Mazʹya inequalities [2503.19057], [2210.06760]. The strict positivity (for nontrivial $u$) of the remainder quantifies the gap to attainability.
- **Limit Cases:** Optimal constants recover the sharpest known local (first-order) Hardy constants as $s\uparrow 1$, and degenerate to explicit multiplicative constants as $s\downarrow 0$ [1802.02354], [2210.06760].

## 5. Broader Settings: Metric Measure Spaces and Non-Euclidean Structures

Fractional Hardy inequalities extend to a wide class of analytic and geometric settings:

- **Metric Measure Spaces with Doubling (Reverse-Doubling) Measures:** The inequalities are formulated via metric balls, capacities, and Poincaré inequalities, reflecting the interplay between measure growth, local geometry, and function space properties [1305.5181], [2108.07209], [2407.15197], [2404.05222].
- **Homogeneous Groups and Non-Euclidean Structures:** Homogeneous Lie groups and the Heisenberg group admit such inequalities via polar decomposition, with explicit constants dependent on the homogeneous dimension and quasi-norm [2410.08039], [2407.15197].
- **Fractional Hardy–Rellich Inequalities:** Higher-order variants (fractional Hardy–Rellich) are obtained for powers of the Laplacian, often using nonlocal Pohozaev or integration-by-parts identities. These yield explicit integral representations and relate to spectral properties of fractional Laplacians [2305.01976].

## 6. Related Inequalities and Applications

Fractional Hardy inequalities are central to several related themes:

- **Fractional Hardy–Sobolev–Mazʹya Inequalities:** The Hardy deficit controls an additional Sobolev hot term, interpolating between Hardy and Sobolev embeddings. Such inequalities are sharp on half-spaces, convex domains, and John domains (possibly weighted), with sharp constants and explicit range of exponents [1110.3604], [1709.03296], [2210.06760], [2503.19057].
- **Trace Inequalities:** Trace Hardy inequalities describe boundary behavior of nonlocal Dirichlet or Neumann problems, with explicit constants in terms of the extension method (Caffarelli–Silvestre) and geometric (convexity/mean-convexity) conditions [1110.3604].
- **Spectral Theory, Uncertainty Principles:** Fractional Hardy inequalities underpin uncertainty principles for fractional Laplacians and influence spectral gaps, heat kernel estimates, and stability in nonlocal evolution equations [2410.08039], [2207.12097].
- **Extension Operators and Removability:** The existence and boundedness of extension operators for fractional Sobolev spaces hinges on the validity of sharp Hardy inequalities, as does the removability theory for singular sets [1305.4616].

## 7. Open Problems and Research Directions

Key unresolved questions and recent advances include:

- **Optimal Constants in General Settings:** For general Orlicz and variable exponent spaces, the precise sharp constant remains unknown except in special cases [2009.06431]. Higher-dimensional, anisotropic, or double-phase variants are largely open.
- **Necessity and Sufficiency of Geometric Conditions:** Full characterization of the minimal geometric (fatness, visibility, accessibility) requirements for Hardy inequalities on irregular or fractal domains is an active area [1305.4616], [2404.05222].
- **Extensions to Nonlocal Operators:** Ongoing work addresses fractional Hardy inequalities for Dunkl-Laplacians, harmonic oscillators, graphs and quantum graphs, as well as for nonlocal Bregman–type forms [1602.04997], [2109.01704], [2207.12097].
- **Boundary Trace and Nonlocal Boundary Regularity:** The interaction of fractional Hardy potentials with nonlocal boundary data, trace spaces, and boundary regularity conditions is central for nonlocal PDE and free boundary problems [1110.3604], [1802.02354].
- **Logarithmic Improvements and Criticality:** The necessity and sharpness of logarithmic corrections in the critical case ($sp=k$ for codimension $k$ singularities) are established, but the full spectrum of endpoint behaviors in various geometries is incompletely understood [2407.10863], [2503.19057], [2409.13050].

For a comprehensive treatment of these directions and further refinements, see [1305.4616], [1305.5181], [2204.06636], [2210.06760], [2503.19057], [2410.08039], [2009.06431], [2407.15197], [2404.05222].

Source: https://www.emergentmind.com/topics/fractional-hardy-inequalities