[論文レビュー] Individual lower bound for Calderon's generalized Lorentz norm estimates

Eugeny Ostrovsky, L. Sirota|arXiv (Cornell University)|Oct 17, 2012

Advanced Harmonic Analysis Research参考文献 13被引用数 4

ひとこと要約

本稿は、クラス $ V $ のすべての重みについて、Calderón の一般化された Lorentz 範数不等式における下界 '1' の正確性を確立する。自然な条件下で、比 $ \|f\|_w / \|f\|_w^* $ の下界が 1 に等しいことを証明する。著者らは明示的なテスト関数を構成し、漸近解析を用いて定数 '1' が改善不可能であることを示し、古典的 Lorentz 空間から広範な重みのクラスへ既知の結果を拡張する。

ABSTRACT

We find the exact values for constants in bilateral Calderon-Stein-Weiss inequalities between tail (Marcinkiewicz) norm and weak Lebesgue (Lorentz) norm. Possible applications: Functional Analysis (for instance, interpolation of operators), Integral Equations, Probability Theory and Statistics (tail estimations for random variables).

研究の動機と目的

• Calderón の双方向不等式における下界 '1' の鋭さを、古典的状況を超えて、弱 Lebesgue（Lorentz）ノルムと双対ノルム $ \|f\|_w^* $ 間の不等式において確立すること。
• 特定の重み $ w_p(s) = s^{1/p} $ の場合に限らず、自然な条件下ですべての重み $ w \in V $ に対して、下界に現れる定数 '1' が最適であることを証明すること。
• 関数 $ \Theta(w) = \inf_{f \neq 0} \|f\|_w / \|f\|_w^* $ を導入し、ノルム比の最良の下界を特徴付けること。
• 上界を提供する量 $ G_\kappa(w) $、$ H_\kappa(w) $、$ K_\kappa(w) $ を定義・分析し、$ \inf_\kappa K_\kappa(w) $ が最もタイトな上界を与えることを示すこと。
• 漸近的評価により、$ \kappa \to \infty $ のときの比 $ G\_\kappa(w)/H\_\kappa(w) $ を評価し、対数的およびべき乗対数的重みを含む広範な重みのクラスに対して、下界の下界 $ \Theta(w) $ が 1 に等しいことを示すこと。

提案手法

• 双対ノルム $ \|f\|_w^* = \sup_{t>0} w(t) f^*(t) $ と弱 Lorentz ノルム $ \|f\|_w = \sup_{t>0} w(t) f^{**}(t) $ を定義する。ここで $ f^* $ は減少再配置、$ f^{**}(t) = t^{-1} \int_0^t f^*(s) ds $ である。
• 区間 $[0,1]$ 上で $ f_\kappa(x) = 1 - x^\kappa $ であるテスト関数の族を構成し、$ f_\kappa^*(t) = 1 - t^\kappa $、$ f_\kappa^{**}(t) = 1 - t^\kappa / (\kappa + 1) $ という明示的表現が得られることを示す。
• 比 $ \|f_\kappa\|_w / \|f_\kappa\|_w^* $ の上界を提供する関数型 $ G_\kappa(w) = \sup_{t \in (0,1)} w(t)(1 - t^\kappa) $ と $ H_\kappa(w) = \sup_{t \in (0,1)} w(t)(1 - t^\kappa / (\kappa + 1)) $ を導入する。
• $ K_\kappa(w) = G_\kappa(w)/H_\kappa(w) $ および $ K(w) = \inf_{\kappa > 0} K_\kappa(w) $ を定義し、$ \Theta(w) \leq K(w) $ を証明することで、$ K(w) $ が比の下界の上界を提供することを示す。
• $ \kappa \to \infty $ の漸近解析を用いて $ \lim_{\kappa \to \infty} K_\kappa(w) $ を評価し、$ w_p(s) = s^{1/p} $ の場合にこの極限が 1 に等しくなることを示し、$ \Theta(w_p) = 1 $ を得る。
• $ w_{p,q}(s) = s^{1/p} (|\log s| + 1)^{1/q} $ や $ w_{p,q,r}(s) $ などのより一般的な重みに対しても、$ \lim_{\kappa \to \infty} K_\kappa(w) = 1 $ が成り立つことを示し、結果をべき乗重みを超えて拡張する。

実験結果

リサーチクエスチョン

• RQ1 Calderón の一般化された Lorentz 範数不等式における下界 '1' は、古典的状況に限らず、クラス $ V $ のすべての重み $ w \in V $ に対して鋭いか？
• RQ2 対数的およびべき乗対数的重みを含む広範な重みのクラスに対し、$ \Theta(w) = \inf_{f \neq 0} \|f\|_w / \|f\|_w^* $ が正確に 1 に等しいか？
• RQ3 $ \kappa \to \infty $ のときの比 $ G_\kappa(w)/H_\kappa(w) $ の振る舞いは？ また、$ w_p(s) = s^{1/p} $ や関連する重みに対してこの比は 1 に収束するか？
• RQ4 $ K(w) = \inf_{\kappa > 0} K_\kappa(w) $ は $ \Theta(w) $ の正確な値を与えるか？ また、$ w \in V $ の場合に $ K(w) = 1 $ か？
• RQ5 構築されたテスト関数 $ f_\kappa(x) = 1 - x^\kappa $ は、ノルム不等式における下界の鋭さを証明するためにどのように寄与するか？

主な発見

• 双方向不等式 $ \|f\|_w^* \leq \|f\|_w \leq \gamma(w) \|f\|_w^* $ における下界 '1' は、$ w_p(s) = s^{1/p} $ に限らず、クラス $ V $ のすべての重みについて鋭い。つまり、このような重みに対して $ \Theta(w) = 1 $ が成り立つ。
• 古典的重み $ w_p(s) = s^{1/p} $ に対して $ \Theta(w_p) = 1 $ であり、これは $ \lim_{\kappa \to \infty} K_\kappa(w_p) = 1 $ を示すことにより証明され、$ K_\kappa(w_p) = (\kappa + 1)^{1/(\kappa p)} $ である。
• $ \|f_\kappa\|_w / \|f_\kappa\|_w^* $ は $ K_\kappa(w) = G_\kappa(w)/H_\kappa(w) $ で上から抑えられ、$ \Theta(w) \leq K_\kappa(w) $ がすべての $ \kappa > 0 $ に対して成り立つため、$ \kappa $ に関する下界の最小化によりタイトな上界が得られる。
• $ w_{p,q}(s) = s^{1/p} (|\log s| + 1)^{1/q} $ の重みに対しても、$ \lim_{\kappa \to \infty} K_\kappa(w_{p,q}) = 1 $ が成り立つため、$ \Theta(w_{p,q}) = 1 $ であり、結果はべき乗重みを超えて拡張される。
• $ w_{p,q,r}(s) = s^{1/p} (|\log s| + 1)^q (\log(|\log s| + 3))^r $ の重みに対しても、同様の漸近的議論により $ \Theta(w_{p,q,r}) = 1 $ が得られ、結果の堅牢性が確認される。
• $ \Theta(w) $ は $ K(w) = \inf_{\kappa > 0} K_\kappa(w) $ で上から抑えられ、考慮された重みに対して $ K(w) = 1 $ であるため、$ \Theta(w) = 1 $ が導かれる。これにより、下界の鋭さが証明される。