[Paper Review] 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 Equations17 references3 citations

TL;DR

This paper establishes that Dirichlet energy minimizing q-valued functions in R^n exhibit exponential decay toward their singular set, with unique homogeneous cylindrical tangent functions (blow-ups) at H^{n-2}-a.e. singular point. The key result is that the singular set is countably (n-2)-rectifiable, refining Almgren's dimension bound and extending Simon's analysis to higher multiplicity and branch point singularities using novel frequency monotonicity and excess decay estimates.

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.

Motivation & Objective

• To analyze the asymptotic behavior of q-valued Dirichlet energy minimizers near branch point singularities.
• To establish that the singular set of such minimizers is countably (n-2)-rectifiable.
• To extend Simon's analysis of minimal submanifolds to higher multiplicity functions with low regularity due to branch points.
• To develop new frequency monotonicity and excess decay estimates tailored to multi-valued functions with non-trivial symmetry and low regularity.

Proposed method

• Uses frequency monotonicity and blow-up analysis to study the asymptotic structure of minimizers near singular points.
• Introduces a graphical representation of minimizers relative to homogeneous cylindrical functions to control excess energy.
• Applies a blow-up procedure to extract homogeneous tangent functions (blow-ups) and classify their structure via spectral analysis.
• Employs a priori estimates and excess decay lemmas to prove exponential decay of the minimizer toward its tangent cone modulo single-valued harmonic functions.
• Utilizes a minimality argument on periodic configurations of points in C^m to rule out non-trivial oscillatory behavior in blow-ups.
• Combines techniques from [Wic14] with new estimates to handle the challenges of higher multiplicity and lack of Lipschitz regularity.

Experimental results

Research questions

• RQ1 What is the asymptotic behavior of a q-valued Dirichlet energy minimizer as it approaches a branch point singularity?
• RQ2 Does the singular set of such a minimizer possess a unique set of homogeneous cylindrical tangent functions at H^{n-2}-a.e. point?
• RQ3 Can the singular set be shown to be countably (n-2)-rectifiable based on the structure of blow-ups?
• RQ4 How do the decay properties of the minimizer relate to its decomposition into single-valued harmonic functions and the blow-up limit?
• RQ5 What are the necessary and sufficient conditions for the uniqueness of the blow-up class in the presence of branch points?

Key findings

• At H^{n-2}-a.e. singular point, the minimizer decays exponentially fast to a unique set of homogeneous multi-valued cylindrical tangent functions upon rescaling.
• The singular set is countably (n-2)-rectifiable, a stronger structural result than Almgren’s H^{n-2} dimension bound.
• The blow-up class consists of homogeneous functions of the form ∑_{j=1}^N ‖Re(a_j e^{iαθ})‖, with a_j ∈ C^m, and is unique up to isometry.
• Excess decay estimates are established with a rate depending on the frequency monotonicity and spectral gap of the blow-up profile.
• The analysis rules out non-trivial periodic oscillations in the blow-up limit via a minimality argument on point configurations.
• The results confirm that the singular set structure is rigid and well-approximated by homogeneous models at almost every singular point.