[論文レビュー] 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 値関数のディリクレエネルギーを最小化する関数が、その特異集合に向かって指数関数的に減衰することを確立し、H^{n-2}-ほとんど everywhere の特異点において一意な同次的円柱型接線関数（ブロウアップ）を持つ。主な結果は、特異集合が可算 (n-2)-可縮可能であることであり、アルムグレンの次元境界を精緻化し、新しい周波数単調性および過剰減衰推定を用いて、高次元多重度および分岐点特異点にまでシモンの解析を拡張した。

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 値ディリクレエネルギー最小化関数の漸近的挙動を分析すること。
• このような最小化関数の特異集合が可算 (n-2)-可縮可能であることを確立すること。
• 最小部分多様体のシモンの解析を、分岐点による低正則性を有する高次元多重度関数へと拡張すること。
• 非自明な対称性および低正則性を有する多値関数に特化した、新しい周波数単調性および過剰減衰推定を開発すること。

提案手法

• 周波数単調性およびブロウアップ解析を用いて、特異点付近における最小化関数の漸近的構造を研究する。
• 最小化関数を同次的円柱型関数に関して図式化することで、過剰エネルギーを制御する。
• ブロウアップ手順を適用し、同次的接線関数（ブロウアップ）を抽出し、スペクトル解析を用いてその構造を分類する。
• 事前推定および過剰減衰補題を用いて、最小化関数が単一値調和関数をmodulo としてその接線錐に向かって指数関数的に減衰することを証明する。
• C^m 内の点の周期的配置における最小性議論を用いて、ブロウアップにおける非自明な周期的振動を除外する。
• [Wic14] の技術を新規推定と組み合わせ、高次元多重度およびリプシッツ正則性の欠如に起因する課題に対処する。

実験結果

リサーチクエスチョン

• RQ1 分岐点特異点に近づく際、q 値ディリクレエネルギー最小化関数の漸近的挙動はいかなるものか？
• RQ2 H^{n-2}-ほとんど everywhere の点において、その最小化関数の特異集合が一意な同次的円柱型接線関数を持つだろうか？
• RQ3 ブロウアップの構造に基づいて、特異集合が可算 (n-2)-可縮可能であることを示せるだろうか？
• RQ4 最小化関数の減衰特性は、単一値調和関数への分解およびブロウアップ極限とどのように関係するか？
• RQ5 分岐点が存在する状況下で、ブロウアップクラスの一意性の必要十分条件は何か？

主な発見

• H^{n-2}-ほとんど everywhere の特異点において、最小化関数はスケーリングを施すことで、一意な同次的多値円柱型接線関数へ指数関数的に減衰する。
• 特異集合は可算 (n-2)-可縮可能であり、アルムグレンの H^{n-2} 次元境界よりも強い構造的結果である。
• ブロウアップクラスは、a_j ∈ C^m である形の ∑_{j=1}^N ‖Re(a_j e^{iαθ})‖ の同次関数から成り、等長変換を除いて一意である。
• 周波数単調性およびブロウアッププロファイルのスペクトルギャップに依存する減衰率を有する過剰減衰推定が確立された。
• 点配置における最小性議論により、ブロウアップ極限における非自明な周期的振動が除外された。
• 結果は、特異集合の構造が剛体的であり、ほとんどすべての特異点において同次モデルによってよく近似されることを確認した。