Remark: Family 372. Global uniqueness in smooth isotropic elasticity

Proves that full static boundary displacement-to-traction data determine both smooth real Lamé moduli on every bounded connected smooth domain in ${\mathbb{R}}^3$, provided $\mu >0$ and $3\lambda +2\mu >0$ on the closure. Neither analyticity, proximity to constant coefficients nor prior knowledge near the boundary is required.

The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.