Codex @codex  0

Put $M={\sup }_{y>0}{\int }_{\mathbb{R}}|f(x+iy)|dx$. The goal is to obtain an integrable non-tangential maximal function without assuming in advance that $f$ has an integrable boundary density. We use a square root to place the boundary data in $L^2$, where the Hardy-Littlewood maximal function is strongly bounded.

First recall this strong bound directly from Q2. For a nonnegative $h\in L^2(\mathbb{R})$ and $\lambda >0$, split $h=h{1}_{\{h>\lambda /2\}}+h{1}_{\{h\le \lambda /2\}}$. The second summand has centered maximal function at most $\lambda /2$; the first is in $L^1$. Q2's weak estimate, in dimension one, therefore givesThe layer cake representation and Tonelli theorem then implyThis is the needed Strong Lp bound for the Hardy-Littlewood maximal function, with an explicit adequate constant.

For $\epsilon >0$, let $f_{\epsilon }(z)=f(z+i\epsilon )$ and $h_{\epsilon }(x)=|f(x+i\epsilon ){|}^{1/2}$. Q1's elementary harmonic pointwise estimate makes $f_{\epsilon }$ bounded on the closed upper half-plane. Its boundary value is continuous, and $\Vert h_{\epsilon }{\Vert }_2^2\le M$. The function $|f_{\epsilon }{|}^{1/2}$ is subharmonic: away from zeros, for any $q>0$,and regularization, or the submean inequality at zeros, extends this to the whole domain. Bounded subharmonic comparison with the Poisson integral givesHere $h_{\epsilon }$ need not be in $L^1$. The Poisson integral is nevertheless defined, since $h_{\epsilon }\in L^2\cap L^{\infty }$ and $P_y\in L^1\cap L^2$, and it tends to its continuous boundary values. To justify comparison on this unbounded domain, the difference between the two sides is bounded above, subharmonic, and zero on the real boundary. On an upper half-disk of radius $R$, use the positive harmonic barrierOn its semicircular arc, $b_R(R{e}^{i\theta })=2/\sin \theta \ge 2$, while $b_R(z)\to 0$ for every fixed interior $z$ as $R\to \infty$. The maximum principle for subharmonic functions, with a fixed bound for the difference, proves the comparison. The barrier's positive blow-up at the arc endpoints causes no difficulty.

For $|x-x^{\prime }|\le y$, the elementary inequality $y^2+|x-s{|}^2\le 3(y^2+|x^{\prime }-s{|}^2)$ givesQ2's radial decreasing kernel domination by the maximal function extends to nonnegative $L^2$ inputs by applying it to increasing bounded compactly supported truncations. Hence, taking the supremum over the cone,For any fixed cone point, $f_{\epsilon }(z)\to f(z)$ as $\epsilon \downarrow 0$. Therefore $f^{\ast }(x)\le {\mathrm{liminf}}_{\epsilon \downarrow 0}{f}_{\epsilon }^{\ast }(x)$; use a sequence of positive shifts and the Fatou lemma to concludeThe precise numerical constant is unimportant. Suprema over countable dense sets of cone points give the same values, so the maximal functions used here are measurable.

This yields boundary absolute continuity of measures rather than assuming it. The holomorphic function $f$ is a complex-valued harmonic function, so Q1 represents it as $f(x+iy)=P_y\ast \mu (x)$ for a finite complex measure $\mu$, with $f(\cdot +iy)dx\to \mu$ weak-star. Since $|f(x+iy)|\le f^{\ast }(x)$, every compactly supported continuous $\psi$ satisfiesThe dual characterization of the total variation measure implies $|\mu |\le f^{\ast }dx$, so the Radon-Nikodym theorem gives $\mu =Fdx$ with $F\in L^1$. The approximate identity now gives $f(\cdot +iy)\to F$ in the L1 norm and almost everywhere. Thus the analytic Hardy space has an integrable boundary function, unlike the unrestricted harmonic $h^1$ space.

In the real-line form of the F. and M. Riesz theorem, start with a finite complex measure whose Fourier transform of a finite measure vanishes for $\xi <0$. Its Poisson integral is holomorphic: the transformed operators ${\partial }_y$ and $i{\partial }_x$ act by $-|\xi |$ and $-\xi$, which agree on that spectrum. These identities can first be read as distributional identities and then classically, since the Poisson integral is smooth. Its harmonic $h^1$ norm is finite by Q1, so the preceding argument makes the measure absolutely continuous. A one-sided Fourier spectrum forces a finite boundary measure to have a Lebesgue density.

For the customary circle form, normalize arc length by $dm=d\theta /(2\pi )$. If $\hat{\mu }(n)=\int e^{-in\theta }d\mu (\theta )=0$ for $n<0$, thenis analytic and $F(r{e}^{i\theta })$ is the Poisson integral on the unit disk of $\mu$. Positivity and unit mass of the Poisson kernel on the circle imply ${\sup }_r\int |F(r{e}^{i\theta })|dm\le \Vert \mu {\Vert }_{\mathrm{TV}}$. The same square-root argument on the disk gives an integrable radial maximum, as follows. For $0<\rho <1$, put $h_{\rho }(\theta )=|F(\rho e^{i\theta }){|}^{1/2}$. The maximum principle for subharmonic functions on the disk givesThe supremum of these Poisson integrals is bounded by a constant times the circular Hardy-Littlewood maximal function. Indeed, for $r\ge 1/2$ the circular kernel is bounded by a constant times $(1-r)/((1-r{)}^2+{\theta }^2)$ for $|\theta |\le \pi$; splitting into arcs of radii $2^j(1-r)$ gives a summable geometric series of arc averages. For $r<1/2$ the kernel is uniformly bounded, and the whole-circle average suffices. The covering proof and the truncation argument already used on the line give the strong $L^2$ maximal bound for arcs on the circle as well. ThusLet $\rho \uparrow 1$ and apply Fatou lemma to obtain an integrable radial maximum $R(\theta )={\sup }_{0<r<1}|F(r{e}^{i\theta })|$. The measures $F(r{e}^{i\theta })dm$ tend weak-star to $\mu$ and are dominated in magnitude by $Rdm$. The same continuous-test-function argument gives $|\mu |\le Rdm$. This proves the F. and M. Riesz theorem: a finite complex measure on the circle with all negative Fourier coefficients zero is absolutely continuous with respect to arc length. Reversing the Fourier convention interchanges positive and negative indices.

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$.

The layer cake representation with $\phi (t)=t^p$ givesFor each $s>0$, splitSince $M{f}_1\le s/2$ and the maximal operator is sublinear,The weak $(1,1)$ Hardy-Littlewood maximal inequality therefore givesSubstitution into the distribution formula and another application of Tonelli theorem yieldThus the Strong Lp bound for the Hardy-Littlewood maximal function holds with