[論文レビュー] The Bellman functions of the Carleson Embedding Theorem and the Doob's martingale inequality

Jingguo Lai|arXiv (Cornell University)|Nov 20, 2014

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

ひとこと要約

本稿は、無限に細分化されるフィルター付き確率空間上でのCarleson埋め込み定理とDoobのマルティングール不等式のベルマン関数の一致を確立し、鋭い定数 $ C_p = (p')^p $ がこのような一般設定においても普遍的に成り立つことを証明している。証明は、dyadicベルマン関数の再構築に依拠し、ハール類似関数を用いた近似により、dyadicから一般マルティングールフィルターへの結果の拡張がなされている。

ABSTRACT

Evaluation of the Bellman functions is a difficult task. The exact Bellman functions of the dyadic Carleson Embedding Theorem 1.1 and the dyadic maximal operators are obtained in [3] and [4]. Actually, the same Bellman functions also work for the tree-like structure. In this paper, we give a self-complete proof of the coincidence of the Bellman functions on the more general infinitely refining filtered probability space, see Definition 1.3. The proof depends on a remodeling of the Bellman function of the dyadic Carleson Embedding Theorem.

研究の動機と目的

• dyadic Carleson埋め込み定理の鋭いベルマン関数を、一般の無限に細分化されるフィルター付き確率空間へ拡張すること。
• dyadicおよびツリー型の設定で用いられる同じベルマン関数が、より広いクラスのフィルターに適用可能であることを示すこと。
• 無限に細分化可能な設定におけるマルティングールCarleson埋め込み不等式において、定数 $ C_p = (p')^p $ が鋭いことを確立すること。
• 構造的再構築技術を通じて、さまざまな調和解析における不等式にわたるベルマン関数のアプローチを統一すること。

提案手法

• dyadic Carleson埋め込み定理のベルマン関数の再構築を導入し、一般のフィルターへの拡張を容易にする。
• ハール類似関数により一般マルティングールをdyadicなもので近似可能な無限に細分化されるフィルターの概念を用いる。
• 被覆型補題（補題7.3）を適用して、与えられた係数 $ \alpha_I $ に一致する測度を持つ可測集合を構成する。
• 一般マルティングールをdyadicなもので近似するための極限的議論（$ \varepsilon \to 0 $）を用い、重要な期待値を保存する。
• ベルマン関数の連続性と期待値の比較に依拠して、異なる設定間での関数の一致を証明する。
• 超解の性質とdyadicケースでの既知の鋭さを用い、一般ケースにおける鋭さを導出する。

実験結果

リサーチクエスチョン

• RQ1 dyadic Carleson埋め込み定理のベルマン関数は、一般の無限に細分化されるフィルター付き確率空間へ拡張可能か？
• RQ2 無限に細分化されるフィルターの文脈において、鋭い定数 $ C_p = (p')^p $ はマルティングールCarleson埋め込み不等式に適用可能か？
• RQ3 この一般化された設定において、Carleson埋め込み定理のベルマン関数とDoobのマルティングール不等式の関数が一致するか？
• RQ4 ベルマン関数の構造をいかに再構築すれば、dyadicまたはツリー型のフィルターを超えて拡張可能になるか？

主な発見

• 無限に細分化されるフィルター上では、マルティングールCarleson埋め込み不等式のベルマン関数 $ \mathcal{B}_{\mu}^{\mathcal{F}}(F,\mathbf{f},M;C) $ が、dyadicケースの古典的ベルマン関数と一致する。
• 任意の無限に細分化されるフィルターにおいて、鋭い定数 $ C_p = (p')^p $ はマルティングールCarleson埋め込み不等式に有効である。
• 証明により、ベルマン関数が無限に細分化される限り、その下にあるフィルター構造に依存しないことが示された。
• ハール類似関数による近似と可測集合の構成により、極限 $ \varepsilon \to 0 $ においてベルマン関数の値が保存されることが保証された。
• ベルマン関数の連続性により、近似されたdyadic構成の極限が、一般設定において正しい値をもたらすことが保証された。
• A. Melasの以前のツリー型構造に関する発見を、無限に細分化可能なより広いクラスのフィルターへ一般化した。