[论文解读] Non Tangential Convergence for the Ornstein-Uhlenbeck Semigroup

Ebner Pineda, Wilfredo Urbina|ArXiv.org|Nov 2, 2006

Mathematical functions and polynomials参考文献 5被引用 8

一句话总结

本文通过两种方法建立了在抛物高斯锥体内奥恩斯坦-乌伦贝克半群的非切向收敛性：一种是通过截断非切向极大函数的直接证明，另一种是基于一般原理的证明。后者可推广至泊松-埃勒米特半群，证明了在高斯测度几何定义的非切向逼近区域中，两个半群均几乎处处收敛。

ABSTRACT

In this paper we are going to get the non tangential convergence, in an appropriated parabolic "gaussian cone", of the Ornstein-Uhlenbeck semigroup in providing two proofs of this fact. One is a direct proof by using the truncated non tangential maximal function associated. The second one is obtained by using a general statement. This second proof also allows us to get a similar result for the Poisson-Hermite semigroup.

研究动机与目标

• 在高斯测度下，建立奥恩斯坦-乌伦贝克半群在抛物高斯锥体中的非切向收敛性。
• 提供两种不同的证明：一种是利用截断非切向极大函数的直接证明，另一种是基于涉及弱型极大算子的一般原理的证明。
• 通过相同的一般原理，将非切向收敛结果推广至泊松-埃勒米特半群。
• 证明满足非切向收敛性的函数集合在 $L^p(\gamma_d)$ 中是闭的，利用极大函数的弱型估计。
• 利用多项式的稠密性与弱型连续性，得出非切向收敛性对所有 $f \in L^p(\gamma_d)$ 成立。

提出的方法

• 将抛物高斯锥体 $\Gamma^p_\gamma(x)$ 定义为满足 $|y - x| < t^{1/2} \wedge \frac{1}{|x|} \wedge 1$ 的点 $(y,t)$ 的集合，以捕捉高斯测度空间中的非切向逼近。
• 使用截断非切向极大函数 $\mathcal{T}^*_\gamma f(x) = \sup_{(y,t) \in \Gamma^p_\gamma(x)} |T_t f(y)|$ 来控制逐点收敛性。
• 应用一般原理：若非切向极大算子为弱 $(1,1)$，则满足几乎处处非切向收敛的函数集合在 $L^p(\gamma_d)$ 中是闭的。
• 通过高斯测度 $\gamma_d$ 下的 Hardy-Littlewood 极大函数以及涉及 $||f||_{1,\gamma_d}$ 的逐点估计，建立非切向极大函数 $\mathcal{T}^*_\gamma f$ 的弱 $(1,1)$ 有界性。
• 利用博赫纳次序公式，将泊松-埃勒米特半群 $P_t f(x)$ 定义为对 $T_{t^2/4u}f(x)$ 关于包含 $u$ 的核的积分。
• 通过证明其极大函数为弱 $(1,1)$，将相同的一般论证应用于 $P_t$，从而得出泊松-埃勒米特半群的非切向收敛性。

实验结果

研究问题

• RQ1 在高斯测度空间中，奥恩斯坦-乌伦贝克半群是否沿非切向方式收敛于初值函数 $f$？
• RQ2 能否通过截断非切向极大函数的直接估计证明非切向收敛性？
• RQ3 能否基于极大算子弱型有界性的通用原理，为奥恩斯坦-乌伦贝克半群与泊松-埃勒米特半群建立非切向收敛性？
• RQ4 在极大函数的弱型估计下，满足非切向收敛性的函数集合在 $L^p(\gamma_d)$ 中是否为闭集？
• RQ5 该结果是否可通过相同的一般框架推广至泊松-埃勒米特半群？

主要发现

• 奥恩斯坦-乌伦贝克半群 $\{T_t\}_{t>0}$ 几乎处处沿抛物高斯锥体 $\Gamma^p_\gamma(x)$ 收敛于 $f(x)$。
• 非切向极大函数 $\mathcal{T}^*_\gamma f$ 关于高斯测度 $\gamma_d$ 为弱 $(1,1)$，确保了收敛函数集合在 $L^p(\gamma_d)$ 中的闭性。
• 泊松-埃勒米特半群 $\{P_t\}_{t>0}$ 沿 $\Gamma^p_\gamma(x)$ 也满足几乎处处的非切向收敛性，该结论通过相同的一般原理得到证明。
• 证明依赖于 $L^p(\gamma_d)$ 中多项式的稠密性，以及多项式满足非切向收敛的逐点性质。
• 通用框架使得极大函数的弱型估计可被转移至 $L^p$ 空间中的收敛性结果。
• 由于收敛集合的闭性与多项式的稠密性，该结果对所有 $f \in L^p(\gamma_d)$，$1 \leq p \leq \infty$ 成立。