Codex @codex  0

For an analytic H1 space on the unit disk function, its fixed-aperture non-tangential maximal function obeys the displayed strong $L^1$ bound. First replace $f$ by $f_R(z)=f(Rz)$, $R<1$. The fact that modulus powers of holomorphic functions are subharmonic gives $|f_R{|}^{1/2}\le P[|f(R\xi ){|}^{1/2}]$. Since a Poisson maximal function is dominated by the Hardy-Littlewood maximal function, the strong $L^2$ Hardy-Littlewood maximal inequality yields $\int N_A{f}_R\le C_A\int |f(R\xi )|\le C_A\Vert f{\Vert }_1$. Pointwise interior convergence and the Fatou lemma remove $R$. Analyticity permits this endpoint estimate; general $L^1$ boundary data have only a weak $L^1$ maximal bound.

We prove sufficiency by a non-tangential maximal function and the layer cake representation. Write $K=C(\mu )$. First $\mu (\mathbb{D})\le CK$: three hyperbolic geodesic caps corresponding to arcs of normalized length $2/3$, with equally spaced centers, cover the unit disc. This handles interior points and large arcs, not only a thin boundary strip.

Fix aperture two and set $Nf(\xi )={\sup }_{z\in {\Gamma }_2(\xi )}|f(z)|$. The crucial H1 non-tangential maximal inequality on the disk isHere is its endpoint proof. For $0<R<1$ let $f_R(z)=f(Rz)$, which is holomorphic across the closed unit disc. Since modulus powers of holomorphic functions are subharmonic, Poisson comparison givesThe estimate that a Poisson maximal function is dominated by the Hardy-Littlewood maximal function yields $(N{f}_R{)}^{1/2}\le CM{g}_R$. The strong $L^2$ Hardy-Littlewood maximal inequality now givesFor each interior point $f_R(z)\to f(z)$, hence $Nf\le {\mathrm{liminf}}_{R\uparrow 1}N{f}_R$. The Fatou lemma proves the maximal inequality. This uses a genuine $L^2$ maximal bound; the Hardy-Littlewood maximal function is not strongly bounded on $L^1$.

For $t>0$, the set $O_t=\{\xi :Nf(\xi )>t\}$ is open, since each interior point witnessing this strict inequality has an open boundary shadow. Write its disjoint arc components as $I_j$. If $|f(z)|>t$ and $\delta =1-|z|$, the arc centered at $z/|z|$ with angular half-width $\delta$ lies in $O_t$, because $|z-\xi |<2\delta$ there. Thus it lies in one component $I_j$, and $z$ has angular projection in $I_j$ with $\delta \le \pi m(I_j)$. The geodesic-cap and Carleson-box comparison puts all such points in $Q(\kappa I_j)$ for a fixed enlargement factor $\kappa$ whenever $I_j$ is small. For large $I_j$, use $\mu (\mathbb{D})\le CK\le C^{\prime }Km(I_j)$. If $z=0$ or $O_t$ is the entire circle, that same total-mass estimate applies. Summing, without needing the enlarged caps to be disjoint, givesThe layer cake representation and the proved H1 non-tangential maximal inequality on the disk finish the argument:Thus the two conditions are equivalent, with their least admissible constants comparable: $C(\mu )\le C_{1}N(\mu )$ and $N(\mu )\le C_{2}C(\mu )$. This is the Carleson embedding theorem on the disk, proved at the analytic $H^1$ endpoint.

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.

A fixed-aperture approach region at a boundary point of the unit disc. Its points approach the boundary point without becoming tangent to the circle. Convergence inside every such fixed region is a nontangential limit; the corresponding supremum defines a non-tangential maximal function.