[논문 리뷰] Variational formulation of the earth's elastic-gravitational deformations under low regularity conditions

Katharina Brazda, Maarten V. de Hoop외 1명|arXiv (Cornell University)|2017. 02. 15.

Geophysics and Gravity Measurements참고 문헌 41인용 수 3

한 줄 요약

이 논문은 소벨레프 공간과 변분법을 사용하여 최소한의 정규성 조건 하에서 지구의 탄성-중력 변형에 대해 엄밀한 변분적 수식을 수립한다. 작용 함수의 프레셰 미분 가능성을 증명함으로써, 불연속적인 물성 매개변수와 유체-고체 경계를 가진 회전하는 자중력 작용 복합 지구 모델에 대해 잘 정의된 오일러-라그랑주 방정식을 도출한다.

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.

연구 동기 및 목표

• 최소한의 정규성 가정 하에서 지구의 탄성-중력 진동을 수학적으로 엄밀한 변분 프레임워크로 모델링하는 것.
• 입자 운동이 립시츠 연속이고 물성 매개변수(밀도, 강성 텐서)가 $L^∞$에 속할 때조차도 작용 함수가 프레셰 미분 가능함을 보장하는 것.
• 유체 및 고체 부분 영역을 포함한 복합적이고 회전하는 자중력 작용 지구 모델에 대해 일관된 오일러-라그랑주 방정식을 유도하는 것.
• 뉴턴의 제3법칙에서 첫 번째 원리적으로 유도된, 마찰 없는 접선 스립 조건을 포함한 물리적으로 정확한 유체-고체 경계 조건을 제시하는 것.
• 후속 논문에서 해의 존재성 및 유일성 증명을 위한 기초를 마련하기 위해, 현실적인 물리적 제약 조건 하에서 변분 수식이 잘 정의되어 있음을 보장하는 것.

제안 방법

• 비선형 탄성 및 중력 물리학에서 유도된 체적 및 표면 라그랑지안 밀도를 사용하여, 소벨레프 공간 프레임워크 내에서 작용 함수를 수립한다.
• 최소한의 정규성 조건을 적용: 입자 운동은 양의 방향 립시츠 연속이며, 물성 매개변수(밀도, 강성 텐서)는 $L^∞$에 속하고 경계는 립시츠 정규이다.
• 평형 상태에서의 소규모 진동에 대해 선형화를 적용하여, 2차 체적 및 표면 라그랑지안 밀도를 도출한다.
• 작용의 제1변분을 유도하고, 립시츠 도메인에서의 분포 이론 및 추적 정리(Trace Theorems)를 사용하여 그 프레셰 미분 가능성을 증명한다.
• 발산 정리와 변분법의 기본 보조정리를 적용하여 약한 형태의 오일러-라그랑주 방정식과 자연 경계 조건을 유도한다.
• 유체-고체 경계 기여항을 작용에 명시적으로 포함시켜, 동역학적 균형과 뉴턴의 제3법칙과 같은 물리 법칙을 위반하지 않도록 보장한다.

실험 결과

연구 질문

• RQ1 어떤 최소한의 정규성 조건이 지구의 탄성-중력 변형에 대해 잘 정의된 변분 수식을 가능하게 하는가? 특히 물성 매개변수와 영역 경계에 대한 조건을 포함하여.
• RQ2 불연속적인 내부 경계(예: 모호 경계, CMB)가 존재하는 경우에도, 작용 함수를 엄밀하게 구성하고 프레셰 미분 가능성을 보장할 수 있는가?
• RQ3 변분 프레임워크 내에서 마찰 없는 접선 스립 조건을 정확히 수학적으로 어떻게 기술할 수 있는가?
• RQ4 유도된 오일러-라그랑주 방정식은 고전적인 정규 모드 지구물리학 방정식과 어떻게 관련되어 있으며, 어떤 조건에서 그것들과 일치하는가?
• RQ5 유체 외핵으로 인한 공간 연산자의 강제성 부족과 본질 스펙트럼 존재가 의미하는 바는 무엇인가?

주요 결과

• 입자 운동이 립시츠 연속이고 물성 매개변수(밀도 및 강성 텐서)가 $L^∞$에 속할 때 작용 함수는 프레셰 미분 가능하다.
• 유도된 오일러-라그랑주 방정식은 약한 형태로 유도되어, 코어-매니플 경계나 모호와 같이 불연속적인 내부 경계가 존재하더라도 수학적으로 일관성을 유지한다.
• 유체-고체 경계 기여항이 작용에 명시적으로 포함되어 있으며, 유도된 경계 조건은 뉴턴의 제3법칙에서 유도된 첫 번째 원리적 기반에 따라 마찰 없는 접선 스립 조건을 강제한다.
• 변분 수식은 라그랑지안의 구조를 통해 동역학적 보존 법칙(운동량 및 에너지 보존)과 일관성을 유지한다.
• 공간 연산자의 강제성 부족은 표준 에너지 추정이 직접 적용되지 않음을 시사하며, 이는 후속 논문에서 추가 분석이 필요함을 의미한다.
• 고장면에서의 마찰 법칙을 비선형적으로 포함시키기 위해 표면 라그랑지안 밀도를 수정함으로써, 이 수식은 비선형 마찰 법칙을 포함한 전단 파손을 간편하게 확장할 수 있다.