1 · The essentials
The manuscript asks whether measurements made only on the surface of an elastic body can uniquely identify its material properties inside. The body is three-dimensional, and its elastic response is assumed to be the same in every direction at each point. Two smoothly varying functions describe that response. The result says that complete knowledge of how imposed surface displacements produce surface forces determines both functions uniquely. It applies to bounded, connected bodies with smooth boundaries, subject to two stated positivity conditions on the material functions. It does not require the functions to be close to constants or already known near the surface. The main result has a Lean formalization, although the supplied source does not specify its detailed coverage.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine identifying what is inside a sealed object by gently moving its surface in every possible way and recording the forces needed to hold each position. The result says that, within the stated mathematical model and assumptions, two different choices of the internal material functions cannot give exactly the same complete set of responses.
Why it matters
The manuscript describes this as resolving the smooth three-dimensional isotropic elastic Calderón uniqueness problem under the stated positivity assumptions. Its scope is notable because uniqueness does not depend on analyticity, closeness to constant material properties, or prior knowledge of those properties near the boundary. This is a statement about whether complete boundary information distinguishes materials, not a supplied procedure for recovering them from measurements.
2 · Going further
The unknowns are two real smooth Lamé moduli, and , on a bounded connected domain with smooth boundary. They must satisfy and throughout the closure , including the boundary. The data are the full static displacement-to-traction map: the correspondence between imposed boundary displacement and the resulting boundary force per unit area.
The uniqueness assertion is that if two admissible pairs of Lamé moduli yield the same full map, then the pairs coincide. The manuscript presents this as a resolution of the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity assumptions. Neither analyticity, proximity to constant coefficients, nor prior knowledge near the boundary is required.
The supplied abstract states the result but gives no argument or intermediate steps, so an account of the proof strategy cannot be extracted from it. Only the main manuscript is supplied; no companion manuscripts or relationships between them are described. The main result has a Lean formalization, but the supplied material does not identify which individual supporting claims are included in that formalization.
Useful notions
- Smooth functions and smooth boundaries
- Elastic displacement and boundary forces
- Isotropic material response
- Inverse problems and uniqueness
What was known before / what is new
Before
The source identifies the target as the smooth three-dimensional isotropic elastic Calderón uniqueness problem. It provides no account of earlier results or their hypotheses, so no more detailed historical comparison is supported.
New
The main result establishes uniqueness of both smooth real Lamé moduli from the full static displacement-to-traction map on every bounded connected smooth domain in three dimensions, under the specified positivity conditions. It requires neither analyticity nor closeness to constant coefficients, and it assumes no prior knowledge near the boundary. The main result has a Lean formalization.
Limits and assumptions
The statement is restricted to smooth real isotropic elastic coefficients on bounded connected smooth domains in three dimensions, with and on the closure. It uses the full static boundary displacement-to-traction map; the source supplies no conclusion about partial data, noisy measurements, reconstruction procedures, or stability of recovery. The main result has a Lean formalization, but its detailed scope is not supplied, so coverage of every supporting claim should not be assumed. The source does not specify what remains open beyond the stated setting.
Mini glossary
- Lamé moduli —
- The two material functions, and , describing the isotropic elastic response in the stated model.
- Isotropic —
- Having the same material response in every direction at a given point.
- Displacement-to-traction map —
- The correspondence assigning the resulting boundary force per unit area to an imposed boundary displacement.
- Uniqueness —
- The property that two admissible choices of material functions giving identical data must be the same.
- Closure —
- The domain together with its boundary.
Keywords : Inverse elasticity · Boundary measurements · Global uniqueness
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves that full static boundary displacement-to-traction data determine both smooth real Lamé moduli on every bounded connected smooth domain in ℝ3, provided μ > 0 and on the closure. Neither analyticity, proximity to constant coefficients nor prior knowledge near the boundary is required.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Global Uniqueness for the Smooth Isotropic Elasticity Inverse Problem
24/09/2026We prove that the full static displacement-to-traction map uniquely determines both real smooth Lamé moduli on every bounded connected smooth domain in ℝ3, provided μ > 0 and on the closure. This resolves the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity assumptions.