[論文レビュー] Uniform convergence on subspaces in von Neumann's ergodic theorem with continuous time

A. G. Kachurovskiĭ, I. V. Podvigin+1 more|arXiv (Cornell University)|Feb 27, 2023

Stochastic processes and financial applicationsEconomics, Econometrics and Finance被引用数 3

ひとこと要約

本稿は、連続時間におけるフォン・ノイマンのエルゴード定理において、固有値のスペクトル的基準を、各自のノルムを持つ部分空間におけるべき乗一様収束について確立する。収束指数 α ∈ [0,2] のすべての可能性を同定し、そのような収束を示す部分空間の完全な記述を与え、(半)フローにおける収束速度の既存の推定値を精緻化し、スペクトルギャップを有する自明な場合を除き、ヒルベルト空間全体での一様収束は発生しないことを示す。

ABSTRACT

Power-law uniform (in the operator norm) convergence on vector subspaces with their own norms in von Neumann's ergodic theorem with continuous time is considered. All possible exponents of the considered power-law convergence are found; for each of these exponents, spectral criteria for such convergence are given and a complete description of all such subspaces is obtained. Uniform convergence over the entire space takes place only in trivial cases, which explains the interest in the uniform convergence just on subspaces. In addition, along the way, the old convergence rate estimates in the von Neumann ergodic theorem for (semi)flows are generalized and refined.

研究の動機と目的

• 連続時間におけるフォン・ノイマンのエルゴード定理において、べき乗一様収束が発生するすべての可能な指数 α ∈ [0,2] を同定すること。
• 各自のノルムを有する部分空間におけるべき乗一様収束のスペクトル的基準を導出すること。
• 任意の指数 α ∈ [0,2] に対して、べき乗一様収束を示すすべてのベクトル部分空間（各自のノルムを有する）を完全に記述すること。
• フォン・ノイマンのエルゴード定理における(半)フローの収束速度に関する既存の推定値を精緻化・一般化すること。
• ヒルベルト空間全体での一様収束がなぜ稀にしか発生しないのかを説明すること。これは、ゼロ付近にスペクトルギャップを有する自明な場合に限られる。

提案手法

• 解析では、H 内のベクトル f に付随するスペクトル測度 σ_f と、Fejér のカーネル F_τ(x) = (sin(τx/2)/(τx/2))² を用いて、エルゴード平均 P_{t,s}f − f* の L²-ノルムを表現する。
• 鍵となる技術的道具は、ギャプスキーの手法にインspiredされた部分積分であり、収束速度に対する鋭い L²-推定値を導出する。
• 本稿では、スペクトル測度 σ_f−f* が原点付近でどのように減衰するかを分析することにより、1次元部分空間におけるべき乗一様収束のスペクトル的基準を確立する。
• 多変数部分空間の場合、基底ベクトルに沿ったスペクトル測度の共同挙動を検討することで、1次元基準を拡張する。
• 収束速度は積分 ∫ℝ F_τ(x) dσ_f−f*(x) を通じて分析され、τ = t−s → ∞ のときのこの積分の減衰が指数 α を決定する。
• 結果は、H に連続的かつ拘束的に埋め込まれたバナッハ部分空間へと拡張され、ある l > 0 に対して O(t^{−l}) のオーダーの作用素ノルム推定値が得られる。

実験結果

リサーチクエスチョン

• RQ1 連続時間におけるフォン・ノイマンのエルゴード定理において、各自のノルムを有する部分空間で、べき乗一様収束が発生するすべての可能な指数 α ∈ [0,2] は何か？
• RQ2 与えられた α ∈ [0,2] に対して、1次元部分空間でべき乗一様収束を保証するためのスペクトル測度 σ_f に必要なスペクトル的条件は何か？
• RQ3 任意の指数 α ∈ [0,2] に対して、べき乗一様収束を示すすべての有限次元部分空間（各自のノルムを有する）を完全に同定するにはどうすればよいか？
• RQ4 なぜヒルベルト空間 H 全体での一様収束は、スペクトルギャップを有する自明な場合にのみ可能になるのか？そのような場合を特徴づけるスペクトル的条件（スペクトルギャップ）は何か？
• RQ5 収束速度に関する新しい推定値は、(半)フローに関する既存の文献における結果をどのように精緻化・改善するのか？

主な発見

• べき乗一様収束のすべての可能な指数は、正確に α ∈ [0,2] の値であり、α = 2 が達成可能な最大の収束速度である。
• 各 α ∈ [0,2] に対して、スペクトル的基準を確立した：1次元部分空間でべき乗一様収束が成立するための必要十分条件は、ε → 0 のとき ∫_{|x|≤ε} dσ_f(x) = O(ε^{2−α}) を満たすことである。
• 最大収束速度 α = 2 が達成されるのは、スペクトル測度 σ_f が ∫_{|x|≤ε} dσ_f(x) = O(ε^0) = O(1) を満たす、すなわち原点近傍で有界な密度を持つとき、かつそのときに限る。
• べき乗一様収束を示すすべての有限次元部分空間の完全な記述を得た：ある部分空間が指数 α でべき乗一様収束を示すのは、その基底ベクトルのスペクトル測度が対応する減衰条件を満たすとき、かつそのときに限る。
• 収束速度の推定値における鋭い定数を提供した：O(t^{−α}) のバインディングにおける定数は最適であり、既存の文献における推定値を改善した。
• ヒルベルト空間 H 全体での一様収束は、ゼロ付近にスペクトルギャップを有する場合にのみ成立する。これは、元の力学系において周期的軌道が存在する場合に相当し、稀で自明なケースである。