[论文解读] Fine properties of branch point singularities: Dirichlet energy minimizing multi-valued functions

Brian Krummel, Neshan Wickramasekera|arXiv (Cornell University)|Nov 16, 2017

Nonlinear Partial Differential Equations参考文献 17被引用 3

一句话总结

本文证明了 R^n 中的 q 值 Dirichlet 能量极小函数在趋近其奇点集时表现出指数衰减，且在 H^{n-2}-几乎处处的奇点处具有唯一的齐次柱面对称切函数（爆破极限）。关键结果是奇点集为可数 (n-2)-可矩形化，该结果改进了 Almgren 的维数界，并通过新颖的频率单调性与多余能量衰减估计，将 Simon 对极小子流形的分析推广至更高多重性及分支点奇点的情形。

ABSTRACT

In the early 1980's Almgren developed a theory of Dirichlet energy minimizing multi-valued functions, proving that the Hausdorff dimension of the singular set (including branch points) of such a function is at most $(n-2),$ where $n$ is the dimension of its domain. Almgren used this result in an essential way to show that the same upper bound holds for the dimension of the singular set of an area minimizing $n$-dimensional rectifiable current of arbitrary codimension. In either case, the dimension bound is sharp. We develop estimates to study the asymptotic behaviour of a multi-valued Dirichlet energy minimizer on approach to its singular set. Our estimates imply that a Dirichlet energy minimizer at ${\mathcal H}^{n-2}$ a.e. point of its singular set has a unique set of homogeneous multi-valued cylindrical tangent functions (blow-ups) to which the minimizer, modulo a set of single-valued harmonic functions, decays exponentially fast upon rescaling. A corollary is that the singular set is countably $(n-2)$-rectifiable. Our work is inspired by the work of L. Simon on the analysis of singularities of minimal submanifolds in multiplicity 1 classes, and uses some new estimates and strategies together with techniques from Wickramasekera's prior work to overcome additional difficulties arising from higher multiplicity and low regularity of the minimizers in the presence of branch points. The results described here were announced in earlier work of the authors where the special case of two-valued Dirichlet minimizing functions was treated.

研究动机与目标

• 分析 q 值 Dirichlet 能量极小函数在分支点奇点附近的渐近行为。
• 证明此类极小函数的奇点集为可数 (n-2)-可矩形化。
• 将 Simon 对极小子流形的分析推广至因分支点导致正则性较低的高多重性函数。
• 为具有非平凡对称性及低正则性的多值函数，发展新的频率单调性与多余能量衰减估计。

提出的方法

• 利用频率单调性与爆破分析，研究极小函数在奇点附近的渐近结构。
• 引入相对于齐次柱面对称函数的极小函数图形表示，以控制多余能量。
• 应用爆破过程提取齐次切函数（爆破极限），并通过谱分析分类其结构。
• 利用先验估计与多余能量衰减引理，证明极小函数在模去单值调和函数后，向其切锥的指数衰减。
• 在 C^m 中点的周期性构型上运用最小性论证，排除爆破极限中非平凡周期振荡行为。
• 结合 [Wic14] 的技术与新估计，应对高多重性与缺乏 Lipschitz 正则性带来的挑战。

实验结果

研究问题

• RQ1 当 q 值 Dirichlet 能量极小函数趋近分支点奇点时，其渐近行为如何？
• RQ2 在 H^{n-2}-几乎处处的奇点处，该极小函数是否具有唯一的齐次柱面对称切函数？
• RQ3 能否基于爆破极限的结构证明奇点集为可数 (n-2)-可矩形化？
• RQ4 极小函数的衰减性质如何与其分解为单值调和函数及爆破极限相关联？
• RQ5 在存在分支点的情况下，爆破类唯一的必要与充分条件是什么？

主要发现

• 在 H^{n-2}-几乎处处的奇点处，通过缩放后，极小函数以指数速度衰减至一组唯一的齐次多值柱面对称切函数。
• 奇点集为可数 (n-2)-可矩形化，该结果强于 Almgren 的 H^{n-2} 维数界。
• 爆破类由形如 ∑_{j=1}^N ‖Re(a_j e^{iαθ})‖ 的齐次函数构成，其中 a_j ∈ C^m，且在等距变换下唯一。
• 建立了依赖于频率单调性与爆破轮廓谱间隙的多余能量衰减估计。
• 通过在点构型上的最小性论证，排除了爆破极限中非平凡周期振荡行为。
• 结果确认奇点集结构具有刚性，且在几乎每一点处均可由齐次模型良好逼近。