[논문 리뷰] On the 2D `viscous incompressible fluid + rigid body' system with Navier conditions and unbounded energy

Marco Bravin|arXiv (Cornell University)|2018. 10. 02.

Navier-Stokes equation solutions참고 문헌 19인용 수 5

한 줄 요약

이 논문은 유체 운동 에너지가 무한대에서 유한하지 않은 경우에도 2차원 점성 비압축성 유체-강체 시스템에 대해 시간에 대해 전역적인 약한 해의 존재를 확립한다. 주요 기여는 일반화된 약한 해 프레임워크와 밀도 추론을 통해 이전 결과를 무한 에너지 설정으로 확장한 것이다. 특히 무한대에서 비영인 순환 조건이 존재하는 경우를 다룬다.

ABSTRACT

In this paper we consider the motion of a rigid body in a viscous incompressible fluid when some Navier slip conditions are prescribed on the body's boundary. The whole `viscous incompressible fluid + rigid body' system is assumed to occupy the full plane $\\R^{2}$. We prove the existence of global-in-time weak solutions with constant non-zero circulation at infinity.

연구 동기 및 목표

• 2차원 유체-강체 시스템에 대한 약한 해의 정의를 유한하지 않은 운동 에너지를 가진 경우로 확장하기 위해.
• 유체 속도장에서 무한대에서의 적분 가능성 부족 문제를 다루기 위해, 에너지가 무한대이지만 속도가 $1/|x|$ 비슷하게 감쇠되는 경우를 고려하기 위해.
• 무한대에서 비영인 순환 조건이 존재하는 Navier 슬립 경계 조건 하에서 시간에 대해 전역적인 약한 해의 존재를 증명하기 위해.
• 이전 연구(예: [13])의 증명 기법을 밀도 추론과 $L^2_{\text{loc}}$ 내의 컴팩턴스를 이용해 수정하고 강화하기 위해.
• Kirchhoff 포텐셜과 에너지 추정을 통해 강체의 평행 이동 및 회전 속도의 개선된 정(regularity)을 확립하기 위해.

제안 방법

• 신체 기준좌표계에서 Navier 슬립 조건을 갖는 유체-강체 시스템을 수식화하라: $ u \cdot n = (\ell + r x^\perp) \cdot n $ 및 $ (D(u)n) \cdot \tau = -\alpha (u - \ell - r x^\perp) \cdot \tau $.
• 초기 조건을 $ u_0 = \tilde{u}_0 + \beta H_{\mathcal{S}_0} $ 로 정의하라. 여기서 $ H_{\mathcal{S}_0} $ 는 단위 순환을 가지는 조화 벡터장이며, $ \tilde{u}_0 \in L^2_{\sigma}(\mathcal{F}_0) $ 이다.
• 영역을 $ B_R(0) \supset \mathcal{S}_0 $ 로 제한하여 절단 방법을 적용하고, $ R \to \infty $ 으로 한계를 취함으로써 문제를 해결한다.
• Aubin-Lions 보조정리를 적용하여 $ \tilde{u}_{k,R_k} $ 가 $ L^2(0,T; L^2_{\text{loc}}(\mathbb{R}^2)) $ 에서 상대적 컴팩턴스를 보장함으로써 비선형 항의 수렴을 확보한다.
• $ \tilde{u}_{k,R_k} $ 에 대한 균일한 유계성 조건을 $ L^\infty(0,T; L^2) \cap L^2(0,T; \underline{\mathcal{V}}) $ 와 $ \partial_t \tilde{u}_{k,R_k} $ 에 대한 $ L^2(0,T; \mathcal{V}^\prime) $ 에서 확보하여 컴팩턴스를 보장한다.
• Kirchhoff 포텐셜 $ \Phi_i $ 를 사용하여 강체 운동 방정식을 재구성하고, 추가 질량 행렬 $ \mathcal{M} $ 의 정의성에 의해 $ (\ell, r) \in H^1(0,T; \mathbb{R}^2 \times \mathbb{R}) $ 임을 증명한다.

실험 결과

연구 질문

• RQ1 유체 에너지가 무한대에서 유한하지 않은 경우, Navier 경계 조건을 가진 2차원 유체-강체 시스템에 대해 전역적인 약한 해가 존재할 수 있는가?
• RQ2 무한 에너지 초깃값과 비영인 순환 조건을 수용할 수 있도록 약한 해의 정의를 어떻게 확장할 수 있는가?
• RQ3 에너지가 균일하게 유계가 아닌 경우 비선형 항의 극한을 취할 때 필요한 컴팩턴스 기법은 무엇인가?
• RQ4 무한대에서 비영인 순환이 존재할 경우 해의 장기적 행동과 정(regularity)에 어떤 영향을 미치는가?
• RQ5 유한 에너지 케이스에서의 증명 전략을 밀도 및 절단 추론을 통해 무한 에너지 설정으로 어떻게 일반화할 수 있는가?

주요 결과

• Navier 슬립 조건과 비유한 운동 에너지를 가진 2차원 유체-강체 시스템에 대해 시간에 대해 전역적인 약한 해가 존재한다.
• 초기 속도장은 유한 에너지 성분과 $ 1/|x| $ 비슷하게 감쇠되며 일정한 순환을 지닌 조화 벡터장 $ H_{\mathcal{S}_0} $ 로 분해된다.
• 비선형 항은 $ \tilde{u}_{k,R_k} $ 가 $ L^2(0,T; L^2_{\text{loc}}(\mathbb{R}^2)) $ 에서 상대적 컴팩턴스를 가지므로 극한에서 수렴한다. 이는 Aubin-Lions 보조정리를 통해 확보된다.
• 강체 속도 $ \ell $ 과 $ r $ 이 $ H^1(0,T; \mathbb{R}^2 \times \mathbb{R}) $ 에 속함을 보여, $ L^2 $ 이상의 개선된 정(regularity)을 갖는다.
• 추가 질량 행렬 $ \mathcal{M} $ 는 대칭적이고 정의된 양의 정의성을 가지며, 강체 운동 방정식의 잘 정의됨을 보장한다.
• 증명은 Lemma 2의 밀도 추론에 의존하며, 이는 존재성 결과의 타당성을 강화하고 이전 연구들(예: [13])의 결함을 수정한다.