[论文解读] Variational formulation of the earth's elastic-gravitational deformations under low regularity conditions

Katharina Brazda, Maarten V. de Hoop+1 more|arXiv (Cornell University)|Feb 15, 2017

Geophysics and Gravity Measurements参考文献 41被引用 3

一句话总结

本文在最小正则性条件下，利用Sobolev空间与变分法，为地球的弹性-引力形变建立了严格的变分公式。证明了作用泛函的Fréchet可微性，从而为具有不连续材料参数和流体-固体边界的旋转、自引力复合地球模型导出明确定义的Euler-Lagrange方程。

ABSTRACT

We present a construction of the action, in the framework of the calculus of variations and Sobolev spaces, describing deformations and the oscillations of a uniformly rotating, elastic and self-gravitating earth. We establish the Fréchet differentiability of the action under minimal regularity assumptions, which constrain the possible composition of an earth model. Thus we obtain well-defined Euler-Lagrange equations, weakly and strongly, that is, the system of elastic-gravitational equations.

研究动机与目标

• 为在最小正则性假设下建模地球弹性-引力振荡，发展一个数学上严格的变分框架。
• 确保即使材料参数和边界（如莫霍面、核幔边界）不连续或仅具有Lipschitz正则性时，作用泛函仍为Fréchet可微。
• 为具有流体与固体子区域的复合、旋转、自引力地球模型推导一致的Euler-Lagrange方程。
• 通过牛顿第三定律的初等推导，将物理上准确的流体-固体界面条件——特别是无摩擦切向滑移——明确纳入变分框架。
• 通过确保变分公式在真实物理约束下适定，为后续论文中解的存在性与唯一性证明奠定基础。

提出的方法

• 在Sobolev空间框架内表述作用泛函，使用由非线性弹性力学与引力物理导出的体积与表面拉格朗日密度。
• 施加最小正则性：粒子运动为正定向Lipschitz连续，材料参数（密度、刚度张量）属于$L^∞$，边界为Lipschitz正则。
• 对旋转平衡态的小扰动进行线性化，导出二次型体积与表面拉格朗日密度。
• 推导作用泛函的一阶变分，并利用分布理论与Lipschitz区域上的迹定理，证明其Fréchet可微性。
• 应用散度定理与变分法基本引理，推导弱形式的Euler-Lagrange方程与自然边界条件。
• 在作用泛函中显式包含流体-固体界面贡献，确保与动量守恒及牛顿第三定律等物理定律的一致性。

实验结果

研究问题

• RQ1 在材料参数与区域边界上，何种最小正则性条件可使旋转地球中弹性-引力形变的变分公式明确定义？
• RQ2 如何严格构造作用泛函，并在低正则性假设（包括内部边界处的不连续性）下证明其Fréchet可微性？
• RQ3 在变分框架内，流体-固体界面条件（特别是无摩擦切向滑移）的正确数学表述为何？
• RQ4 所得Euler-Lagrange方程与经典正常模地震学方程有何关系？在何种条件下会退化为后者？
• RQ5 空间算子缺乏强制性以及由于外核流体导致本质谱存在的影响是什么？

主要发现

• 在最小正则性下，作用泛函为Fréchet可微：粒子运动为Lipschitz连续，材料参数（密度与刚度张量）属于$L^∞$。
• 所得Euler-Lagrange方程以弱形式导出，即使在存在不连续内部边界（如地核-地幔边界或莫霍面）时也保证数学一致性。
• 流体-固体界面在作用泛函中显式体现，推导出的边界条件通过基本力学原理强制实现无摩擦切向滑移。
• 该变分公式与底层守恒定律（包括动量与能量守恒）一致，其拉格朗日结构已验证。
• 空间算子缺乏强制性意味着标准能量估计可能无法直接成立，需进一步分析——此问题将在后续论文中解决。
• 该公式可直接扩展以包含具有非线性摩擦定律的剪切破裂，方法为修改断层界面处的表面拉格朗日密度。