[論文レビュー] Symmetry in stationary and uniformly-rotating solutions of active scalar equations

Javier Gómez-Serrano, Jaemin Park+2 more|arXiv (Cornell University)|Aug 5, 2019

Navier-Stokes equation solutions参考文献 64被引用数 19

ひとこと要約

この論文は、鋭い角速度の境界のもとで、2次元Euler方程式および一般化された表面準地軸的流体（gSQG）方程式の定常解および一様に回転する解の回転対称性を確立する。変分法のアプローチを用いて、2次元Euler方程式の滑らかでコンパクトに台を持つ非負の渦度解が回転対称であることを証明し、2次元Euler方程式およびgSQG方程式のすべての一様に回転するパッチが、角速度Ω ≤ 0 または Ω ≥ 1/2（2次元Euler方程式の場合）または Ω ≥ Ωₐ（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.

研究の動機と目的

• アクティブスカラー方程式における一様に回転するパッチの回転対称性に関する未解決問題を解消すること。
• 一様に回転するパッチが回転対称である必要がある角速度Ωの鋭い境界を確立すること。
• 分数ラプラシアンに関する過剰決定問題についての疑問を解決すること。これは独立した興味を持つ可能性がある。
• 支持集合の連結性を仮定しない2次元Euler方程式およびgSQG方程式における滑らかでパッチ解の両方の対称性結果を提供すること。

提案手法

• 解の対称性を分析するために、変分法の枠組みが用いられる。
• 解析は、バイオ・サバール則から導かれる積分方程式に依存している：パッチに対して、$1_D * K_\alpha - \frac{\Omega}{2}|x|^2 \equiv C_i$ が $\partial D$ 上で成り立つ。
• gSQG方程式の場合、単純に連結なパッチを仮定し、核 $K_\alpha(x) = -C_\alpha |x|^{-\alpha}$ を $\alpha \in (0,2)$ に対して用いる。
• 証明は、比較論的議論およびベータ関数とガンマ関数の性質を用いて、$\Omega$ に対する鋭い境界を導出する。
• レベル集合の連結性に関する仮定を避けるために、背理法と変分的特徴付けを用いて対称性を確立する。
• 解析には、回転するパッチと円板との対称差に関する定量的推定が含まれる。

実験結果

リサーチクエスチョン

• RQ1 2次元Euler方程式またはgSQG方程式における一様に回転するパッチが、どのような条件下で回転対称である必要があるか。
• RQ2 対称性が保証される角速度Ωの鋭い閾値は存在するか。
• RQ3 支持集合の連結性を仮定しない滑らかでコンパクトに台を持つ非負の渦度解に対し、回転対称性を証明できるか。
• RQ4 α ∈ (0,2) であるgSQG方程式において、パッチの対称性結果は拡張可能か。その鋭い境界は何か。
• RQ5 この枠組みを用いて、分数ラプラシアンに関する過剰決定問題は解けるか。

主な発見

• 滑らかでコンパクトに台を持つ非負の渦度解は、支持集合やレベル集合の連結性にかかわらず、2次元Euler方程式においては常に回転対称である。
• 2次元Euler方程式において、Ω ≤ 0 または Ω ≥ 1/2 を満たすすべての一様に回転するパッチは回転対称であり、両方の境界は鋭い。
• α ∈ (0,1) であるgSQG方程式において、単純に連結なパッチがΩ ≤ 0 または Ω ≥ Ωₐ を満たす場合、回転対称であり、Ωₐは鋭い閾値である。
• 本論文は、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] で提起された分数ラプラシアンに関する過剰決定問題を、同じ変分的枠組みを用いて解決する。