[論文レビュー] Multilinear Embedding and Hardy's Inequality

William Beckner|arXiv (Cornell University)|Nov 26, 2013

Advanced Harmonic Analysis Research参考文献 17被引用数 6

ひとこと要約

本稿は、ハーディーの不等式とヤングの畳み込み不等式を一般化することで、双曲空間上におけるハーディー＝リトルウッド＝ソボレフ不等式のための新しい多変数フレームワークを確立し、鋭鋭な多変数埋め込み不等式を確立した。Brascamp-Lieb-Luttinger再配分とフーリエ解析を用いた新しい証明がなされ、ガウス型極値関数と自己同型対称性を用いて明示的な鋭鋭な定数が導出された。多変数スタイン＝ヴァイスの分数階積分と極値関数の特徴付けへの応用がなされた。

ABSTRACT

Multilinear trace restriction inequalities are obtained for Hardy's inequality. More generally, detailed development is given for new multilinear forms for Young's convolution inequality, and a new proof for the multilinear Hardy-Littlewood-Sobolev inequality, and its realization on hyperbolic space.

研究の動機と目的

• 高次元におけるハーディーの不等式とヤングの畳み込み不等式の多変数拡張を構築すること。
• 幾何学的および関数解析的技法を用いて、双曲空間上における多変数ハリー＝リトルウッド＝ソボレフ不等式の新しい証明を与えること。
• 径数減少再配分とガウス型試行関数を用いて、多変数埋め込み不等式における鋭鋭な定数を特定すること。
• 自己同型対称性とヘリー選択の法則を用いて、多変数スタイン＝ヴァイスの分数階積分に対する極値関数の存在と形を確立すること。
• 双対性、フーリエ変換、およびハウスドルフ＝ヤング不等式の枠組みを用いて、多変数畳み込み不等式の解析を統一すること。

提案手法

• 多変数畳み込みを径数減少関数に還元するために、Brascamp-Lieb-Luttinger再配分不等式を適用し、不等式の改善を図る。
• 双対性を用いて、多変数作用素 $ H \in L^p(\mathbb{R}^{mn}) \rightsquigarrow F \in L^q(\mathbb{R}^n) $ を $ L^{q'}(\mathbb{R}^n) $ 上の有界作用素として再定式化し、畳み込みにおけるヤングの不等式に帰着させる。
• フーリエ変換を用いて、不等式を双対形で表現する：$ \left| \hat{h} \right|^2 * \prod |\hat{g}_k|^2 (0) \leq C^2 \left[ \|h\|_{L^{q'}} \prod \|g_k\|_{L^{s_k}} \right]^2 $ となり、ハウスドルフ＝ヤングと関連づけられる。
• 変分法を用いて、ガウス関数 $ g_k(x) = a_k^{n/2} e^{-\pi a_k x^2} $ の最適化により鋭鋭な定数 $ C $ を導出する。$ \prod a_\ell^{\lambda_\ell} / \sum a_\ell $ の最大化を試みる。
• ルステルニク法を用いて、関数を等積径数減少形へ逐次再配分し、極値構成への収束を保証する。
• 自己同型不変性と双曲的距離 $ d(w, \hat{0}) $ を用いて、$ \mathbb{H}^n $ 上のハリー＝リトルウッド＝ソボレフ不等式の極値関数が径数的であることを示し、$ f_\#(x) = A(1 + |x|^2)^{-n/p} $ を得る。

実験結果

リサーチクエスチョン

• RQ1 $ m $ 重畳み込みと対角トレース制限を伴う多変数埋め込み不等式における鋭鋭な定数は何か？
• RQ2 径数減少再配分とガウス関数は、多変数ヤング型不等式における最適定数をどのように決定するか？
• RQ3 自己同型対称性は、双曲空間上における多変数ハリー＝リトルウッド＝ソボレフ不等式の極値関数を特徴付ける際に果たす役割は何か？
• RQ4 再配分と双対性の技法を用いて、多変数スタイン＝ヴァイスの分数階積分不等式を鋭鋭な定数で証明できるか？
• RQ5 シリンダ的対称性と径数的対称性の相互作用は、極値関数を $ f(x) = A(1 + |x|^2)^{-n/p} $ の形に強制する仕組みは何か？

主な発見

• 多変数埋め込み不等式における鋭鋭な定数は $ C = \left[ 2^{-m} (q')^{2/q'} \prod_{k=1}^m s_k^{2/s_k} \prod_{\ell=0}^m \lambda_\ell^{\lambda_\ell} \right]^{n/4} $ で与えられ、$ \lambda_0 = 1 - 2/q $、$ \lambda_k = 1 - 2/s_k' $、$ \sum \lambda_\ell = 1 $ を満たす。
• 多変数不等式の極値関数は積関数ではない。$ m=2 $ の場合、$ e^{-\alpha_1 y_1^2} e^{-\alpha_2 y_2^2} e^{-\beta (y_1 - y_2)^2} $ の形を取り、非可分構造を示している。
• 双曲空間 $ \mathbb{H}^n $ 上の多変数ハリー＝リトルウッド＝ソボレフ不等式の極値関数は、自己同型変換を除いて $ f_\#(x) = A(1 + |x|^2)^{-n/p} $ の形である。
• 多変数スタイン＝ヴァイス不等式では、$ 1 < p < m $ のとき極値関数が存在し、$ 2n/p' = 2\beta + (m-1)\gamma $ かつ $ \gamma = n/q $ の条件下で不等式が成り立つ。
• 多変数スタイン＝ヴァイス不等式に付随する関数的積分は、多変数ヤングの不等式とヘリー選択の法則を用いて有界であることが保証され、極値の存在が保証される。
• 逐次的再配分と自己同型変換による証明技法は、単一関数に限らず $ m $ 個の関数に対しても完全に拡張可能であり、定理15を複数入力に一般化する。