[논문 리뷰] Global Sobolev persistence for the fractional Boussinesq equations with zero diffusivity

Igor Kukavica, Weinan Wang|arXiv (Cornell University)|2019. 10. 24.

Advanced Mathematical Physics Problems참고 문헌 28인용 수 6

한 줄 요약

이 논문은 0의 확산계수와 분수 빨래도 $α \in (1,2)$를 가진 2차원 분수 보우시네스크 방정식에 대해 전역적인 소볼레프 정규성 유지성을 확립한다. 초기 자료가 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$에 속해 있고 $s > 1$ 및 $q \in (2,\infty)$일 경우, 해는 항상 동일한 소볼레프 공간에 머무른다. 핵심 혁신은 낮은 주파수 특이성을 제어할 수 있게 해주고 케이토-폰스 유형 부등식을 적용할 수 있도록 해주는 수정된 코어티시티 변수 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$이다.

ABSTRACT

We address the persistence of regularity for the 2D $α$-fractional Boussinesq equations with positive viscosity and zero diffusivity in general Sobolev spaces, i.e., for $(u_{0}, ρ_{0}) \in W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$, where $s> 1$ and $q \in (2, \infty)$. We prove that the solution $(u(t), ρ(t))$ exists and belongs to $W^{s,q}(\mathbb R^2) imes W^{s,q}(\mathbb R^2)$ for all positive time $t$ for $q>2$, where $α\in(1,2)$ is arbitrary.

연구 동기 및 목표

• 초기 자료가 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$에 속하고 $s > 1$ 및 $q > 2$일 때, 2차원 분수 보우시네스크 방정식에 대해 전역적인 소볼레프 정규성 유지성을 확립한다.
• 에너지 방정식이 존재하지 않는 $L^q$ 기반 추정에서 $q > 2$일 경우, 표준적인 정규성 유지 추론이 어려운 문제를 해결한다.
• 낮은 주파수 특이성에 강건한 수정된 코어티시티 변수 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$를 개발하여 교환자 추정을 가능하게 한다.
• 기존의 $H^s \times H^{s-1}$ 프레임워크를 넘어서, $q > 2$에 대해 더 일반적인 $W^{s,q} \times W^{s,q}$ 설정으로 전역 존재성과 정규성 결과를 확장한다.

제안 방법

• 코어티시티 역학을 분리하고 낮은 주파수 행동을 안정화시키기 위해 수정된 코어티시티 변수 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$를 도입한다.
• $\zeta$의 진화 방정식 유도: $\zeta_t + u \cdot \nabla \zeta + \Lambda^\alpha \zeta = [\SS, u \cdot \nabla]\rho - (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$, 여기서 $\SS = \partial_1 (I - \Delta)^{-\alpha/2}$이다.
• 비국소 연산자 $N = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1$가 1차 수준의 매끄러움성을 띠며, 이는 낮은 주파수 기여를 제어하는 데 도움이 된다.
• 일반화된 케이토-폰스 부등식을 사용하여 $L^q$ 기반 노름에서 교환자 항 $[\SS, u \cdot \nabla]\rho$를 추정한다.
• 부스팅 추론을 닫기 위해 $X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$, $Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$, $Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$를 포함하는 가중 에너지 추정을 적용한다.
• $\gamma = s/(s-1)$로 적절히 선택된 매개변수를 사용하여 $X$ 및 $Y$에 대한 연합 미분 부등식에 수정된 그론월르 부등식을 적용한다.

실험 결과

연구 질문

• RQ1 초기 자료가 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$에 속하고 $s > 1$ 및 $q > 2$일 때, $L^2$ 기반 에너지 방정식이 존재하지 않는다는 점을 감안하여, 2차원 분수 보우시네스크 방정식에 대해 전역적인 소볼레프 정규성 유지성이 확립될 수 있는가?
• RQ2 $q > 2$인 $L^q$ 기반 소볼레프 공간에서 작업할 경우, $L^2$ 기반 에너지 추정이 부족한 문제는 어떻게 해결할 수 있는가?
• RQ3 수정된 코어티시티 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$는 해의 낮은 주파수 행동을 안정화시키는 데 어떤 역할을 하는가?
• RQ4 $L^q$ 노름에서 일반화된 케이토-폰스 부등식을 사용하여 교환자 항 $[\SS, u \cdot \nabla]\rho$를 효과적으로 제어할 수 있는가?
• RQ5 적절히 선택된 지수를 가진 그론월르 유형 부등식을 사용하여, 가중 에너지 방법을 통해 정규성 유지의 부스팅 추론을 닫을 수 있는가?

주요 결과

• 초기 자료 $(u_0, \rho_0)$가 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$에 속하고 $s > 1$ 및 $q \in (2, \infty)$일 경우, 해 $(u(t), \rho(t))$는 모든 $t > 0$에 대해 $W^{s,q}(\mathbb{R}^2) \times W^{s,q}(\mathbb{R}^2)$에 머무른다.
• 수정된 코어티시티 $\zeta = \omega - \partial_1 (I - \Delta)^{-\alpha/2}\rho$는 교환자와 매끄러운 나머지 항을 포함한 포물형 방정식을 만족하며, 이는 해의 정규성 제어를 가능하게 한다.
• 나머지 항 $N\rho = (\tilde{\Lambda}^{-\alpha}\Lambda^\alpha - I)\partial_1 \rho$는 1차 수준의 매끄러움성을 띠며, 이는 낮은 주파수 특이성을 다루는 데 핵심적이다.
• 증명은 $X = \|\Lambda^{s-1}\zeta\|_{L^q}^q$, $Y = (\|\Lambda^s \rho\|_{L^q} + 1)^{q/\gamma}$, $Z = \|\Lambda^{\alpha/2}(|\Lambda^{s-1}\zeta|^{q/2})\|_{L^2}^2$를 포함하는 가중 에너지 추정에 기반하며, $\gamma = s/(s-1)$이다.
• $X$ 및 $Y$에 대한 미분 부등식은 (5.15)의 지수 조건이 $\gamma = s/(s-1)$일 때 만족됨을 확인한 후, 그론월르 유형 추론을 통해 닫힌다.
• 결과는 모든 $\alpha \in (1,2)$에 대해 성립하며, 이는 이전 결과들이 더 강한 정규성 조건이나 $L^2$ 기반 추정을 필요로 했던 것을 초월한다.