[논문 리뷰] Criticality of the Axially Symmetric Navier-Stokes Equations

Zhen Lei, Qi S. Zhang|arXiv (Cornell University)|2015. 05. 11.

Navier-Stokes equation solutions참고 문헌 26인용 수 12

한 줄 요약

이 논문은 나선형 성분 $rv^\theta$ 에 대한 형상 유사 조건(Form Boundedness Condition, FBC)을 도입하여 축대칭 나비에-스토크스 해의 전역 정칙성을 확립한다. 이 조건은 방정식의 자연스러운 척도 불변성과 일치한다. 만약 $rv^\theta$ 가 축 근처에서 $\sup |rv^\theta| \leq C_* |\ln r|^{-2}$ 를 만족하거나, 척도 불변 양에 대해 충분히 작은 $L^\infty$ 노름을 가진다면, 해는 모든 시간에 걸쳐 매끄럽게 유지됨을 증명한다. 이는 축대칭 시스템의 완전한临계성(최소한의 조건)을 보여준다.

ABSTRACT

Smooth solutions to the axi-symmetric Navier-Stokes equations obey the following maximum principle: $$\sup_{t\geq 0}\|rv^θ(t, \cdot)\|_{L^\infty} \leq \|rv^θ(0, \cdot)\|_{L^\infty}.$$ We prove that all solutions with initial data in $H^{\frac{1}{2}}$ is smooth globally in time if $rv^θ$ satisfies a kind of Form Boundedness Condition (FBC) which is invariant under the natural scaling of the Navier-Stokes equations. In particular, if $rv^θ$ satisfies \begin{equation} onumber \sup_{t \geq 0}|rv^θ(t, r, z)| \leq C_\ast|\ln r|^{- 2},\ \ r \leq δ_0 \in (0, \frac{1}{2}),\ C_\ast < \infty, \end{equation} then our FBC is satisfied. Here $δ_0$ and $C_\ast$ are independent of neither the profile nor the norm of the initial data. So the gap from regularity is logarithmic in nature. We also prove the global regularity of solutions if $\|rv^θ(0, \cdot)\|_{L^\infty}$ or $\sup_{t \geq 0}\|rv^θ(t, \cdot)\|_{L^\infty(r \leq r_0)}$ is small but the smallness depends on certain dimensionless quantity of the initial data.

연구 동기 및 목표

• 축대칭 나비에-스토크스 방정식의 전역 정칙성 문제를 $rv^\theta$ 의 임계 조건을 규명함으로써 해결한다.
• 나비에-스토크스 방정식이 $L^\infty$ 노름에 의한 $\Gamma = rv^\theta$ 의 경계 조건 외에도 완전히 임계임을 보이며, 척도 불변의 사전 경계를 확립한다.
• 만약 $rv^\theta$ 가 로그 감쇠 조건을 만족하거나 척도 불변의 의미에서 작다면, 전역 존재성과 매끄러움을 증명한다.
• 기존의 $\Gamma = rv^\theta$ 에 대한 최대원리의 적용 범위를 Form Boundedness Condition (FBC)를 통해 더 넓은 초기 자료 클래스로 확장한다.

제안 방법

• 나비에-스토크스 방정식의 자연스러운 척도 불변성과 일치하는 $v^\theta$ 에 대한 Form Boundedness Condition (FBC) 를 도입한다.
• 비틀림 항이 $1/|x|^2$ 의 척도로 표현되는 방식으로 회전율 방정식을 변형하여 임계 척도로 만든다.
• 에너지 추정과 $\Gamma = rv^\theta$ 에 대한 사전 경계를 활용하며, $L^\infty$ 최대원리의 성질을 이용한다.
• 계속성 추론 기법을 적용하고, $\| |V|^2 \|_{L^2}$ 와 $\| \Omega \|_{L^2}$ 를 포함하는 미분 부등식을 유도하여 성장 양상을 제어한다.
• 하디 유사 부등식을 사용하고, 영역을 $r \leq r_0$ 와 $r \geq r_0$ 로 분할하여 국소 및 전역 행동을 다룬다.
• 물리적 단위에 무관한 치수 없는 양 $M_0$ 과 $M_1$ 을 도입하여, 작다의 조건을 정량화한다.

실험 결과

연구 질문

• RQ1 나비에-스토크스 방정식의 축대칭 해에 대해 $rv^\theta$ 에 대한 척도 불변 조건 하에서 전역 정칙성을 확립할 수 있는가?
• RQ2 축대칭 나비에-스토크스 시스템은 $\Gamma = rv^\theta$ 의 $L^\infty$ 경계 조건 때문에 부분적으로만 임계인가, 아니면 완전히 임계인가?
• RQ3 $rv^\theta$ 에 어떤 조건이 성립하면 전역 매끄러움이 보장되며, 특히 $r \to 0$ 에서 축 근처에서의 행동은 어떻게 되는가?
• RQ4 국소 영역 $r \leq r_0$ 에서 $\|rv^\theta\|_{L^\infty}$ 가 작다면, 전역 정칙성이 보장되는가? 이는 전역 노름이 작지 않아도 된다.
• RQ5 축 근처에서 $|rv^\theta| \leq C_* |\ln r|^{-2}$ 의 로그 감쇠 조건이 전역 정칙성에 충분한가?

주요 결과

• 초기 자료가 $H^{1/2}$ 에 속해 있다면, $rv^\theta$ 가 Form Boundedness Condition (FBC) 를 만족하는 한 모든 해는 전역적으로 매끄럽다. 이 조건은 척도 불변이다.
• 모든 시간 $t \geq 0$ 에 대해 $\sup_{t \geq 0} |rv^\theta(t,r,z)| \leq C_* |\ln r|^{-2}$ 이고, $r \leq \delta_0 < 1/2$ 를 만족한다면, 이는 FBC 를 함의한다. 여기서 $C_*$ 와 $\delta_0$ 는 초기 자료의 프로파일이나 노름에 영향을 받지 않는다.
• 만약 $\|rv^\theta(0,\cdot)\|_{L^\infty}$ 가 치수 없는 양 $M_0$ 에 비해 충분히 작다면, 전역 정칙성이 성립한다. 이 작은 조건은 오직 $M_0$ 에 의존한다.
• 또한 $\sup_{t \geq 0} \|rv^\theta(t,\cdot)\|_{L^\infty(r \leq r_0)}$ 가 $M_1$ 에 비해 충분히 작다면, 전역 정칙성이 성립한다. 여기서 $r_0 > 0$ 은 임의로 선택 가능하고, $M_1$ 은 치수 없는 양이다.
• 이 증명은 FBC 하에서 $|V|^2$ 와 $\Omega$ 의 에너지 유사 추정이 시간에 대해 균일하게 유계임을 보여주며, 이는 전역 계속 가능성을 보장한다.
• FBC 는 초기 자료가 $L^2$ 에서 작지 않아도 충분히, $rv^\theta$ 가 로그 감쇠 또는 작다 조건을 만족할 경우 전역 정칙성을 확보하는 데에 충분함을 보여준다.