[논문 리뷰] Free Boundary Problems via Da Prato-Grisvard Theory

Raphaël Danchin, Matthias Hieber외 2명|arXiv (Cornell University)|2020. 11. 16.

Navier-Stokes equation solutions인용 수 4

한 줄 요약

이 논문은 다 프라토-그리스베르의 프레임워크를 사용하여 포물형 진화방정식에 대한 L¹-최대정규성 이론을 개발하여 유체역학의 자유경계 문제에 대한 시간에 대해 전역적인 잘 정의됨을 가능하게 한다. 낮은 초기 자료를 가진 반공간에서 압축성 없는 점성 유체와 압축성 없는 압력이 없는 기체에 대해 강한 해를 확립하며, 뉴먼형 경계 조건 하에서 스토크스 및 라메 연산자에 대한 끝점 L¹-정규성을 활용한다.

ABSTRACT

An $\mathrm{L}_1$-maximal regularity theory for parabolic evolution equations inspired by the pioneering work of Da Prato and Grisvard is developed. Besides of its own interest, the approach yields a framework allowing global-in-time control of the change of Eulerian to Lagrangian coordinates in various problems related to fluid mechanics. This property is of course decisive for free boundary problems. This concept is illustrated by the analysis of the free boundary value problem describing the motion of viscous, incompressible Newtonian fluids without surface tension and, secondly, the motion of compressible pressureless gases. For this purpose, an endpoint maximal $\mathrm{L}_1$-regularity approach to the Stokes and Lamé systems is developed. It is applied then to establish global, strong well-posedness results for the free boundary problems described above in the case where the initial domain coincides with the half-space, and the initial velocity is small with respect to a suitable scaling invariant norm.

연구 동기 및 목표

• 무한 깊이를 가진 자유경계 문제에 대한 전역적 존재성이라는 오랜 열린 문제를 해결한다.
• 유도좌표계와 라그랑주 좌표계 간의 변환을 제어하기 위해 L¹-최대정규성에 기반한 함수해석적 프레임워크를 개발한다.
• 반공간에서 점성 불압축성 유체 및 압축성 없는 압력이 없는 기체의 운동에 대해 강한 잘 정의됨을 확립한다.
• 동차 베소프 공간에서 뉴먼형 경계 조건을 갖는 스토크스 및 라메 시스템에 대한 최대정규성에 대한 체계적인 접근을 제공한다.
• 비판적 함수공간에서 초기 자료에 대한 척도 불변성에 기반한 소형 조건 하에서 전역 존재 결과를 달성한다.

제안 방법

• 다 프라토-그리스베르의 최대정규성 정리가 동차 베소프 공간에 적용되도록 조정하며, 포물형 시스템에 대한 L¹-정규성에 집중한다.
• 반공간에서 뉴먼형 경계 조건을 갖는 스토크스 및 라메 연산자에 대한 끝점 L¹-정규성 추정을 개발한다.
• 실수 보간 이론과 동차 함수공간을 사용하여 스토크스 연산자의 정의역과 그 최대정규성 성질을 특성화한다.
• 좌표변환으로 인해 발생하는 비선형 항을 다루기 위해 미분형식의 곱과 보간 추정을 적용한다.
• 비선형 자유경계 문제에 대한 전역 존재성을 증명하기 위해 비판적 함수공간 프레임워크에서 고정점 원리를 구성한다.
• 매개변수 타원성과 분야성 추론을 사용하여 전체 시스템을 제어하기 위해 뉴먼 라플라스 연산자의 해석 추정을 유도한다.

실험 결과

연구 질문

• RQ1 L¹-최대정규성 기법은 자유경계 문제에 대해 무한 깊이를 가진 유체역학 문제를 다룰 수 있는가?
• RQ2 동차 베소프 공간과 뉴먼형 경계 조건은 스토크스 시스템에 대한 전역적인 잘 정의됨을 달성하는 데 어떤 역할을 하는가?
• RQ3 자유경계 문제에서 오일러 좌표계에서 라그랑주 좌표계로의 변환은 어떻게 전역적으로 제어할 수 있는가?
• RQ4 압축성 없는 점성 유체에 대해 전역적인 강한 해가 존재하기 위한 초기 자료의 소형 조건은 무엇인가?
• RQ5 동일한 프레임워크는 압축성 없는 압력이 없는 기체에 적용될 수 있으며, 분석에서의 구조적 차이는 무엇인가?

주요 결과

• 논문은 반공간에서 동차 베소프 공간에서 스토크스 연산자에 대한 L¹-최대정규성을 확립하며, 스펙트럼 매개변수에 대해 추정치가 일관되게 유계임을 보였다.
• 초기 속도가 척도 불변 노름에서 작을 경우 반공간에서 점성 불압축성 유체의 자유경계 문제에 대해 시간에 대해 전역적인 강한 해가 존재한다.
• 반공간에서 라메 시스템은 끝점 L¹-정규성을 갖으며, 이는 초기 자료가 작을 경우에 전역적인 잘 정의됨을 보장하는 압축성 없는 압력이 없는 기체 유동 분석을 가능하게 한다.
• 최대정규성 프레임워크를 통해 오일러 좌표계에서 라그랑주 좌표계로의 변환이 전역적으로 제어되며, 이는 자유경계 진화를 다루는 데 필수적이다.
• 뉴먼 라플라스 연산자의 해석 추정치를 도출하고, 이는 법선 도함수와 고차 도함수를 포함한 전체 시스템을 제어하는 데 사용된다.
• L¹-최대정규성 추정치가 비선형 변화에 대해 안정적이므로, 비판적 함수공간 프레임워크에서 고정점 원리가 성공적으로 적용되었다.