pith. sign in

arxiv: 2607.00639 · v1 · pith:QUXRCMBQnew · submitted 2026-07-01 · 🧮 math.AP

Inverse Density Problem for Linear Elasticity: Uniqueness from Local Measurements on a Partially Accessible Boundary

Yu Jia , Chengyu Wu , Jiaqing Yang This is my paper

Pith reviewed 2026-07-02 09:56 UTC · model grok-4.3

classification 🧮 math.AP
keywords inverse boundary value problemlinear elasticitydensity identificationlocal Cauchy datauniquenessanalytic densitysingular solutionsvolume potentials
0
0 comments X

The pith

Local Cauchy data on part of the boundary uniquely determine the density and its boundary derivatives in linear elasticity.

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

The paper proves uniqueness for an inverse boundary value problem in the linear elasticity system: the density function and its derivatives at the boundary are recoverable from local measurements of displacement and traction. When the density is analytic, the same data also determine any internal objects, the shape of an inaccessible boundary, and the boundary conditions on it. A reader would care because the result shows that full boundary access is not required for these reconstructions, which could simplify experiments that only expose part of a domain. The argument rests on comparing a specially constructed singular solution to the fundamental solution and using norm blow-up properties of associated potentials.

Core claim

It is proved that the density function ρ and its derivatives at the boundary can be uniquely determined from the local Cauchy data. Furthermore, if the density function is analytic, we can uniquely determine the internal buried objects, as well as the unknown boundary and the boundary conditions imposed on it. The proofs rely on a precise characterization of the principal part of the difference between a special first-order singular solution and the fundamental solution in the H^m norm, together with the blow-up property for the boundary Sobolev norms of the volume potential corresponding to the fundamental solution.

What carries the argument

The principal-part characterization of the difference between a special first-order singular solution and the fundamental solution in the H^m norm, combined with the blow-up property of boundary Sobolev norms of the volume potential.

If this is right

  • The density ρ is uniquely fixed by local Cauchy data alone.
  • Derivatives of ρ up to any order at the boundary are also uniquely fixed.
  • When ρ is analytic, any buried objects inside the domain are uniquely located.
  • The inaccessible part of the boundary and the conditions on it become uniquely determined under analyticity.

Where Pith is reading between the lines

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

  • Reconstruction procedures could be designed that use only measurements from one accessible face rather than the entire surface.
  • The same singular-solution comparison might adapt to recover other coefficients, such as Lamé parameters, from partial data.
  • If analyticity is dropped, the result still yields unique boundary traces of ρ even if interior uniqueness fails.

Load-bearing premise

The difference between the chosen singular solution and the fundamental solution admits a controllable principal part in the H^m norm, and the volume potential satisfies a boundary-norm blow-up property.

What would settle it

Two distinct densities (or two distinct analytic densities with different internal objects) that produce identical local Cauchy data on the accessible boundary portion would contradict the claimed uniqueness.

read the original abstract

We consider the inverse boundary value problem in an elasticity system. It is proved that the density function $\rho$ and its derivatives at the boundary can be uniquely determined from the local Cauchy data. Furthermore, if the density function is analytic, we can uniquely determine the internal buried objects, as well as the unknown boundary and the boundary conditions imposed on it. Our methods mainly based on a precise characterization for the principal part of the difference between a special first-order singular solution and the fundamental solution in the $H^m$ norm, and the blow-up property for the boundary Sobolev norms of the volume potential corresponding to the fundamental solution.

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

Summary. The manuscript considers the inverse boundary value problem for the linear elasticity system. It proves that the density function ρ and its derivatives at the boundary can be uniquely determined from local Cauchy data. If ρ is analytic, the result extends to unique determination of internal buried objects, the unknown boundary, and the boundary conditions on it. The proofs rely on a precise characterization of the principal part of the difference between a special first-order singular solution and the fundamental solution in the H^m norm, together with the blow-up property for the boundary Sobolev norms of the volume potential corresponding to the fundamental solution.

Significance. If the stated characterizations and blow-up properties hold for the Lamé system with the given partial-boundary data, the result strengthens uniqueness theory for inverse elasticity problems with local measurements. The paper provides a mathematical proof of uniqueness, which is a strength; the singular-solution approach is standard but the specific H^m principal-part characterization and boundary blow-up property, if verified, constitute a concrete technical contribution.

minor comments (2)
  1. [Abstract] The abstract states the main results but does not include the precise statement of the main theorem (e.g., the precise regularity assumed on ρ or the precise form of the local Cauchy data); adding a numbered theorem statement in §1 would improve readability.
  2. [§2] Notation for the Lamé parameters and the precise Sobolev spaces (H^m) used in the blow-up property should be introduced once at the beginning of §2 rather than appearing first in the proof sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our work on the inverse boundary value problem for the linear elasticity system. The recommendation for minor revision is noted; however, no specific major comments were provided in the report. We therefore have no individual points requiring detailed rebuttal or clarification at this stage. The manuscript's proofs rely on the stated characterizations of the principal part in the H^m norm and the boundary blow-up property, which are established in the paper.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes uniqueness for the density ρ (and derivatives) from local Cauchy data in the linear elasticity system, extending to analytic cases for internal objects and unknown boundaries. The approach relies on a characterization of the principal part of the difference between a special singular solution and the fundamental solution in H^m, plus blow-up properties of volume potentials in boundary Sobolev norms. These are independent analytical tools from PDE theory and do not reduce by construction to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against external mathematical benchmarks with no quoted reductions to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5632 in / 967 out tokens · 40267 ms · 2026-07-02T09:56:56.773125+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

34 extracted references · 1 canonical work pages

  1. [1]

    Akamatsu, G

    M. Akamatsu, G. Nakamura, and S. Steinberg , Identification of Lamé coefficients from boundary observations , Inverse Probl., 7 (1991), pp. 335–354

    1991

  2. [2]

    Alessandrini, Singular solutions of elliptic equations and the determination of conductivity by boundary measurements , Journal of Differential Equations, 84 (1990), pp

    G. Alessandrini, Singular solutions of elliptic equations and the determination of conductivity by boundary measurements , Journal of Differential Equations, 84 (1990), pp. 252–272

    1990

  3. [3]

    J. A. Barceló, M. Folch-Gabayet, S. Pérez-Esteva, A. Ruiz, and M. C. Vilela , Unique- ness for inverse elastic medium problems , SIAM J. Math. Anal., 50 (2018), pp. 3939–3962

    2018

  4. [4]

    R. M. Brown and M. Salo , Identifiability at the boundary for first-order terms , Appl. Anal., 85 (2006), pp. 735–749

    2006

  5. [5]

    A. P. Calderón , On an inverse boundary value problem , in Seminar on Numerical Analysis and its Applications to Continuum Physics (Rio de Janeiro, 1980), Ró de Janeiro, 1980, Soc. Brasil. Mat., pp. 65–73

    1980

  6. [6]

    Caro and T

    P. Caro and T. Zhou , Global uniqueness for an IBVP for the time-harmonic Maxwell equa- tions, Anal. PDE, 2 (2014), pp. 375–405

    2014

  7. [7]

    Cheng and M

    J. Cheng and M. Yamamoto , The global uniqueness for determining two convection coef- ficients from Dirichlet to Neumann map in two dimensions , Inverse Probl., 16 (2000), pp. L25–L30

    2000

  8. [8]

    Cheng and M

    J. Cheng and M. Yamamoto , Determination of two convection coefficients from Dirichlet to Neumann map in the two-dimensional case , SIAM J. Math. Anal., 35 (2004), pp. 1371– 1393

    2004

  9. [9]

    M. V. De Hoop, G. Nakamura, and J. Zhai , Reconstruction of Lamé moduli and density at the boundary enabling directional elastic wavefield decomposition , SIAM J. Appl. Math., 77 (2017), pp. 520–536

    2017

  10. [10]

    M. Doll, A. Froehly, and R. Schulz , A partial data problem in linear elasticity , Inverse Probl., 36 (2020), pp. 055016, 24

    2020

  11. [11]

    Eskin and J

    G. Eskin and J. Ralston , On the inverse boundary value problem for linear isotropic elasticity , Inverse Probl., 18 (2002), pp. 907–921

    2002

  12. [12]

    Hähner , On acoustic, electromagnetic, and elastic scattering problems in inhomogeneous media, Universität Göttingen, 1998

    P. Hähner , On acoustic, electromagnetic, and elastic scattering problems in inhomogeneous media, Universität Göttingen, 1998

    1998

  13. [13]

    G. C. Hsiao and W. L. Wendland , Boundary Integral Equations , vol. 164 of Applied Math- ematical Sciences, Springer, Cham, 2021

    2021

  14. [14]

    Ikehata, G

    M. Ikehata, G. Nakamura, and M. Yamamoto , Uniqueness in inverse problems for the isotropic Lamé system , J. Math. Sci. Univ. Tokyo, 5 (1998), pp. 627–692

    1998

  15. [15]

    O. Y. Imanuvilov, G. Uhlmann, and M. Yamamoto , On uniqueness of Lamé coefficients from partial Cauchy data in three dimensions , Inverse Probl., 28 (2012), pp. 125002, 5

    2012

  16. [16]

    O. Y. Imanuvilov and M. Yamamoto , Inverse problem by Cauchy data on an arbitrary sub-boundary for systems of elliptic equations , Inverse Probl., 28 (2012), pp. 095015, 30 pp

    2012

  17. [17]

    Isakov , Inverse Problems for Partial Differential Equations , Springer, New York, 2nd ed., 2006

    V. Isakov , Inverse Problems for Partial Differential Equations , Springer, New York, 2nd ed., 2006

    2006

  18. [18]

    Kohn and M

    R. Kohn and M. Vogelius , Determining conductivity by boundary measurements , Comm. Pure. Appl. Math., 37 (1984), pp. 289–298

    1984

  19. [19]

    Kohn and M

    R. Kohn and M. Vogelius , Determining conductivity by boundary measurements II. Interior results, Comm. Pure Appl. Math., 38 (1985), pp. 643–667

    1985

  20. [20]

    Y. H. Lin and G. Nakamura , Boundary determination of the Lamé moduli for the isotropic elasticity system , Inverse Probl., 33 (2017), pp. 125004, 23pp

    2017

  21. [21]

    McLean, Strongly Elliptic Systems and Boundary Integral Operators , Cambridge University Press, Cambridge, UK, 2000

    W. McLean, Strongly Elliptic Systems and Boundary Integral Operators , Cambridge University Press, Cambridge, UK, 2000

    2000

  22. [22]

    Nakamura, Z

    G. Nakamura, Z. Sun, and G. Uhlmann , Global identifiability for an inverse problem for the Schrödinger equation in a magnetic field , Math. Ann., 303 (1995), pp. 377–388

    1995

  23. [23]

    Nakamura and G

    G. Nakamura and G. Uhlmann , Identification of Lamé parameters by boundary measure- ments, Amer. J. Math., 115 (1993), pp. 1161–1187

    1993

  24. [24]

    Nakamura and G

    G. Nakamura and G. Uhlmann , Global uniqueness for an inverse boundary problem arising in elasticity , Invent. Math., 118 (1994), pp. 457–474

    1994

  25. [25]

    Nakamura and G

    G. Nakamura and G. Uhlmann , Inverse problems at the boundary for an elastic medium , SIAM J. Math. Anal., 26 (1995), pp. 263–279

    1995

  26. [26]

    Global uniqueness for an inverse boundary value problem arising in elasticity

    G. Nakamura and G. Uhlmann , Erratum: “Global uniqueness for an inverse boundary value problem arising in elasticity” [Invent. Math. 118(1994), no. 3, 457–474] , Invent. Math., 152 (2003), pp. 205–207

    1994

  27. [27]

    Pichler , An inverse problem for Maxwell’s equations with Lipschitz parameters , Inverse Probl., 34 (2018), pp

    M. Pichler , An inverse problem for Maxwell’s equations with Lipschitz parameters , Inverse Probl., 34 (2018), pp. 1–21. Inverse Density Problem for Linear Elasticity: Uniqueness from Local Measurements 19

    2018

  28. [28]

    L. V. Rachele , An inverse problem in elastodynamics: uniqueness of the wave speeds in the interior, J. Differential Equations, 162 (2000), pp. 300–325

    2000

  29. [29]

    Sylvester and G

    J. Sylvester and G. Uhlmann , A global uniqueness theorem for an inverse boundary value problem, Ann. of Math., 125 (1987), pp. 153–169

    1987

  30. [30]

    Sylvester and G

    J. Sylvester and G. Uhlmann , Inverse boundary value problems at the boundary-continuous dependence, Comm. Pure Appl. Math., 41 (1988), pp. 197–221

    1988

  31. [31]

    C. F. Tolmasky , Exponentially growing solutions for nonsmooth first-order perturbations of the Laplacian , SIAM J. Math. Anal., 29 (1998), pp. 116–133

    1998

  32. [32]

    Uhlmann and J

    G. Uhlmann and J. Zhai , Determination of the density in a nonlinear elastic wave equation , Math. Ann., 390 (2024), pp. 2825–2858

    2024

  33. [33]

    Wu and J

    C. Wu and J. Yang , Boundary determination of electromagnetic parameters from local data . (arXiv: 2510.25061)

    work page arXiv

  34. [34]

    Wu and J

    C. Wu and J. Yang , Elastic scattering by locally rough interfaces . preprint, 2025

    2025