[논문 리뷰] On Liouville type theorems for the steady Navier-Stokes equations in $\Bbb R^3$

Dongho Chae, Joerg Wolf|arXiv (Cornell University)|2016. 04. 26.

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

한 줄 요약

이 논문은 $\mathbb{R}^3$에서 정 steady 나비에-스토크스 방정식에 대해 세 가지 새로운 리우빌 타입 정리들을 수립하여, 개선된 적분 조건 하에서 해의 자명성($v=0$)을 증명한다. 고전적인 $L^{9/2}$ 결과를 로그적으로 확장하고, 딜리클레 적분의 스케일과 일치하는 스케일을 가진 헤드 압력 기반 조건을 도입하며, 비선형 커널을 통해 코어티시티와 속도로부터 유도된 이중 적분 조건을 제공한다. 이 모든 것은 무한대에서의 감쇠성과 적분 가능성 조건 하에서 이루어진다.

ABSTRACT

In this paper we prove three different Liouville type theorems for the steady Navier-Stokes equations in $\Bbb R^3$. In the first theorem we improve logarithmically the well-known $L^{\frac92} (\Bbb R^3)$ result. In the second theorem we present a sufficient condition for the trivially of the solution($v=0$) in terms of the head pressure, $Q=\frac12 |v|^2 +p$. The imposed integrability condition here has the same scaling property as the Dirichlet integral. In the last theorem we present Fubini type condition, which guarantee $v=0$.

연구 동기 및 목표

• 무한대에서 속도가 0이 되고 딜리클레 적분이 유한한 $\mathbb{R}^3$에서의 정 steady 나비에-스토크스 방정식에 대한 모든 약한 해가 자명해져야 하는지 여부라는 오랫동안 미해결된 문제를 해결하는 것.
• 기존의 $L^{9/2}$ 기반 리우빌 결과를 개선하여 적분 조건에 로그 보정 인자를 포함시키는 것.
• 딜리클레 적분의 스케일과 일치하는 적분 구조를 가진 헤드 압력 $Q = \frac{1}{2}|v|^2 + p$ 기반 조건을 도입하는 것.
• 코어티시티와 속도로부터 유도된 이중선형 커널을 포함하는 푸비니 타입 조건을 수립하여, 이중 적분이 대칭일 경우 해의 자명성을 보장하는 것.

제안 방법

• 로그 보정 인자를 포함한 $L^{9/2}$ 적분 조건의 개선을 증명하여, $\int_{\mathbb{R}^3} |v|^{9/2} \left\{ \log\left(2 + \frac{1}{|v|}\right) \right\}^{-1} dx < \infty$ 이면 $v \equiv 0$ 임을 보이는 것.
• 헤드 압력 $Q = \frac{1}{2}|v|^2 + p$ 를 도입하고, $|\nabla Q|^2 / |Q|$ 에 대해 로그 가중치를 가진 $L^2$-유형 부등식을 유도하며, 이 적분이 $\alpha \to 0^+$ 일 때 충분히 빠르게 감쇠하면 $v=0$ 임을 보이는 것.
• 커널 $\Phi(x,y) = \frac{1}{4\pi} \frac{\omega(x) \cdot (x-y) \times (v(y) \times \omega(y))}{|x-y|^3}$ 를 정의하고, $\omega \in L^q(\mathbb{R}^3)$ 이고 $q \in [3/2, 3)$ 일 때, 양변에 대해 $L^1$ 적분 가능성이 보장됨을 증명하는 것.
• 항등식 $\int_{\mathbb{R}^3} \Phi(x,y) dy = |\omega(x)|^2 \geq 0$ 와 $\int_{\mathbb{R}^3} \Phi(x,y) dx = 0$ 을 이용하여, 이중 적분이 대칭이면 $\omega \equiv 0$ 임을 보이고, 이로부터 $v \equiv 0$ 임을 유도하는 것.
• 리에즈 잠재력 추정과 헬더 부등식을 적용하여 커널의 성장률을 제어하고, 코어티시티에 대한 주어진 $L^q$ 조건 하에서 적분 가능성을 확보하는 것.
• 칼라존-지그문트 부등식과 소볼레프 포함을 활용하여 $v$ 와 $\omega$ 를 연결하여, 관련 리만 스페이스에서 필요한 $v$ 와 $\omega$ 의 적분 가능성을 보장하는 것.

실험 결과

연구 질문

• RQ1 정 steady 나비에-스토크스 해의 자명성에 대한 고전적인 $L^{9/2}$ 조건은 적분 인자에 로그 보정 인자를 포함시켜 개선될 수 있는가?
• RQ2 헤드 압력 $Q = \frac{1}{2}|v|^2 + p$ 를 기반으로 하되, 로그 가중치가 포함된 조건은 딜리클레 적분의 스케일과 일치하는 충분조건을 제공하는가?
• RQ3 코어티시티와 속도를 포함하는 이중선형 커널에 대한 푸비니 타입 조건은 정 steady 나비에-스토크스 방정식의 유일한 해가 자명해지는 것을 보장할 수 있는가?
• RQ4 코어티시티와 속도로부터 유도된 커널의 이중 적분 대칭성 조건은 $v \in L^2$ 를 요구하지 않더라도 $v=0$ 를 이끌어내는가?
• RQ5 결과를 $\omega \in L^q(\mathbb{R}^3)$ 이고 $q \in [3/2, 3)$ 일 때로 확장할 수 있으며, 이 경우에도 $v$ 가 반드시 $L^2$ 에 속하지 않더라도 $v=0$ 가 보장되는가?

주요 결과

• 정리 1.1은 $\int_{\mathbb{R}^3} |v|^{9/2} \left\{ \log\left(2 + \frac{1}{|v|}\right) \right\}^{-1} dx < \infty$ 이면 해가 자명해지며, $v \equiv 0$ 임을 보여준다.
• 정리 1.2는 가중 적분 $\int_{\mathbb{R}^3} \frac{|\nabla Q|^2}{|Q|} \left( \log \frac{eM}{|Q|} \right)^{-\alpha-1} dx$ 가 $\alpha \to 0^+$ 일 때 $1/\alpha$ 보다 더 빠르게 감쇠하면 $v \equiv 0$ 임을 보이며, $Q$ 는 헤드 압력이다.
• 정리 1.3은 $\omega \in L^q(\mathbb{R}^3)$ 이고 $q \in [3/2, 3)$ 일 때, 커널 $\Phi(x,y)$ 의 이중 적분이 대칭이면 $v \equiv 0$ 임을 증명하며, 이는 $v \in L^2$ 를 가정하지 않아도 된다.
• 논문은 $\omega$ 에 대한 기술된 $L^q$ 조건 하에서 커널 $\Phi(x,y)$ 가 양변에 대해 절대 적분 가능하다는 것을 보여주며, 이는 푸비니 타입 추론의 타당성을 보장한다.
• $\int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \Phi(x,y) \, dx \, dy = \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \Phi(x,y) \, dy \, dx$ 조건은 $\omega \equiv 0$ 를 의미하며, 이로부터 $v \equiv 0$ 를 이끌어내므로, $L^2$ 기반 조건이 아닌 새로운 자명성 기준을 제공한다.
• 분석 결과, $\int_{\mathbb{R}^3} \frac{|\nabla Q|^2}{|Q|} dx$ 는 딜리클레 적분 $\int_{\mathbb{R}^3} |\nabla v|^2 dx$ 와 같은 스케일을 가지며, 이는 헤드 압력 조건이 에너지 기반 방법과 자연스럽게 호환됨을 보여준다.