[논문 리뷰] Existence of strong solutions for the compressible Ericksen-Leslie model

Xiangao Liu, Lanming Liu외 1명|arXiv (Cornell University)|2011. 06. 30.

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

한 줄 요약

이 논문은 유한 도메인 내 압축성 어린이스온-레슬리 모델에 대해 초기 자료의 자연스러운 정규성 및 호환 조건 하에서 국소 강해의 존재성과 유일성을 확립한다. 또한 소규모 초깃값을 가정할 경우 스토퍼브 스페이스에서의 반복적 근사 방법을 통해 전역 존재성을 증명하며, 초깃값의 변화에 대한 해의 수렴성 및 연속성 결과도 제시한다.

ABSTRACT

In this paper, we prove the existence and uniqueness of local strong solutions of the hydrodynamics of nematic liquid crystals system under the initial data satisfying a natural compatibility condition. Also the global strong solutions of the system with small initial data are obtained.

연구 동기 및 목표

• 압축성 어린이스온-레슬리 시스템에 대해 초기 조건 및 경계 조건을 갖는 국소 강해의 존재성과 유일성을 확립한다.
• 적절한 스토퍼브 노름에서 초깃값의 크기가 작을 조건 하에 강해의 전역 존재성을 증명한다.
• 스토퍼브 스페이스에서 초깃값에 대한 해의 연속적 의존성을 보여준다.
• 유체-구조 상호작용 모델에서 속도, 밀도, 정렬 장 필드를 포함한 연립 방정식에 대해 반복적 근사 방법을 확장한다.

제안 방법

• 스토퍼브 스페이스에서의 반복적 근사 방법을 사용하여 해를 구성하며, 속도 필드와 정렬 장 필드 간의 결합 항에 대한 정밀한 추정을 활용한다.
• 해의 밀도, 속도, 도자이어 필드 노름을 시간에 따라 통제하기 위해 에너지 추정과 그론발라 타입 부등식에 의존한다.
• 핵심 추정은 도자이어 d의 H²-노름과 속도 u의 H²-노름 사이의 상호 연결을 맺으며, 반복적 제어를 가능하게 한다.
• 강해의 정규성에 필수적인 $ \rho^{1/2} u_t(0) $의 유계성을 확보하기 위해 초기 힘장 $ g \to L^2 $을 포함한 호환 조건을 도입한다.
• 소규모 초깃값이 시간에 걸쳐 일관된 에너지 추정을 유도하여 폭발을 방지하므로 전역 존재 결과를 도출한다.
• 작은 시간 간격에서 지수 감쇠 추정과 파rameter의 소규모성에 기반한 수축 원리에 의해 반복적 근사의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 압축성 어린이스온-레슬리 시스템이 어떤 조건에서 유일한 국소 강해를 갖는가?
• RQ2 스토퍼브 노름에서 해는 초깃값에 대해 어떻게 연속적으로 의존하는가?
• RQ3 W^{1,6} \times H^2 \times H^3 에서 소규모 초깃값이 주어졌을 때 전역 강해를 구성할 수 있는가?
• RQ4 초기 힘장에 대한 호환 조건이 해의 정규성을 보장하는 데 어떤 역할을 하는가?
• RQ5 반복적 근사 방법에서 유체역학적 및 액정 순서 매개변수 간의 결합은 어떻게 통제할 수 있는가?

주요 결과

• 정규성 가정 $ \rho_0 \in W^{1,6}, u_0 \in H^1_0 \cap H^2, d_0 \in H^3 $ 과 $ g \in L^2 $를 포함한 호환 조건 하에서 작은 시간 간격 $ (0, T^*) $ 내에 유일한 국소 강해가 존재한다.
• 해는 완전한 정규성을 만족한다: $ \rho \in C([0,T^*]; W^{1,6}) $, $ u \in C([0,T^*]; H^1_0 \cap H^2) $, $ d \in C([0,T^*]; H^3) $, $ \sqrt{\rho} u_t \in C([0,T^*]; L^2) $.
• 초깃값에 대한 해의 연속적 의존성: $ (\widetilde{\rho}_0, \widetilde{u}_0, \widetilde{d}_0) \to (\rho_0, u_0, d_0) $ 이 $ W^{1,6} \times H^2 \times H^3 $에서 수렴할 때, 차이의 모든 관련 노름이 0으로 수렴한다.
• 소규모 초깃값이 $ \|\rho_0 - \alpha\|_{W^{1,6}} + \|u_0\|_{H^2} + \|d_0 - m\|_{H^3} + \|g\|_{L^2}^2 \leq \theta $ 를 만족하고 $ \theta \in (0, \theta_0] $ 이면, 모든 시간에 대해 전역 강해가 존재한다.
• 작은 $ \theta_0 $ 와 $ \eta $ 를 선택함으로써 수렴 인자에 대해 $ 1/2 $ 이하의 수축 추정이 달성되어 반복적 근사의 수렴이 보장된다.
• 증명은 $ \|u\|_{H^2} $, $ \|d\|_{H^3} $, $ \|\rho\|_{W^{1,6}} $ 간의 섬세한 상호작용에 기반하며, 추정에 의해 $ \|u\|_{H^2}^2 \lesssim \theta^{1/6} $, $ \|d\|_{H^3}^2 \lesssim \theta^{1/2} $, $ \|\rho\|_{W^{1,6}} \lesssim \theta^{1/2} $ 라는 결과를 도출한다.