[論文レビュー] The Moser-Trudinger-Onofri inequality

Jean Dolbeault, Maria J. Esteban+1 more|Mar 20, 2014

Nonlinear Partial Differential Equations参考文献 27被引用数 4

ひとこと要約

本稿は2次元におけるMoser-Trudinger-Onofri不等式について包括的な分析を提供し、高次元におけるSobolev不等式と同等の鋭い関数不等式であることを確立する。質量輸送、対称性と対数型Hardy-Littlewood-Sobolev不等式の双対性、およびcarré du champ法に基づく非線形フローを用いた新しい証明が導入され、積分型剰余項が得られ、球面および関連する空間における剛性とエントロピー・エントロピー生成率の議論によって最適性が証明される。

ABSTRACT

This paper is devoted to results on the Moser-Trudinger-Onofri inequality, or Onofri inequality for brevity. In dimension two this inequality plays a role similar to the Sobolev inequality in higher dimensions. After justifying this statement by recovering the Onofri inequality through various limiting procedures and after reviewing some known results, we state several elementary remarks. We also prove various new results. We give a proof of the inequality using mass transportation methods (in the radial case), consistently with similar results for Sobolev's inequalities. We investigate how duality can be used to improve the Onofri inequality, in connection with the logarithmic Hardy-Littlewood-Sobolev inequality. In the framework of fast diffusion equations, we establish that the inequality is an entropy--entropy production inequality, which provides an integral remainder term. Finally we give a proof of the inequality based on rigidity methods and introduce a related nonlinear flow.

研究の動機と目的

• 2次元におけるSobolev不等式の鋭い類似物としてOnofri不等式を、複数の極限および変換手続きを通じて確立すること。
• 径対称の場合における質量輸送法を用いた新証明を提供し、Sobolev不等式に既知の手法と整合することを確認すること。
• Onofri不等式と対数型Hardy-Littlewood-Sobolev不等式との双対性を活用し、不等式の鋭さを高めること。
• 速い拡散方程式の文脈においてOnofri不等式をエントロピー・エントロピー生成率不等式として解釈し、積分型剰余項を導出すること。
• carré du champ法に基づく非線形フローを導入し、極値関数を特徴づけ、均衡への収束を用いて不等式を証明すること。

提案手法

• 立体射影とEmden-Fowler変換を用いて、ユークリッド平面、球面、円筒上のOnofri不等式の等価性を確立する。
• 径対称の場合に質量輸送技術を応用し、不等式を導出する。Sobolev不等式に用いられる手法の拡張である。
• 対数型Hardy-Littlewood-Sobolev不等式による双対性を活用し、Onofri不等式の精錬と改善を図る。
• 球面上に速い拡散方程式を定式化し、Onofri不等式が剰余項を含むエントロピー・エントロピー生成率不等式として現れることを示す。
• 球面上の非線形発展方程式を導入する：∂f/∂t = Δ(e^{-f/2}) - (1/2)|∇f|² e^{-f/2}。この方程式は関数を均衡状態へと駆り立てる。
• carré du champ法を用いて非負の二次形式Rλ[f]を定義し、関数Gλの減衰を定量化することで、不等式における積分型剰余項を導出する。

実験結果

リサーチクエスチョン

• RQ1 径対称の場合に、質量輸送を用いてMoser-Trudinger-Onofri不等式をどのように導出できるか。
• RQ2 対数型Hardy-Littlewood-Sobolev不等式との双対性は、Onofri不等式のどの点をどのように改善するか。
• RQ3 Onofri不等式は、速い拡散方程式の枠組みにおいてエントロピー・エントロピー生成率不等式として解釈可能か。
• RQ4 carré du champ法によって定義された非線形フローは、不等式の証明および極値関数の特徴づけにおいて果たす役割は何か。
• RQ5 対称化と剛性の手法は、不等式の一意性と鋭さの証明にどのように寄与するか。

主な発見

• 径対称の場合に質量輸送を用いたOnofri不等式の証明が得られ、Sobolev不等式に既知の手法と直接的な関連が確立された。
• 対数型Hardy-Littlewood-Sobolev不等式との双対性により、特に鋭い定数の文脈でOnofri不等式が改善可能であるメカニズムが得られた。
• 不等式は、球面上の速い拡散方程式に対してエントロピー・エントロピー生成率不等式として等価であり、明示的な積分型剰余項を有することが示された。
• 方程式 ∂f/∂t = Δ(e^{-f/2}) - (1/2)|∇f|² e^{-f/2} に従う球面上の非線形フローは、初期データを均衡状態へと駆り立てる。関数Gλの減衰は、非負の汎関数Rλ[f]によって定量化される。
• carré du champ法により非負の剰余項Rλ[f]が得られ、不等式は時間積分 ∫₀^∞ Rλ[f(t)] dt を用いて dGλ/dt = -Rλ[f] を統合することで証明される。この結果、Gλ[v] ≥ ∫₀^∞ Rλ[f(t)] dt が成立する。
• 任意の λ ∈ (0,1] に対して、t → ∞ の極限で等号が成立し、密度および下半連続性の議論により、一般の L¹ ∩ H¹ 関数へと拡張可能である。