[论文解读] Weighted Local Orlicz-Hardy Spaces with Applications to Pseudo-differential Operators

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

Advanced Harmonic Analysis Research参考文献 39被引用 4

一句话总结

本文通过局部极大函数定义加权局部 Orlicz-Hardy 空间 $h^ ho_ ho(\ mathbb{R}^n)$，并建立了其原子、垂直及非切向极大函数表征。证明了 $h^ ho_ ho(\ mathbb{R}^n)$ 与一类 BMO 型空间 $bmo^{ ho, ho}(\ mathbb{R}^n)$ 之间的对偶性，进而应用该框架证明了局部 Riesz 变换、局部分数阶积分算子及伪微分算子在这些空间上的有界性，将已知结果推广至一般 Orlicz 函数与局部 Muckenhoupt 权的情形。

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.

研究动机与目标

• 将加权局部 Hardy 空间理论推广至具有任意凹函数 $\Phi$（下类型 $p_\Phi \in (0,1]$）的 Orlicz 函数空间。
• 通过局部极大函数定义并表征加权局部 Orlicz-Hardy 空间 $h^\Phi_\omega(\mathbb{R}^n)$，包括原子表征与极大函数表征。
• 引入一类 BMO 型空间 $bmo^{\rho,\omega}(\mathbb{R}^n)$，并建立其与 $h^\Phi_\omega(\mathbb{R}^n)$ 之间的对偶关系。
• 在 $h^\Phi_\omega(\mathbb{R}^n)$ 的稠密子空间中发展有限原子分解理论，以提供子线性算子有界性的判别准则。
• 将该理论应用于证明局部 Riesz 变换、局部分数阶积分算子及伪微分算子在 $h^\Phi_\omega(\mathbb{R}^n)$ 上的有界性。

提出的方法

• 通过与凹函数 $\Phi$（下类型 $p_\Phi \in (0,1]$）及局部权 $\omega \in A^{\loc}_\infty(\mathbb{R}^n)$ 相关的局部极大函数，定义加权局部 Orlicz-Hardy 空间 $h^\Phi_\omega(\mathbb{R}^n)$。
• 引入函数 $\rho(t) \equiv t^{-1}/\Phi^{-1}(t^{-1})$ 以参数化原子与极大函数。
• 利用 Calderón-Zygmund 分解技术，建立 $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 如何将加权局部 Hardy 空间理论推广至具有任意凹函数 $\Phi$（下类型 $p_\Phi \in (0,1]$）的 Orlicz 函数空间？
• 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)$，局部 Riesz 变换是否在 $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$-子线性算子延拓为全空间上有界的算子。
• 局部 Riesz 变换在 $h^\Phi_\omega(\mathbb{R}^n)$ 上有界，将经典结果推广至 Orlicz-Hardy 框架。
• 在适当的 $\omega$ 与 $\Phi$ 条件下，局部分数阶积分算子有界映射 $h^{p}_{\omega^p}(\mathbb{R}^n)$ 到 $L^{q}_{\omega^q}(\mathbb{R}^n)$（$q > 1$），并映射到 $h^{q}_{\omega^q}(\mathbb{R}^n)$（$q \leq 1$）。
• 类 $S^0_{1,0}(\mathbb{R}^n)$ 的伪微分算子在 $h^\Phi_\omega(\mathbb{R}^n)$ 上有界，其算子范数受 $\|f\|_{bmo^{\rho,\omega}}$ 控制，如推论 8.20 所示。