[論文レビュー] Extremal functions for Trudinger-Moser inequalities of Adimurthi-Druet type in dimension two

Yunyan Yang|arXiv (Cornell University)|Jan 1, 2015

Nonlinear Partial Differential Equations参考文献 28被引用数 5

ひとこと要約

本稿は、2次元の有界領域 ℝ² およびコンpakトなリーマン多様体面上で、Adimurthi-Druet 型のTrudinger-Moser不等式に対する極値関数の存在を確立する。Carleson-Chang の集中・コンパクト性フレームワークと爆発解析を組み合わせることで、ユークリッド空間ではすべての α < λ₁(Ω) および多様体上では α < λ₁(Σ) の下で、これらの不等式における上界が達成されることを証明し、長年の未解決であったこの鋭い指数的 Trudinger-Moser 設定における存在問題を解決する。

ABSTRACT

Combining Carleson-Chang's result with blow-up analysis, we prove existence of extremal functions for certain Trudinger-Moser inequalities in dimension two. This kind of inequality was originally proposed by Adimurthi and O. Druet, extended by the author to high dimensional case and Riemannian surface case, generalized by C. Tintarev to wider cases including singular form and by M. de Souza and J. M. do Ó to the whole Euclidean space R^2. In addition to the Euclidean case, we also consider the Riemannian surface case. The results in the current paper complement that of L. Carleson and A. Chang, M. Struwe, M. Flucher, K. Lin, and Adimurthi-Druet, our previous ones, and part of C. Tintarev.

研究の動機と目的

• 2次元ユークリッド空間 ℝ² における Adimurthi-Druet 型 Trudinger-Moser 不等式の極値関数の存在を確立すること。
• 境界のないコンパクトなリーマン多様体面上への存在結果の拡張を行い、同じ鋭い条件 α < λ₁(Σ) の下で上界が達成されることを証明すること。
• 非線形性が関数の L² ノルムに依存する臨界ケースにおいて、これらの鋭い Trudinger-Moser 不等式における上界が達成されるかどうかという未解決問題を解消すること。
• Carleson-Chang や Adimurthi-Druet、de Souza-do Ó の先行研究を統合・一般化し、低次元における Trudinger-Moser 不等式の極値関数に関する結果を体系化すること。
• 爆発解析と変分法を用いた厳密な存在証明を提示し、極限ケースにおける以前の達成不能結果を補完すること。

提案手法

• Carleson-Chang の集中・コンパクト性アプローチと爆発解析を組み合わせ、最大化列の挙動を研究する。
• 原点での質量損失を避けるために、最初の ℓ 個の固有関数の直交補空間 Eₗ⊥ におけるテスト関数列 φₙ* を構成する。
• 爆発点 p の近傍における爆発プロファイルを、グリーン関数 G と対数スケーリング R = –log ε を用いてモデル化する。
• 楕円型推定と L² ノルムの制御を用いて、正規化列 φₙ* が部分列に関して W¹,²(Σ) 上で強収束することを示す。
• もし上界が達成されないならば、∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²) という恒等式から矛盾を導く。
• 制約条件 ‖φₙ*‖₁,α = 1 および ∫Σ φₙ* dv_g = 0 を満たすようにテスト関数を正規化し、許容クラス内に位置させることで、適切なクラスに属することを保証する。

実験結果

リサーチクエスチョン

• RQ1 ℝ² 上の Adimurthi-Druet 型 Trudinger-Moser 不等式における上界は、すべての α < λ₁(ℝ²) に対して有限かつ達成可能か？
• RQ2 境界のないコンパクトなリーマン多様体 Σ 上で、鋭い Trudinger-Moser 不等式 ∫Σ e^{4πu²(1+α‖u‖₂²)} dv_g に対して極値関数を構成できるか？
• RQ3 関数の L² ノルムが指数非線形性の指数に影響を与える場合、最大化列はどのように振る舞うか？
• RQ4 最大化列の爆発挙動は、正規化と直交射影によって極値関数を抽出できるように制御可能か？
• RQ5 構築されたテスト列 φₙ* を用いた矛盾論法により、濃縮パラメータ cₙ が有界であることが示され、コンパクト性が得られるか？

主な発見

• ℝ² 上の Adimurthi-Druet 型 Trudinger-Moser 不等式における上界は、すべての α < λ₁(ℝ²) に対して達成され、以前の結果を許容可能な α の全範囲に拡張する。
• 境界のないコンパクトなリーマン多様体 Σ 上では、不等式 ∫Σ e^{4πu²(1+α‖u‖₂²)} dv_g における上界がすべての α < λ₁(Σ) に対して達成され、極値関数の存在が確認される。
• 極値関数は矛盾論法により得られる：上界が達成されないと仮定すると、∫Σ e^{4π(φₙ*)²} dv_g > Vol_g(Σ) + πe^{1+4πAₚ} を満たすテスト列 φₙ* が得られ、既知の上界と矛盾する。
• 爆発列 φₙ は、グリーン関数 G と対数スケーリング R = –log ε を用いて構成され、c² = O(–log ε) となるように設定され、指数項の正しい増加率を保証する。
• 正規化列 φₙ* = φ̃ₙ / ‖φ̃ₙ‖₁,α は制約条件 ‖φₙ*‖₁,α = 1 および ∫Σ φₙ* dv_g = 0 を満たし、Eₗ⊥ に属するため、ソボレフ空間内での収束が保証される。
• 上記の关键的不等式 ∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²) を用いることで、cₙ が無限大でない限り矛盾が生じ、コンパクト性と存在性が証明される。