[논문 리뷰] Weak solution for compressible fluid models of Korteweg type

Boris Haspot|ArXiv.org|2008. 03. 13.

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

한 줄 요약

이 논문은 1차원 및 2차원 공간에서 압축 가능한等온 Korteweg 유체 모델에 대해 전역 약한 해의 존재성을 확립한다. 이는 $1/\rho$의 유계성(즉, 진공 제어)을 가정할 필요 없이 이루어지며, $N=1$인 경우는 분수 라플라시안 추정과 컴팩턴스 추론을 통해 에너지 공간에서 유한 시간 내 강한 수렴을 증명한다. 반면 $N=2$인 경우는 전역 존재성을 확보하기 위해 $1/\rho \in L^\infty$ 조건이 필요하다.

ABSTRACT

This work is devoted to proving existence of global weak solutions for a general isothermal model of capillary fluids derived by J.E Dunn and J.Serrin (1985) \cite{3DS}, which can be used as a phase transition model. We distinguish two cases when the dimension N=2 and N=1, in the first case we need that $\frac{1}ρ\in L^{\infty}$, when N=1 we get a weak solution in finite time in the energy space.

연구 동기 및 목표

• 일반적인 등온 Korteweg 유체 모델에 대해 전역 약한 해의 존재성을 확립하는 것.
• 이전 연구에서 요구되었던 제한적인 가정인 $1/\rho \in L^\infty$ (즉, 진공 제어)를 존재 이론에서 제거하는 것.
• 1차원 경우에서 근사 해의 에너지 공간 내 유한 시간 강한 수렴을 정밀한 정규성 추정을 통해 증명하는 것.
• Orlicz 공간과 분수 소볼레프 포함을 통해 비선형 표면장력 항 $\kappa\rho\nabla\Delta\rho$ 를 다루는 새로운 접근법을 개발하는 것.

제안 방법

• 약한 형태로 Korteweg 방정식 (1.1)을 만족하는 근사 해 $(\rho_n, u_n)$ 의 사용.
• Orlicz 공간에서의 에너지 추정을 통해 $\Pi(\rho)$ 와 $\nabla\rho$ 항을 제어하는 것.
• 분수 라플라시안 $\Lambda^s$ ($0 < s \leq 1$) 를 적용하여 $\rho^2$ 에 대한 정규성 향상을 도모하고, $\partial_x\rho \otimes \partial_x\rho$ 를 제어하는 것.
• 소볼레프 포함 및 합성 정리의 적용을 통해 $\rho^2 \in L^\infty(H^1)$ 와 $\Lambda^s\rho^2 \in L^\infty(L^\infty)$ ($s < 1/2$) 를 보이는 것.
• Aubin-Lions 보조정리와 Dini 정리를 적용하여 $\partial_x\rho_n$ 가 $L^2$ 에서 균일 수렴을 증명하고, 컷오프 함수를 통해 진공을 제어하는 것.
• 모든 $\phi \in C_0^\infty$ 에 대해 $\phi \partial_x\rho_n$ 에 대한 컴팩턴스 추론을 통해 비선형 항에서의 극한을 통과하는 것.

실험 결과

연구 질문

• RQ1 진공 제어 조건 $1/\rho \in L^\infty$ 를 가정하지 않고도 Korteweg 시스템에 대해 전역 약한 해가 존재할 수 있는가?
• RQ2 1차원 경우에서 분수 라플라시안 추정을 통해 $\rho$ 에 대해 어떤 정규성 향상이 달성될 수 있는가?
• RQ3 진공이 존재하는 상황에서 $\partial_x\rho_n$ 의 컴팩턴스는 어떻게 확립할 수 있는가?
• RQ4 분포적 극한에서 $\rho$ 에 대한 $L^\infty$ 제어 없이도 표면장력 항 $\kappa\rho\nabla\Delta\rho$ 를 다룰 수 있는가?
• RQ5 초기 자료에 어떤 조건이 성립하면 $N=1$ 인 경우에서 에너지 공간 내 근사 해의 강한 수렴이 보장되는가?

주요 결과

• 1차원인 경우, 논문은 $1/\rho \in L^\infty$ 를 요구하지 않고도 유한 시간 간격 $(0,T)$ 내에서 약한 해의 존재성을 증명한다. 이는 $\Lambda^s$ 추정을 통한 도함수의 획득을 통해 이루어진다.
• 1차원인 경우, 에너지 공간의 초기 자료 조건 하에 $\partial_x\rho_n$ 이 $L^2(\mathbb{R}\times\mathbb{R})$ 에서 $\partial_x\rho$ 로 강하게 수렴한다.
• 논문은 $\rho \in L^\infty(H^1)$ 과 $0 < s < 1/2$ 에 대해 $\Lambda^s\rho^2 \in L^\infty(L^\infty)$ 임을 보이며, 이는 비선형 항 $\int |\partial_x\rho|^2 |\Lambda^s\rho^2|$ 의 제어를 가능하게 한다.
• 작은 초기 자료 조건이 성립할 경우, 논문은 $\mathbb{R}\times\mathbb{R}$ 에서 전역 존재성을 증명하며, $\partial_x\rho_n$ 이 $L^2(\mathbb{R}\times\mathbb{R})$ 에서 $\partial_x\rho$ 로 강하게 수렴함을 보인다.
• 진공은 컷오프 함수와 Dini 정리를 통해 다루어지며, $\|\partial_x\rho_n\|_{L^2}$ 이 무한대에서 일관되게 유계임을 보여준다.
• 2차원인 경우, 전역 존재성은 추가 조건인 $1/\rho \in L^\infty$ 가 성립할 때 확립되며, 이는 1차원의 경우와는 달리 필요하다.