On forward self-similar heat flow of harmonic maps

Zhiyuan Geng,Changyou Wang,Junao Yu
2024-09-30
Abstract:For any $k$-dimensional smooth, compact Riemannian manifold $(N, h)\subset\mathbb R^L$ without boundary, there exists an $\varepsilon_0>0$ such that for any homogeneous of degree zero map $u_0(x)=\phi_0(\frac{x}{|x|}):\mathbb R^n\to N$ ($n\ge 2$), if $\|\nabla\phi_0\|_{L^n(\mathbb S^{n-1})}\le\varepsilon_0$ then there is a unique solution $u:\mathbb R^n\times (0,\infty)\to N$ to the heat flow of harmonic map \eqref{HF1} and \eqref{IC}, which is forward self-similar and belongs to $C^\infty(\R^n\times (0,\infty))\cap C^{\frac1{n}}(\R^n\times [0,\infty)\setminus \{(0,0)\})$.
Analysis of PDEs
What problem does this paper attempt to address?
This paper aims to solve the problems of existence and uniqueness of forward self - similar solutions to the heat flow of harmonic maps. Specifically, the paper studies the heat flow equations of harmonic maps (1.1) and (1.2) under given initial conditions. When the initial map \(u_0\) satisfies certain smallness conditions, whether there exists a unique forward self - similar solution \(u\), and this solution has specific regularity. The main result of the paper (Theorem 1.1) shows that for a space of dimension \(n\geq2\), if the initial map \(u_0\) is homogeneous of degree zero and its gradient is small enough in the \(L^n(S^{n - 1})\) norm, then there exists a unique forward self - similar solution \(u\), which belongs to \(C^\infty(\mathbb{R}^n\times(0,\infty), N)\cap C^{1/n}(\mathbb{R}^n\times[0,\infty)\setminus\{(0,0)\}, N)\). ### Main contributions 1. **Existence and uniqueness**: It is proved that under specific conditions, the heat flow equation of harmonic maps has a unique forward self - similar solution. 2. **Regularity**: The regularity of this solution is analyzed in detail, especially the \(C^{1/n}\) regularity. 3. **Innovation in methods**: By constructing mild solutions, combined with the fixed - point theorem and energy estimates, the main results are proved. ### Key steps 1. **Construction of mild solutions**: By constructing a mild solution \(u\) and using the fixed - point theorem to prove its existence and uniqueness. 2. **Energy estimates**: Through a series of energy estimates, the regularity of the solution is proved. 3. **Verification of self - similarity**: Verify the forward self - similar property of the solution, that is, \(u(\lambda x,\lambda^2t)=u(x,t)\) for any \(\lambda > 0\). ### Formula summary - **Heat flow equation of harmonic maps**: \[ \partial_tu-\Delta_gu=\sum_{\alpha,\beta = 1}^n g^{\alpha\beta}A(u)(\partial_{x_\alpha}u,\partial_{x_\beta}u)\quad\text{in }M\times(0,T) \] - **Initial conditions**: \[ u(\cdot,0)=u_0\quad\text{on }M \] - **Forward self - similarity**: \[ u(\lambda x,\lambda^2t)=u(x,t)\quad\forall(x,t)\in\mathbb{R}^n\times(0,\infty),\forall\lambda > 0 \] - **Smallness conditions**: \[ \|\nabla u_0\|_{L^n(S^{n - 1})}\leq\epsilon_0 \] ### Conclusion The paper successfully solves the problems of existence and uniqueness of forward self - similar solutions to the heat flow of harmonic maps under specific conditions, and analyzes the regularity of this solution in detail. These results provide an important theoretical basis for further research on the heat flow of harmonic maps.