Regularity theory for Q-valued minimizers is all about understanding how smooth these complex functions are. It's like trying to figure out where a bumpy road suddenly becomes smooth, and why.

The theory looks at where Q-valued minimizers are well-behaved (regular) and where they're not (singular). It uses cool math tools to measure how big the smooth and bumpy parts are.

Partial Regularity of Q-valued Minimizers

Q-valued Functions and Dirichlet Energy

Q-valued functions map a domain $\Omega \subset \mathbb{R}^n$ $Ω \subset R^{n}$ to the space of unordered Q-tuples of points in $\mathbb{R}^N$ $R^{N}$ , denoted by $\mathcal{A}_Q(\mathbb{R}^N)$ $A_{Q} (R^{N})$
- Model multiple-valued solutions in various physical and mathematical contexts (liquid crystals, phase transitions)
The Dirichlet energy of a Q-valued function $u: \Omega \to \mathcal{A}_Q(\mathbb{R}^N)$ $u : Ω \to A_{Q} (R^{N})$ is defined as $E(u) = \int_\Omega |\nabla u|^2 dx$ $E (u) = \int_{Ω} ∣\nabla u ∣^{2} d x$
- $|\nabla u|^2$ is the sum of the squares of the Jacobian matrices of each component of $u$
A Q-valued function $u$ is a Dirichlet minimizer if it minimizes the Dirichlet energy among all Q-valued functions with the same boundary values

Partial Regularity Theorem and Proof Techniques

The partial regularity theorem states that for a Q-valued Dirichlet minimizer $u$ $u$ , there exists an open subset $\Omega_{reg} \subset \Omega$ $Ω_{re g} \subset Ω$ such that:
- $u$ is Hölder continuous on $\Omega_{reg}$
- The Hausdorff dimension of the singular set $\Sigma = \Omega \setminus \Omega_{reg}$ is at most $n-2$
The proof involves a blow-up analysis and a compactness argument using the monotonicity formula for Q-valued functions
Hölder continuity of $u$ on $\Omega_{reg}$ is obtained by establishing a decay estimate for the normalized energy on small balls centered at regular points

Singular Sets of Q-valued Minimizers

Q-valued Functions and Dirichlet Energy, On the Non-Trivial Zeros of Dirichlet Functions

Structure and Properties of Singular Sets

The singular set $\Sigma$ of a Q-valued Dirichlet minimizer $u$ is the complement of the regular set $\Omega_{reg}$ , where $u$ is Hölder continuous
$\Sigma$ $Σ$ has Hausdorff dimension at most $n-2$ $n - 2$ , where $n$ $n$ is the dimension of the domain $\Omega$ $Ω$
- Implies $\Sigma$ is relatively small compared to the full domain
The structure of $\Sigma$ $Σ$ can be further analyzed using tangent maps, which are blow-up limits of the minimizer $u$ $u$ at singular points
- Tangent maps at singular points are homogeneous Q-valued minimizers defined on the entire space $\mathbb{R}^n$
- Classification of tangent maps provides information about the local behavior of the minimizer near singular points

Energy Density and Dimension Estimates

The density of the Dirichlet energy at a singular point $x \in \Sigma$ $x \in Σ$ is defined as the limit of the normalized energy on small balls centered at $x$ $x$
- This density is related to the type of singularity at $x$
In some cases, more precise estimates for the dimension of $\Sigma$ $Σ$ can be established
- For example, if $Q = 2$ and $n = 2$ , then $\Sigma$ consists of isolated points (branch points in complex analysis)

Geometric Measure Theory for Minimizer Regularity

Key Tools and Techniques

Geometric measure theory provides powerful tools for studying the regularity of minimizers:
- Monotonicity formula: a certain normalized energy functional is non-decreasing with respect to the radius of balls centered at a point
  - Key ingredient in establishing partial regularity of minimizers
- Excess decay lemma: quantifies the rate at which the excess energy (deviation from a homogeneous minimizer) decreases on smaller scales
  - Used to prove Hölder continuity of minimizers on the regular set
- Energy comparison principle: allows comparing the energy of a minimizer with that of a suitable competitor function
  - Employed to derive estimates and control the behavior of minimizers

Estimating Singular Sets and Their Properties

Techniques from geometric measure theory are used to estimate the size of the singular set and study its properties:
- Covering argument: covers the singular set with a collection of balls and estimates their total measure
- Federer-Ziemer theorem: relates the Hausdorff dimension of the singular set to the integrability of certain functions
These techniques provide a deeper understanding of the structure and regularity of Q-valued minimizers

Minimizer Regularity vs Domain Dimension

Influence of Domain Dimension on Singular Sets

The regularity of Q-valued Dirichlet minimizers depends on the dimension $n$ of the domain $\Omega$ and the number $Q$ of values in the target space $\mathcal{A}_Q(\mathbb{R}^N)$
In lower dimensions ( $n \leq 2$ $n \leq 2$ ), the singular set $\Sigma$ $Σ$ is expected to be smaller or have a simpler structure compared to higher dimensions
- For $n = 2$ and $Q = 2$ , $\Sigma$ consists of isolated points (branch points)
- For $n = 2$ and $Q > 2$ , $\Sigma$ can have a more complex structure (Cantor sets)
In higher dimensions ( $n \geq 3$ $n \geq 3$ ), $\Sigma$ $Σ$ can have a more intricate geometry and a larger Hausdorff dimension
- The structure of $\Sigma$ may depend on specific properties of the minimizer and boundary conditions

Interplay between Domain, Target Space, and Regularity

The relationship between minimizer regularity and domain dimension is also influenced by the target space $\mathcal{A}_Q(\mathbb{R}^N)$ $A_{Q} (R^{N})$
- The geometry and topology of $\mathcal{A}_Q(\mathbb{R}^N)$ can affect the behavior of minimizers and the nature of singularities
Understanding the interplay between domain dimension, target space, and minimizer regularity is an active area of research in geometric measure theory and calculus of variations
- Exploring this interplay leads to new insights and results in the field

2,589 studying →