Energy convexity of intrinsic bi-harmonic maps and applications I: spherical target

TL;DR

This paper establishes energy convexity and uniqueness for intrinsic bi-harmonic maps into spheres from the 4-ball, leading to results on flow long-time existence and convergence, advancing understanding of higher-order geometric variational problems.

Contribution

It proves energy convexity and uniqueness for intrinsic bi-harmonic maps into spheres from the 4-ball, and demonstrates flow long-time existence and convergence without non-positivity assumptions.

Findings

Energy convexity and uniqueness for intrinsic bi-harmonic maps into spheres.

Long-time existence of the intrinsic bi-harmonic map heat flow.

Flow convergence and stability results.

Abstract

Every harmonic map is an intrinsic bi-harmonic map as an absolute minimizer of the intrinsic bi-energy functional, therefore intrinsic bi-harmonic map and its heat flow are more geometrically natural to study, but they are also considerably more difficult analytically than the extrinsic counterparts due to the lack of coercivity for the intrinsic bi-energy. In this paper, we show an energy convexity and thus uniqueness for weakly intrinsic bi-harmonic maps from the unit $4$-ball $B_1 \subset \mathbf{R}^4$ into the sphere $\mathbf{S}^n$. This is a higher-order analogue of the energy convexity and uniqueness for weakly harmonic maps on unit $2$-disk in $\mathbf{R}^2$ proved by Colding and Minicozzi \cite{CM08} (see also Lamm and the second author \cite{LL13}). In particular, this yields a version of uniqueness of weakly harmonic maps on the unit $4$-ball which is new. As an application, we also show a version of energy convexity along the intrinsic bi-harmonic map heat flow into $\mathbf{S}^n$, which in particular yields the long-time existence of the intrinsic bi-harmonic map heat flow, a result that was until now only known assuming the non-positivity of the target manifolds by Lamm \cite{Lamm05}. Moreover, the energy convexity along the flow yields the uniform convergence of the flow which is not known before. One of the key ingredients in our proofs is a refined version of the $\epsilon$-regularity of the first author and Rivi\`{e}re \cite{LaR}.