[논문 리뷰] Maximal function characterizations for Hardy spaces associated to nonnegative self-adjoint operators on spaces of homogeneous type

Liang Song, Lixin Yan|arXiv (Cornell University)|2016. 05. 25.

Advanced Harmonic Analysis Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 공간의 동차성 조건을 만족하는 공간에서 비음수 자기수반 연산자와 관련된 최대 및 원자 하디 공간의 등가성을, 가우시안 열핵 상한 조건 하에 공간 변수에서의 정규성 조건 없이 확립한다. $ H^p_{L,\text{max}}(X) \simeq H^p_{L,\text{at},q,M}(X) $ 를 $ 0 < p \leq 1 $, $ q > p $, $ M > \frac{n}{2}(\frac{1}{p} - 1) $ 에 대해 증명하며, 칼라메론 유형 분해와 최대 함수 추정을 통해 이를 달성한다.

ABSTRACT

Let $X$ be a metric measure space with a doubling measure and $L$ be a nonnegative self-adjoint operator acting on $L^2(X)$. Assume that $L$ generates an analytic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ satisfy Gaussian upper bounds but without any assumptions on the regularity of space variables $x$ and $y$. In this article we continue a study in \cite{SY} to give an atomic decomposition for the Hardy spaces $ H^p_{L,max}(X)$ in terms of the nontangential maximal function associated with the heat semigroup of $L$, and hence we establish characterizations of Hardy spaces associated to an operator $L$, via an atomic decomposition or the nontangential maximal function. We also obtain an equivalence of $ H^p_{L, max}(X)$ in terms of the radial maximal function.

연구 동기 및 목표

• 공간의 동차성 조건에서 비음수 자기수반 연산자와 관련된 최대 및 원자 하디 공간의 등가성을 확립하기 위해.
• 이전 연구에서 요구된 바와 같이 열핵의 공간 변수에서의 허더 연속성 가정을 제거하기 위해.
• 가우시안 상한 조건 하에 $ H^p_L(X) $ 의 최대 함수 특성과 원자 분해가 등가임을 증명하기 위해.
• 최대 함수 특성의 보완으로 반지름 최대 함수를 포함하여 연산자 기반 하디 공간의 특성을 완성하기 위해.
• 이전 결과를 유클리드 공간에서 더 넓은 범위의 동차 공간과 척도 측정을 갖는 공간으로 일반화하기 위해.

제안 방법

• 최대 함수 노름에서 직접 원자 분해를 구성하기 위해 칼라메론 유형 분해 기법을 적응한다.
• 최대 하디 공간 $ H^p_{L,\text{max}}(X) $ 를 정의하는 데 중심 도구로 비탄성 최대 함수 $ f^*_L(x) = \sup_{d(x,y)<t} |e^{-t^2L}f(y)| $ 를 사용한다.
• 열핵 $ p_t(x,y) \leq \frac{C}{V(x,t)} \exp\left(-\frac{d(x,y)^2}{ct}\right) $ 에 대한 가우시안 상한을 적용하여 연산자 노름과 적분 추정을 제어한다.
• 푸리에 변환이 컴actsupport를 갖는 함수 $ \Psi $ 와 분할을 통한 주파수 및 시간 척도의 이중 분할을 활용한다.
• Fourier 변환이 컴actsupport를 갖는 $ \Psi(t\sqrt{L}) $ 와 $ t^2Le^{-t^2L} $ 를 포함하는 적분 연산자에 대해 칼라메론 재생 공식과 최대 함수 기법을 사용하여 추정한다.
• 이중 측도의 구조를 활용하여 약형 추정과 존-니레버그 부등식을 통해 최대 함수의 $ L^p $ 추정을 확립한다.

실험 결과

연구 질문

• RQ1 비음수 자기수반 연산자와 관련된 하디 공간의 최대 함수 특성이, 공간 변수에서의 정규성 조건 없이 원자 분해와 등가임을 보일 수 있는가?
• RQ2 가우시안 열핵 상한 조건만을 만족할 때, 공간의 동차성 조건에서 $ H^p_{L,\text{max}}(X) \simeq H^p_{L,\text{at},q,M}(X) $ 가 성립하는가?
• RQ3 연산자 기반 하디 공간 설정에서 반지름 최대 함수는 비탄성 최대 함수와 등가인가?
• RQ4 칼라메론 유형 분해는 동차 공간과 이중 측도를 갖는 공간으로 일반화되어, 핵에 대한 부드러움 가정 없이 적용 가능한가?
• RQ5 원자 및 최대 하디 공간이 일치하는 매개변수 $ p, q, M $ 의 최적 범위는 무엇인가?

주요 결과

• 가우시안 상한 조건 하에 $ 0 < p \leq 1 $, $ q > p $, 정수 $ M > \frac{n}{2}(\frac{1}{p} - 1) $ 에 대해 최대 하디 공간 $ H^p_{L,\text{max}}(X) $ 와 원자 하디 공간 $ H^p_{L,\text{at},q,M}(X) $ 가 등가임을 보였다.
• 이전 연구에서 요구한 바와 같이 열핵의 공간 변수에서의 허더 연속성 조건 없이도 등가성이 성립함을 보였다.
• 반지름 최대 함수 $ f^*_{L,\text{rad}}(x) = \sup_{t>0} |e^{-t^2L}f(x)| $ 는 비탄성 최대 함수와 등가이며, 따라서 $ H^p_{L,\text{rad}}(X) \simeq H^p_{L,\text{max}}(X) $ 이다.
• 면적 함수 특성 $ H^p_{L,S}(X) $ 는 최대 및 원자 공간과 등가이며, 전체 특성 체인을 완성한다: $ H^p_{L,\text{at},q,M} \simeq H^p_{L,S} \simeq H^p_{L,\text{max}} \simeq H^p_{L,\text{rad}} $.
• 증명은 수정된 칼라메론 재생 공식과 $ \Psi(t\sqrt{L}) $ 를 포함하는 적분 연산자의 $ L^p $ 추정에 기반하며, 시간 및 공간에 대해 균일한 상한을 갖는다.
• 등가성 상수는 핵의 정규성에 따라 달라지지 않고, 오직 이중 측도 상수와 가우시안 매개변수에만 의존한다.