pith. sign in

arxiv: 2405.04388 · v4 · submitted 2024-05-07 · 🧮 math.AP

Boundary unique continuation in planar domains by conformal mapping

Stefano Vita This is my paper

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

classification 🧮 math.AP
keywords harmonic functionsunique continuationconformal mappingchord arc domainscritical pointsboundary behaviornodal linesplanar domains
0
0 comments X

The pith

Conformal mappings reduce boundary vanishing problems for planar harmonic functions to interior nodal line estimates.

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

For chord arc domains in the plane, a nontrivial harmonic function that vanishes continuously on an open boundary arc cannot have its gradient vanish on any positive-length subset of the boundary. For C1 domains with Dini mean oscillations the same functions have only finitely many critical points in a smaller closed ball. The argument constructs a conformal map that sends the vanishing boundary arc to an interior nodal line of a reflected harmonic function, after which interior critical-set size estimates control the original boundary behavior. This yields a simple proof of a known fact and improves earlier finiteness results. The reduction matters because it converts boundary unique continuation questions into questions about interior nodal sets that are easier to handle with existing tools.

Core claim

By constructing a conformal mapping that transforms the portion of the boundary where the harmonic function vanishes into an interior nodal line of a new harmonic function obtained after reflection, the size of the critical set of the original function up to the boundary can be controlled by interior critical set estimates of the transformed function and boundary critical sets of the mapping itself.

What carries the argument

A conformal mapping that moves the vanishing boundary portion to an interior nodal line of a reflected harmonic function.

If this is right

  • In chord arc domains the gradient of such a harmonic function cannot vanish on a positive surface measure subset of the boundary.
  • In C1 domains with Dini mean oscillations only finitely many critical points occur inside the closed half-ball near the boundary.
  • Interior critical-set estimates become available for the original boundary problem once the mapping and reflection are applied.
  • The same reduction improves earlier finiteness statements for critical points near the boundary.

Where Pith is reading between the lines

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

  • The method may adapt to other two-dimensional elliptic equations whose nodal sets obey interior estimates.
  • Finiteness of critical points could be used to study isolation or local structure of boundary critical points.
  • Lower regularity domains might still admit the reduction if suitable conformal maps can be constructed.
  • The approach connects boundary unique continuation directly to the geometry of interior nodal sets.

Load-bearing premise

The domain must have enough regularity (chord arc or C1 with Dini mean oscillations) for a conformal mapping to exist that sends the boundary arc to an interior line while preserving the needed harmonic properties.

What would settle it

Exhibit a chord arc domain together with a nontrivial harmonic function that vanishes continuously on an open boundary arc yet whose gradient vanishes on a positive-length subset of the boundary.

read the original abstract

Let $\Omega\subset\mathbb R^2$ be a chord arc domain. We give a simple proof of the the following fact, which is commonly known to be true: a nontrivial harmonic function which vanishes continuously on a relatively open set of the boundary cannot have the norm of the gradient which vanishes on a subset of positive surface measure (arc length). This result is conjectured to be true in higher dimensions by Lin, in Lipschitz domains. Let now $\Omega\subset\mathbb R^2$ be a $C^1$ domain with Dini mean oscillations. We prove that a nontrivial harmonic function which vanishes continuously on a relatively open subset of the boundary $\partial\Omega\cap B_1$ has a finite number of critical points in $\overline\Omega\cap B_{1/2}$. The latter improves some recent results by Kenig and Zhao. Our technique involves a conformal mapping which moves the boundary where the harmonic function vanishes into an interior nodal line of a new harmonic function, after a further reflection. Then, size estimates of the critical set - up to the boundary - of the original harmonic function can be understood in terms of estimates of the \emph{interior} critical set of the new harmonic function and of the critical set - up to the boundary - of the conformal mapping.

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 paper establishes two results for harmonic functions in planar domains. In chord-arc domains, a nontrivial harmonic function vanishing continuously on a relatively open boundary portion cannot have |∇u| vanishing on a positive arc-length measure subset of the boundary. In C¹ domains with Dini mean oscillations, such a function vanishing on ∂Ω ∩ B₁ has finitely many critical points in Ω̄ ∩ B_{1/2}. Both proofs reduce the boundary problem to an interior one by applying a conformal map that sends the vanishing boundary arc to an interior nodal line, followed by odd reflection, and then invoking interior critical-set estimates for the reflected function together with boundary behavior of the map itself.

Significance. The results supply elementary 2D proofs for statements that remain conjectural in higher dimensions (Lin) and improve recent work of Kenig-Zhao on critical-point finiteness. The conformal-mapping-plus-reflection reduction is a standard 2D device, but here it is applied directly to boundary vanishing and gradient vanishing, with domain classes chosen precisely to guarantee the required homeomorphism and measure-class preservation. The manuscript thereby converts boundary unique-continuation questions into interior nodal-set questions whose estimates are already available.

minor comments (3)
  1. [§2] §2 (technique paragraph): the statement that the conformal map 'moves the boundary where the harmonic function vanishes into an interior nodal line' should include a one-sentence reminder of the precise boundary regularity (chord-arc or C¹+Dini) that guarantees the map extends continuously to the closure and preserves null sets for arc length.
  2. [Abstract] The abstract contains the typographical repetition 'the the following fact'.
  3. [Introduction] Ensure the citation to Kenig-Zhao appears with full bibliographic details in the references section and is cross-referenced in the introduction when the improvement is claimed.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the significance of the results, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation applies standard 2D conformal mapping and odd reflection to convert boundary vanishing into an interior nodal line, then invokes known interior critical-set estimates for harmonic functions. Domain classes (chord-arc; C¹+Dini) are selected precisely because they guarantee the needed homeomorphism and measure preservation; this is an external regularity hypothesis, not a self-definition or fitted input. No equations reduce the claimed conclusions to parameters or prior self-citations, and the argument is self-contained against external analyticity and finiteness results for harmonic functions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard facts from complex analysis (existence and regularity of conformal maps for the stated domain classes) and elliptic PDE theory (interior unique continuation and critical-set estimates for harmonic functions); no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (2)
  • standard math Conformal mappings exist and preserve harmonicity with sufficient boundary regularity for chord arc and C1 Dini domains
    Invoked in the technique paragraph to move the vanishing boundary set to an interior nodal line.
  • standard math Interior critical-set estimates and reflection principles hold for harmonic functions in the plane
    Used to transfer boundary information to interior estimates after reflection.

pith-pipeline@v0.9.0 · 5744 in / 1550 out tokens · 36743 ms · 2026-05-24T01:04:36.782086+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.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Then, size estimates of the critical set ... of the original harmonic function can be understood in terms of estimates of the interior critical set of the new harmonic function and of the critical set ... of the conformal mapping.

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

33 extracted references · 33 canonical work pages

  1. [1]

    Adolfsson and L

    V. Adolfsson and L. Escauriaza.C1,α domains and unique continuation at the boundary. Comm. Pure Appl. Math. 50-10 (1997), 935-969

    work page 1997

  2. [2]

    Adolfsson, L

    V. Adolfsson, L. Escauriaza, and C. Kenig.Convex domains and unique continuation at the boundary. Rev. Mat. Iberoam. 11 (1995), 519-525

    work page 1995

  3. [3]

    Alessandrini.An identification problem for an elliptic equation in two variables

    G. Alessandrini.An identification problem for an elliptic equation in two variables. Ann. Mat. Pura Appl. (4) 145 (1986), 265-296

    work page 1986

  4. [4]

    Alessandrini and V

    G. Alessandrini and V. Nesi.Univalentσ-harmonic mappings. Arch. Ration. Mech. Anal. 158-2 (2001), 155-171

    work page 2001

  5. [5]

    Apushkinskaya and A

    D. Apushkinskaya and A. Nazarov.A counterexample to the Hopf-Oleinik lemma (elliptic case). Anal. PDE 9-2 (2016), 439-458

    work page 2016

  6. [6]

    Apushkinskaya and A

    D. Apushkinskaya and A. Nazarov.On the boundary point principle for divergence-type equations. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 30-4 (2019), 677-699

    work page 2019

  7. [7]

    Azzam, S

    J. Azzam, S. Hofmann, J.M. Martell, K. Nyström, and T. Toro.A new characterization of chord-arc domains. J. Eur. Math. Soc. (JEMS) 19-4 (2017), 967-981

    work page 2017

  8. [8]

    Cai.Unique continuation at the boundary for divergence form elliptic equations on quasiconvex domains

    Y. Cai.Unique continuation at the boundary for divergence form elliptic equations on quasiconvex domains. J. Math. Phys. 66 (2025), 1-16

    work page 2025

  9. [9]

    Capogna, C

    L. Capogna, C. Kenig, and L. Lanzani.Harmonic measure: geometric and analytic points of view. University Lecture Series 35, American Mathematical Society (2005)

    work page 2005

  10. [10]

    Dahlberg.On the absolute continuity of elliptic measure

    B. Dahlberg.On the absolute continuity of elliptic measure. Amer. J. Math. 108 (1986), 1119-1138

    work page 1986

  11. [11]

    David and D

    G. David and D. Jerison.Lipschitz approximation to hypersurfaces, harmonic measure, and singular integrals. Indiana Univ. Math. J. 39 (1990), 831-845

    work page 1990

  12. [12]

    De Philippis, L

    G. De Philippis, L. Spolaor, B. Velichkov.(Quasi-)conformal methods in two-dimensional free boundary prob- lems. J. Eur. Math. Soc. 27-8 (2024), 3369-3406

    work page 2024

  13. [13]

    H. Dong, L. Escauriaza, and S. Kim.OnC1,C 2, and weak type-(1,1)estimates for linear elliptic operators: part II. Math. Ann. 370 (2018), 447-489

    work page 2018

  14. [14]

    H. Dong, S. Jeon, and S. Vita.Schauder type estimates for degenerate or singular elliptic equations with DMO coefficients. Calc. Var. Partial Differential Equations 63-9 (2024), 1-42

    work page 2024

  15. [15]

    H. Dong, J. Lee, and S. Kim.On conormal and oblique derivative problem for elliptic equations with Dini mean oscillation coefficients. Indiana Univ. Math. J. 69-6 (2020), 1815-1853

    work page 2020

  16. [16]

    J. M. Gallegos.Size of the zero set of solutions of elliptic PDEs near the boundary of Lipschitz domains with small Lipschitz constant. Calc. Var. Partial Differential Equations 62-4 (2023), 1-52

    work page 2023

  17. [17]

    Hartman and A

    P. Hartman and A. Wintner.On the local behavior of solutions of non-parabolic partial differential equations. Amer. J. Math. 75-3 (1953), 449-476

    work page 1953

  18. [18]

    Jerison and C

    D. Jerison and C. Kenig.Boundary behavior of harmonic functions in non-tangentially accessible domains. Adv. Math. 46-1 (1982), 80-147

    work page 1982

  19. [19]

    Jerison and C

    D. Jerison and C. Kenig.Hardy spaces,A∞, and singular integrals on chord-arc domains. Math. Scand. 50-2 (1982), 221-247

    work page 1982

  20. [20]

    Kenig and Z

    C. Kenig and Z. Zhao.Boundary unique continuation onC 1-Dini domains and the size of the singular set. Arch. Ration. Mech. Anal. 245 (2022), 1-88

    work page 2022

  21. [21]

    Kenig and Z

    C. Kenig and Z. Zhao.Examples of non-Dini domains with large singular sets. Adv. Nonlinear Stud. (Special Issue: In honor of David Jerison) 23-1 (2023), 1-33. BOUNDARY UNIQUE CONTINUATION IN PLANAR DOMAINS BY CONFORMAL MAPPING 11

    work page 2023

  22. [22]

    Kenig and Z

    C. Kenig and Z. Zhao.A note on the critical set of harmonic functions near the boundary. Trans. Amer. Math. Soc. 378-5 (2025), 3721-3754

    work page 2025

  23. [23]

    Kukavika and K

    I. Kukavika and K. Nyström.Unique continuation on the boundary for Dini domains. Proc. Amer. Math. Soc. 126 (1998), 441-446

    work page 1998

  24. [24]

    Lavrentiev.Boundary problems in the theory of univalent functions

    M. Lavrentiev.Boundary problems in the theory of univalent functions. Mat. Sb. 43 (1936), 815-846 (in Rus- sian), AMS Transl. Ser. 32 (1963), 1-35 (English translation)

    work page 1936

  25. [25]

    Lewis and K

    J. Lewis and K. Nyström.Regularity and free boundary regularity for thep-Laplace operator in Reifenberg flat and Ahlfors regular domains. J. Amer. Math. Soc. 25-3 (2012), 827-862

    work page 2012

  26. [26]

    Lin.Nodal sets of solutions of elliptic and parabolic equations

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

    work page 1991

  27. [27]

    McCurdy.Unique continuation on convex domains

    S. McCurdy.Unique continuation on convex domains. Rev. Mat. Iberoam. 39-1 (2023), 1-28

    work page 2023

  28. [28]

    Naber and D

    A. Naber and D. Valtorta.Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps. Ann. of Math. (2) 185 (2017), 131-227

    work page 2017

  29. [29]

    Rendón, B

    F. Rendón, B. Sirakov, and M. Soares.Boundary weak Harnack estimates and regularity for elliptic PDE in divergence form. Nonlinear Anal. 235 (2023), 1-13

    work page 2023

  30. [30]

    Semmes.Analysis vs

    S. Semmes.Analysis vs. geometry on a class of rectifiable hypersurfaces inR n. Indiana Univ. Math. J. 39 (1990), 1005-1035

    work page 1990

  31. [31]

    Terracini, G

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

    work page 2026

  32. [32]

    Tolsa.Unique continuation at the boundary for harmonic functions inC1 domains and Lipschitz domains with small constant

    X. Tolsa.Unique continuation at the boundary for harmonic functions inC1 domains and Lipschitz domains with small constant. Comm. Pure Appl. Math. 76-2 (2023), 305-336

    work page 2023

  33. [33]

    F. Casorati

    T. Wolff.Counterexamples with harmonic gradients inR 3. Essays on Fourier analysis in honor of Elias M. Stein, Princeton Math. Ser. 42 (1991), 321-384. (S. Vita)Dipartimento di Matematica “F. Casorati" Università di Pavia Via Ferrata 5, 27100, Pavia, Italy Email address:stefano.vita@unipv.it

    work page 1991