[논문 리뷰] Non Tangential Convergence for the Ornstein-Uhlenbeck Semigroup

Ebner Pineda, Wilfredo Urbina|ArXiv.org|2006. 11. 02.

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)$ 이면, 거의 everywhere 비접선 수렴을 갖는 함수의 집합이 $L^p(\gamma_d)$ 에서 닫혀 있음을 보여주는 일반 원칙을 적용한다.
• 가우시안 측도 $\gamma_d$ 에 대한 하디-리틀우드 최대함수와 $||f||_{1,\gamma_d}$ 를 포함하는 점별 추정을 사용하여 비접선 최대함수 $\mathcal{T}^*_\gamma f$ 의 약한 $(1,1)$ 유계성을 확립한다.
• 보흐너 하향 공식을 사용하여 포아송-에르미트 준군 $P_t f(x)$ 를 $u$ 를 포함하는 커널에 대해 $T_{t^2/4u}f(x)$ 의 적분으로 정의한다.
• 비슷한 일반적 추론을 $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$ 공간의 수렴 결과로 이 trasfer 할 수 있다.
• 비접선 수렴 집합의 닫힘과 다항식의 밀도 덕분에 결과는 모든 $f \in L^p(\gamma_d)$, $1 \leq p \leq \infty$ 에 대해 성립한다.