[논문 리뷰] Sufficient conditions on Liouville type theorems for the 3D steady Navier-Stokes equations

G. Serëgin, W. Wang|arXiv (Cornell University)|2018. 05. 06.

Advanced Mathematical Physics Problems참고 문헌 6인용 수 8

한 줄 요약

이 논문은 속도장의 로렌츠 공간에서의 감쇠를 분석하여 3차원 정 steady 나비에-스토크스 방정식에서 리우빌형 정리에 대한 새로운 충분조건을 확립한다. 만약 척도화된 로렌츠 노름 $ M_{\frac{2}{3},q,u}(R) $ 가 무한대에서 유계이면 에너지 소산 $ D(u) $ 가 제어되며, 이 노름이 $ D(u) $ 에 비해 충분히 작다면 $ u \equiv 0 $ 임을 증명한다. 이는 이전의 $ L^{9/2} $, $ BMO^{-1} $ 및 로렌츠 약한 공간에서의 결과를 일반화한다.

ABSTRACT

Our aim is to prove Liouville type theorems for the three dimensional steady-state Navier-Stokes equations provided the velocity field belongs to some Lorentz spaces. The corresponding statement contains several known results as a particular case.

연구 동기 및 목표

• 3차원 정 steady 나비에-스토크스 방정식의 모든 매끄러운 해가 동일하게 0이 되는 데 필요한 새로운 충분조건을 확립하는 것.
• 속도장에 대한 적분 가능성 조건을 $ L^{9/2} $ 와 $ BMO^{-1} $ 를 초월하여 완화함으로써 기존의 리우빌형 결과를 일반화하는 것.
• 특히 갈디, 채, 코존오, 채-월프의 결과를 통합하고 확장하는 로렌츠 공간 내 결과를 통합하고 확장하는 것.
• 로렌츠 노름에서의 속도의 점점 감쇠하는 성질에 기반하여 0이 되는 해를 특성화하는 프레임워크를 제공하는 것.

제안 방법

• 관형부 영역에서의 속도 감쇠를 측정하기 위해 척도화된 로렌츠 노름 $ M_{\theta,q,\nu}(R) = R^{\theta - 3/q} \|u\|_{L^{q,\nu}(B_R \setminus B_{R/2})} $ 을 도입한다.
• 절단 함수와 비압축성 확장 기법을 사용하여 로렌츠 공간에서의 속도 기울기 $ \nabla u $ 에 대한 카치오피올리 유형 부등식을 유도한다.
• 횔더 부등식과 가가르도-니렌베르크-소볼레프 부등식을 적용하여 이중 안장 영역에서 $ \nabla u $ 의 $ L^2 $-노름을 제어한다.
• 척도 분석과 보간 기법을 사용하여 로렌츠 노름 감쇠와 에너지 소산 $ D(u) = \int |\nabla u|^2 dx $ 를 연결한다.
• 두 가지 영역을 설정한다: (i) $ q > 3 $, $ \gamma = \frac{2}{3} $, 그리고 (ii) $ \frac{12}{5} < q < 3 $, $ \gamma > \frac{1}{3} + \frac{1}{q} $, 각각 다른 감쇠 조건을 가진다.
• 무한대 방향으로의 극한을 적용하여, 척도화된 로렌츠 노름이 충분히 작다면 $ D(u) = 0 $ 임을 보이며, 이는 $ u \equiv 0 $ 를 의미한다.

실험 결과

연구 질문

• RQ1 속도장이 로렌츠 공간에서 어떤 감쇠 조건을 만족할 경우 3차원 정 steady 나비에-스토크스 방정식의 유일한 해가 동일하게 0이 되는가?
• RQ2 클래식한 갈디 결과($ L^{9/2} $)가 로렌츠 공간 노름을 통해 복원되고 일반화될 수 있는가?
• RQ3 속도장의 로렌츠 공간에서의 감쇠 속도가 에너지 소산 $ D(u) $ 에 어떤 영향을 미치며, 언제 $ D(u) = 0 $ 이 되게 하는가?
• RQ4 코존오 등이 제시한 충분조건 $ \|u\|_{L^{9/2,\infty}} \leq \delta D(u)^{1/3} $ 를 로렌츠 공간을 통해 개선할 수 있는가?
• RQ5 채-월프의 로그 적분 가능성 결과는 본 연구의 프레임워크로 확장되거나 구분될 수 있는가?

주요 결과

• $ q > 3 $, $ 3 \leq \ell \leq \infty $, $ \gamma = \frac{2}{3} $ 인 경우, $ \liminf_{R \to \infty} M_{\frac{2}{3},q,\ell}(R) < \infty $ 이면 $ D(u) \leq c(q,\ell) \liminf_{R \to \infty} M^{3}_{\frac{2}{3},q,\ell}(R) $ 이다.
• $ \liminf_{R \to \infty} M^{3}_{\frac{2}{3},q,\ell}(R) \leq \delta D(u) $ 이고 $ \delta < 1/c(q,\ell) $ 이 충분히 작다면 $ u \equiv 0 $ 이다.
• 이 결과는 갈디의 $ L^{9/2} $ 결과를 일반화한다. 왜냐하면 $ u \in L^{9/2} $ 이면 $ M_{\frac{2}{3},\frac{9}{2},\frac{9}{2}}(R) \to 0 $ 이 $ R \to \infty $ 일 때 성립하기 때문이다.
• $ q = \frac{9}{2} $, $ \ell = \infty $ 인 경우, 조건 $ \liminf M^{3}_{\frac{2}{3},\frac{9}{2},\infty}(R) \leq \delta D(u) $ 는 코존오-테라사와-와카수기 결과를 확장한다.
• 두 번째 영역, 즉 $ \frac{12}{5} < q < 3 $, $ \gamma > \frac{1}{3} + \frac{1}{q} $ 인 경우, [10]의 결과보다 지수 조건을 완화함으로써 개선된다.
• 정리에 따르면 $ N(u) = \infty $ 이더라도, 점별 감쇠 $ |u| \leq C|x|^{-2/3} (\ln \ln |x|)^{-\nu} $ 이고 $ \nu \leq \frac{2}{9} $ 이면 여전히 $ u \equiv 0 $ 이다. 이는 채-월프의 조건이 포괄하지 못하는 경우이다.