Abstract
We prove the sharp local \(L^1-L^\infty \) smoothing estimate for the logarithmic fast diffusion equation, or equivalently, for the Ricci flow on surfaces. Our estimate almost instantly implies an improvement of the known \(L^p-L^\infty \) estimate for \(p>1\). It also has several applications in geometry, providing the missing step in order to pose the Ricci flow with rough initial data in the noncompact case, for example starting with a general noncompact Alexandrov surface, and giving the sharp asymptotics for the contracting cusp Ricci flow, as we show elsewhere.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Theorem 1.1
Suppose \(u:B\times [0,T)\rightarrow (0,\infty )\) is a smooth solution to the equation
on the unit ball \(B\subset {\mathbb {R}}^2\), and suppose that \(u_0:=u(0)\in L^1(B)\). Then for all \(\delta >0\) (however small) and for any \(k\ge 0\) and any time \(t\in [0,T)\) satisfying
for some constant \(C<\infty \) depending only on \(\delta \).
The theorem gives an interior sup bound for the logarithmic fast diffusion equation, depending only on the initial data, and not on the boundary behaviour of u at later times. This is in stark contrast to the situation for the normal linear heat equation on the ball, whose solutions can be made as large at the origin as desired in as short a time as desired, whatever the initial data \(u_0\). We are crucially using the nonlinearity of the equation.
The theorem effectively provides an \(L^1-L^\infty \) smoothing estimate. It has been noted [13] that no \(L^1-L^\infty \) smoothing estimate should exist for this equation, because such terminology would normally refer to an estimate that gave an explicit sup bound in terms of \(t>0\) and \(\Vert u_0\Vert _{L^1}\), and this is impossible as we explain in Remark 1.7. Our theorem circumvents this issue, and almost immediately implies the following improvement of the well-known \(L^p-L^\infty \) smoothing estimates for \(p>1\) (see in particular Davis-DiBenedetto-Diller [3] and Vázquez [13]) in which the constant C is universal, and in particular does not blow up as \(p\downarrow 1\).
Theorem 1.2
Suppose \(u:B\times [0,T)\rightarrow (0,\infty )\) is a smooth solution to the equation \(\partial _tu=\Delta \log u\) on the unit ball \(B\subset {\mathbb {R}}^2\), and suppose that \(u_0:=u(0)\in L^p(B)\) for some \(p>1\). Then there exists a universal \(C<\infty \) such that for any \(t\in (0,T)\) we have
In fact, in Section 4 we will state and prove a slightly stronger result.
The key to understanding Theorem 1.1, and to obtaining the sharpest statement, is to understand its geometric setting. That a Riemannian metric \(g=u.(dx^2+dy^2)\) on the ball B evolves under the Ricci flow equation [8, 9] \(\partial _tg = -2Kg\), where \(K=-\frac{1}{2u}\Delta \log u\) is the Gauss curvature of g, is equivalent to the conformal factor u solving (1.1). Meanwhile, the unique complete hyperbolic metric (the Poincaré metric) has a conformal factorFootnote 1
and induces hyperbolic Ricci flows, or equivalently solutions of (1.1), given by \((2t+\alpha )h\) for arbitrary \(\alpha \in {\mathbb {R}}\). Note here that the Gauss curvature of h is given by
The sharp form of our main theorem asserts that an appropriate scaling of a hyperbolic Ricci flow will eventually overtake any other Ricci flow, and will do so in a time that is determined only in terms of the distribution of area, relative to a scaled hyperbolic metric, of the initial data.
Theorem 1.3
Suppose \(u:B\times [0,T)\rightarrow (0,\infty )\) is a smooth solution to the equation \(\partial _tu=\Delta \log u\), with initial data \(u_0:=u(0)\) on the unit ball \(B\subset {\mathbb {R}}^2\), and suppose that \((u_0-\alpha h)_+\in L^1(B)\) for some \(\alpha \ge 0\). Then for all \(\delta >0\) (however small) and any time \(t\in [0,T)\) satisfying
where \(C<\infty \) depends only on \(\delta \).
In other words, if we define \(\hat{\alpha }:= C\left( \alpha +\Vert (u_0-\alpha h)_+\Vert _{L^1(B)}\right) \), then u(t) will be overtaken by the self-similar solution \((2t+\hat{\alpha })h\) after a definite amount of time.
Remark 1.4
To fully understand Theorem 1.3, it is important to note the geometric invariance of all quantities. In general, given a Ricci flow defined on a neighbourhood of some point in some surface, one can choose local isothermal coordinates near to the point in many different ways, and this will induce different conformal factors. However, the ratio of two conformal factors, for example \(\frac{u(t)}{h}\), is invariantly defined. In particular, if the flow is pulled back by a Möbius diffeomorphism \(B\mapsto B\) (i.e. an isometry of B with respect to the hyperbolic metric, which thus leaves h invariant but changes u in general) then the supremum of this ratio is unchanged. Similarly, the quantity \(\Vert (u_0-\alpha h)_+\Vert _{L^1(B)}\) is invariant under pulling back by Möbius maps, which is instantly apparent by viewing it as the \(L^1\) norm of the invariant quantity \((\frac{u_0}{h}-\alpha )_+\) with respect to the (invariant) hyperbolic metric rather than the Euclidean metric.
Remark 1.5
An immediate consequence of Remark 1.4 (and the fact that one can pick a Möbius diffeomorphism mapping an arbitrary point to the origin) is that to control the supremum of \(\frac{u(t)}{h}\) over the whole ball B, we only have to control it at the origin.
Remark 1.6
Continuing Remark 1.4, it is also convenient to note that the theorem really only requires a Ricci flow on a Riemann surface conformal to a disc in order to apply. This surface then admits a unique complete hyperbolic metric, and all quantities make sense without the need to explicitly pull back to the underlying disc. We will take this viewpoint when we are already considering a Ricci flow on a disc B, but wish to apply the theorem on some smaller sub-ball, for example on \(B_\rho \) where the hyperbolic metric has larger conformal factor
as graphed in Fig. 1.
This viewpoint is also helpful in order to appreciate that our local results apply to arbitrary Ricci flows on arbitrary surfaces, even noncompact ones: One can always take local isothermal coordinates \((x,y)\in B\) and apply the result.
To see that Theorem 1.1 follows from Theorem 1.3, for our given k we set \(\alpha =k/4\). Then \(\alpha h\ge k\) on B, so \((u_0-k)_+\ge (u_0-\alpha h)_+\), and any time valid in Theorem 1.1 will also be valid in Theorem 1.3, i.e.
We can deduce that
on B, and restricting to \(B_{1/2}\), where \(h\le 64/9\), completes the proof.
Remark 1.7
To see that Theorem 1.1 is sharp, consider the so-called cigar soliton flow metric defined on \({\mathbb {R}}^2\) by
which solves (1.1). This is a so-called steady soliton, meaning that the metric at time \(t=0\) is isometric to the metric at any other time t (here via the diffeomorphism \(\mathbf{{x}}\mapsto e^{2t}\mathbf{{x}}\)). Geometrically, the metric looks somewhat like an infinite half cylinder with the end capped off. It is more convenient to consider the scaled version of this solution given by
for \(\mu >0\) small. The scaling is chosen here so that \(\Vert u_0\Vert _{L^1(B)}=4\pi \), and thus Theorem 1.1 tells us that if we wait until time \(t=1+\delta \), then we obtain a bound on u(0, t) (for example) that only depends on \(\delta \), and not \(\mu \). However, we see that
as \(\mu \downarrow 0\), for fixed \(\delta >0\) (however small), so no such upper bound is available just before the special time \(t=1\).
Note that for each \(t\in [0,1)\), in the limit \(\mu \downarrow 0\) we have
as measures, where \(\delta _0\) represents the delta function at the origin. This connects with the discussion of Vázquez [14].
Remark 1.8
In [12], we apply Theorem 1.3 to give the sharp asymptotics of the conformal factor of the contracting cusp Ricci flow as constructed in [10]. As a result, we obtain the sharp decay rate for the curvature as conjectured in [10].
Proof of the Main Theorem
In this section, we prove Theorem 1.3, which implies Theorem 1.1 as we have seen. The proof will involve considering a potential that is an inverse Laplacian of the solution u. Note that this is different from the potential considered by Hamilton and others in this context, which is an inverse Laplacian of the curvature. Indeed, the curvature arises from the potential we consider by application of a fourth order operator. Nevertheless, our potential can be related to the potential considered in Kähler geometry. Our approach is particularly close to that of [7], from which the main principles of this proof are derived. In contrast to that work, however, our result is purely local, and will equally well apply to noncompact Ricci flows.
The main inspiration leading to the statement of Theorem 1.1 was provided by the examples constructed by the first author and Giesen [5, 6].
Reduction of the Problem
In this section, we successively reduce Theorem 1.3 to the simpler Proposition 2.2. Consider first, for \(m\ge 0\), \(\alpha \ge 0\), the following assertion.
Assertion \({\mathcal {P}}_{m,\alpha }\): For each \(\delta \in (0,1]\), there exists \(C<\infty \) with the following property. For each smooth solution \(u:B\times [0,T)\rightarrow (0,\infty )\) to the equation \(\partial _tu=\Delta \log u\) with initial data \(u_0:=u(0)\) on the unit ball \(B\subset {\mathbb {R}}^2\), if
then
provided \(t_0<T\).
Claim 1
Theorem 1.3 follows if we establish \(\{{\mathcal {P}}_{m,\alpha }\}\) for every \(m\ge 0\), \(\alpha \ge 0\).
Proof of Claim 1
First observe that we may as well assume \(\delta \in (0,1]\) in the theorem, since the cases that \(\delta >1\) follow from the case \(\delta =1\). Take \(\alpha \) from the theorem and set \(m=\Vert (u_0-\alpha h)_+\Vert _{L^1(B)}\). Assertion \({\mathcal {P}}_{m,\alpha }\) tells us that \(u(t_0)\le C(m+\alpha )h\) throughout B at time \(t_0= \frac{m}{4\pi }(1+\delta )\) (unless \(t_0\ge T\), in which case there is nothing to prove). But
is the maximally stretched Ricci flow starting at \(C(m+\alpha )h\) (i.e. it is the unique complete Ricci flow starting with this initial data, and thus agrees with the maximal flow that lies above any other solution [4, 11]) and thus
for all \(t\ge t_0\), as desired. \(\square \)
It remains to prove the assertions \({\mathcal {P}}_{m,\alpha }\), but first we make some further reductions. To begin with, we note that the assertions \({\mathcal {P}}_{0,\alpha }\) are trivial, because \(u_0\le \alpha h\) and \(t_0=0\) in that case, so we may assume that \(m>0\).
By parabolic rescaling by a factor \(\lambda >0\), more precisely by replacing u with \(\lambda u\), \(u_0\) with \(\lambda u_0\), and t with \(\lambda t\), we see that in fact \({\mathcal {P}}_{m,\alpha }\) is equivalent to \({\mathcal {P}}_{\lambda m,\lambda \alpha }\). Thus, we may assume, without loss of generality, that \(m=1\) and prove only the assertions \({\mathcal {P}}_{1,\alpha }\) for each \(\alpha \ge 0\).
Next, it is clear that assertion \({\mathcal {P}}_{1,1}\) implies \({\mathcal {P}}_{1,\alpha }\) for every \(\alpha \in [0,1]\). Indeed, in the setting of \({\mathcal {P}}_{1,\alpha }\) (\(\alpha \le 1\)), we can apply assertion \({\mathcal {P}}_{1,1}\) to deduce that \(u(t_0)\le C(1+1)h\le (2C)(1+\alpha )h\).
What is a little less clear is:
Claim 2
Assertion \({\mathcal {P}}_{1,1}\) implies \({\mathcal {P}}_{1,\alpha }\) for every \(\alpha \ge 1\).
Proof of Claim 2
By the invariance of the assertion \({\mathcal {P}}_{1,\alpha }\) under pull-backs by Möbius maps (see Remark 1.5), it suffices to prove that \(u(t_0)\le C(1+\alpha )h\) at the origin in B, where \(t_0=\frac{1}{4\pi }(1+\delta )\). This in turn would be implied by the assertion \(u(t_0)\le C h_{\alpha ^{-1/2}}\) at the origin in B.
The assumption \(\Vert (u_0-\alpha h)_+\Vert _{L^1(B)}\le 1\) implies \(\Vert (u_0- h_{\alpha ^{-1/2}})_+\Vert _{L^1(B_{\alpha ^{-1/2}})}\le 1\) because
(recall \(\alpha \ge 1\)). Therefore we can invoke \({\mathcal {P}}_{1,1}\) on \(B_{\alpha ^{-1/2}}\) (cf. Remark 1.6) to deduce that
at the origin as required. \(\square \)
Thus our task is reduced to proving that Assertion \({\mathcal {P}}_{1,1}\) holds.
Keeping in mind Remark 1.5 again, we are reduced to proving:
Proposition 2.1
For each smooth solution \(u:B\times [0,T)\rightarrow (0,\infty )\) to the equation \(\partial _tu=\Delta \log u\) with initial data \(u_0:=u(0)\), if
then for each \(\delta \in (0,1]\), we have
provided \(t_0<T\), where C depends only on \(\delta \).
In this proposition, we make no assumptions on the growth of u near \(\partial B\) other than what is implied by (2.2). However, we may assume without loss of generality that u(t) is smooth up to the boundary \(\partial B\). To get the full assertions, we can apply this apparently weaker case on the restrictions of the flow to \(B_\rho \), for \(\rho \in (0,1)\), and then let \(\rho \uparrow 1\). (Recall Remark 1.6.)
Instead of estimating u(t), we will estimate a larger solution v(t) of the flow arising as follows. We would like to define new initial data \(v_0\) on B by
and then solve forwards in time to give v(t). This is certainly possible, but it will be technically simpler to consider a smoothed out (and even larger) version of this. Indeed, for each \(\mu >0\) (however small) consider a smooth function \(\gamma :{\mathbb {R}}\rightarrow [0,\infty )\) such that \(\gamma (x)=0\) for \(x\le -\mu \), \(\gamma (x)=x\) for \(x\ge \mu \), and \(\gamma ''\ge 0\), as in Fig. 2.
We can then consider instead the smooth function
Thus we have \(v_0\ge h\), \(v_0\ge u_0\), and in some neighbourhood of \(\partial B\), \(v_0= h\). Moreover, by taking \(\mu \) sufficiently small (depending on \(\delta \)) we can be sure that
According to [4, 11] there exists a unique complete Ricci flow – i.e. solution v(t) to the logarithmic fast diffusion equation – starting with \(v_0\), and existing for all time \(t\ge 0\). This flow will have bounded curvature, not just initially, but for all time, because \(v_0\le Ch\) for some large C (see [4], in contrast to [6]). Moreover, that solution will be maximally stretched [4] and in particular, we will have
We see then that we are reduced to proving the following proposition, which will be the objective of the remainder of Section 2.
Proposition 2.2
Suppose \(v_0:B\rightarrow (0,\infty )\) is smooth, with \(v_0\ge h\) and with equality outside a compact set in B. Suppose further that for some \(\delta \in (0,1]\) we have
If \(v:B\times [0,\infty )\rightarrow (0,\infty )\) is the unique complete solution to the equation \(\partial _tv=\Delta \log v\) with initial data \(v_0:=v(0)\) (see [4, 11]), then
where C depends only on \(\delta \).
The Potential Function and the Differential Harnack Estimate
To prove Proposition 2.2, we consider a potential function that will be constructed using the following lemma, which will be proved in Section 3 along with other technical aspects of the proof.
Lemma 2.3
Suppose \(v_0:B\rightarrow (0,\infty )\) is smooth, with \(v_0\ge h\) and with equality outside a compact set in B, and let \(v:B\times [0,\infty )\rightarrow (0,\infty )\) be the unique complete solution to the equation \(\partial _tv=\Delta \log v\) with \(v(0)=v_0\). Then there exists \(\psi \in C^\infty (B\times [0,\infty ))\cap C^0(\overline{B}\times [0,\infty ))\) such that for all \(t\ge 0\), we have
and
We can then define the potential function
It is straightforward to check, using Lemma 2.3 and (1.2), that
and
Following [7], we define the Harnack quantity \({\mathcal {H}}:B\times [0,T)\rightarrow {\mathbb {R}}\) to be
Lemma 2.4
Writing \(\Delta _v:=\frac{1}{v}\Delta \) for the Laplacian with respect to the metric corresponding to v, we have
and
throughout \(B\times [0,\infty )\).
Remark 2.5
Clearly \({\mathcal {H}}(0)\equiv 0\), so the proof of this lemma, which we give in Section 3, will involve verifying the equation for \({\mathcal {H}}\) and then checking that the maximum principle applies. Of course, one must take care about how \({\mathcal {H}}\) behaves as we approach \(\partial B\), but rewriting \({\mathcal {H}}\) in terms of \(\psi \) and v rather than \(\varphi \), using (2.10) and (2.9) gives
and we will show in Lemma 3.1 that
so \({\mathcal {H}}\) extends continuously to \(\partial B\), where it takes the value
so it seems reasonable to hope that \({\mathcal {H}}\le 0\) holds. In fact, because the heat equation (2.14) satisfied by \({\mathcal {H}}\) involves the Laplacian \(\Delta _v\) rather than \(\Delta \), only a mild growth condition on the positive part of \({\mathcal {H}}\) is required to make the maximum principle work, and in particular, it will suffice that \({\mathcal {H}}\) is bounded above on \(B\times [0,T]\), for each \(T>0\), rather than nonpositive at the boundary.
We end this section by noting the consequences of the Harnack Lemma 2.4 for v. Only the first, simpler, estimate will be required, but it will be required twice.
Corollary 2.6
In the setting of Lemma 2.3, for all \(t>0\) we have
or more generally
The stronger statement (2.18) is nothing more than a rearrangement of (2.16) and the inequality \({\mathcal {H}}\le 0\). The weaker statement (2.17) then follows by recalling that \((1+1/x)^x\le e\) for all \(x>0\), and noting that the equation (2.7) for \(\psi \) implies \(\Delta \psi \ge 0\) on B, with \(\psi =0\) on \(\partial B\), so the maximum principle implies that \(\psi (t)\le 0\).
Exponential Integrability
Continuing with the proof of Proposition 2.2, recall that
by (2.4). We use the following theorem of Brezis and Merle [1].
Theorem 2.7
Suppose \(\eta \in W_0^{1,1}(B)\) is a weak solution of
Then for \(0<p< 4\pi /\left\| f\right\| _1\), we have
In particular, provided \(\left\| f\right\| _1 <4\pi \), we obtain \(L^p\) control on \(e^{|\eta |}\) for some \(p>1\). We would like to apply this with \(\eta = \psi (0)/t\) and \(f=\frac{v_0- h}{t}\), in which case hypothesis (2.5) of Proposition 2.2 tells us that
Therefore, if \(t>\frac{1}{4\pi }(1+\frac{\delta }{100})\) then we obtain \(L^p\) control of the right-hand side of (2.17), for \(1<p<\frac{4\pi t}{1+\frac{\delta }{100}}\).
To prove Proposition 2.2, we need to obtain pointwise estimates on v(t) at time \(t_0=\frac{1}{4\pi }(1+\delta )\), but to do that, we first apply what we have just learned from Theorem 2.7 at time \(\tilde{t}:=\frac{1}{4\pi }(1+\delta /2)\). This then gives us \(L^p\) control in (2.17) for \(1<p<\frac{4\pi \tilde{t}}{1+\delta /100}=\frac{1+\delta /2}{1+\delta /100}\), and in particular we can set \(p=1+\delta /3\), and conclude that
or by (2.17) of Corollary 2.6,
We now wish to bootstrap our \(L^p\) control to \(L^\infty \) control. In order to do this, we view the Ricci flow as starting at time \(\tilde{t}\), with initial data \(v(\tilde{t})\) controlled as above, and repeat the construction of the potential function, Harnack quantity, and subsequent application of Corollary 2.6, starting at this time. However, instead of using the Brezis-Merle Theorem 2.7, we exploit our new \(L^p\) control in order to apply classical Calderon-Zygmund estimates instead. When making that step, the unboundedness of h near the boundary \(\partial B\) would cause a problem; we avoid this by working only on the interior ball \(B_{1/2}\) and comparing the flow with the hyperbolic metric \(h_{1/2}\). Or equivalently, we make a rescaling of the domain coordinates so that the ball \(B_{1/2}\) becomes a unit ball.
Following this second presentation, we define \(\tilde{u}_0:B\rightarrow (0,\infty )\) by
and note that
is a subsequent (incomplete Ricci flow) solution on B for \(t\ge 0\). Our objective of proving the bound (2.6) would then be implied by a bound
Unravelling (2.19) tells us that \(\Vert \tilde{u}_0\Vert _{L^p(B)}\le C(\delta )\). As before, we would like to define
but instead take the slight smoothing
as in Section 2.1 and Fig. 2. By choosing \(\mu \in (0,1]\) for our \(\gamma \), we can be sure that
We can then apply Corollary 2.6 with \(\tilde{v}_0\) in place of \(v_0\) in order to estimate the subsequent flow \(\tilde{v}(t)\ge \tilde{u}(t)\) by
where, of course,
However, instead of applying Theorem 2.7 of Brezis-Merle to estimate \(\tilde{\psi }(0)\), we apply Calderon-Zygmund theory. Equation (2.23) and the estimate (2.21) give
Appealing to the zero boundary data tells us that
and applying this to (2.22) at the origin, at time \(\tilde{t}_0:=t_0-\tilde{t}=\frac{\delta }{8\pi }\) gives
and hence (2.20), because \(\tilde{u}(t)\le \tilde{v}(t)\).
Proofs of Lemmas
We first want to prove Lemma 2.3, giving the existence and properties of \(\psi \), but that proof will in turn use the following lemma, which describes the asymptotic behaviour of v near \(\partial B\).
Lemma 3.1
For \(v_0\) and v as in Lemma 2.3, we have
uniformly as \((\mathbf{{x}},t)\rightarrow \partial B\times [0,\infty )\).
Assuming for the moment that Lemma 3.1 is true, we give a proof of Lemma 2.3.
Proof
Instead of defining \(\psi (t)\) by (2.7) and checking (2.8), we define only \(\psi (0)\) by (2.7), i.e. we take \(\psi (0)\) to be the solution to
which will be smooth (even up to the boundary) and then we extend \(\psi \) to \(t>0\) by asserting (2.8), i.e. we define
Basic ODE theory tells us that \(\psi \in C^\infty (B\times [0,\infty ))\). We also see that \(\psi \in C^0(\overline{B}\times [0,\infty ))\), with \(\psi (t)|_{\partial B}\equiv 0\) because
by Lemma 3.1.
It remains to check the first part of (2.7), i.e. that
For that purpose, we compute
where we used (2.8), the PDE satisfied by v, and (1.2).
Since we know \(\triangle \psi (0)= v(0)- h\), we have
for \(t>0\) as required. \(\square \)
Proof of Lemma 3.1
By assumption, we know that \(v_0\ge h\) on B, and that there exists \(a\in (0,1)\) such that on the annulus \(B\backslash \overline{B_a}\) we have
where \(h_0\) and \(h_a\) are the conformal factors of the unique complete conformal hyperbolic metrics on \(B\backslash \{0\}\) and \(B\backslash \overline{B_a}\) respectively. These inequalities can be computed directly (for example using that \(\sin (x)<x\) for \(x\in (0,\pi )\)) though they follow instantly from the maximum principle, which tells us that when we reduce the domain, the hyperbolic metric must increase.
The unique complete solution v(t) starting at \(v_0\) is maximally stretched on B, and so \((2t+1)h\le v(t)\), while on \(B\backslash \overline{B_a}\), the solution \((2t+1)h_a\), being complete, must also be maximally stretched and so \(v(t)\le (2t+1)h_a\) on this annulus (see [11]). Therefore, we conclude that for all \(t\ge 0\), we have
uniformly as \(r\uparrow 1\) as required. \(\square \)
We now prove the Harnack Lemma 2.4, but first we need to carefully state an appropriate maximum principle, which follows (for example) from the much more general [2, Theorem 12.22] using the Bishop-Gromov volume comparison theorem.
Theorem 3.2
Suppose g(t) is a smooth family of complete metrics defined on a smooth manifold M of any dimension, for \(0\le t\le T\), with Ricci curvature bounded from below and \(\left| \partial _t g\right| \le C\) on \(M\times [0,T]\).
Suppose f(x, t) is a smooth function defined on \(M\times [0,T]\) that is bounded above and satisfies
If \(f(x,0)\le 0\) for all \(x\in M\), then \(f\le 0\) throughout \(M\times [0,T]\).
Proof of Lemma 2.4
Direct computation using (2.12), (2.10) and (2.11) shows that
while computing using (2.13) gives
and hence from (2.10) we find that
Combining with (3.2) gives
as required.
Let g(t) be the family of smooth metrics corresponding to v(t). Since we know the curvature of g(t) is bounded, it satisfies the assumptions in Theorem 3.2. Moreover, as discussed in Remark 2.5, \({\mathcal {H}}\) is bounded and equals zero initially, so Theorem 3.2 then implies that \({\mathcal {H}}\le 0\) for all \(t\ge 0\). \(\square \)
\(L^p{-}L^\infty \) Smoothing Results
In this section, we prove the following result that implies Theorem 1.2 by setting \(1+\delta =4\pi \).
Theorem 4.1
Suppose \(u:B\times [0,T)\rightarrow (0,\infty )\) is a smooth solution to the equation
on the unit ball \(B\subset {\mathbb {R}}^2\), and suppose that \(u_0:=u(0)\in L^p(B)\) for some \(p>1\). Then for all \(\delta >0\), there exists \(C=C(\delta )<\infty \) such that for any \(t\in (0,T)\) we have
Proof
First suppose that \(t\ge \frac{\Vert u_0\Vert _{L^1(B)}}{4\pi }(1+\delta )\). Then Theorem 1.1 applies with \(k=0\) to give
which is stronger than (4.1).
If instead we have \(t< \frac{\Vert u_0\Vert _{L^1(B)}}{4\pi }(1+\delta )\), then we can find \(k\ge 0\) such that \(t=\frac{\Vert (u_0-k)_+\Vert _{L^1(B)}}{4\pi }(1+\delta )\), and then apply Theorem 1.1 to find that
In order to estimate k in terms of t, we compute
and thus
which when substituted into (4.2) gives the result. \(\square \)
Notes
We abuse terminology occasionally by referring to the function h itself as the hyperbolic metric.
References
Brezis, H., Merle, F.: Uniform estimates and blow-up behavior for solutions of \(-\triangle u = V(x)e^u\) in two dimensions. Commun. Partial Differ. Equ. 16, 1223–1253 (1991)
Chow, B., Chu, S.C., Glickenstein, D., Guenther, C., Isenberg, J., Ivey, T., Knopf, D., Lu, P., Luo, F., Ni, L.: The Ricci Flow: Techniques and Applications: Part II: Analytic Aspects. Mathematical Surveys and Monographs, vol. 144. AMS (2008)
Davis, S.H., DiBenedetto, E., Diller, D.J.: Some a priori estimates for a singular evolution equation arising in thin-film dynamics. SIAM J. Math. Anal. 27, 638–660 (1996)
Giesen, G., Topping, P.M.: Existence of Ricci flows of incomplete surfaces. Commun. Partial Differ. Equ. 36, 1860–1880 (2011)
Giesen, G., Topping, P.M.: Ricci flows with unbounded curvature. Math. Zeit. 273, 449–460 (2013)
Giesen, G., Topping, P.M.: Ricci flows with bursts of unbounded curvature. Commun. Partial Differ. Equ. 41, 854–876 (2016)
Guedj, V., Zeriahi, A.: Regularizing properties of the twisted Kähler–Ricci flow. To appear, J. Reine Angew. Math
Hamilton, R.S.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17, 255–306 (1982)
Topping, P.M.: Lectures on the Ricci flow. L.M.S. Lecture Notes Series, vol. 325. C.U.P., Cambridge (2006). http://www.warwick.ac.uk/~maseq/RFnotes.html
Topping, P.M.: Uniqueness and nonuniqueness for Ricci flow on surfaces: reverse cusp singularities. Int. Math. Res. Not. 2012, 2356–2376 (2012). arXiv:1010.2795
Topping, P.M.: Uniqueness of instantaneously complete Ricci flows. Geom. Topol. 19, 1477–1492 (2015)
Topping, P.M., Yin, H.: Rate of curvature decay for the contracting cusp Ricci flow. Preprint (2016). arXiv:1606.07877
Vázquez, J.L.: Smoothing and Decay Estimates for Nonlinear Diffusion Equations. Equations of Porous Medium Type. Oxford Lecture Series in Mathematics and Its Applications, vol. 33. Oxford University Press, Oxford (2006)
Vázquez, J.L.: Evolution of point masses by planar logarithmic diffusion. Discrete Contin. Dyn. Syst. Ser. A 19, 1–35 (2007)
Acknowledgements
The first author was supported by EPSRC Grant No. EP/K00865X/1 and the second author was supported by NSFC 11471300.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Topping, P.M., Yin, H. Sharp Decay Estimates for the Logarithmic Fast Diffusion Equation and the Ricci Flow on Surfaces. Ann. PDE 3, 6 (2017). https://doi.org/10.1007/s40818-017-0024-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-017-0024-x