[논문 리뷰] Hardy spaces associated with non-negative self-adjoint operators

Shai Dekel, G. Kerkyacharian외 2명|arXiv (Cornell University)|2014. 09. 01.

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

한 줄 요약

이 논문은 비가역적 메트릭 측도 공간에서 비음수 자기수반 연산자와 그 열핵이 가우시안 유계, 헬더 연속성, 마르코프 성질을 만족하는 조건 하에서 $0 < p \leq 1$ 인 경우 최대 Hardy 공간 $H^p$와 원자 Hardy 공간 $H^p_A$의 등가성을 확립한다. 주요 기여는 고전적 Calderón-Zygmund 분해를 피하는 새로운 원자 분해 방법을 제시하여 일반적인 기하학적 및 해석적 조건 하에서 $H^p = H^p_A$이 성립하고, 동치의 quasi-노름을 갖는다는 것이다.

ABSTRACT

Maximal and atomic Hardy spaces Hp and HAp , are considered in the setting of a doubling metric measure space in the presence of a non-negative self-adjoint operator whose heat kernel has Gaussian localization and the Markov property. It is shown that Hp = HAp with equivalent norms.

연구 동기 및 목표

• 일반적인 기하학적 설정에서 최대 Hardy 공간 $H^p$와 원자 Hardy 공간 $H^p_A$ 사이의 등가성을 확립하기 위해.
• 고전적 Calderón-Zygmund 분해를 피하는 새로운 원자 분해 방법을 개발하기 위해.
• 비음수 자기수반 연산자를 갖는 일반적인 메트릭 측도 공간으로 Littlewood-Paley 이론과 함수 공간 이론을 확장하기 위해.
• 새로운 방법이 추상적 설정 뿐 아니라 $\mathbb{R}^n$ 상의 고전적 결과를 재구성할 수 있음을 입증하기 위해.
• 다항식 체적 성장, 리만 다양체, 가중 영역을 포함한 다양한 공간에서 Hardy 공간의 통합적 프레임워크를 제공하기 위해.

제안 방법

• 열핵의 성질을 이용해 $L^p$ quasi-노름을 갖는 $\sup_{t>0}|e^{-t^2L}f(x)|$ 를 이용해 최대 Hardy 공간 $H^p$ 를 정의한다.
• 해당 연산자의 고유공간에서 유도된 $L^n b$ ($b \in D(L^n)$) 로부터 생성된 원자들을 사용하여 원자 Hardy 공간 $H^p_A$ 를 정의하며, $k=0,\dots,n$ 에 대해 $L^k b$ 의 지지집합과 크기 조건을 부여한다.
• Calderón-Zygmund 분해를 피하는 기능 해석학과 열핵 추정을 기반으로 한 새로운 분해 기법을 사용한다.
• 열핵 유계성과 헬더 연속성을 활용한 새로운 방법을 통해 $H^p \subset H^p_A$ 를 증명함으로써 등가성을 확립한다.
• 측도 성장과 구의 포함 관계 제어를 위해 비가역 조건, 역비가역 조건, 비붕괴 조건을 활용한다.
• 내재된 메트릭 $\rho(x)$ 와 관련된 반경을 갖는 공의 최대 이산 덮개를 사용하여 분해의 오버랩과 균일성을 제어한다.

실험 결과

연구 질문

• RQ1 비가역 메트릭 측도 공간에서 비음수 자기수반 연산자를 갖는 조건 하에서 최대 Hardy 공간 $H^p$ 와 원자 Hardy 공간 $H^p_A$ 가 일치함을 보일 수 있는가?
• RQ2 Calderón-Zygmund 분해를 피하면서도 $H^p$ 와 $H^p_A$ 의 등가성을 증명할 수 있는 새로운 원자 분해 방법이 존재하는가?
• RQ3 고전적 $\mathbb{R}^n$ 상의 Hardy 공간 결과는 리만 다양체, 리치 곡률이 아래에서 유계된 다양체, 또는 가중 도메인과 같은 더 일반적인 공간으로 얼마나 넓게 확장될 수 있는가?
• RQ4 열핵의 성질—가우시안 유계, 헬더 연속성, 마르코프 성질—이 등가 Hardy 공간 노름의 구성에 어떻게 기여하는가?
• RQ5 비가역, 역비가역, 비붕괴 조건은 원자 분해에 사용된 덮개의 유한성과 균일성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 지정된 설정 하에서 $0 < p \leq 1$ 인 경우 최대 Hardy 공간 $H^p$ 와 원자 Hardy 공간 $H^p_A$ 는 집합으로서 동일하다.
• 두 공간은 동치의 quasi-노름을 지닌다. 즉, $\|f\|_{H^p} \asymp \|f\|_{H^p_A}$ 이다.
• $H^p \subset H^p_A$ 를 증명하는 데 사용된 방법은 Calderón-Zygmund 분해를 사용하지 않는 새로운 분해 기법에 기반하며, 이는 중요한 방법론적 진전이다.
• 이 방법은 $\mathbb{R}^n$, 리치 곡률이 아래에서 유계된 리만 다양체, 다항식 체적 성장이 있는 동차 공간을 포함한 광범위한 공간 클래스에 균일하게 적용된다.
• 공 $B(x, \rho(x)/5)$ 에 대한 덮개 레미마는 오버랩되는 공의 수에 대해 균일한 유계 $K \leq 70^d c_0^2$ 를 제공하여 원자 분해의 균일성을 보장한다.
• 차분 연산자와 푸리에 역변환을 통해 생성된 함수 $\varphi$ 는 영점에서의 비영값과 영점 모멘트를 갖는 슈와르츠 함수를 보장하며, 이는 원자 분해에 있어 핵심적이다.