[논문 리뷰] Free upper boundary value problems for the semi-geostrophic equations

Mike Cullen, D. K. Gilbert외 2명|arXiv (Cornell University)|2014. 09. 30.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 4

한 줄 요약

이 논문은 최적 운반 이론과 확률 measures에서의 해밀토니안 흐름 이론을 활용하여, 자유 상부 경계를 가진 3차원 압축 불가약한 반지구학 방정식에 대한 약한 해의 존재성을 확립한다. 주요 기여는 물리적으로 관련성이 있는 경계 조건 하에서 이중 공간 해의 엄밀한 존재 증명이며, 이는 이전의 강성 경계 결과를 자유 경계 설정으로 확장하기 위해 압력 좌표계에서 몽헤-암페르 및 운반 방정식의 고도급 분석을 통해 달성된다.

ABSTRACT

The semi-geostrophic system is widely used in the modelling of large-scale atmospheric flows. In this paper, we prove existence of solutions of the incompressible semi-geostrophic equations in a fully three-dimensional domain with a free upper boundary condition. We show that, using methods similar to those introduced in the pioneering work of Benamou and Brenier, who analysed the same system but with a rigid boundary condition, we can prove the existence of solutions for the incompressible free boundary problem. The proof is based on optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures given by Ambrosio and Gangbo. We also show how these techniques can be modified to yield the same result also for the compressible version of the system.

연구 동기 및 목표

• 자기 상부 경계가 자유인 3차원 영역에서 압축 불가약한 반지구학 시스템에 대한 약한 해의 존재성을 확립하는 것. 이는 물리적으로 관련성이 있지만 수학적으로 도전적인 조건이다.
• 벤아무와 브레니에가 강성 경계 조건 하에서 존재성을 증명한 기존 프레임워크를 더 복잡한 자유 상부 경계의 경우로 확장하는 것.
• 반지구학 시스템의 이중 형식을 압력 좌표계로 적응시켜 가변 높이 영역에서의 분석을 가능하게 하는 것.
• 최적 운반 이론과 확률 측도 공간에서의 해밀토니안 상미분방정식을 활용하여 자유 경계로 인해 발생하는 어려움을 극복하는 것.
• 동일한 기법이 압축 가능한 경우로도 확장 가능함을 보여주며, 이는 압축 불가약한 시스템과의 구조적 유사성을 유지한다.

제안 방법

• 반지구학 시스템의 이중 형식을 활용하여 원래의 PDE를 이중 변수에서의 몽헤-암페르 방정식과 연속성 방정식으로 변환한다.
• 브레니에-몽헤-칸토로비치 프레임워크를 통해 최적 운반 지도를 수평 운동 에너지와 수직 위치 에너지를 포함한 특정 비용 함수의 최소화 문제의 해로 정의한다.
• 암브로시오와 강보의 해밀토니안 흐름 구조를 활용하여 이중 공간에서의 확률 측도의 진화를 분석함으로써 운반 역학의 잘 정의됨을 보장한다.
• 압력 기반 좌표계를 통해 자유 상부 경계를 정의하며, 상부 표면은 적합한 압력 프로파일의 컴acts 집합 위에서 에너지 기능의 최소화자에 의해 결정된다.
• 압력 좌표계에서 절대 연속 확률 측도 공간에서의 컴팩턴스를 확립하여 최소화 수열의 수렴을 보장한다.
• 이중 공간에서의 캐울렌 안정성 원리를 사용하여 에너지 최소화 상태를 유일한 이중 시스템의 해로 특성화하며, 상부 경계 높이는 변분적으로 결정된다.

실험 결과

연구 질문

• RQ1 자기 상부 경계가 강성 경계가 아닌 자유 경계일 경우, 3차원에서 압축 불가약한 반지구학 시스템에 대한 약한 해의 존재성을 증명할 수 있는가?
• RQ2 반지구학 시스템의 이중 형식은 어떻게 가변 높이 영역의 압력 좌표계로 적응시킬 수 있는가?
• RQ3 해밀토니안 흐름이 확률 측도 공간에서 작용하는 맥락에서 자유 경계 조건을 다루기 위해 최적 운반 이론에 어떤 수정이 필요한가?
• RQ4 압축 불가약한 경우의 존재 결과는 동일한 분석 프레임워크를 사용하여 압축 가능한 반지구학 시스템으로 확장할 수 있는가?
• RQ5 유한성과 안정성 보장을 위한 속도장, 운반 지도, 상부 경계 높이에 대한 사전 경계를 유도할 수 있는가?

주요 결과

• 논문은 자유 상부 경계를 가진 3차원 압축 불가약한 경우에 대해 반지구학 시스템의 안정적인 약한 해 $(\bar{p}_\textrm{s}, \textbf{T})$ 가 이중 변수에서 존재함을 증명한다.
• 해는 $\bar{p}_\textrm{s}(t,\bullet) \to W^{1,\infty}(B(0,S))$ 를 만족하며, 이는 상부 경계 높이 함수의 허더 연속성을 나타낸다.
• 잠재 밀도 $\nu(t,\bullet)$ 는 모든 $t \to [0,\tau]$ 에서 $L^r$ 노름에서 유계이며, $\norm{\nu(t,\bullet)}_{L^r} \to \norm{\nu_0(\bullet)}_{L^r}$ 를 만족하여 질량 보존을 보장한다.
• 속도장 $\textbf{w}(t,\bullet)$ 는 도메인과 비용 함수에 따라 의존하는 상수에 의해 $L^\infty(\text{supp}(\nu))$ 에서 균일하게 유계이며, 이는 흐름의 유계성을 보장한다.
• 운반 지도 $\textbf{T}(t,\bullet)$ 는 수평 운동 에너지와 수직 위치 에너지를 포함한 비용 함수를 최소화하는 유일한 최적 지도이므로, 유일성과 안정성이 보장된다.
• 유사한 방법으로 압축 가능한 경우로의 증명이 확장되며, 이는 압력 좌표계에서 시스템을 기술할 경우 압축 불가약한 경우와의 구조적 유사성을 유지함을 보여준다.