Uniqueness in determining a convex polygonal source of an elastic body

Jianli Xiang

REVIEW 3 major objections 5 minor 17 references

Uniqueness in determining a convex polygonal source of an elastic body

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read One far-field pattern uniquely determines a convex polygonal elastic source, provided the source is nonzero at every corner.

desk verdict Plausible uniqueness result for elastic polygonal sources, but the key lemma evaluates second derivatives pointwise at a corner without the regularity to justify it. read the letter →

arxiv 2506.02870 v1 pith:FOB5I5M3 submitted 2025-06-03 math.AP

Jianli Xiang This is my paper

classification math.AP MSC 35P2535R3045Q0578A46

keywords inversesourceproblemelasticwavesNavierequationconvexpolygonuniquenesscornersingularityfar-fieldpatternsinglemeasurement

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 establishes a uniqueness theorem for the inverse elastic source problem: in two dimensions, a convex polygonal support can be recovered from a single far-field pattern of the time-harmonic Navier equation, as long as the source term does not vanish at any corner. This matters because inverse source problems at a fixed frequency are generally ill-posed, and the result shows that corner geometry is strong enough to force uniqueness without multiple frequencies or multiple incident waves. The proof is by contradiction, comparing two sources that would produce the same far field and showing that any corner belonging to one support but not the other would have to carry a zero source value. A sympathetic reading takes Theorem 2.1 as the paper's central claim, with the sector corner-singularity lemma as the engine that makes the contradiction work.

What carries the argument

The engine of the proof is Lemma 3.2, a comparison principle in a circular sector of opening angle $\varphi \in (0,2\pi)\setminus\{\pi\}$. If two $H^2$ solutions of the inhomogeneous Navier equation $Lu+\omega^2u=S$ in a neighborhood of the sector tip share the same displacement and traction on both sides of the sector, then their source terms have the same value at the tip. Because the opening angle is not $\pi$, the tangential and normal directions on the two sides are linearly independent, which lets the proof express every first and second derivative at the corner through the vanishing tangential and normal derivatives on the sides; the equation then gives $S_1(O)=S_2(O)$. In the uniqueness argument this lemma is applied with $S_2=0$, so a nonzero source value at a corner cannot survive.

What would settle it

Check the radiating solution for a source that is nonzero and piecewise constant on a convex polygon: if it fails to be in $\mathrm{H}^2$ near a corner, the pointwise evaluation in Lemma 3.2 is not justified. To test the theorem itself, attempt to construct two different convex polygons, each with nonzero source values at all corners, whose single far-field patterns agree on the entire unit circle; such a pair would disprove Theorem 2.1.

Watch

Extended reading notes

Core claim

Theorem 2.1 states that if $D \subset \mathbb{R}^2$ is a convex polygon and the elastic source term $S$ is nonzero at every corner of $D$, then $\partial D$ is uniquely determined by a single far-field pattern $u^\infty(\hat{x})$ given for all directions $\hat{x} \in S$. Equality of far-field patterns forces the corresponding total fields to coincide outside the supports. If two different convex polygons were possible, one would have a corner $O$ lying outside the other support; there the second field satisfies the homogeneous Navier equation while the first carries the source value $S_1(O) \neq 0$. The transmission conditions on the two sides of the sector meeting at $O$ match the two fields, and the corner lemma forces $S_1(O) = 0$, a contradiction. Hence the two supports must be identical.

Load-bearing premise

The proof assumes the elastic displacement field has square-integrable second derivatives up to a corner, so that second derivatives and the operator $L$ can be evaluated pointwise at the corner, and the theorem states no regularity condition that guarantees this near a source corner.

Editorial extensions

If this is right

If the theorem holds, a single far-field pattern at one frequency determines the full boundary of a convex polygonal elastic source, so no multi-frequency or multi-incidence data are needed.
Equal single far-field patterns force two convex polygonal sources with nonzero corner values to coincide, ruling out non-radiating pairs in that class.
The sector comparison lemma gives a local mechanism that also pins source values at corners, not just the support, in the elastic setting.
The argument covers the two wave components (compressional and shear) together, so one does not need to separate the far-field pattern into modes beforehand.
The proof sharpens earlier support-identification results for polygonal acoustic and elastic sources to the one-measurement elastic case.

Reading between the lines

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

If the proof's regularity gap is repaired, the uniqueness statement probably extends to piecewise-constant or piecewise-smooth sources whose corner values are nonzero, because the corner argument is local and does not use the source's interior structure.
A natural numerical test would compute far-field patterns for two convex polygons with slightly moved corners and a nonzero constant source; distinct patterns would align with the theorem, while identical patterns would expose an error.
The one-measurement uniqueness for polygons contrasts with the known ill-posedness for smooth sources, suggesting that nonsmooth corners are exactly the feature that makes a fixed-frequency source identifiable.
The corner mechanism may adapt to three-dimensional polyhedral sources, where the singular set consists of edges and vertices rather than plane corners.

Share X Bluesky LinkedIn Reddit HN

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

Emil,

The paper claims that one far-field pattern uniquely determines the convex polygonal support of an elastic source for the Navier equation. It does this by adapting Hu-Li's Helmholtz corner arguments to the elastic system. The local comparison idea is sensible, and Lemma 3.1 is a genuinely clean observation: equality of both Dirichlet and traction traces forces equality of normal derivatives. That lemma is correct and could be reused.

The soft spot is exactly where the reader's stress-test lands. Lemma 3.2 assumes u_l in H^2(B_R), but Step 1 evaluates ∇w at the corner O and Step 2 evaluates ∇²w and Lw there. In two dimensions, H^2 does not embed into C^1, and second derivatives are only L^2. The boundary traces on the sides do not give pointwise values at the endpoint. So the proof of S2(O)=S1(O) is not justified. The theorem statement does not add any Hölder or C² assumption on S, and for a source supported on a closed polygon, S will typically be discontinuous across the boundary. That makes C² regularity at the corner impossible. The gap is load-bearing, not cosmetic.

I also agree that the novelty claim needs work. The introduction mentions that Blåsten-Lin [8] already extended the single-measurement enclosure method to elasticity, but the paper never says whether Theorem 2.1 or a close variant is already in [8]. The author should state the precise relation.

What's good: the paper is brief and readable, the strategy is plausible, and Lemma 3.1 is a small but real contribution. The proof can probably be fixed by adding explicit regularity assumptions (e.g., S Hölder continuous, or a limiting argument that works with traces), though doing so may shrink the theorem.

This is a paper for the inverse problems and corner scattering community. It deserves a serious referee, but only with a request for major revision, not acceptance as is. I wouldn't cite it until the regularity issue is resolved and the overlap with [8] is clarified.

Best,

Referee Report

3 major / 5 minor

Summary. The paper studies the time-harmonic inverse elastic source problem for the two-dimensional Navier equation with Lamé parameters λ, μ satisfying μ>0 and μ+λ>0. The main result, Theorem 2.1, states that if the unknown source term S is compactly supported on a convex polygon D and S has nonzero value at every corner of D, then the boundary ∂D is uniquely determined by a single far-field pattern u∞(x̂) for all directions x̂ on the unit circle. The proof is based on a corner-singularity analysis: Lemma 3.2 asserts that if two solutions of the inhomogeneous Navier equation agree together with their traction on the two sides of a sector, then the source values at the corner coincide. The authors then argue by contradiction, choosing a corner of one polygon outside the other polygon and applying Lemma 3.2 to force a zero source value at that corner. The paper is an extension, to elasticity, of the Helmholtz-equation result of Hu and Li [14].

Significance. If the proof is correct, the result is a meaningful contribution: it extends single-measurement uniqueness for polygonal source supports from the scalar Helmholtz model to the vector-valued Navier system, where compressional and shear waves propagate at different speeds. The main idea, namely exploiting corner singularities to recover the polygonal support of a source from one far-field measurement, is attractive and consistent with recent developments in corner-scattering theory. The paper is concise and the claimed theorem is clearly stated. However, the central lemma is proved under an implicit regularity assumption that is neither stated in the lemma nor guaranteed by the theorem, and this assumption is not merely technical: pointwise evaluation of second derivatives at a corner is used in an essential way. The significance of the paper therefore depends on whether the regularity gap can be closed within the intended class of source terms, or whether the theorem must be restricted to smoother sources with a different proof strategy.

major comments (3)

[Section 3, Lemma 3.2] The proof of Lemma 3.2 assumes only uℓ ∈ [H²(B_R(O))]², but Step 2 evaluates ∇²w and Lw at the corner O. In two dimensions, H² embeds into C⁰ but not into C¹, so ∇w is only an H¹ function whose pointwise value at O is not defined; the trace of ∇w on the sides is only H^{1/2} and cannot be evaluated at the endpoint O. Similarly, ∇²w ∈ L² has no pointwise meaning. Consequently, the deductions ∂²_{τ1}w = ∂_{τ1}∂_{ν1}w = ∂²_{τ2}w = 0 at O, and hence ∇²w(O)=0 and Lw(O)=0, are not justified by the stated hypotheses. The equation Lw + ω²w = S₂−S₁ holds in L², and L² equality does not permit evaluation at a point. To make the proof rigorous, the author must either prove a corner regularity result giving enough regularity for the specific source class, or add an explicit hypothesis such as w ∈ C² near O (or w ∈ H^s with s>3 in two dimensions).
[Theorem 2.1 and Lemma 3.2] The theorem statement does not specify any regularity condition on the source term S beyond compact support and nonzero values at corners. The assumption 'S has non-zero value on every corner of D' already requires S to be defined pointwise, but the proof of Lemma 3.2 needs considerably more: pointwise values of second derivatives of the solution. If S is discontinuous across ∂D, which is the typical situation when S is supported on a closed polygon and is nonzero at a boundary corner, the solution u need not be C² at the corner, and the H² regularity used to justify the transmission arguments is also questionable. Thus the proof of Theorem 2.1 rests on an unstated, load-bearing premise about the regularity of admissible sources. The manuscript should state precisely the function space for S (for example, S ∈ L^∞ with piecewise smooth behavior up to the boundary, or S ∈ C^β with suitable compatibility) and either prove or cite a result ensuring the corresponding solution has the needed corner regularity.
[Proof of Theorem 2.1] The proof asserts: 'If D₁ ≠ D₂, without loss of generality we may assume there exists a corner O of ∂D₁ such that O ∉ D₂.' This is false as stated when one polygon is strictly contained in the other, e.g., D₁ ⊂ D₂, because then every corner of D₁ lies inside D₂. The argument can likely be repaired by choosing the polygon that has a corner outside the other (exchanging labels if necessary), since for two distinct convex polygons at least one has an exposed corner outside the other. This step should be made explicit; it is a logical gap in the proof as written, although not as serious as the regularity issue.

minor comments (5)

[Abstract] The phrase 'in an non-convex domain' should read 'in a non-convex domain'.
[Section 3, Lemma 3.2] The inclusion in display (5) is written as ∇^l_x ⊂ span{...}; since ∇^l_x is an operator, the intended statement is that the l-th derivative of w lies in the span of the listed tangential/normal derivatives. This should be rewritten, for example as ∇^l_x w ∈ span{...}.
[Section 3, Lemma 3.1] The identity T w = µ∂νw + (λ+µ)ν div w in equation (2) is stated without derivation. Since Lemma 3.1 is used in the corner argument, a short derivation or a reference for the Günter derivative identity would improve readability and help the reader verify the signs.
[References] Reference [17] is cited as 'in print' with no volume or year; it is not used in the proof of the main theorem and could be removed or completed.
[Section 2] The notation 'u = uin + usc' suggests that the total field satisfies the Navier equation with source S, but the incident wave is a solution of the homogeneous equation. The paper should state clearly that the measured far field is that of the scattered part and that the inverse problem is to recover the support of S from u∞.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the uniqueness proof is a direct contradiction argument and does not reduce to its assumptions.

full rationale

Walking the derivation chain, Theorem 2.1 assumes two convex polygonal sources with the same single far-field pattern, uses the Rellich-type fact that the total fields coincide outside the supports, then picks a corner of one support not contained in the other. The contradiction S1(O) = 0 is obtained from Lemma 3.2, which is proved from the Navier equation Lu + ω²u = S, the transmission conditions w = Tw = 0 on the two sides, and linear algebra relating tangential/normal derivatives. None of these ingredients assumes the uniqueness conclusion; the source non-vanishing at corners is used only to produce the contradiction. The cited self-reference [17] appears only in the introduction as background on corner scattering and is not invoked in the proof of Lemma 3.2 or Theorem 2.1, so it is not load-bearing. The reader-identified issue that Lemma 3.2 evaluates ∇²w and Lw at O for functions only assumed in H², where pointwise second derivatives are not generally defined, is a genuine regularity/correctness concern about the proof, but it is not circularity: the proof does not assume the target result or fit a parameter to the data it claims to predict. The conclusion is therefore not equivalent by construction to the hypotheses; the paper's derivation is self-contained in the sense relevant to this circularity analysis.

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

No free parameters or invented entities. The paper is a pure proof; the axioms above cover the background results and unstated regularity assumptions.

assumptions (5)

standard math Rellich's lemma for the radiating Navier equation: equal far fields imply identical fields outside the union of the supports.
Used to establish u1 = u2 outside D1 ∪ D2 in the proof of Theorem 2.1. Standard for the Kupradze radiation condition.
domain assumption The total elastic field satisfies transmission conditions [u] = 0 and [Tu] = 0 across the boundary of the source support.
Needed to apply Lemma 3.2's boundary conditions on the edges. True for body sources but not explicitly stated in the paper.
ad hoc to paper The solution u is H² in a neighborhood of each corner, allowing pointwise evaluation of second derivatives.
Lemma 3.2 assumes u_l ∈ [H²(B_R(O))]², but Theorem 2.1 does not state or prove this. For convex corners the regularity may hold for typical sources, but it is an extra assumption not included in the theorem statement.
standard math The existence of a corner of D1 outside D2 when D1 ≠ D2 relies on convexity of both polygons.
Used in Theorem 2.1 proof; true for convex polygons, and the paper notes it fails without convexity.
standard math The tangential and normal vectors on the two sides of the sector are linearly independent when the opening angle is not π.
Used in Lemma 3.2 to express ∂τ2 in terms of ∂ν1 and ∂τ1. Holds for φ in (0, 2π) \ {π}.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Uniqueness in determining a convex polygonal source of an elastic body." pith.science (2026). https://pith.science/paper/FOB5I5M3

@misc{pith2026250602870,
  author       = {Pith},
  title        = {Pith review of: Uniqueness in determining a convex polygonal source of an elastic body},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FOB5I5M3}},
  note         = {Machine review of arXiv:2506.02870}
}

read the original abstract

In this work, we consider the time-harmonic inverse elastic source problem of a fixed frequency for the Navier equation in two dimensions. We show that a convex polygon can be uniquely determined by a single far field measurement. Our approach relies on the corner singularity analysis of solutions to the inhomogeneous Navier equation with a source term in a sector. This paper also contributes to corner scattering theory for the Navier equation in an non-convex domain.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[8]

Bl ˚ asten, Y.H

E. Bl ˚ asten, Y.H. Lin, Radiating and non-radiating sources in elasticity, Inverse Probl. 35 (2019) 015005

work page 2019
[14]

G.H. Hu, J.Z. Li, Inverse source problems in an inhomogeneous medium with a single far-field pattern, SIAM J. Math. Anal., 52 (5) (2020) 5213- 5231

work page 2020
[1]

Alves, N.F.M

C.J.S. Alves, N.F.M. Martins, N.C. Roberty, Full identification of acous- tic sources with multiple frequencies and boundary measurements, Inverse Probl. Imaging 3 (2009) 275-294

work page 2009
[2]

Albanese, P.B

R. Albanese, P.B. Monk, The inverse source problem for Maxwell’s equa- tions, Inverse Probl. 22 (2006) 1023-1035

work page 2006
[3]

Badia, T

E.l. Badia, T. Nara, An inverse source problem for Helmholtz’s equation from the Cauchy data with a single wave number, Inverse Probl. 27 (2011) 105001

work page 2011
[4]

G. Bao, P. Li, J. Lin, F. Triki, Inverse scattering problems with multi- frequencies, Inverse Probl. 31 (2015) 093001

work page 2015
[5]

G. Bao, J. Lin, F. Triki, A multi-frequency inverse source problem, J. Diff. Equa. 249 (2010) 3443-3465. 7

work page 2010
[6]

G. Bao, H. Ammari, J.L. Fleming, An inverse source problem for Maxwell’s equations in magnetoencephalography, SIAM J. Appl. Math. 62 (2002) 1369-1382

work page 2002

Show all 17 references

[7]

Bl ˚ asten, Nonradiating sources and transmission eigenfunctions vanish at corners and edges, SIAM J

E. Bl ˚ asten, Nonradiating sources and transmission eigenfunctions vanish at corners and edges, SIAM J. Math. Anal. 50 (2018) 6255-6270

2018
[9]

Bl ˚ asten, L

E. Bl ˚ asten, L. P¨ aiv¨ arinta, J. Sylvester, Corners always scatter, Commun. Math. Phys. 331 (2014) 725-753

2014
[10]

Bleistein, J.K

N. Bleistein, J.K. Cohen, Nonuniqueness in the inverse source problem in acoustics and electromagnetics, J. Math. Phys. 18 (1977) 194-201

1977
[11]

Elschner, G.H

J. Elschner, G.H. Hu, Corners and edges always scatter, Inverse Probl. 31 (2015) 015003

2015
[12]

Elschner, G.H

J. Elschner, G.H. Hu, Acoustic scattering from corners, edges and circular cones, Arch. Rational Mech. Anal. 228 (2018) 653-690

2018
[13]

Griesmaier, J

R. Griesmaier, J. Sylvester, Uncertainty principles for inverse source prob- lems for electromagnetic and elastic waves, Inverse Probl. 34 (2018) 065003

2018
[15]

Ikehata, Reconstruction of a source domain from the Cauchy data, Inverse Probl

M. Ikehata, Reconstruction of a source domain from the Cauchy data, Inverse Probl. 15 (1999) 637-645

1999
[16]

G.Q. Ma, G.H. Hu, Factorization method with one plane wave: from model- driven and data-driven perspectives, Inverse Probl. 38 (1) (2021) 015003

2021
[17]

Xiang, G.H

J.L. Xiang, G.H. Hu, Absence of the analytic continuation in elastic trans- mission eigenfunctions at rectangular corners, in print. 8

Pith tools

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

[1] [8]

Bl ˚ asten, Y.H

E. Bl ˚ asten, Y.H. Lin, Radiating and non-radiating sources in elasticity, Inverse Probl. 35 (2019) 015005

work page 2019

[2] [14]

G.H. Hu, J.Z. Li, Inverse source problems in an inhomogeneous medium with a single far-field pattern, SIAM J. Math. Anal., 52 (5) (2020) 5213- 5231

work page 2020

[3] [1]

Alves, N.F.M

C.J.S. Alves, N.F.M. Martins, N.C. Roberty, Full identification of acous- tic sources with multiple frequencies and boundary measurements, Inverse Probl. Imaging 3 (2009) 275-294

work page 2009

[4] [2]

Albanese, P.B

R. Albanese, P.B. Monk, The inverse source problem for Maxwell’s equa- tions, Inverse Probl. 22 (2006) 1023-1035

work page 2006

[5] [3]

Badia, T

E.l. Badia, T. Nara, An inverse source problem for Helmholtz’s equation from the Cauchy data with a single wave number, Inverse Probl. 27 (2011) 105001

work page 2011

[6] [4]

G. Bao, P. Li, J. Lin, F. Triki, Inverse scattering problems with multi- frequencies, Inverse Probl. 31 (2015) 093001

work page 2015

[7] [5]

G. Bao, J. Lin, F. Triki, A multi-frequency inverse source problem, J. Diff. Equa. 249 (2010) 3443-3465. 7

work page 2010

[8] [6]

G. Bao, H. Ammari, J.L. Fleming, An inverse source problem for Maxwell’s equations in magnetoencephalography, SIAM J. Appl. Math. 62 (2002) 1369-1382

work page 2002