---
title: Riesz Potential Inequalities
url: https://www.emergentmind.com/topics/riesz-potential-inequalities
type: topic
---

# Riesz Potential Inequalities

The Riesz potential inequalities comprise a spectrum of sharp, scale-sensitive bounds for fractional integration operators, fundamental to harmonic analysis, PDE theory, and geometric measure theory. The classical Riesz potential on $\mathbb{R}^n$ is defined by
$$
I_{\alpha}f(x) = \int_{\mathbb{R}^n} |x-y|^{\alpha-n} f(y)\,dy,\quad 0<\alpha<n,
$$
and its boundedness properties, extensions under weights, generalizations to rearrangement-invariant spaces, and connections to Sobolev embeddings and isoperimetric inequalities are central to modern functional analysis.

## 1. Classical and Weighted Riesz Potential Inequalities

The foundational result is the strong-type Sobolev embedding: for $1 < p < n/\alpha$, $q = np/(n-\alpha p)$,
$$
\|I_\alpha f\|_{L^q(\mathbb{R}^n)} \leq C \|f\|_{L^p(\mathbb{R}^n)},
$$
with the endpoint $p=1$ yielding only weak-type estimates:
$$
\|I_\alpha f\|_{L^{n/(n-\alpha),\infty}(\mathbb{R}^n)} \leq C \|f\|_{L^1(\mathbb{R}^n)}.
$$
Weighted versions involve the Muckenhoupt $A_{p,q}$ condition:
$$
[w]_{A_{p,q}} = \sup_Q \left( \int_Q w^q \right)^{1/q} \left( \int_Q w^{-p'} \right)^{1/p'} < \infty,
$$
where $Q$ ranges over cubes in $\mathbb{R}^n$ and $p, q$ satisfy the same scaling $1/p-1/q = \alpha/n$ [1207.5551].

Two-weight inequalities and sharp mixed $A_p$–$A_\infty$ conditions were established, with improvements for both weak and strong types, and further sharp “log-bump” sufficiency conditions involving Orlicz–Luxemburg norms and separated bump conditions [1207.5551]. For instance,
$$
\|I_\alpha (f \sigma)\|_{L^{q,\infty}(u)} \lesssim [u, \sigma]_{A_{s(p)}}^{1/q} [u]_{A_\infty'}^{1/p'} \|f\|_{L^p(\sigma)},
$$
where separated log-bump conditions yield the optimal range near the Sobolev scaling.

On spaces with non-doubling measures, good–$\lambda$ inequalities and related strong-type $L^p$–$L^q$ estimates for $w \in A_{p,q}(\mu)$ extend the theory beyond classical Lebesgue measure [2112.10640].

## 2. Rearrangement-Invariant and Endpoint Inequalities

For rearrangement-invariant (r.i.) Banach function spaces $X(\mathbb{R}^n)$ and $Y(\mathbb{R}^n)$, Riesz potential inequalities are characterized by Hardy-type one-dimensional inequalities. For a co-canceling (or canceling) homogeneous differential operator $L(D)$ of order $k<n$, Van Schaftingen, Raiţă, Hernandez, and Spector established that for $F \in X$ with $L(D)F=0$,
$$
\|I_\alpha F\|_{Y(\mathbb{R}^n)} \leq C \|F\|_{X(\mathbb{R}^n)}
$$
if and only if the associated 1D Hardy estimate holds:
$$
\left\| \int_s^\infty r^{-1+\alpha/n}f(r)\,dr \right\|_{Y(0,\infty)} \leq C \|f\|_{X(0,\infty)}.
$$
This framework encompasses Lebesgue, Orlicz, Lorentz-Zygmund, Orlicz-Lorentz, and borderline spaces such as $L^1(\log L)^r$ under differential constraints, including the cases where unweighted $I_\alpha : L^1 \to L^{n/(n-\alpha)}$ fails without constraints [2512.06352, 2501.07874].

The endpoint $L^1$-estimate for scalar potentials fails in the absence of constraints but is restored under co-canceling conditions (e.g., divergence-free fields), and further, for $L^1(\log L)^r$ type spaces, with optimal targets in Lorentz-Zygmund scales [2512.06352].

## 3. Exponential Integrability and Adams–Moser–Trudinger Inequalities

At the critical Sobolev index ($n/\alpha$), Riesz potentials saturate Sobolev embedding, and their integrability is of exponential order. The sharp Adams inequality on $\mathbb{R}^n$ is
$$
\sup_{\|f\|_{L^{n/\alpha}} + \|I_\alpha f\|_{L^{n/\alpha}} \leq 1} \int_{\mathbb{R}^n} \exp\left( \frac{1}{A_\alpha} |I_\alpha f(x)|^{n/(n-\alpha)} \right) dx < \infty,
$$
with the optimal constant $A_\alpha = |S^{n-1}|$ [1702.02078]. Analogous Moser–Trudinger inequalities hold for critical Sobolev spaces and extend to Riesz-subcritical kernels and domains, under explicit integrability and rearrangement conditions [1906.07784].

Generalizations include nonhomogeneous measure spaces, kernels with better decay at infinity, and applications to pseudo-differential operators, as well as to the hyperbolic space and domains with suitable Poincaré inequality [1906.07784].

## 4. Potential Inequalities on General Function Spaces and Structures

Riesz potential inequalities have been established fully on:
- **Orlicz, Orlicz–Morrey, and Generalized Orlicz–Morrey Spaces:** Characterized by sharp Zygmund-type integral inequalities, both for the potential and for commutators with BMO functions, with necessity and sufficiency [1310.6604].
- **Herz and Herz–Morrey–Hardy Spaces:** Including constant and variable exponent settings, with atomic and shell-wise decomposition techniques. Trace and Sobolev-type inequalities follow, and parameter optimality is demonstrated by precise counterexamples [2403.05929, 2411.13880].
- **Dunkl Analysis:** The Dunkl–Riesz potential replaces translation and Lebesgue measure by the Dunkl analogue, with weighted $(L^p,L^q)$ boundedness characterized by precise rearrangement conditions, and Sobolev embeddings with the Dunkl-dimension $2\gamma+d$ [1311.0400].

## 5. Pointwise Gradient and Operator Inequalities

Sharp pointwise gradient estimates for Riesz potentials relate the potential, its gradient, and lower-order “contiguous” potentials via variational and hypergeometric techniques. For $f$ bounded and supported away from $x$:
$$
|\nabla I_\alpha[f](x)|^2 \leq C N_\alpha(I_\alpha[f](x), I_{\alpha-2}[f](x)),
$$
where $N_\alpha$ is an explicit function arising from extremal variational principles [1803.11376].

For a large class of rough, non-smooth operators $T$ (including maximal, spherical, and principal value operators), pointwise bounds of the form
$$
|Tf(x)| \leq C I_1(|\nabla f|)(x)
$$
yield, via interpolation and weighted theory, Sobolev-type inequalities identical to those for the Riesz potential [2307.10417].

## 6. Isoperimetric and Reverse Inequalities

Riesz potential operators on $L^2(\Omega)$ exhibit sharp isoperimetric inequalities: for the Schatten $p$-norm, the ball maximizes the norm among all domains of fixed measure,
$$
\|I_\alpha\|_{p,\Omega} \leq \|I_\alpha\|_{p,B},\quad p > p_0 = d/\alpha,
$$
and similar extremal properties hold for all eigenvalues (Rayleigh-Faber-Krahn, Hong-Krahn-Szegö) [1506.06355].

Reverse triangle inequalities for Riesz potentials, linking sums of infima of potentials to the infimum of sums, are governed by sharp constants encoding the geometry and equilibrium measure of $E \subset \mathbb{R}^n$, with the farthest distance function representation as a Riesz potential being central [1307.6205].

## 7. Riesz Potential Inequalities on Manifolds and Further Directions

On manifolds with quadratic decay of curvature, Riesz potential inequalities are established via heat kernel and parametrix technology. Riesz and reverse Riesz transforms, Hardy, and weighted Sobolev inequalities are proven equivalent under such geometric conditions, with precise Lorentz–type endpoint bounds [2503.14864]. The harmonic annihilation method allows for the handling of leading asymptotic terms in the potential kernel.

Further directions concern non-Euclidean settings (e.g., Heisenberg groups), endpoint $L^1$ theory for non-convolution operators, trace inequalities, and compactness/isoperimetric phenomena for fractional potentials.

---

### Table: Key Types of Riesz Potential Inequalities

| Context/Space                 | Type/Estimate                                                         | Reference        |
|-------------------------------|-----------------------------------------------------------------------|------------------|
| Classical weighted Lebesgue   | $L^p(w^p) \to L^q(w^q)$ via $A_{p,q}$, log-bump conditions           | [1207.5551]      |
| Rearrangement-invariant, $L^1$| Co-canceling: $I_\alpha F: X \to Y$ iff Hardy 1D estimate             | [2512.06352]     |
| Adams/Moser–Trudinger         | $\int \exp( c |I_\alpha f|^{n/(n-\alpha)}) $ bounded (critical index) | [1702.02078]     |
| Orlicz–Morrey/Herz            | $I_\gamma: M_{\Phi,\varphi_1} \to M_{\Psi,\varphi_2}$ iff Zygmund cond| [1310.6604]      |
| Dunkl analysis                | Rearrangement-based $L^p \to L^q$ with Dunkl measure                  | [1311.0400]      |
| Lorentz endpoint, Manifold    | $I_\alpha: L^{\nu,1} \to L^{\nu,\infty}$, geometric Hardy equivalence | [2503.14864]     |

## References

* "One and two weight norm inequalities for Riesz potentials" [1207.5551].
* "Riesz potential estimates under co-canceling constraints" [2512.06352].
* "Adams inequalities for Riesz subcritical potentials" [1906.07784].
* "Sharp exponential integrability for critical Riesz potentials and fractional Laplacians on R^n" [1702.02078].
* "Reverse Triangle Inequalities for Riesz Potentials and Connections with Polarization" [1307.6205].
* "Isoperimetric inequalities for Schatten norms of Riesz potentials" [1506.06355].
* "Pointwise estimates for rough operators with applications to Sobolev inequalities" [2307.10417].
* "An $L^1$-type estimate for Riesz potentials" [1411.2318].
* "Some properties of the Riesz potentials in Dunkl analysis" [1311.0400].
* "Riesz and reverse Riesz on Manifolds with Quadratically Decaying Curvature" [2503.14864].
* "On the Riesz potential and its commutators on generalized Orlicz-Morrey spaces" [1310.6604].
* "Some Inequalities for Riesz Potential on Homogeneous Variable Exponent Herz-Morrey-Hardy Spaces" [2411.13880].
* "Trace Principle for Riesz Potentials on Herz-Type Spaces and Applications" [2403.05929].
* "Good lambda inequalities for non-doubling measures in $\mathbb{R}^n$" [2112.10640].
* "Sharp pointwise gradient estimates for Riesz potentials with a bounded density" [1803.11376].

Source: https://www.emergentmind.com/topics/riesz-potential-inequalities