[논문 리뷰] Eulerian dynamics with a commutator forcing

Roman Shvydkoy, Eitan Tadmor|arXiv (Cornell University)|2016. 12. 13.

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

한 줄 요약

이 논문은 $\mathcal{L}$ 가 이동 불변 연산자인 경우, $[\mathcal{L}, \mathbf{u}](\rho) = \mathcal{L}(\rho\mathbf{u}) - \mathcal{L}(\rho)\mathbf{u}$ 형태의 교환자 강제 구조를 가진 일차원 올레르리안 역학계에 대해 전역적인 정칙성을 확립한다. 유한하고 부호가 변화하는 커널($\phi \in L^\infty$), 분수라플라스 연산자($\mathcal{L} = -(-\partial_{xx})^{\alpha/2}$)에서 $\alpha \in [1,2)$, 그리고 고전적인 라우지에르-스트로움 방정식($\mathcal{L} = \Delta$)의 경우, 날카로운 임계 임계값과 이중지수 경계를 포함한 전역적인 매끄러운 해를 증명한다. 이 결과들은 비양수, 특이적이고 국소적이지 않은 연산자로까지 수체역학적 군집화와 정렬 이론을 확장한다.

ABSTRACT

We study a general class of Euler equations driven by a forcing with a \emph{commutator structure} of the form $[\mathcal{L},\mathbf{u}](ρ)=\mathcal{L}(ρ\mathbf{u})- \mathcal{L}(ρ)\mathbf{u}$, where $\mathbf{u}$ is the velocity field and $\mathcal{L}$ is the "action" which belongs to a rather general class of translation invariant operators. Such systems arise, for example, as the hydrodynamic description of velocity alignment, where action involves convolutions with bounded, positive influence kernels, $\mathcal{L}_ϕ(f)=ϕ*f$. Our interest lies with a much larger class of $\mathcal{L}$'s which are neither bounded nor positive. In this paper we develop a global regularity theory in the one-dimensional setting, considering three prototypical sub-classes of actions. We prove global regularity for \emph{bounded} $ϕ$'s which otherwise are allowed to change sign. Here we derive sharp critical thresholds such that sub-critical initial data $(ρ_0,u_0)$ give rise to global smooth solutions. Next, we study \emph{singular} actions associated with $\mathcal{L}=-(-\partial_{xx})^{α/2}$, which embed the fractional Burgers' equation of order $α$. We prove global regularity for $α\in [1,2)$. Interestingly, the singularity of the fractional kernel $|x|^{-(n+α)}$, avoids an initial threshold restriction. Global regularity of the critical endpoint $α=1$ follows with double-exponential $W^{1,\infty}$-bounds. Finally, for the other endpoint $α=2$, we prove the global regularity of the Navier-Stokes equations with density-dependent viscosity associated with the \emph{local} $\mathcal{L}=Δ$.

연구 동기 및 목표

• 일반적인 이동 불변 연산자 $\mathcal{L}$ 에 대해, 유한하고 양수인 영향 커널을 넘어서는 더 넓은 범주로 올레르리안 역학계의 전역 정칙성 이론을 확장한다.
• 교환자 강제 $[\mathcal{L}, \mathbf{u}](\rho)$ 가 1차원 유체역학계에서 매끄러움을 유지하고 유한 시간 내 폭발을 방지하는 데서의 역할을 분석한다.
• 초기 자료의 정규성에 따라 전역 존재성을 결정짓는, $\phi \in L^\infty$ 인 유한 커널에 대해 날카로운 임계 임계값을 확립한다.
• 특이적이고 비국소적인 연산자, 예를 들어 $\alpha \in [1,2)$ 에 대해 $\mathcal{L}_\alpha = -(-\partial_{xx})^{\alpha/2}$ 인 분수라플라스 연산자에 대해 전역 존재성과 매끄러움을 증명한다. 특히 $\alpha = 1$ 이며 이중지수 $W^{1,\infty}$ 경계를 포함한다.
• 국소 연산자 $\mathcal{L} = \Delta$ 를 통해 밀도에 따라 변화하는 점성 계수를 가진 라우지에르-스트로움 방정식의 전역 정칙성을 복원하고 확장한다.

제안 방법

• 전역 정칙성을 전파하기 위한 일반적인 반복 체계를 활용하며, 에너지 추정을 통해 고차원 소볼레프 노름($H^k$)을 제어한다.
• 유한 커널 $\phi$ 의 경우, 초기 자료 단계 공간 $(\rho_0, \mathbf{u}_0)$ 에서 $L^\infty$ 와 $H^1$ 추정의 조합을 통해 날카로운 임계 임계값을 유도한다.
• 분수 연산자 $\mathcal{L}_\alpha = -(-\partial_{xx})^{\alpha/2}$ 의 경우, $H^{1/2}$-유형의 소산과 비국소 교환자 추정을 활용하여 비선형성을 제어한다.
• $\alpha = 1$ 의 증명은 이중지수 경계를 $W^{1,\infty}$-노름에 사용하여, 임계 제약 조건이 없음에도 폭발을 방지한다.
• $\mathcal{L} = \Delta$ 의 경우, 점성 항을 국소 연산자와의 교환자 강제로 간주함으로써 고전적인 라우지에르-스트로움 방정식의 전역 정칙성을 복원한다.
• 인터폴레이션, 교환자 경계, 소산 항을 사용하여 에너지 추정을 닫기 위해 $H^3$-노름까지 반복적으로 추정을 정밀화한다.

실험 결과

연구 질문

• RQ1 1차원에서 교환자 강제 $[\mathcal{L}_\phi, \mathbf{u}](\rho)$ 를 가진 올레르리안 역학계에 대해, 커널 $\phi$ 가 어떤 조건을 만족해야 전역적인 매끄러운 해를 보장할 수 있는가?
• RQ2 특이적이고 비국소적인 연산자, 예를 들어 $\alpha \in [1,2)$ 에 대해 $\mathcal{L}_\alpha = -(-\partial_{xx})^{\alpha/2}$ 인 경우, 전역 정칙성이 확립될 수 있는가? 그리고 특이성이 임계 제약 조건을 피하는 데 어떤 역할을 하는가?
• RQ3 분수라플라스 연산자에 대해 임계점인 $\alpha = 1$ 이 전역 정칙성을 초깃값 제약 없이 허용할 수 있는가? 그리고 어떤 정량적 경계를 도출할 수 있는가?
• RQ4 교환자 강제 구조 $[\mathcal{L}, \mathbf{u}](\rho)$ 가 $\mathcal{L}$ 이 양수나 유한하지 않은 경우에도 매끄러움을 유지하는 방식은 무엇인가? 특히 표준 소산이 없는 상황에서 어떻게 작용하는가?
• RQ5 밀도에 따라 변화하는 점성 계수를 가진 라우지에르-스트로움 방정식이 $\mathcal{L} = \Delta$ 를 통해 이 교환자 프레임워크 내에서 복원되고 전역 정칙성이 증명될 수 있는가?

주요 결과

• 유한하고 부호가 변화하는 커널 $\phi \in L^\infty$ 의 경우, 초기 자료 단계 공간에서 날카로운 임계 임계값을 확립하여, 임계 이하의 초기 자료 $(\rho_0, \mathbf{u}_0)$ 는 전역적인 매끄러운 해를 유도한다.
• 분수라플라스 연산자 케이스에서 $\mathcal{L}_\alpha = -(-\partial_{xx})^{\alpha/2}$ 이고 $\alpha \in [1,2)$ 이면, 특이 커널 $|x|^{-(1+\alpha)}$ 가 내재한 소산 덕분에 초기 임계 제약 조건 없이 전역 정칙성이 증명된다.
• 임계점 $\alpha = 1$ 에서는 이중지수 경계를 $W^{1,\infty}$-노름에 대해 증명하여 기울기 성장에 대한 강력한 통제를 나타낸다.
• $\mathcal{L} = \Delta$ 인 국소 연산자에 대해서는 라우지에르-스트로움 방정식의 전역 정칙성이 복원되며, 고전적 결과와 일치함을 확인한다.
• $H^3$-노름이 미분 부등식 $Y' \leqslant C Y$ 를 만족함을 보여, 확립된 에너지 추정 하에서 유계성과 전역 정칙성을 유도한다.
• 분석은 교환자 구조 $[\mathcal{L}, \mathbf{u}](\rho)$ 가 $\mathcal{L}$ 이 양수나 유한하지 않은 경우에도 충분한 소산과 비선형 항의 통제를 제공할 수 있음을 보여, 전역 존재성을 가능하게 한다.