[논문 리뷰] Symmetry in stationary and uniformly-rotating solutions of active scalar equations

Javier Gómez-Serrano, Jaemin Park외 2명|arXiv (Cornell University)|2019. 08. 05.

Navier-Stokes equation solutions참고 문헌 64인용 수 19

한 줄 요약

이 논문은 날카로운 각속도 한계 하에서 2D 올레르 및 일반화된 표면 기류지수 방정식(gSQG)의 정적 및 균일하게 도는 해에 대해 원형 대칭성을 확립한다. 변분법 접근을 통해 2D 올레르 방정식의 매끄럽고 컴act하게 지지된, 음이 아닌 비타스티티 해가 원형 대칭임을 증명하며, 2D 올레르 및 gSQG의 균일하게 도는 패치는 각속도 Ω ≤ 0 또는 Ω ≥ 1/2 (2D 올레르의 경우) 또는 Ω ≥ Ωₐ (gSQG의 경우)일 때 원형 대칭이 되며, 이 한계는 날카로운 것이다.

ABSTRACT

In this paper, we study the radial symmetry properties of stationary and uniformly-rotating solutions of the 2D Euler and gSQG equations, both in the smooth setting and the patch setting. For the 2D Euler equation, we show that any smooth stationary solution with compactly supported and nonnegative vorticity must be radial, without any assumptions on the connectedness of the support or the level sets. In the patch setting, for the 2D Euler equation we show that every uniformly-rotating patch $D$ with angular velocity $Ω\leq 0$ or $Ω\geq \frac{1}{2}$ must be radial, where both bounds are sharp. For the gSQG equation we obtain a similar symmetry result for $Ω\leq 0$ or $Ω\geq Ω_α$ (with the bounds being sharp), under the additional assumption that the patch is simply-connected. These results settle several open questions in [T. Hmidi, J. Evol. Equ., 15(4): 801-816, 2015] and [F. de la Hoz, Z. Hassainia, T. Hmidi, and J. Mateu, Anal. PDE, 9(7):1609-1670, 2016] on uniformly-rotating patches. Along the way, we close a question on overdetermined problems for the fractional Laplacian [R. Choksi, R. Neumayer, and I. Topaloglu, Arxiv preprint arXiv:1810.08304, 2018, Remark 1.4], which may be of independent interest. The main new ideas come from a calculus of variations point of view.

연구 동기 및 목표

• 활성 스칼라 방정식에서 균일하게 도는 패치의 원형 대칭성에 관한 미해결 문제를 해결하기 위해.
• 균일하게 도는 패치가 반드시 원형 대칭이 되는 데 필요한 각속도 Ω에 대한 날카로운 경계를 설정하기 위해.
• 분수 라플라스 연산자에 대한 과다조건 문제에 대한 질문을 해결하기 위해 — 이는 별개의 관심사가 있을 수 있음.
• 지지의 연결성 가정 없이 2D 올레르 및 gSQG 방정식에서 매끄럽고 패치 해에 대한 대칭성 결과를 제공하기 위해.

제안 방법

• 해의 대칭성 특성을 분석하기 위해 변분법 프레임워크를 사용한다.
• 분석은 비에트-사바르 법칙에서 유도된 적분방정식에 기반한다: 패치에 대해 $1_D * K_\alpha - \frac{\Omega}{2}|x|^2 \equiv C_i$ on $\partial D$.
• gSQG의 경우, 단순연결된 패치를 가정하고, $\alpha \in (0,2)$에 대해 커널 $K_\alpha(x) = -C_\alpha |x|^{-\alpha}$를 사용한다.
• 증명은 비교 논증과 베타 및 감마 함수의 성질을 이용하여 $\Omega$에 대한 날카로운 경계를 유도한다.
• 대칭성은 수렴에 의한 모순과 변분 특성화를 통해 증명되며, 수준 집합의 연결성에 대한 가정을 피한다.
• 분석에는 도는 패치와 원판 사이의 대칭 차이에 대한 정량적 추정이 포함된다.

실험 결과

연구 질문

• RQ1 2D 올레르 또는 gSQG 방정식에서 균일하게 도는 패치가 언제 반드시 원형 대칭이어야 하는가?
• RQ2 대칭이 보장되는 각속도 Ω에 대한 날카로운 경계가 존재하는가?
• RQ3 지지의 연결성 가정 없이, 매끄럽고 컴팩트하게 지지된, 음이 아닌 비타스티티 해에 대해 원형 대칭을 증명할 수 있는가?
• RQ4 α ∈ (0,2)인 gSQG 방정식으로서 패치의 대칭성 결과가 확장 가능한가? 그리고 그 날카로운 경계는 무엇인가?
• RQ5 이 프레임워크를 사용하여 분수 라플라스 연산자에 대한 과다조건 문제를 해결할 수 있는가?

주요 결과

• 2D 올레르 방정식의 매끄럽고 컴팩트하게 지지된, 음이 아닌 비타스티티 해는 지지 또는 수준 집합의 연결성과는 무관하게 반드시 원형 대칭이어야 한다.
• 2D 올레르 방정식의 경우, $\Omega \leq 0$ 또는 $\Omega \geq \frac{1}{2}$인 모든 균일하게 도는 패치는 원형 대칭이어야 하며, 두 경계 모두 날카로운 것이다.
• α ∈ (0,1)인 gSQG 방정식의 경우, $\Omega \leq 0$ 또는 $\Omega \geq \Omega_\alpha$인 단순연결된 균일하게 도는 패치는 원형 대칭이어야 하며, $\Omega_\alpha$는 날카로운 경계이다.
• 논문은 Hmidi [48]과 de la Hoz–Hassainia–Hmidi–Mateu [28]에서 제기한 균일하게 도는 패치에 관한 미해결 문제를 해결한다.
• 정량적 추정이 도출된다: 면적이 $\pi$인 단순연결된 패치가 $\Omega \in (0, \Omega_\alpha)$로 도는 경우, 그 패치와 단위 원판 사이의 대칭 차이는 $|D \triangle B| \leq 2\pi\left(\left(\frac{\Omega_\alpha}{\Omega}\right)^{2/\alpha} - 1\right)$를 만족한다.
• 논문은 [22, Remark 1.4]에서 제기된 분수 라플라스 연산자에 대한 과다조건 문제를 동일한 변분 프레임워크를 사용하여 해결한다.