pith. sign in

arxiv: 2605.23666 · v1 · pith:576HOQ7Mnew · submitted 2026-05-22 · 🧮 math.AP

A Priori Regularity Estimates for Ratio of Solutions to Elliptic Equations with a Product Structure of Two-Dimensional Nodal Sets

Gabriele Fioravanti This is my paper

Pith reviewed 2026-05-25 03:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords elliptic PDEnodal setsregularity of ratiosproduct structurea priori estimatesLipschitz coefficients
0
0 comments X

The pith

When the nodal set of one solution factors as a product of two-dimensional sets, the ratio of two solutions to the same elliptic equation is C^{1,α} regular.

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

The paper proves optimal a priori C^{1,α} regularity estimates for the ratio w = v/u of two solutions to the elliptic equation -div(A ∇ u)=0 with Lipschitz coefficients A. The key assumption is that the nodal set Z(u) is contained in Z(v) and has a product structure Z(u)=Z(u1)×⋯×Z(um) with each ui two-dimensional. This extends the two-dimensional results of Logunov-Malinnikova and others to this higher-dimensional structural case. A reader cares because regularity of such ratios controls how solutions vanish and intersect in elliptic PDE theory.

Core claim

Under the assumption that Z(u) ⊆ Z(v) and Z(u) has the product structure of 2D nodal sets, the ratio w = v/u is C^{1,α} regular for some α depending on the data.

What carries the argument

The product structure Z(u) = Z(u_1) × ⋯ × Z(u_m) where each u_i is a two-dimensional function, which allows reduction to the 2D case.

If this is right

  • The C^{1,α} regularity holds in any dimension when the nodal set factors this way.
  • Previous 2D regularity estimates apply directly to each factor.
  • The result covers cases where the nodal set is a product, common in separable equations.

Where Pith is reading between the lines

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

  • One could test whether similar regularity holds without the product structure by considering non-product examples.
  • This structure might appear in solutions on product domains or with separated variables.
  • Extensions could include variable coefficients A that respect the product.

Load-bearing premise

The nodal set Z(u) must be exactly a Cartesian product of two-dimensional nodal sets.

What would settle it

Constructing an explicit pair of solutions u and v in three dimensions with Z(u) a product of two 2D sets but the ratio v/u not differentiable at some point would disprove the claim.

read the original abstract

In this paper, we establish optimal a priori $C^{1,\alpha}$ regularity estimates for the ratio $w = v/u$ of two solutions to the same elliptic equation $-\operatorname{div}(A \nabla u )=0$ with Lipschitz coefficients $A$, under the assumption that their nodal sets satisfy $Z(u) \subseteq Z(v)$. We specifically address the case where the zero set $Z(u)$ exhibits a product structure of $2$-dimensional nodal sets, namely $Z(u)=Z(u_1)\times \cdots \times Z(u_{m})$, where the $u_i$ are $2$-dimensional functions. This result extends the regularity estimates previously proved in dimension $2$ by [Logunov and Malinnikova, 2016] and by [Terracini, Tortone, and Vita, 2026].

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

0 major / 3 minor

Summary. The manuscript establishes optimal a priori C^{1,α} regularity estimates for the ratio w = v/u of two solutions to the same divergence-form elliptic equation −div(A ∇u)=0 with Lipschitz coefficients A, under the assumption Z(u) ⊆ Z(v) when the nodal set Z(u) has the product structure Z(u)=Z(u_1)×⋯×Z(u_m) with each u_i a 2-dimensional function. The argument reduces the higher-dimensional problem to the known 2D results of Logunov-Malinnikova (2016) and Terracini-Tortone-Vita (2026) while preserving the equation structure and coefficient regularity.

Significance. If the result holds, it supplies a concrete route to C^{1,α} estimates in dimensions greater than 2 under an explicit structural hypothesis on the nodal set that permits reduction to the 2D theory. The manuscript is credited for keeping the divergence-form operator and Lipschitz coefficients intact throughout the reduction, which is a technical strength that avoids introducing new analytic difficulties.

minor comments (3)
  1. [Abstract and Introduction] The year 2026 for the Terracini-Tortone-Vita reference appears anomalous; please confirm the correct publication year or preprint date.
  2. [Main result statement] The statement of the main theorem (presumably Theorem 1.1 or equivalent) would benefit from an explicit remark on whether the constant in the C^{1,α} estimate depends on the Lipschitz norm of A or remains uniform.
  3. [Section 2 (preliminaries)] Notation for the product decomposition Z(u)=Z(u_1)×⋯×Z(u_m) is introduced without a low-dimensional illustrative example; adding one (e.g., m=2 in R^4) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, which correctly identifies the main result as an extension of the 2D theory to higher dimensions under the product nodal set assumption while preserving the divergence-form structure and Lipschitz coefficients. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation reduces higher-D case to external 2D results via explicit product assumption

full rationale

The manuscript claims C^{1,α} estimates for w=v/u when Z(u)⊆Z(v) and Z(u) has the product form Z(u)=Z(u1)×⋯×Z(um) with each ui 2-dimensional. It reduces the problem to the cited 2D theorems of Logunov-Malinnikova (2016) and Terracini-Tortone-Vita (2026) by applying the product decomposition while preserving the divergence-form equation and Lipschitz coefficients. These citations are to independent external works with no author overlap. The product structure is stated as the explicit setting of the result rather than a hidden definition or fitted input. No step equates a derived quantity to its own input by construction, renames a known pattern, or relies on a self-citation chain. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review based solely on abstract; the central claim rests on standard elliptic assumptions plus the product nodal-set hypothesis. No free parameters or invented entities are visible.

axioms (2)
  • domain assumption Coefficients A are Lipschitz continuous.
    Stated explicitly in the abstract as the setting for the elliptic operator.
  • domain assumption Nodal sets satisfy Z(u) ⊆ Z(v) and Z(u) has product structure Z(u1)×⋯×Z(um) with each ui two-dimensional.
    This is the specific case the abstract says is addressed and on which the estimates are proved.

pith-pipeline@v0.9.0 · 5680 in / 1399 out tokens · 31405 ms · 2026-05-25T03:46:00.833037+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

27 extracted references · 27 canonical work pages

  1. [1]

    Ancona,Principe de Harnack à la frontière et théorème de Fatou pour un opérateur elliptique dans un domaine lipschitzien, Ann

    A. Ancona,Principe de Harnack à la frontière et théorème de Fatou pour un opérateur elliptique dans un domaine lipschitzien, Ann. Inst. Fourier (Grenoble)28(1978) 169–213

    work page 1978

  2. [2]

    Audrito, G

    A. Audrito, G. Fioravanti, S. Vita,Higher order Schauder estimates for degenerate or singular parabolic equations, Rev. Mat. Iberoam.41(2025) 1513–1554

    work page 2025

  3. [3]

    Banerjee, N

    A. Banerjee, N. Garofalo,A parabolic analogue of the higher-order comparison theorem of De Silva and Savin, J. Differential Equations260(2016) 1801–1829

    work page 2016

  4. [4]

    Bañuelos, R

    R. Bañuelos, R. Bass, K. Burdzy,Hölder domains and the boundary Harnack principle, Duke Math. J.64(1991) 195–200

    work page 1991

  5. [5]

    R. Bass, K. Burdzy,A boundary Harnack principle in twisted Hölder domains, Ann. Math.134(1991) 253–276

    work page 1991

  6. [6]

    Cheeger, A

    J. Cheeger, A. Naber, D. Valtorta,Critical sets of elliptic equations, Comm. Pure Appl. Math.68(2015) 173–209

    work page 2015

  7. [7]

    G. Cora, G. Fioravanti, F. Pagliarin, S. Vita,Regularity for elliptic equations with monomial weights, Preprint (2025) arXiv:2511.16516

    work page arXiv 2025

  8. [8]

    De Silva, O

    D. De Silva, O. Savin,A note on higher regularity boundary Harnack inequality, Discrete Contin. Dyn. Syst.35 (2015) 6155–6163

    work page 2015

  9. [9]

    De Silva, O

    D. De Silva, O. Savin,A short proof of boundary Harnack principle, J. Differ. Equations269(2020) 2419–2429

    work page 2020

  10. [10]

    Dahlberg,Estimates of harmonic measure, Arch

    B. Dahlberg,Estimates of harmonic measure, Arch. Ration. Mech. Anal.65(1977) 275–288

    work page 1977

  11. [11]

    Fernández-Real, X

    X. Fernández-Real, X. Ros-Oton,Regularity theory for elliptic PDE, Zur. Lect. Adv. Math.28EMS Press, Berlin (2022)

    work page 2022

  12. [12]

    Garofalo, F

    N. Garofalo, F. Lin,Monotonicity properties of variational integrals,Ap weights and unique continuation, Indiana Univ. Math. J.35(1986) 245–268

    work page 1986

  13. [13]

    Han,Singular sets of solutions to elliptic equations, Indiana Univ

    Q. Han,Singular sets of solutions to elliptic equations, Indiana Univ. Math. J.43(1994) 983–1002. REGULARITY ESTIMATES FOR RATIO OF SOLUTIONS TO ELLIPTIC EQUATIONS 19

    work page 1994

  14. [14]

    Jerison, C

    D. Jerison, C. Kenig,Boundary behavior of harmonic functions in nontangentially accessible domains, Adv. Math. 46(1982) 80–147

    work page 1982

  15. [15]

    Kemper,A boundary Harnack principle for Lipschitz domains and the principle of positive singularities, Commun

    J. Kemper,A boundary Harnack principle for Lipschitz domains and the principle of positive singularities, Commun. Pure Appl. Math.25(1972) 247–255

    work page 1972

  16. [16]

    Logunov, E

    A. Logunov, E. Malinnikova,On ratios of harmonic functions, Adv. Math.274(2015) 241–262

    work page 2015

  17. [17]

    Logunov, E

    A. Logunov, E. Malinnikova,Ratios of harmonic functions with the same zero set, Geom. Funct. Anal.26(2016) 909–925

    work page 2016

  18. [18]

    Lin,Nodal sets of solutions of elliptic and parabolic equations, Comm

    F. Lin,Nodal sets of solutions of elliptic and parabolic equations, Comm. Pure Appl. Math.44(1991) 287–308

    work page 1991

  19. [19]

    F. Lin, Z. Lin,Boundary Harnack principle on nodal domains, Sci. China Math.63(2022) 2441–2458

    work page 2022

  20. [20]

    Murdoch,A theorem on harmonic functions

    B.H. Murdoch,A theorem on harmonic functions. J. Lond. Math. Soc.39(1964) 581–588

    work page 1964

  21. [21]

    Naber, D

    A. Naber, D. Valtorta,Volume estimates on the critical sets of solutions to elliptic PDEs, Comm. Pure Appl. Math., 70(2017) 1835–1897

    work page 2017

  22. [22]

    Simon,Schauder estimates by scaling, Calc

    L. Simon,Schauder estimates by scaling, Calc. Var. Partial Differential Equations5(1997) 391–407

    work page 1997

  23. [23]

    Y. Sire, S. Terracini and S. Vita,Liouville type theorems and regularity of solutions to degenerate or singular problems part I: even solutions, Comm. Partial Differential Equations46(2021) 310–361

    work page 2021

  24. [24]

    Terracini, G

    S. Terracini, G. Tortone, S. Vita,Higher order boundary Harnack principle via degenerate equations, Arch. Ration. Mech. Anal.248(2024)

    work page 2024

  25. [25]

    Terracini, G

    S. Terracini, G. Tortone and S. Vita,A priori Hölder estimates for equations degenerating on nodal sets, to appear on Trans. Amer. Math. Soc. (2026), arXiv:2507.18991

    work page arXiv 2026

  26. [26]

    Terracini, G

    S. Terracini, G. Tortone and S. Vita,A priori regularity estimates for equations degenerating on nodal sets, Adv. Math.492(2026)

    work page 2026

  27. [27]

    G. Peano

    C. Zhang,On higher order boundary Harnack and analyticity of free boundaries, Nonlinear Anal.240(2024). Gabriele Fiora v anti Dipartimento di Matematica "G. Peano" Università degli Studi di Torino Via Carlo Alberto 10, 10124, Torino, Italy Email address:gabriele.fioravanti@unito.it

    work page 2024