Pith. sign in

REVIEW 6 minor 13 references

An Infinitesimal Circular Morera Theorem

T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A continuous complex-valued function on a planar domain is holomorphic whenever its integral over every sufficiently small centered circle decays faster than the square of the radius; the paper proves this infinitesimal circular version…

desk verdict A clean proof of a genuine open problem in local Morera theory; the one cited ingredient is standard and the result should be published. read the letter →

arxiv 2608.04540 v1 pith:3F3S3IMD submitted 2026-08-05 math.CV math.FA

Qiteng Guo , Ao Xiao This is my paper
classification math.CVmath.FA MSC 30A0530E2031A0535D3046F05
keywords circularintegralsinfinitesimalconditionholomorphyweakmean-valuepropertyharmonicfunctionsdistributionalderivativescomplexanalysis
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

The paper proves that infinitesimal vanishing of centered circular integrals forces holomorphy. Precisely, if $D\subset\mathbb{C}$ is a domain and $f\in C(D)$ satisfies $J_f(a,r)=\int_{|\zeta-a|=r}f(\zeta)\,d\zeta=o(r^2)$ as $r\to 0^+$ at every $a\in D$, then $f$ is holomorphic in $D$. This is an infinitesimal, boundary-only strengthening of the classical theorem that vanishing of closed-curve integrals forces analyticity, and it answers a long-standing question about how few test circles are needed. The proof requires no differentiability of $f$ and is local at each center: it passes from the $o(r^2)$ circular integrals to an $o(r^2)$ asymptotic mean-value property for a distributional primitive, which then yields harmonicity and hence holomorphy.

What carries the argument

The argument rests on two local tools. First, a distributional $\partial$-primitive: on any relatively compact subdomain, the convolution $U=K\ast(\chi h)$ with $K(z)=1/(\pi\bar z)$ solves $\partial U=h$ in the sense of distributions for continuous $h$. Second, the circular identity $A_U(a,R)-U(a)=-\frac{i}{\pi}\int_0^R \frac{J_h(a,s)}{s}\,ds$, proved first for smooth functions and then extended by mollification to the weak setting. Together these convert the assumed $o(r^2)$ decay of circular integrals into the $o(R^2)$ asymptotic mean-value property of the primitive. The conclusion then follows from the classical second-order mean-value criterion: a continuous real-valued function whose circular means differ from its value by $o(r^2)$ at every point is harmonic.

What would settle it

Find a continuous non-holomorphic $f$ on a domain such that $|\int_{|\zeta-a|=r} f(\zeta)\,d\zeta| \le C_a r^{2+\varepsilon}$ (in particular $o(r^2)$) for every $a$; the theorem asserts none exists, so an explicit example would refute it. A useful control case is $f(z)=\bar z$, whose circular integral equals $2\pi i r^2$, exactly the threshold that the hypothesis forbids.

Watch

Extended reading notes

Core claim

The central discovery is that the pointwise asymptotic condition $J_f(a,r)=o(r^2)$ at every $a$ is already sufficient for holomorphy, with no smoothness or uniformity assumptions. On each relatively compact subdomain the paper constructs a continuous distributional primitive $F$ with $\partial F=f$; a polar-coordinate identity shows that the circular integral of $f$ controls the circular mean of $F$ through $A_F(a,R)-F(a)=-\frac{i}{\pi}\int_0^R \frac{J_f(a,s)}{s}\,ds$. The hypothesis $J_f(a,s)=o(s^2)$ therefore gives $A_F(a,R)-F(a)=o(R^2)$ at every point, and the asymptotic mean-value characterization of harmonic functions makes both real and imaginary parts of $F$ harmonic. Then $F$ is smooth, $\partial F$ is holomorphic, and the distributional equality $\partial F=f$ becomes equality of continuous functions, so $f$ itself is holomorphic. A corollary is that exact vanishing of all sufficiently small centered circular integrals also implies holomorphy.

Load-bearing premise

The load-bearing premise is the classical criterion that a merely continuous real-valued function whose circular means differ from its value by $o(r^2)$ at every point is harmonic; the paper cites this result rather than proving it, and the argument collapses if the criterion needs hypotheses beyond continuity.

Editorial extensions

If this is right

  • A continuous function whose centered circular integrals vanish exactly on all sufficiently small radii at every point is holomorphic.
  • The exponent $2$ is sharp: for $C^1$ functions, $r^{-2}J_f(a,r)\to 2\pi i\,\bar\partial f(a)$, so the $o(r^2)$ assumption is exactly the condition that the $\bar\partial$-derivative vanishes at each center.
  • The hypothesis needs no uniformity in $a$; the proof checks the $o(r^2)$ decay separately at each point and uses only local primitives on relatively compact subdomains.
  • No differentiability or smoothness of $f$ is assumed; continuity alone, together with the integral decay, yields holomorphy.

Reading between the lines

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

  • Beyond the paper: the two-step route (distributional $\partial$-primitive plus an asymptotic mean-value criterion) suggests that analogous infinitesimal circular conditions in higher dimensions, or for vector-valued functions, may force harmonicity or holomorphy whenever a matching mean-value criterion exists; the paper does not address these settings.
  • Beyond the paper: because the criterion is pointwise and local, a natural test is whether the conclusion survives if the $o(r^2)$ condition holds only along a sequence of radii tending to $0$ at each center; the paper assumes all sufficiently small radii.
  • Beyond the paper: the example $f(z)=\bar z$, whose circular integral is exactly $2\pi i r^2$, marks the threshold; this suggests that replacing $o(r^2)$ by a rate like $O(r^2/\log(1/r))$ would admit non-holomorphic continuous examples, though the paper does not construct any.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper proves an infinitesimal circular version of Morera's theorem (Theorem 1.1): if f is continuous on a domain D in the complex plane and, at every a in D, the centered circular integral J_f(a,r) = integral over the circle |z-a|=r of f(z) dz is o(r^2) as r tends to 0+, then f is holomorphic in D. Corollary 1.2 derives the exact vanishing condition as a special case, giving an affirmative answer to both alternatives of the Gaier-Zalcman problem (Problem 7.28). The proof is completely local. On a relatively compact subdomain one constructs a continuous distributional partial-derivative primitive F (Lemma 2.1); Lemma 2.2 establishes the identity A_F(a,r)-F(a) = -(i/pi) times the integral from 0 to r of J_f(a,s)/s ds, via a polar-coordinate calculation in the smooth case and a mollification argument in the weak case; the o(r^2) hypothesis then yields A_F(a,r)-F(a)=o(r^2) at every point. Lemma 2.3, cited as the classical Blaschke asymptotic mean-value criterion (Kuznetsov [9, Thm. 1.6]), implies that Re F and Im F are harmonic. Hence F is smooth, the distributional derivative partial F is holomorphic, and the identity partial F = f becomes pointwise by continuity. The final remarks show that the r^2 scale is sharp and that no uniformity in the center is assumed.

Significance. If correct, Theorem 1.1 gives an affirmative answer to the stronger infinitesimal alternative of the Gaier-Zalcman problem (Problem 7.28 in Anderson-Barth-Brannan and in Hayman-Lingham). The proof is clean and almost entirely self-contained; the only external input is the classical asymptotic mean-value criterion, which is stated precisely and cited to the exact theorem in Kuznetsov's survey [9, Thm. 1.6]. The paper's central piece, Lemma 2.2, connects the circular integral of a weak partial derivative to the radial derivative of the circular mean of its primitive; the mollification step is carefully justified, and the estimate (8) gives an explicit, parameter-free bound that makes the integral in (7) absolutely convergent. I verified the constants and signs in (7), the sharp order r^2 in (3), and the example in Remark 4.1. The local nature of the hypothesis, namely a pointwise little-o condition at each center with no uniformity in a, is a genuine strength, and Section 4 makes the sharpness of the scale explicit. The paper is concise, well organized, and honest about the one cited input.

minor comments (6)
  1. [Section 2, Lemma 2.3] The asymptotic mean-value criterion is the only ingredient of the proof not proved in the paper, and the harmonicity of F in Theorem 1.1 is obtained by a direct application of it; I suggest adding a short proof or a verbatim statement of Kuznetsov [9, Thm. 1.6] (spelling out any hypotheses beyond continuity, in particular whether the pointwise o(r^2) condition suffices without uniformity) so that the key junction of the argument is fully self-contained.
  2. [Section 1, Eqs. (2)-(3)] The sentence 'With the notation in (1), the scaler2 is forced by the differentiable case' appears to have a rendering artifact ('scaler2' for 'scale r^2'); please reword this sentence.
  3. [Section 2, proof of Lemma 2.1] The assertion that U = K * (chi h) is continuous by 'continuity of translations in L^1_loc' is correct but terse; a sentence noting explicitly that the convolution of an L^1_loc kernel with a compactly supported bounded function is continuous would help the reader.
  4. [Section 3, Eq. (13)] The identity (partial bar)(partial F) = (1/4) Delta F is used without comment; since the paper fixes its own normalizations of partial and partial bar, stating the identity explicitly, with the one-line verification from the definitions, would remove any sign or constant ambiguity. I verified that with the given partial = (1/2)(d_x - i d_y) and partial bar = (1/2)(d_x + i d_y) the identity is (partial bar) partial = (1/4) Delta, so (13) is correct as written.
  5. [Section 2, Eq. (8)] The estimate in (8) also proves that the integral in (7) is absolutely convergent near the lower endpoint; consider stating this explicitly in the sentence that follows (8).
  6. [References, [9]] The citation for Lemma 2.3 is to a survey; adding the original classical reference for the Blaschke criterion would be helpful for readers without access to [9].

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is self-contained modulo standard classical facts, and the only author-overlap citation is explicitly contextual.

full rationale

The derivation chain is not circular. Theorem 1.1 is proved from three ingredients: Lemma 2.1 constructs a local continuous distributional primitive U for the operator ∂ from the fundamental solution 1/(π z̄), an external standard fact; Lemma 2.2 derives the identity A_U(a,R)-U(a) = -(i/π)∫_0^R J_h(a,s)/s ds by smooth calculation and mollification, with no use of the desired conclusion; Lemma 2.3 is the Blaschke asymptotic mean-value criterion, quoted precisely as Kuznetsov [9, Thm. 1.6], a classical external result on harmonic functions that does not presuppose Theorem 1.1. The main theorem then applies Lemma 2.2 to the distributional primitive F, uses the o(r^2) hypothesis on J_f to obtain A_F(a,r)-F(a)=o(r^2), and invokes Lemma 2.3 componentwise to conclude harmonicity and hence holomorphy. No fitted parameter is renamed as a prediction, no equation is equivalent to the conclusion by definition, and the unique self-citation of the authors (Guo-He [6]) is explicitly described as context and not used in the proof. The absence of a proof of Lemma 2.3 is a completeness or correctness issue, not circularity, since the cited survey theorem is independent of the present claim.

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

The proof leans on two standard analytic facts: the fundamental solution of the ∂-operator in distribution theory and the asymptotic mean-value characterization of harmonic functions. Both are external standards, not the target result, so the paper's contribution is the integration of these tools into a new theorem.

assumptions (2)
  • standard math Distributional fundamental solution: ∂(1/(π \bar z)) = δ_0 and \bar ∂(1/(π z)) = δ_0.
    Used in Lemma 2.1 to construct a local continuous ∂-primitive. This is a standard distribution identity cited to Folland and Hörmander.
  • standard math Blaschke asymptotic mean-value criterion (Lemma 2.3): a continuous real-valued function u satisfying A_u(a,r)-u(a)=o(r^2) at every point is harmonic.
    Imported from Kuznetsov [9, Thm. 1.6] and used in the proof of Theorem 1.1 to conclude that Re F and Im F are harmonic from their o(r^2) mean condition.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An Infinitesimal Circular Morera Theorem." pith.science (2026). https://pith.science/paper/3F3S3IMD

@misc{pith2026260804540,
  author       = {Pith},
  title        = {Pith review of: An Infinitesimal Circular Morera Theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3F3S3IMD}},
  note         = {Machine review of arXiv:2608.04540}
}
abstract

We prove an infinitesimal circular version of Morera's theorem. Let $D\subset\mathbb{C}$ be a domain and let $f\in C(D)$. If, at every $a\in D$, $\int_{\vert{}\zeta-a\vert{}=r}f(\zeta)\,d\zeta=o(r^2)$ as $r\to0^+$, then $f$ is holomorphic in $D$. In particular, exact vanishing of all sufficiently small centered circular integrals implies holomorphicity. The proof uses a local distributional $\partial$-primitive, a circular identity for weak $\partial$-derivatives, and a pointwise asymptotic mean-value criterion for harmonicity.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

13 extracted references · 9 canonical work pages

  1. [1]

    L. V. Ahlfors,Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable, 3rd ed., McGraw–Hill, New York, 1979

    work page 1979

  2. [2]

    J. M. Anderson, K. F. Barth, and D. A. Brannan,Research problems in complex analysis, Bull. London Math. Soc.9(1977), 129–162, doi:10.1112/blms/9.2.129

    work page doi:10.1112/blms/9.2.129 1977

  3. [3]

    137, Springer, New York, 2001, doi:10.1007/978-1-4757-8137-3

    S.Axler, P.Bourdon, andW.Ramey,Harmonic Function Theory, 2nded., GraduateTextsinMathematics, vol. 137, Springer, New York, 2001, doi:10.1007/978-1-4757-8137-3

    doi:10.1007/978-1-4757-8137-3 2001

  4. [4]

    Córdoba and J

    A. Córdoba and J. Ocáriz,A note on generalized Laplacians and minimal surfaces, Bull. London Math. Soc.52(2020), 153–157, doi:10.1112/blms.12314

    work page doi:10.1112/blms.12314 2020

  5. [5]

    G. B. Folland,Introduction to Partial Differential Equations, 2nd ed., Princeton University Press, Prince- ton, NJ, 1995; digital ed., 2020, doi:10.1515/9780691213033

    work page doi:10.1515/9780691213033 1995

  6. [6]

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

    Q. Guo and Y. He,Variable-radius disk transforms and an area-integral problem of Zalcman, arXiv:2608.02546 [math.FA] (2026), doi:10.48550/arXiv.2608.02546

    work page Pith review arXiv doi:10.48550/arxiv.2608.02546 2026

  7. [7]

    W.K.HaymanandE.F.Lingham,Research Problems in Function Theory, ProblemBooksinMathematics, Springer, Cham, 2019, doi:10.1007/978-3-030-25165-9

    doi:10.1007/978-3-030-25165-9 2019

  8. [8]

    Hörmander,An Introduction to Complex Analysis in Several Variables, 3rd ed., North-Holland Mathe- matical Library, vol

    L. Hörmander,An Introduction to Complex Analysis in Several Variables, 3rd ed., North-Holland Mathe- matical Library, vol. 7, North-Holland, Amsterdam, 1990

    work page 1990

Show all 13 references
  1. [9]

    Kuznetsov,Mean value properties of harmonic functions and related topics (a survey), J

    N. Kuznetsov,Mean value properties of harmonic functions and related topics (a survey), J. Math. Sci. 242(2019), 177–199, doi:10.1007/s10958-019-04473-w

    2019 doi

  2. [10]

    Netuka and J

    I. Netuka and J. Veselý,Mean value property and harmonic functions, inClassical and Modern Potential Theory and Applications, NATO ASI Series C, vol. 430, Kluwer Academic Publishers, Dordrecht, 1994, pp. 359–398, doi:10.1007/978-94-011-1138-6_29

    1994 doi

  3. [11]

    A. V. Pokrovskii,Conditions for subharmonicity and subharmonic extensions of functions, Sb. Math.208 (2017), 1225–1245, doi:10.1070/SM8918

    2017 doi

  4. [12]

    Zalcman,Analyticity and the Pompeiu problem, Arch

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

    1972 doi

  5. [13]

    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. 6 Q. GUO AND A. XIAO College of Mathematics and Statistics, Northwest Normal University, Lanzhou 730070, China Email address:qiteng.guo@outlook.com College of Mathemat...

    1973 doi

Pith tools

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