[论文解读] Harmonic functions, conjugate harmonic functions and the Hardy space $H^1$ in the rational Dunkl setting

Jean-Philippe Anker, Jacek Dziubański+1 more|arXiv (Cornell University)|Feb 19, 2018

Mathematical Analysis and Transform Methods参考文献 17被引用 7

一句话总结

本文通过使用与Dunkl拉普拉斯算子 $\Delta$ 相关的共轭调和函数，将经典的Hardy空间理论推广到有理Dunkl设定中。它利用原子、Riesz变换、极大函数和Littlewood-Paley平方函数，建立了等价刻画，将经典结果推广至具有不变测度和群作用的Dunkl调和设定。

ABSTRACT

In this work we extend the theory of the classical Hardy space $H^1$ to the rational Dunkl setting. Specifically, let $Δ$ be the Dunkl Laplacian on a Euclidean space $\mathbb{R}^N$. On the half-space $\mathbb{R}_+ imes\mathbb{R}^N$, we consider systems of conjugate $(\partial_t^2+Δ_{\mathbf{x}})$-harmonic functions satisfying an appropriate uniform $L^1$ condition. We prove that the boundary values of such harmonic functions, which constitute the real Hardy space $H^1$, can be characterized in several different ways, namely by means of atoms, Riesz transforms, maximal functions or Littlewood-Paley square functions.

研究动机与目标

• 将经典的Hardy空间 $H^1$ 理论推广至由反射群和多重函数控制对称性的有理Dunkl设定。
• 将实Hardy空间 $H^1_\Delta$ 定义为满足在上半空间 $\mathbb{R}_+ \times \mathbb{R}^N$ 上 $L^1$ 条件的 $(\partial_t^2 + \Delta_\mathbf{x})$-调和函数的边界值空间。
• 通过原子、Riesz变换、极大函数和Littlewood-Paley平方函数，建立 $H^1_\Delta$ 的等价刻画，与欧氏调和分析中的经典结果相呼应。
• 将原子分解与平方函数理论推广至Dunkl设定，结合群不变测度与Dunkl算子。

提出的方法

• 通过Dunkl算子 $T_\xi$ 在 $\mathbb{R}^N$ 上定义Dunkl拉普拉斯算子 $\Delta$，该算子通过根系 $R$ 和多重函数 $k$ 索引的反射项对方向导数进行变形。
• 利用Dunkl核和Dunkl变换，构造与Dunkl拉普拉斯算子相关的Poisson和热半群。
• 在上半空间 $\mathbb{R}_+ \times \mathbb{R}^N$ 上引入共轭 $\Delta$-调和函数系，满足涉及Dunkl拉普拉斯算子的广义Cauchy-Riemann方程。
• 通过 $L^1$-有界性和Calderón再生公式，建立原子分解、Riesz变换、极大函数和Littlewood-Paley平方函数对 $H^1_\Delta$ 刻画的等价性。
• 使用形如 $\Psi = \Delta^{M+1} \Psi^{\{1\}}$ 的Calderón再生公式，其中 $\Psi^{\{1\}}$ 是紧支集于 $B(0,1/4)$ 的径向 $C^\infty$ 函数，从其平方函数重构函数。
• 通过从 $T_2^1$ 原子 $A_j$ 构造原子 $a_j = \pi_\Psi(A_j)$，证明原子分解，确保 $\|a_j\|_{L^1(dw)} \leq C$ 且其支集与 $(1,2,M)$-原子相容。

实验结果

研究问题

• RQ1 经典的Hardy空间 $H^1$ 理论能否推广至由反射群和多重函数控制对称性的有理Dunkl设定？
• RQ2 上半空间 $\mathbb{R}_+ \times \mathbb{R}^N$ 上 $\Delta$-调和函数的边界值在Dunkl设定中是否可通过原子、Riesz变换、极大函数和平方函数实现等价刻画？
• RQ3 是否存在一种类似Calderón的再生公式，使得 $L^1$ 函数能从其平方函数中重构？
• RQ4 能否构造 $H^1_\Delta$ 中的原子分解，使得原子满足与Dunkl测度和群轨道相容的 $L^1$-范数有界性和支集条件？
• RQ5 Dunkl拉普拉斯算子及其相关半群的性质如何影响Hardy空间理论中极大函数与平方函数的行为？

主要发现

• 实Hardy空间 $H^1_\Delta$ 被刻画为满足上半空间 $\mathbb{R}_+ \times \mathbb{R}^N$ 上一致 $L^1$ 条件的 $\Delta$-调和函数的边界值空间。
• 空间 $H^1_\Delta$ 可通过原子、Riesz变换、极大函数和Littlewood-Paley平方函数实现等价刻画，将经典结果推广至Dunkl设定。
• 构造了 $H^1_\Delta$ 的原子分解，使得每个原子 $a_j$ 满足 $\|a_j\|_{L^1(dw)} \leq C$，且其支集位于某个球的 $G$-轨道上，同时满足 $a_j = \Delta^M b_j$，其中 $b_j$ 的 $L^2$-范数受控。
• 通过Littlewood-Paley $g$-函数建立了 $H^1_\Delta$ 的平方函数刻画，满足 $\|Sf\|_{L^1(dw)} \lesssim \|F\|_{T_2^1}$，其中 $F(t,x) = Q_t f(x)$ 为热延拓。
• 使用Calderón再生公式从其平方函数重构 $f \in L^1(dw)$，确保 $f = \sum_j \lambda_j a_j$ 且 $\sum_j |\lambda_j| \leq C \|F\|_{T_2^1}$，从而证明了 $H^1_\Delta$ 中的原子分解。
• 证明依赖于热核及其导数的 $L^1$-估计，利用Dunkl测度 $dw$ 的体积加倍与反向加倍性质，并控制 $\Delta^s b_j$ 在 $s = 0,1,\dots,M$ 时的 $L^1$-范数。