Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Variable-Radius Disk Transforms and an Area-Integral Problem of Zalcman

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Vanishing disk-area integrals force $f\equiv 0$, except in a boundary blow-up sector

desk verdict A complete and careful resolution of Zalcman's area-integral problem under the explicitly flagged dζ = dA reading; the proof is sound and the main caveat is scoping, not a hidden flaw. read the letter →

arxiv 2608.02546 v2 pith:VMDTF77F submitted 2026-08-03 math.FA math.CV

Qiteng Guo , Yixin He This is my paper · ORCID
classification math.FAmath.CV MSC 44A0530J9935Q0545D05
keywords variable-radiusdisktransformAbelintegralequationsEuler–Poisson–Darbouxequationmoving-domaingeometryinjectivityofoperatorsVolterracontinuationhorodiskboundary-scaledradii
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

For each $0<\alpha\le 1$, the paper studies the operator $(T_\alpha f)(z)$ that integrates $f$ over the disk centered at $z$ with radius $\alpha(1-|z|)$. It claims that a bounded function continuous on the closed unit disk whose variable-radius disk integrals all vanish must vanish identically, for every $\alpha$; at the tangent-disk endpoint $\alpha=1$, even an integrable function must vanish almost everywhere. In the opposite direction, for every $0<\alpha<1$ it constructs infinitely many smooth nonzero solutions, all necessarily unbounded near the boundary. Together these claims give a complete answer to the area-integral problem recorded as Problem 7.29, under the explicit reading of the printed differential $d\zeta$ as planar area measure.

What carries the argument

The proof combines four mechanisms. At $\alpha=1$, a Cayley transform converts tangent disks into horodisks and a horizontal Fourier transform reduces their area integrals to a generalized Abel equation with nonzero diagonal, whose $L^1$-injectivity (Lemma 2.1) forces each Fourier coefficient to vanish. For $0<\alpha<1$, rotational covariance reduces each angular Fourier mode to a disk-mean equation satisfying the Euler–Poisson–Darboux equation; hyperbolic coordinates $x=\sigma\cosh\eta$, $t=\sigma\sinh\eta$, $\sigma=e^{-\tau}$, followed by the conjugation $Y=e^{-3\tau/2}V$, turn it into a wave equation on a finite strip with lower-order coefficients $O(e^{-\tau})$, and a coercive energy estimate gives $E(\tau)\le Ce^{-3\tau}$, forcing boundary vanishing. An Abel factorization at the maximal radius of the support then propagates that vanishing to the origin. Finally, the first angular mode reduces the nullspace equation to a one-dimensional Volterra problem with moving endpoint $b=c+qv$, $q=(1-\alpha)/(1+\alpha)$, and flat-data solvability (Lemma 2.2) gives smooth continuation through that endpoint, producing the infinite-dimensional kernel.

What would settle it

Run direct quadrature on the paper's constructed first-mode solution $f(re^{i\theta})=e^{i\theta}\psi(r)$ for a concrete $\alpha<1$, say $\alpha=1/2$, at centers on the positive real axis; the paper claims $T_\alpha f=0$ exactly, so any nonzero value beyond rounding error would refute the Volterra continuation step. For injectivity, an explicit bounded continuous $f\not\equiv 0$ with $T_\alpha f=0$ for some $\alpha<1$ would refute part (i), and an $L^1$ function with all horodisk integrals zero but nonzero norm would refute part (ii).

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: $T_\alpha$ is injective on bounded continuous functions for $0<\alpha<1$, and $T_1$ is injective on $L^1(\mathbb{D})$, while for each $0<\alpha<1$ there is an injective linear map from compactly supported smooth functions on $(0,\alpha)$ into the smooth kernel of $T_\alpha$, with every nonzero image unbounded near $\partial\mathbb{D}$. Thus a continuous function on the closed disk with all such integrals zero is identically zero; a function only continuous inside the disk can be a smooth nonholomorphic null solution, but only by blowing up at the boundary. The endpoint $\alpha=1$ is geometrically singular because the integration disks become internally tangent to the boundary, and the proof treats it separately, yielding $L^1$-injectivity with no smooth kernel.

Load-bearing premise

The theorem is a complete answer to the recorded area-integral problem only under the paper's explicit reading of the printed differential $d\zeta$ as planar Lebesgue measure $dA$; if the original integral has a different meaning, the solved problem is a different one, even though Theorem 1.2 itself remains a statement about area integrals.

Editorial extensions

If this is right

  • If $f$ is continuous on the closed unit disk and $T_\alpha f=0$ for any $0<\alpha\le 1$, then $f\equiv 0$, so the positive answer to the problem holds in full generality.
  • For $\alpha=1$, $L^1$ functions with all horodisk area integrals zero vanish almost everywhere, so no smooth kernel exists at the endpoint.
  • For every $0<\alpha<1$, the smooth kernel is infinite-dimensional; the nonholomorphic null solutions all escape to infinity near $\partial\mathbb{D}$, which is exactly why they evade the bounded-injectivity theorem.
  • The injectivity and kernel statements together settle the area-measure version of Problem 7.29 completely.
  • The kernel construction is canonical and linear in the initial datum, and the real part gives solutions of the form $\psi(r)\cos\theta$ vanishing near the origin.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the original printed differential $d\zeta$ was meant as a line integral rather than planar area measure, the solved problem changes; Theorem 1.2 would stand as a theorem about area integrals but would not be an answer to that different question.
  • The degeneracy $q=(1-\alpha)/(1+\alpha)\to 0$ as $\alpha\to 1$ points at the moving Volterra endpoint as the mechanism that creates the kernel; a similar dichotomy might appear for other centrally symmetric domains with boundary-distance-scaled radii.
  • The injective embedding from $C_c^\infty((0,\alpha))$ may describe only part of the kernel; applying the same Volterra scheme to higher angular modes is a natural way to test whether the smooth kernel is strictly larger.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper studies the variable-radius disk transform (T_alpha f)(z) = ∫_{B(z, alpha(1-|z|))} f(ζ) dA(ζ) on the unit disk. The main theorem, Theorem 1.2, asserts: (i) for 0<alpha<1, T_alpha is injective on C(D)∩L^∞(D); (ii) for alpha=1, T_1 is injective on L^1(D); and (iii) for each 0<alpha<1 there is an injective linear map from C_c^∞((0,alpha)) into the smooth kernel of T_alpha, with every nonzero element of the image unbounded near ∂D. The proof combines generalized Abel equations, a Cayley–Fourier reduction at the tangent-disk endpoint, an Euler–Poisson–Darboux energy estimate in hyperbolic coordinates, and a moving-endpoint Volterra continuation. The paper also claims that this gives a complete answer to Hayman–Lingham Problem 7.29 under the explicitly stated interpretation that the printed differential dζ is read as planar Lebesgue measure dA.

Significance. If the full theorem is correct, the paper resolves a named open problem and reveals a sharp endpoint phenomenon: at alpha=1 the transform is injective even on L^1, while for every 0<alpha<1 there is an infinite-dimensional smooth kernel whose nonzero elements are necessarily unbounded. The proofs of parts (i) and (ii) are detailed, internally consistent, and rely on standard cited tools; the authors are also honest about the dζ=dA interpretive premise. However, the proof of part (iii) contains a gap in the global Volterra continuation that is load-bearing for the construction of the smooth kernel. Because that construction is a central claim, the paper requires a substantial revision before it can be accepted.

major comments (2)
  1. [§5.1, Proposition 5.1] The proof of Proposition 5.1 asserts that R0 is flat at b* because E0 equals ψ_- on the left and Jψ_-=0 there. This does not follow. Writing R0(b)=∫_{\ell(b)}^{b*} K(b,s)ψ_-(s)ds for b>b* and using the substitution s^2=ν(b)^2+(b^2-ν(b)^2)u, one finds R0(b) ∼ c ψ_-(b*) (b-b*)^{3/2} as b↓b*, unless ψ_- vanishes to infinite order at b*. Thus R0 is generally not flat in the sense required by Lemma 2.2. In the special first step of §5.2 the initial datum is indeed flat because ψ is identically zero on [d1,b0], but Proposition 5.1 is stated for arbitrary b* and its proof relies on the faulty flatness assertion.
  2. [§5.2, global continuation after each partition point] The induction step states that extending the known function through t_j 'produces a residual flat at t_j', allowing Lemma 2.2 to be applied on [t_j,t_{j+1}]. This is not justified. The residual is R_j(b)=∫_{\ell(b)}^{t_j}K(b,s)ψ(s)ds, and for b>t_j it has the same behavior as in Proposition 5.1: R_j(b) ∼ C ψ(t_j) (b-t_j)^{3/2}. The induction hypothesis Jψ=0 on [b0,t_j] does not imply that ψ is flat at t_j; after the first step ψ is a nontrivial solution of a Volterra equation with a flat but nonzero right-hand side, and there is no reason for it to vanish to infinite order at the next partition point. Lemma 2.2 requires the right-hand side to have identically zero Taylor series at the initial point, so its application at each t_j is invalid. The proof of Theorem 1.2(iii) is therefore incomplete as written; a generalized solvability statement for right-hand sides with finite-order vanishing, or a different global continuation argument, is needed.
minor comments (3)
  1. [Abstract and §1] The phrase 'complete answer to Hayman–Lingham Problem 7.29' should be qualified in the abstract by 'under the area-measure interpretation dζ=dA', since the printed differential in the source is dζ and the authors themselves flag this interpretive step in Section 1.
  2. [§4.3 and §4.4] The symbol q is used both for the quadratic form in the coercive estimate and for the constant (1−α)/(1+α) in the Abel propagation and in the construction of the smooth kernel; this double use is confusing and should be resolved by renaming one of the two objects.
  3. [§4.4] In the definition R* := max supp[0,1) Fn, the paper should explicitly note that the support is taken in the relative topology of [0,1) and is compact because Fn vanishes on a boundary annulus; this is clear from context but deserves a sentence.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: Theorem 1.2 is derived from stated hypotheses using independent external lemmas, with no predictions reducing to inputs and no load-bearing self-citations.

full rationale

The paper's derivation chain is self-contained and non-circular. The central object T_alpha is defined directly as an area integral over B(z, alpha(1-|z|)), and the main theorem's injectivity statements are proven from this definition using standard external tools: generalized Abel injectivity and flat-data solvability from Atkinson [1] and Gorenflo-Vessella [10], the Euler-Poisson-Darboux equation for disk means from Nguyen [12], and the Gelfand-triple energy lemma from Dautray-Lions [9]. There are no fitted parameters, no quantities calibrated to the target conclusion, and no prediction that is equal by construction to an input. The only interpretive premise is that the printed differential d zeta in Hayman-Lingham Problem 7.29 is read as planar Lebesgue measure dA; the authors state this explicitly in Section 1 as an interpretation rather than a logical consequence. That choice determines which problem is being solved, but it does not force the injectivity result itself, which is established by independent estimates and Volterra arguments. The paper contains no reliance on the authors' own prior results, no imported uniqueness theorem from overlapping authorship, and no ansatz smuggled in via citation. Consequently, the appropriate circularity finding is none: score 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests only on standard analytic tools and the explicitly flagged area-measure reading of Zalcman's problem. There are no free parameters fitted to data and no new postulated entities; the infinite-dimensional smooth kernel is constructed, not assumed.

assumptions (6)
  • standard math Injectivity and smooth solvability of generalized Abel equations with nonvanishing diagonal (Lemma 2.1, Lemma 2.2).
    Applied at the horodisk endpoint with Q_xi(X,X)=2, in the inward propagation step with Q_n(R*,R*)>0, and in the Volterra continuation with Q_+(b,b)>0. The lemmas are cited to Atkinson [1] and Gorenflo-Vessella [10], with proofs sketched in Section 2.
  • standard math The normalized disk mean of a compactly supported bounded function satisfies the Euler-Poisson-Darboux equation U_tt + (3/t)U_t = Delta_z U in distributions (Lemma 4.1).
    Used to derive the angular-mode PDE in Section 4.1; the proof follows from the classical Darboux equation for circular means, reference [12], and mollification.
  • standard math Energy identity and coercivity estimates for the Gelfand triple X contained in H contained in X* in Lemma 4.2.
    The energy argument in Section 4.3 uses the standard energy lemma from Dautray-Lions [9, Chapter XVIII, Section 5, Lemma 7], along with Poincare and Hardy inequalities on the finite strip.
  • standard math Cayley transform maps the tangent disks B(z,1-|z|) bijectively onto all horodisks in the upper half-plane, preserving area up to the standard Jacobian.
    Used in Section 3 for the alpha=1 endpoint; this is a standard property of Mobius transformations.
  • domain assumption The Hayman-Lingham Problem 7.29 is interpreted with the differential d zeta as planar Lebesgue measure dA.
    The authors explicitly state this interpretation in Section 1; it determines the object being studied and is not derived from within the mathematics.
  • domain assumption Functions under consideration are complex-valued and all disk integrals are absolutely convergent.
    Boundedness or L1 integrability is assumed in each theorem, making the integrals well-defined; this is stated in the introduction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Variable-Radius Disk Transforms and an Area-Integral Problem of Zalcman." pith.science (2026). https://pith.science/paper/VMDTF77F

@misc{pith2026260802546,
  author       = {Pith},
  title        = {Pith review of: Variable-Radius Disk Transforms and an Area-Integral Problem of Zalcman},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VMDTF77F}},
  note         = {Machine review of arXiv:2608.02546}
}
abstract

For $0<\alpha\leq1$, define $(\mathcal T_\alpha f)(z) :=\int_{B(z,\alpha(1-|z|))}f(\zeta)\,dA(\zeta)$ for $z\in\mathbb D$, where $dA$ is planar Lebesgue measure. We prove that $\mathcal T_\alpha$ is injective on $C(\mathbb D)\cap L^\infty(\mathbb D)$ for $0<\alpha<1$, and that $\mathcal T_1$ is injective on $L^1(\mathbb D)$. In contrast, for each $0<\alpha<1$ there is an injective linear map from $C_c^\infty((0,\alpha))$ into the kernel of $\mathcal T_\alpha$ on $C^\infty(\mathbb D)$; every nonzero function in its image is necessarily unbounded near $\partial\mathbb D$. Under the area-measure interpretation, these results give a complete answer to Hayman--Lingham Problem~7.29, attributed there to L.~Zalcman. The proof combines generalized Abel equations, an Euler--Poisson--Darboux energy argument, and Volterra continuation.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. An Infinitesimal Circular Morera Theorem

    math.CV 2026-08 accept novelty 7.0 of 10

    A continuous function whose circular integrals around every point are o(r^2) must be holomorphic.

Reference graph

Works this paper leans on

23 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [20]

    V. V. Volchkov and Vit. V. Volchkov, Zalcman’s problem and related two-radii theorems,Anal. Math. Phys. 13(2023), Paper No. 72, 47 pp., doi:10.1007/s13324-023-00835-5

    doi:10.1007/s13324-023-00835-5 2023

  2. [1]

    K. E. Atkinson, An existence theorem for Abel integral equations,SIAM J. Math. Anal.5(1974), 729–736, doi:10.1137/0505071

    doi:10.1137/0505071 1974

  3. [2]

    Ben Natan, Y

    Y. Ben Natan, Y. Benyamini, H. Hedenmalm, and Y. Weit, Wiener’s Tauberian theorem inL1(G//K)and harmonic functions in the unit disk,Bull. Amer. Math. Soc. (N.S.)32(1995), 43–49, doi:10.1090/S0273- 0979-1995-00554-9

    doi:10.1090/s0273- 1995

  4. [3]

    C. A. Berenstein, D.-C. Chang, D. Pascuas, and L. Zalcman, Variations on the theorem of Morera, inThe Madison Symposium on Complex Analysis, Contemp. Math., vol. 137, American Mathematical Society, Providence, RI, 1992, pp. 63–78, doi:10.1090/conm/137/1190970

    doi:10.1090/conm/137/1190970 1992

  5. [4]

    C. A. Berenstein and R. Gay, A local version of the two-circles theorem,Israel J. Math.55(1986), 267–288, doi:10.1007/BF02765026

    doi:10.1007/bf02765026 1986

  6. [5]

    C. A. Berenstein and R. Gay, Le problème de Pompeiu local,J. Anal. Math.52(1989), 133–166, doi:10.1007/BF02820476

    doi:10.1007/bf02820476 1989

  7. [6]

    C. A. Berenstein and D. Pascuas, Morera and mean-value type theorems in the hyperbolic disk,Israel J. Math.86(1994), 61–106, doi:10.1007/BF02773674

    doi:10.1007/bf02773674 1994

  8. [7]

    C. A. Berenstein and L. Zalcman, Pompeiu’s problem on spaces of constant curvature,J. Anal. Math.30 (1976), 113–130, doi:10.1007/BF02786707

    doi:10.1007/bf02786707 1976

Show all 23 references
  1. [8]

    Brown, B

    L. Brown, B. M. Schreiber, and B. A. Taylor, Spectral synthesis and the Pompeiu problem,Ann. Inst. Fourier (Grenoble)23(1973), no. 3, 125–154, doi:10.5802/aif.474

    1973 doi

  2. [9]

    Dautray and J.-L

    R. Dautray and J.-L. Lions,Mathematical Analysis and Numerical Methods for Science and Technology, Vol. 5: Evolution Problems I, Springer-Verlag, Berlin, 1992

    1992

  3. [10]

    Gorenflo and S

    R. Gorenflo and S. Vessella,Abel Integral Equations: Analysis and Applications, Lecture Notes in Mathe- matics, vol. 1461, Springer-Verlag, Berlin, 1991, doi:10.1007/BFb0084665

    1991 doi

  4. [11]

    W. K. Hayman and E. F. Lingham,Research Problems in Function Theory, Fiftieth Anniversary Edition, Problem Books in Mathematics, Springer, Cham, 2019, doi:10.1007/978-3-030-25165-9

    2019 doi

  5. [12]

    L. V. Nguyen, Spherical mean transform: a PDE approach,Inverse Probl. Imaging7(2013), 243–252, doi:10.3934/ipi.2013.7.243

    2013 doi

  6. [13]

    S. P. Ponomarev, An analyticity condition,Siberian Math. J.11(1970), 360–363, doi:10.1007/BF00967311

    1970 doi

  7. [14]

    V. E. Silenko, A new Morera-type theorem on a unit disk,Ukrainian Math. J.53(2001), 317–322, doi:10.1023/A:1010485508280. 12 Q. GUO AND Y. HE

    2001 doi

  8. [15]

    K. W. Thompson, Additional results of Zalcman’s Pompeiu problem,Aequationes Math.44(1992), 42–47, doi:10.1007/BF01834203

    1992 doi

  9. [17]

    V. V. Volchkov, On a problem of Zalcman and its generalizations,Math. Notes53(1993), 134–138, doi:10.1007/BF01208316

    1993 doi

  10. [18]

    V. V. Volchkov, Morera type theorems on the unit disc,Anal. Math.20(1994), 49–63, doi:10.1007/BF01908918

    1994 doi

  11. [19]

    V. V. Volchkov and Vit. V. Volchkov, A new characterization of holomorphic functions in the unit disk, Probl. Anal. Issues Anal.7(25)(2018), no. 1, 134–147, doi:10.15393/j3.art.2018.4690

    2018

  12. [21]

    Zalcman, Analyticity and the Pompeiu problem,Arch

    L. Zalcman, Analyticity and the Pompeiu problem,Arch. Ration. Mech. Anal.47(1972), 237–254, doi:10.1007/BF00250628

    1972 doi

  13. [22]

    Zalcman, Mean values and differential equations,Israel J

    L. Zalcman, Mean values and differential equations,Israel J. Math.14(1973), 339–352, doi:10.1007/BF02764713

    1973 doi

  14. [23]

    Zalcman, Offbeat integral geometry,Amer

    L. Zalcman, Offbeat integral geometry,Amer. Math. Monthly87(1980), no. 3, 161–175, doi:10.1080/00029890.1980.11994985

    1980

  15. [24]

    Zalcman, A bibliographic survey of the Pompeiu problem, inApproximation by Solutions of Partial Differential Equations(B

    L. Zalcman, A bibliographic survey of the Pompeiu problem, inApproximation by Solutions of Partial Differential Equations(B. Fuglede, M. Goldstein, W. Haussmann, W. K. Hayman, and L. Rogge, eds.), NATO ASI Series C, vol. 365, Kluwer Academic Publishers, Dordrecht, 1992, pp. 18...

    1992 doi

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.