[논문 리뷰] Weighted Local Orlicz-Hardy Spaces with Applications to Pseudo-differential Operators

Dachun Yang, Sibei Yang|arXiv (Cornell University)|2011. 07. 17.

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

한 줄 요약

이 논문은 국소 근사 최대 함수를 사용하여 가중 국소 오르리츠-하르디 공간 $h^\Phi_\omega(\mathbb{R}^n)$를 도입하고, 그들의 원자 표현, 수직 및 비탄성 최대 함수 표현을 확립한다. 또한 $h^\Phi_\omega(\mathbb{R}^n)$와 $bmo^{\rho,\omega}(\mathbb{R}^n)$ 유형의 BMO 공간 사이의 쌍대성을 증명하며, 이 틀을 활용해 국소 리에즈 변환, 국소 분수적 적분, 그리고 국소 미분 연산자의 유계성을 보이며, 이는 기존 결과를 일반 오르리츠 함수와 국소 멕켄하우프트 가중치로 확장한다.

ABSTRACT

Let $Φ$ be a concave function on $(0,\infty)$ of strictly lower type $p_Φ\in(0,1]$ and $ω\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$. We introduce the weighted local Orlicz-Hardy space $h^Φ_ω(\mathbb{R}^n)$ via the local grand maximal function. Let $ρ(t)\equiv t^{-1}/Φ^{-1}(t^{-1})$ for all $t\in(0,\infty)$. We also introduce the $\mathop\mathrm{BMO}$-type space $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$ and establish the duality between $h^Φ_ω(\mathbb{R}^n)$ and $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$. Several real-varaiable characterizations of $h^Φ_ω(\mathbb{R}^n)$ are presented. Using the atomic characterization, we prove the existence of finite atomic decompositions achieving the norm in some dense subspaces of $h^Φ_ω(\mathbb{R}^n)$. As applications, we show that the local Riesz transforms are bounded on $h^Φ_ω(\mathbb{R}^n)$, the local fractional integrals are bounded from { ormalsize$h^p_{ω^p}(\mathbb{R}^n)$} to { ormalsize$L^q_{ω^q}(\mathbb{R}^n)$} when $q>1$ and from { ormalsize$h^p_{ω^p}(\mathbb{R}^n)$} to { ormalsize$h^q_{ω^q}(\mathbb{R}^n)$} when $q\le 1$, and some pseudo-differential operators are also bounded on both $h^Φ_ω(\mathbb{R}^n)$. All results for any general $Φ$ even when $ω\equiv 1$ are new.

연구 동기 및 목표

• 가중 국소 하르디 공간 이론을 하위 유형 $p_\Phi \in (0,1]$인 일반적인 오목 함수 $\Phi$를 갖는 오르리츠 함수 공간으로 확장하는 것.
• 하위 유형 $p_\Phi \in (0,1]$인 오목 함수 $\Phi$와 국소 가중치 $\omega \in A^{\loc}_\infty(\mathbb{R}^n)$에 대해 국소 근사 최대 함수를 사용하여 가중 국소 오르리츠-하르디 공간 $h^\Phi_\omega(\mathbb{R}^n)$를 정의하고, 원자 표현 및 최대 함수 표현을 포함한 특성화를 수행하는 것.
• $bmo^{\rho,\omega}(\mathbb{R}^n)$ 유형의 BMO 공간을 도입하고, $h^\Phi_\omega(\mathbb{R}^n)$와의 쌍대성을 확립하는 것.
• 하위선형 연산자의 유계성 기준을 확보하기 위해 $h^\Phi_\omega(\mathbb{R}^n)$의 조밀한 부분공간에서 유한 원자 분해 이론을 개발하는 것.
• 이 이론을 적용하여 국소 리에즈 변환, 국소 분수적 적분, 그리고 미분 연산자가 $h^\Phi_\omega(\mathbb{R}^n)$ 위에서 유계임을 증명하는 것.

제안 방법

• 하위 유형 $p_\Phi \in (0,1]$인 오목 함수 $\Phi$와 국소 가중치 $\omega \in A^{\loc}_\infty(\mathbb{R}^n)$에 대해 국소 근사 최대 함수를 사용하여 가중 국소 오르리츠-하르디 공간 $h^\Phi_\omega(\mathbb{R}^n)$를 정의하는 것.
• 원자와 최대 함수를 매개변수화하기 위해 $\rho(t) \equiv t^{-1}/\Phi^{-1}(t^{-1})$ 함수를 도입하는 것.
• 칼데론-지그문드 분해 기법을 사용하여 $h^\Phi_\omega(\mathbb{R}^n)$의 원자 표현, 수직 및 비탄성 최대 함수 표현을 확립하는 것.
• 원자 분해 정리들을 통해 $h^\Phi_\omega(\mathbb{R}^n)$의 조밀한 부분공간에서 유한 원자 분해를 구성하는 것.
• 쌍대 쌍대성과 노름 추정을 사용하여 $h^\Phi_\omega(\mathbb{R}^n)$와 BMO 유형 공간 $bmo^{\rho,\omega}(\mathbb{R}^n)$ 사이의 쌍대성을 증명하는 것.
• 원자 분해와 쌍대성을 적용하여, 원자 및 단일 원자 위에서의 균일한 유계성을 확인함으로써 연산자의 유계성을 증명하는 것.

실험 결과

연구 질문

• RQ1 가중 국소 하르디 공간 이론을 하위 유형 $p_\Phi \in (0,1]$인 임의의 오목 함수 $\Phi$를 갖는 오르리츠 함수 공간으로 일반화하는 방법은 무엇인가요?
• RQ2 $h^\Phi_\omega(\mathbb{R}^n)$과 쌍대가 되는 적절한 BMO 유형 공간은 무엇이며, 이 설정에서 쌍대성은 어떻게 확립할 수 있나요?
• RQ3 $h^\Phi_\omega(\mathbb{R}^n)$의 조밀한 부분공간에서 유한 원자 분해를 구성할 수 있으며, 이는 하위선형 연산자의 유계성 기준을 가능하게 할 수 있나요?
• RQ4 일반적인 $\Phi$와 $\omega \in A^{\loc}_\infty(\mathbb{R}^n)$에 대해 국소 리에즈 변환은 $h^\Phi_\omega(\mathbb{R}^n)$ 위에서 유계입니까?
• RQ5 클래스 $S^0_{1,0}(\mathbb{R}^n)$에 속하는 미분 연산자는 $h^\Phi_\omega(\mathbb{R}^n)$를 자기 자신으로 유계적으로 보냅니까? 이에 필요한 조건은 무엇인가요?

주요 결과

• 공간 $h^\Phi_\omega(\mathbb{R}^n)$는 $(\rho, q, s)_\omega$-원자로 구성된 원자 분해를 갖으며, $\rho(t) = t^{-1}/\Phi^{-1}(t^{-1})$이고, 원자 노름은 국소 근사 최대 함수 노름과 동치이다.
• $h^\Phi_\omega(\mathbb{R}^n)$의 쌍대 공간은 $bmo^{\rho,\omega}(\mathbb{R}^n)$로 식별되며, 쌍대 쌍대성은 정확한 노름 추정과 쌍대 곱을 통해 확립된다.
• $h^\Phi_\omega(\mathbb{R}^n)$의 조밀한 부분공간에서 유한 원자 분해가 존재하며, 이는 $B_\beta$-하위선형 연산자가 원자 위에서 유계이면 전체 공간 위에서도 유계가 되도록 확장할 수 있음을 가능하게 한다.
• 국소 리에즈 변환은 $h^\Phi_\omega(\mathbb{R}^n)$ 위에서 유계이며, 고전적 결과를 오르리츠-하르디 설정으로 확장한다.
• 적절한 조건 하에서 $\omega$와 $\Phi$에 대해 국소 분수적 적분은 $h^{p}_{\omega^p}(\mathbb{R}^n)$에서 $L^{q}_{\omega^q}(\mathbb{R}^n)$로 $q > 1$일 때, 그리고 $q \leq 1$일 때는 $h^{q}_{\omega^q}(\mathbb{R}^n)$로 유계이다.
• 클래스 $S^0_{1,0}(\mathbb{R}^n)$에 속하는 미분 연산자는 $h^\Phi_\omega(\mathbb{R}^n)$ 위에서 유계이며, 연산자 노름은 $\|f\|_{bmo^{\rho,\omega}}$에 의해 제어되며, 이는 정리 8.20에서 보여진다.