[논문 리뷰] A new proof to the energy conservation for the Navier-Stokes equations

Cheng Yu|arXiv (Cornell University)|2016. 04. 19.

Navier-Stokes equation solutions참고 문헌 7인용 수 11

한 줄 요약

이 논문은 주기적 영역에서 압축성 없음 나비에-스토크스 방정식의 약한 해에 대한 에너지 보존에 대한 새로운 증명을 제시한다. 리옹스의 레마를 활용하여 미세화된 발산 항의 수렴성을 다루며, 주어진 조건 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$, $s \geq 4$ 하에서 에너지 등식을 확립한다. 이는 차원에 의존하지 않으며, 미세화와 함수 해석적 추정을 통한 간결한 분석적 접근을 제공함으로써 이전 결과를 향상시킨다.

ABSTRACT

In this paper we give a new proof to the energy conservation for the weak solutions of the incompressible Navier-Stokes equations. This result was first proved by Shinbrot. The new proof relies on a lemma introduced by Lions.

연구 동기 및 목표

• 주기적 영역에서 압축성 없음 나비에-스토크스 방정식의 약한 해에 대한 에너지 보존에 대한 새로운, 간결한 증명을 제공한다.
• 공간 차원 $d$ 에 독립적으로 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$ 이면서 $s \geq 4$ 조건 하에서 에너지 등식을 확립한다.
• 약한 형태에서 비선형 대류 항 $\text{div}({\bf u} \otimes {\bf u})$ 를 다루기 위해, 미세화된 발산 항의 수렴성에 관한 리옹스의 레마를 활용한다.
• 미세화와 보간 추정을 통한 분석적 프레임워크 단순화를 통해 신브로트의 원래 결과를 향상시킨다.
• 최소한의 적분 조건을 가진 약한 해의 더 넓은 범주로 에너지 보존 기준을 확장한다.

제안 방법

• 표준 $C^\infty_0$ 미세화자 $\eta_\varepsilon$ 를 사용하여 속도 장 $\bf u$ 를 미세화하여 $\overline{\bf u} = \bf u * \eta_\varepsilon$ 를 정의한다.
• 약한 형태의 나비에-스토크스 방정식에 $\overline{\bf u}$ 를 시험함으로써, $\overline{\bf u}$ 와 그 시간 도함수를 포함하는 에너지 항등식을 도출한다.
• 비선형 항 $\overline{\text{div}({\bf u} \otimes {\bf u})}$ 를 세 개의 잔여 항 $R_1$, $R_2$, $R_3$ 으로 분해하여 비선형성에서 발생하는 특이성을 분리한다.
• 리옹스의 레마를 적용하여 $R_1 = \overline{\text{div}({\bf u} \otimes {\bf u})} - \text{div}({\bf u} \otimes \overline{{\bf u}})$ 를 $L^{\frac{2p}{p+2}}(0,T; L^{\frac{2q}{q+2}}(\Omega))$ 에서 제어하고, $\varepsilon \to 0$ 일 때 0으로 수렴하도록 한다.
• 보간과 허더의 부등식을 사용하여 $R_2 = \text{div}({\bf u} \otimes \overline{{\bf u}}) - \text{div}(\overline{{\bf u}} \otimes \overline{{\bf u}})$ 를 추정하고, $p,q \geq 4$ 조건 하에서 $\varepsilon \to 0$ 일 때 0으로 수렴함을 보인다.
• 실제로 $R_3 = \text{div}(\overline{{\bf u}} \otimes \overline{{\bf u}})$ 는 $\text{div}(\overline{{\bf u}}) = 0$ 이므로 적분값이 0이 되며, 이는 한계에서 에너지 항등식을 단순화시킨다.

실험 결과

연구 질문

• RQ1 압축성 없음 나비에-스토크스 방정식의 약한 해에 대해 에너지 보존이 성립하는 데 필요한 최소한의 적분 조건은 무엇인가?
• RQ2 고전적 정규성 조건을 가정하지 않고, 약한 수렴성과 미세화 기법만을 사용하여 에너지 등식을 복원할 수 있는가?
• RQ3 리옹스의 레마를 발산 항에 적용함으로써 대류 비선형성의 분석적 처리가 어떻게 향상되는가?
• RQ4 Serrin 유형 조건에서처럼, 약한 해의 에너지 보존 기준에서 차원 의존성을 제거할 수 있는가?
• RQ5 이 증명 프레임워크는 에너지 보존 결과가 유사한 타 방정식, 예를 들어 오일러 방정식 또는 압축성 나비에-스토크스 방정식으로 일반화될 수 있는가?

주요 결과

• 모든 약한 해 $\bf u \in L^\infty(0,T; L^2(\Omega)) \cap L^2(0,T; H^1(\Omega))$ 가 $\bf u \in L^r(0,T; L^s(\Omega))$ 를 만족하고 $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$, $s \geq 4$ 를 만족할 경우 에너지 보존이 성립한다.
• 증명은 모든 $t \in [0,T]$ 에 대해 에너지 등식 $\int_\Omega |{\bf u}(t,x)|^2 dx + 2\mu \int_0^T \int_\Omega |\nabla{\bf u}|^2 dx dt = \int_\Omega |{\bf u}_0|^2 dx$ 를 확립한다.
• 약한 해의 차이에서 기인하는 잔여 항 $R_1$ 은 $\varepsilon \to 0$ 일 때 $L^{\frac{2p}{p+2}}(0,T; L^{\frac{2q}{q+2}}(\Omega))$ 에서 0으로 수렴한다.
• $\bf u \otimes \overline{{\bf u}}$ 와 $\overline{{\bf u}} \otimes \overline{{\bf u}}$ 의 차이와 관련된 항 $R_2$ 는 $L^p$-$L^q$ 유계성과 $\bf u - \overline{{\bf u}}$ 의 수렴성 덕분에 한계에서 0이 된다.
• $\frac{1}{r} + \frac{1}{s} \leq \frac{1}{2}$ 이면서 $s \geq 4$ 조건은 차원 $d$ 에 의존하지 않으며, 신브로트 결과를 일반화함으로써 최적임을 입증한다.
• 고전적 정규성이나 고차 적분 조건이 필요 없이, 미세화와 리옹스의 레마에 의존함으로써 최소한의 가정 하에서 에너지 등식의 직접적 증명이 가능하다.