[論文レビュー] 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

ひとこと要約

本稿では、2値調和関数（Dirichletエネルギーを最小化するものおよび$C^{1,\nu}$調和関数）における分岐点特異点の局所的微細構造を確立する。その結果、分岐集合が、正の$(n-2)$次元ヒルベルト測度を持つ$C^{1,\nu}$-正則で$(n-2)$-可縮な集合の局所的有限和として成り立つことを証明する。主な貢献は、測度の局所的有限性および可縮性の可算性の証明であり、特異集合のヒルベルト次元$\leq 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.

研究の動機と目的

• 2値調和関数における分岐点特異点の微細な幾何的・解析的構造を理解すること。
• 分岐集合のヒルベルト次元の既知の上限（$\leq n-2$）を、より強い正則性結果に拡張すること。
• 2値Dirichletエネルギーを最小化する関数または$C^{1,\nu}$調和関数の分岐集合が、正の$(n-2)$次元ヒルベルト測度を持つ局所的有限個の$C^{1,\nu}$-正則で$(n-2)$-可縮な集合の和として成り立つことを確立すること。
• 分岐点におけるブロウアップ極限との誤差に関する鋭い$L^2$および点ごとの衰減推定値を証明すること。
• 分岐集合が2次容量を0有することを示すこと。これは、その正則な構造の結果である。

提案手法

• 分岐点におけるエネルギーの漸近的挙動を調べるために、周波数の単調性およびブロウアップ解析の使用。
• 分岐集合を扱いやすい部分に分解するための粗い表現補題の適用。
• 過剰エネルギーの事前非集中推定値の導出により、特異点付近での集中を制御。
• 同次的・対称的・2値的・エネルギーを最小化する関数をモデル極限として用いたブロウアップ解析。
• $L^2$衰減推定値および調和関数論を用いて、関数とそのブロウアップ極限との間の誤差を制御。
• 周波数の上半連続性およびコンパクトネスの議論を活用し、分岐集合の局所的可縮性および正則性を証明。

実験結果

リサーチクエスチョン

• RQ1 2値Dirichletエネルギーを最小化する関数の分岐集合の正確な局所的幾何的構造は何か？
• RQ2 2値$C^{1,\nu}$調和関数の分岐集合は、正則で可縮な部分に分解可能か？
• RQ3 分岐点における2値調和関数とそのブロウアップ極限との誤差の衰減率は何か？
• RQ4 分岐点の任意の近傍で、分岐集合は正の$(n-2)$次元ヒルベルト測度を持つか？
• RQ5 このような関数の分岐集合は、局所的有限な測度および可縮性を持つか？

主な発見

• 2値Dirichletエネルギーを最小化する関数または$C^{1,\nu}$調和関数の分岐集合$\mathcal{B}_u$は、その定義域内の任意の閉球において、空集合であるか、正の$(n-2)$次元ヒルベルト測度を持つ。
• 分岐集合$\mathcal{B}_u$は、局所的にコンパクトで局所的に$(n-2)$-可縮な集合の有限個の和に等しい。
• $\mathcal{H}^{n-2}$-ほとんど everywhere な$Z \in \mathcal{B}_u$に対して、$Z$における一意のブロウアップ極限は、$\{ \pm \operatorname{Re}(c_Z (x_1 + i x_2)^{k_Z/2}) \}$の形をとる対称的・同次的・2値的・エネルギーを最小化する関数である。
• スケーリングされた関数とそのブロウアップ極限との間の$L^2$誤差は、ある$\gamma_Z > 0$に対して$\sigma^{k_Z + \gamma_Z}$の速度で衰える。これは$Z$に一様に成り立つ。
• 分岐点$Z_0$の近傍では、分岐集合は次元$n-2$の$C^{1,\alpha}$部分多様体として局所的に成り立ち、一様な衰減推定値を持つ。
• 点ごとの誤差$|\epsilon_Z(X)|^2$は、半径$\sigma/2$の近傍で$C \sigma^{k_{Z_0} + \gamma_{Z_0}/(2n)}$で有界であり、特異集合の鋭い正則性を確認する。