[論文レビュー] A weighted Moser-Trudinger inequality and its relation to the Caffarelli-Kohn-Nirenberg inequalities in two space dimensions

Jean Dolbeault, Maria J. Esteban+1 more|arXiv (Cornell University)|Mar 29, 2007

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

ひとこと要約

本稿は、α > -1 であるパラメータ α を持つ ℝ² 上の重み付き Moser-Trudinger 不等式を確立し、すべての α > -1 に対して径対称関数では成立すること、一般関数では α ∈ (-1, 0] である場合に限り成立することを証明する。この不等式は、 blown-up 分析の下で Caffarelli-Kohn-Nirenberg 不等式の極限ケースとして生じ、2次元における Hardy-Sobolev 型不等式の極値関数における対称性の破れを明確に特定する。

ABSTRACT

We first prove a weighted inequality of Moser-Trudinger type depending on a parameter, in the two-dimensional Euclidean space. The inequality holds for radial functions if the parameter is larger than -1. Without symmetry assumption, it holds if and only if the parameter is in the interval (-1,0]. The inequality gives us some insight on the symmetry breaking phenomenon for the extremal functions of the Hardy-Sobolev inequality, as established by Caffarelli-Kohn-Nirenberg, in two space dimensions. In fact, for suitable sets of parameters (asymptotically sharp) we prove symmetry or symmetry breaking by means of a blow-up method. In this way, the weighted Moser-Trudinger inequality appears as a limit case of the Hardy-Sobolev inequality.

研究の動機と目的

• パラメータ α > -1 を持つ ℝ² 上の重み付き Moser-Trudinger 不等式を確立し、確率測度 dμα の族を用いて古典的不等式を一般化する。
• 径対称関数と非径対称関数の両方に対して、不等式が成立する条件を調査し、一般関数では α ∈ (-1, 0] が成立の鋭い閾値であることを同定する。
• パラメータの極限における blown-up 限界を用いて、重み付き Moser-Trudinger 不等式と Caffarelli-Kohn-Nirenberg 不等式を結びつける。
• パラメータの変動に伴う重み付き Moser-Trudinger 不等式の挙動を分析することで、Hardy-Sobolev 不等式の極値関数における対称性の破れを解明する。
• ステレオグラフィック写像と Emden-Fowler 変換を用いて、球面、ユークリッド空間、および円筒の間の幾何学的・解析的枠組みを構築し、3つの不等式形式の等価性を示す。

提案手法

• α > -1 に応じて変化する測度 dμα を持つ拡大されたステレオグラフィック射影を用いて、球面 S² を ℝ² に写像し、重み付き Moser-Trudinger 不等式を導出する。
• 径対称性と Emden-Fowler 変換を活用することで、α > -1 のとき、すべての径対称関数に対して 𝒟α 内で不等式が成立することを証明する。
• 対称性がなければ、不等式が 𝒟α 内で成立するのは α ∈ (-1, 0] の場合に限ることを、鋭い漸近解析と blown-up 技法を用いて示す。
• ケルビン変換と変数変換を用いて、球面 S²、ユークリッド空間 ℝ²、および円筒 ℂ における不等式の等価性を確立する。
• blown-up 分析を用いて、パラメータが臨界値に近づく極限において、重み付き Moser-Trudinger 不等式が Caffarelli-Kohn-Nirenberg 不等式と関係することを示す。
• 円筒モデルを用いて極値関数を分析し、α > 0 のとき角速度微分項が顕著になり、対称性の破れが生じることを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 α > -1 に対して、径対称性のないすべての関数が 𝒟α に属する場合、重み付き Moser-Trudinger 不等式が成立するのはどのような α の値か？
• RQ2 blown-up 手続きを用いたとき、重み付き Moser-Trudinger 不等式は Caffarelli-Kohn-Nirenberg 不等式のどの極限ケースとして生じるか？
• RQ3 パラメータ α は、Hardy-Sobolev 不等式の極値関数が径対称であるかどうかを決定づける役割を果たすか？
• RQ4 α > 0 の場合、径対称関数では成立するにもかかわらず、一般関数では不等式が成立しないのはなぜか？
• RQ5 球面、ℝ²、および円筒における3つの同等な表現は、極値関数における対称性の破れ現象をどのように反映しているか？

主な発見

• 重み付き Moser-Trudinger 不等式は、すべての径対称関数が 𝒟α に属する場合、かつその場合に限り α > -1 のとき成立する。
• 径対称性がない場合、不等式が 𝒟α に属する場合に限り α ∈ (-1, 0] であることが成立の鋭い閾値を示している。
• α > 0 のとき、円筒上のエネルギー関数の角速度微分項の存在により、一般には不等式が成立しない。
• Caffarelli-Kohn-Nirenberg 不等式の極値関数は、α > 0 のとき対称性の破れを示し、blown-up 限界において b > h(a) に対応する。
• パラメータが臨界値に近づく極限において、重み付き Moser-Trudinger 不等式は Caffarelli-Kohn-Nirenberg 不等式と等価であり、前者は後者の極限ケースとして生じる。
• 拡大されたステレオグラフィック写像と Emden-Fowler 変換を用いて、S²、ℝ²、および円筒 ℂ における不等式の等価性が確立され、測度 dμα とエネルギー関数が一貫して変換される。