Table of Contents
Fetching ...

Energy identity for Ginzburg-Landau approximation of harmonic maps

Xuanyu Li

TL;DR

The paper proves a full energy identity for the Ginzburg–Landau approximation of harmonic maps with a general target, extending known results beyond two dimensions or spheres by adapting the Naber–Valtorta framework. It develops a refined bubble–annulus decomposition around the defect set, introduces heat-mollified energy, and constructs local best planes and best-approximating submanifolds to control tangential, angular, and radial energy in annular regions. By establishing angular energy convexity and vanishing energy in annuli through cone-splitting and a gluing construction, it shows the defect measure $\nu$ decomposes into a sum of harmonic-sphere energies on the bubble tree, i.e., $\nu=\sum_j \frac{1}{2}\int_{\mathbb{S}^2}|\nabla u_j|^2$. This work thereby provides a precise local model for energy concentration in high dimensions and strengthens the connection between Ginzburg–Landau approximations and the fine structure of stationary harmonic maps.

Abstract

Given two Riemannian manifolds $M$ and $N\subset\mathbb{R}^L$, we consider the energy concentration phenomena of the penalized energy functional $$E_ε(u)=\int_M\frac{\vert\nabla u\vert^2}{2}+\frac{F(u)}{ε^2},u\in W^{1,2}(M,\mathbb{R}^L),$$ where $F(x)$=dist$(x,N)$ in a small tubular neighborhood of $N$ and is constant away from $N$. It was shown by Chen-Struwe that as $ε\rightarrow0$, the critical points $u_ε$ of $E_ε$ with energy bound $E_ε(u_ε)\leqslantΛ$ subsequentially converge weakly in $W^{1,2}$ to a weak harmonic map $u:M\rightarrow N$ . In addition, we have the convergence of the energy density $$\left(\frac{\vert\nabla u_ε\vert^2}{2}+\frac{F(u_ε)}{ε^2}\right)dx\rightarrow\frac{\vert\nabla u_ε\vert^2}{2}dx+ν,$$ and the defect measure $ν$ above is $(dimM-2)$-rectifiable. Lin-Wang showed that if $N$ is a sphere or dim$M$=2, then the density of $ν$ can be expressed by the sum of energies of harmonic spheres. In this paper, we prove this result for an arbitrary $M$ using the idea introduced by Naber-Valtorta.

Energy identity for Ginzburg-Landau approximation of harmonic maps

TL;DR

The paper proves a full energy identity for the Ginzburg–Landau approximation of harmonic maps with a general target, extending known results beyond two dimensions or spheres by adapting the Naber–Valtorta framework. It develops a refined bubble–annulus decomposition around the defect set, introduces heat-mollified energy, and constructs local best planes and best-approximating submanifolds to control tangential, angular, and radial energy in annular regions. By establishing angular energy convexity and vanishing energy in annuli through cone-splitting and a gluing construction, it shows the defect measure decomposes into a sum of harmonic-sphere energies on the bubble tree, i.e., . This work thereby provides a precise local model for energy concentration in high dimensions and strengthens the connection between Ginzburg–Landau approximations and the fine structure of stationary harmonic maps.

Abstract

Given two Riemannian manifolds and , we consider the energy concentration phenomena of the penalized energy functional where =dist in a small tubular neighborhood of and is constant away from . It was shown by Chen-Struwe that as , the critical points of with energy bound subsequentially converge weakly in to a weak harmonic map . In addition, we have the convergence of the energy density and the defect measure above is -rectifiable. Lin-Wang showed that if is a sphere or dim=2, then the density of can be expressed by the sum of energies of harmonic spheres. In this paper, we prove this result for an arbitrary using the idea introduced by Naber-Valtorta.

Paper Structure

This paper contains 22 sections, 52 theorems, 324 equations.

Key Result

Theorem 1.1

Let $u_{\epsilon_i}:M\rightarrow \mathbb{R}^J$ be a sequence of solutions to (*) with $\int_Me_{\epsilon_i}(u_{\epsilon_i})\leqslant\Lambda$. Suppose that as $\epsilon_i\rightarrow0$, $u_{\epsilon_i}$ converges weakly to a harmonic map $u:M\rightarrow N$ with the defect measure $\nu$. For $\mathcal{

Theorems & Definitions (122)

  • Theorem 1.1
  • Theorem 2.1
  • Theorem 2.2
  • Corollary 2.3
  • proof
  • Definition 2.4: Mollified heat kernel,cf. NVyangmills
  • Lemma 2.5
  • Definition 2.6: Heat mollified energies,cf. NVyangmills
  • Definition 2.7: cf. naber2024energyidentitystationaryharmonic
  • Definition 2.8: naber2024energyidentitystationaryharmonic
  • ...and 112 more