The Ricci flow on manifolds with boundary
Abstract.
We study the shorttime existence and regularity of solutions to a boundary value problem for the RicciDeTurck equation on a manifold with boundary. Using this, we prove the shorttime existence and uniqueness of the Ricci flow prescribing the mean curvature and conformal class of the boundary, with arbitrary initial data. Finally, we establish that under suitable control of the boundary data the flow exists as long as the ambient curvature and the second fundamental form of the boundary remain bounded.
1. Introduction
The aim of this paper is to study the deformation for a short period of time of a Riemannian metric on a compact Riemannian manifold with boundary using the Ricci flow
(1.1) 
which was introduced by Hamilton in [17]. He established the shorttime existence and uniqueness of solutions with and used it to study threedimensional manifolds admitting metrics with positive Ricci curvature. Later on, Shi in [24] proved the short time existence of the flow for complete manifolds with uniformly bounded Riemann tensor. Ever since, it has been proven to be a valuable tool in the study of the interaction between geometry and topology, providing a natural geometric deformation of Riemannian manifolds.
A natural question to ask is whether one can deform the geometry of a manifold with boundary using the Ricci flow, and what would be appropriate boundary conditions. The obstacle, as in the case without boundary, is the diffeomorphism invariance of the Ricci tensor which is why the equation is not parabolic. One needs to solve a modified parabolic equation first, as DeTurck did in [13] and then relate its solution to the Ricci flow. In the case of manifolds with boundary though, the challenge is to impose boundary conditions that on the one hand will lead to a parabolic boundary value problem for the modified equation, and at the same time tie well with the geometric character of the Ricci flow.
The first work in this direction was by Y.Shen in [23], where he established a shorttime existence result for compact manifolds with umbilic boundary. Moreover, he extended Hamilton’s result in [17] to the case of manifolds with totally geodesic boundary. The convex (and umbilic) case was studied later by Cortissoz in [12]. However, one would like to deform more arbitrary metrics than in [23]. To this direction, Pulemotov in [20] proved a shorttime existence result for manifolds with boundary of merely constant mean curvature.
More work has been done on the twodimensional Ricci flow, and the closely related Yamabe flow. Both have been studied under Neumanntype boundary conditions. See for instance the contributions of Brendle in [6], [7], [8], Tong Li in [19] and Cortissoz in [11]. Also, Giesen and Topping in [15] study the Ricci flow on general incomplete surfaces from a different point of view. They show existence of solutions which become instantaneously complete for positive time and completely classify their asymptotic behaviour. Moreover, Topping in [27] shows that such flows depend uniquely on the initial data.
Heuristically, the Ricci flow is closely related to the corresponding “elliptic” problem, the Einstein equations. Boundary value problems for Einstein metrics have been studied for instance by Anderson in [5], Anderson and Khuri in [3], Schlenker in [22] and Reula in [21]. In particular, in [5] it is shown that the conformal class and the mean curvature of the boundary give elliptic boundary conditions for the Bianchigauged Einstein equation. Notice that in the case of threedimensional manifolds with boundary, solving such a boundary value problem also gives rise to immersions of the boundary data (conformal class and mean curvature) in the canonical simply connected spaces of constant curvature. We refer the reader to [2] for details on this point of view. A parabolic approach may provide further understanding of these geometric problems.
A solution to the Ricci flow is not expected to be determined uniquely by the mean curvature only, as in [20], which hints that it should be supplemented with additional boundary data. In the following, we study boundary value problems for the RicciDeTurck flow and the Ricci flow, under the boundary conditions proposed in [5]. The main result of this study is a local existence and uniqueness result for the Ricci flow on manifolds with boundary. To the knowledge of the author, this is the first result which allows the flow to start from an arbitrary initial metric.
The methods used can also be applied to study boundary value problems for geometric flows related to static metrics in General Relativity (see [3]). However, we won’t pursue this direction here, as we plan to discuss it in a future paper.
Let be a compact dimensional manifold with boundary and interior . If is a smooth Riemannian metric on we will denote by the mean curvature of the boundary and by the part of the tensor , tangential to the boundary. Moreover, if is some Riemannian metric on , let be its conformal class, namely
Now, let be an arbitrary smooth Riemannian metric on , a smooth timedependent family of metrics on and a function . We assume that they satisfy the zeroth order compatibility conditions
(1.2) 
Moreover, let be the constant defined in Section 4.1, which bounds the norm of and appropriate Hölder norms of and . For the precise definitions of the function spaces used and the restrictions on the values of and appearing below the reader is invited to consult Section 2.
Theorem 1.1.
Let be as above. Consider an arbitrary family of background metrics which satisfies in addition the zeroth order compatibility condition . Take and set
Then, there exists a which depends only on and and a unique solution , , of the RicciDeTurck equation,
(1.3) 
where , satisfying on the boundary conditions:
(1.4)  
(1.5)  
(1.6) 
and the estimate . The solution is away from the corner , and extends on as a family of metrics. Moreover, if the data , , and satisfy the necessary higher order compatibility conditions (see Section 4.2), then is up to .
Now, Theorem 1.1 allows us to prove in Section 5 a shorttime existence result for the Ricci flow on an arbitrary compact Riemannian manifold with boundary. Here, the existence time of the flow is controlled in terms of bounds on the geometry of the initial data.
Theorem 1.2.
Let , , as in Theorem 1.1, and suppose
(1.7)  
(1.8)  
(1.9)  
(1.10)  
(1.11) 
for some . Then, there exists a smooth solution to (1.1), for , that satisfies on the boundary conditions (1.5)(1.6) and depends only on .
Moreover, as , converges in the CheegerGromov sense to and away from the boundary. Namely, there exist a smooth family of diffeomorphisms of , , such that .
Also, if satisfy the necessary higher order compatibility conditions for the Ricci tensor to be in the class (see Section 5), then

As , converges to in the CheegerGromov sense.

, and there exists a diffeomorphism of which fixes the boundary and is in the interior such that . Also, if , is and .

The Riemann tensor is in and .
Here, denote the injectivity radii of , respectively and denotes the “boundary injectivity radius”, namely the maximal size of the collar neighbourhood of in which the normal exponential map from the boundary is a local diffeomorphism. See Definition 5.1. Also, we write for the scalar curvature of .
We note that a version of Theorem 1.2 in which the initial data are obtained in the usual sense, namely , does hold. However, such a solution will generally not be smooth up to the boundary even for positive time. This issue is related to the invariance of the equation under diffeomorphisms and is discussed in Remark 5.3.
We prove Theorem 1.1 in Section 4 with a fixedpoint argument, following the method of Weidemaier in [28] and applying Solonnikov’s work on linear parabolic systems under general boundary conditions in [25]. The main advantage compared to an implicit function theorem approach is that the study of the nonlinearities of the equation and the boundary conditions allows us to obtain uniform control on the existence time.
Note that the control of the existence time obtained in Theorem 1.1 does not tie well with the geometric nature of the Ricci flow, mainly because it involves norms which depend on the choice of the background smooth structure and metric. From this point of view, Theorem 1.2 is more satisfactory, as the lower bound on the existence time depends only on the geometry of the initial data and norms of the boundary conditions.
It is well known that incomplete solutions of the Ricci flow are in general not unique. On a manifold with boundary though, the boundary data (1.5)(1.6) allow us to obtain the following uniqueness result.
Theorem 1.3.
Theorems 1.1, 1.2 and 1.3 generalize to Theorem 5.1, where also depends on the metric induced on the boundary by .
Finally, in Sections 6 and 7 we move towards the study of more global issues. In Section 6 we demonstrate the necessity of the bound on the boundary injectivity radius in Theorem 1.2. We construct examples with flat initial data and uniformly controlled boundary conditions whose existence time becomes arbitrarily small. This is quite surprising, since on closed manifolds a curvature bound suffices to prevent such behaviour. Section 7 is devoted in the proof of the following theorem, which is a continuation principle for the Ricci flow on manifolds with boundary.
Theorem 1.4.
Let , be a smooth () Ricci flow on with smooth boundary data defined for . Suppose be the maximal time of existence and . Then
Acknowledgements: The author would like to thank his adviser Michael Anderson for suggesting this problem and for valuable discussions and comments.
2. Notation, definitions, background material
Let be a smooth, compact, dimensional manifold with boundary , and interior . We will use the notation , .
2.1. Function Spaces.
We need to define the function spaces we will use. First, fix a smooth Riemannian metric on and denote by its LeviCivita connection. We also need to fix an open cover of , and a collection of charts such that
, if does not intersect the boundary  
, if intersects the boundary. 
In the last case assume that . We will use the convention that Greek indices correspond to directions tangent to the boundary, counting from to . Moreover, will be a partition of unity subordinate to that open cover.
Consider any tensor bundle of rank over , with projection map , equipped with the connection inherited by . The completion of the space of the time dependent sections of with respect to the norm
will be denoted by . Let also
If is a section of , we will denote by the coordinates of this tensor with respect to the trivialization based at .
We define the following norm for time dependent sections of and for :
Here, setting , we define
where, for every function
In the above,
Analogous spaces exist also in the elliptic setting, see for instance [26].
For nonintegral, we will denote by the Banach space of time dependent sections of having continuous up to the boundary derivatives for all satisfying , satisfying appropriate Hölder conditions in the time and space directions. More precisely, the norm is given by
where are the coordinate functions of in the coordinate system and
Here, for
We will also denote by and the norms
For any integer we will denote by the space of sections with all the derivatives for continuous, equipped with the norm .
By the definition of it is not hard to see that embeds in , provided that . We will also need the following embedding theorems.
Lemma 2.1.

For , and ,

If and , then

If and , then
In the above, the constants do not depend on and , where is a constant depending on the chosen atlas .
From now on let us fix some and some . Then, as the previous Lemma implies, the Sobolev space embeds in the Hölder space . Moreover, we get the following estimates (see Corollary A.2 in [28]).
Lemma 2.2.
For all , with , , and all sufficiently small


, for all
Also, we will be using the following product estimate.
Lemma 2.3.
If and , then
2.2. The mean curvature.
Let be a Riemannian metric on and the ourward unit normal to with respect to . The second fundamental form of the boundary is defined by
The mean curvature of the boundary with respect to the metric is then given by
In the following we are going to need the following formulae, which can be proven by direct computation.
Lemma 2.4.
If is a smooth oneparameter family of metrics, such that , and , the first variation of the mean curvature of the boundary is given by the formula:
Lemma 2.5.
In the local coordinates defined in this section the mean curvature of the boundary of is given by
3. A linear parabolic initialboundary value problem.
Let be a Riemannian metric on , for some , the induced metric on the boundary, the Bianchi operator and be the linearization of the mean curvature at .
We will also denote by and the subspaces whose elements satisfy the initial condition .
Theorem 3.1.
Consider the following linear parabolic initialboundary value problem on symmetric 2tensors on
(3.1) 
for , in the corresponding space and . Assuming that the zeroth order compatibility conditions
hold, problem (3.1) has a unique solution which satisfies the estimate
(3.2) 
Moreover the constant stays bounded as and depends on the norms of and .
Proof.
The method followed in Chapter IV of [18] and Theorem 5.4 of [25] carries over to the manifold setting, after the necessary adaptation to the realm of manifolds and vector bundles (see [20]). We only need to show that the following boundary value problem on satisfies the complementing condition (see [18],[25] and [14]).
and
Here, and . One obtains (3) by expressing (3.1) in local coordinates around a point of the boundary, with , freezing the coefficients at and keeping the higher order terms. The principal symbols of the boundary operators are:
(3.3)  
(3.4) 
and the principal symbol of the parabolic operator , is , where and its Euclidean norm. We obtain the following positive root . Setting equations to zero and letting , , we get the following system:
(3.5)  
(3.6)  
(3.7)  
(3.8) 
Since the principal symbol of the equation is in diagonal form, the complementing condition is equivalent to proving that system (3.5)(3.8) has only the zero solution when satisfy
(3.9) 
for some .
From equation we have
(3.10) 
while multiplying equation by and then adding over we find:
(3.11) 
This gives, taking (3.10) and into account:
(3.12) 
which, after substituting for , leads to the equation:
(3.13) 
Now, by equation we have:
(3.14) 
which combined with gives:
(3.15) 
and therefore . Now, (3.9) implies that , which gives and thus .
Remark 3.1.
Theorem 3.1 is still valid if we consider and evolving such that . Note that the complementing condition is satisfied if and are in the same conformal class. If not, the openness of this condition implies that it holds at least for some short time depending on bounds of and . Thus, we either get local (in time) existence or a global solution and the constant depends on the norms of and and the norms of and .
4. A boundary value problem for the RicciDeTurck flow.
Let be a Riemannian metric on . Consider also , a family of boundary metrics and a function , where is always and . Moreover, assume the zeroth order compatibility conditions (1.2) hold.
We supplement the Ricci flow equation
(4.1) 
with the boundary conditions
(4.2)  
and the initial condition
(4.3) 
and aim to study the existence and regularity of solutions.
As is well known, the Ricci flow equation is not strongly parabolic, so we will first study the RicciDeTurck equation
(4.4) 
with the boundary conditions
(4.5)  
Here, , being the Christoffel symbols of , and the Christoffel symbols of a family of metrics with (i.e ).
Remark 4.1.
The geometric nature of Ricci flow requires the boundary data to be geometric, namely invariant under diffeomorphisms that fix the boundary. The data (4.2) have this property. However, passing to the DeTurck equation we need to impose the additional, gaugedependent boundary condition .
Remark 4.2.
We allow the background metric to vary and define a time dependent reference gauge. This, as will be discussed in Section 4.2, allows higher regularity of the solution on .
4.1. Shorttime existence of the RicciDeTurck flow.
We can now state and prove the main short time existence Theorem. First, define
Then, the following theorem holds.
Theorem 4.1.
Consider the boundary value problem , with initial condition . For the data define