Global uniqueness in smooth isotropic elasticity

What OpenAI claims

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λ+2μ > 0 on the closure. Neither analyticity, proximity to constant coefficients nor prior knowledge near the boundary is required. (Lean)

Paper

1. Global Uniqueness for the Smooth Isotropic Elasticity Inverse Problem

   24 September 2026 · Preprint, not peer reviewed · PDF

   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λ+2μ > 0 on the closure. This resolves the smooth three-dimensional isotropic elastic Calderón uniqueness problem under these positivity assumptions.

Status

Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.