[论文解读] Weighted Hardy spaces associated with elliptic operators. Part III: Characterizations of $H_L^{p}(w)$ and the weighted Hardy space associated with the Riesz transform

Cruz Prisuelos-Arribas|arXiv (Cornell University)|Feb 15, 2017

Advanced Harmonic Analysis Research参考文献 14被引用 7

一句话总结

该论文针对二阶强椭圆型微分算子 $L$，在 $0 < p < 1$ 范围内，利用热半群与泊松半群导出的锥平方函数和非切向极大函数，建立了加权 Hardy 空间 $H^p_L(w)$ 的分子表征。进一步证明了这些空间在 $p \in W_w(p^-(L), p^+(L))$ 范围内同构于 $L^p(w)$，并展示了通过 Riesz 变换 $\nabla L^{-1/2}$ 和平方函数 $S_H$ 定义的 Hardy 空间在特定 $p$ 与 $q$ 值范围内的等价性。结果推广了无权理论，并通过外推法与非对角估计，实现了加权结果的最优范围扩展。

ABSTRACT

We consider Muckenhoupt weights $w$, and define weighted Hardy spaces $H^p_{\mathcal{T}}(w)$, where $\mathcal{T}$ denotes a conical square function or a non-tangential maximal function defined via the heat or the Poisson semigroup generated by a second order divergence form elliptic operator $L$. In the range $0

研究动机与目标

• 为与二阶散度型椭圆算子 $L$ 相关的加权 Hardy 空间 $H^p_L(w)$（$0 < p < 1$）提供分子表征。
• 建立 $H^p_T(w)$ 与 $L^p(w)$ 在 $p \in W_w(p^-(L), p^+(L))$ 范围内的同构关系，其中 $T$ 表示锥平方函数或非切向极大函数。
• 证明在某些 $p$ 与 $q$ 值范围内，通过 Riesz 变换 $\nabla L^{-1/2}$ 和平方函数 $S_H$ 定义的 Hardy 空间 $H^p_{\nabla L^{-1/2},q}(w)$ 与 $H^p_{S_H,q}(w)$ 等价。
• 通过外推法、非对角估计与复插值技术，扩展加权 Hardy 空间理论，确保当 $w \equiv 1$ 时，能完全恢复无权理论结果。

提出的方法

• 利用 Muckenhoupt 权 $w$，通过热半群与泊松半群导出的锥平方函数和非切向极大函数，定义加权 Hardy 空间 $H^p_T(w)$。
• 应用复插值与外推技术，将 $L^p(w)$ 上的有界性结果推广至 Hardy 空间。
• 采用半群 $\{e^{-t^2L}\}_{t>0}$ 与 $\{e^{-tL}\}_{t>0}$ 的非对角估计，控制算子范数与衰减行为。
• 在加权 Lebesgue 空间中定义分子，构造 $H^p_L(w)$ 的分子分解（$0 < p < 1$），确保与加权范数相容。
• 利用 tent 空间理论与锥平方函数的加权范数不等式，推导有界性与对偶性结果。
• 通过范数估计与插值，证明 $H^p_{\nabla L^{-1/2},q}(w)$ 与 $H^p_{S_H,q}(w)$ 的等价性，依赖于 $\nabla L^{-1/2}$ 与 $S_H$ 在 $L^p(w)$ 上的有界性。

实验结果

研究问题

• RQ1 当二阶散度型椭圆算子 $L$ 给定时，如何利用分子表征 $0 < p < 1$ 的加权 Hardy 空间 $H^p_L(w)$？
• RQ2 在何种 $p$ 范围内，$H^p_T(w)$ 与 $L^p(w)$ 同构，其中 $T$ 为与 $L$ 相关的锥平方函数或非切向极大函数？
• RQ3 在加权设定下，通过 Riesz 变换 $\nabla L^{-1/2}$ 与平方函数 $S_H$ 定义的 Hardy 空间在何种条件下等价？
• RQ4 是否仅通过加权 Lebesgue 空间中的成员资格与非对角估计，即可建立 $0 < p < 1$ 时 $H^p_L(w)$ 的分子表征，而无需依赖点态核界？
• RQ5 当 $w \equiv 1$ 时，这些结果在多大程度上能完全恢复 Hofmann、Mayboroda 与 McIntosh 的无权理论？

主要发现

• 对于 $0 < p < 1$，加权 Hardy 空间 $H^p_L(w)$ 可通过 $L^p(w)$ 中的分子实现分子表征，且分子范数等价于平方函数或极大函数范数。
• 当 $p \in W_w(p^-(L), p^+(L))$ 时，空间 $H^p_T(w)$ 与 $L^p(w)$ 同构，且同构关系在权类中一致。
• Riesz 变换 $\nabla L^{-1/2}$ 与平方函数 $S_H$ 生成的 Hardy 空间等价：当 $p \in W_w(q^-(L), q^+(L))$ 且 $q \in W_w(q^-(L), q^+(L))$ 时，有 $H^p_{\nabla L^{-1/2},q}(w) = H^p_{S_H,q}(w)$。
• 分子分解在加权范数不等式下保持稳定，且分子自然属于 $L^p(w)$，从而支持插值与外推技术的应用。
• 通过设置 $w \equiv 1$，结果完全恢复了文献 [26] 与 [27] 的无权理论，且通过外推法得到的有界性范围为最优。
• 证明依赖于涉及非对角衰减、tent 空间范数与 $\nabla L^{-1/2}$ 的加权 $L^p$ 有界性的精确估计，常数仅依赖于 $n$、$p$ 与权 $w$ 的 $A_p$ 特征。