[논문 리뷰] Well-posedness of the Euler equations in a stably stratified ocean in isopycnal coordinates

Théo Fradin|arXiv (Cornell University)|2024. 06. 19.

Navier-Stokes equation solutions인용 수 1

한 줄 요약

이 논문은 정규화 없이 비압축성 유동의 등피면 좌표계에서 안정적으로 분층된 해양에서의 유동에 대해 국소 적으로 잘 정의된 해를 확립한다. 등피면 좌표계의 준2차원적 성격을 활용하여, 저자들은 Desjardins 등(2020)이 다룬 대규모 시간 영역과 일치하는 주기 $1/\varepsilon$ 동안 해의 존재를 증명한다. 이는 Bianchini와 Duchêne(2022)가 정규화 항이 필요로 했던 간극을 메운다. 핵심 기여는 등피면 변환 하에서 시스템의 대칭적 구조를 유지함으로써 편미분 매개변수 $\varepsilon$ 에 대해 균일한 존재 시간 확보에 성공한 데 있다.

ABSTRACT

This article is concerned with the well-posedness of the incompressible Euler equations describing a stably stratified ocean, reformulated in isopycnal coordinates. Our motivation for using this reformulation is twofold: first, its quasi-2D structure renders some parts of the analysis easier. Second, it closes a gap between the analysis performed in the paper by Bianchini and Duch{ê}ne in 2022 in isopycnal coordinates, with shear velocity but with a regularizing term, and the analysis performed in the paper by Desjardins, Lannes, Saut in 2020 in Eulerian coordinates, without any regularizing term but without shear velocity. Our main result is a local well-posedness result in Sobolev spaces on the system in isopycnal coordinates, with shear velocity, without any regularizing term. The time of existence that we obtain is uniform with respect to the size $ε$ of the perturbation, and boils down to the large time $1/ε$ with the assumptions of the paper by Desjardins, Lannes, Saut in 2020. With additional assumptions, it is also uniform in the shallow-water parameter. The main difficulty consists in transposing to the isopycnal reformulation the symmetric structure of the system which is more straightforward in Eulerian coordinates.

연구 동기 및 목표

• Bianchini와 Duchêne(2022)가 사용한 정규화 항을 제거하면서도 등피면 좌표 프레임워크를 유지하는 바탕이 되는 분석의 간극을 메우기 위해.
• 정규화 없이 등피면 좌표계에서 비압축성 오일러 방정식에 대해 소볼레프 공간에서 국소 적으로 잘 정의된 해를 확립하기 위해.
• 해의 존재 시간이 편미분 매개변수 $\varepsilon$ 에 대해 균일하며, $1/\varepsilon$ 비례로 스케일링됨을 보여주기 위해. 이는 Desjardins 등(2020)의 대규모 시간 영역 결과와 일치한다.
• 등피면 좌표 변환 하에서 시스템의 대칭적 구조를 유지함으로써, 이는 오비리언 좌표계에서 더 자연스럽게 유지됨을 보장하기 위해.

제안 방법

• 물리적 영역을 고정된 수직 영역 $[0,1]$ 에 대응하는 $r$-좌표로 매핑하는 미분동형사상 $\phi$ 를 사용하여 비압축성 오일러 방정식을 등피면 좌표계로 재구성한다.
• 비틀림 흐름 평형 상태 주위에 크기 $\varepsilon$ 의 편미분 안식을 도입하여, 작은 비선형 항을 포함하는 시스템을 유도한다.
• 등피면 좌표계의 준라그랑주 성격을 활용하여 수직 이송의 분석을 단순화하고, 정규화를 통해 해를 구성한다.
• 이sovotropic 소볼레프 공간 $H^{s,k}$ 에서의 곱셈 및 복합 함수 추정을 적용하여 비선형 항과 압력 기울기 항을 제어한다.
• 비압축성 조건을 활용하여 에너지 추정을 수립함으로써 수직 속도 $w$ 를 $V$ 와 $\eta$ 에 대해 유도하고, 이로 인해 한 계층의 도함수를 상실한다.
• 안정적인 분층 조건($\varrho' \geq c^*>0$)을 이용하여 $\eta$ 의 닫힌 진화 방정식을 유도하고 부력 항을 제어한다.

실험 결과

연구 질문

• RQ1 정규화 항 없이 등피면 좌표계에서 안정적으로 분층된 해양에서 비압축성 오일러 방정식의 잘 정의된 해가 존재할 수 있는가?
• RQ2 비틀림 흐름이 존재할 경우 등피면 좌표계에서 해의 존재 시간이 $1/\varepsilon$ 비례로 스케일링되는가? 이는 Desjardins 등(2020)의 대규모 시간 결과와 일치하는가?
• RQ3 시스템의 대칭적 구조는 등피면 좌표 변환 하에서도 유지될 수 있는가? 이는 에너지 추정에 핵심적이다.
• RQ4 등피면 좌표계는 비틀림 흐름이 존재하는 분층 흐름 분석을 어떻게 단순화하는가?

주요 결과

• 등피면 좌표계에서 소볼레프 공간 $H^s$ 에서 충분히 큰 $s$ 에 대해 국소 해가 존재하며, 이는 크기 $O(1/\varepsilon)$ 의 시간 간격 동안 유지된다.
• 해의 존재 시간은 $\varepsilon$ 에 대해 균일하며, $\varepsilon \to 0$ 이 되어도 축소되지 않으며, Desjardins 등(2020)의 대규모 시간 영역 결과와 일치한다.
• 추가적인 가정 하에 얕은 수면 매개변수에 대해서도 존재 시간이 균일하며, 이는 더 넓은 영역으로 결과를 확장한다.
• 저자들은 시스템의 대칭적 구조를 오비리언 좌표계에서 등피면 좌표계로 성공적으로 이 tras포트하여, 주요 기술적 과제를 해결했다.
• 분석은 이sovotropic 소볼레프 추정과 $H^{s,k}$ 공간에서의 곱셈 및 복합 함수 추정을 통해 비선형 항을 정밀하게 제어하는 데 의존한다.
• 비압축성 조건을 통해 수직 속도 $w$ 는 $V$ 와 $\eta$ 에 의해 제어되며, 이로 인해 한 계층의 도함수 손실이 발생하지만, 이는 등피면 좌표계에서의 방정식의 구조를 통해 관리된다.