[論文レビュー] Extremals for Logarithmic Hardy-Littlewood-Sobolev inequalities on compact manifolds

Kate Okikiolu|ArXiv.org|Mar 30, 2006

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

ひとこと要約

本稿は、正則化された逆共形的共変作用素のトレースを解析することにより、コンパクトなリーマン多様体上での対数型 Hardy-Littlewood-Sobolev（log-HLS）不等式の極値条件を確立する。ラプラシアン・ベルトラミー作用素またはGJMS作用素の逆作用素のトレースの最小値は、ロビン質量が定数である場合、またはトレースが球面の場合と等しくない場合、その値が球面のものと等しい場合に達成されることが示された。

ABSTRACT

For a closed connected surface with a metric g, we consider the regularized trace of the inverse of the Laplace-Beltrami operator. We minimize this on the class of smooth metrics conformal to g having the same area, and show that the infimum is less than or equal to the value for the round sphere of the same area, and if it is equal, then it is attained. In fact we prove the analogs of these results for general dimensional compact manifolds. Explicitly, the results are logarithmic Hardy-Littlewood-Sobolev inequalites. By duality they give analogs of the Onofri-Beckner theorem.

研究の動機と目的

• コンパクト多様体上での逆共形的共変作用素の正則化トレースの最小化者を特定すること。
• 球面を越えて一般のコンパクトリーマン多様体へ、鋭いlog-HLS不等式およびベッカー型不等式を拡張すること。
• スペクトル不変量（トレースおよびゼータ正則化トレース）と幾何的極値性の関係を明確にすること。
• 共形類上でのトレース関数の最小化者が、定数ロビン質量を持つ計量によって達成されるのはどのような場合かを特定すること。
• 共形幾何およびスペクトル理論を用いて、OnofriおよびBeckner不等式を高次元コンパクト多様体へ一般化すること。

提案手法

• ロジスティック的特異性を除去した後、グリーン関数 $ G(x,x) $ の有限部としてロビン質量 $ m(x) $ を定義する。
• 正則化トレース $ \operatorname{trace}\Delta_g^{-1} = \int_M m\,dV $ を導入し、これはゼータ正則化トレースと普遍定数の違いを除いて等価なスペクトル不変量である。
• 作用素 $ A $ が次数 $ n $ で共形不変である（$ A_{F^{2/n}g} = F^{-1}A_g $）ことを利用して、共形変換下でのトレースの振る舞いを解析する。
• 体積が固定された共形類上での $ \operatorname{trace}\Delta_g^{-1} $ の最小化に変分法を適用する。
• 双対性を用いて、log-HLS不等式とトレース関数を関係づけ、恒等式 $ \operatorname{trace}\square_{F^{2/n}g}^{-1} - \operatorname{trace}\square_g^{-1} = \frac{2}{n!}\int F\log F\,d\sigma - \int F\square^{-1}F\,d\sigma $ を用いる。
• 核 $ K(A^{-s},p,p) $ の漸近展開を用いて、正則化トレースとゼータ正則化トレースの間の異常を計算し、その差が $ n $ および $ \Gamma $-関数に依存する定数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクト多様体上の共形類において、逆ラプラシアン・ベルトラミー作用素またはGJMS作用素の正則化トレースが最小化される条件は何か？
• RQ2 共形類上でのトレース関数の最小化者が、定数ロビン質量を持つ計量によって達成されるのはいつか？
• RQ3 逆共形的共変作用素のトレースは、鋭い対数型 Hardy-Littlewood-Sobolev 不等式とどのように関係するか？
• RQ4 共形的共変作用素 $ A $ に対して、$ A^{-1} $ の正則化トレースとゼータ正則化トレースの正確な差は何か？
• RQ5 スペクトル的および共形的不変量を用いて、BecknerおよびOnofri不等式を高次元コンパクト多様体へ一般化できるか？

主な発見

• 共形類 $ \Gamma $ 内の適切な $ g $ に対して $ \operatorname{trace}\Delta_g^{-1} < \operatorname{trace}\Delta_{S^n,V}^{-1} $ が成り立つ場合、$ \Gamma $ 上での $ \operatorname{trace}\Delta^{-1} $ の最小値は、定数ロビン質量を持つ計量によって達成される。
• それ以外の場合は、最小値は正確に $ \operatorname{trace}\Delta_{S^n,V}^{-1} $ であり、これは球面計量によって達成される。
• 正則化トレースとゼータ正則化トレースの差は普遍定数である：$ \operatorname{trace}A^{-1} - \operatorname{trace}_\zeta A^{-1} = C(s)\big|_{\text{f.p.}}^{s=1} \cdot V $、ここで $ C(s) $ は $ \Gamma $-関数および $ \Gamma'(1) $ を含む。
• 核正則化における異常 $ c(p) $ は $ C(s)\big|_{\text{f.p.}}^{s=1} = \frac{1}{(4\pi)^{n/2}\Gamma(n/2)}\left(2\log 2 + \Gamma'(1) + \frac{\Gamma'(n/2)}{\Gamma(n/2)}\right) $ で与えられる。
• 鋭い log-HLS 不等式 (1.1) は、固定体積を持つすべての共形計量の中で $ \operatorname{trace}\square^{-1} $ を最小化するという主張と同値である。
• Beckner 不等式 (1.2) は log-HLS 不等式の双対であり、$ \square $ の行列式の変分原理として解釈され、Polyakov-Ray-Singer の公式が高次元作用素へ一般化される。