[论文解读] Lusin Area Function and Molecular Characterizations of Musielak-Orlicz Hardy Spaces and Their Applications

Shaoxiong Hou, Dachun Yang+1 more|arXiv (Cornell University)|Jan 10, 2012

Advanced Harmonic Analysis Research参考文献 45被引用 11

一句话总结

本文通過大最大函數，建立了 Musielak-Orlicz 哈代空間 $H_{\varphi}(\rr^n)$ 的 Lusin 面積函數與分子特徵，證明了 $\varphi$-Carleson 測度與對偶空間 $\text{BMO}_{\varphi}(\rr^n)$ 等價，從而將經典對偶結果推廣至變指數與非齊次設定。

ABSTRACT

Lusin Area Function and Molecular Characterizations of Musielak-Orlicz Hardy Spaces and Their ApplicationsLet $φ: \mathbb R^n imes [0,\infty) o[0,\infty)$ be a growth function such that $φ(x,\cdot)$ is nondecreasing, $φ(x,0)=0$, $φ(x,t)>0$ when $t>0$, $\lim_{t o\infty}φ(x,t)=\infty$, and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb{R}^n)$ weight uniformly in $t$. In this paper, the authors establish the Lusin area function and the molecular characterizations of the Musielak-Orlicz Hardy space $H_φ(\mathbb{R}^n)$ introduced by Luong Dang Ky via the grand maximal function. As an application, the authors obtain the $φ$-Carleson measure characterization of the Musielak-Orlicz ${\mathop\mathrm{BMO}}$-type space $\mathop\mathrm{BMO}_φ(\mathbb{R}^n)$, which was proved to be the dual space of $H_φ(\mathbb{R}^n)$ by Luong Dang Ky.

研究动机与目标

• 將哈代空間的實變理論推廣至 Musielak-Orlicz 設定，其中生長函數 $\varphi$ 同時依賴於空間與徑向變數。
• 透過 Lusin 面積函數與分子，建立 $H_{\varphi}(\rr^n)$ 的等價特徵，推廣經典的原子與分子分解。
• 證明 $\varphi$-Carleson 測度與對偶空間 $\beta\mu\omicron_{\varphi}(\rr^n)$ 等價，將 Fefferman-Stein 對偶性推廣至變指數與非齊次函數空間。
• 從先前研究中去除額外假設，透過消除對 $\varphi \in \mathbb{R}\mathbb{H}_2(\rr^n)$ 的需求，提升對偶結果的普遍性。

提出的方法

• 利用大最大函數定義 Musielak-Orlicz 哈代空間 $H_{\varphi}(\rr^n)$，確保與古典哈代空間的一致性。
• 透過證明與 Poisson 核相關的平方函數控制 $H_{\varphi}(\rr^n)$ 中的範數，建立 Lusin 面積函數特徵。
• 定義分子為滿足依賴於變指數生長函數 $\varphi$ 的大小、消去與正則性條件的函數，推廣古典分子概念。
• 透過構造 $H_{\varphi}(\rr^n)$ 中函數的分子分解，並控制其 $L^{\varphi}$-範數，證明分子分解。
• 利用 Plancherel 公式與對偶配對，將 $b \in \text{BMO}_{\varphi}(\rr^n)$ 對 $f \in H_{\varphi}(\rr^n)$ 的作用，與平方函數 $\varphi_t * b$ 的 $\varphi$-Carleson 測度聯繫起來。
• 透過平方函數與最大函數估計，建立 $\varphi$-Carleson 測度範數與 $\beta\mu\omicron_{\varphi}$-範數的等價性。

实验结果

研究问题

• RQ1 當 $\varphi$ 為變指數生長函數時，如何利用 Lusin 面積函數特徵化 Musielak-Orlicz 哈代空間 $H_{\varphi}(\rr^n)$？
• RQ2 在 Musielak-Orlicz 設定下，函數成為分子的必要與充分條件為何？此類分子如何生成 $H_{\varphi}(\rr^n)$？
• RQ3 $\varphi$-Carleson 測度特徵是否適用於對偶空間 $\beta\mu\omicron_{\varphi}(\rr^n)$？其與 $b$ 的平方函數有何關係？
• RQ4 是否可在不假設 $\varphi \in \mathbb{R}\mathbb{H}_2(\rr^n)$ 的前提下，建立 $H_{\varphi}(\rr^n)$ 與 $\beta\mu\omicron_{\varphi}(\rr^n)$ 之間的對偶性？
• RQ5 原子的 $L^{\varphi}$-範數、平方函數的大小與 $\varphi$-Carleson 測度之間的精確關係為何？

主要发现

• 透過大最大函數，確立了 $H_{\varphi}(\rr^n)$ 的 Lusin 面積函數特徵，顯示平方函數 $\left(\int_{\rr_+^{n+1}} |\varphi_t * f(x)|^2 \frac{dx\,dt}{t}\right)^{1/2}$ 控制 $H_{\varphi}$-範數。
• 證明了 $H_{\varphi}(\rr^n)$ 的分子分解：每個 $f \in H_{\varphi}(\rr^n)$ 可表示為 $f = \sum \lambda_j a_j$，其中 $a_j$ 為 $(\varphi,\infty)$-分子，且滿足 $\sum |\lambda_j| \|\chi_{B_j}\|_{L^\varphi} \lesssim \|f\|_{H_{\varphi}}$。
• $\varphi$-Carleson 測度與平方函數 $\varphi_t * b$ 等價，即 $\|d\mu\|_{\varphi} \sim \|b\|_{\beta\mu\omicron_{\varphi}}$，其中 $d\mu = |\varphi_t * b(x)|^2 \frac{dx\,dt}{t}$。
• 透過配對 $\int f \bar{b} \, dx \lesssim \|f\|_{H_{\varphi}} \|b\|_{\beta\mu\omicron_{\varphi}}$（至多相差常數），確認了 $H_{\varphi}(\rr^n)$ 與 $\beta\mu\omicron_{\varphi}(\rr^n)$ 之間的對偶性。
• 從先前結果中去除額外假設 $\varphi \in \mathbb{R}\mathbb{H}_2(\rr^n)$，使對偶結果更具普遍性，適用於更廣泛的生長函數類別。
• 證明了估計式 $\frac{|B_0|}{\|\chi_{B_0}\|_{L^\varphi}} \left( \frac{1}{|B_0|} \int_{\widehat{B_0}} |\varphi_t * b(x)|^2 \frac{dx\,dt}{t} \right)^{1/2} \lesssim \|b\|_{\beta\mu\omicron_{\varphi}}$，確認了 Carleson 測度條件。