[논문 리뷰] Orlicz-Hardy Spaces Associated with Operators Satisfying Davies-Gaffney Estimates

Renjin Jiang, Dachun Yang|arXiv (Cornell University)|2009. 03. 26.

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

한 줄 요약

이 논문은 메트릭 측도 공간 $ \mathcal{X} $에서 비음수 자기수반 연산자 $ L $가 Davies-Gaffney 추정을 만족할 때, 열 반군에 연결된 Lusin 영역 함수를 사용하여 Orlicz-Hardy 공간 $ H_{\omega,L}(\mathcal{X}) $를 도입한다. $ H_{\omega,L} $와 BMO 유형 공간 $ \mathrm{BMO}_{\rho,L} $ 사이의 쌍대성을 확립하고, 원자 및 분자의 특성 표현을 유도하며, $ H_{\omega,L}(\mathbb{R}^n) $에서 Riesz 변환 $ \nabla L^{-1/2} $의 유계성을 증명한다. 이는 Orlicz 및 연산자 설정으로의 고전적 하디 공간 이론의 확장이며, Orlicz 함수 $ \omega $에 대해 날카로운 조건을 갖는다.

ABSTRACT

Let ${\mathcal X}$ be a metric space with doubling measure, $L$ a nonnegative self-adjoint operator in $L^2({\mathcal X})$ satisfying the Davies-Gaffney estimate, $ω$ a concave function on $(0,\infty)$ of strictly lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for all $t\in (0,\infty).$ The authors introduce the Orlicz-Hardy space $H_{ω,L}({\mathcal X})$ via the Lusin area function associated to the heat semigroup, and the BMO-type space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. The authors then establish the duality between $H_{ω,L}({\mathcal X})$ and $\mathrm{BMO}_{ρ,L}({\mathcal X})$; as a corollary, the authors obtain the $ρ$-Carleson measure characterization of the space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. Characterizations of $H_{ω,L}({\mathcal X})$, including the atomic and molecular characterizations and the Lusin area function characterization associated to the Poisson semigroup, are also presented. Let ${\mathcal X}={\mathbb R}^n$ and $ L=-Δ+V$ be a Schrödinger operator, where $V\in L^1_{\mathrm{\,loc\,}}({\mathbb R}^n)$ is a nonnegative potential. As applications, the authors show that the Riesz transform $ abla L^{-1/2}$ is bounded from $H_{ω,L}({{\mathbb R}^n})$ to $L(ω)$; moreover, if there exist $q_1,\,q_2\in (0,\infty)$ such that $q_1<1

연구 동기 및 목표

• 측도가 두 배되는 메트릭 측도 공간 $ \mathcal{X} $에서 Davies-Gaffney 추정을 만족하는 비음수 자기수반 연산자 $ L $에 관련된 Orlicz-Hardy 공간 $ H_{\omega,L}(\mathcal{X}) $에 대한 실변수 이론을 개발한다.
• $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $인 BMO 유형 공간 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $와의 $ H_{\omega,L}(\mathcal{X}) $ 사이의 쌍대성을 확립하여, $ \rho $-Carleson 측도를 통한 $ \mathrm{BMO}_{\rho,L} $의 이중 특성 표현을 가능하게 한다.
• 열 반군과 포아송 반군을 사용하여, 원자, 분자, Lusin 영역 함수 표현을 포함한 $ H_{\omega,L}(\mathcal{X}) $의 다중 특성 표현을 제공한다.
• 국소 적분 가능하고 비음수인 $ V \geq 0 $에 대해 $ \mathbb{R}^n $ 위에서 슈뢰딩거 연산자 $ L = -\Delta + V $로 이론을 확장하고, $ \omega $에 대한 적절한 볼록 조건 하에서 $ H_{\omega,L}(\mathbb{R}^n) $에서 Riesz 변환 $ \nabla L^{-1/2} $의 유계성을 확립한다.

제안 방법

• 열 반군 $ e^{-tL} $에 관련된 Lusin 영역 함수를 사용하여, 엄격한 하위형 $ p_\omega \in (0,1] $을 가진 볼록이 아닌 Orlicz 함수 $ \omega $를 사용해 Orlicz-Hardy 공간 $ H_{\omega,L}(\mathcal{X}) $를 정의한다.
• $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $인 BMO 유형 공간 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $를 도입하고, 텐트 공간을 통한 쌍대성 쌍을 이용해 $ H_{\omega,L}(\mathcal{X}) $와 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $가 쌍대 공간임을 증명한다.
• 텐트 공간 $ T_\omega(\mathcal{X}) $에 대한 원자 분해를 확립하여, $ T_2^2\left(\mathcal{X}\right) $에서의 원자 분해를 $ T_\omega(\mathcal{X}) $로 이 trasfer할 수 있게 하여, $ H_{\omega,L}(\mathcal{X}) $의 원자 특성 표현을 가능하게 한다.
• 최대 함수 및 제곱 함수 추정과 결합하여, $ T_\omega(\mathcal{X}) $에서 $ H_{\omega,L}(\mathcal{X}) $로의 연산자 $ \pi_{\Psi,L} $의 유계성을 이용해, 비탄성 및 방사형 최대 함수를 통한 특성 표현을 도출한다.
• 분포적 추정과 $ L^{1/q_1} $에서 최대 함수 $ \mathcal{M} $의 유계성 조건 하에서, $ [\omega(t^{q_2})]^{q_1} $가 볼록일 경우, $ H_{\omega,L}(\mathbb{R}^n) $에서 Riesz 변환 $ \nabla L^{-1/2} $가 $ L(\omega) $로 유계임을 증명한다.
• 이론을 $ \mathbb{R}^n $에서 슈뢰딩거 연산자 $ L = -\Delta + V $에 적용하여, $ \omega $에 대한 볼록 조건이 성립할 경우, $ H_{\omega,L}(\mathbb{R}^n) $에서 표준 특성 표현(열린 Lusin 영역, 비탄성 최대, 방사형 최대, 원자, 분자)이 모두 동치임을 보인다.

실험 결과

연구 질문

• RQ1 Davies-Gaffney 추정을 만족하는 비음수 자기수반 연산자 $ L $에 관련된 Orlicz-Hardy 공간 $ H_{\omega,L}(\mathcal{X}) $의 적절한 정의는 무엇이며, 이는 열 반군을 통해 어떻게 특성화될 수 있는가?
• RQ2 어떻게 $ H_{\omega,L}(\mathcal{X}) $와 BMO 유형 공간 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 사이의 쌍대성을 확립할 수 있으며, 이 쌍대성은 $ \rho $-Carleson 측도를 통한 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $의 특성 표현에 어떤 의미를 갖는가?
• RQ3 Orlicz-Hardy 공간 $ H_{\omega,L}(\mathcal{X}) $의 원자 및 분자 특성 표현은 무엇이며, 이는 포아송 반군에 연결된 Lusin 영역 함수와 어떻게 관련되는가?
• RQ4 Riesz 변환 $ \nabla L^{-1/2} $는 $ H_{\omega,L}(\mathbb{R}^n) $에서 어떻게 행동하며, Orlicz 함수 $ \omega $에 대해 어떤 조건에서 $ H_{\omega,L}(\mathbb{R}^n) $에서 $ L(\omega) $로 유계가 되는가?
• RQ5 Schrödinger 연산자 $ L = -\Delta + V $가 $ \mathbb{R}^n $에서 $ V \geq 0 $일 때, $ [\omega(t^{q_2})]^{q_1} $가 볼록 조건을 만족할 경우, $ H_{\omega,L}(\mathbb{R}^n) $의 등가 특성 표현은 무엇인가?

주요 결과

• $ \rho(t) = t^{-1}/\omega^{-1}(t^{-1}) $일 때, $ H_{\omega,L}(\mathcal{X}) $와 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $ 사이의 쌍대성이 확립되며, 이 쌍대성은 $ \mathrm{BMO}_{\rho,L}(\mathcal{X}) $가 $ \rho $-Carleson 측도 특성 표현을 갖는다는 것을 의미한다.
• 함수들이 연산자 $ L $에 관련된 특정 크기, 상쇄, 스무스함 조건을 만족하는 원자 또는 분자로 분해될 수 있음을 보여주는 $ H_{\omega,L}(\mathcal{X}) $의 원자 및 분자 특성 표현이 확보된다.
• 포아송 반군에 연결된 Lusin 영역 함수는 $ H_{\omega,L}(\mathcal{X}) $에서 등가 노름을 제공하며, 이는 고전 이론을 Orlicz 및 연산자 적응 설정으로 확장한다.
• Riesz 변환 $ \nabla L^{-1/2} $는 $ H_{\omega,L}(\mathbb{R}^n) $에서 $ L(\omega) $로 유계이며, 이는 Orlicz-Hardy 공간으로의 고전 결과의 일반화이자 이 틀 내에서 특수 적분의 유계성을 확인한다.
• $ \mathbb{R}^n $에서 $ L = -\Delta + V $이 $ V \geq 0 $일 때, $ [\omega(t^{q_2})]^{q_1} $가 볼록일 경우, $ H_{\omega,L}(\mathbb{R}^n) $에서 표준 특성 표현(열린 Lusin 영역, 비탄성 최대, 방사형 최대, 원자, 분자)이 모두 동치임을 보여, 완전한 실변수 이론을 제공한다.
• 모든 결과는 $ \omega(t) = t^p $, $ p \in (0,1] $인 고전적 경우에도 새로움이며, 이전의 연산자에 관련된 하디 공간 이론을 Orlicz-Hardy 설정으로 확장하여 Orlicz 함수에 대해 날카로운 조건을 갖는다.