pith. sign in

arxiv: 2604.04626 · v1 · submitted 2026-04-06 · 🧮 math.AP

A seminorm-only characterization of analytic Besov spaces on the disc

Maher Boudabra This is my paper

Pith reviewed 2026-05-10 20:06 UTC · model grok-4.3

classification 🧮 math.AP
keywords analytic functionsBesov spacesHardy spacesGagliardo seminormunit discradial restrictionstrace theoremsfractional Sobolev spaces
0
0 comments X

The pith

A bound on the Gagliardo seminorm of radial slices alone forces analytic functions on the disc into the Hardy space with boundary traces in the Besov space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a space of analytic functions on the unit disc by requiring only that the Gagliardo seminorms of their radial restrictions to circles remain uniformly bounded. It proves that this condition implies the functions lie in the Hardy space H^p and that their boundary traces belong to W^{s,p} on the circle, with norm convergence as the radius approaches 1. The argument recovers the missing L^p control from the seminorm by combining the mean-value property, which fixes the constant term, with a fractional Poincaré inequality on the circle. As a result the new space is isomorphic to the positive Besov space B^s_{p,p,+} on the circle via the trace map.

Core claim

For analytic functions u on the disc, the condition that the Gagliardo seminorm [u_r]_{W^{s,p}(S^1)} stays bounded independently of r already implies that u belongs to H^p(D) and that the radial boundary trace u* lies in W^{s,p}(S^1), with u_r converging to u* in the W^{s,p} norm as r tends to 1 from below. The trace operator then gives a surjective isomorphism between this seminorm-defined space and the Besov space B^s_{p,p,+} on the circle, together with explicit norm equivalence.

What carries the argument

The mean-value property fixing the constant mode at u(0) together with the fractional Poincaré inequality on the circle that recovers L^p control from oscillation alone.

If this is right

  • The trace map supplies a surjective isomorphism from the seminorm space onto B^s_{p,p,+}(S^1).
  • Explicit constants relate the seminorm supremum directly to the full Besov norm of the boundary trace.
  • Radial slices converge to the boundary trace in the W^{s,p} norm whenever the seminorm bound holds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same seminorm-only approach might apply to other domains admitting a mean-value property, such as balls in higher dimensions.
  • It could simplify numerical schemes for analytic functions by removing the need to enforce separate L^p constraints.
  • The technique suggests that seminorm characterizations may extend to related spaces where oscillation controls the full norm via integral identities.

Load-bearing premise

The functions must be analytic so that the mean-value property can pin the constant term and allow the Poincaré inequality to convert seminorm bounds into full L^p bounds.

What would settle it

An explicit analytic function on the disc for which the supremum of the radial Gagliardo seminorms is finite yet the L^p norms of the radial traces diverge or the boundary trace fails to lie in W^{s,p}(S^1).

read the original abstract

We introduce the space $\mathcal{W}^{s,p}(\mathbb{D})$ of analytic functions $u$ on the unit disc such that the radial restrictions $u_{r}(\xi):=u(r\xi)$ satisfy the Gagliardo seminorm-only bound \[ \sup_{0<r<1}[u_{r}]_{W^{s,p}(\mathbb{S}^{1})}<\infty, \] with no $\emph{a priori}$ control of $\sup_{r}\|u_{r}\|_{L^{p}(\mathbb{S}^{1})}$. Our main result shows that this assumption already forces $u\in H^{p}(\mathbb{D})$ and that the radial boundary trace $u^{*}$ belongs to $W^{s,p}(\mathbb{S}^{1})$, with $u_{r}\to u^{*}$ in $W^{s,p}(\mathbb{S}^{1})$ as $r\to1^{-}$. The key mechanism combines the mean-value property (which pins the constant mode at $u(0)$) with a fractional Poincar$\'e$ inequality on $\mathbb{S}^{1}$, recovering $L^{p}$ control from oscillation alone. As a consequence, the trace map $u\mapsto u^{*}$ is a surjective isomorphism $\mathcal{W}^{s,p}(\mathbb{D})\xrightarrow{\sim}B^{s}_{p,p,+}(\mathbb{S}^{1})$ with explicit norm equivalence.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper introduces the space W^{s,p}(D) consisting of analytic functions u on the unit disc D such that the radial restrictions u_r satisfy a uniform bound on the Gagliardo seminorm [u_r]_{W^{s,p}(S^1)} for 0<r<1, without a priori L^p control on the circle. The central claim is that analyticity plus this seminorm bound forces u to lie in the Hardy space H^p(D), that the radial boundary trace u* exists in W^{s,p}(S^1), that u_r converges to u* in W^{s,p}(S^1) as r→1^-, and that the trace map realizes a surjective isomorphism W^{s,p}(D) ≃ B^s_{p,p,+}(S^1) with explicit norm equivalence. The argument combines the mean-value property (to control the constant term via u(0)) with a fractional Poincaré inequality on the circle to recover full L^p control from oscillation alone.

Significance. If the claims hold, the result supplies a seminorm-only characterization of the analytic Besov spaces B^s_{p,p,+} on the circle, extending classical trace theorems for holomorphic functions. It leverages standard tools (mean-value property and fractional Poincaré) in a clean way that could simplify certain estimates in harmonic analysis and complex function theory on the disc. The explicit norm equivalence and surjectivity are potentially useful for applications involving boundary traces of analytic functions.

major comments (2)
  1. [§3, Theorem 3.2] §3, Theorem 3.2 (the isomorphism statement): the surjectivity direction requires constructing an analytic extension from a given boundary function in B^s_{p,p,+} whose radial restrictions recover the seminorm bound; the manuscript sketches this via the Poisson integral but does not supply the quantitative estimate showing that the seminorm of the extensions remains controlled by the boundary Besov norm (see the constant in the equivalence (3.4)). This step is load-bearing for the claimed isomorphism.
  2. [§2.3, Lemma 2.5] §2.3, Lemma 2.5 (fractional Poincaré on the circle): the constant in the inequality [f]_{W^{s,p}} ≳ ||f - c||_{L^p} depends on s and p; when s is small or p<1 the dependence must be tracked explicitly to ensure the recovered L^p norm is finite and comparable to the given seminorm bound. The current write-up treats the constant as universal without displaying its dependence on the parameters.
minor comments (3)
  1. [§1] The notation B^s_{p,p,+} is introduced without an explicit reference to the standard definition of the analytic Besov space (e.g., via Littlewood-Paley or Fourier coefficients); a one-sentence reminder in §1 would help readers.
  2. [Figure 1] Figure 1 (schematic of radial restrictions) is helpful but the caption does not indicate the value of s and p used in the illustration; adding this would improve clarity.
  3. [Theorem 3.1] In the proof of radial convergence (Theorem 3.1), the passage from weak to strong convergence in W^{s,p} uses compactness of the embedding W^{s,p} ↪ L^p; a brief sentence recalling why the embedding is compact on the circle would be useful.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation for minor revision. The comments identify places where additional quantitative details will strengthen the manuscript, and we address each point below.

read point-by-point responses

  1. Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (the isomorphism statement): the surjectivity direction requires constructing an analytic extension from a given boundary function in B^s_{p,p,+} whose radial restrictions recover the seminorm bound; the manuscript sketches this via the Poisson integral but does not supply the quantitative estimate showing that the seminorm of the extensions remains controlled by the boundary Besov norm (see the constant in the equivalence (3.4)). This step is load-bearing for the claimed isomorphism.

    Authors: We agree that an explicit quantitative bound is required to complete the surjectivity argument and the norm equivalence (3.4). In the revised version we will add a supporting proposition (placed after the sketch of the Poisson extension) proving that if f ∈ B^{s}_{p,p,+}(𝕊¹) then the holomorphic Poisson integral u = P[f] satisfies sup_{0<r<1} [u_r]_{W^{s,p}(𝕊¹)} ≤ C(s,p) ‖f‖_{B^s_{p,p,+}} with an explicit constant C(s,p) obtained from the boundedness of the Poisson operator on the analytic Besov space together with separate control of the constant term via the mean-value property. This will make the isomorphism fully rigorous. revision: yes

  2. Referee: [§2.3, Lemma 2.5] §2.3, Lemma 2.5 (fractional Poincaré on the circle): the constant in the inequality [f]_{W^{s,p}} ≳ ||f - c||_{L^p} depends on s and p; when s is small or p<1 the dependence must be tracked explicitly to ensure the recovered L^p norm is finite and comparable to the given seminorm bound. The current write-up treats the constant as universal without displaying its dependence on the parameters.

    Authors: We agree that the dependence on s and p must be displayed. In the revision we will restate Lemma 2.5 with the explicit constant c(s,p) > 0 (derived via Fourier multipliers on the circle as c(s,p) = (∫_{𝕊¹} |1 - e^{iθ}|^{-sp} dθ)^{-1/p} times a universal factor, or the standard equivalent form for 0 < s < 1 and p > 0). We will verify that c(s,p) remains positive and finite throughout the parameter range of the paper, thereby confirming that the seminorm bound yields a comparable L^p control and that u belongs to H^p. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard properties

full rationale

The paper defines W^{s,p}(D) via the seminorm-only bound on radial restrictions of analytic functions and proves this implies full H^p membership, W^{s,p} boundary trace, and isomorphism to B^s_{p,p,+}(S^1). The mechanism explicitly invokes the mean-value property (standard for holomorphic functions, pinning the constant term at u(0)) combined with the fractional Poincaré inequality on S^1 (a known result independent of this work). No steps reduce by construction to the paper's own inputs, fitted parameters, or self-citations; the central equivalence follows from these external facts without self-definitional loops or renaming of known results. This is the expected non-circular outcome for a result resting on classical analytic tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the mean-value property of analytic functions and the fractional Poincaré inequality on the circle, both treated as background tools rather than derived here.

axioms (2)
  • domain assumption Mean-value property for analytic functions on the disc
    Pins the constant mode at u(0) to recover L^p control from seminorm alone
  • standard math Fractional Poincaré inequality on the circle
    Converts oscillation bound into full W^{s,p} norm when average is fixed

pith-pipeline@v0.9.0 · 5542 in / 1332 out tokens · 37926 ms · 2026-05-10T20:06:22.406354+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, New York, 2011

    H. Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, New York, 2011

    work page 2011

  2. [2]

    H. Q. Bui, Characterizations of weighted Besov and Triebel–Lizorkin spaces via temperatures,J. Funct. Anal.55(1984), no. 1, 39–62

    work page 1984

  3. [3]

    P. L. Duren,Theory ofHp Spaces, Academic Press, New York, 1970; reprinted by Dover, 2000

    work page 1970

  4. [4]

    T. M. Flett, Lipschitz spaces of functions on the circle and the disc,J. Math. Anal. Appl.39(1972), 125–158. 21

    work page 1972

  5. [5]

    G. A. Kalyabin, Characterization of spaces of Besov–Lizorkin–Triebel type by means of generalized differences,Trudy Mat. Inst. Steklov.181(1988), 95–116; English transl.:Proc. Steklov Inst. Math.(1989), no. 4, 109–133

    work page 1988

  6. [6]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, 2nd ed., Springer, Berlin, 1983

    work page 1983

  7. [7]

    Leoni,A First Course in Fractional Sobolev Spaces, Graduate Studies in Math- ematics, vol

    G. Leoni,A First Course in Fractional Sobolev Spaces, Graduate Studies in Math- ematics, vol. 229, American Mathematical Society, Providence, RI, 2023

    work page 2023

  8. [8]

    Oswald, On Besov–Hardy–Sobolev spaces of analytic functions in the unit disc, Czechoslovak Math

    P. Oswald, On Besov–Hardy–Sobolev spaces of analytic functions in the unit disc, Czechoslovak Math. J.33(1983), no. 3, 408–426

    work page 1983

  9. [9]

    Rudin,Real and Complex Analysis, 3rd ed., McGraw-Hill, New York, 1987

    W. Rudin,Real and Complex Analysis, 3rd ed., McGraw-Hill, New York, 1987

    work page 1987

  10. [10]

    Pommerenke,Boundary Behaviour of Conformal Maps, Grundlehren der mathematischen Wissenschaften, vol

    Ch. Pommerenke,Boundary Behaviour of Conformal Maps, Grundlehren der mathematischen Wissenschaften, vol. 299, Springer, Berlin, 1992

    work page 1992

  11. [11]

    Rudin,Functional Analysis, 2nd ed., McGraw-Hill, New York, 1991

    W. Rudin,Functional Analysis, 2nd ed., McGraw-Hill, New York, 1991

    work page 1991

  12. [12]

    Triebel,Spaces of Besov–Hardy–Sobolev Type, BSB Teubner, Leipzig, 1978

    H. Triebel,Spaces of Besov–Hardy–Sobolev Type, BSB Teubner, Leipzig, 1978

    work page 1978

  13. [13]

    Triebel, Characterizations of Besov–Hardy–Sobolev spaces: a unified approach, J

    H. Triebel, Characterizations of Besov–Hardy–Sobolev spaces: a unified approach, J. Approx. Theory52(1988), no. 2, 162–203. 22

    work page 1988