10.3 Regularity theory for Q-valued minimizers

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$ to the space of unordered Q-tuples of points in $\mathbb{R}^N$, denoted by $\mathcal{A}_Q(\mathbb{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)$ is defined as $E(u) = \int_\Omega |\nabla u|^2 dx$
  • $|\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$, there exists an open subset $\Omega_{reg} \subset \Omega$ 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

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$, where $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$ 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$ is defined as the limit of the normalized energy on small balls centered at $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$), 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$), $\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)$
  • 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