[論文レビュー] Moser-Trudinger and Beckner-Onofri's inequalities on the CR sphere

Thomas Branson, Luigi Fontana+1 more|arXiv (Cornell University)|Dec 23, 2007

Holomorphic and Operator Theory参考文献 40被引用数 10

ひとこと要約

本稿は、CR球面上のサブラプラシアンの累乗およびCR-正則調和関数に対するスペクトル的に定義された作用素に対するアダムスタイプの不等式を導出することにより、CR球面上の鋭いモーザー＝トゥリーディンガーおよびベイクナー＝オノフリ不等式を確立する。ヘイゼンベルク群およびCR球面上の相互作用作用素と等長変換不変性を用いて、ベイクナー＝オノフリ不等式における最良定数を証明し、これにより鋭い対数型ハーディー＝リトルウッド＝ソボレフ不等式が得られる。

ABSTRACT

We derive sharp Moser-Trudinger inequalities on the CR sphere. The first type is in the Adams form, for powers of the sublaplacian and for general spectrally defined operators on the space of CR-pluriharmonic functions. We will then obtain the sharp Beckner-Onofri inequality for CR-pluriharmonic functions on the sphere, and, as a consequence, a sharp logarithmic Hardy-Littlewood-Sobolev inequality in the form given by Carlen and Loss.

研究の動機と目的

• CR球面上のサブラプラシアンの累乗に対する鋭いアダムスタイプの不等式を導出すること。
• CR球面上のCR-正則調和関数に対する鋭いベイクナー＝オノフリ不等式を確立すること。
• ベイクナー＝オノフリの結果を用いて、鋭い対数型ハリー＝リトルウッド＝ソボレフ不等式を導出すること。
• 既知のユークリッド的およびリーマン的ソボレフ不等式を、CR球面の部分リーマン的設定へと拡張すること。
• ヘイゼンベルク群上の等長変換不変性およびスペクトル論を用いて、極値関数および最良定数を特徴付けること。

提案手法

• ケイリー変換を介してヘイゼンベルク群とCR球面間の相互作用作用素を用いる。
• 球面調和関数およびゾーナル調和関数を用いて、CR球面上のサブラプラシアンおよびその累乗のスペクトル論を適用する。
• 条件付き相互作用作用素を構成し、等長変換の下での不変性を証明する。
• CR球面上の作用素の$L^2$-推定における交換子を制御するために、デイヴィッド＝ジュルンの$T1$定理を用いる。
• Riesz核および$S^{2n+1}$上の体積正規化を用いて、相互作用作用素の基本解を導出する。
• 等長変換不変性および双対性を適用し、鋭いモーザー＝トゥリーディンガー不等式と対数型ハリー＝リトルウッド＝ソボレフ不等式を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 CR球面上のCR-正則調和関数に対するモーザー＝トゥリーディンガー不等式における最良定数は何か？
• RQ2 一般のスペクトル的作用素に対して、サブラプラシアンのアダムスタイプの不等式はどのようにCR球面へと拡張可能か？
• RQ3 CR球面上のベイクナー＝オノフリ不等式の正確な形は何か？また、対数型ハリー＝リトルウッド＝ソボレフ不等式とどのように関係するか？
• RQ4 ヘイゼンベルク群およびCR球面上の相互作用作用素は、鋭い幾何学的不等式の導出をどのように支援するか？
• RQ5 等長変換不変性は、これらの不等式における極値関数および最良定数の特徴付けにおいて、どのように役立つか？

主な発見

• 本稿は、指数関数的埋め込みにおける最良定数$\alpha_d$を伴い、CR球面上のCR-正則調和関数に対する鋭いモーザー＝トゥリーディンガー不等式を確立する。
• 鋭いベイクナー＝オノフリ不等式がCR球面上で証明され、これはカルレンとロスの形での鋭い対数型ハリー＝リトルウッド＝ソボレフ不等式に等価である。
• 不等式$\int_{S^{2n+1}} \exp\big[\alpha_d \big( \frac{|F|}{\|B_d F\|_p} \big)^{p'} \big] \leq c_0$における最良定数が最適であり、明示的に決定されていることが示された。
• 相互作用作用素$\mathcal{A}_d$の基本解は、$c_d^{-1} d(\zeta,\eta)^{d-Q}$として導出され、$c_d$はガンマ関数と関連している。
• 相互作用作用素$\mathcal{A}_d$が固有値$\lambda_j(d)\lambda_k(d)$を持つこと、および$c_d \mathcal{B}_d$の逆作用素であることが示され、等長変換不変性が保存されている。
• 証明は、$T1$定理による交換子の制御を用いた$L^2$-推定に依拠しており、CR球面が同次型空間としての作用素の有界性を保証する。