[논문 리뷰] Global Well-posedness and Regularity of Weak Solutions to the Prandtl's System

Zhouping Xin, Liqun Zhang외 1명|arXiv (Cornell University)|2022. 03. 16.

Advanced Mathematical Physics Problems인용 수 6

한 줄 요약

이 논문은 유리한 압력 조건 하에서 2차원 비정상 프란틀 시스템의 약한 해에 대한 전역 적으로 잘 정의된 성질, 유일성, 그리고 매끄러움을 확립한다. 크로코 변환과 BV 추정을 사용하여 초기 자료에 대한 연속적 의존성과 허더 연속성을 증명하고, 모저 반복법 및 초구형 방정식 이론을 통해 전역 고전 해를 도출한다.

ABSTRACT

We continue our study on the global solution to the two-dimensional Prandtl's system for unsteady boundary layers in the class considered by Oleinik provided that the pressure is favorable. First, by using a different method from [13], we gave a direct proof of existence of a global weak solution by a direct BV estimate. Then we prove the uniqueness and continuous dependence on data of such a weak solution to the initial-boundary value problem. Finally, we show the smoothness of the weak solutions and then the global existence of smooth solutions.

연구 동기 및 목표

• 유리한 압력 조건 하에서 오레닉의 단조성 클래스 내에서 2차원 비정상 프란틀 시스템에 대한 전역 약한 해의 존재를 확립하는 것.
• 그러한 약한 해에 대한 유일성과 초기 및 경계 자료에 대한 연속적 의존성을 증명하는 것.
• 약한 해가 도메인 내부에서 실제로 매끄럽다는 것(고전 해)을 보여주는 것.
• 모저 반복법과 경계값 이론을 통해 변환된 초구형 방정식에 대한 정(regularity) 이론을 확장하는 것.

제안 방법

• 프란틀 시스템을 $(\tau, \xi, \eta)$-변수에서 비선형 초구형 방정식으로 변환하기 위해 크로코 변환을 적용하는 것.
• 직접적인 BV 추정을 사용하여 정의 1.1의 의미에서 전역 약한 해의 존재를 증명하고, $ w $ 및 $ \partial_\eta w $ 에 대한 유계성 조건을 확보하는 것.
• 경계 조건과 약한 형태를 확보하기 위해 $ \tau=0 $, $ \xi=0 $, $ \xi=L $ 에서 0이 되는 테스트 함수를 사용한 부분 적분을 통한 적분 표현을 도출하는 것.
• 오실 레이션 감쇠 추정을 바탕으로 $ (w - I_0)^+ $ 의 양의 부분에 대해 수정된 모저 반복법을 사용하여 해의 허더 연속성을 증명하는 것.
• 오실 레이션 추정 $ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $ 를 유도하고, $ \bar{\beta} < 1 $ 이므로 허더 연속성을 의미하는 것.
• 초구형 방정식에 대한 표준 정규성 이론을 활용하여 해가 도메인 내부에서 $ C^\infty $ 매끄럽다는 것을 결론짓는 것.

실험 결과

연구 질문

• RQ1 분할 방법에 의존하지 않고 직접 BV 추정을 통해 전역 약한 해를 구성할 수 있는가?
• RQ2 유리한 압력 조건 하에서 약한 해는 유일하고 초기 및 경계 자료에 대해 연속적으로 의존하는가?
• RQ3 약한 해는 내부에서 더 높은 정규성, 예를 들어 허더 연속성 또는 매끄러움을 갖는가?
• RQ4 해의 오실 레이션은 더 작은 구 내에서 균일하게 감쇠되는가? 이는 허더 연속성을 의미하는가?
• RQ5 모저 유형의 반복법을 통해 허더 연속성을 확보한 후, 해의 정규성 클래스는 무엇인가?

주요 결과

• 유리한 압력 및 단조성 가정 하에서 변환된 프란틀 시스템에 대해 전역 약한 해 $ w \in BV(Q_T) \cap L^\infty(Q_T) $ 가 존재한다.
• 에너지 및 경계값 추정을 통해 약한 해는 유일하고 초기 및 경계 자료에 대해 연속적으로 의존한다.
• 해는 $ (1 - \eta)^{1/2} \partial_\eta w \in L^2(Q_T) $ 와 $ \int_{Q_T} (1 - \eta)^2 d|w_{\eta\eta}| < \infty $ 를 만족하여 두 번째 도함수의 적분 가능성 보장.
• 오실 레이션 감쇠 추정 $ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $ 가 성립하고, $ \bar{0} < \bar{\beta} < 1 $ 이므로 원점 근처에서 허더 연속성이 증명된다.
• 초구형 방정식의 정규성 이론에 따라 해는 $ Q_T $ 의 내부에서 $ C^\infty $ 매끄럽다는 것이 입증된다.
• 결과는 원래 프란틀 시스템으로까지 확장되어 동일한 조건 하에서 고전 해의 전역 존재성을 확립한다.