[論文レビュー] Equivalent Moser type inequalities in R2 and the zero mass case

Daniele Cassani, Federica Sani+1 more|arXiv (Cornell University)|Feb 10, 2014

Nonlinear Partial Differential Equations参考文献 29被引用数 6

ひとこと要約

本稿は、$\mathbb{R}^2$ における臨界定数型モーザー不等式（ルフの不等式）と、アダチ・タナカ不等式の改善された超臨界定数版との等価性を確立し、両者が達成可能かつ鋭いことを証明する。さらに、同型空間 $\mathcal{D}^{1,2}(\mathbb{R}^2)$ における最適なローレンツ＝ジーゲンンド不等式を導出し、明示的な極値を提示するとともに、非有界領域における古典的トゥリディンガー＝モーザー不等式を統一する。

ABSTRACT

We first investigate concentration and vanishing phenomena concerning Moser type inequalities in the whole plane which involve complete and reduced Sobolev norms. In particular we show that the critical Ruf inequality is equivalent to an improved version of the subcritical Adachi-Tanaka inequality which we prove to be attained. Then, we consider the limiting space $\mathcal{D}^{1,2}(\mathbb{R}^2)$, completion of smooth compactly supported functions with respect to the Dirichlet norm $\| abla\cdot\|_2$, and we prove an optimal Lorentz-Zygmund type inequality with explicit extremals and from which can be derived classical inequalities in $H^1(\mathbb{R}^2)$ such as the Adachi-Tanaka inequality and a version of Ruf's inequality.

研究の動機と目的

• トゥリディンガー＝モーザー不等式の臨界定数的性質を、局在化、消滅、コンパクト性の欠如の分析を通じて $\mathbb{R}^2$ で明確化すること。
• アダチ・タナカ不等式の超臨界定数版が改善可能であり、ルフの臨界定数不等式と等価であることを証明すること。
• 同型空間 $\mathcal{D}^{1,2}(\mathbb{R}^2)$ における最適なローレンツ＝ジーゲンンド型不等式を、明示的な極値とともに確立すること。
• 非有界領域における古典的不等式（アダチ・タナカおよびルフの不等式）を、限界空間 $\mathcal{D}^{1,2}(\mathbb{R}^2)$ を通じて統一する枠組みを構築すること。

提案手法

• $L^2$ 範数とディリクレノルムを含むモーザー型不等式における $\mathbb{R}^2$ における局在化と消滅現象を分析する。
• [35] からのスケーリング不変性とコンパクト性の議論を用いて、極値が局在化や消滅のレベルを避けることを示す。
• 関数の $L^2$-ノルムとディリクレノルムが有界である制限のもとで、アダチ・タナカ不等式の改善版を導出する。
• スケーリング性質 $J_\beta(u) = \tau J_\beta(u_\tau)$ を適用して、異なるノルムを持つ不等式を関連付け、等価性を証明する。
• 修正された指数関数 $\phi_p(t) = \sum_{j \geq p/2} \frac{t^j}{j!}$ を用いて、 $\mathcal{D}^{1,2}(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$ における限界不等式を構成する。
• 上界が有限であり、極値によって達成されることを示すことにより、改善された不等式の鋭さと達成可能性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ルフの臨界定数モーザー不等式（$\mathbb{R}^2$ において）は、アダチ・タナカ不等式の改善された超臨界定数版と等価であるか？
• RQ2 $L^2$-ノルムが有界である場合、アダチ・タナカ枠組みにおいて臨界定数閾値 $\beta = 4\pi$ が達成可能か？
• RQ3 限界空間 $\mathcal{D}^{1,2}(\mathbb{R}^2)$ における最適なトゥリディンガー＝モーザー型不等式は何か？ また、その極値は明示的に構成可能か？
• RQ4 対称性およびコンパクト性の欠如（局在化、消滅）は、これらの不等式の達成可能性にどのように影響するか？
• RQ5 $H^1(\mathbb{R}^2)$ における古典的不等式は、 $\mathcal{D}^{1,2}(\mathbb{R}^2)$ において一様な枠組みで統一可能か？

主な発見

• アダチ・タナカ不等式は改善され、 $\delta \in [0,1)$ に対して $\beta < 4\pi(1 - \delta)^{-2}$ の下で、ルフの臨界定数不等式と等価であることが示された。
• 改善された不等式 (1.5) は、すべての $\beta < 4\pi(1 - \delta)^{-2}$ に対して達成可能であり、上界は有限であり、局在化や消滅を避ける極値によって達成される。
• $\u0002\mathcal{D}^{1,2}(\mathbb{R}^2)$ における最適なローレンツ＝ジーゲンンド不等式が導出され、鋭い定数 $C(\beta, \delta, K)$ は明示的に有界であり、極値が構成された。
• 臨界定数ケース $\beta = 4\pi$ は、アダチ・タナカ枠組みにおいて上界が無限大に発散する閾値であることが示され、その臨界定数的性質が確認された。
• スケーリングとコンパクト性の議論により、改善されたアダチ・タナカ不等式とルフの不等式の等価性が確立され、両者が鋭くかつ達成可能であることが示された。
• $\u0002\mathcal{D}^{1,2}(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$ において $p \geq 1$ に対して不等式 $\int_{\mathbb{R}^2} \phi_p(4\pi u^2) \, dx \leq C_p \|u\|_p^p$ が成り立ち、既知の結果が限界空間へ拡張された。