Regularization and Asymptotic Behaviour of Ornstein-Uhlenbeck Evolution Operators in Infinite Dimension

技術要約：無限次元におけるオルンシュタイン＝ウーレンベック進化作用素の正則化と漸近挙動

問題提起
本論文は、可分なヒルベルト空間 $X$ 上で定義された関数に作用するオルンシュタイン＝ウーレンベック（OU）進化作用素の性質を調査している。具体的には、係数が時間依存する非自律的な無限次元の設定における研究に焦点を当てている。主な目的は以下の二点である：

1. 適切な進化測度の系に関する $L^p$ 空間において、これらの作用素が持つ一般的な正則化特性を確立すること。
2. 時間周期的なケースにおける作用ソの漸近挙動を分析し、時間に対する平均への収束率を特定するとともに、ドリフト項のみに基づいたその最適性の基準を提示すること。

無限次元における自律的なOU作用素の理論は十分に確立されているが、非自律的なケースについては、まだ完全には解明されていない。先行研究では、有限次元の非自律方程式や、無限次元における特定の関数不等式（例：強ファラー（strong Feller）性、超収縮性）については扱われてきたが、漸近的な減衰率の解析および $L^p$ の文脈におけるその最適性の包括的な分析は欠けていた。

手法
分析は、一族の線形作用素 $\{A(t)\}$ および有界な一族 $\{B(t)\}$ に関連付けられた進化作用素 $\{U(t, s)\}$ を中心に構成されている。OU進化作用素 $P_{s,t}$ は、平均 $U(t, s)x$ および共分散 $Q(t, s)$ を持つガウス測度によって定義される。

手法は以下の主要な段階を経て進められる：

• 進化測度の系： 著者らは、中心ガウス測度 $\mu_t = N(0, Q(t, -\infty))$ の一族を、「進化測度の系」と呼び導入する。これは、非自律的な文脈における不変測量の概念を一般化したものであり、不変性 $\int P_{s,t}\phi \, d\mu_s = \int \phi \, d\mu_t$ を満たす。
• $L^p$ 空間への拡張： 有界連続関数 $C_b(X)$ 上で定義された作用素 $P_{s,t}$ を、$L^p(X, \mu_t)$ への拡張を行う。この拡張は、不変性と作用素の縮小性に依拠している。
• ソボレフ空間による正則化： コアとなる技術的要素は、$P_{s,t}$ が $L^p$ 関数を一次ソボレフ空間 $W^{1,p}(X, \mu_s)$ へ写すことを証明することである。これには、スカラー値関数およびベクトル値関数の両方を扱う必要がある。著者らは、柱状関数（cylindrical functions）を用いてベクトル値ソボレフ空間を定義し、ヒルベルト・シュミットノルムにおける勾配作用素の閉包を定義する。正則化の証明は、キャメロン＝マーティン（Cameron-Martin）の定理と、「制御可能性条件」（仮定8）を利用して行われる。この条件は、進化作用素の像が共分散作用素の平方根の像に含まれることを保証するものである。
• 周期的なケースにおけるスペクトル分析： 係数 $A(\cdot)$ および $B(\cdot)$ が $T$ 周期であると仮定し、著者らはコンパクト作用素のスペクトル理論を用いる。彼らは、零平均関数の部分空間に制限された作用素 $P_{0,T}$ を分析する。$P_{0,T}$ のコンパクト性（正則化の結果から導かれる）により、スペクトル半径の公式を用いた収束率の推定が可能となる。
• スペクトルの連結： $P_{0,T}$ のスペクトルと、随伴進化作用素 $U(T, 0)^*$ のスペクトルを関連付けることが重要なステップである。著者らは、線形固有関数について、$U(T, 0)^*$ の固有値が $P_{0,T}$ の固有値に対応することを証明する。

主要な貢献と結果

1. 正則化とコンパクト性： 本論文は、$p > 1$ のとき、拡張されたOU作用素 $P_{s,t}: L^p(X, \mu_t) \to L^p(X, \mu_s)$ がコンパクト作用素であることを証明している。その像はソボレフ空間 $W^{1,p}(X, \mu_s)$ に含まれ、勾配は作用素 $\Lambda(t, s) = Q(t, s)^{-1/2}U(t, s)$ を用いた特定の評価式を満たす。このコンパクト性は、後続のスペクトル分析において極めて重要である。

2. 指数的収束率： 時間周期的なケースにおいて、本論文は $P_{s,t}f$ がその平均 $\int f d\mu_t$ へ指数的に収束することを確立している。具体的には、進化作用素 $U(t, s)$ の減衰率 $\omega_0$（ここで $\|U(t, s)\| \leq Me^{\omega_0(t-s)}$）よりも大きい任意の $\omega$ に対して、定数 $C_{T,\omega}$ が存在して次式が成り立つ：
   $$\| P_{s,t}f - \int_X f d\mu_t \|_{L^p(X, \mu_s)} \leq C_{T,\omega} e^{\omega(t-s)} \|f\|_{L^p(X, \mu_t)}$$
   零平均関数に制限された $P_{0,T}$ のスペクトル半径は $e^{\omega_0 T}$ によって抑えられることが示されている。

3. 最適性の基準： 本論文は、収束率が「最適」である（すなわち、収束率を $e^{\omega_0(t-s)}$ 以上に改善できない）ための十分条件を提示している。その条件は、最大絶対値 $e^{\omega_0 T}$ を持つ $U(T, 0)^*$ のすべての固有値が**半単純（semisimple）**であることである。この条件が成り立つ場合、上記の評価式は $\omega = \omega_0$ で成立する。

   • 決定的なことに、著者らは、この最適性の基準が拡散項 $B(\cdot)$ ではなく、ドリフト項 $A(\cdot)$（$U(T, 0)^*$ を通じて）のみに依存することを指摘している。

4. 具体的な例： 第5節では、$X = L^2(\Omega)$ において $A(t)$ が時間周期的な楕円微分作用素であり、$B(t)$ が $A(t)^{-1}$ の分数べきであるような具体的な例を構成している。著者らは、この系が制御可能性条件や測度の非退化性を含むすべての仮定を満たすことを検証している。さらに、この特定の例においては、$U(T, 0)^*$ の最大絶対値を持つ固有値が唯一かつ半単純であることを証明し、それによって導出された収束率がこのクラスの作用素に対して実際に最適であることを確認している。

意義
本論文は、以下の点を通じて、無限次元における非自律的進化方程式の理論を進展させたと主張している：

• 進化測度の系に関するOU作用素の $L^p$ 正則化のための厳密な枠組みを提供したこと。
• 基礎となる決定論的進化作用素 $U(t, s)$ のスペクトル特性と、確率的OU作用素 $P_{s,t}$ の漸近的減衰との間の直接的な結びつきを確立したこと。
• （ドリフト作用素 $U(T, 0)^*$ の最大絶対値を持つ固有値の半単純性という）検証可能な基準を提示し、収束率の鋭さを決定したこと。
• 最適な収束速度が、生成子の一次の係数（ドリフト）によって完全に支配されることを示し、複雑な確率系の分析を簡略化したこと。

本研究は、よく理解されている自律的なケースと、より複雑な非自律的なシナリオとの間の溝を埋め、無限次元の確率微分方程式の長期的な振る舞いを分析するためのツールを提供している。