[논문 리뷰] The energy equality for the Navier-Stokes equations in bounded domains

Cheng Yu|arXiv (Cornell University)|2018. 02. 21.

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

한 줄 요약

이 논문은 유한 도메인 내에서 압축성 없는 나비에-스토크스 방정식의 약한 해에 대해 에너지 등식이 성립하는 충분조건을 제시한다. 이는 르베그 공간과 베소프 공간의 적분 가능성을 포함하는 새로운 정규성 기준을 도입함으로써 이루어지며, 경계 효과를 제어하기 위해 컷오프 함수와 모리피케이션을 사용한다. 에너지 보존은 속도 장이 $ L^p(0,T;L^q(\bar{u})) \cap L^s(0,T;B_{s}^{\alpha,\infty}(\Omega)) $ 에 속할 때 성립하며, 여기서 $ \frac{2}{p} + \frac{d}{q} \leq 1 $, $ s > 2 $, $ 0 < \alpha < 1 $ 이다. 이는 이전 결과를 경계가 있는 유한 도메인으로 확장하며, 경계층 분석을 엄밀하게 수행한다.

ABSTRACT

In this paper, we provide a sufficient condition of the energy equality for the incompressible Navier-Stokes equations in bounded domains.

연구 동기 및 목표

• 유한 도메인 내에서 압축성 없는 나비에-스토크스 방정식의 약한 해가 에너지 등식을 만족하는 데 필요한 최소 정규성 조건을 규명하는 것.
• 유동 방정식의 에너지 보존을 위한 온제르 타입 정규성 기준을 온제르 방정식에서 나비에-스토크스 방정식으로 확장하여 경계 효과를 다루는 것.
• 확산 항에서 발생하는 경계층을 다루는 데 어려움이 있었던 점을 해결하고, 특히 에너지 항등식 유도 과정에서 점성 항의 경계 효과를 엄밀하게 제어하는 것.
• 낮은 정규성 조건에서도 이전 결과보다 더 약한 조건으로 에너지 등식이 성립하는 충분조건을 제공하는 것, 특히 유한 도메인의 맥락에서의 응용을 중심으로 한다.

제안 방법

• 경계 근처의 분석을 국소화하기 위해 $ \theta_h(x) = \kappa(d(x)/h) $ 를 도입하며, 여기서 $ \kappa $ 는 매끄럽고 compactly supported 이다.
• 에너지 항등식 유도 과정에서 특이성을 제어하기 위해 속도 장을 근사하기 위해 모리피케이션 $ \mathbf{u}^\varepsilon $ 을 적용한다.
• 수식적 제약 조건인 수렴성 조건과 적분에 의한 부분 적분을 통해 에너지 항등식을 유도하며, 압력항과 기울기 항을 신중히 다룬다.
• 특히 경계층 제어를 위해 베소프 공간 노름 $ B_{s}^{\alpha,\infty} $ 을 사용하여 정규성을 정량화한다.
• 홀더 유형의 추정과 $ \nabla \theta_h $ 의 감쇠를 활용하여 경계 기여항을 제어하며, $ \nabla \mathbf{u} $ 의 $ L^2 $ 유계성을 활용한다.
• 에러 항의 수렴성을 확보하기 위해 $ h = \varepsilon^{s(1-\alpha)/(s-2)} $ 를 선택함으로써 $ \varepsilon, h \to 0 $ 일 때 오차 항이 0으로 수렴하도록 보장한다.

실험 결과

연구 질문

• RQ1 유한 도메인 내에서 나비에-스토크스 방정식의 약한 해가 에너지 등식을 만족하는 데 필요한 최소 정규성 조건은 무엇인가?
• RQ2 에너지 항등식 유도 과정에서 점성 항의 경계층 효과는 어떻게 엄밀하게 제어할 수 있는가?
• RQ3 에너지 보존을 위한 온제르 타입 정규성 기준을 온제르 방정식에서 나비에-스토크스 방정식으로 확장할 수 있는가?
• RQ4 낮은 정규성 조건 하에서 에너지 보존을 보장하는 데 있어 베소프 공간 $ B_{s}^{\alpha,\infty} $ 의 역할은 무엇인가?

주요 결과

• 에너지 등식은 $ \mathbf{u} \in L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega)) $ 를 만족하고, $ \mathbf{u} \in L^p(0,T;L^q(\Omega)) \cap L^s(0,T;B_s^{\alpha,\infty}(\Omega)) $ 이며, $ \frac{2}{p} + \frac{d}{q} \leq 1 $, $ s > 2 $, $ 0 < \alpha < 1 $ 인 약한 해에 대해 성립한다.
• 경계층 기여항은 $ \varepsilon, h \to 0 $ 일 때 사라지며, $ h = \varepsilon^{s(1-\alpha)/(s-2)} $ 를 만족할 경우 에너지 항등식의 수렴을 보장한다.
• 압력항의 기여는 $ \nabla \theta_h $ 의 감쇠와 함께 $ |\mathbf{u}|^3 $ 이 $ L^{q/3} $ 에서 적분 가능할 때 0으로 수렴한다. 여기서 $ q \geq 4 $ 이다.
• 비선형성과 경계 효과를 동시에 제어하는 데 성공하였으며, 바르도스-티티 방법을 나비에-스토크스 방정식으로 확장하였다.
• 특히 경계가 있는 도메인 맥락에서 이전 기준보다 더 낮은 정규성 조건을 允許함으로써 기존 결과를 향상시켰다. 특히 $ \frac{2}{p} + \frac{d}{q} \leq 1 $ 조건을 만족하는 $ L^pL^q $ 조건보다도 더 낮은 정규성 조건을 허용한다.