[论文解读] Time inhomogeneous Generalized Mehler Semigroups

Shun-Xiang Ouyang, Michael Röckner|arXiv (Cornell University)|Sep 27, 2010

Stochastic processes and financial applications参考文献 24被引用 4

一句话总结

该论文为希尔伯特空间上的时间非齐次广义梅勒（Mehler）半群建立了无维数的哈纳克（Harnack）不等式，将其与由 Lévy 过程驱动的非自治 Ornstein-Uhlenbeck 过程联系起来。通过这些不等式，证明了强 Feller 性质和收缩性，并在斜卷积方程下提供了谱表示以及演化测度系统（空间-时间不变测度）的存在性与唯一性结果。

ABSTRACT

A time inhomogeneous generalized Mehler semigroup on a real separable Hilbert space ${\mathds{H}}$ is defined through $$ p_{s,t}f(x)=\int_{\mathds{H}} f(U(t,s)x+y)\,μ_{t,s}(dy), \quad t\geq s, \ x\in{\mathds{H}} $$ for every bounded measurable function $f$ on ${\mathds{H}}$, where $(U(t,s))_{t\geq s}$ is an evolution family of bounded operators on ${\mathds{H}}$ and $(μ_{t,s})_{t\geq s}$ is a family of probability measures on $({\mathds{H}}, \B({\mathds{H}}))$ satisfying the time inhomogeneous skew convolution equations $$μ_{t,s}=μ_{t,r}*(μ_{r,s}\circ U(t,r)^{-1}),\quad t\geq r\geq s.$$ This kind of semigroup is closely related with the transition semigroup" of non-autonomous (possibly non-continuous) Ornstein-Uhlenbeck process driven by some proper additive process. We show the weak continuity, infinite divisibility, associated "additive processes", Lévy-Khintchine type representation, construction and spectral representation of $(μ_{t,s})_{t\geq s}$. We study the structure, existence and uniqueness of the corresponding evolution systems of measures (=space-time invariant measures) of $(p_{s,t})_{t\geq s}$. We also establish dimension free Harnack inequalities in the sense of Wang (1997, PTRF) for $(p_{s,t})_{t\geq s}$. As applications of the Harnack inequalities, we investigate the strong Feller property and contractivity etc. for $p_{s,t}$. Finally we prove a Harnack inequality and show the strong Feller property for the transition semigroup of a semi-linear non-autonomous Ornstein-Uhlenbeck process driven by a Wiener process.

研究动机与目标

• 建立时间非齐次广义梅勒半群在可分希尔伯特空间上的完整理论。
• 为相关的时间非齐次斜卷积半群（概率测度）建立弱连续性、无限可分性及谱表示。
• 研究此类半群的演化测度系统（空间-时间不变测度）的存在性与唯一性。
• 基于 Wang（1997）的无维数哈纳克不等式框架，推导出此类半群的无维数哈纳克不等式，并应用其证明强 Feller 性质与收缩性。
• 将结果推广至由维纳过程驱动的半线性非自治 Ornstein-Uhlenbeck 过程。

提出的方法

• 通过 $ p_{s,t}f(x) = \int_{\mathds{H}} f(U(t,s)x + y) \, \mu_{t,s}(dy) $ 定义时间非齐次广义梅勒半群，其中 $ (U(t,s)) $ 为演化族，且 $ (\mu_{t,s}) $ 满足斜卷积方程 $ \mu_{t,s} = \mu_{t,r} * (\mu_{r,s} \circ U(t,r)^{-1}) $。
• 为 $ \mu_{t,s} $ 建立 Lévy-Khintchine 表示，利用谱表示技术将其分解为高斯、跳跃与漂移分量。
• 利用斜卷积方程刻画 $ \mu_{t,s} $ 的结构，证明其无限可分性与弱连续性。
• 通过方程 $ \mu_{t,s} = \mu_{t,r} * (\mu_{r,s} \circ U(t,r)^{-1}) $ 构造演化测度系统，并在适当条件下证明其存在性与唯一性。
• 通过耦合与对数 Sobolev 类似论证，为 $ p_{s,t} $ 推导出无维数哈纳克不等式，从而导出正则性性质。
• 将哈纳克不等式应用于证明半群的强 Feller 性质与收缩性，并将其推广至具有维纳噪声的半线性 SPDE。

实验结果

研究问题

• RQ1 时间非齐次广义梅勒半群如何通过斜卷积方程及其相关测度来表征？
• RQ2 时间非齐次转移核 $ \mu_{t,s} $ 的谱表示与 Lévy-Khintchine 表示分别是什么？
• RQ3 在何种条件下，此类半群的演化测度系统存在且唯一？
• RQ4 能否为非自治 Ornstein-Uhlenbeck 过程建立无维数哈纳克不等式？其正则性后果为何？
• RQ5 由维纳过程驱动的半线性非自治 Ornstein-Uhlenbeck 过程是否具有强 Feller 性质？如何通过哈纳克不等式证明？

主要发现

• 论文为时间非齐次广义梅勒半群建立了无维数哈纳克不等式，将 Wang（1997）的框架扩展至非自治设置。
• 通过推导出的哈纳克不等式，证明了转移半群 $ p_{s,t} $ 的强 Feller 性质，确保了转移密度的光滑性。
• 在演化族 $ (U(t,s)) $ 与测度族 $ (\mu_{t,s}) $ 满足较弱条件时，演化测度系统的存在性与唯一性得以确立。
• 为 $ \mu_{t,s} $ 构建了谱表示，将其分解为高斯、跳跃与漂移分量，并给出了各部分的显式形式。
• 对于由维纳过程驱动的半线性非自治 Ornstein-Uhlenbeck 过程，证明了哈纳克不等式，并建立了强 Feller 性质。
• 通过算子 $ \Pi_{t,s}^{1/2} $ 的值域刻画了非自治线性控制系统的零可控性，能量估计通过 $ |\Pi_{t,s}^{-1/2}U(t,s)x|^2 $ 给出。