[论文解读] Anisotropic Hardy-Lorentz spaces with variable exponents

Víctor Almeida, Jorge J. Betancor+1 more|arXiv (Cornell University)|Jan 18, 2016

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

一句话总结

本文引入了与扩张型膨胀矩阵相关的 $ \mathbb{R}^n$  上的变指数各向异性 Hardy-Lorentz 空间，建立了极大函数刻画与原子分解。主要贡献在于将各向异性 Hardy-Lorentz 理论扩展至变指数 Lorentz 空间，在变指数和权函数的最优条件下，通过极大函数准则与原子分解，为这些新型函数空间建立了完整的实变量理论。

ABSTRACT

In this paper we introduce Hardy-Lorentz spaces with variable exponents associated to dilation in ${\Bbb R}^n$. We establish maximal characterizations and atomic decompositions for our variable exponent anisotropic Hardy-Lorentz spaces.

研究动机与目标

• 定义并研究与 $ \mathbb{R}^n$  上扩张型膨胀矩阵相关的变指数各向异性 Hardy-Lorentz 空间。
• 将 Hardy-Lorentz 空间的实变量理论推广至变指数情形。
• 利用各向异性极大算子，建立这些新 Hardy-Lorentz 空间的极大函数刻画。
• 发展变指数各向异性 Hardy-Lorentz 空间的原子分解理论。
• 确定变指数 $p(\cdot)$ 和 $q(\cdot)$ 以及权函数的最优条件，以保证奇异积分算子在这些空间上的有界性。

提出的方法

• 将变指数各向异性 Hardy-Lorentz 空间 $H^{p(\cdot),q(\cdot)}(\mathbb{R}^n,A)$ 定义为所有满足其各向异性极大函数属于变指数 Lorentz 空间 $\mathcal{L}^{p(\cdot),q(\cdot)}(\mathbb{R}^n)$ 的温和分布的集合。
• 利用各向异性极大函数 $\mathcal{M}_A(f) = \sup_{k \in \mathbb{Z}} |f * \varphi_{A,k}|$ 进行刻画，其中 $\varphi_{A,k}(x) = |\det A|^{-k} \varphi(A^{-k}x)$，以表征 Hardy-Lorentz 空间。
• 通过构造适应于膨胀矩阵 $A$ 所诱导的各向异性几何结构的原子，建立原子分解，这些原子满足取消性与大小条件。
• 通过证明在变指数和 Muckenhoupt 型权函数下，奇异积分算子 $T$ 在原子上的算子范数一致有界，从而证明其在这些空间上的有界性。
• 使用变指数 Lorentz 空间范数 $\|f\|_{p(\cdot),q(\cdot)} = \inf \{ \lambda > 0 : \int_0^\infty \left( \frac{\lambda^{-1} f^*(t)}{\rho(t)} \right)^{q(t)} dt \leq 1 \}$，其中 $\rho(t)$ 与膨胀结构相关。
• 应用外推法与加权范数不等式，包括 $A_1$ 和逆 Hölder 条件，以控制极大函数与原子分解。

实验结果

研究问题

• RQ1 如何在各向异性设定下将 Hardy-Lorentz 空间推广至包含变指数？
• RQ2 各向异性 Hardy-Lorentz 空间在变指数情形下存在何种极大函数刻画？
• RQ3 能否为这些新型变指数各向异性 Hardy-Lorentz 空间构造原子分解？
• RQ4 变指数 $p(\cdot)$ 和 $q(\cdot)$ 以及权函数应满足何种条件，才能保证奇异积分算子在这些空间上的有界性？
• RQ5 这些空间的插值性质与经典及各向异性 Hardy-Lorentz 空间相比如何？

主要发现

• 本文通过各向异性极大算子 $\mathcal{M}_A$ 建立了 $H^{p(\cdot),q(\cdot)}(\mathbb{R}^n,A)$ 的极大函数刻画，证明 $f \in H^{p(\cdot),q(\cdot)}(\mathbb{R}^n,A)$ 当且仅当 $\mathcal{M}_A(f) \in \mathcal{L}^{p(\cdot),q(\cdot)}(\mathbb{R}^n)$。
• 为 $H^{p(\cdot),q(\cdot)}(\mathbb{R}^n,A)$ 中的函数构造了原子分解，其中原子满足适应于各向异性膨胀结构的大小与取消条件。
• Calderón-Zygmund 奇异积分算子 $T$ 在 $H^{p(\cdot),q(\cdot)}(\mathbb{R}^n,A)$ 上的算子范数有界，其界仅依赖于权函数 $\nu$ 的 $A_1$ 与逆 Hölder 常数，而与原子的尺度无关。
• 原子准范数与极大函数准范数等价，等价常数依赖于 $[\nu]_{\mathcal{A}_1(\mathbb{R}^n,A)}$ 与 $[\nu]_{RH_{(r/p_0)'}(\mathbb{R}^n,A)}$，确保了分解的鲁棒性。
• 本理论在 Liu、Yang 与 Yuan 的固定指数各向异性 Hardy-Lorentz 空间研究基础上进行了扩展，现包含变指数与更一般的权函数。
• 由于 $p(\cdot)$ 与 $q(\cdot)$ 对 $(0,\infty)$ 的双重依赖关系，这些空间的插值结果无法直接从经典或固定指数各向异性理论中推广，需采用新方法。