[論文レビュー] Remarks on the Extremal Functions for the Moser-Trudinger Inequality

Yu, ■ Xiang+2 more|arXiv (Cornell University)|Jan 1, 2006

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

ひとこと要約

この論文は、コンパクトなリーマン多様体に境界を伴うモーザー＝トゥードィンジャー不等式における極値関数が、パラメータ $\lambda$ が 1 に十分近い場合に達成可能であることを示している。また、de Figueiredo, do O, および Ruf が提起した、特定の条件下で鋭い定数の達成不可能性に関する予想に対して反例を提示している。

ABSTRACT

We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M| abla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k} {k!})dV,$$ can be attained, where $M$ is a compact manifold with boundary. This result gives a counter example to the conjecture of de Figueiredo, do \'o, and Ruf in their paper titled On a inequality by N.Trudinger and J.Moser and related elliptic equations (Comm. Pure. Appl. Math.,{\bf 55}:135-152, 2002).

研究の動機と目的

• 境界を伴うコンパクト多様体上におけるトゥードィンジャー＝モーザー不等式の鋭い定数の達成可能性を調査すること。
• $\lambda$ が 1 に近づく際の関数 $I(M,\lambda,m)$ の挙動を検討すること。
• $\lambda < 1$ の場合における極値関数の非達成性を主張した de Figueiredo, do O, および Ruf の予想に挑戦すること。
• モーザー＝トゥードィンジャー不等式における上界が達成される条件を確立すること。

提案手法

• Sobolev 空間 $H^{1,n}_0(M)$ 上で定義された関数 $I(M,\lambda,m)$ を、勾配の $L^n$-ノルムが 1 であるように分析すること。
• 指数関数的成長と切り捨てられたべき級数を含む関数の最大値の存在を調べるための変分法の適用。
• 臨界指数埋め込みにおけるコンパクト性の喪失を扱うための集中・コンパクトネスの原則の応用。
• $e^{\alpha_n |u|^{n/(n-1)}}$ の展開における剰余項の推定を行い、パラメータ $\lambda$ の影響を制御すること。
• 既知の鋭いトゥードィンジャー＝モーザー不等式と関数を比較し、達成可能性のための臨界閾値を特定すること。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で極値関数 $I(M,\lambda,m)$ が達成されるか？
• RQ2 de Figueiredo, do O, および Ruf の予想は $\lambda$ が 1 に近い場合にも成立するか？
• RQ3 パラメータ $\lambda$ が 1 に任意に近いとき、モーザー＝トゥードィンジャー不等式における上界は達成可能か？
• RQ4 切り捨てられた指数級数 $\lambda \sum_{k=1}^m \frac{|\alpha_n u|^{k}}{k!}$ は、関数の達成可能性にどのような役割を果たすか？

主な発見

• パラメータ $\lambda$ が 1 に十分近い場合、関数 $I(M,\lambda,m)$ は達成可能であり、この範囲で極値関数が存在することを示している。
• この結果は、de Figueiredo, do O, および Ruf が $\lambda < 1$ の場合に非達成性を主張した予想と直接的に矛盾している。
• 達成可能性の臨界閾値は $\lambda = 1$ の近くに位置しており、極値問題の挙動における鋭い転換を示唆している。
• パラメータ $\lambda$ が 1 に近い場合、切り捨てられた指数級数 $\lambda \sum_{k=1}^m \frac{|\alpha_n u|^{k}}{k!}$ が存在しても、達成可能性は妨げられない。