[논문 리뷰] On the local well-posedness of the Prandtl and the hydrostatic Euler equations with multiple monotonicity regions

Igor Kukavica, Nader Masmoudi외 2명|arXiv (Cornell University)|2014. 02. 09.

Navier-Stokes equation solutions참고 문헌 46인용 수 4

한 줄 요약

이 논문은 프랑틀 및 수직 균형 오일러 방정식에 대해 새로운 초깃값 클래스에서 국소 적으로 잘 정의된 문제를 확립한다: 법선 방향에서 다중 단조성 영역을 가지며, 나머지 영역에서는 해석성을 갖는 함수들이다. 핵심 결과는 이러한 일반화된 단조성 및 해석성 조건 하에서 국소 존재성과 유일성이 성립한다는 것이다. 이는 이전의 해석성 또는 단일 단조성 설정을 초월하여 기존의 잘 정의된 문제 영역을 확장한다.

ABSTRACT

We find a new class of data for which the Prandtl boundary layer equations and the hydrostatic Euler equations are locally in time well-posed. In the case of the Prandtl equations, we assume that the initial datum $u_0$ is monotone on a number of intervals (on some strictly increasing on some strictly decreasing) and analytic on the complement and show that the local existence and uniqueness hold. The same is true for the hydrostatic Euler equations except that we assume this for the vorticity $ω_0=\partial_y u_0$.

연구 동기 및 목표

• 프랑틀 및 수직 균형 오일러 방정식의 국소 적으로 잘 정의된 문제 이론을 기존의 해석성 또는 단일 단조성 설정을 초월하여 확장하기 위해.
• 소볼레프 공간에서의 잘못 정의된 문제라는 근본적인 과제를 해결하기 위해, 조각별 단조성 행동을 갖는 새로운 초깃값 클래스를 도입하기 위해.
• 초기 속도가 유한한 개수의 구간에서 단조적이며, 나머지 부분에서는 해석적인 경우 프랑틀 방정식에 대한 국소 존재성과 유일성을 증명하기 위해.
• 유사한 조건 하에서 초기 코어티시티(비산도)에 다중 단조성 영역이 있고 나머지 부분에서는 해석적인 경우 수직 균형 오일러 방정식으로 동일한 잘 정의된 문제 결과를 확장하기 위해.
• 이전 결과들보다 더 엄격한 가정 없이 경계층 및 수직 균형 흐름을 분석하기 위한 새로운 프레임워크를 제공하기 위해.

제안 방법

• 프랑틀 방정식의 새로운 초깃값 클래스 도입: $ u_0 $ 가 $ y $ 에서 유한한 개수의 구간에서 단조적이며, 나머지 부분에서는 실해석적이다.
• 수직 균형 오일러 방정식의 경우, 코어티시티 $ abla imes u_0 = \rho_0 $ 가 유한한 개수의 구간에서 단조적이며, 나머지 부분에서는 해석적이라고 가정한다.
• 해결책의 시간에 따른 진화를 제어하기 위해 $ \frac{\rho^2}{\rho_y} $ 를 포함하는 가중 에너지 추정을 사용한다. 여기서 $ \rho $ 는 코어티시티이다.
• 경계층 특이성을 피하기 위해 분석을 국소화하기 위해 시간에 따라 변하는 구간 $ I_t = (Mt, 1 - Mt) $ 을 정의한다.
• 가중 에너지 $ X(t) = \frac{1}{2} \bigint_{I_t \times (0,1)} \frac{\rho^2}{\rho_y} dx dy $ 에 대한 미분부등식을 유도하여, 작은 시간에서 $ X'(t) \to 0 $ 임을 보인다.
• 비선형 항과 경계 기여를 제어하기 위해 부분적 적분과 에너지 추정을 적용하여, 작은 시간 $ t \to 0 $ 에서 에너지가 유한하게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 초기 속도가 단일 단조성 간격이 아닌 다중 단조성 영역을 갖는 경우, 프랑틀 방정정식은 국소적으로 잘 정의된 문제인가?
• RQ2 코어티시티에 유사한 가정이 적용될 경우, 잘 정의된 문제 결과는 수직 균형 오일러 방정식으로도 확장되는가?
• RQ3 x 변수에서의 표준 해석성 요구 조건을 완화시켜도 국소적으로 잘 정의된 문제를 유지할 수 있는가?
• RQ4 전체 해석성이 필요 없이 y에서의 단조성과 나머지 부분의 해석성을 조합한 해법 프레임워크를 구축하는 것이 가능한가?
• RQ5 크로코 타입의 변환과 가중 에너지 추정은 다중 단조성 영역을 갖는 해를 안정화시키는 데 어떤 역할을 하는가?

주요 결과

• 초기 자료 $ u_0 $ 가 $ y $ 에서 유한한 개수의 구간에서 단조적이며, 나머지 부분에서는 해석적인 경우 프랑틀 방정식은 국소적으로 잘 정의된 문제이다.
• 초기 코어티시티 $ \rho_0 = \nabla \times u_0 $ 가 유한한 개수의 구간에서 단조적이며, 나머지 부분에서는 해석적인 경우 수직 균형 오일러 방정식은 국소적으로 잘 정의된 문제이다.
• 해결책을 제어하기 위해 가중 에너지 함수 $ X(t) = \frac{1}{2} \bigint_{I_t \times (0,1)} \frac{\rho^2}{\rho_y} dx dy $ 를 사용하며, 이는 $ X'(t) \to 0 $ 이고 작은 시간 $ t $ 에서 성립한다.
• 이 방법은 $ X(t) \to 0 $ 이며 $ t \to 0 $ 일 때 성립함을 보장하여, 해결책이 작은 시간 간격 내에서 유한하고 유일하게 유지됨을 의미한다.
• 에너지 추정을 유지하기 위해, 특히 $ x = Mt $ 와 $ x = 1 - Mt $ 에서의 경계 기여를 신중히 제어하기 위해 부분적 적분을 정교하게 적용한다.
• 유일성은 동일한 에너지 방법을 통해 증명되며, 임의의 두 해가 시간 간격 $ (0, t_0) $ 에서 일치함을 보여, $ t_0 = 1/C_0 $ 이다.