---
title: Affine Hardy–Littlewood–Sobolev Inequality
url: https://www.emergentmind.com/topics/affine-hardy-littlewood-sobolev-inequality
type: topic
---

# Affine Hardy–Littlewood–Sobolev Inequality

Searching arXiv for recent and foundational papers on affine Hardy–Littlewood–Sobolev inequalities.
Affine Hardy–Littlewood–Sobolev inequalities are affine-invariant refinements of the classical Hardy–Littlewood–Sobolev (HLS) inequality on $\mathbb R^n$. Their defining feature is that the Euclidean Riesz-kernel bilinear form is replaced, or interpolated, by a geometric quantity derived from a star-shaped body attached to one function or to a pair of functions. The resulting inequalities are invariant under translations and volume-preserving linear maps, and the recent literature treats both the diagonal case and a genuinely two-function version. In this sense, affine HLS theory strengthens the classical sharp HLS inequality by inserting an affine-geometric layer between the norm product and the kernel integral [2212.12194, 2508.01176].

## 1. Classical template and the motivation for an affine refinement

The classical HLS inequality is the analytic model for the affine theory. In one standard sharp formulation, if $0<\lambda<N$ and
\[
p=\frac{2N}{2N-\lambda},
\]
then
\[
\iint_{\mathbb R^N\times\mathbb R^N}\frac{f(x)\,g(y)}{|x-y|^\lambda}\,dx\,dy
\le C_{N,\lambda}\,\|f\|_{p}\,\|g\|_{p},
\]
with sharp constant
\[
C_{N,\lambda}
=
\pi^{\lambda/2}\,
\frac{\Gamma\!\left(\frac{N-\lambda}{2}\right)}{\Gamma\!\left(N-\frac{\lambda}{2}\right)}
\left(\frac{\Gamma(N)}{\Gamma(N/2)}\right)^{1-\lambda/N},
\]
and equality iff $f$ and $g$ are proportional to a common translate and dilation of
\[
H(x)=(1+|x|^2)^{-(2N-\lambda)/2}.
\]
This classical optimizer family is the bubble family [1010.5821].

The two-function HLS inequality may also be written in the form: for $p,r>1$, $0<\alpha<n$, and
\[
\frac1p+\frac1r-\frac{\alpha}{n}=1,
\]
one has
\[
C(n,\alpha,p)\,\|f\|_p\,\|h\|_r
\ge
\left|
\int_{\mathbb R^n}\int_{\mathbb R^n}\frac{f(x)h(y)}{|x-y|^{\,n-\alpha}}\,dx\,dy
\right|
\]
for nonnegative $f\in L^p(\mathbb R^n)$ and $h\in L^r(\mathbb R^n)$ [2508.01176].

What the affine theory changes is not the scaling relation but the symmetry class of the inequality. The classical sharp HLS inequality is invariant under translations, rotations, dilations, and conformal transformations, but the affine literature emphasizes that it is not invariant under volume-preserving linear maps. The affine refinement is designed precisely to restore invariance under translations and $SL(n)$-transformations, thereby capturing anisotropic information that the Euclidean kernel alone does not record [2212.12194].

## 2. Geometric formulation through star bodies and dual mixed volumes

The central affine object is a star-shaped set built from the correlation structure of one or two functions. In the two-function theory, for $0<\alpha<n$, the star-shaped set $S_\alpha(f,h)$ is defined by its radial function
\[
\rho_{S_\alpha(f,h)}^\alpha(\xi)
=
\int_0^\infty t^{\alpha-1}\int_{\mathbb R^n} h(x)\,f(x+t\xi)\,dx\,dt,
\qquad
\xi\in \mathbb R^n\setminus\{0\}.
\]
This is the geometric object that replaces the usual convolution-type integral in the affine theory [2508.01176].

In the diagonal case, the corresponding body $S_\alpha f$ is defined by
\[
\rho_{S_{\alpha}f}(\xi)^\alpha
=
\alpha\int_0^\infty t^{\alpha-1}\!\int_{\mathbb R^n} f(x)f(x+t\xi)\,dx\,dt,
\]
and its volume is
\[
|S_{\alpha}f|
=
\frac1n\int_{S^{n-1}}\rho_{S_{\alpha}f}(\xi)^n\,d\xi.
\]
This body transforms naturally under volume-preserving linear maps:
\[
S_{\alpha}(f\circ \phi^{-1})=\phi(S_{\alpha}f),
\qquad
\phi\in SL(n),
\]
and, in the two-function formulation,
\[
S_\alpha(f\circ\phi^{-1},\,h\circ\phi^{-1})=\phi\,S_\alpha(f,h).
\]
The same reformulation is also invariant under the same translation of $f$ and $h$ [2212.12194, 2508.01176].

The bridge to convex geometry is the dual mixed volume
\[
\widetilde V_\alpha(K,L)
=
\frac1n\int_{S^{n-1}}
\rho_K(\xi)^{n-\alpha}\rho_L(\xi)^\alpha\,d\xi.
\]
A key identity is
\[
\int_{\mathbb R^n}\int_{\mathbb R^n}
\frac{f(x)h(y)}{\|x-y\|_K^{\,n-\alpha}}\,dx\,dy
=
n\,\widetilde V_\alpha\!\bigl(K,S_\alpha(f,h)\bigr),
\]
which converts an analytic kernel integral into a dual mixed volume. This identity is the structural reason the affine HLS theory is genuinely affine rather than merely anisotropic [2508.01176].

## 3. Sharp diagonal affine Hardy–Littlewood–Sobolev inequalities

The 2022 affine theory establishes sharp affine HLS inequalities for nonnegative functions on $\mathbb R^n$ in both the direct regime $0<\alpha<n$ and the reverse regime $\alpha>n$, and states that these inequalities are significantly stronger than, and directly imply, the sharp HLS inequalities of Lieb and of Beckner, Dou, and Zhu [2212.12194].

For $0<\alpha<n$, the diagonal theory is expressed through the body $S_\alpha f$, the volume $|S_\alpha f|$, and the classical Riesz-kernel integral. Equality in the affine inequality is attained precisely by an affine bubble family:
\[
f(x)=a\bigl(1+b\,|\phi(x-x_0)|^2\bigr)^{-(n+\alpha)/2},
\]
with $a,b>0$, $x_0\in\mathbb R^n$, and $\phi\in GL(n)$ with $\det\phi=1$. In the comparison inequality with the classical kernel integral, equality holds iff $f$ is radially symmetric [2212.12194].

For $\alpha>n$, the same framework yields a sharp reverse affine HLS inequality. The extremals are again of bubble type, with the same affine freedom, and the affine result strengthens the reverse HLS inequalities previously obtained by Beckner and by Dou–Zhu [2212.12194].

These diagonal results already show the distinctive logic of affine HLS theory. The Euclidean kernel is not discarded; rather, it is embedded into a stronger inequality whose middle term depends on the affine geometry of the associated star body. The sharp constant is still the classical sharp HLS constant, but the affine middle term contains additional geometric information [2212.12194].

## 4. Generalized two-function affine inequalities and the reverse regime

A further development is the generalized affine HLS inequality for two different functions. For $n\ge 1$, $1<p,r<\infty$, $0<\alpha<n$, and
\[
\frac1p+\frac1r-\frac{\alpha}{n}=1,
\]
there exists $C(n,\alpha,p)>0$ such that for all nonnegative $f\in L^p(\mathbb R^n)$ and $h\in L^r(\mathbb R^n)$ the norm product dominates an affine-invariant term expressed by the volume of $S_\alpha(f,h)$, and this affine term in turn dominates the classical HLS bilinear form. The affine strengthening is exactly that the middle term is affine-invariant and sits between the $L^p\times L^r$ norm product and the classical HLS bilinear form [2508.01176].

When $f=h$ and
\[
p=r=\frac{2n}{n+\alpha},
\]
the generalized inequality recovers the earlier affine HLS inequality of Haddad–Ludwig [2508.01176]. Thus the two-function theory is not a separate branch; it is an extension of the original diagonal affine inequality.

The equality structure is explicit in the critical case. Equality in the first inequality of Theorem 1.1 forces
\[
h \text{ to be a translate of } a_0 f,
\qquad
f(x)=a\bigl(b^2+|\phi(x-x_0)|^2\bigr)^{-(n+\alpha)/2},
\]
with $a\in\mathbb R$, $a_0\in\mathbb R$, $b\neq 0$, $\phi\in GL(n)$, and $x_0\in\mathbb R^n$. Equality in the second inequality is attained precisely when $f$ and $h$ are radially symmetric [2508.01176].

The reverse regime is parallel but with reversed order. For $\alpha>n$, if $0<p,r<1$ and
\[
\frac1p+\frac1r-\frac{\alpha}{n}=1,
\]
then the generalized affine theory gives the reversed affine statement: the norm product is bounded above by the affine term, and the affine term is bounded above by the classical reverse HLS integral. This strengthens the reversed classical HLS inequality of Dou–Zhu and Beckner. In the critical case, the same extremal family appears, while equality in the comparison with the Euclidean integral again occurs when $f$ and $h$ are radially symmetric [2508.01176].

## 5. Log-concave and $s$-concave refinements

Affine HLS theory extends beyond sharp $L^p$ inequalities into reverse inequalities for log-concave and $s$-concave functions. In the two-function setting, the reverse inequalities are formulated using $S_\alpha(f,h)$ and a normalized radial mean body
\[
R_\alpha(f,h)
=
\left(\frac{\alpha}{\int_{\mathbb R^n} f h\,dx}\right)^{1/\alpha}S_\alpha(f,h),
\qquad
\alpha>0.
\]
For $-1<\alpha<0$, the same paper defines
\[
R_\alpha(f,h)
=
\left(\frac{|\alpha|}{\int_{\mathbb R^n} f h\,dx}\right)^{1/\alpha}\Pi_{2,-}^{*,-\alpha/2}(f,h)
\]
[2508.01176].

For even log-concave $f,h\in L^2(\mathbb R^n)$, Theorem 1.3 gives reverse inequalities in terms of $|S_\alpha(f,h)|$, $\|f\|_1\|h\|_1$, and $\int_{\mathbb R^n} f(x)h(x)\,dx$, with one form for $0<\alpha<n$ and the reversed ordering for $\alpha>n$. In both regimes, equality in the first inequality occurs iff
\[
f(x)=h(x)=a\,e^{-\|x-x_0\|_\triangle},
\]
where $a\ge 0$, $x_0\in\mathbb R^n$, and $\triangle$ is an $n$-dimensional simplex with a vertex at the origin [2508.01176].

A major structural result is the monotonicity inclusion: for nonzero even log-concave $f,h\in L^2(\mathbb R^n)$ and $0<\alpha<\beta<\infty$,
\[
\frac{1}{\Gamma(\beta+1)^{1/\beta}}R_\beta(f,h)
\subseteq
\frac{1}{\Gamma(\alpha+1)^{1/\alpha}}R_\alpha(f,h).
\]
For nonzero even $s$-concave $f,h\in L^2(\mathbb R^n)$ with $s>0$,
\[
\frac{1}{\bigl((n+2/s)\,B(\beta+1,n+2/s)\bigr)^{1/\beta}}R_\beta(f,h)
\subseteq
\frac{1}{\bigl((n+2/s)\,B(\alpha+1,n+2/s)\bigr)^{1/\alpha}}R_\alpha(f,h),
\qquad
0<\alpha<\beta<\infty.
\]
The paper states that the log-concave theorem is recovered as $s\to 0^+$, and that the indicator-function limit recovers the classical radial mean body inclusions of Gardner–Zhang [2508.01176].

The diagonal affine theory also yields affine fractional $L^2$ Sobolev inequalities. For $0<\alpha<1/2$, the affine fractional Sobolev body $\Pi_{2,\alpha}f$ is defined by
\[
\rho_{\Pi_{2,\alpha}f}(\xi)^{-2\alpha}
=
\int_0^\infty t^{-1-2\alpha}
\int_{\mathbb R^n}\bigl(f(x+t\xi)-f(x)\bigr)^2\,dx\,dt,
\]
and the reverse inequality for log-concave $f\in L^2(\mathbb R^n)$ is
\[
\left(\frac{\Gamma(n+1)\Gamma(1-2\alpha)}{\Gamma(n+1-2\alpha)}\right)^{1/2\alpha}
|\Pi_{2,\alpha}f|
\le
\|f\|_2^2,
\]
with equality for simplex-exponential functions of the form
\[
f(x)=a\,e^{-\|x-x_0\|_A},
\]
where $A$ is an $n$-simplex with a vertex at the origin [2212.12194].

## 6. Proof architecture, rearrangement, and extremal structure

The affine proofs are built on a synthesis of affine convex geometry and rearrangement theory. The analytic input is converted into a geometric statement through the dual mixed volume identity
\[
\iint \frac{f(x)f(y)}{|x-y|_K^{n-\alpha}}\,dx\,dy
=
n\,\widetilde V_\alpha(K,S_\alpha f),
\]
or its two-function counterpart, and the geometric input is the dual mixed volume inequality. For $0<\alpha<n$,
\[
\widetilde V_{\alpha}(K,L)\le |K|^{(n-\alpha)/n}|L|^{\alpha/n},
\]
while for $\alpha>n$ the inequality reverses, with equality iff $K$ and $L$ are dilates [2212.12194].

The rearrangement step is equally central. For $0<\alpha<n$, the two-function theory proves
\[
|S_\alpha(f,h)|\le |S_\alpha(f^\star,h^\star)|,
\]
where $f^\star,h^\star$ are symmetric decreasing rearrangements. Equality, under the strict monotonicity hypotheses on the rearrangements, is characterized by Burchard’s equality case in the Riesz rearrangement inequality: there must exist $\phi\in GL(n)$ and translations such that $f$ and $h$ are translates of $f^\star\circ\phi^{-1}$ and $h^\star\circ\phi^{-1}$. For $\alpha>n$, the reverse theory proves
\[
|S_\alpha(f,h)|\ge |S_\alpha(f^\star,h^\star)|,
\]
provided $|S_\alpha(f,h)|<\infty$, again with equality characterized through ellipsoids and translates of volume-preserving linear images of the rearrangements [2508.01176].

This proof architecture distinguishes affine HLS from some classical sharp HLS methods. The classical sharp HLS inequality on $\mathbb R^N$ also has a rearrangement-free proof based on stereographic projection, a center-of-mass normalization, second variation, and the Funk–Hecke theorem, with rigidity obtained from spherical harmonic eigenvalue comparisons [1010.5821]. Affine HLS sharpness, by contrast, is presently tied in the cited literature to the star-body formalism, dual mixed volumes, and rearrangement inequalities [2212.12194, 2508.01176].

## 7. Relation to other HLS variants and common points of confusion

A common confusion is to treat any anisotropic or geometric HLS inequality as an affine HLS inequality. The literature separates several distinct directions.

The sharp upper-half-space HLS inequality is a conformal extension, not an affine one. It studies the extension kernel
\[
E_a f(x)=\int_{\mathbb R^{n-1}}\frac{f(y)}{|x-y|^{\,n-a}}\,dy,
\qquad
x\in\mathbb R^n_+,
\]
and exploits the conformal equivalence between the upper half-space and the ball. Extremals are classified in the critical case by the method of moving spheres and have the standard bubble form. The geometric invariance here is Möbius-type rather than $SL(n)$-invariance [1309.2341].

The Heisenberg-group and Zygmund-dilation theories are likewise not affine HLS theories in the convex-geometric sense. On the Heisenberg group, the recent revisit proves HLS-type estimates for fractional integral operators adapted to the noncommutative group law and to Zygmund dilations. For the mixed kernel $\Omega^{\alpha,\beta}$ and the Zygmund kernel $V^{\alpha,\beta,\vartheta}$, the critical scaling law is
\[
\frac{\alpha+\beta}{n+1}=\frac1p-\frac1q,
\]
and the sharp kernel threshold is
\[
\vartheta\ge \frac{|\alpha-\beta|}{n+1}.
\]
These are anisotropic and multi-parameter HLS results, but their geometry is Heisenberg and Zygmund rather than affine convex-geometric [2509.11828].

The product-space HLS theorem on rectangle-doubling measure replaces Euclidean balls by rectangles and the Euclidean kernel by
\[
\left(\frac{1}{V(x,y)}\right)^{1-\alpha/n},
\]
where $V(x,y)$ is the $\mu$-volume of the smallest centered rectangle containing $y$. The scale condition remains
\[
\frac{\alpha}{n}=\frac1p-\frac1q,
\]
but the underlying structure is product geometry, not affine invariance [1901.00830].

The semigroup-based HLS theory for degenerate hypoelliptic operators replaces the Riesz potential by
\[
J_a f(X)=\frac{1}{\Gamma(a/2)}\int_0^\infty t^{a/2-1}P_t f(X)\,dt
\]
and the Euclidean dimension by an intrinsic volume exponent $D$, yielding
\[
\frac1q=\frac1p-\frac{a}{D}.
\]
Here the decisive structure is the geometry of the non-symmetric semigroup and its volume growth function $V(t)$ [1904.12982].

These comparisons clarify the specific content of the term “affine” in affine HLS theory. It refers neither to conformal invariance, nor to generic anisotropy, nor to noncommutative scaling. It refers to the fact that the strengthened HLS inequality is encoded by star bodies, dual mixed volumes, and transformation laws under translations and volume-preserving linear maps. Within that precise meaning, the affine Hardy–Littlewood–Sobolev inequality is the convex-geometric refinement of the classical HLS principle [2212.12194, 2508.01176].

Source: https://www.emergentmind.com/topics/affine-hardy-littlewood-sobolev-inequality