[논문 리뷰] On the global well-posedness of 2-D density-dependent Navier-Stokes system with variable viscosity

Hammadi Abidi, Ping Zhang|arXiv (Cornell University)|2013. 01. 11.

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

한 줄 요약

이 논문은 초기 밀도 변동과 점성 계수의 작을 조건 하에서 2차원 비균일한 나비에-스토크스 방정식의 전역 적으로 잘 정의된 해가 존재하고 유일함을 증명함으로써, 가변 점성도를 갖는 2차원 비균일한 나비에-스토크스 방정식의 전역 적으로 잘 정의된 해를 확립한다. 리틀우드-페이리 이론과 임계 베소프 공간 추정을 사용하여, 전역 적으로 잘 정의된 해를 거의 임계 정규성 영역과 척도 불변 공간으로까지 확장한다.

ABSTRACT

Given solenoidal vector $u_0\in H^{-2\d}\cap H^1(\R^2),$ $ _0-1\in L^2(\R^2),$ and $ _0 \in L^\infty\cap\dot{W}^{1,r}(\R^2)$ with a positive lower bound for $\d\in (0,\f12)$ and $2

연구 동기 및 목표

• 변동 점성도를 갖는 2차원 비압축성 비균일한 나비에-스토크스 시스템에 대한 전역 존재성과 유일성을 확립하기 위해.
• 이전 결과를 확장하여, 초기 자료의 정규성이 낮은 경우와 일부 영역에서 밀도 변동에 대한 작음 조건을 제거함으로써.
• 초기 밀도 편차에 대한 작음 조건 하에서 척도 불변 공간과 거의 임계 베소프 공간에서의 전역 적으로 잘 정의된 해를 증명하기 위해.
• 초기 자료의 정규성이 향상되었을 때 해의 정규성 전파를 분석하기 위해.

제안 방법

• 비선형 항을 제어하기 위해 해를 주파수 분해하고 제어하기 위해 리틀우드-페이리 이론과 주파수 국소화 기법을 사용하기 위해.
• 해의 노름의 시간 적분 가능성과 주파수 국소화를 포착하기 위해 샤민-레너 형 공간을 사용하기 위해.
• 주파수 공간에서 속도와 밀도 변동 간의 상호작용을 제어하기 위해 공변항 추정을 적용하기 위해.
• 척도 불변성을 다루기 위해 임계 정규성 지수를 갖는 베소프 공간에서 에너지 추정을 수립하기 위해.
• 초기 에너지와 속도의 베소프 노름에 상대하여 $ L^rown $ 노름에서 $ ho_0 - 1 $ 에 대한 작음 조건을 도입하기 위해.
• 비선형 항에서 저주파수 및 고주파수 성분의 곱을 다루기 위해 보니의 분해를 사용하기 위해.

실험 결과

연구 질문

• RQ1 가변 점성도를 갖는 2차원 비균일한 나비에-스토크스 시스템이 초기 자료에 대해 어떤 조건을 만족할 경우 전역적으로 잘 정의된 해를 갖는가?
• RQ2 초기 속도가 $ L^2 $ 에서 작지 않더라도 척도 불변 베소프 공간에서 전역 적으로 잘 정의된 해를 확보할 수 있는가?
• RQ3 전역 존재성과 정규성 전파를 보장하기 위해 필요한 최소 정규성은 무엇인가?
• RQ4 초기 점성 계수 $ ho_0 $ 가 $ L^rown $ 에서 1에 가까울 때, $ ho o ho $ 의 크기가 전역 적으로 잘 정의된 해에 어떤 영향을 미치는가?
• RQ5 초기 밀도 편차 $ ho_0 - 1 $ 에 대한 작음 조건 하에서 거의 임계 베소프 공간으로 전역 적으로 잘 정의된 해를 확장할 수 있는가?

주요 결과

• 만약 $ \rho_0 - 1 \to L^2 \times \rho_0 \to L^\frown \times \rho_0 \to \text{dot}{W}^{1,r} $ 이고 $ r \to (2, 2/(1-2\theta)) $ 이면, $ \rho_0 $ 가 $ \theta $ 와 初기 자료 노름에 상대하여 $ L^\frown $ 노름에서 1에 가까울 경우 전역 적으로 잘 정의된 해가 존재한다.
• 만약 $ (\rho_0 - 1, u_0) \to \text{dot}{B}^{2/p}_{p,1} \times (\text{dot}{B}^{-1+2/p}_{p,1} \times L^2) $ 이고 $ 1 < p < 4 $ 이면, $ \rho_0 - 1 $ 이 $ \text{exp}(C(\frown{u}_0^2 + \frown{u}_0_{\text{dot}{B}^{-1+2/p}_{p,1}})) $ 에 비해 작을 경우 전역 적으로 잘 정의된 해가 존재한다.
• 거의 임계 베소프 공간 영역에서, $ \rho_0 - 1 $ 이 $ L^\frown $ 에서 작을 경우 전역 적으로 잘 정의된 해가 달성된다. 이는 $ u_0 $ 의 크기와 무관하다.
• 해는 정규성을 전파한다: 초기 자료가 더 매끄럽다면, 해는 항상 매끄럽게 유지된다.
• 이전 연구를 개선하여 밀도 변동에 대한 작음 조건을 제거하고 초기 속도의 정규성 요구 조건을 감소시켰다.
• 증명은 주파수 공간에서 가변 점성도 항을 제어하기 위해 리틀우드-페이리 이론과 공변항 추정의 정교한 응용에 의존한다.