Recovery of the Derivative of the Conductivity at the Boundary

Felipe Ponce-Vanegas

Recovery of the Derivative of the Conductivity at the Boundary

T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs explicit boundary functions whose Dirichlet-to-Neumann quadratic forms recover the conductivity and its normal derivative at almost every boundary point.

desk verdict The reader's objection to (20) is mistaken—dyadic summation makes it true—and the paper's boundary reconstruction is sound and worth refereeing. read the letter →

arxiv 1908.08427 v1 pith:ZHJTYOO2 submitted 2019-08-22 math.AP

Felipe Ponce-Vanegas This is my paper · ORCID

classification math.AP MSC 35R3035J2546E35

keywords electricalimpedancetomographyCalderónproblemDirichlet-to-NeumannmapconductivityboundarydeterminationBesovspacessingularsolutionsinversevalue

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that the Dirichlet-to-Neumann map of the conductivity equation determines both the conductivity and its normal derivative at almost every boundary point, through explicit boundary functions and explicit formulas. The proof builds highly concentrated singular solutions near a boundary point and shows that the quadratic form picks out the conductivity at that point, then uses a second family of solutions to pick out the normal logarithmic derivative at the next order in the scale parameter. Because knowing the normal derivative is exactly what is needed to extend a rough conductivity across the boundary, this boundary determination unlocks a bulk uniqueness theorem for conductivities in a specific Sobolev scale. If correct, the formulas give a direct, non-iterative route from boundary measurements to the first-order Taylor data of the unknown conductivity.

What carries the argument

The central object is a family of approximate singular solutions built from $u_h(x)=(x_n+h)/|x+he_n|^n$ in a boundary chart with $0$ at the boundary, together with correction functions $r_h\in H^1_0(\Omega)$ solving $\operatorname{div}(\gamma\nabla(u_h+r_h))=0$. The boundary traces $f_{0,h}=h^{n/2}u_h|_{\partial\Omega}$ concentrate like a delta at the boundary point as $h\to 0$, and the quadratic form $\langle\Lambda_\gamma f,f\rangle$ naturally splits into a principal term carrying $\gamma(y)$ and error terms controlled by the boundary Lebesgue-point estimate of Theorem 2. For the normal derivative, the test functions are replaced by $v_h=\gamma^{-1/2}u_h$, which makes the leading correction term involve $\nabla\log\gamma$ at $y$.

What would settle it

Inspect inequality (20) in the proof of Theorem 5 and test it with a Besov function built from Littlewood-Paley blocks of unit $L^p$ norm supported on disjoint thin slabs approaching the boundary. For $p>2$ and $1/p<s<1-1/p$, the left-hand side $\sum_{\lambda\ge M}\lambda^{1/p}\|P_\lambda f\|_p$ grows like $M^{1-1/p-s}\|f\|_{s,p}$, whereas the right-hand side is a constant times $M^{1/p-s}\|f\|_{s,p}$; the inequality fails. If it fails, the proof of Theorem 2 has no replacement in the paper, and the error control in both reconstruction formulas collapses.

Watch

Extended reading notes

Core claim

Let $\Lambda_\gamma$ be the Dirichlet-to-Neumann map for $\operatorname{div}(\gamma\nabla u)=0$ in a bounded Lipschitz domain $\Omega$. Theorem 1 states that for almost every boundary point $y$ there exist boundary functions $f_{0,h}$ and conductivity-independent constants $c_{0,h}\approx 1$ such that $\langle\Lambda_\gamma f_{0,h}, f_{0,h}\rangle = c_{0,h}\gamma(y)+o(1)$ as $h\to 0$; with one more derivative of regularity, further functions $f_{1,h}$ satisfy $\langle\Lambda_\gamma f_{1,h}, f_{1,h}\rangle - c_{0,h} = c_{1,h}\,\partial_\nu\log\gamma(y)\,h + o(h)$. The paper also proves the boundary approximation estimate (Theorem 2) that controls the error terms, and combines the boundary result with the author's companion theorem to obtain uniqueness of $\gamma$ in $W^{1+\frac{n-5}{2p}+,p}(\Omega)$ for $n\ge 5$ and $n\le p<\infty$.

Load-bearing premise

The entire reconstruction rides on the boundary approximation estimate of Theorem 2: it is the only mechanism that turns the difference $\gamma(x)-\gamma(y)$ near a boundary point into a negligible error; if that estimate is not true in the stated range, the leading terms in the reconstruction formulas cannot be isolated.

Editorial extensions

If this is right

At almost every boundary point, $\gamma(y)$ and $\partial_\nu\log\gamma(y)$ can be computed from $\Lambda_\gamma$ by evaluating the quadratic form on the explicit families $f_{0,h}$ and $f_{1,h}$ and taking $h\to 0$.
Because $c_{0,h}$ and $c_{1,h}$ do not depend on the conductivity, the same boundary functions work for every unknown conductivity; no adaptive choice is needed.
Knowing the normal derivative at the boundary gives the first-order matching condition needed to extend two conductivities outside $\Omega$ with equal traces, the step required by the companion uniqueness proof.
For $n\ge 5$ and $n\le p<\infty$, equality of Dirichlet-to-Neumann maps forces equality of conductivities in $W^{1+\frac{n-5}{2p}+,p}(\Omega)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: the same two-scale quadratic-form scheme could be iterated to read higher normal derivatives of $\gamma$ at the boundary, giving a rough-conductivity analogue of the full Taylor expansion known for smooth conductivities.
Editorial extension: because the reconstruction is an explicit formula in $\Lambda_\gamma$ and the boundary geometry, the construction makes a stability analysis under operator-norm perturbations of $\Lambda_\gamma$ concrete, even though the paper does not quantify such stability.
Editorial extension: the companion uniqueness range $W^{1+\frac{n-5}{2p}+,p}$ suggests that the boundary determination is the pacing step; if the supporting Besov trace estimate is strengthened, the derivative requirement in the bulk uniqueness theorem may improve.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The reader's central objection is wrong. Inequality (20) is valid because every sum over λ is over dyadic λ=2^k. Writing a_k=||P_{2^k}f||_p and δ=s-1/p>0, the tail is ∑_{k≥K}2^{k/p}a_k = ∑_{k≥K}2^{-kδ}(2^{ks}a_k) ≤ M^{-δ}||f||_{B^{s,p}} by Hölder. The proposed counterexample with a_k=2^{-ks}/k is in B^{s,p} and its tail actually decays like M^{-δ}/log M, so it is not a counterexample. The proof of Theorem 5, and hence Theorems 2 and 1, stands.

The paper's real contribution is extending boundary determination of the conductivity below the Lipschitz threshold (s>1/p, not just s≥1 as in Brown) and recovering the normal derivative for s>1+1/p (or s>3/p, p<2) using singular solutions instead of oscillatory ones. That is a genuine, useful step for Calderón theory, and the quadratic-form reconstruction formulas are explicit.

The soft spots are minor. The Gagliardo–Nirenberg comment used to reduce to p≥2 is telegraphic; the intended interpolation to W^{ps/2,2} works and gives the needed trace regularity. The bulk uniqueness Theorem 3 relies on the author's companion paper [11], which is not proved here—a referee should verify that result, but it is not circular. The dyadic-sum convention, once stated, is easy to miss, and the paper could make it louder.

This is a serious paper. I'd send it to a referee with confidence. It deserves to be published, probably after minor revisions for clarity.

Referee Report

0 major / 6 minor

Summary. The paper addresses the Calderón inverse conductivity problem at the boundary. The main result, Theorem 1, shows that for a conductivity γ∈W^{s,p}(Ω) with s>1/p, the Dirichlet-to-Neumann map Λ_γ determines γ(y) for almost every boundary point y through a sequence of quadratic forms ⟨Λ_γ f_{0,h}, f_{0,h}⟩ = c_{0,h}γ(y)+o(1), and, under one additional derivative, determines the normal derivative B_ν log γ(y) through an expansion of order h. The reconstruction uses singular solutions in the spirit of Alessandrini, with error estimates based on a new boundary Lebesgue-point theorem (Theorem 2, proved via Theorem 5 and a Littlewood-Paley trace inequality). As a consequence, Theorem 3 states bulk uniqueness in W^{1+(n−5)/(2p)+,p}(Ω) for n≥5 and n≤p<∞, conditional on the companion result [11, Thm 4].

Significance. If correct, this is a substantial advance in rough-coefficient boundary determination: it recovers both the conductivity and its normal derivative at the boundary from the DN map under essentially minimal trace regularity, and it supplies the boundary step needed for the bulk uniqueness theorem in [11]. The proof is largely self-contained, and the new boundary Lebesgue-point estimate (Theorem 5) is a useful tool in its own right. I do not share the reader's rejection: the alleged failure of inequality (20) disappears once the paper's dyadic summation convention (Notations, p. 15) is respected. For dyadic λ=2^k, setting b_k=2^{ks}‖P_{2^k}f‖_p, the tail ∑_{k≥K}2^{k(1/p−s)}b_k is bounded by (∑ 2^{-k(s−1/p)p'})^{1/p'}‖f‖_{B^{s,p}}, a convergent geometric series for every p>1 and every s>1/p. The proposed continuous-λ counterexample is therefore not admissible. The only substantive weakness I found is a local, fixable gap in the treatment of 1<p<2 in Section 1.1.

minor comments (6)

[§1.1 (Gagliardo-Nirenberg reduction)] For 1<p<2, the sentence 'we can assume that γ∈W^{s,p}(Ω) for s>1/p and 2≤p<∞' is not justified as stated, because the integrability exponent cannot be increased without changing the regularity index. Since γ is also in L∞, interpolation gives γ∈W^{ps/2,2}(Ω) with ps/2>1/2, after which the p=2 case applies; alternatively, all estimates in this subsection can be run with the q=1 case of Theorem 2. Please make this reduction explicit.
[Lemma 7] The interpolation step in the trace inequality is too compressed: the endpoint estimate is proved for (q,p)=(1,r), and the reader must infer that r is the final p divided by the final q and that complex interpolation yields the constant λ^{1/p_final}. Spell out this step, since the current text appears to conclude the general case directly from the L^1 endpoint.
[Theorem 3] The bulk uniqueness result depends on Theorem 4 of the companion preprint [11], whose proof is not reproduced here. The manuscript should state this dependence explicitly, and, if the journal requires it, either include a proof or mark the claim as conditional on [11]; Theorem 1 itself is independent of this dependence.
[§1.2 / Theorem 2 compatibility] The proof applies Theorem 2 to ∇logγ, whose regularity index is s−1, but Theorem 2 requires the index to be strictly below 1+1/p. Since W^{s,p}⊂W^{s',p} for s'<s, one should note before the application that s can first be reduced to a value below 2+1/p; without this observation the hypotheses of Theorem 2 appear incompatible with the condition s>1+1/p in Theorem 1(B).
[Corollary 8 / Notations] The symbol p1 in Corollary 8 appears to be the Hölder conjugate p' but is never defined; please define it. Also, the displayed formula in Theorem 2 contains a spurious negative sign before 1/r^n, likely a typographical artifact.
[§2, estimate (20)] The estimate (20) is valid under the paper's dyadic summation convention, but the proof should say at this display that the sum is over dyadic λ; a reader who ignores the convention will see a divergent continuous sum in the range 1/p<s<1−1/p for p>2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the boundary reconstruction is derived from external estimates and explicit test functions, not from the quantities it claims to recover.

full rationale

The paper's central derivation (Theorem 1) is a forward calculation: fixed singular-solution families u_h and v_h are inserted into the bilinear form defining the Dirichlet-to-Neumann map, and the leading terms are identified with γ(y) and Bν logγ(y) using boundary trace estimates (Theorems 2, 5 and Corollary 8) whose proofs are self-contained and rely on external tools (Littlewood-Paley, trace inequality, Hardy's inequality from [6], Stein [12]). The constants c0,h and c1,h depend only on the domain and the chosen test functions, not on the conductivity; no fitted parameter is later renamed as a prediction. The only same-author citation is [11, Thm. 4] used in the stated corollary Theorem 3 for bulk uniqueness; that is a citation of a separate result, not a reduction of the boundary reconstruction to its own output, and it does not make the derivation circular. Any concern about inequality (20) or the Gagliardo-Nirenberg reduction is a correctness issue, not circularity: under the paper's dyadic summation convention, (20) follows by Hölder from the Besov norm, and the p<2 case is handled by embedding.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities appear. The paper's mathematical burden is the boundary trace regularity result (Theorem 5); its proof needs stronger estimates than the ones written, and Theorem 3 imports a companion result by the same author.

assumptions (5)

standard math Besov and Sobolev spaces on Lipschitz domains admit extension operators to R^n
Used in the proof of Theorem 2 and in trace arguments for functions on Omega.
domain assumption Gagliardo-Nirenberg interpolation can reduce the proofs to p>=2 while preserving s>1/p (Part A) or s>1+1/p (Part B)
Invoked in Sections 1.1 and 1.2 without full detail; may fail for large n unless interpolation constants are checked.
standard math The trace inequality Lemma 7 holds with exponent lambda^{1/p} for all 1<=q<=p
The proof via interpolation is plausible and is not the source of the identified gap.
standard math Hardy's inequality (cited [6]) and the two-dimensional logarithmic version
Used to bound error terms E2 in the normal derivative reconstruction.
ad hoc to paper Theorem 4 in the author's companion preprint [11] gives bulk uniqueness from boundary value plus normal derivative
Theorem 3 of this paper is conditional on that external result, which is not proved or reproduced here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Recovery of the Derivative of the Conductivity at the Boundary." pith.science (2026). https://pith.science/paper/ZHJTYOO2

@misc{pith2026190808427,
  author       = {Pith},
  title        = {Pith review of: Recovery of the Derivative of the Conductivity at the Boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZHJTYOO2}},
  note         = {Machine review of arXiv:1908.08427}
}

abstract

We describe a method to reconstruct the conductivity and its normal derivative at the boundary from the knowledge of the potential and current measured at the boundary. This boundary determination implies the uniqueness of the conductivity in the bulk when it lies in $W^{1+\frac{n-5}{2p}+,p}$, for dimensions $n\ge 5$ and for $n\le p<\infty$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[11]

The Bilinear Strategy for Calder\'on's Problem

F. Ponce-Vanegas. The bilinear strategy for Calderón’ s problem. arXiv:1908.04050 [math.AP], 2019. 16

work page Pith review arXiv 1908
[1]

Alessandrini

G. Alessandrini. Singular solutions of elliptic equati ons and the deter- mination of conductivity by boundary measurements. J. Diﬀerential Equations, 84(2):252–272, 1990

work page 1990
[2]

Brezis and P

H. Brezis and P. Mironescu. Gagliardo-Nirenberg inequa lities and non- inequalities: the full story. Ann. Inst. H. Poincaré Anal. Non Linéaire , 35(5):1355–1376, 2018

work page 2018
[3]

R. Brown. Recovering the conductivity at the boundary fr om the Dirich- let to Neumann map: a pointwise result. J. Inverse Ill-Posed Probl. , 9(6):567–574, 2001

work page 2001
[4]

Brown and R

R. Brown and R. Torres. Uniqueness in the inverse conduct ivity problem for conductivities with 3{2 derivatives in Lp, p ą 2n. J. Fourier Anal. Appl., 9(6):563–574, 2003

work page 2003
[5]

Calderón

A. Calderón. On an inverse boundary value problem. In Seminar on Numerical Analysis and its Applications to Continuum Physi cs (Rio de Janeiro, 1980) , pages 65–73. Soc. Brasil. Mat., Rio de Janeiro, 1980

work page 1980
[6]

J. P. García Azorero and I. Peral Alonso. Hardy inequalit ies and some critical elliptic and parabolic problems. J. Diﬀerential Equations , 144(2):441–476, 1998

work page 1998
[7]

Haberman

B. Haberman. Uniqueness in Calderón’s problem for condu ctivities with unbounded gradient. Comm. Math. Phys. , 340(2):639–659, 2015

work page 2015

Show all 15 references

[8]

S. Ham, Y. Kwon, and S. Lee. Uniqueness in the Calderón pro blem and bilinear restriction estimates. arXiv:1903.09382v2 [mat h.AP], 2019

1903 arXiv
[9]

Kohn and M

R. Kohn and M. Vogelius. Determining conductivity by bou ndary mea- surements. Comm. Pure Appl. Math. , 37(3):289–298, 1984

1984
[10]

Marschall

J. Marschall. The trace of Sobolev-Slobodeckij spaces on Lipschitz do- mains. Manuscripta Math. , 58(1-2):47–65, 1987

1987
[12]

E. Stein. Singular integrals and diﬀerentiability properties of fun ctions. Princeton Mathematical Series, No. 30. Princeton Universi ty Press, Princeton, N.J., 1970

1970
[13]

Sylvester and G

J. Sylvester and G. Uhlmann. A global uniqueness theore m for an inverse boundary value problem. Ann. of Math. (2) , 125(1):153–169, 1987

1987
[14]

Sylvester and G

J. Sylvester and G. Uhlmann. Inverse boundary value pro blems at the boundary—continuous dependence. Comm. Pure Appl. Math. , 41(2):197–219, 1988

1988
[15]

H. Triebel. Theory of function spaces , volume 78 of Monographs in Mathematics. Birkhäuser Verlag, Basel, 1983. 17

1983

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [11]

The Bilinear Strategy for Calder\'on's Problem

F. Ponce-Vanegas. The bilinear strategy for Calderón’ s problem. arXiv:1908.04050 [math.AP], 2019. 16

work page Pith review arXiv 1908

[2] [1]

Alessandrini

G. Alessandrini. Singular solutions of elliptic equati ons and the deter- mination of conductivity by boundary measurements. J. Diﬀerential Equations, 84(2):252–272, 1990

work page 1990

[3] [2]

Brezis and P

H. Brezis and P. Mironescu. Gagliardo-Nirenberg inequa lities and non- inequalities: the full story. Ann. Inst. H. Poincaré Anal. Non Linéaire , 35(5):1355–1376, 2018

work page 2018

[4] [3]

R. Brown. Recovering the conductivity at the boundary fr om the Dirich- let to Neumann map: a pointwise result. J. Inverse Ill-Posed Probl. , 9(6):567–574, 2001

work page 2001

[5] [4]

Brown and R

R. Brown and R. Torres. Uniqueness in the inverse conduct ivity problem for conductivities with 3{2 derivatives in Lp, p ą 2n. J. Fourier Anal. Appl., 9(6):563–574, 2003

work page 2003

[6] [5]

Calderón

A. Calderón. On an inverse boundary value problem. In Seminar on Numerical Analysis and its Applications to Continuum Physi cs (Rio de Janeiro, 1980) , pages 65–73. Soc. Brasil. Mat., Rio de Janeiro, 1980

work page 1980

[7] [6]

J. P. García Azorero and I. Peral Alonso. Hardy inequalit ies and some critical elliptic and parabolic problems. J. Diﬀerential Equations , 144(2):441–476, 1998

work page 1998

[8] [7]

Haberman

B. Haberman. Uniqueness in Calderón’s problem for condu ctivities with unbounded gradient. Comm. Math. Phys. , 340(2):639–659, 2015

work page 2015