pith. sign in

arxiv: 2310.20526 · v2 · submitted 2023-10-31 · 🧮 math.AP · math.DG

Measure upper bounds of nodal sets of solutions to Dirichlet problem of Schr\"{o}dinger equations

Hairong Liu , Long Tian , Xiaoping Yang This is my paper

Pith reviewed 2026-05-24 05:50 UTC · model grok-4.3

classification 🧮 math.AP math.DG
keywords nodal setsSchrödinger equationHausdorff measureDirichlet problemanalytic potentialupper bounddividing iteration
0
0 comments X

The pith

For analytic potentials the (n-1)-Hausdorff measure of nodal sets is bounded by C(1 + log of the L^infty norm of the gradient of V plus one) times (square root of the L^infty norm of V plus square root of the L^infty norm of its gradient, +

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

This paper derives an upper bound on the (n-1)-dimensional Hausdorff measure of the nodal sets of solutions to the Dirichlet problem for the Schrödinger equation with potential V. The bound takes the explicit form C(1 + log(||∇V||_∞ + 1)) · (||V||_∞^{1/2} + ||∇V||_∞^{1/2} + 1) when V is analytic, with C depending only on dimension and the domain. The proof proceeds by a dividing iteration procedure that splits the domain repeatedly to control the growth of the nodal set. A reader would care because the result gives quantitative information on the size of the zero set of solutions, which is relevant to understanding the geometry of eigenfunctions and the distribution of sign changes. When the gradient of V is small the bound reduces to the form C(||V||_∞^{1/2} + 1).

Core claim

By developing a delicate dividing iteration procedure, the upper bound of the (n-1)-dimensional Hausdorff measure of the nodal set of u in Ω is C(1 + log(||∇V||_{L^∞(Ω)} + 1)) · (||V||_{L^∞(Ω)}^{1/2} + ||∇V||_{L^∞(Ω)}^{1/2} + 1), provided V is analytic, where C depends only on n and Ω.

What carries the argument

The dividing iteration procedure that repeatedly splits the domain to refine the measure estimate on the nodal set.

If this is right

  • When ||∇V||_∞ is small the bound simplifies to C(||V||_∞^{1/2} + 1), which is sharp in the sense of Yau's conjecture.
  • The result holds for any bounded domain Ω ⊂ R^n (n ≥ 2) whose boundary is of class C^{1,α} for 0 < α < 1.
  • The constant C depends only on n and Ω and is independent of the particular analytic potential V.

Where Pith is reading between the lines

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

  • The logarithmic factor may disappear under stronger regularity assumptions on V beyond analyticity.
  • The dividing iteration technique could be adapted to obtain similar bounds for other second-order elliptic operators with variable coefficients.
  • Such explicit measure bounds might be used to design adaptive mesh refinement strategies near nodal surfaces in numerical solvers.

Load-bearing premise

The potential V must be analytic for the dividing iteration to produce the stated bound.

What would settle it

An analytic potential V and corresponding solution u for which the (n-1)-Hausdorff measure of the nodal set exceeds the given expression by an arbitrarily large factor.

read the original abstract

In this paper, we focus on estimating measure upper bounds of nodal sets of solutions to the following boundary value problem \begin{equation*} \left\{ \begin{array}{lll} \Delta u+Vu=0\quad \mbox{in}\ \Omega,\\[2mm] u=0\quad \mbox{on}\ \partial\Omega, \end{array}\right. \end{equation*} where $V\in W^{1,\infty}(\Omega)$ is a potential function, and $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) is a bounded domain whose boundary is of class $C^{1,\alpha}$ for any $0<\alpha<1$. By developing a delicate dividing iteration procedure, we show that upper bound of the $(n-1)$-dimensional Hausdorff measure of the nodal set of $u$ in $\Omega$ is $$C\Big(1+\log\left(\|\nabla V\|_{L^{\infty}(\Omega)}+1\right)\Big)\cdot\left(\|V\|_{L^{\infty}(\Omega)}^{\frac{1}{2}}+\|\nabla V\|_{L^{\infty}(\Omega)}^{\frac{1}{2}}+1\right),$$ provided $V$ is analytic, here $C$ is a positive constant depending only on $n$ and $\Omega$. In particular, if $\|\nabla V\|_{L^{\infty}(\Omega)}$ is small, the upper bound for the measure of the nodal set of $u$ is $C\left(\|V\|^{\frac{1}{2}}_{L^{\infty}(\Omega)}+1\right)$, which is sharp in the sense of a famous conjecture of Yau.

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

1 major / 0 minor

Summary. The paper claims an upper bound on the (n-1)-dimensional Hausdorff measure of nodal sets for solutions u to Δu + V u =0 in Ω with u=0 on ∂Ω, where Ω is bounded with C^{1,α} boundary and V ∈ W^{1,∞}(Ω) is analytic. The asserted bound is C(1 + log(‖∇V‖_{L^∞(Ω)}+1)) ⋅ (‖V‖_{L^∞(Ω)}^{1/2} + ‖∇V‖_{L^∞(Ω)}^{1/2} +1), with C depending only on n and Ω. When ‖∇V‖_{L^∞} is small the bound simplifies to C(‖V‖_{L^∞}^{1/2} +1), claimed sharp relative to Yau's conjecture. The argument is said to use a dividing iteration procedure.

Significance. If established, the result would supply an explicit quantitative bound on nodal-set measure with logarithmic dependence on ‖∇V‖_∞, extending work on Yau-type conjectures to potentials with controlled gradients under an analyticity assumption. The simplified form when the gradient is small would be of particular interest for applications in spectral geometry.

major comments (1)
  1. The manuscript consists solely of the abstract and supplies no details, error estimates, or verification steps for the dividing iteration procedure, the role of analyticity of V, or the origin of the logarithmic factor. Without these, the soundness of the central claim cannot be assessed (see reader's report: soundness rated 3.0).

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for forwarding the referee's report. We address the major comment below.

read point-by-point responses

  1. Referee: The manuscript consists solely of the abstract and supplies no details, error estimates, or verification steps for the dividing iteration procedure, the role of analyticity of V, or the origin of the logarithmic factor. Without these, the soundness of the central claim cannot be assessed (see reader's report: soundness rated 3.0).

    Authors: We agree that the manuscript as submitted consists only of the abstract and therefore contains none of the requested details, estimates, or verification steps. The abstract states that a dividing iteration procedure is developed and that analyticity of V is assumed, but provides no further exposition. A revised version of the manuscript will include a full description of the iteration scheme, the manner in which analyticity is used to control the nodal-set measure at each step, and the precise counting argument that produces the logarithmic factor in the gradient term. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

Only the abstract is available, which states a direct upper bound on the Hausdorff measure of the nodal set expressed explicitly in terms of ||V||_∞ and ||∇V||_∞ (with a logarithmic factor) under the assumption that V is analytic. No derivation steps, equations, or citations are provided in the visible text, so no load-bearing reductions to self-definitions, fitted inputs, or self-citations can be identified. The result is presented as obtained via a dividing iteration procedure without any visible renaming, smuggling of ansatzes, or uniqueness claims that collapse to prior author work.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The result rests on analyticity of V to enable the iteration procedure, standard elliptic regularity for the Schrödinger equation, and properties of Hausdorff measure; no free parameters beyond the domain-dependent constant C, no invented entities.

free parameters (1)
  • C
    Positive constant depending only on n and Ω
axioms (1)
  • standard math Standard elliptic regularity and Hausdorff measure properties for solutions of Δu + V u = 0
    Implicitly used to define and measure the nodal set

pith-pipeline@v0.9.0 · 5813 in / 1251 out tokens · 34513 ms · 2026-05-24T05:50:05.910967+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

32 extracted references · 32 canonical work pages

  1. [1]

    Alessandrini, L

    G. Alessandrini, L. Rondi, E. Rosset, S. V essella, The st ability for the Cauchy problem for elliptic equations, Inverse Problems, 2009, 25(12): 123004, 47

    work page 2009

  2. [2]

    Ariturk, Lower bounds for nodal sets of Dirichlet and N eumann eigenfunctions, Communications in Mathe- matical Physics, 2013, 317(3): 817-825

    S. Ariturk, Lower bounds for nodal sets of Dirichlet and N eumann eigenfunctions, Communications in Mathe- matical Physics, 2013, 317(3): 817-825

    work page 2013

  3. [3]

    Bakri, Quantitative uniqueness for Schr¨ odinger operator, Indiana Univ

    L. Bakri, Quantitative uniqueness for Schr¨ odinger operator, Indiana Univ. Math. J., 2012, 61(4): 1565-1580

    work page 2012

  4. [4]

    Bourgain, C

    J. Bourgain, C. Kenig, On localization in the continuous Anderson-Bernoulli model in higher dimension, Invent. Math., 2005, 161(2): 389-426

    work page 2005

  5. [5]

    Br¨ uning, ¨Uber Knoten von Eigenfunktionen des Laplace-Beltrami Operators, Mathematische Zeitschrift, 1978, 158: 15-21

    J. Br¨ uning, ¨Uber Knoten von Eigenfunktionen des Laplace-Beltrami Operators, Mathematische Zeitschrift, 1978, 158: 15-21

    work page 1978

  6. [6]

    Carleman, Sur un probl` eme d’unicit´ e pur les syst` em es d’´ equations aux d´ eriv´ ees partielles ` a deux variables ind´ ependantes, Ark

    T. Carleman, Sur un probl` eme d’unicit´ e pur les syst` em es d’´ equations aux d´ eriv´ ees partielles ` a deux variables ind´ ependantes, Ark. Mat., Astr. Fys., 1939, 26, 1-9

    work page 1939

  7. [7]

    Colombini, C

    F. Colombini, C. Grammatico, Some remarks on strong uniq ue continuation for the Laplace operator and its powers, Communications in Partial Di fferential Equations, 1999, 24(5-6): 1079-1094

    work page 1999

  8. [8]

    Davey, B., C.L

    B. Davey, B., C.L. Lin, J.N.Wang, Strong unique continua tion for the Lam´ e system with less regular coefficients, Math. Ann., 2021, 381: 1005-1029

    work page 2021

  9. [9]

    Davey, Quantitative unique continuation for Schr¨ odinger operator, J

    B. Davey, Quantitative unique continuation for Schr¨ odinger operator, J. Func. Anal., 2020, 279 (4), 108566

    work page 2020

  10. [10]

    Donnelly, C

    H. Donnelly, C. Fe fferman, Nodal sets of eigenfunctions on Riemannian manifold s, Invent Math., 1988, 93, 161-183

    work page 1988

  11. [11]

    Donnelly, C

    H. Donnelly, C. Fe fferman, Nodal sets for eigenfunctions of the Laplacian on sur faces, J. Amer. Math. Soc., 1990, 3 (2), 333-353

    work page 1990

  12. [12]

    Donnelly, C

    H. Donnelly, C. Fe ffermann, Nodal sets of eigenfunctions: Riemannian manifold s with boundary, Analysis, et cetera, 1990, 251-262, Academic Press, Boston, MA

    work page 1990

  13. [13]

    Garofalo, F.H

    N. Garofalo, F.H. Lin, Unique continuation for ellipti c operators: a geometric variational approach, Comm. Pure Appl. Math., 1987, 40 (3): 347-366

    work page 1987

  14. [14]

    Gilbarg, N.S

    D. Gilbarg, N.S. Tr¨ udinger, Elliptic partial di fferential equations of second order, 2003, Springer-V erlag Berlin Heidelberg New Y ork

    work page 2003

  15. [15]

    Lin, Elliptic partial di fferential equations, New Y ork: American Mathematical Society, 1997, Prov- idence, RI

    Q.Han, F.H. Lin, Elliptic partial di fferential equations, New Y ork: American Mathematical Society, 1997, Prov- idence, RI

    work page 1997

  16. [16]

    Hardt, L

    R. Hardt, L. Simon, Nodal sets for solutions of elliptic equations, Journal of Di fferential Geometry, 1989, 30, 505-522

    work page 1989

  17. [17]

    Jerison, C

    D. Jerison, C. Kenig, Unique continuation and absence o f positive eigenvalues for Schr¨ odinger operators, Ann. of Math., 1985, 121(3): 463-488

    work page 1985

  18. [18]

    Kenig, Some recent applications of unique continuat ion

    C. Kenig, Some recent applications of unique continuat ion. In: Recent Developments in Nonlinear Partial Dif- ferential Equations, 2007, volume 439 of Contemp. Math., 25 -56. Amer. Math. Soc., Providence, RI. 35

    work page 2007

  19. [19]

    H. Koch, D. Tataru, Carleman estimates and unique conti nuation for second order elliptic equations with non- smooth coefficients, Comm. Pure Appl. Math., 2001, 54(3): 339-360

    work page 2001

  20. [20]

    Kukavica, Nodal volumes for eigenfunctions of analy tic regular elliptic problems, Journal d’Analyse Mathi- matique, 1995, 67: 269-280

    I. Kukavica, Nodal volumes for eigenfunctions of analy tic regular elliptic problems, Journal d’Analyse Mathi- matique, 1995, 67: 269-280

    work page 1995

  21. [21]

    Kukavica, K

    I. Kukavica, K. Nystr¨ om, Unique continuation on the bo undar for Dini domains, Proceedings of the American Mathematical Society, 1998, 126, 441-446

    work page 1998

  22. [22]

    Kukavica, Quantitative uniqueness for second-orde r elliptic operators, Duke Math

    I. Kukavica, Quantitative uniqueness for second-orde r elliptic operators, Duke Math. J., 1998, 91(2): 225-240

    work page 1998

  23. [23]

    Lin, Nodal sets of solutions of elliptic and parabo lic equations, Comm

    F.H. Lin, Nodal sets of solutions of elliptic and parabo lic equations, Comm. Pure Appl. Math., 1991, 44(3), 287-308

    work page 1991

  24. [24]

    Lin, J.Y

    F.H. Lin, J.Y . Zhu, Upper bounds of nodal sets for eigenf unctions of eigenvalue problems. Math. Ann., 2022, 382: 1957-1984

    work page 2022

  25. [25]

    Logunov, Nodal sets of Laplace eigenfunctions: poly nomial upper estimates of the Hausdor ff measure, Ann

    A. Logunov, Nodal sets of Laplace eigenfunctions: poly nomial upper estimates of the Hausdor ff measure, Ann. of Math., 2018, 187(2), 221-239

    work page 2018

  26. [26]

    Logunov, Nodal sets of Laplace eigenfunctions: proo f of Nadirashvili’s conjecture and the lower bound in Y au’s conjecture, Ann

    A. Logunov, Nodal sets of Laplace eigenfunctions: proo f of Nadirashvili’s conjecture and the lower bound in Y au’s conjecture, Ann. of Math., 2018, 187(1), 241-262

    work page 2018

  27. [27]

    Logunov, E

    A. Logunov, E. Malinnikova, Nodal sets of Laplace eigen functions: estimates of the Hausdor ff measure in dimensions two and three, 50 years with Hardy spaces, 333- 344, Oper. Theory Adv. Appl., 2018, 261, Birkha¨ user/Springer

    work page 2018

  28. [28]

    Logunov, E

    A. Logunov, E. Malinnikova, N. Nadirashvili, F. Nazaro v, The sharp upper bound for the area of the nodal sets of Dirichlet Laplace eigenfunctions, Geom. Funct. Anal., 2 021, 31, 1219-1244

    work page

  29. [29]

    Meshkov, On the possible rate of decay at infinity of solutions of second order partial di fferential equations, Math

    V .Z. Meshkov, On the possible rate of decay at infinity of solutions of second order partial di fferential equations, Math. USSR SB., 1992, 72, 343-361

    work page 1992

  30. [30]

    L. Tian, X. P . Y ang, Measure upper bounds for nodal sets o f eigenfunctions of the bi-harmonic operator, J. London Math. Soc., 2022, 105(3), 1936-1973

    work page 2022

  31. [31]

    Y au, Problem section, Seminar on Di fferential Geometry, Annals of Mathematical Studies 102, Pri nceton, 1982, 669-706

    S.-T. Y au, Problem section, Seminar on Di fferential Geometry, Annals of Mathematical Studies 102, Pri nceton, 1982, 669-706

    work page 1982

  32. [32]

    Zhu, Quantitative uniqueness of elliptic equatio ns, American Journal of Mathematics, 2016, 138(3), 733- 762

    J.Y . Zhu, Quantitative uniqueness of elliptic equatio ns, American Journal of Mathematics, 2016, 138(3), 733- 762

    work page 2016