[论文解读] Hardy-Hodge Decomposition of Vector Fields in $Rn$

Laurent Baratchart, Pei Dang+1 more|arXiv (Cornell University)|Feb 14, 2017

Algebraic and Geometric Analysis参考文献 9被引用 4

一句话总结

本文为 $\mathbb{R}^n$ 中的向量场建立了 Hardy-Hodge 分解，证明了任意取值于 $\mathbb{R}^{n+1}$ 的 $L^p$ 向量场（$1<p<\infty$）可分解为 $\mathbb{R}^{n+1}$ 中上半空间与下半空间的调和梯度的迹之和，再加上一个在 $\mathbb{R}^n$ 上的无散切向向量场。关键贡献在于对以散度形式表示的零势场的刻画，通过 Clifford Hardy 空间与奇异积分将其与该分解联系起来。

ABSTRACT

We prove that a $IR n+1$-valued vector field on IR n is the sum of the traces of two harmonic gradients, one in each component of $IR n+1 \ IR n$ , and of a $IR n$-valued divergence free vector field. We apply this to the description of vanishing potentials in divergence form. The results are stated in terms of Clifford Hardy spaces, the structure of which is important for our study.

研究动机与目标

• 将复分析中的经典 Hardy 分解推广至 $\mathbb{R}^n$ 中的高维情形。
• 刻画在 $\mathbb{R}^n$ 中生成以散度形式表示的零势场的向量场。
• 利用 Clifford 分析建立 $L^p(\mathbb{R}^n, \mathbb{R}^{n+1})$ 向量场在调和梯度迹与无散分量之间的分解。
• 为理解反磁静力学问题中无辐射磁化分布提供理论框架。
• 通过 Calder\'on-Zygmund 理论与 Clifford Hardy 空间，将 $n=2$ 时的结果推广至任意 $n \geq 3$。

提出的方法

• 作者利用 Clifford 分析在 $\mathbb{R}^{n+1}$ 的上半空间与下半空间中定义了取值于 para-向量的正则函数，其为复分析中解析函数的推广。
• 引入 Clifford Hardy 空间 $H^p(\mathcal{H}_\pm, \mathbb{R}^n_1)$ 以刻画调和梯度的边界极限。
• 该分解依赖于 Cauchy-Clifford 积分表示以及非切向极大函数，以控制 $L^p$ 范数。
• 使用奇异积分算子，特别是 Cauchy-Clifford 算子 $C^\pm$，将向量场投影到 Hardy 空间分量上。
• 该方法涉及将向量场 $\psi \in L^p(\mathcal{P}, \mathbb{R}^{n+1})$ 分解为 $\psi = \psi^+ + \psi^- + \psi^0$，其中 $\psi^\pm$ 属于 Hardy 空间，$\psi^0$ 为无散场。
• 证明利用了在保向仿射等距变换下的不变性，将一般情形约化至标准超平面 $\{0\} \times \mathbb{R}^n$。

实验结果

研究问题

• RQ1 能否将 $\mathbb{R}^n$ 中取值于 $\mathbb{R}^{n+1}$ 的向量场分解为 $\mathbb{R}^{n+1}$ 中上下两个半空间的调和梯度的迹之和，再加上一个无散分量？
• RQ2 在 $\mathbb{R}^{n+1} \setminus \mathcal{P}$ 的两个半空间中，哪些向量场会产生零势场？其精确刻画为何？
• RQ3 Hardy-Hodge 分解与 $\mathbb{R}^n$ 上的经典 Hodge 分解有何关系？
• RQ4 Clifford Hardy 空间与 Cauchy-Clifford 积分在将复分析技巧推广至高维中起到何种作用？
• RQ5 在何种意义上，$\mathcal{P}$ 上的无散向量场是唯一在两个半空间中均不产生磁场的源？

主要发现

• 任意取值于 $\mathbb{R}^{n+1}$ 的 $L^p(\mathbb{R}^n, \mathbb{R}^{n+1})$ 向量场（$1 < p < \infty$）均可分解为 $\mathbb{R}^{n+1}$ 中上半空间与下半空间的调和梯度迹之和，以及一个在 $\mathbb{R}^n$ 上无散的切向向量场。
• 在超平面 $\mathcal{P} \subset \mathbb{R}^{n+1}$ 上的向量场 $\psi$ 生成的势场 $P_{\text{div}\,\psi}$ 在两个半空间 $\mathcal{H}_\pm$ 中均消失，当且仅当 $\psi$ 为无散且切于 $\mathcal{P}$。
• 当且仅当 $\psi^\mp = 0$ 时，$\psi^\mp$ 的 Cauchy-Clifford 积分的标量部在 $\mathbb{R}^n$ 上消失，这刻画了零势场条件。
• $H^p(\mathbb{R}^n_{1,\mp}, \mathbb{R}^n_1)$ 中函数的标量部的非切向边界极限的 $L^p$-范数是 Hardy 空间上的等价范数，从而实现了对分解的控制。
• 该分解将 $n=2$ 时 [1] 的结果推广至所有 $n \geq 3$，其结构保持为调和梯度与无散场的组合。
• 该方法建立了无声磁化分布与无散场之间的联系，解释了反磁化问题的不适定性。