[논문 리뷰] Non-tangential maximal functions and conical square functions with respect to the Gaussian measure

Jan Maas, Jan van Neerven외 1명|arXiv (Cornell University)|2010. 03. 22.

Advanced Harmonic Analysis Research참고 문헌 14인용 수 9

한 줄 요약

이 논문은 가우시안 조화해석학에서 핵심 부등식을 확립하며, $L^1({\mathbb{R}}^n; \gamma)$에서의 원추형 제곱함수들이 비접선 최대함수에 의해 노름으로 제어됨을 보여, 가우시안 측도의 비이중성으로 인한 과제를 극복한다. 저자들은 적합한 구를 사용하고 광범위를 바꾸는 공식을 도입함으로써, 고전적 하르디 공간 이론을 가우시안 설정으로 확장한다.

ABSTRACT

We study, in $L^{1}(\R^n;γ)$ with respect to the gaussian measure, non-tangential maximal functions and conical square functions associated with the Ornstein-Uhlenbeck operator by developing a set of techniques which allow us, to some extent, to compensate for the non-doubling character of the gaussian measure. The main result asserts that conical square functions can be controlled in $L^1$-norm by non-tangential maximal functions. Along the way we prove a change of aperture result for the latter. This complements recent results on gaussian Hardy spaces due to Mauceri and Meda.

연구 동기 및 목표

• 최근의 진전에도 불구하고 아직 완료되지 않은 가우시안 측도에 대한 $H^1$ 공간 이론을 개발하기 위해.
• 가우시안 측도의 비이중성으로 인해 가우시안 조화해석학에서 $L^1$ 추정이 어려운 문제를 다루기 위해.
• $L^1(\gamma)$에서 원추형 제곱함수들이 비접선 최대함수에 의해 제어됨을 확립함으로써, 하르디 공간 이론의 핵심 요소를 확립하기 위해.
• 적합한 구와 이진 분할 기법을 사용하여 고전적 최대함수 및 제곱함수 기법을 가우시안 설정으로 확장하기 위해.

제안 방법

• 가우시안 측도가 이중성이 되는 영역인 $r \leq a \min(1, 1/|x|)$인 적합한 구 $B(x,r)$를 사용하여 분석을 국소화하기 위해.
• 코이프만–마이어–스타인 추정과 유사한 비접선 최대함수에 대한 광범위를 바꾸는 공식을 개발하기 위해.
• 가우시안 측도에 적합한 평균화된 비접선 최대함수와 원추형 제곱함수를 도입하기 위해.
• 가우시안 측도의 기하학적 복잡성을 다루기 위해 웨이트니 유사 커버링과 이진 기법을 적용하기 위해.
• 이진 분할과 커버링 보조정리를 사용하여 제곱함수의 $L^1$ 노름을 최대함수를 통해 제어하기 위해.
• 적절한 수준의 집합과 적합한 구에서의 측도 감쇠 분석을 통해 약한 유형 $(1,1)$ 추정을 확립하기 위해.

실험 결과

연구 질문

• RQ1 원추형 제곱함수 $S_a u$가 $L^1({\mathbb{R}}^n; \gamma)$에서 비접선 최대함수에 의해 제어될 수 있는가?
• RQ2 가우시안 측도의 비이중성은 $L^1$ 조화해석학에서 어떻게 보완될 수 있는가?
• RQ3 가우시안 설정에서 비접선 최대함수에 대해 광범위를 바꾸는 공식이 성립하는가?
• RQ4 이진 기법과 적합한 구를 사용하여 고전적 하르디 공간 이론을 가우시안 측도로 확장할 수 있는가?
• RQ5 제곱함수와 최대함수의 비적합한 부분과 전체 하르디 공간 이론 사이의 관계는 무엇인가?

주요 결과

• 원추형 제곱함수 $S_a u$는 $\|S_a u\|_{L^1(\gamma)} \lesssim \|T^*_{(1,a')}u\|_{L^1(\gamma)}$를 만족하며, 여기서 $T^*_{(1,a')}u$는 비접선 최대함수이므로 주요 제어 결과가 확립된다.
• 비접선 최대함수에 대해 광범위를 바꾸는 공식이 증명되었으며, 이는 고전 결과를 가우시안 설정으로 확장한다.
• 저자들은 $\gamma(\complement F_\sigma^*) \lesssim \gamma(\complement F_\sigma)$를 보였으며, 이는 수준 집합을 사용한 $L^1$ 추정에 핵심적이다.
• 증명은 여섯 개의 이진형 원추 $\Gamma^{(A^{(j)},a^{(j)})}_x$로의 분해에 기반하며, 각 원추가 노름 추정에 균일하게 기여한다.
• 이 결과는 원추형 제곱함수의 $L^1$ 유계성은 최대함수의 유계성에 의해 유도됨을 시사하며, 이는 가우시안 하르디 공간 이론의 완전한 체계를 위한 핵심 단계이다.
• 저자들은 반대 부등식(최대함수의 제곱함수에 의한 제어)이 아직 열려 있으며, 비적합한 척도 $t > a m(x)$를 다루기 위해 새로운 기법이 필요하다고 지적한다.