[論文レビュー] Weight Hardy-Littlewood Inequalities for Different Powers

E. Ostrovsky, L. Sirota|ArXiv.org|Oct 30, 2009

Advanced Harmonic Analysis Research参考文献 26被引用数 8

ひとこと要約

本稿は、Lebesgue空間における重み付きリーマン・プエイズ作用素および双線形汎関数の作用素ノルムについて、非漸近的上界と下界を確立し、最良定数 $ K_{\alpha,\beta,\lambda}(p) $ が漸近的に $ [(p - p_-)(p_+ - p)]^{-\kappa} $ のように振る舞うことを証明している。ここで $ \kappa = (\alpha + \beta + \lambda)/d $ である。これらの境界は鋭く、$ p \in (p_-, p_+) $ に対して成り立ち、$ p_- = d/(d - \alpha) $、$ p_+ = d/(d - \alpha - \lambda) $、およびスケーリング条件 $ 1 + 1/q = 1/p + (\alpha + \beta + \lambda)/d $ により定まる $ q $ が関与する。この結果は、古典的なハーディー＝リトルウッドの不等式を、正確なノルム推定を伴う重み付き分数階積分へと拡張するものである。

ABSTRACT

In this short article we obtain the non-asymptotic upper and low estimations for linear and bilinear weight Riesz's functional through the Lebesgue spaces.

研究の動機と目的

• 重み付きリーマン・プエイズ作用素 $ I_{\alpha,\beta,\lambda}f $ の作用素ノルムの非漸近的上界と下界を、Lebesgue空間 $ L_p $ において導出すること。
• 特に $ \|f\|_p \|g\|_{q/(q-1)} $ の観点から、双線形汎関数 $ B_{\alpha,\beta,\lambda}(f,g) $ の作用素ノルムに対する鋭い推定を確立すること。
• 重み付きハーディー＝リトルウッドの不等式における最良定数 $ K_{\alpha,\beta,\lambda}(p) $ の正確な漸近的挙動を、異なるべきの指数に対して特定すること。
• 核に重み因子 $ |x|^{-\alpha} $、$ |x|^{-\beta} $、および $ |x-y|^{-\lambda} $ を含む場合に、古典的なリーマン・プエイズ作用素の推定を一般化し、古典的ケース $ \alpha = \beta = 0 $ の場合に拡張すること。
• 不等式が成り立つ $ p $ の範囲を完全に特徴づけ、$ K_{\alpha,\beta,\lambda}(p) = \infty $ が $ p \in (p_-, p_+) $ の外側で成り立つことを示すこと。

提案手法

• 著者たちは、有界性のための許容可能な $ (p,q) $-ペアを特徴付けるスケーリング関係 $ 1 + 1/q = 1/p + (\alpha + \beta + \lambda)/d $ を用いて、臨界指数 $ p_- = d/(d - \alpha) $、$ p_+ = d/(d - \alpha - \lambda) $、および $ q $ を定義する。
• 作用素ノルム $ V_{\alpha,\beta,\lambda}(p) = \sup_{f \neq 0} \frac{\|I_{\alpha,\beta,\lambda}f\|_q}{\|f\|_p} $ を推定の中心的量として用いる。
• 端点 $ p_- $ および $ p_+ $ の近傍でのノルムの挙動を調べるために、2つのテスト関数 $ f_0(x) = |x|^{-(d - \alpha)} I(|x| > 1) $ および $ g_0(x) = |x|^{-(d - \alpha - \lambda)} I(|x| < 1) $ を構成する。
• 極座標および対数特異点を用いて、$ \|f_0\|_p $、$ \|g_0\|_p $、およびそれらが $ I_{\alpha,\beta,\lambda} $ の下での像の漸近的挙動を分析する。
• 下界は、$ h = f_0 + g_0 $ および $ w = I_{\alpha,\beta,\lambda}h $ を用いて、比 $ \|w\|_q \cdot [(p - p_-)(p_+ - p)]^\kappa / \|h\|_p $ が $ p $ に依存しない正の定数で下から押さえられることを示すことによって確立される。
• 上界は、既知の文献（例：[18]、[21]、[22]）からの結果を最大関数理論および補間技法を用いて導出し、同じ漸近的減衰率が得られることを確認している。

実験結果

リサーチクエスチョン

• RQ1 重み付きハーディー＝リトルウッドの不等式における最良定数 $ K_{\alpha,\beta,\lambda}(p) $ が $ p \to p_-^+ $ または $ p \to p_+^- $ のとき、正確にどのように漸近的に振る舞うか。
• RQ2 $ \|I_{\alpha,\beta,\lambda}f\|_q $ の上界と下界が、端点 $ p_- $ および $ p_+ $ からの距離に従ってどのようにスケーリングされるか。
• RQ3 双線形汎関数 $ B_{\alpha,\beta,\lambda}(f,g) $ に対して、$ \|f\|_p \|g\|_{q/(q-1)} $ の観点から鋭い推定を得られるか、またその依存関係は $ p $ にどのように依存するか。
• RQ4 $ \|I_{\alpha,\beta,\lambda}f\|_q \leq K_{\alpha,\beta,\lambda}(p) \|f\|_p $ が有限な $ K $ を用いて成り立つための $ p $ の正確な範囲は何か。
• RQ5 重みパrameter $ \alpha $、$ \beta $、$ \lambda $ が、臨界指数付近での作用素ノルムの特異性にどのように影響するか。

主な発見

• 重み付きハーディー＝リトルウッドの不等式における最良定数 $ K_{\alpha,\beta,\lambda}(p) $ は、二重不等式 $ \frac{C_1(\alpha,\beta,\lambda)}{[(p - p_-)(p_+ - p)]^\kappa} \leq V_{\alpha,\beta,\lambda}(p) \leq \frac{C_2(\alpha,\beta,\lambda)}{[(p - p_-)(p_+ - p)]^\kappa} $ を満たす。ここで $ \kappa = (\alpha + \beta + \lambda)/d $ である。
• $ f \in L_p $ に対して $ \|I_{\alpha,\beta,\lambda}f\|_q $ が有限であるのは、$ p \in (p_-, p_+) $ のときのみであり、この区間の外では $ K_{\alpha,\beta,\lambda}(p) = \infty $ である。
• 下界は、明示的なテスト関数 $ f_0(x) = |x|^{-(d - \alpha)} I(|x| > 1) $ および $ g_0(x) = |x|^{-(d - \alpha - \lambda)} I(|x| < 1) $ を用いて確立され、それぞれの $ L_p $-ノルムは $ (p - p_-)^{-1/p} $ および $ (p_+ - p)^{-1/p} $ のようにスケーリングされる。
• $ f_0 $ が $ I_{\alpha,\beta,\lambda} $ の下で写された像は $ \|u_0\|_q \gtrsim (q - q_0)^{-1 - 1/q} $ を満たし、$ g_0 $ の像は $ \|v_0\|_q \gtrsim (q_+ - q)^{-1 - 1/q} $ を満たす。ここで $ q_0 = d/(\beta + \lambda) $ である。
• $ h = f_0 + g_0 $ は $ L(p_-, p_+) $ に属する関数をもたらし、比 $ \|w\|_q \cdot [(p - p_-)(p_+ - p)]^\kappa / \|h\|_p $ が正の定数 $ C^{(6)}(\alpha,\beta,\gamma;d) > 0 $ で下から押さえられる。これは下界の鋭さを証明する。
• 上界は、最大関数理論および補間からの既知の結果と整合しており、$ [(p - p_-)(p_+ - p)]^{-\kappa} $ の減衰率が最適であることが確認されている。