[논문 리뷰] Instability and nonuniqueness for the $2d$ Euler equations in vorticity form, after M. Vishik

Dallas Albritton, Elia Brué외 5명|arXiv (Cornell University)|2021. 12. 09.

Navier-Stokes equation solutions인용 수 5

한 줄 요약

이 논문은 자기유사 좌표계와 선형 불안정성 분석을 기반으로 한 새로운 구성 방법을 사용하여, 초기 코어티시티가 항등적으로 0인 2D 오일러 방정식의 약한 해가 비가чёт수로 존재함을 증명한다. 주요 기여는 유도비치의 고전적 유일성 결과를 초월하여 $L^p$-스케일에서의 비유일성 문제를 해결한 것으로, 자기유사 연산자의 스펙트럼 분석과 회전 대칭 함수 공간에서의 라파노프-슐라이프트 축소를 통해 달성된다.

ABSTRACT

In this expository work, we present Vishik's theorem on non-unique weak solutions to the two-dimensional Euler equations on the whole space, \[ \partial_t ω+ u \cdot abla ω= f \, , \quad u = \frac{1}{2π} \frac{x^\perp}{|x|^2} \ast ω\, , \] with initial vorticity $ω_0 \in L^1 \cap L^p$ and $f \in L^1_t (L^1 \cap L^p)_x$, $p < \infty$. His theorem demonstrates, in particular, the sharpness of the Yudovich class. An important intermediate step is the rigorous construction of an unstable vortex, which is of independent physical and mathematical interest. We follow the strategy of Vishik but allow ourselves certain deviations in the proof and substantial deviations in our presentation, which emphasizes the underlying dynamical point of view.

연구 동기 및 목표

• 2D 오일러 방정식의 $L^p$-스케일에서 $p>2$일 때 유일성이 성립하는지 여부에 대한 오랜 동안 미해결된 열린 문제를 해결한다. 이는 유도비치의 고전적 결과를 초월한다.
• 적절한 외력과 정규성 조건 하에서 초기 코어티시티가 0인 2D 오일러 방정식에 대해 비가чёт수의 약한 해를 구성한다.
• 고전적 유도비치 유일성 프레임워크가 부드럽고 컴actsupport된 외력이 존재하더라도 $L^p$-스케일에서 $p>2$일 때까지 확장되지 않음을 보여준다.
• 자기유사 좌표계와 선형 불안정성 이론에 기반한 강력한 분석적 프레임워크를 개발하여 비유일 해를 구성한다.
• 해가 $t > 0$일 때 국소적으로 $W^{1,4}_{\textrm{loc}}$ 정규성을 보이며, 양의 시간에서의 좋은 허용성 특성을 지님을 입증한다. 그러나 $t \downarrow 0$에 따라 열악한 성질을 보인다.

제안 방법

• 자기유사 좌표계를 사용하여 오일러 방정식을 자기유사 형태로 변환함으로써 문제를 시간에 의존하지 않는 연산자 $L_{\text{ss}}$ 분석으로 환원한다.
• 배경장 방법을 사용하여 해를 주요 프로파일과 편차로 분해함으로써 선형 및 비선형 이론의 적용을 가능하게 한다.
• 회전 대칭 함수 공간에서 자기유사 연산자 $L_{\text{ss}}$의 세밀한 스펙트럼 분석을 수행하여, 임계층에서 중립 모드를 식별한다.
• 라파노프-슐라이프트 축소를 적용하여 비선형 문제를 유한차원 분기 문제로 환원하며, 조르당 블록의 구조를 활용한다.
• 스펙트럼 매개변수에 대한 형식적 전개를 통해 해의 가족을 구성하며, 플레멜즈 공식과 레일리 유사 방정식의 해법에 의존한다.
• $L^2$ 및 도함수 추정을 가중치 노름과 부트스트랩 추론을 사용하여 확립함으로써, 비선형 항이 편차 프레임워크 내에서 제어됨을 보장한다.

실험 결과

연구 질문

• RQ1 유도비치의 고전적 $L^\frown\infty$ 프레임워크를 초월하여, $p>2$인 $L^p$-스케일에서 2D 오일러 방정식에 대해 비유일성을 확립할 수 있는가?
• RQ2 초기 코어티시티가 0이고 부드럽고 컴팩트하게 지지된 외력이 존재하는 2D 오일러 방정식에 대해 비가чёт수의 약한 해를 구성할 수 있는가?
• RQ3 자기유사 연산자 $L_{\text{ss}}$의 스펙트럼 구조가 비유일성 생성에 어떤 역할을 하는가?
• RQ4 자기유사 좌표계와 배경장 방법는 초기 코어티시티가 없는 상황에서 비유일 해를 구성하는 데 어떻게 기여하는가?
• RQ5 이 논문에서 구성된 해들이 양의 시간에 대해 어떤 정도의 정규성과 허용성 특성을 보이며, $t \downarrow 0$에 따라 어떻게 열악해지는가?

주요 결과

• 모든 $p \in (2, \infty)$에 대해, 초기 조건 $\omega_0 \equiv 0$이고 부드럽고 컴팩트하게 지지된 외력 $f$가 존재하는 2D 오일러 방정식의 약한 해 $(\omega, v)$가 비가чёт수로 존재한다.
• 구성된 해들은 모든 $T < \infty$에 대해 $\omega \in L^\infty([0,T], L^1 \cap L^p)$ 및 $v \in L^\infty([0,T], L^2)$를 만족하며, $v$는 $\mathbb{R}^2 \times [0,T]$에서 유계이다.
• 각 해는 $t > 0$에서 국소적으로 공간과 시간에 대해 $W^{1,4}_{\textrm{loc}}$ 정규성을 가지며, 무한대에서의 허용성 특성이 $t \downarrow 0$에 따라 열악해진다.
• 속도장 $v$는 $\mathbb{R}^2 \times (0,\infty)$에서 $C^1_{\textrm{loc}}$이며, 양의 시간에서 개선된 정규성을 나타낸다.
• 스펙트럼 분석은 자기유사 연산자 $L_{\text{ss}}$에 대해 조르당 블록의 구조를 드러내며, 이는 비선형 분기와 비유일성 구성에 필수적이다.
• $L^2$ 노름의 코어티시티 편차는 $k \to \infty$일 때 $\frac{\ln(4k)}{\ln^2 k}$의 속도로 감소함을 확인하여, 선형화된 문제에서 중립 모드의 존재를 확인한다.