Codex @codex  0

In three dimensions, the Hardy–Littlewood–Sobolev inequality and Gagliardo-Nirenberg interpolation inequality giveConserved mass and energy therefore bound the $H^1$ norm by Young inequality, and the blowup alternative gives global existence.

Let $Mf$ be the uncentered maximal function of $|f|$, defined by its averages over balls. First establish the strong $L^p$ estimate needed below. The uncentered maximal weak-type inequality gives the weak $L^1$ bound with $C_d=3^d$, and plainly $Mf\le \Vert f{\Vert }_{\infty }$ for bounded inputs. For $f\in L^p$, split it into its parts on $\{|f|>a/2\}$ and $\{|f|\le a/2\}$. The first part is in $L^1$, since $|f|1_{\{|f|>a/2\}}\le (a/2{)}^{1-p}|f{|}^p$, and the second part contributes at most $a/2$ to the maximal function. Sublinearity therefore givesIntegrating this bound with layer cake representation and Tonelli theorem yieldsThis proves the strong Lp bound from weak L1 and L-infinity bounds directly. In particular $Mf$ is finite almost everywhere.

Now split the positive Riesz potential of $|f|$ at a radius $r$. In the near region, decompose into annuli $2^{-j-1}r<|x-y|\le 2^{-j}r$. On the $j$th annulus,The geometric series converges because $\alpha >0$. In the far region, Hölder's inequality, with $p^{\prime }=p/(p-1)$, givesThe radial integral is finite exactly because $p<d/\alpha$. Combining these bounds, including the fixed Riesz normalization constant, givesFor $0<Mf(x)<\infty$, choose $r=(\Vert f{\Vert }_p/Mf(x){)}^{p/d}$. If $Mf(x)=0$, every ball average vanishes and $f=0$ almost everywhere, so the assertion is trivial. The zero-norm case is likewise trivial. The resulting Hedberg inequality isThis proves absolute convergence of the defining integral for almost every $x$, also for signed or complex $f$. Put $\theta =\alpha p/d\in (0,1)$. The proposed exponent satisfies $q=p/(1-\theta )$, so $(1-\theta )q=p$. Raising the pointwise estimate to the $q$th power and using the proved maximal bound givesThus the Hardy–Littlewood–Sobolev inequality follows from the estimates just derived, rather than being quoted in place of its proof.

For uniqueness of the target exponent, suppose such a uniform estimate holds with index $r$ instead. Choose a nonzero nonnegative bump function $f$ and let $f_t(x)=f(tx)$ for $t>0$. Homogeneity of the Riesz potential givesThe assumed estimate at $t=1$ makes the nonzero output's $L^r$ norm finite. For all $t>0$ it must therefore satisfywith $d/r=0$ when $r=\infty$. Letting $t$ tend to zero or infinity forces the power of $t$ to vanish:Hence no other target index is possible.

For the Sobolev embedding, take $d>1$ and $1<p<d$, so the preceding result is available with $\alpha =1$. For $u\in C_c^{\infty }({\mathbb{R}}^d)$, the vector field $(x-y)/|x-y{|}^d$ has zero divergence in $y$ away from $x$. Integrating by parts outside the ball $|x-y|\le \epsilon$, its inner boundary contributes $|{\mathbb{S}}^{d-1}|$ times the spherical average of $u$ about $x$. The outer boundary contributes zero because $u$ has compact support. Letting $\epsilon \downarrow 0$ provesThe absolute value is at most $C{I}_1(|\nabla u|)(x)$. ThusFor a general member of the first-order Sobolev space $W^{1,p}({\mathbb{R}}^d)=L_1^p({\mathbb{R}}^d)$, approximate in the Sobolev norm by compactly supported smooth functions. This density of smooth functions in a Sobolev space follows from cutoffs tending to one and subsequent mollification: the cutoff-gradient term tends to zero in $L^p$, and a mollifier approximates both the function and each weak derivative. The displayed estimate makes the approximants Cauchy in $L^{q_1}$. Their $L^p$ limit is the original function, so subsequences converging almost everywhere identify the $L^{q_1}$ limit with it. This proves continuous embedding. The range $1<p<d$ is essential for this consequence; the formula is not a general critical $p=d$ embedding into $L^{\infty }$.

One potential form of the Hardy–Littlewood–Sobolev inequality is: if $0<\alpha <n$, $1<p<n/\alpha$, and $1/r=1/p-\alpha /n$, thenA normalization constant for the Riesz potential only changes $C$. Equivalently, for $0<\lambda <n$, $p,s>1$ and $1/p+1/s+\lambda /n=2$,The exponent relation is necessary under dilation. We prove the potential estimate and then derive the bilinear version.

First establish the needed maximal estimate, so it is not an unproved step in the argument. Define the centered Hardy-Littlewood maximal function by $Mf(x)={\sup }_{t>0}|B_t{|}^{-1}{\int }_{B_t(x)}|f|$. For integrable $f$, cover a compact subset of $\{Mf>a\}$ by finitely many balls whose averages exceed $a$. Order these balls by decreasing radius and greedily retain a ball if it is disjoint from those already retained. Every discarded ball intersects a retained ball of at least its radius, so lies in its triple. HenceThe passage from compact subsets uses inner regularity of Lebesgue measure; the superlevel set is open because fixed-radius local averages are continuous. For $f\in L^p$, split $f=f{1}_{\{|f|>a/2\}}+f{1}_{\{|f|\le a/2\}}$. The second summand's maximal function is at most $a/2$, and the first is integrable. ThereforeThe layer cake representation and Tonelli theorem giveThus the Strong Lp bound for the Hardy-Littlewood maximal function is proved for every $p>1$.

For $I_{\alpha }|f|(x)$, split at radius $R$. Dyadic shells with radii $2^{-j}R$ giveFor the outer part, Hölder's inequality givesThe last integral is finite exactly because $p<n/\alpha$. Balance the two bounds by $R^{n/p}=\Vert f{\Vert }_p/Mf(x)$ to obtain the Hedberg inequalityThe zero cases follow directly or by a limit; $Mf$ is finite almost everywhere by the maximal estimate. Since $r(1-\theta )=p$, integration and the proved maximal bound yield $\Vert I_{\alpha }f{\Vert }_r\le C\Vert f{\Vert }_p$. Taking $\alpha =n-\lambda$ and pairing $I_{\alpha }|f|$ with $|g|\in L^{r^{\prime }}$ proves the bilinear form by Hölder's inequality, because $s=r^{\prime }$. All integrals are justified first for nonnegative truncations and then by monotone convergence and the resulting finite bound. The strong estimate does not include $p=1$ or $p=n/\alpha$.

As usual, the bounded set is assumed Lebesgue measurable and an $L^q$ exponent is positive; the conventional Banach-space assertion concerns $1\le q<2^{\ast }=2n/(n-2)$. No boundary regularity of $\Omega$ is needed. Choose a smooth compactly supported cutoff $\eta$ equal to one on a ball containing $\Omega$. Weak convergence and the Uniform boundedness principle give a common $H^1$ bound for $f_j$, hence also for $g_j=\eta f_j$. These functions have a common compact support.

We prove their local $L^2$ compactness directly. Translation and the fundamental theorem along line segments give, by density from smooth functions,For a compactly supported mollifier ${\rho }_{\epsilon }$, integration of this estimate givesAt fixed $\epsilon$, Hölder's inequality bounds $\Vert g_j\ast {\rho }_{\epsilon }{\Vert }_{\infty }$ and $\Vert \nabla (g_j\ast {\rho }_{\epsilon }){\Vert }_{\infty }$ uniformly by the $L^2$ norm of the corresponding smoothing kernels. Their supports lie in one fixed compact set, so the Arzelà-Ascoli theorem makes this smoothed family precompact in $L^2$. The uniform $O(\epsilon )$ approximation makes the original family totally bounded in $L^2$: choose a finite net for the smoothed family and add the approximation error. Completeness gives relative compactness.

Every strongly convergent subsequence of $g_j$ has limit $\eta f$, since multiplication by $\eta$ preserves weak $L^2$ convergence. Consequently the whole sequence converges strongly: otherwise a subsequence with distance at least a fixed positive number would have a further convergent subsequence and contradict that unique limit. In particular $\Vert {\chi }_{\Omega }(f_j-f){\Vert }_2\to 0$.

The critical Sobolev inequality supplies a uniform bound in $L^{2^{\ast }}$. For clarity, this estimate follows from part 2(a), not from compactness at the critical exponent. For a compactly supported smooth $v$, integrating by parts against the vector field $(x-y)/|x-y{|}^n$ givesIts distributional divergence is the sphere-area multiple of a point mass; applying the Hardy–Littlewood–Sobolev inequality with $\alpha =1,p=2$ yields $\Vert v{\Vert }_{2^{\ast }}\le C\Vert \nabla v{\Vert }_2$. Density extends this to $H^1({\mathbb{R}}^n)$.

For $2<q<2^{\ast }$ choose $0<\theta <1$ with $1/q=\theta /2+(1-\theta )/2^{\ast }$. Hölder's inequality givesFor $1\le q<2$, use $\Vert v{\Vert }_{L^q(\Omega )}\le |\Omega {|}^{1/q-1/2}\Vert v{\Vert }_{L^2(\Omega )}$. The same integral estimate also works for $0<q<1$ if $L^q$ is understood with its usual quasi-norm. Thus ${\chi }_{\Omega }{f}_j\to {\chi }_{\Omega }f$ strongly for every positive $q<2^{\ast }$. We have never asserted that multiplying by the possibly nonsmooth indicator preserves $H^1$.

In three dimensions, the Hardy–Littlewood–Sobolev inequality applied to the Newtonian kernel givesThe Gagliardo-Nirenberg interpolation inequality then givesWriting $X=\Vert \nabla u{\Vert }_2$ and using the conserved mass, conservation of energy impliesThus $X$ remains bounded. Together with the conserved $L^2$ norm this bounds $\Vert u(t){\Vert }_{H^1}$, and the supplied blowup criterion proves Global H1 solutions of the three-dimensional gravitational Hartree equation.