[論文レビュー] Continuous-time sparse domination

Komla Domelevo, Stefanie Petermichl|arXiv (Cornell University)|Jul 21, 2016

Advanced Topology and Set Theory参考文献 20被引用数 5

ひとこと要約

本稿は、ヒルバート空間値の càdlàg マルティングールに対して連続時間におけるスパース支配を導入し、$X$ に微分的に従属するマルティングール $Y$ の最大作用素 $Y^*$ に対する鋭い重み付き $L^p$ 評価を確立する。軌道ごとの停止時刻手順を用いて、$Y^*$ が停止時刻における $|X|$ のサンプリングを含むスパース作用素によってほとんど確実に支配されることを示し、最良の重み付きノルム評価 $ olinebreak[4]\|Y^* olinebreak[4]_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$ を得る。この評価はジャンプ過程に対しても成立する。

ABSTRACT

We develop the self similarity argument known as sparse domination in an abstract martingale setting, using a continuous time parameter. With this method, we prove a sharp weighted L^p estimate for the maximal operator Y^* of Y with respect to X. Here Y and X are uniformly integrable càdllàg Hilbert space valued martingales and Y differentially subordinate to X via the square bracket process. We also present a second, very simple proof of the special case Y=X. In this generality, notably including processes with jumps, the special case Y = X addresses a question raised in the late 70s by Bonami--Lépingle.

研究の動機と目的

• 一様可積分な càdlàg マルティングールの文脈におけるスパース支配の連続時間版を開発すること。
• 平方括弧過程を用いて、$X$ に微分的に従属するマルティングール $Y$ の最大関数 $Y^*$ に対する鋭い重み付き $L^p$ 評価を証明すること。
• 1970年代後半にボナミ–レプリングが提起した長年の未解決問題を解決する。すなわち、$Y = X$ の場合における最大関数の $A_p$ ノルム評価が、今や一般の càdlàg プロセスにまで拡張されたものである。
• ジャンプを伴うプロセスに対しても有効な一般枠組みを提供し、従来の結果が一様性や離散的フィルトレーションに依存していた制限を克服すること。

提案手法

• 各 $\mathcal{F}_{T^j}$-可測集合 $A^j \subset E_j$ に対して $\mathbb{P}(A^j \cap E_{j+1}) \leq \frac{1}{2}\mathbb{P}(A^j)$ を満たすように、スパースな停止時刻の列 $\{T_j\}$ を構成する。これにより自己同様性と小さな測度増大が保証される。
• 関数 $|X|_t = \mathbb{E}[|X_\infty| \,|\, \mathcal{F}_t]$ を用いて、スパース作用素 $\mathcal{S}(X)(\omega) = \sum_{j=0}^\infty |X|_{T^j}(\omega) \chi_{E_j}(\omega)$ を定義し、$Y^*$ がほとんど確実に支配されることを示す。
• 微分的従属条件 $[X,X]_t - [Y,Y]_t$ が単調増加かつ非負であることに基づく再帰的停止時刻構成により、ほとんど確実な支配 $Y^*(\omega) \leq 8 \sum_{j=0}^\infty |X|_{T^j}(\omega) \chi_{E_j}(\omega)$ を確立する。
• 双対重み $u = w^{1/(p-1)}$ を用いた測度変換により、問題を重み付き $L^p$ 空間に移し、ドーブの最大不等式の適用を可能にする。
• $u$-重み付き測度におけるドーブの不等式を適用し、$|X|u^{-1}$ の最大関数を制御する。これにより、$A_p$ 特徴 $Q_p(w)$ を含む不等式の連鎖が得られる。
• スパース支配と重み付きノルム不等式を組み合わせることで、最終的な評価 $\|Y^*\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 スパース支配技法は、元来離散的ダイアディック設定で開発されたものだが、ジャンプを伴う連続時間マルティングールへと拡張可能か？
• RQ2 連続時間、càdlàg マルティングールの文脈において、$Y$ が $X$ に微分的に従属するとき、最大関数 $Y^*$ の鋭い重み付き $L^p$ ノルム評価は何か？
• RQ3 ジャンプが存在する場合でも、最大関数に対する最良の $A_p$ 特徴の成長 $Q_p(w)^{\max\{1,\frac{1}{p-1}\}}$ は成立するか？
• RQ4 $Y = X$ の特別な場合に、かつては一様性または離散的設定でのみ知られていた鋭い重み付き評価が、一様性仮定なしに得られるか？
• RQ5 一般のフィルトレーションにおいて、最大関数の重み付き評価を証明する際に、$A_p$ の開集合性に依存しなくてよいか？

主な発見

• 本稿では、$Y$ の最大関数について、微分的従属性から導かれるスパースな停止時刻列 $\{T_j\}$ を用いて、ほとんど確実な支配 $Y^*(\omega) \leq 8 \sum_{j=0}^\infty \linebreak[4]|X|_{T^j}(\omega) \chi_{E_j}(\omega)$ を確立する。
• スパース作用素 $\mathcal{S}(X)$ は、重み付きノルム評価 $\|\mathcal{S}(X)\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$ を満たし、定数は $p$ のみに依存し、基礎となるフィルトレーションやジャンプ挙動には依存しない。
• $Y = X$ の特別な場合において、鋭い重み付き評価 $\|X^*\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$ が直接的かつ洗練された形で証明され、一様性仮定なしに、かつては一様性または離散的設定でのみ知られていた結果を回復する。
• 証明は $A_p$ の開集合性に依存せず、ジャンプを伴う càdlàg マルティングールの文脈においても一般に成立する。
• 方法により、$A_p$ 特徴に対する正しい成長率 $Q_p(w)^{\max\{1,\frac{1}{p-1}\}}$ が得られ、これはかつてのダイアディックまたは一様性設定での既知の鋭い評価と一致する。
• 最終的なノルム評価は、ドーブの不等式を $u$-重み付き測度で適用する不等式連鎖を経て得られ、鋭い定数 $c_{\ref{Theorem_XstarX},p} = \frac{p^{p'}}{p-1}$ が得られる。ここで $p' = \frac{p}{p-1}$ である。