[논문 리뷰] A maximal function characterization for Hardy spaces associated to nonnegative self-adjoint operators satisfying Gaussian estimates

Liang Song, Lixin Yan|arXiv (Cornell University)|2015. 03. 12.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 가우시안 추정을 만족하는 비음수 자기수반 연산자와 관련된 하르트 공간에 대해, 열 반군의 비접선 최대함수를 사용하여 최대함수 특성화를 수립한다. 주요 기여는 영역 함수로 정의된 하르트 공간과 원자 분해로 정의된 하르트 공간 간의 동치성을 증명함으로써, 라플라스 연산자 이외의 연산자에 대한 고전적 하르트 공간 이론을 확장하는 데 있다. 칼데론의 기법을 수정하여 적용하였다.

ABSTRACT

Let $L$ be a nonnegative, self-adjoint operator satisfying Gaussian estimates on $L^2(\RR^n)$. In this article we give an atomic decomposition for the Hardy spaces $ H^p_{L,max}(\R)$ in terms of the nontangential maximal functions associated with the heat semigroup of $L$, and this leads eventually to characterizations of Hardy spaces associated to $L$, via atomic decomposition or the nontangential maximal functions. The proofs are based on a modification of technique due to A. Calderón \cite{C}.

연구 동기 및 목표

• 라플라스 연산자 이외의 연산자 L에 대해 고전적 하르트 공간 이론을 확장한다. 특히 가우시안 추정을 만족하는 연산자에 대해.
• 이러한 연산자와 관련된 하르트 공간 $ H^p_{L,\text{max}}(\mathbb{R}^n) $에 대한 최대함수 특성화를 수립한다.
• 영역 함수 정의와 원자 분해 정의로 정의된 $ H^p_L $ 간의 동치성을 증명하여 고전 결과를 연산자 설정으로 일반화한다.
• 열 반군과 비접선 최대함수를 통한 하르트 공간에 대한 통합된 프레임워크를 제공한다.

제안 방법

• 가우시안 추정을 만족하는 비음수 자기수반 연산자 설정에 칼데론의 기법을 적응시킨다.
• 열 반군 $ e^{-t^2L}f $ 의 비접선 최대함수를 이용해 하르트 공간 $ H^p_{L,\text{max}} $ 를 정의한다.
• 연산자 $ L $ 과 관련된 $ (p,q,M) $-원자와 함께 $ L^M b $ 를 포함한 상쇄 조건을 이용해 $ H^p_{L,\text{max}} $ 의 원자 분해를 수립한다.
• $ 1 < p < \infty $ 에서 $ L^p $ 에서의 영역 함수 $ S_L f $ 의 유계성을 증명하고, 이중 분할과 핵심 추정을 통해 최대함수와의 관계를 규명한다.
• 공간의 이중 분할과 핵심 추정을 사용하여 연산자 $ \Psi(t\sqrt{L}) $ 의 지지 집합과 감쇠를 제어함으로써 최대함수 제어를 가능하게 한다.
• 열 반군 이론과 가우시안 경계를 적용하여 원자 및 최대함수 특성화가 동치임을 검증한다.

실험 결과

연구 질문

• RQ1 고전적 최대함수 특성화가 비음수, 자기수반이고 가우시안 추정을 만족하는 연산자 L 에 대해 확장될 수 있는가?
• RQ2 비접선 최대함수를 통해 정의된 하르트 공간 $ H^p_{L,\text{max}}(\mathbb{R}^n) $ 이 $ 0 < p \leq 1 $ 에 대해 원자 하르트 공간 $ H^p_{L,\text{at},q,M}(\mathbb{R}^n) $ 과 동치인가?
• RQ3 영역 함수 $ S_L f $ 가 하르트 공간 $ H^p_L $ 정의에서 최대함수와 동치가 되도록 하기 위해 연산자 L 에 어떤 조건이 필요한가?
• RQ4 하르트 공간 $ H^p_L $ 의 원자 분해는 $ M $, 즉 상쇄의 차수와 적분 가능성 $ q $ 의 선택에 따라 어떻게 달라지는가?
• RQ5 이론은 전자기 슈뢰딩거 연산자와 같은 특정 연산자, 예를 들어 카토 클래스 잠재력이 있는 $ L = (i\nabla - A(x))^2 + V(x) $ 에 적용 가능한가?

주요 결과

• 비음수 자기수반 연산자 $ L $ 와 관련된 하르트 공간 $ H^p_{L,\text{max}}(\mathbb{R}^n) $ 이 열 반군의 비접선 최대함수를 통해 정의될 때, $ 0 < p \leq 1 $ 에 대해 원자 하르트 공간 $ H^p_{L,\text{at},\infty,M}(\mathbb{R}^n) $ 과 동치이며, 이는 $ M > \frac{n}{2}\left(\frac{1}{p} - 1\right) $ 를 만족할 경우 성립한다.
• 영역 함수 $ S_L f $ 는 $ 1 < p < \infty $ 에서 $ L^p(\mathbb{R}^n) $ 에 유계이며, $ \|S_L f\|_{L^p} \simeq \|f\|_{L^p} $ 를 만족한다. 이는 일반적인 가우시안 추정을 만족하는 연산자에 대해 고전 결과를 확장한 것이다.
• 전자기 슈뢰딩거 연산자 $ L = (i\nabla - A(x))^2 + V(x) $ 에 대해 $ V_+ $ 가 카토 클래스에 속하고 $ \|V_-\|_K < c_n $ 를 만족할 경우, 공간 $ H^p_{L,\text{max}} $ 와 $ H^p_{L,\text{at},\infty,M} $ 는 일치한다.
• 증명은 이중 분할과 핵심 추정을 사용하여 $ \Psi(t\sqrt{L}) $ 의 지지 집합과 감쇠를 제어함으로써 최대함수 제어를 가능하게 하는 수정된 칼데론 기법의 버전에 기반한다.
• 원자 분해는 열 반군에 대해 안정적이며, $ L^M b $ 에 대한 상쇄 조건은 원자들이 연산자 $ L $ 에 적합하도록 보장한다.
• $ 1 < q \leq \infty $ 와 $ M > \frac{n}{2}(\frac{1}{p} - 1) $ 일 때, 포함관계 $ H^p_{L,\text{at},q,M} \subseteq H^p_{L,\text{rad}} $ 는 성립하지만, 역방향 포함관계는 여전히 열려있다.