[논문 리뷰] The existence and blow-up criterion of liquid crystals system in critical Besov space

Yihang Hao, Xiangao Liu|arXiv (Cornell University)|2013. 05. 07.

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

한 줄 요약

이 논문은 비압축성 액정 시스템의 강한 해의 존재성과 폭발 기준을 임계 베소프 공간에서 증명하며, 리틀우드-파일리 이론과 에너지 추정을 통해 속도 및 정렬 필드에 각각 $\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}$ 및 $\cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}}$ 에서의 해를 분석한다. 폭발 기준은 나비에-스토크스 방정식의 세린 조건과 유사하게 유도되며, 초기 자료가 작거나 특정 적분 조건을 만족할 경우 전역 존재성을 보장한다.

ABSTRACT

We consider the existence of strong solution to liquid crystals system in critical Besov space,then give a criterion which is similar to Serrin's criterion on regularity of weak solution to Navier-Stokes equations.

연구 동기 및 목표

• 비압축성 액정 시스템의 강한 해가 임계 베소프 공간에서 국소 및 전역 존재함을 확립한다.
• 나비에-스토크스 방정식의 세린 기준과 유사한 강한 해에 대한 폭발 기준을 유도한다.
• $\cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}$ 과 $\cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}}$ 가 각각 속도 및 정렬 필드에 대한 자연스러운 임계 공간임을 규명한다.
• 스케일 불변성 함수 공간에서의 반복 근사와 고정점 추론을 통해 해의 유일성과 정규성을 확보한다.

제안 방법

• 동차 베소프 공간에서 주파수 국소화된 노름을 분석하기 위해 리틀우드-파일리 분해를 사용한다.
• 시스템의 자연스러운 스케일 불변성에 따라 스케일 불변성 노름을 가지는 임계 공간을 식별한다.
• 시간 구간 $[0,T]$ 에서의 근사 해 시퀀스 $(u_m, \tau_m)$ 이 $\cdot{L}^{\infty}(0,T; \cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}) \times \cdot{L}^{\infty}(0,T; \cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}})$ 에서 수렴하는 방식으로 반복 근사를 적용한다.
• 작은 시간 간격에서 수축 사상 원리를 이용하여 수열 수렴을 확보하며, 초기 자료의 작거나 시간 간격에서의 작은 노름에 의존한다.
• 비선형 항, 특히 $|\nabla d|^2 d$ 와 $u \cdot \nabla d$ 를 제어하기 위해 에너지 추정과 보간 부등식을 사용한다.
• 시간 간격 $[0, \delta]$ 에서 고정점 추론을 적용하고, 폭발 기준을 이용하여 점차적으로 해를 전역적으로 연장한다.

실험 결과

연구 질문

• RQ1 강한 해가 임계 베소프 공간에서 액정 시스템에 존재할 수 있으며, 초기 자료 조건은 무엇인가?
• RQ2 나비에-스토크스 방정식의 세린 기준과 유사한 강한 해에 대한 정확한 폭발 기준은 무엇인가?
• RQ3 왜 베소프 공간 $\cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}$ 과 $\cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}}$ 가 이 시스템에 대한 자연스러운 임계 공간인가?
• RQ4 반복 근사와 노름 제어를 통해 이 임계 공간에서 해의 유일성과 정규성을 어떻게 증명할 수 있는가?

주요 결과

• 초기 자료가 임계 베소프 공간에 속할 경우, 해가 $C([0,T]; \cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}) \times C([0,T]; \cdot{B}_{2,1}^{\frac{\mathbb{N}}{2}})$ 에서 존재하며 유일하다. 이때 초기 에너지 $E_0$ 는 유한하다.
• 초기 자료가 작을 경우 해는 시간에 대해 전역적으로 존재한다. 즉, $[0,\infty) \times \mathbb{R}^{\mathbb{N}}$ 에서 존재한다.
• 폭발 기준이 확립된다: 만약 해가 시간 $T'$ 까지 존재한다면, 다음 조건을 만족할 경우 해는 정규성을 유지한다. $u \in \widetilde{L}^{\rho_1}_{T'}(\dot{B}_{\infty,\infty}^{-1+\frac{2}{\rho_1}})$, $d - \bar{d}_0 \in \widetilde{L}^{\rho_2}_{T'}(\dot{B}_{\infty,\infty}^{\frac{2}{\rho_2}})$, 및 $d - \bar{d}_0 \in \widetilde{L}^{\rho_3}_{T'}(\dot{B}_{2,\infty}^{\frac{\mathbb{N}}{2}+\frac{2}{\rho_3}})$, 여기서 $\rho_1, \rho_2, \rho_3 > 2$ 이다.
• 위의 적분 조건이 만족될 경우, 해는 시간 $T'$ 까지 임계 베소프 노름에서 유계이다. 따라서 폭발 시간은 $T'$ 보다 작을 수 없다.
• 수렴은 작은 시간 간격에서의 수축 원리에 기반하며, 반복적 연장 기법을 사용한다. 핵심 추정식 $\|u\|_{\widetilde{L}^{\infty}(\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1})} + \|\tau\|_{\widetilde{L}^{\infty}(\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}})} \leq C(\|u(T_2)\|_{\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}-1}}} + \|\tau(T_2)\|_{\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}}})$ 은 해의 연속성을 보장한다.
• 임계 공간 선택은 스케일 불변성과 임bedding에 의해 정당화된다: $\dot{B}_{2,1}^{\frac{\mathbb{N}}{2}} \hookrightarrow L^\infty$, 이는 $|d| = 1$ 을 유지한다.