pith. sign in

arxiv: 1907.05136 · v1 · pith:33WKZJJAnew · submitted 2019-07-11 · 🧮 math.AP

Interior decay of solutions to elliptic equations with respect to frequencies at the boundary

Michele Di Cristo , Luca Rondi This is my paper

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

classification 🧮 math.AP
keywords elliptic equationsdecay estimatesboundary frequencyinverse boundary problemsLipschitz coefficientsinterior estimatesdivergence form
0
0 comments X

The pith

As the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays inversely proportional to that frequency.

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

The paper establishes decay estimates inside the domain for solutions of elliptic equations in divergence form whose coefficients are Lipschitz continuous. These estimates tie the size of the interior norm to both the distance from the boundary and the frequency of the Dirichlet boundary datum. A sympathetic reader would care because the estimates give explicit quantitative control: highly oscillatory boundary data forces the solution to become small deep inside. The estimates are shown to be essentially optimal under the Lipschitz assumption and to carry consequences for choosing measurements in related inverse boundary value problems.

Core claim

We prove decay estimates in the interior for solutions to elliptic equations in divergence form with Lipschitz continuous coefficients. The estimates explicitly depend on the distance from the boundary and on suitable notions of frequency of the Dirichlet boundary datum. We show that, as the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays in an inversely proportional manner with respect to the corresponding frequency. Under Lipschitz regularity assumptions, these estimates are essentially optimal and they have important consequences for the choice of optimal measurements for corresponding inverse boundary value problem.

What carries the argument

The frequency of the Dirichlet boundary datum, a measure of oscillation level in the boundary data that controls the rate of interior decay.

If this is right

  • The square of the interior norm decays inversely proportional to the boundary frequency.
  • The decay rate also depends explicitly on distance from the boundary.
  • The estimates are essentially optimal when coefficients are merely Lipschitz.
  • The decay supplies a criterion for selecting optimal boundary measurements in inverse boundary value problems.

Where Pith is reading between the lines

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

  • The same decay relation may be testable numerically on simple domains by driving the boundary with increasingly oscillatory data and measuring interior L2 norms.
  • The optimality statement suggests that dropping to merely continuous coefficients would likely destroy the inverse-proportional decay.
  • The result supplies a concrete tool for quantifying how much interior information is lost when boundary data oscillate rapidly.

Load-bearing premise

The coefficients of the elliptic equation are Lipschitz continuous.

What would settle it

A concrete counter-example consisting of a Lipschitz-coefficient elliptic equation, a high-frequency boundary datum, and a solution whose interior norm fails to decay inversely with frequency would falsify the claim.

read the original abstract

We prove decay estimates in the interior for solutions to elliptic equations in divergence form with Lipschitz continuous coefficients. The estimates explicitly depend on the distance from the boundary and on suitable notions of frequency of the Dirichlet boundary datum. We show that, as the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays in an inversely proportional manner with respect to the corresponding frequency. Under Lipschitz regularity assumptions, these estimates are essentially optimal and they have important consequences for the choice of optimal measurements for corresponding inverse boundary value problem.

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

Summary. The paper proves interior decay estimates for solutions to divergence-form elliptic equations with Lipschitz continuous coefficients. The estimates depend explicitly on the distance to the boundary and on suitable notions of frequency of the Dirichlet boundary datum. As the boundary frequency grows, the square of a suitable norm of the solution on a compact interior set decays inversely proportionally to that frequency. The estimates are shown to be essentially optimal under the Lipschitz assumption and have consequences for the choice of optimal measurements in corresponding inverse boundary value problems.

Significance. If the results hold, they furnish quantitative interior control in terms of boundary frequency for elliptic equations under minimal regularity, strengthening the link between boundary data and interior behavior. The explicit dependence and the optimality construction via examples are strengths that directly inform stability and measurement design in inverse problems.

minor comments (1)
  1. The abstract and introduction refer to 'suitable notions of frequency' without a forward reference to the precise definition used in the estimates; adding an early pointer to the relevant section would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes interior decay estimates for solutions to divergence-form elliptic equations by combining standard interior elliptic estimates (under the Lipschitz coefficient hypothesis) with explicit definitions of boundary frequency for the Dirichlet datum. The decay is proven quantitatively from these ingredients, and optimality is shown via explicit counter-examples that saturate the rate. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the Lipschitz assumption is used precisely for the quantitative bounds and is independently verified to be sharp. The derivation is therefore self-contained and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the Lipschitz regularity assumption is the main structural premise visible.

axioms (1)
  • standard math Standard existence and regularity theory for elliptic divergence-form equations with Lipschitz coefficients
    Implicitly required to even state the problem and solutions.

pith-pipeline@v0.9.0 · 5612 in / 1085 out tokens · 16410 ms · 2026-05-24T23:18:39.273792+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

18 extracted references · 18 canonical work pages

  1. [1]

    Alessandrini and A

    G. Alessandrini and A. Scapin, Depth dependent resolution in electrical impedance tomography, J. Inverse Ill-Posed Probl. 25 (2017) 391–402

    work page 2017

  2. [2]

    Aronszajn, A

    N. Aronszajn, A. Krzywicki and J. Szarski, A unique continuation theorem for exterior differential forms on Riemannian manifolds , Ark. Mat. 4 (1962) 417–453

    work page 1962

  3. [3]

    Babuˇ ska, R

    I. Babuˇ ska, R. Lipton and M. Stuebner, The penetration function and its application to microscale problems , BIT 48 (2008) 167–187

    work page 2008

  4. [4]

    M. C. Delfour and J.-P. Zol´ esio, Shape analysis via oriented distance functions , J. Funct. Anal. 123 (1994) 129–201

    work page 1994

  5. [5]

    Di Cristo and L

    M. Di Cristo and L. Rondi, Examples of exponential instability for inverse inclusion and scattering problems , Inverse Problems 19 (2003) 685–701

    work page 2003

  6. [6]

    Di Cristo and L

    M. Di Cristo and L. Rondi, Exponential instability for inverse elliptic problems wit h unknown boundaries , J. Phys.: Conf. Ser. 73 (Inverse Problems in Applied Sciences— towards breakthrough) (2007) 012005 (18 pp)

    work page 2007

  7. [7]

    Di Cristo, L

    M. Di Cristo, L. Rondi and S. Vessella, Stability properties of an inverse parabolic problem with unknown boundaries , Ann. Mat. Pura Appl. (4) 185 (2006) 223–255

    work page 2006

  8. [8]

    Galkowski and J

    J. Galkowski and J. A. Toth, Pointwise bounds for Steklov eigenfunctions , J. Geom. Anal. 29 (2019) 142–193

    work page 2019

  9. [9]

    Garde and N

    H. Garde and N. Hyv¨ onen, Optimal depth-dependent distinguishability bounds for electrical impedance tomography in arbitrary dimension , preprint arXiv:1904.12510 [math.AP]

    work page arXiv 1904

  10. [10]

    Garde and K

    H. Garde and K. Knudsen, Distinguishability revisited : depth dependent bounds on reconstruction quality in electrical impedance tomograph y, SIAM J. Appl. Math. 77 (2017) 697–720

    work page 2017

  11. [11]

    Garofalo and F.-H

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

    work page 1986

  12. [12]

    D. G. Gisser, D. Isaacson and J. C. Newell, Electric current computed tomography and eigenvalues, SIAM J. Appl. Math. 50 (1990) 1623–1634. 41

    work page 1990

  13. [13]

    Grisvard, Elliptic Problems in Nonsmoooth Domains , Pitman, Boston London Mel- bourne, 1985

    P. Grisvard, Elliptic Problems in Nonsmoooth Domains , Pitman, Boston London Mel- bourne, 1985

    work page 1985

  14. [14]

    P. D. Hislop and C. V. Lutzer, Spectral asymptotics of the Dirichlet-to-Neumann map on multiply connected domains in Rd, Inverse Problems 17 (2001) 1717–1741

    work page 2001

  15. [15]

    Isaacson, Distinguishability of conductivities by electric current computed tomogra- phy, IEEE Trans

    D. Isaacson, Distinguishability of conductivities by electric current computed tomogra- phy, IEEE Trans. Medical Imaging 5 (1986) 91–95

    work page 1986

  16. [16]

    Mandache, Exponential instability in an inverse problem for the Schr¨ odinger equa- tion, Inverse Problems 17 (2001) 1435–1444

    N. Mandache, Exponential instability in an inverse problem for the Schr¨ odinger equa- tion, Inverse Problems 17 (2001) 1435–1444

    work page 2001

  17. [17]

    Mantegazza and A

    C. Mantegazza and A. C. Mennucci, Hamilton-Jacobi equations and distance functions on Riemannian manifolds , Appl. Math. Optim. 47 (2003) 1–25

    work page 2003

  18. [18]

    Polterovich, D

    I. Polterovich, D. A. Sher and J. A. Toth, Nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces , J. Reine Angew. Math., to appear. 42

    work page