[論文レビュー] Inversion positivity and the sharp Hardy-Littlewood-Sobolev inequality

Rupert L. Frank, Élliott H. Lieb|arXiv (Cornell University)|Apr 27, 2009

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

ひとこと要約

本稿は、対角ケースにおける鋭いHardy-Littlewood-Sobolev（HLS）不等式の新しい証明を提示する。対称減少再配分に代えて、球面上の反転による共形変換における反転正性を用いる。最小化関数は $ f(x) = \alpha(\beta + |x - y|^2)^{-(2N - \lambda)/2} $ の形をとり、鋭い定数 $ \mathcal{H}_{N,\lambda,p,p} = \pi^{\lambda/2} \frac{\Gamma((N-\lambda)/2)}{\Gamma(N - \lambda/2)} \left( \frac{\Gamma(N)}{\Gamma(N/2)} \right)^{1 - \lambda/N} $ が得られる。これは $ N \geq 3 $、$ \lambda \geq N - 2 $、および $ N = 1,2 $ で $ \lambda < N $ の場合に有効である。

ABSTRACT

We give a new proof of certain cases of the sharp HLS inequality. Instead of symmetric decreasing rearrangement it uses the reflection positivity of inversions in spheres. In doing this we extend a characterization of the minimizing functions due to Li and Zhu.

研究の動機と目的

• 対称減少再配分に依存しない、対角ケースにおける鋭いHardy-Littlewood-Sobolev不等式の新しい証明を提供すること。
• 連続関数からの最小化関数の特徴付けを、有限Borel測度へと拡張し、その絶対連続性と明示的な関数形を確立すること。
• 平面における反射正性ではなく、球面上の反転における正性が、変分問題における対称性および極値性の性質を導くことができることを示すこと。
• LiとZhuの幾何的アプローチを統合・一般化し、HLS不等式の文脈で共形不変性と反転正性を用いること。

提案手法

• 球面上の反転および超平面における反射に関してHLS汎関数の共形不変性を用い、球体反転 $ \Theta_B $ に対して $ I_\lambda[f] = I_\lambda[\Theta_B f] $ を示す。
• 半球面上の反転を用いた反射正性を適用し、入れ子の領域における測度値を比較することで、単調性および対称性の性質を確立する。
• 球面反転 $ \Theta_{\tilde{B}}(B') \subset B $ を満たす半球 $ \tilde{B} $ の幾何的構成を用い、領域間の測度質量を比較可能にする。
• 径対称性および連続性の議論を用いて、最小化測度の密度 $ v $ が連続的かつ単調減少であることを示す。
• テイラー展開および反転対称性を用い、微分方程式 $ r_a^2 \partial_r v(a) + 2N|a|v(a) = 0 $ を導出し、その解が最小化関数の明示的形を与える。
• これらの共形変換に関して不変な測度は、定数を除き、密度 $ v(a) = C (r_0^2 + |a|^2)^{-N} $ のみであることを確立する。

実験結果

リサーチクエスチョン

• RQ1 対称減少再配分に依存せず、共形不変性および反射正性を用いて鋭いHLS不等式を証明できるか？
• RQ2 共形変換に関してHLS汎関数を最小化する関数の正確なクラスは何か？
• RQ3 平面における反射正性と球面上の反転正性は、極値関数を特徴付ける点でどのように異なるか？
• RQ4 連続関数に限らず、一般のBorel測度に対してもHLS不等式の最小化関数を特徴付けられるか？
• RQ5 対角HLS不等式における鋭い定数の正確な形は何か？そして幾何的・共形的手法によりどのように導出されるか？

主な発見

• 対角HLS不等式における鋭い定数は $ \mathcal{H}_{N,\lambda,p,p} = \pi^{\lambda/2} \frac{\Gamma((N-\lambda)/2)}{\Gamma(N - \lambda/2)} \left( \frac{\Gamma(N)}{\Gamma(N/2)} \right)^{1 - \lambda/N} $ であり、$ N \geq 3 $、$ \lambda \geq N - 2 $、および $ N = 1,2 $ で $ \lambda < N $ の場合に有効である。
• HLS不等式における等号成立は、$ f(x) = \alpha(\beta + |x - y|^2)^{-(2N - \lambda)/2} $ および $ g(x) = \alpha'(\beta + |x - y|^2)^{-(2N - \lambda)/2} $（$ \alpha, \alpha' \in \mathbb{C} $、$ \beta > 0 $、$ y \in \mathbb{R}^N $）である場合に限り成立する。
• 最小化関数がLebesgue測度に関して絶対連続であり、密度が $ v(x) = C (r_0^2 + |x|^2)^{-N} $ の形をとることを、反転対称性による径方向常微分方程式の解法から導出する。
• 反転に基づく比較および径方向極限を用いて、密度関数 $ v $ の連続性および微分可能性を確立する。
• このアプローチは測度へと拡張可能であり、関連する共形変換に関して不変な任意の有限Borel測度は、上記の密度を持つ絶対連続測度でなければならないことを示す。
• 本手法により、移動平面を用いるのではなく、移動球面と球面上の反射正性を用いた、極値関数の新しい幾何的特徴付けが得られる。