[論文レビュー] Extremal boundedness of a variational functional in point vortex mean field theory associated with probability measures

Takashi Suzuki, Ryo Takahashi+1 more|arXiv (Cornell University)|Dec 16, 2014

Fluid Dynamics and Turbulent Flows参考文献 16被引用数 5

ひとこと要約

本稿は、片側確率測度の下で点渦平均場理論におけるTrudinger-Moser型汎関数の極値有界性を確立し、残差測度が消える（$s=0$）とき、臨界パrameter $\lambda = \bar{\lambda}$ における汎関数の下界が有界のまま保たれることを証明する。主な結果は、$\alpha_{\min} > 1/2$ の条件下で、原子測度に対する既知の有界性を連続確率測度へ拡張するものであり、Y.Y. Liの推定の精密化されたバージョンと吹き上がり解析を用いる。

ABSTRACT

We study a variational functional of Trudinger-Moser type associated with one-sided Borel probability measure. Its boundedness at the extremal parameter holds when the residual vanishing occurs. In the proof we use a variant of the Y.Y. Li estimate.

研究の動機と目的

• 点渦平均場理論におけるTrudinger-Moser型汎関数が臨界パrameter $\lambda = \bar{\lambda}$ で有界であることを確立すること。
• 原子測度に対する既知の有界性結果を $[-1,1]$ 上の連続確率測度へ拡張すること。
• 最小化列の吹き上がり解析における残差消滅（$s=0$）の役割を調査すること。
• 非原子的確率測度に対して $\inf_{v\in E} J_{\bar{\lambda}}(v) > -\infty$ が成り立つ十分条件を同定すること。

提案手法

• 汎関数 $J_{\lambda}(v) = \frac{1}{2}\int_\Omega |\nabla v|^2 - \lambda \int_I \log\left(\int_\Omega e^{\alpha v}\right) {\cal P}(d\alpha)$ に関連するEuler-Lagrange方程式を分析する。
• $\lambda_k \uparrow \bar{\lambda}$ となる最小化列 $\{v_k\}$ を用い、濃縮・コンパクトネスの原理を用いてその吹き上がり挙動を研究する。
• 吹き上がり状態における汎関数の成長を制御するため、Y.Y. Li推定の変種を適用する。
• 関連する測度 $\nu_k$ の弱*極限が $\nu = s + \sum_{x_0 \in \mathcal{S}} n(x_0)\delta_{x_0}$ に収束することを確立し、$n(x_0) \geq 4\pi$ であることを示す。
• $s=0$（残差消滅）の条件を課すことにより、$\lambda = \bar{\lambda}$ における有界性を保証し、環状領域における漸近解析とスケーリング論法を用いる。
• 吹き上がり領域における対数Sobolev型推定と減衰推定を用い、汎関数内の積分項を制御する。

実験結果

リサーチクエスチョン

• RQ1 連続確率測度に対して、Trudinger-Moser型汎関数の下界が臨界パrameter $\lambda = \bar{\lambda}$ で有界のまま保たれる条件は何か？
• RQ2 関連する測度の弱*極限における残差消滅条件（$s=0$）は、$\lambda = \bar{\lambda}$ における汎関数の有界性を保証するか？
• RQ3 測度の台に下界が正であるという条件下で、原子測度に対する有界性結果を連続確率測度へ拡張できるか？
• RQ4 $\alpha_{\min} = \inf_{\alpha \in \text{supp}\, {\cal P}} \alpha$ のパラメータが、汎関数の有界性を決定づける役割を果たすか？

主な発見

• 関連する測度の弱*極限において残差測度が消える（すなわち $s=0$）場合、汎関数 $J_{\bar{\lambda}}(v)$ の下界が有界（$> -\infty$）に保たれる。
• $\alpha_{\min} > 1/2$ であると、残差消滅（$s=0$）が導かれるため、$\lambda = \bar{\lambda}$ における $J_{\bar{\lambda}}(v)$ の有界性が保証される。
• 原子測度に対しては $\lambda = \bar{\lambda}$ における有界性は既知であるが、本稿では $\alpha_{\min} > 1/2$ の下でその結果を連続測度へ拡張する。
• 証明は、Y.Y. Li推定の精密化されたバージョンと、吹き上がり領域における漸近解析に依拠している。
• 吹き上がり集合 $\mathcal{S}$ は有限であり、各吹き上がり点における質量は $n(x_0) \geq 4\pi$ を満たし、特異Liouville方程式の既知の結果と整合的である。
• 測度 $\cal P$ が連続であっても、$s=0$ が成立すれば $\lambda = \bar{\lambda}$ において汎関数は有界のまま保たれる。$\alpha_{\min} > 1/2$ であれば $s=0$ が保証される。