[论文解读] Musielak-Orlicz Campanato Spaces and Applications

Yiyu Liang, Dachun Yang|arXiv (Cornell University)|Jan 29, 2013

Advanced Harmonic Analysis Research参考文献 35被引用 6

一句话总结

本文引入了 Musielak-Orlicz Campanato 空间 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$，推广了经典的 Campanato 和 BMO 空间，并建立了其与 Musielak-Orlicz Hardy 空间 $H^\varphi(\mathbb{R}^n)$ 的对偶性。一个关键结果是 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 的 John-Nirenberg 不等式，由此导出 $\varphi$-Carleson 测度的刻画，并将对偶性理论推广至变指数和加权情形。

ABSTRACT

Let $φ: \mathbb R^n imes [0,\infty) o[0,\infty)$ be such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb R^n)$ weight uniformly in $t$. In this article, the authors introduce the Musielak-Orlicz Campanato space ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$ and, as an application, prove that some of them is the dual space of the Musielak-Orlicz Hardy space $H^φ(\mathbb R^n)$, which in the case when $q=1$ and $s=0$ was obtained by L. D. Ky [arXiv: 1105.0486]. The authors also establish a John-Nirenberg inequality for functions in ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$ and, as an application, the authors also obtain several equivalent characterizations of ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$, which, in return, further induce the $φ$-Carleson measure characterization of ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$.

研究动机与目标

• 通过使用具有 $A_\infty$ 权的变指标 Orlicz 函数 $\varphi(x,t)$，推广经典 Campanato 和 BMO 空间，引入 Musielak-Orlicz Campanato 空间 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$。
• 建立 Musielak-Orlicz Hardy 空间 $H^\varphi(\mathbb{R}^n)$ 与空间 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 之间的对偶性，推广已知的 $q=1$，$s=0$ 情形的结果。
• 证明 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 中函数的 John-Nirenberg 型不等式，为刻画这些空间提供关键工具。
• 推导 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 的等价刻画，并由此获得 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 的 $\varphi$-Carleson 测度刻画。

提出的方法

• 通过在所有球 $B$ 上对 $f - P_B^s f$ 的 $L^q$ 半范数取上确界来定义 Musielak-Orlicz Campanato 空间 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$，并以 $|B|^{-\beta}$ 进行归一化，其中 $\beta = \frac{1}{q} - \frac{1}{q} + \text{与 } \varphi \text{ 相关}$。
• 使用次数不超过 $s$ 的多项式投影 $P_B^s f$ 消除局部多项式行为，确保半范数的尺度不变性。
• 通过 Calderón-Zygmund 分解和 $A_\infty$ 权的性质，估计分布函数的指数衰减，从而证明 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 的 John-Nirenberg 不等式。
• 利用 dyadic 分解、tent 空间范数和原子分解，建立 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 的等价刻画。
• 通过平方函数 $\phi_t * b$ 的范数，将空间 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 与 $\varphi$-Carleson 测度联系起来，证明 $\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$。
• 利用 $H^\varphi(\mathbb{R}^n)$ 的原子分解和 Plancherel 公式进行对偶性论证，证明 $\|f\|_{H^\varphi} \|d\mu\|_\varphi \gtrsim \left|\int f \bar{b} \, dx\right|$，从而证明 $b \in \mathcal{L}_{\varphi,1,s}$。

实验结果

研究问题

• RQ1 经典 $H^1(\mathbb{R}^n)$ 与 $\mathrm{BMO}(\mathbb{R}^n)$ 之间的对偶性能否推广至 Musielak-Orlicz Hardy 空间与 Campanato 空间？
• RQ2 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 中的 Musielak-Orlicz Campanato 空间是否成立 John-Nirenberg 不等式，从而推广经典情形？
• RQ3 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 的等价刻画能否通过 tent 空间范数或原子分解给出？
• RQ4 能否通过平方函数估计和对偶性建立 $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 的 $\varphi$-Carleson 测度刻画？
• RQ5 当 $\varphi$ 为变指标时，新空间 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 与加权 BMO 或 Orlicz BMO 等现有函数空间有何关系？

主要发现

• 当 $\varphi(x,\cdot)$ 为 Orlicz 函数且 $\varphi(\cdot,t)$ 关于 $t$ 一致为 $\mathbb{R}^n$ 上的 $A_\infty$ 权时，Musielak-Orlicz Campanato 空间 $\mathcal{L}_{\varphi,q,s}(\mathbb{R}^n)$ 是良好定义的，确保了足够的正则性。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 中存在 John-Nirenberg 不等式，意味着 $f - P_B^s f$ 的分布函数具有指数衰减，这对对偶性至关重要。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 是 Musielak-Orlicz Hardy 空间 $H^\varphi(\mathbb{R}^n)$ 的对偶空间，推广了经典对偶性 $H^1(\mathbb{R}^n)^* = \mathrm{BMO}(\mathbb{R}^n)$。
• $\mathcal{L}_{\varphi,1,s}(\mathbb{R}^n)$ 的 $\varphi$-Carleson 测度刻画已建立：当且仅当对所有 $b \in \mathcal{L}_{\varphi,1,s}$，有 $\|d\mu\|_\varphi \lesssim \|b\|_{\mathcal{L}_{\varphi,1,s}}$，测度 $d\mu$ 为 $\varphi$-Carleson 测度。
• 该对偶性结果将 Ky（2011）的工作推广至 $q \in [1,\infty)$ 和 $s \in \mathbb{Z}_+$ 的完整范围，并通过平方函数和 tent 空间给出了新刻画。
• 当 $\varphi(x,t) = w(x)t$ 且 $w \in A_1(\mathbb{R}^n)$，$p \in (0,1)$ 时，结果为新结果，提供了对非标准权和指数的全新推广。