[논문 리뷰] Are the incompressible 3d Navier-Stokes equations locally ill-posed in the natural energy space?

Hao Jia, Vladimír Šverák|arXiv (Cornell University)|2013. 06. 10.

Navier-Stokes equation solutions인용 수 8

한 줄 요약

이 논문은 스케일 불변 해와 관련된 선형 연산자에 대한 스펙트럼 성질을 분석하여, 자연 에너지 공간에서 3차원 비압축성 나비에-스토크스 방정식의 국소적 불안정성 문제를 조사한다. 만약 선형화된 연산자가 양의 실수부를 가진 고유값과 적절한 감쇠 성질을 갖는다면, 고전적 편미분 이론의 한계에 해당하는 컴팩트 지지, $L^2$-초기 자료조차도 비유일성과 불안정성이 발생함을 보여주며, 레일리-호프 약한 해의 비유일성에 대한 스펙트럼 기준을 제시한다.

ABSTRACT

An important open problem in the theory of the Navier-Stokes equations is the uniqueness of the Leray-Hopf weak solutions with $L^2$ initial data. In this paper we give sufficient conditions for non-uniqueness in terms of spectral properties of a natural linear operator associated to scale-invariant solutions recently constructed in \cite{JiaSverak}. If the spectral conditions are satisfied, non-uniqueness and ill-posedness can appear for quite benign compactly supported data, just at the borderline of applicability of the classical perturbation theory. The verification of the spectral conditions seems to be approachable by relatively straightforward numerical simulations which involve only smooth functions.

연구 동기 및 목표

• 3차원 비압축성 나비에-스토크스 방정식이 자연 에너지 공간 $L^2$에서 국소적으로 불안정한가를 판단하는 것.
• 초기 자료가 $L^2$일 때 비유일성과 불안정성을 유도하는 선형화된 연산자 $\sigma$에 대한 충분한 스펙트럼 조건을 설정하는 것.
• 고전적 편미분 이론의 한계에 해당하는 컴팩트 지지, 스무스 초기 자료에서 비유일성이 발생할 수 있음을 보여주는 것.
• 선형화된 연산자 $\sigma$의 스펙트럼 성질과 다수의 레일리-호프 약한 해 존재성 간의 연결 고리를 설정하는 것.
• 베르누아 스페이스 내 스무스 함수의 수치 시뮬레이션을 통한 비유일성 검증 프레임워크를 제공하는 것.

제안 방법

• 저자들은 초기 자료가 $-1$-동차인 $\sigma u_0$인 3차원 나비에-스토크스 방정식의 스케일 불변 해 $u_\sigma(x,t) = \frac{1}{\sqrt{t}} U_\sigma(\frac{x}{\sqrt{t}})$를 분석한다.
• 선형화된 나비에-스토크스 방정식을 $u_\sigma$ 주변에서 다루어, 편미분 $\phi$를 제어하는 시간에 의존하는 방정식을 도출하며, 이는 연산자 $\mathcal{L}_\sigma$에 의해 결정된다.
• 시간 진동은 $(-\infty, 0)$에서 $\phi_t = \mathcal{L}_\sigma \phi$로 변환되며, 여기서 $\mathcal{L}_\sigma$는 $U_\sigma$, 기울기, 압력 보정을 포함하는 선형 연산자이다.
• 스펙트럼 성질은 발산이 없는 벡터장이 포함된 바나흐 스페이스 $X = L^2 \cap L^4$에서 분석되며, 무한대에서의 감쇠 조건이 포함된다.
• 비유일성은 $\mathcal{L}_\sigma$의 고유값이 양의 실수부를 가지며, 무한대에서 $o(|x|^{-1})$ 감쇠 성질을 갖는 경우에 연관된다.
• 해의 구성은 스케일 불변 부분과 편미분으로 나누어, 사전 추정과 정칙성 이론을 활용하여 컴팩트 지지 초기 자료로 국소화된다.

실험 결과

연구 질문

• RQ1 선형화된 연산자 $\mathcal{L}_\sigma$의 어떤 스펙트럼 조건에서 3차원 나비에-스토크스 시스템이 자연 에너지 공간에서 비유일성과 불안정성을 보이는가?
• RQ2 고전적 편미분 이론의 한계에 해당하는 컴팩트 지지, $L^2$-초기 자료에서 레일리-호프 약한 해의 비유일성이 발생할 수 있는가?
• RQ3 $\sigma$의 변화에 따라 $\mathcal{L}_\sigma$의 스펙트럼에서 발생하는 분기 현상이 동일한 초기 자료를 가진 다수의 해로 이어지는가?
• RQ4 스무스 함수와 표준 바나흐 스페이스 기법을 사용하여 비유일성의 스펙트럼 조건을 어느 정도 수치적으로 검증할 수 있는가?
• RQ5 $\mathcal{L}_\sigma$에 양의 실수부를 가진 고유값이 존재하는 것이 $L^2$ 초기 자료에 대해 불안정성을 암시하는 데 충분한가?

주요 결과

• 선형화된 연산자 $\mathcal{L}_\sigma$가 양의 실수부를 가진 고유값을 가지며, 해당 고유함수가 무한대에서 $o(|x|^{-1})$로 감쇠하는 조건이 충족되면, 컴팩트 지지, 발산이 없는 초기 자료 $L^2$에서 3차원 나비에-스토크스 방정식의 비유일성과 불안정성이 발생할 수 있다.
• 스펙트럼 조건 (A) — $\mathcal{L}_\sigma$의 고유값이 양의 실수부를 가지며, 적절한 감쇠 성질을 갖는 경우 — 는 동일한 컴팩트 지지 초기 자료 $v_0 \in C^\infty(\mathbb{R}^3 \setminus \{0\})$를 가진 두 개의 서로 다른 레일리-호프 약한 해를 구성하는 데에 충분하다.
• $\sigma$가 임계 값 $\sigma_0$에 충분히 가까워지면, 해 곡선 $U_\sigma$는 피치프랙 분기 현상을 겪으며, 이는 자가유사 해의 비유일성과 그로 인해 약한 해의 비유일성으로 이어진다.
• 구성된 두 해는 $\mathbb{R}^3 \times (0,1)$에서 스무스하며, $L^2(\mathbb{R}^3)$에서 유계이므로, 이는 레일리-호프 약한 해임을 확인한다.
• 두 해의 차이의 $L^4$-노름은 $t \to 0^+$일 때 발산하므로, 이는 비록 동일한 초기 자료를 공유하더라도 두 해가 서로 동일하지 않음을 증명한다.
• 비유일성의 스펙트럼 조건은 스무스 함수와 표준 $L^p$-기반 바나흐 스페이스 기법을 사용한 수치 시뮬레이션을 통해 검증 가능하다.