[論文レビュー] Product operators on mixed norm spaces

Wayne Grey, Gord Sinnamon|arXiv (Cornell University)|Feb 29, 2016

Advanced Harmonic Analysis Research参考文献 11被引用数 3

ひとこと要約

本稿は、Lebesgue指数と因子演算子の有界性のみを用いて、混合ノルムLebesgue空間上の積演算子に関する鋭い不等式を確立し、多変数演算子を分析するための統一的枠組みを提供する。また、Minkowskiの積分不等式の再帰的適用と畳み込み推定を用いて、混合ノルム空間における多変数ヤングの不等式の初等的証明を提示する。

ABSTRACT

Inequalities for product operators on mixed norm Lebesgue spaces and permuted mixed norm Lebesgue spaces are established. They depend only on inequalities for the factors and on the Lebesgue indices involved. Inequalities for the bivariate Laplace transform are given to illustrate the method. Also, an elementary proof is presented for an $n$-variable Young's inequality in mixed norm spaces.

研究の動機と目的

• 混合ノルム空間における埋め込み理論の技法を、恒等演算子を超える一般の積演算子へと拡張すること。
• Lebesgue指数と個々の因子演算子の有界性のみに依存する、積演算子のノルム不等式を導出すること。
• 積分順序が各空間で異なる場合に生じる、並べ替えられた混合ノルムに対する体系的取り扱いを提供すること。
• Minkowskiの積分不等式と再帰的推定を用いて、混合ノルム空間における多変数ヤングの不等式の新しい初等的証明を提供すること。
• 双変ラプラス変換に関する不等式を提示し、局所コンpakto unimodular群上での畳み込み演算子へと結果を一般化すること。

提案手法

• 積演算子を、$ Kf(x_1,x_2) = \iint k_1(x_1,t_1)k_2(x_2,t_2)f(t_1,t_2) \, d(\lambda_1 \times \lambda_2)(t_1,t_2) $ と定義する。
• 因子分解 $ K = K_1 \otimes K_2 $ を用いて、演算子ノルム $ \|K\| $ を個々のノルム $ \|K_j\|_{L^{p_j}_{\lambda_j} \to L^{r_j}_{\mu_j}} $ で表現する。
• 非負関数に対して、混合ノルム形のMinkowskiの積分不等式 $ \|f\|_{L^{(p_1,p_2)}_{\lambda_1 \times \lambda_2}} \leq \|f\|_{L^{(p_2,p_1)}_{\lambda_2 \times \lambda_1}} $ を適用する。
• Minkowskiの不等式とヤングの不等式の再帰的適用を用いて、畳み込み $ f*g $ の混合ノルムを $ \|f\|_{L^P} \|g\|_{L^Q} $ で上から抑える。
• 各 $ j $ に対して $ \frac{1}{p_j} + \frac{1}{q_j} = \frac{1}{r_j} + 1 $ を満たす条件下で、重要な不等式 $ \|f*g\|_{L^R} \leq \|f\|_{L^P} \|g\|_{L^Q} $ を確立する。
• 有界かつ可積分な関数による近似を用い、劣微分収束定理を適用して、非負および符号付き関数への不等式の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 混合ノルム空間上での積演算子の不等式は、その因子のノルムのみからどのように導出可能か？
• RQ2 Lebesgue指数にどのような条件を課すれば、混合ノルムLebesgue空間間での積演算子の有界性が保証されるか？
• RQ3 古典的な混合ノルム空間における多変数ヤングの不等式は、Minkowskiの積分不等式と再帰的推定のみを用いて証明可能か？
• RQ4 並べ替えられた混合ノルムは、積演算子の有界性およびノルム推定にどのように影響を与えるか？
• RQ5 本手法は、局所コンパクトで単模的な群の有限直積上での畳み込み演算子へ、どの程度一般化可能か？

主な発見

• 本稿は、混合ノルム空間上での積演算子 $ K $ の演算子ノルムが、Lebesgue指数 $ p_1, p_2, r_1, r_2 $ と因子の個々の演算子ノルム $ C_1, C_2 $ のみに依存することを確立した。
• 混合ノルム空間における多変数ヤングの不等式の初等的証明を提示し、各 $ j $ に対して $ \frac{1}{p_j} + \frac{1}{q_j} = \frac{1}{r_j} + 1 $ を満たす条件下で $ \|f*g\|_{L^R} \leq \|f\|_{L^P} \|g\|_{L^Q} $ が成り立つことを示した。
• 証明は、Minkowskiの積分不等式の再帰的適用と畳み込み推定に依拠しており、逐次的な変数に関する $ L^{p_j} $-ノルムを用いて定義される中間関数 $ f_j, g_j $ が関与する。
• 一部の指数が無限大である場合にも本手法は適用可能であり、$ L^\infty $-ノルムの代わりにesssupノルムが用いられるが、この場合の証明は修正を要する。
• 本フレームワークは、双変ラプラス変換に対しても適用可能であり、同一の原理に基づく明示的な不等式が得られる。
• 結果は、局所コンパクトで単模的な群の有限直積上での畳み込みへと一般化可能であり、同じノルム不等式構造が維持される。