[论文解读] On the Ornstein-Uhlenbeck operator in convex sets of Banach spaces

Gianluca Cappa|arXiv (Cornell University)|Mar 10, 2015

Numerical methods in inverse problems参考文献 7被引用 3

一句话总结

本文在配备高斯测度的无限维可分巴拿赫空间的开凸子集上，为奥恩斯坦-乌伦贝克算子建立了庞加莱不等式与对数索博列夫不等式。通过有限维逼近与德修舍尔-施鲁克方法，证明了该算子的谱性质，并在不依赖马里亚文微积分或维纳混沌分解的前提下推导出函数不等式。

ABSTRACT

We study the Ornstein-Uhlenbeck operator and the Ornstein-Uhlenbeck semigroup in an open convex subset of an infinite dimensional separable Banach space $X$. This is done by finite dimensional approximation. In particular we prove Logarithmic-Sobolev and Poincaré inequalities, and thanks to these inequalities we deduce the spectral properties of the Ornstein-Uhlenbeck operator.

研究动机与目标

• 研究无限维可分巴拿赫空间 $X$ 的开凸子集 $\Omega$ 上的奥恩斯坦-乌伦贝克算子及其在 $L^2(\Omega, \gamma)$ 中的关联半群。
• 在缺乏显式特征函数表示或维纳混沌分解的情况下，为该算子在这些域上建立庞加莱与对数索博列夫不等式。
• 利用函数不等式推导奥恩斯坦-乌伦贝克算子的谱性质。
• 通过分析工具与有限维逼近，提供一种简化证明，避免对马里亚文微积分的过度依赖。

提出的方法

• 通过 $\Omega$ 的柱状逼近，利用有限维奥恩斯坦-乌伦贝克算子逼近无限维奥恩斯坦-乌伦贝克算子。
• 采用德修舍尔-施鲁克方法，从半群性质推导庞加莱与对数索博列夫不等式。
• 使用卡梅伦-马丁空间梯度 $\nabla_H$ 的分部积分公式及卡梅伦-马丁空间 $H$ 的性质。
• 建立半群 $T^\Omega(t)$ 的次马尔可夫性与压缩性，包括 $[T^\Omega(t)(fg)]^2 \leq T^\Omega(t)(f^2)T^\Omega(t)(g^2)$ 与 $|\nabla_H T^\Omega(t)f|_H \leq e^{-t} T^\Omega(t)|\nabla_H f|_H$。
• 应用法图引理，并通过 $\mathcal{F}C^1_b(\Omega)$ 中的柱状函数逼近，将不等式延拓至完整的索伯列夫空间 $W^{1,2}(\Omega, \gamma)$。
• 利用费尼奎定理控制 $\|x\|_X$ 的增长，并确保子线性函数的乘法保持 $L^2(\Omega, \gamma)$ 可积性。

实验结果

研究问题

• RQ1 在缺乏维纳混沌分解的前提下，是否可在无限维巴拿赫空间的凸子集上为奥恩斯坦-乌伦贝克算子建立庞加莱与对数索博列夫不等式？
• RQ2 该算子在这些域上的谱性质是什么？它们如何从函数不等式中推导得出？
• RQ3 能否通过有限维逼近证明奥恩斯坦-乌伦贝克算子生成的半群具有次马尔可夫性与压缩性？
• RQ4 对域 $\Omega$ 的有限维逼近如何实现无限维全局不等式的推导？
• RQ5 卡梅伦-马丁空间梯度 $\nabla_H$ 在确保无限维设定下不等式有效性方面起什么作用？

主要发现

• 庞加莱不等式成立：对所有 $f \in W^{1,2}(\Omega, \gamma)$，有 $\int_\Omega \left|f - \int_\Omega f\,d\gamma\right|^2 d\gamma \leq \int_\Omega |\nabla_H f|_H^2 d\gamma$。
• 对数索博列夫不等式成立：对所有 $f \in W^{1,2}(\Omega, \gamma)$，有 $\int_\Omega f^2 \log(f^2)\,d\gamma \leq \int_\Omega |\nabla_H f|_H^2\,d\gamma + \|f\|_{L^2(\Omega,\gamma)}^2 \log(\|f\|_{L^2(\Omega,\gamma)}^2)$。
• 半群 $T^\Omega(t)$ 是次马尔可夫的：若 $0 \leq f \leq 1$ $\gamma$-几乎处处，则对所有 $t > 0$，有 $0 \leq T^\Omega(t)f \leq 1$ $\gamma$-几乎处处。
• 半群满足逐点不等式 $|\nabla_H T^\Omega(t)f|_H \leq e^{-t} T^\Omega(t)|\nabla_H f|_H$，对所有 $f \in W^{1,2}(\Omega, \gamma)$ 与 $t \geq 0$ 成立。
• 对任意满足 $|v(x)| \leq k(\|x\|_X + 1)$ 的可测函数 $v$，泛函 $\Lambda_v: f \mapsto fv$ 在 $W^{1,2}(\Omega, \gamma)$ 上连续，这是由于对数索博列夫不等式。
• 对所有 $\varphi \in \mathcal{F}C^1_b(\Omega)$ 且 $\varphi \geq c^2$，有 $\lim_{t \to \infty} T^\Omega(t)\varphi = m_\Omega(\varphi)$ 在 $L^2(\Omega, \gamma)$ 中成立，该极限被用于通过熵的导数积分推导对数索博列夫不等式。