[論文レビュー] Sobolev and Hardy-Littlewood-Sobolev inequalities: duality and fast diffusion

Jean Dolbeault|arXiv (Cornell University)|Mar 6, 2011

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿は、次の方程式の流れを用いて、$d \geq 3$ の次元におけるソボレフ不等式とハーディー＝リトルウッド＝ソボレフ不等式の双対性を確立する。$m = \frac{d-2}{d+2}$ である高速拡散方程式の流れを用い、汎関数 $\mathsf{H}_d[v]$ の時間発展を分析することで、$d \geq 5$ に対して明示的な余因子項を伴う改良されたソボレフ不等式を導出し、$d=2$ におけるオノフリの不等式に対しても、超高速拡散方程式を介して双対性枠組みを拡張する。

ABSTRACT

In the euclidean space, Sobolev and Hardy-Littlewood-Sobolev inequalities can be related by duality. In this paper, we investigate how to relate these inequalities using the flow of a fast diffusion equation in dimension $d\ge3$. The main consequence is an improvement of Sobolev's inequality when $d\ge5$, which involves the various terms of the dual Hardy-Littlewood-Sobolev inequality. In dimension $d=2$, Onofri's inequality plays the role of Sobolev's inequality and can also be related to its dual inequality, the logarithmic Hardy-Littlewood-Sobolev inequality, by a super-fast diffusion equation.

研究の動機と目的

• 非線形拡散フローを用いて、ソボレフ不等式とハリー＝リトルウッド＝ソボレフ不等式の間の動的双対性を確立すること。
• 高速拡散方程式の流れに沿って統合することで、明示的な余因子項を伴う改良されたソボレフ不等式を導出すること。
• 次元 $d=2$ における双対性枠組みの拡張。ここではオノフリの不等式がソボレフ不等式の役割を果たし、超高速拡散方程式を介して対数的ハリー＝リトルウッド＝ソボレフ不等式と結びつけること。
• 最近、カーレン、カリージョ、ロスによって提案されたガガリャルド＝ニレングラム不等式枠組みと、高速拡散アプローチとの関係を明確にすること。

提案手法

• 本稿は、$m = \frac{d-2}{d+2}$ である高速拡散方程式 $\frac{\partial v}{\partial t} = \Delta v^m$ を用い、汎関数 $\mathsf{H}_d[v] = \int v (-\Delta)^{-1}v \, dx - \mathsf{S}_d \|v\|_{L^{2d/(d+2)}}^2$ の時間発展を分析する。
• 時間微分 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v]$ を計算し、それが非負であることを示し、これによりソボレフ不等式とハリー＝リトルウッド＝ソボレフ不等式の差異とを結びつける。
• $u = v^m$ とおくことで、微分を $\|\nabla u\|_{L^2}^2$ と $\|u\|_{L^{2^*}}^2$ の形に書き直し、二つの不等式間の双対性を明らかにする。
• 特に $d \geq 5$ の場合、不等式をフローに沿って統合することで、余因子項を伴う改良されたソボレフ不等式が得られる。
• 次に $d=2$ の場合、$m=1/2$ である超高速拡散方程式を考察し、同様の汎関数 $\mathsf{H}_2[v]$ を用いてオノフリの不等式と対数的ハリー＝リトルウッド＝ソボレフ不等式を結びつける。
• 解析は、レジェンドル双対性の利用と、最適な余因子項を導出するためのバレンブラット自己相似解を漸近的プロファイルとして用いることに依存する。

実験結果

リサーチクエスチョン

• RQ1 非線形拡散フローを用いて、ソボレフ不等式とハリー＝リトルウッド＝ソボレフ不等式の間の双対性をどのように動的に実現できるか？
• RQ2 $m = \frac{d-2}{d+2}$ である高速拡散方程式が、明示的な余因子項を伴うソボレフ不等式の改良版を生成できるか？
• RQ3 バレンブラット自己相似解は、フローの漸近的挙動および最適な余因子項の導出において果たす役割は何か？
• RQ4 次元 $d=2$ における双対性枠組みはどのように拡張されるか？ここではオノフリの不等式がソボレフ不等式の役割を果たす。
• RQ5 なぜこの手法は直接的にオノフリの不等式の改良を生み出せないのか？その構造的障害は何か？

主な発見

• $d \geq 5$ の場合、高速拡散方程式 $m = \frac{d-2}{d+2}$ に沿って不等式 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v] \geq 0$ を統合することで、余因子項を伴う改良されたソボレフ不等式が導出される。
• 改良された不等式は、$q = \frac{d+2}{d-2}$ に対して $\mathsf{S}_d \|w^q\|_{L^{2d/(d+2)}}^2 - \int w^q (-\Delta)^{-1} w^q \, dx \leq \mathcal{C} \|w\|_{L^{2^*}}^2$ の形を取り、正の定数 $\mathcal{C}$ を含む。
• 汎関数 $\mathsf{H}_d[v]$ はフローに沿って非減少であり、$t \to \infty$ の極限で 0 に収束する。これは、ソボレフ不等式の結果としてハリー＝リトルウッド＝ソボレフ不等式の成立が示されることを意味する。
• ハリー＝リトルウッド＝ソボレフ不等式の極値関数は、高速拡散方程式の自己相似プロファイルとして回復される。
• $d=2$ の場合、汎関数 $\mathsf{H}_2[v]$ は超高速拡散フローに沿って非減少であり、オノフリの不等式が対数的ハリー＝リトルウッド＝ソボレフ不等式と結びつくことが示される。
• この手法は、高次元と同様にコーシー＝シュワルツ不等式を用いてエントロピー汎関数の2階微分を制御できないため、オノフリの不等式の直接的な改良を生み出せない。