Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A survey on the optimal partition problem

Roberto Ognibene, Bozhidar Velichkov

TL;DR

The survey addresses regularity for the optimal partition problem, modeled by non-negative vector-valued Sobolev maps in $H^1(D,\Sigma_N)$ that minimize $E(u,D)=\int_D|\nabla u|^2$ and whose free boundary $\mathcal{F}_D(u)$ separates the positive phases. It unifies viewpoints from harmonic maps into singular target spaces, competition-diffusion limits, and shape optimization, and develops a framework based on Almgren–Weiss monotonicity and blow-up analyses to classify boundary and interior singularities by admissible frequencies ($1$, $3/2$, etc.), including a detailed epiperimetric inequality at frequency $\tfrac{3}{2}$. The results yield Lipschitz regularity of minimizers, a codimension-2 bound and rectifiability for the singular set, and $C^1$ regularity of the free boundary up to the fixed boundary, thereby clarifying the geometry of phase interfaces. The work highlights the central role of the optimal partition model as a bridge across several regularity theories and discusses Gamma-convergence and variational-inequality formulations that ensure convergence and stability of minimizers across different problem settings.

Abstract

This survey synthesizes the current state of the art on the regularity theory for solutions to the optimal partition problem. Namely, we consider non-negative, vector-valued Sobolev functions whose components have mutually disjoint support, and which are either local minimizers of the Dirichlet energy or, more generally, critical points satisfying a system of variational inequalities. This is particularly meaningful as the problem has emerged on several occasions and in diverse contexts: our aim is then to provide a coherent point of view and an up-to-date account of the progress concerning regularity of the solutions and their free boundaries, both in the interior and up to a fixed boundary.

A survey on the optimal partition problem

TL;DR

The survey addresses regularity for the optimal partition problem, modeled by non-negative vector-valued Sobolev maps in that minimize and whose free boundary separates the positive phases. It unifies viewpoints from harmonic maps into singular target spaces, competition-diffusion limits, and shape optimization, and develops a framework based on Almgren–Weiss monotonicity and blow-up analyses to classify boundary and interior singularities by admissible frequencies (, , etc.), including a detailed epiperimetric inequality at frequency . The results yield Lipschitz regularity of minimizers, a codimension-2 bound and rectifiability for the singular set, and regularity of the free boundary up to the fixed boundary, thereby clarifying the geometry of phase interfaces. The work highlights the central role of the optimal partition model as a bridge across several regularity theories and discusses Gamma-convergence and variational-inequality formulations that ensure convergence and stability of minimizers across different problem settings.

Abstract

This survey synthesizes the current state of the art on the regularity theory for solutions to the optimal partition problem. Namely, we consider non-negative, vector-valued Sobolev functions whose components have mutually disjoint support, and which are either local minimizers of the Dirichlet energy or, more generally, critical points satisfying a system of variational inequalities. This is particularly meaningful as the problem has emerged on several occasions and in diverse contexts: our aim is then to provide a coherent point of view and an up-to-date account of the progress concerning regularity of the solutions and their free boundaries, both in the interior and up to a fixed boundary.

Paper Structure

This paper contains 26 sections, 12 theorems, 103 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Points of view
  3. Harmonic maps with singular target spaces
  4. Limit of competition-diffusion models
  5. Shape optimization
  6. Symmetric 2-valued harmonic functions
  7. Known results
  8. Preliminaries
  9. Interior regularity
  10. Almgren and Weiss monotonicity formulas
  11. Almgren blow-up
  12. On the admissible frequencies
  13. Decomposition of the free boundary
  14. Clean-up
  15. Points of frequency 1
  16. ...and 11 more sections

Key Result

Theorem 2.2

Let $D\subseteq\mathcal{M}$ be an open set, let $(X,d_X)$ be an NPC space and let $u\in H^1(D,X)$ be a minimizer of the Dirichlet energy. Then $u$ is locally Lipschitz continuous. In particular $\mathrm{Sing}(u)=\emptyset$.

Figures (2)

  • Figure 1: A picture of a possible minimizer near a point of frequency $3/2$.
  • Figure 2: A regular free interface (on the left), a cusp-like singularity (in the middle), and an oscillating free boundary (on the right). We show that, among these, only the behavior on the left is possible.

Theorems & Definitions (21)

  • Definition 1.1
  • Remark 1.2
  • Remark 1.3
  • Definition 2.1
  • Theorem 2.2
  • Proposition 2.3
  • Lemma 2.5
  • Proposition 2.6
  • Lemma 2.7
  • Definition 2.8: Symmetric $2$-valued harmonic functions
  • ...and 11 more