[論文レビュー] Criterion for convergence almost everywhere, with applications

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Jul 14, 2015

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

ひとこと要約

本稿では、可測関数が分離可能なバナッハ空間に値をとる場合のほとんど everywhere 収束について、統合アークタンジェントノルムの上界に基づく臨界汎関数を用いて、必要十分条件を確立する。主な結果は、ほとんど確実な収束が成り立つのは、この臨界汎関数の極限が消える場合に限ることであり、これはフーリエ級数、確率的場、オーリッチ/グランド・ルベーグ空間への応用が可能な強力な基準を提供する。

ABSTRACT

We derive the necessary and sufficient condition for almost sure convergence of the sequence of measurable functions, and consider some applications in the theory of Fourier series and in the theory of random fields.

研究の動機と目的

• 分離可能なバナッハ空間に値をとる可測関数列のほとんど everywhere 収束について、必要十分条件を導出すること。
• マルティングールおよび単調列の収束に関する既存の結果を、より広い関数類に一般化すること。
• この基準をフーリエ級数、確率的場、およびオーリッチ空間およびグランド・ルベーグ空間における収束問題に適用すること。
• 同値な確率測度と関数解析的道具を用いて、収束問題を確率的表現に再定式化すること。
• ランダム要素が分離可能なバナッハ空間に値をとる場合に、それらの類に類似した基準を確立し、ほとんど確実な収束を示すこと。

提案手法

• 確率測度 $\mu$ と同値な測度 $\nu$ を用いて、臨界汎関数 $\overline{\kappa}(F) = \varlimsup_{n \to \infty} \sup_{m > n} \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$ を導入する。
• 有界収束定理を用いて、$\overline{\kappa}(F)$ の消滅が $f_n \to 0$ のほとんど確実な収束と関係することを示す。
• 変換 $g_n = f_n - f_\infty$ を用いて一般問題を $f_\infty = 0$ の場合に還元し、一般性を失わず $\mu$ を確率測度と仮定する。
• 関数の有界性と積分推定の容易化を図るため、$\tilde{f}_n(x) = \arctan(f_n(x))$ の変換を適用する。
• ノルムに基づく汎関数 $\lambda_n^m(F)$ および $\overline{\lambda}(F)$ を定義することで、グランド・ルベーグ空間（GLS）およびオーリッチ空間における同等の基準を確立する。
• 期待値に基づく汎関数 $\overline{\tau}(\zeta)$ を用いて、バナッハ空間内のランダム要素 $\zeta(n)$ の枠組みを拡張し、列 $\zeta(n)$ のほとんど確実な収束の基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 分離可能なバナッハ空間に値をとる可測関数列のほとんど everywhere 収束について、必要十分条件は何か？
• RQ2 アークタンジェント変換を含む積分汎関数を用いて、収束基準をどのように表現できるか？
• RQ3 この基準をオーリッチ空間およびグランド・ルベーグ空間における収束にどのように拡張できるか？
• RQ4 この基準は、特に確率変数列に対して、分離可能なバナッハ空間内のランダム要素に適応可能か？
• RQ5 臨界汎関数 $\overline{\kappa}(F)$ は、測度収束や $L_p$-ノルム収束といった古典的収束モードとどのように関係するか？

主な発見

• 関数列 $f_n \to 0$ がほとんど確実に収束するための必要十分条件は、$\lim_{n \to \infty} \sup_{m > n} \kappa_n^m(F) = 0$ であり、ここで $\kappa_n^m(F) = \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$ である。
• この基準は $\overline{\kappa}(F) = 0$ と同値であり、これは族 $F$ が臨界汎関数の核に属することを意味する。
• グランド・ルベーグ空間 $G\psi$ において $\overline{\lambda}(F) = 0$ ならば、$f_n \to 0$ はほとんど everywhere かつ $G\psi$-ノルムで収束する。
• $L_p$-空間において $\overline{l_p}(F) = 0$ ならば、$f_n \to 0$ はほとんど everywhere かつ $L_p$-ノルムで収束する。
• 確率的設定では、$\mathbb{P}(\zeta \in c_0(B)) = 1$ が成り立つのは、$\overline{\tau}(\zeta) = 0$ のときに限る。ここで $\tau_n^m(\zeta) = \mathbb{E}[\arctan(\max_{k=n}^m \|\zeta(k) - \zeta(n)\|_B)]$ である。
• バナッハ空間が、平行移動不変距離を持つ分離可能な線形距離空間に置き換えられても、この基準は依然として有効である。