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 3\lambda+2\mu\gt 0 on the closure. Neither analyticity, proximity to constant coefficients nor prior knowledge near the boundary is required. (Lean)
Manuscript
Global Uniqueness for the Smooth Isotropic Elasticity Inverse Problem
September 24, 2026 · source · cite as \cite{OAI:Global-Uniqueness-for-the-Smooth-Isotropic-Elasticity-Inverse-Problem-September-24-2026}
We 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 3\lambda+2\mu\gt 0 on the closure. This resolves the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity assumptions.
Result 372 · Partial differential equations. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md