[論文レビュー] 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.

研究の動機と目的

• 最小限の正則性仮定の下で、地球の弾性重力振動を数学的に厳密に定式化する変分フレームワークの構築を目的とする。
• 材料パラメータや境界（例：Moho、CMB）が不連続または僅かに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方程式は弱形式で導出され、コアマントル境界やMohoなどの不連続な内部境界に対しても数学的に整合性が保たれる。
• 流体-固体界面寄与は作用関数に明示的に含まれており、導出された境界条件は第一原理的力学に基づき、摩擦なし接線方向スリップを強制する。
• 変分定式化は、運動量保存則およびエネルギー保存則といった基本的保存則と整合しており、ラグランジアンの構造から確認できる。
• 空間作用素の強制的正則性の欠如は、標準的なエネルギー推定が直接成立しない可能性を示唆し、さらなる解析を要する（後続論文で扱う）。
• 断層界面における非線形摩擦法則を含める場合、表面ラグランジアン密度を修正することで、容易に拡張可能である。