[논문 리뷰] Regularity Criterion to the axially symmetric Navier-Stokes Equations

Dongyi Wei|arXiv (Cornell University)|2015. 08. 13.

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

한 줄 요약

이 논문은 축대칭 나비에-스토크스 방정식에 대해 초기 순환 성분 $ r u_{\theta} $ 가 $ L^\infty $ 에서 충분히 작을 경우 또는 축 근처에서 $ |r u_{\theta}| \leq |\ln r|^{-3/2} $ 일 경우의 전역 존재성과 해의 매끄러움을 증명함으로써 새로운 정칙성 기준을 수립한다. 핵심 결과는 대칭축 근처의 거동을 반영하는 로그적 작기 조건을 도입함으로써 이전 기준을 향상시킨다.

ABSTRACT

Smooth solutions to the axially symmetric Navier-Stokes equations obey the following maximum principle:$\|ru_θ(r,z,t)\|_{L^\infty}\leq\|ru_θ(r,z,0)\|_{L^\infty}.$ We first prove the global regularity of solutions if $\|ru_θ(r,z,0)\|_{L^\infty}$ or $ \|ru_θ(r,z,t)\|_{L^\infty(r\leq r_0)}$ is small compared with certain dimensionless quantity of the initial data. This result improves the one in Zhen Lei and Qi S. Zhang \cite{1}. As a corollary, we also prove the global regularity under the assumption that $|ru_θ(r,z,t)|\leq\ |\ln r|^{-3/2},\ \ \forall\ 0

연구 동기 및 목표

• 초기 순환 성분 $ r u_\theta $ 에 대한 더 약한 작기 조건 하에서 축대칭 나비에-스토크스 방정식의 전역 정칙성을 확립하기 위해.
• 대칭축 근처에서의 로그 감쇠 추정을 통합함으로써 기존의 정칙성 기준을 향상시키기 위해.
• 전역 잘 정의됨을 보이기 위해 $ \|r u_\theta\|_{L^\infty(r \leq r_0)} $ 또는 $ \|r u_\theta(\cdot,0)\|_{L^\infty} $ 의 작기 조건이 충족될 경우를 증명하기 위해.
• 소형 $ r $ 에서 $ |r u_\theta| \leq |\ln r|^{-3/2} $ 를 만족하는 날카운 조건을 도출하여 전역 정칙성을 보장하기 위해.

제안 방법

• 순환 성분을 제어하기 위해 $ \Gamma = r u_\theta $ 에 대한 최대원리 도출: $ \|\Gamma\|_{L^\infty} \leq \|\Gamma_0\|_{L^\infty} $ 를 보장함으로써 시간에 따른 변화를 제어한다.
• 축대칭 설정에서의 코어티시티 역학을 분석하기 위해 보조 변수 $ \Omega = \omega_\theta / r $ 과 $ J = \omega_r / r $ 를 도입한다.
• 에너지 감쇠를 추적하고 폭발을 방지하기 위해 리아푸노프 유형 함수 $ A(t) = \|J(t)\|_{L^2}^2 + \frac{1}{2}\varepsilon^{2/3}\|\Omega(t)\|_{L^2}^2 $ 를 구성한다.
• 특수한 로그 스케일링을 통해 $ r=0 $ 근처의 작기 조건을 다루기 위해 함수 $ K(\varepsilon) $ 와 $ K_0(\varepsilon) $ 를 도입한다.
• 에너지 항등식과 미분부등식 기법을 적용하여 $ \|\nabla u(t)\|_{L^2} $ 의 상한을 구함으로써 전역 존재성을 확보한다.
• 함수 $ F(A(t)) $ 를 이용한 비교 논증을 통해 $ A(t) $ 의 성장률을 제어하고, $ \|\Omega(t)\|_{L^2} $ 와 $ \|J(t)\|_{L^2} $ 에 대한 균일한 상한을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 초기 순환 성분 $ r u_\theta $ 가 충분히 작을 경우 축대칭 나비에-스토크스 시스템이 전역적으로 정칙성을 유지하는가?
• RQ2 초기 자료가 축 근처의 국소 영역에서만 작을 경우 정칙성 기준을 향상시킬 수 있는가?
• RQ3 $ |r u_\theta| \leq |\ln r|^{-3/2} $ 이 소형 $ r $ 에서 성립할 경우 전역 존재성과 매끄러움이 보장되는가?
• RQ4 작기 조건의 로그 스케일링이 폭발 시간과 에너지 추정에 어떤 영향을 미치는가?
• RQ5 초기 자료에 대한 의존성을 $ \|\Gamma_0\|_{L^\infty} $ 로만 유지할 수 있는가, 공간적 국소화와 무관하게?

주요 결과

• 전역 정칙성이 성립한다: $ \|\Gamma\|_{L^\infty(r \leq r_0)} \leq \left(1 + \ln\left(C_0 \max\{M_0^{1/4}, r_0^{-1/2} M_1\} + 1\right)\right)^{-3/2} $, 여기서 $ M_0 $ 과 $ M_1 $ 은 초기 자료의 무차원 노름이다.
• 이전 결과 [10] 에 비해 $ \|\Gamma_0\|_{L^\infty} \leq (1 + \ln(C_0 M_0^{1/4} + 1))^{-3/2} $ 를 만족할 경우, 초기 $ L^\infty $ 노름 $ \Gamma_0 $ 에만 의존하는 기준으로 향상되었다.
• 보조정리 1.1 은 모든 $ 0 < r \leq \delta_0 \in (0,1/2) $ 에 대해 $ |r u_\theta(r,z,t)| \leq |\ln r|^{-3/2} $ 를 만족할 경우 전역 정칙성을 증명한다. 이는 날카운 로그 감쇠 조건이다.
• 증명은 새로운 함수 $ F(A(t)) $ 와 $ K(\varepsilon) $ 를 통한 로그 스케일링에 의존하며, 이는 $ r=0 $ 근처의 특이 행동을 다룰 수 있게 한다.
• 이 방법은 $ \|\Omega(t)\|_{L^2} $ 와 $ \|J(t)\|_{L^2} $ 에 대한 균일한 상한을 보장하여 폭발을 방지하고 전역 존재성을 확인한다.
• 결과는 소규모 변화에 강건하며, 유한한 $ \|\Gamma_0\|_{L^\infty} $ 를 갖는 $ H^2 $ 초기 자료에 적용 가능하다.