[论文解读] A PDE Characterization of Anisotropic Hardy Spaces

Marcin Bownik, Li-An Daniel Wang|arXiv (Cornell University)|Nov 20, 2020

Advanced Harmonic Analysis Research参考文献 17被引用 5

一句话总结

本文通过利用由各向异性膨胀矩阵诱导的连续膨胀群，将各向异性 Hardy 空间 $H_A^p$ 与抛物型 Hardy 空间联系起来，建立了其 PDE 特征刻画。关键结果是 $H_A^p$ 与关联于连续群 $\{A_t\}$ 的抛物型 Hardy 空间 $H_{\{A_t\}}^p$ 完全一致，从而可通过一个其基本解定义该空间的抛物型 PDE 实现微分特征刻画。

ABSTRACT

We obtain a differential characterization for the anisotropic Hardy space $H_A^p$ by identifying it with a parabolic Hardy space associated with a general continuous group. This allows $H_A^p$ to be defined using a parabolic differential equation of Calderon and Torchinsky. We also provide a classification of dilations corresponding to equivalent anisotropic Hardy spaces with respect to linear transformations.

研究动机与目标

• 解决各向异性 Hardy 空间 $H_A^p$ 是否可通过偏微分方程（PDE）实现特征刻画的开放问题。
• 建立各向异性 Hardy 空间与关联于连续膨胀群的抛物型 Hardy 空间之间的联系。
• 修正并扩展在线性变换下各向异性 Hardy 空间的分类，特别是纠正早期工作中存在的错误。
• 研究在相同连续膨胀群下，不同齐次准范数是否对 $0 < p \leq 1$ 产生相同的 Hardy 空间。

提出的方法

• 引入一类广义的连续膨胀群 $\{A_t\}_{t>0}$，其推广了经典抛物型设定，以容纳各向异性膨胀矩阵。
• 构造形如 $\frac{\partial u}{\partial t} = \frac{1}{t}(D_t^{-1}\Delta D_t)u$ 的抛物型 PDE，其基本解为 $\tilde{\Phi}_t(x) = t^{-1}\Phi(A_t^{-1}x)$，其中 $D_t$ 为膨胀算子。
• 将各向异性 Hardy 空间 $H_A^p$ 定义为所有满足 $\sup_{\tilde{\rho}(x-y) < t} |(\tilde{\Phi}_t * f)(x)|$ 属于 $L^p$ 的温和分布 $f$ 的集合。
• 证明每个各向异性膨胀矩阵 $A$ 均生成唯一的连续群 $\{A_t\}$，该群保持相同的几何结构，从而可实现 $H_A^p = H_{\{A_t\}}^p$ 的识别。
• 利用抛物型 Hardy 空间理论与基本解理论，建立 $H_A^p$ 与关联于 $\{A_t\}$ 的抛物型 Hardy 空间之间的等价性。
• 应用齐次类型齐次空间理论，分析关联 PDE 算子 $L$ 的非对角估计与 Davies-Gaffney 性质。

实验结果

研究问题

• RQ1 每个各向异性 Hardy 空间 $H_A^p$ 是否可通过抛物型微分算子的基本解实现 PDE 特征刻画？
• RQ2 各向异性 Hardy 空间 $H_A^p$ 是否可与关联于连续膨胀群 $\{A_t\}$ 的抛物型 Hardy 空间相等同？
• RQ3 对于同一连续膨胀群 $\{A_t\}$，两个不同的齐次准范数 $\tilde{\rho}_1$ 与 $\tilde{\rho}_2$ 是否生成相同的 Hardy 空间 $H_L^p$（$0 < p \leq 1$）？
• RQ4 关联于 $\{A_t\}$ 的 PDE 的基本解是否满足 Davies-Gaffney 非对角估计？
• RQ5 线性变换如何影响各向异性 Hardy 空间的等价性？此类空间在变换下的正确分类是什么？

主要发现

• 各向异性 Hardy 空间 $H_A^p$ 恰好等于由各向异性膨胀矩阵 $A$ 生成的连续群 $\{A_t\}$ 关联的抛物型 Hardy 空间 $H_{\{A_t\}}^p$，从而实现了完整的 PDE 特征刻画。
• PDE（1.1）的解 $u(x,t) = f * \tilde{\Phi}_t(x)$ 满足正则性条件 $\sup_{\tilde{\rho}(x-y) < t} |(\tilde{\Phi}_t * f)(x)| \in L^p$ 当且仅当 $f \in H_A^p$，从而提供了最大函数特征刻画。
• 本文修正并扩展了文献 [2] 中定理 10.3 的结果，提供了在线性变换下各向异性 Hardy 空间的精细化分类，表明两个矩阵诱导等价 Hardy 空间当且仅当它们通过保持群结构的线性变换相互共轭。
• 对于 $p > 1$，Hardy 空间 $H_A^p$ 与 $H_{\{A_t\}}^p$ 与 $L^p$ 一致，与经典结果一致，但当使用不同准范数时，$0 < p \leq 1$ 下的等价性仍为开放问题。
• PDE（1.1）的基本解 $\tilde{\Phi}_t$ 满足齐次性 $\tilde{\rho}(A_t x) = t \tilde{\rho}(x)$，确保其与膨胀群的几何结构相容。
• 本文未解决的问题是：对于同一连续群，不同准范数是否在 $0 < p \leq 1$ 下产生相同的 Hardy 空间，尽管已证明 $H^p \subseteq H_Q^p$ 对于乘积 Poisson 核 $Q$ 成立，而反向包含关系尚未解决。