[論文レビュー] Non Tangential Convergence for the Ornstein-Uhlenbeck Semigroup

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

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

ひとこと要約

この論文は、二つのアプローチを用いて、放物型ガウス錐内におけるオーナイシュタイン＝ウーレンバック半群の非接線的収束を確立する。一つは、切断された非接線的最大関数を用いた直接的証明であり、もう一つは一般原理に基づく証明である。後者はポアソン＝エルミート半群へと拡張可能であり、ガウス測度の幾何学的構造によって定義される非接線的アプローチ領域における両半群のほとんど everywhere での収束を示す。

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$ に関するハーディ＝リトルウッド最大関数と、$||f||_{1,\gamma_d}$ を含む点ごとの推定を用いて、非接線的最大関数 $\mathcal{T}^*_\gamma f$ の弱 $(1,1)$ 有界性を確立する。
• ボッハナーの補完公式を用いて、$P_t f(x)$ を $T_{t^2/4u}f(x)$ の $u$ を変数とするカーネルとの積分として定義する。
• $P_t$ に対しても同様の一般的議論を適用し、その最大関数が弱 $(1,1)$ であることを示すことにより、ポアソン＝エルミート半群に対しても非接線的収束が成り立つことを導く。

実験結果

リサーチクエスチョン

• RQ1 オーナイシュタイン＝ウーレンバック半群は、ガウス測度空間内において、初期関数 $f$ に対して非接線的に収束するか？
• RQ2 切断された非接線的最大関数への直接的推定によって、非接線的収束を証明できるか？
• RQ3 弱型有界性を示す最大作用素に基づく一般原理を用いて、オーナイシュタイン＝ウーレンバック半群およびポアソン＝エルミート半群の両方の非接線的収束を確立できるか？
• RQ4 最大関数の弱型推定を用いるとき、非接線的収束が成り立つ関数の集合が $L^p(\gamma_d)$ で閉じているか？
• RQ5 同じ一般枠組みを用いて、結果をポアソン＝エルミート半群へと拡張できるか？

主な発見

• オーナイシュタイン＝ウーレンバック半群 $\{T_t\}_{t>0}$ は、ガウス測度空間内において、放物型ガウス錐 $\Gamma^p_\gamma(x)$ 沿いにほとんど everywhere で $f(x)$ に非接線的に収束する。
• 非接線的最大関数 $\mathcal{T}^*_\gamma f$ は、ガウス測度 $\gamma_d$ に関して弱 $(1,1)$ であるため、$L^p(\gamma_d)$ 内で収束集合が閉じていることが保証される。
• ポアソン＝エルミート半群 $\{P_t\}_{t>0}$ に対しても、$\Gamma^p_\gamma(x)$ 沿いにほとんど everywhere で非接線的収束が成り立つ。これは同じ一般原理によって証明される。
• 証明は、$L^p(\gamma_d)$ 内での多項式の稠密性と、多項式が点ごとの非接線的収束を満たすという事実に依拠している。
• 一般枠組みにより、最大関数の弱型推定を $L^p$ 空間内の収束結果へと転送できる。
• 多項式の稠密性と収束集合の閉じ性により、すべての $f \in L^p(\gamma_d)$、$1 \leq p \leq \infty$ に対して結果が成り立つ。