[논문 리뷰] Axisymmetric Euler-$α$ Equations without Swirl: Existence, Uniqueness, and Radon Measure Valued Solutions

Quansen Jiu, Dongjuan Niu외 2명|ArXiv.org|2009. 07. 14.

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

한 줄 요약

이 논문은 初기 필터링되지 않은 코리올리력이 반경으로 나누어진 값 $\frac{\nabla \times v_0}{r}$ 가 컴actsupport를 가진 유한한 Radon 측도일 경우, 3차원 축대칭 Euler-α 방정식의 약한 해에 대한 전역 존재성과 유일성을 확립한다. 또한 이 값이 $L^p_c(\mathbb{R}^3)$ 에 속할 경우, 즉 $p > \frac{3}{2}$ 일 경우에도 유일성을 증명하여, 고전적 3D Euler 방정식의 전역 정칙성 문제를 해결하지 못한 상태에서 중요한 진전을 이룬다.

ABSTRACT

The global existence of weak solutions for the three-dimensional axisymmetric Euler-$α$ (also known as Lagrangian-averaged Euler-$α$) equations, without swirl, is established, whenever the initial unfiltered velocity $v_0$ satisfies $\frac{ abla imes v_0}{r}$ is a finite Randon measure with compact support. Furthermore, the global existence and uniqueness, is also established in this case provided $\frac{ abla imes v_0}{r} \in L^p_c(\mathbb{R}^3)$ with $p>{3/2}$. It is worth mention that no such results are known to be available, so far, for the three-dimensional Euler equations of ideal incompressible flows.

연구 동기 및 목표

• 초기 필터링되지 않은 코리올리력 $\nabla \times v_0$ 가 $\frac{\nabla \times v_0}{r} \in M_c(\mathbb{R}^3)$ 를 만족할 경우, 3차원 축대칭 Euler-α 방정식의 약한 해에 대한 전역 존재성을 확립하는 것.
• 더 강한 조건 $\frac{\nabla \times v_0}{r} \in L^p_c(\mathbb{R}^3)$ 이며 $p > \frac{3}{2}$ 일 경우, 해의 전역 존재성과 유일성을 증명하는 것.
• 특히 비틀림이 없는 축대칭 유동의 맥락에서, 정규화된 유체 모델의 분석 프레임워크를 고전적 Euler 방정식을 초월하여 확장하는 것.
• 특히 비틀림이 없는 초기 코리올리력 조건을 가진 경우, 3D Euler 방정식의 해를 Euler-α 정규화를 통해 근사화하는 데 필요한 엄밀한 기초를 제공하는 것.

제안 방법

• 초기 자료의 모래화를 통한 정규화 절차를 이용하여 근사 해 $u^\epsilon$ 를 구성한다.
• Euler-α 방정식의 코리올리력 표현을 활용하며, 코리올리력 $q = \text{curl}\, v$ 는 $\partial_t q + u \cdot \nabla q = q \cdot \nabla u$ 를 따라 진화하며, 여기서 $u = K_\alpha * q$ 이다.
• Aubin-Lions 보조정리를 적용하여 $u^\epsilon$ 가 $L^\sigma_{\text{loc}}$ 에서 강한 수렴성을 확보함으로써, 약한 해 $u$ 로의 수렴을 보장한다.
• 핵 함수 추정과 Young의 부등식을 이용하여, $1 \leq a < 3$, $1 \leq b < \frac{3}{2}$ 일 때, $L^\infty((0,T); L^a + L^\infty)$ 와 $L^\infty((0,T); L^b + L^\infty)$ 에서 $u^\epsilon$ 와 그 도함수에 대한 균일한 유계성을 확립한다.
• 발산이 없는 $C^\infty_0$ 테스트 함수를 사용하여 Euler-α 방정식의 약한 표현식을 정의하고, 이를 통해 극한을 취할 수 있도록 한다.
• 비틀림이 없는 축대칭 유동의 구조를 활용하여 문제를 $r$-$z$ 평면 상의 2차원 유사 코리올리력 역학으로 축소시키며, 주로 $q^\theta$ 가 코리올리력의 주요 성분이 된다.

실험 결과

연구 질문

• RQ1 초기 필터링되지 않은 코리올리력 $\nabla \times v_0$ 가 $\frac{\nabla \times v_0}{r} \in M_c(\mathbb{R}^3)$ 를 만족할 경우, 3차원 축대칭 Euler-α 방정식의 약한 해에 대한 전역 존재성을 확보할 수 있는가?
• RQ2 초기 코리올리력에 어떤 조건이 만족되어야 비틀림이 없는 3차원 축대칭 Euler-α 방정식의 전역 약한 해가 유일해지는가?
• RQ3 비틀림이 없는 초기 자료, 특히 비틀림 평면과 같은 특이 코리올리력 조건을 가진 경우, Euler-α 방정식이 고전적 3D Euler 방정식의 정규화된 근사로 기능할 수 있는가?
• RQ4 Euler-α 모델에서 Euler 방정식의 코리올리력 증폭 항은 어떻게 부드럽게 처리되며, 이는 전역 정칙성에 어떤 영향을 미치는가?

주요 결과

• 초기 필터링되지 않은 코리올리력 $\frac{\nabla \times v_0}{r}$ 가 컴팩트한 지지 집합을 가진 유한한 Radon 측도일 경우, 3차원 축대칭 Euler-α 방정식의 약한 해에 대한 전역 존재성이 확립된다.
• 초기 조건 $\frac{\nabla \times v_0}{r} \in L^p_c(\mathbb{R}^3)$ 이며 $p > \frac{3}{2}$ 일 경우, 전역 존재성과 유일성이 증명되며, 이는 이전 결과를 더 넓은 범주로 확장한다.
• 해 $u$ 는 $1 \leq a < 3$ 에 대해 $\nabla u \in L^\infty((0,T); L^a + L^\infty)$ 를 만족하고, $1 \leq b < \frac{3}{2}$ 에 대해 $D^2 u \in L^\infty((0,T); L^b + L^\infty)$ 를 만족함으로써, 제한된 정규성임에도 제어 가능한 정규성을 보인다.
• 근사 해 $u^\epsilon$ 는 임의의 $\sigma \in (1,\infty)$ 에 대해 $L^\sigma_{\text{loc}}$ 에서 강한 수렴성을 보이며, 이는 약한 표현식에서 극한을 취하는 데 유리하다.
• $\|u^\epsilon\|_{L^\infty} \leq \frac{C}{\alpha^2} \left\| \frac{q_0^\theta}{r} \right\|_M$ 라는 유계성이 확립되어, 초기 코리올리력 강도와 정규화 매개변수에 대한 의존성을 보여준다.
• 이 방법은 고전적 Euler 방정식의 해를 Euler-α 모델을 통해 근사화하는 데 필요한 프레임워크를 제공하며, 특히 고전적 Euler 방정식에서 알려진 전역 해가 없는 초기 자료에 대해 유용하다.