pith. sign in

arxiv: 2604.01559 · v2 · submitted 2026-04-02 · 🧮 math.CV · math.AP

Energy estimates for level sets of holomorphic functions and universal counterexamples to Calder\'on-Zygmund theory

Yifei Pan , Guokuan Shao , Jianfei Wang , Jujie Wu This is my paper

Pith reviewed 2026-05-13 21:17 UTC · model grok-4.3

classification 🧮 math.CV math.AP
keywords holomorphic functionslevel setsenergy estimatesCalderon-Zygmund theoryPoisson equationL1 regularityHironaka resolutionLojasiewicz inequality
0
0 comments X

The pith

Every non-constant holomorphic function in C^n produces a counterexample to L1 regularity for the Poisson equation.

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

The paper shows that the failure of L1 regularity in Calderon-Zygmund theory for the Poisson equation holds for every non-constant holomorphic function on complex n-space. This follows from sharp energy estimates on the level sets of such functions, obtained by applying Hironaka resolution of singularities together with the Lojasiewicz gradient inequality. A reader would care because the result turns a known special counterexample into a generic phenomenon driven by any complex analytic structure. The estimates directly connect the distribution of holomorphic values to the breakdown of standard L1 bounds on solutions.

Core claim

The failure of L1 regularity in Calderon-Zygmund theory for the Poisson equation is a universal phenomenon: every non-constant holomorphic function in C^n generates a counterexample. This is established by proving sharp level-set energy estimates that connect harmonic analysis to the geometry of complex structure through Hironaka's resolution of singularities and the Lojasiewicz gradient inequality.

What carries the argument

Sharp energy estimates on level sets of holomorphic functions, which quantify how the complex geometry forces the Poisson solution outside L1.

If this is right

  • The Poisson equation fails to have L1-regular solutions whenever the right-hand side or coefficients arise from any non-constant holomorphic function.
  • Calderon-Zygmund L1 theory does not hold for the broad class of problems generated by holomorphic data in any dimension.
  • Level-set geometry of holomorphic functions controls the precise breakdown of harmonic analysis estimates.
  • The same resolution-of-singularities approach yields counterexamples in all complex dimensions n at least 1.

Where Pith is reading between the lines

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

  • The technique may extend to other linear PDEs whose coefficients are algebraic or holomorphic.
  • Numerical checks on simple cases such as f(z)=z1 could confirm the divergence rate predicted by the estimates.
  • Resolution of singularities becomes a systematic tool for locating where standard harmonic-analysis bounds cease to apply.

Load-bearing premise

The level-set energy estimates obtained via Hironaka resolution and Lojasiewicz inequality imply the failure of L1 regularity for the associated Poisson equation without additional restrictions on the holomorphic function or the domain.

What would settle it

A single non-constant holomorphic function f in C^n together with its Poisson solution u where the L1 norm of the second derivatives of u remains finite would falsify the claim.

read the original abstract

We demonstrate that the failure of $L^1$ regularity in Calder\'on-Zygmund theory is a universal phenomenon: every non-constant holomorphic function in $\C^n$ generates a counterexample to the Poisson equation. In order to achieve this goal, we shall establish sharp level-set estimates that link harmonic analysis to the geometry of complex structure through Hironaka's resolution of singularities and the \L{}ojasiewicz gradient inequality.

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 / 1 minor

Summary. The manuscript claims that every non-constant holomorphic function in C^n generates a counterexample to L^1 regularity in Calderón-Zygmund theory for the Poisson equation. This is achieved via sharp level-set energy estimates derived from Hironaka's resolution of singularities and the Łojasiewicz gradient inequality, which connect the geometry of the zero sets to the failure of integrability for second derivatives of the solution.

Significance. If the central claim holds, the result would establish that the breakdown of L^1 estimates is a universal phenomenon for holomorphic functions, supplying a broad geometric source of counterexamples that bridges complex analysis and harmonic analysis. The explicit use of resolution of singularities to obtain parameter-free local energy bounds is a methodological strength.

major comments (2)
  1. [Abstract and main theorem statement] The universality claim (every non-constant holomorphic f yields g ∈ L^1(C^n) with Δu = g but D²u ∉ L^1) rests on the level-set estimates implying global integrability. However, Hironaka resolution and Łojasiewicz supply only local control near the analytic set; the manuscript does not provide decay estimates at infinity or growth restrictions on f to guarantee that the resulting g has finite mass over all of C^n (e.g., for f(z) = exp(z_1)).
  2. [Section deriving the PDE counterexample] The translation from local level-set energy bounds to a globally defined right-hand side g for the Poisson equation on C^n is not detailed. It is unclear whether an auxiliary cutoff or truncation is required, or how the estimates ensure the solution u satisfies the exact regularity failure without additional hypotheses on the domain or the function.
minor comments (1)
  1. [Preliminaries on level sets] The notation for the energy functional and the precise statement of the level-set inequality could be made more explicit, with a self-contained definition before invoking the geometric theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the significance, and the recommendation for major revision. The comments correctly identify that the transition from local geometric estimates to a globally integrable right-hand side g on C^n requires additional clarification. We address each point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and main theorem statement] The universality claim (every non-constant holomorphic f yields g ∈ L^1(C^n) with Δu = g but D²u ∉ L^1) rests on the level-set estimates implying global integrability. However, Hironaka resolution and Łojasiewicz supply only local control near the analytic set; the manuscript does not provide decay estimates at infinity or growth restrictions on f to guarantee that the resulting g has finite mass over all of C^n (e.g., for f(z) = exp(z_1)).

    Authors: We agree that the local character of Hironaka resolution and the Łojasiewicz inequality must be supplemented by an explicit global construction. In the revised version we will add a dedicated paragraph in the introduction and in the section on the PDE counterexample showing that, for any non-constant holomorphic f, one may choose a radially decreasing cutoff χ_R supported in |z| < 2R with χ_R ≡ 1 on |z| < R, chosen so that the measure of the level sets outside |z| > R decays sufficiently fast (using the fact that holomorphic functions are locally bounded and the zero set has locally finite Hausdorff measure). The resulting g = χ_R · (density derived from the level-set energy) then belongs to L^1(C^n) for large enough R, while the second-derivative failure remains localized near the analytic set inside |z| < R and is unaffected by the cutoff. For the example f(z) = exp(z_1) we note that the relevant level sets are those of |f| (or of log|f|), which are non-empty and admit the same resolution; the same cutoff argument applies directly. revision: yes

  2. Referee: [Section deriving the PDE counterexample] The translation from local level-set energy bounds to a globally defined right-hand side g for the Poisson equation on C^n is not detailed. It is unclear whether an auxiliary cutoff or truncation is required, or how the estimates ensure the solution u satisfies the exact regularity failure without additional hypotheses on the domain or the function.

    Authors: We will expand the relevant section to include the explicit construction: let μ be the measure on the level sets furnished by the resolution of singularities and Łojasiewicz inequality; we set g = χ · μ where χ is a smooth cutoff equal to 1 in a fixed neighborhood of the analytic set and supported in a slightly larger neighborhood. The Poisson equation Δu = g is then solved on all of C^n by the Newtonian potential (which is well-defined since g ∈ L^1 with compact support after cutoff). The local energy estimates on the level sets imply that the second derivatives of u fail to be integrable in any neighborhood of the analytic set, while the cutoff ensures that no additional singularities are introduced at infinity. No extra hypotheses on the domain are needed because the construction is performed directly on C^n. revision: yes

Circularity Check

0 steps flagged

No significant circularity; level-set estimates derived from external Hironaka and Lojasiewicz results

full rationale

The paper's central derivation proceeds by applying Hironaka's resolution of singularities and the Lojasiewicz gradient inequality (standard external theorems in algebraic geometry and real analytic geometry) to obtain sharp level-set energy estimates for holomorphic functions. These estimates are then used to construct counterexamples to L1 regularity for the Poisson equation. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described chain; the geometric inputs are independent of the target harmonic-analysis conclusion. The skeptic concern about global integrability at infinity is a question of correctness or missing hypotheses, not a reduction of the claimed derivation to its own outputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the applicability of Hironaka resolution and Lojasiewicz inequality to produce the required level-set energy decay that forces the CZ failure.

axioms (2)
  • domain assumption Hironaka's resolution of singularities applies to the zero sets of holomorphic functions in C^n
    Invoked to obtain smooth models for level-set analysis.
  • domain assumption Lojasiewicz gradient inequality controls the decay of energy integrals near critical points of holomorphic functions
    Used to obtain sharp level-set estimates.

pith-pipeline@v0.9.0 · 5374 in / 1228 out tokens · 46486 ms · 2026-05-13T21:17:26.435675+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [1]

    Bierstone and P

    E. Bierstone and P. Milman,Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. (1988), no. 67, 5-42

    work page 1988

  2. [2]

    Evans and R

    L. Evans and R. Gariepy,Measure theory and fine properties of functions, Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, (1992), viii+268 pp

    work page 1992

  3. [3]

    Feehan,Resolution of singularities and geometric proofs of the Łojasiewicz inequalities, Geom

    P. Feehan,Resolution of singularities and geometric proofs of the Łojasiewicz inequalities, Geom. Topol.23(2019), no. 7, 3273-3313

    work page 2019

  4. [4]

    Feehan,On the Morse-Bott property of analytic functions on Banach spaces with Łojasiewicz exponent one half, Calc

    P. Feehan,On the Morse-Bott property of analytic functions on Banach spaces with Łojasiewicz exponent one half, Calc. Var. Partial Differential Equations59(2020), no. 2, Paper No. 87, 50 pp

    work page 2020

  5. [5]

    Fernández-Real and X

    X. Fernández-Real and X. Ros-Oton,Regularity theory for elliptic PDE, Zurich Lectures in Advanced Mathematics, 28, EMS Press, Berlin, (2022), viii+228 pp. 69

    work page 2022

  6. [6]

    Gilbarg and N

    D. Gilbarg and N. Trudinger,Elliptic partial differential equations of second order, Classics in Mathematics. Springer- Verlag, Berlin, (2001), xiv+517 pp

    work page 2001

  7. [7]

    Harvey and J.Polking,Removable singularities of solutions of linear partial differential equations, Acta Math.125 (1970) 39-56

    R. Harvey and J.Polking,Removable singularities of solutions of linear partial differential equations, Acta Math.125 (1970) 39-56

    work page 1970

  8. [8]

    H¨ ormander, The analysis of linear partial differential operators

    L. H¨ ormander, The analysis of linear partial differential operators. I. Distribution theory and Fourier analysis, Second edition. Springer-Verlag, Berlin, 1990

    work page 1990

  9. [9]

    Łojasiewicz,Triangulation of semi-analytic sets, Ann

    S. Łojasiewicz,Triangulation of semi-analytic sets, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3)18(1964), 449-474

    work page 1964

  10. [10]

    Pan and Y

    Y . Pan and Y . Zhang,Continuous Sobolev functions with singularity on arbitrary real-analytic sets, Pacific J. Math. 332(2024), no. 2, 261-272

    work page 2024

  11. [11]

    Shi and R

    Z. Shi and R. Zhang,Sobolev differentiability properties of logarithmic modulus of real analytic functions, J. Funct. Anal.288(2025), no. 6, Paper No. 110804, 22 pp. DEPARTMENT OFMATHEMATICALSCIENCES, PURDUEUNIVERSITYFORTWAYNE, FORTWAYNE, IN 46805- 1499, USA Email address:pan1@pfw.edu SCHOOL OFMATHEMATICS(ZHUHAI), SUNYAT-SENUNIVERSITY, ZHUHAI, GUANGDONG51...

    work page 2025