[论文解读] Fine properties of branch point singularities: Two-valued harmonic functions

Brian Krummel, Neshan Wickramasekera|arXiv (Cornell University)|Nov 4, 2013

Nonlinear Partial Differential Equations参考文献 6被引用 14

一句话总结

本论文通过证明分支集是具有正(n-2)维Hausdorff测度的C^{1,ν}-正则、(n-2)-可求和集的局部有限并集，揭示了双值调和函数中分支点奇点的精细局部结构——包括Dirichlet能量极小化和C^{1,ν}调和情形。关键贡献在于证明了测度的可数(n-2)-可求和性与局部有限性，将奇点集的Hausdorff维数≤n-2的已知结论，推进为更强的几何与分析结构，包括在爆破极限中误差项的尖锐L^2与点态衰减估计。

ABSTRACT

In the 1980's, Almgren developed a theory of multi-valued Dirichlet energy minimizing functions on $n$ dimensional domains and used it, in an essential way, to bound the Hausdorff dimension of the singular sets of area minimizing rectifiable currents of dimension $n$ and codimension $\geq 2$. Recent work of the second author shows that two-valued $C^{1, μ}$ harmonic functions on $n$ dimensional domains, which are typically-non-minimizing stationary points of Dirichlet energy, play an essential role in the study of multiplicity 2 branch points of stable codimension 1 rectifiable currents of dimension $n$. In all of these cases (of multi-valued harmonic functions and minimal currents), it is known that the branch sets have Hausdorff dimension $\leq n-2.$ In this paper we initiate a study of the local structure of branch sets. We show that the branch set of a two-valued Dirichlet energy minimizing function or a two-valued $C^{1, μ}$ harmonic function, in each closed ball of its domain, is either empty or has positive $(n-2)$-dimensional Hausdorff measure and is equal to the union of a finite number of locally compact, locally $(n-2)$-rectifiable sets. Our method is inspired by the work of L. Simon on the structure of singularities of minimal submanifolds in compact, multiplicity 1 classes.

研究动机与目标

• 理解双值调和函数中分支点奇点的精细几何与分析结构。
• 将分支集Hausdorff维数的已知上界（≤n-2）扩展为更强的正则性结果。
• 证明双值Dirichlet能量极小化或C^{1,ν}调和函数的分支集是局部有限个C^{1,ν}-正则、(n-2)-可求和集的并集，且具有正(n-2)维Hausdorff测度。
• 证明在分支点处，函数与其爆破极限之间误差的尖锐L^2与点态衰减估计。
• 表明分支集具有零2-容量，此性质源于其正则结构。

提出的方法

• 利用频率单调性与爆破分析研究分支点处能量的渐近行为。
• 应用粗略表示引理，将分支集分解为可处理的组成部分。
• 推导过剩能量的先验非集中估计，以控制奇点附近的能量集中。
• 使用齐次、对称、双值、能量极小化函数作为模型极限进行爆破分析。
• 利用L^2衰减估计与调和函数理论，控制函数与其爆破极限之间的误差。
• 利用频率的上半连续性与紧致性论证，证明分支集的局部可求和性与正则性。

实验结果

研究问题

• RQ1 双值Dirichlet能量极小化函数的分支集的精确局部几何结构是什么？
• RQ2 双值C^{1,ν}调和函数的分支集能否被分解为正则、可求和的片段？
• RQ3 双值调和函数与其爆破极限在分支点处的误差衰减速率如何？
• RQ4 在分支点的每个邻域内，分支集是否具有正(n-2)维Hausdorff测度？
• RQ5 此类函数的分支集在测度与可求和性上是否局部有限？

主要发现

• 双值Dirichlet能量极小化或C^{1,ν}调和函数的分支集\mathcal{B}_u，在其定义域的每个闭球内，要么为空集，要么具有正(n-2)维Hausdorff测度。
• 分支集\mathcal{B}_u等于局部紧致、局部(n-2)-可求和集的有限并。
• 对\mathcal{H}^{n-2}-几乎处处的Z∈\mathcal{B}_u，其在Z处的唯一爆破极限为形如\{ \pm \operatorname{Re}(c_Z (x_1 + i x_2)^{k_Z/2}) \}的对称、齐次、双值、能量极小化函数。
• 归一化函数与其爆破极限之间的L^2误差以σ^{k_Z + \gamma_Z}的速率衰减，其中γ_Z > 0，且在Z上一致成立。
• 在分支点Z_0附近，分支集是n-2维的C^{1,α}子流形，且具有统一的衰减估计。
• 在半径为σ/2的邻域内，点态误差|\epsilon_Z(X)|^2被C σ^{k_{Z_0} + \gamma_{Z_0}/(2n)}有界，证实了奇点集的尖锐正则性。