[论文解读] Rigidity of homogeneous Lamé systems

Joonas Ilmavirta, Teemu Saksala+1 more|arXiv (Cornell University)|Feb 9, 2026

Nonlinear Waves and Solitons被引用 0

一句话总结

超曲线Dirichlet-to-Neumann映射用于Lamé系统若匹配齐次模型则在几何条件下系统为齐次，第二模型除了正性外不需要几何假设。

ABSTRACT

In this short paper, we show that any Lamé system whose Dirichlet-to-Neumann map for the elastic wave equation agrees with the one arising from the homogeneous Lamé system must actually be homogeneous. We do not need to impose any assumptions for the Lamé coefficients that we aim to recover. We use the fact that the homogeneous system gives rise to a geometry that is both simple and admits a strictly convex foliation.

研究动机与目标

• 提出反问题的动机：在不先验假设齐次性的情况下，DN-map是否能确定Lamé三元组？
• 证明如果DN-map与齐次Lamé系统的DN-map匹配，在几何条件下第二系统必须齐次。
• 建立一个将DN-map相等、波的几何形状与Lamé系数联系起来的刚性结果。
• 利用几何条件（简单的p/s几何与凸层）推出系数的相等。
• 阐明相对于先前关于边界刚性与弹性反问题的工作的新颖性。

提出的方法

• 在有界凸域上构造两组Lamé三元组并比较它们的超曲线DN-map。
• 利用边界确定性显示边界上的（lambda, mu, rho）的一阶导数处处一致（到任意阶）。
• 将p波与s波的测地线与Lamé参数和密度所诱导的度量联系起来。
• 应用凸层与简单性将边界数据向内部推进以获得刚性结果。
• 如p波与s波速相等，则在潜在退化之外推断rho1=rho2，从而lambda1=lambda2、mu1=mu2。
• 借助现有的刚性引理得出lambda1=lambda2, mu1=mu2, rho1=rho2。

实验结果

研究问题

• RQ1 当一个模型是齐次的时，两个Lamé三元组的DN-map相等是否强制内部三元组一致？
• RQ2 在域和波几何上哪些几何条件确保能够唯一从DN-map恢复(lamda, mu, rho)？
• RQ3 是否只需一个模型满足强几何条件（简单度量和凸层），而另一个模型不受额外几何条件限制即可实现刚性？
• RQ4 p-波和s-波几何如何影响Lamé参数和密度的确定？
• RQ5 DN-map是否足以确定边界导数以保证内部相等？

主要发现

• 若两组Lamé三元组的DN-map在足够大的T下相等，则在给定的正性假设下三元组必须一致。
• 在给定假设下，p-和s-几何是简单且存在光滑的严格凸函数，从而实现边界到内部的刚性。
• lambda, mu, rho的边界导数处处一致，便于扩展性论证和距离比较。
• p波与s波速相等，加上凸层条件，可得到rho1=rho2，然后推出lambda1=lambda2、mu1=mu2。
• 结果在第一模型上具有强几何假设，而第二模型除了正性外不需要额外几何假设。
• 工作与边界刚性结果以及Lorentzian Calderón问题的最新进展相关，并指出关于具有严格凸层的简单流形的若干未解问题。