2.The maximum principle for heat-type equations

2.The maximum principle for heat-type equations

Fri Jul 12 2024
4 label.readTime
584 label.wordCount

The maximum principle#

Proposition: (Maximum principle for supersolutions of the heat equation). Let g(t)g(t) be a family of metrics on a closed manifold MnM^{n} and let u:Mn×[0,T)Ru: M^{n} \times[0, T) \rightarrow \mathbb{R} satisfy

tuΔg(t)u\frac{\partial}{\partial t} u \geq \Delta_{g(t)} u

Then if ucu \geq c at t=0t=0 for some cRc \in \mathbb{R}, then ucu \geq c for all t0t \geq 0.

Proof:

Corollary : (Lower bound of scalar curvature is preserved under RF). If g(t),t[0,T)g(t), t \in[0, T), is a solution to the Ricci flow on a closed manifold with RcR \geq c at t=0t=0 for some cRc \in \mathbb{R}, then

RcR \geq c

for all t[0,T)t \in[0, T). In particular, nonnegative (positive) scalar curvature is preserved under the Ricci flow.

Proof:

Lemma:(Maximum principle comparing with the ODE). Suppose g(t)g(t) is a family of metrics on a closed manifold MnM^{n} and u:Mn×[0,T)Ru: M^{n} \times[0, T) \rightarrow \mathbb{R} satisfies

tuΔg(t)u+X(t),u+F(u)\frac{\partial}{\partial t} u \leq \Delta_{g(t)} u+\langle X(t), \nabla u\rangle+F(u)

where X(t)X(t) is a time-dependent vector field and FF is a Lipschitz function. If ucu \leq c at t=0t=0 for some cRc \in \mathbb{R}, then u(x,t)U(t)u(x, t) \leq U(t) for all xMnx \in M^{n} and t0t \geq 0, where U(t)U(t) is the solution to the ODE

dUdt=F(U)\frac{d U}{d t}=F(U)

with U(0)=cU(0)=c.

Proof:

evolution equation for the scalar curvature#

Let (Mn,g(t)),t[0,T)\left(M^{n}, g(t)\right), t \in[0, T), be a solution to the Ricci flow on a closed manifold Since Rc21nR2|\mathrm{Rc}|^{2} \geq \frac{1}{n} R^{2} , equation (2.2) implies

tRΔR+2nR2\begin{equation*} \frac{\partial}{\partial t} R \geq \Delta R+\frac{2}{n} R^{2} \tag{2.8} \end{equation*}

Since the solutions to the ODE dρdt=2nρ2\frac{d \rho}{d t}=\frac{2}{n} \rho^{2} are ρ(t)=nnρ(0)12t\rho(t)=\frac{n}{n \rho(0)^{-1}-2 t}, by the maximum principle one has

R(x,t)nn(inft=0R)12t\begin{equation*} R(x, t) \geq \frac{n}{n\left(\inf _{t=0} R\right)^{-1}-2 t} \tag{2.9} \end{equation*}

for all xMnx \in M^{n} and t0t \geq 0. It ρ(0)>0\rho(0)>0, then ρ(t)\rho(t) tends to infinity in finite time. When MM is closed, let Rmin (0)inft=0RR_{\text {min }}(0) \doteqdot \inf _{t=0} R.

Corollary:(Finite singularity time for positive scalar curvature). If (Mn,g0)\left(M^{n}, g_{0}\right) is a closed Riemannian manifold with positive scalar curvature, then for any solution g(t),t[0,T)g(t), t \in[0, T), to the Ricci flow with g(0)=g0g(0)=g_{0} we have

Tn2Rmin(0)<T \leq \frac{n}{2 R_{\min }(0)}<\infty

Definition: (Complete solution). A solution g(t),tIg(t), t \in \mathcal{I}, of the Ricci flow is said to be complete if for each tIt \in \mathcal{I}, the Riemannian metric g(t)g(t) is complete.

Lemma (Ancient solutions have nonnegative scalar curvature). If (Mn,g(t)),t(,0]\left(M^{n}, g(t)\right), t \in(-\infty, 0], is a complete solution to the Ricci flow with bounded curvature on compact time intervals, then either R(g(t))>0R(g(t))>0 for all tt \in (,0](-\infty, 0] or Rc(g(t))0\operatorname{Rc}(g(t)) \equiv 0 for all t(,0]t \in(-\infty, 0].

Proof:

  1. EX1 Let uu be a solution to the heat equation with respect to a metric g(t)g(t) evolving by the Ricci flow:

    ut=Δg(t)u\frac{\partial u}{\partial t}=\Delta_{g(t)} u

    Recall from Exercise 1.40 that

    tu2=Δu22u2\frac{\partial}{\partial t}|\nabla u|^{2}=\Delta|\nabla u|^{2}-2|\nabla \nabla u|^{2}
    • From this deduce
    (tΔ)(tu2+12u2)0\left(\frac{\partial}{\partial t}-\Delta\right)\left(t|\nabla u|^{2}+\frac{1}{2} u^{2}\right) \leq 0
    • Apply the maximum principle to conclude that if MnM^{n} is closed, then
    uU2t1/2\begin{equation*} |\nabla u| \leq \frac{U}{\sqrt{2} t^{1 / 2}} \tag{2.10} \end{equation*}

    where Umaxt=0uU \doteqdot \max _{t=0}|u|.

  2. Ex2 Let uu be a solution to the heat equation on a Riemannian manifold (Mn,g)\left(M^{n}, g\right). Show that

    tu2=Δu22u22Rijiuju\frac{\partial}{\partial t}|\nabla u|^{2}=\Delta|\nabla u|^{2}-2|\nabla \nabla u|^{2}-2 R_{i j} \nabla_{i} u \nabla_{j} u

    What estimate, analogous to the previous exercise, for u|\nabla u| do you get assuming Rc0\mathrm{Rc} \geq 0 ? How about the case where Rc(n1)K\mathrm{Rc} \geq-(n-1) K for some constant KK ? Which curvature condition do you need to get decay of u|\nabla u| as tt \rightarrow \infty ?