Abstract
We prove existence results for entire graphical translators of the mean curvature flow (the so-called bowl solitons) on Cartan–Hadamard manifolds. We show that the asymptotic behavior of entire solitons depends heavily on the curvature of the manifold, and that there exist also bounded solutions if the curvature goes to minus infinity fast enough. Moreover, it is even possible to solve the asymptotic Dirichlet problem under certain conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study the existence of translating solitons in Riemannian products \(N\times \mathbb {R}\), where N is an n-dimensional Cartan–Hadamard manifold, i.e., a complete, simply connected Riemannian manifold with non-positive sectional curvature. A submanifold M of \(N\times \mathbb {R}\) is a translating soliton of the mean curvature flow if
where H is the mean curvature vector field, \(X=\partial _t\) is the standard coordinate vector field of \(\mathbb {R}\), and \(c\in \mathbb {R}\) is a constant that indicates the velocity of the flow. Recall from [5, Prop. 6] that, given a domain \(\Omega \subset N\) and a \(C^2\) function \(u:\Omega \rightarrow \mathbb {R}\), the graph
is a translating soliton if and only if u satisfies the quasilinear partial differential equation
with some constant \(c\in \mathbb {R}\).
In [1], Altschuler and Wu studied surfaces over a convex domain in \(\mathbb {R}^2\) that are evolving by the mean curvature flow and have prescribed contact angle with the boundary cylinder. They also proved the existence of a convex rotationally symmetric translating soliton over the entire plane. Clutterbuck et al. [3] constructed entire, rotationally symmetric, strictly convex graphical translating solitons in \(\mathbb {R}^{n+1},\ n\ge 2\), known as bowl solitons. They also classified all translating solitons of revolution giving a one-parameter family of rotationally symmetric “winglike" solitons \(M_\varepsilon \), where \(\varepsilon \) represents the neck size of the winglike soliton \(M_\varepsilon \) and the limit as \(\varepsilon \rightarrow 0\) consists of a double copy of the bowl soliton. We recall that Wang [14] characterized the bowl soliton as the only convex translating solitons in \(\mathbb {R}^{n+1}\) that is an entire graph. Spruck and Xiao [13] proved that a translating soliton which is graph over the whole \(\mathbb {R}^2\) must be convex and, hence, the bowl soliton. In recent years, several families of new translating solitons in the Euclidean space have been constructed by using different techniques, see [4, 7, 8, 10,11,12]. For instance, in [7] Hoffman et al. gave a full classification of complete translating graphs in \(\mathbb {R}^3\) and constructed \((n-1)\)-parameter families of new examples of translating graphs in \(\mathbb {R}^{n+1}\).
In [5], de Lira and Martín extended the constructions of Clutterbuck, Schnürer, and Schulze to rotationally symmetric Cartan–Hadamard manifolds \(N_\xi \) whose metric can be written as follows:
where \(r=r(x) = d(o,x)\) is the distance to a pole \(o\in N_\xi \) and \(d\vartheta ^2\) is the metric on the unit sphere \(\mathbb {S}^{n-1} \subset T_o N_\xi \). They proved the existence of a one-parameter family of rotationally symmetric translating solitons \(M_\varepsilon ,\ \varepsilon \in [0,+\infty )\), embedded into the Riemannian product \(N_\xi \times \mathbb {R}\). The translating soliton \(M_0\), again called the bowl soliton, is the graph of an entire solution to (1.1), whereas each \(M_\varepsilon ,\ \varepsilon >0\), is a bi-graph over the exterior of the geodesic ball \(B(o,\varepsilon )\subset N_\xi \) and is called a winglike soliton. Notice that a radial function \(u=u(r)\) is a solution to (1.1) if and only if it satisfies the ODE
or equivalently,
where the prime \('\) denotes derivatives with respect to the radial coordinate r. De Lira and Martín also constructed entire grim reaper graphs on a class of complete, not necessarily rotationally symmetric, Riemannian manifolds by using Fermi coordinates attached to a geodesic.
Our main motivation in this paper is to prove existence results for graphical translating solitons on Cartan–Hadamard manifolds that need not be rotationally symmetric. We assume that the radial sectional curvatures of a Cartan–Hadamard manifold N satisfy
where r is the distance function to a fixed point \(o\in N\), \(a,b:[0,\infty )\rightarrow [0,\infty )\) are smooth functions, and \(P_x\) is any 2-plane in the tangent space \(T_xN\) containing \((\partial _r)_x=\nabla r(x)\). We call a and b the radial curvature functions of N. Notice that this is not a restriction at all since there are such functions for any Cartan–Hadamard manifold. We will denote by \(N_a\) and \(N_b\) the rotationally symmetric model manifolds with radial sectional curvatures \(-a(r)^2\) and \(-b(r)^2\), respectively. Note that the Riemannian metric \(g_a\) on \(N_a\) (similarly on \(N_b\)) can be written as follows:
where \(f_a\) is the solution for the 1-dimensional Jacobi equation
Next we describe the structure of our paper and state some of our results. The main theme in Sect. 2 is the search of global super- and subsolutions to (1.1) that stay of bounded distance from each other and use them as barriers in construction of entire solutions. First, we implement the rotationally symmetric bowl solitons from the models \(N_a\) and \(N_b\) obtained by de Lira and Martín to the actual Cartan–Hadamard manifold N and obtain solutions to (1.1) on geodesic balls \(B(o,R)\subset N\) with constant boundary values on \(\partial B(o,R)\). In Subsect. 2.1, we first improve the estimate of the asymptotic behavior of a rotationally symmetric solutions obtained in [3] and [5]. Then we consider asymptotically rotationally symmetric manifolds and utilize the bowl solitons in rotationally symmetric models as global upper and lower barriers. If the sectional curvature, upper bound goes to minus infinity fast enough, there can be bounded entire solutions to (1.1). Indeed, we have the following:
Theorem 1.1
Suppose that
where the curvature upper bound goes to \(-\infty \) fast enough so that
Then there exists a translating soliton in \(N\times \mathbb {R}\) that is the graph of an entire bounded solution \(u:N\rightarrow \mathbb {R}\) to the Eq. (1.1).
Furthermore, under suitable curvature bounds, it is even possible to solve the asymptotic Dirichlet problem for (1.1). For instance, if the radial sectional curvatures are bounded as follows:
and we are given a continuous function \(\varphi \in C(\partial _\infty N)\) on the sphere at infinity, there exists a unique entire solution \(u\in C^2(N)\cap C(\overline{N})\) to (1.1) with boundary values \(u|\partial _\infty N = \varphi \) at infinity. See Theorem 2.14 in Subsect. 2.3 for the general result. In Subsect. 2.4, we construct global super- and subsolutions whose difference goes to zero at infinity under certain (implicit) assumptions on the Riemannian metric that are more general than those in 2.1. Then we apply these barriers in construction of entire solutions. The following two corollaries provide examples of such suitable metrics.
Corollary 1.2
Let \((N^2,g)\) be a 2-dimensional Cartan–Hadamard manifold with the Riemannian metric \(g =dr^2 + h(r,\theta )^2 d\theta ^2\), where
Then there exists a bowl soliton on \((N^2,g)\).
Corollary 1.3
Let \((N^2,g)\) be a 2-dimensional Cartan–Hadamard manifold with the Riemannian metric \(g =dr^2 + h(r,\theta )^2 d\theta ^2\), where
where \(f_b''(r)=\frac{\beta ^2}{r^2}f_b(r)\), \(f_a'' (r)= \frac{\alpha ^2}{r^2} f_a (r)\), with \(\beta>\alpha >4\sqrt{5}\). Then there exists a bowl soliton on \((N^2,g)\).
2 Construction of Entire Solutions
In this section, we search conditions on N that guarantee the existence of an entire solution to (1.1). We start with the following application of the Laplace comparison theorem and the existence result of de Lira and Martín for rotationally symmetric models.
Lemma 2.1
(Sub- and supersolutions) Assume that N satisfies (1.3). Then there exist entire radial sub- and supersolutions to the Eq. (1.1) for every \(c\in \mathbb {R}\).
Proof
We prove the claim for subsolutions in the case \(c>0\), the other cases are similar. Let \(u_a:N_a\rightarrow \mathbb {R}\) be the radial solution on \(N_a\) to (1.1) given by [5, Theorem 7]. Using \(u_a\), we define a radial function, also denoted by \(u_a\), on N by setting \(u_a(x)=u_a(r(x))\), where r(x) is the distance to the fixed point \(o\in N\). Hence, \(\nabla u_a = u_a' \nabla r\). Applying the Laplace comparison \(\Delta r \ge \Delta _a r\), where \(\Delta _a\) denotes the Laplace-Beltrami operator on \(N_a\), and denoting \(W_a=\sqrt{1+|\nabla u_a|^2}\), we obtain
Above we used the fact \(u_a'\ge 0\) that follows from the maximum principle since the radial solution \(u_a\) on \(N_a\) can not have interior maxima. Similarly, the entire radial solution \(u_b\) on \(N_b\) yields an entire supersolution on N. In fact, any constant function on N is a supersolution for \(c\ge 0\). \(\square \)
From now on we assume, without loss of generality, that the constant c in (1.1) is nonnegative. The sub- and supersolutions \(u_a\) and, respectively, \(u_b\) can be uses as barriers in order to obtain solutions in geodesic balls with constant boundary values.
Lemma 2.2
For every geodesic ball \(B=B(o,R)\subset N\) and a constant \(m\in \mathbb {R}\) there exists a function \(u\in C^2(B)\cap C(\bar{B})\) that solves the equation
Proof
Let \(u_a\) and \(u_b\) be the radial sub- and supersolutions given by Lemma 2.1. By adding suitable constants we may assume that \(u_a=u_b=m\) on \(\partial B\). Then \(u_a\) is a lower barrier and \(u_b\) is an upper barrier in B, and therefore we obtain a priori boundary gradient estimate for the Dirichlet problem (2.1). By [2, Lemma 2.3] we have a priori interior gradient estimate, hence the existence of a solution to (2.1) follows from the Leray-Schauder method [6, Theorem 13.8]. \(\square \)
Remark 2.3
Although \(u_a\) and \(u_b\) are global sub- and supersolutions it seems difficult to use them as global barriers. The difficulty being that the difference \(|u_b - u_a|\) remains bounded only in a very special case of asymptotically rotationally symmetric manifolds; see Lemma 2.8 and Remark 2.9.
2.1 Asymptotically Rotationally Symmetric Case
Next we will prove the existence of entire solutions of (1.1) under assumptions on the asymptotic behavior of the radial sectional curvatures of M. For this we first slightly improve the estimate about the asymptotic behavior of the rotationally symmetric solutions obtained in [5]; see also [3].
Proposition 2.4
Let N be a complete rotationally symmetric Riemannian manifold whose radial sectional curvatures satisfy
Suppose, furthermore, that
-
(i)
$$\begin{aligned} \left( \frac{\xi }{\xi '} \right) '= o\left( \min \left\{ \max \left\{ 1, \left( \frac{\xi }{\xi '}\right) ^2\right\} ,\max \left\{ \frac{\xi }{\xi '},\frac{\xi '}{\xi }\right\} \right\} \right) \end{aligned}$$
-
(ii)
$$\begin{aligned} h\left( \frac{\xi }{\xi '} \right) '=o\left( \max \left\{ \frac{\xi }{\xi '},\frac{\xi '}{\xi }\right\} \right) \end{aligned}$$
-
(iii)
$$\begin{aligned} \frac{h'}{h}=o\left( \max \left\{ \frac{\xi '}{\xi },\frac{\xi }{\xi '}\right\} \right) \end{aligned}$$
as \(r\rightarrow \infty \) for some smooth positive h. Then the rotationally symmetric translating solitons \(M_\varepsilon \), \(\varepsilon \in [0,+\infty )\), are described, outside a cylinder over a geodesic ball \(B_R(o)\subset N\), as graphs or bi-graphs of functions with the following asymptotic behavior
as \(r\rightarrow +\infty \).
Proof
Denoting \(\varphi =u'\) the Eq. (1.2) becomes
For \(\epsilon >0\) we denote
We claim that for every given \(\epsilon >0\) and \(r_0>R\) there exists \(r_1>r_0\) such that
Indeed, if this were not the case, there would exist \(\epsilon >0\) and \(r_0>R\) such that
for every \(r>r_0\). In this case we would have
which implies that
for all \(r>r_*>r_0\). This contradicts the fact that the solution is entire and hence \(r\rightarrow +\infty \).
Next we claim that
for all sufficiently large \(r>R\). Indeed, we have
if and only if
that holds true for all sufficiently large \(r>R\) by the assumption (i). Then adjusting \(r_1>r_0\) to be sufficiently large we conclude from a standard comparison argument for nonlinear ODEs that
for every \(r>r_1\), with \(r_1>r_0>R\) sufficiently large. We conclude that for every given \(\epsilon >0\) and \(r_0>R\) there exists \(r_1>r_0\) such that
for all \(r>r_1\).
Similarly, given \(\epsilon >0\) we denote
Again we claim that for every \(\epsilon >0\) and \(r_0>R\) there exists \(r_1>r_0\) such that
Otherwise, we could find \(\epsilon >0\) and \(r_0>R\) such that
for every \(r>r_0\). Consequently,
leading to a contradiction
Next we prove that
for all sufficiently large r, or equivalently that
that holds true for all sufficiently large r again by the assumption (i). Therefore we can again conclude that for every given \(\epsilon >0\) and \(r_0>R\) there exists \(r_1>r_0\) such that
for all \(r>r_1\).
We set
and claim that
If this were not the case, then
or
Note that
and that
for \(r>r_1\).
Suppose first that
Given any \(\delta >0\), with
there are arbitrary large \(r_*\) such that
For every such \(r_*\ge r_2\) we have, by the assumption (i), that
whenever \(r_2\) is large enough. Hence there exists an interval \([r_*, \tilde{r}],\ \tilde{r}>r_*\), such that \(\psi (r)\le -\delta ,\ \psi '(r)\ge \tilde{\delta }\), and hence \(\psi (r)\ge (r-r_*)\tilde{\delta } +\psi (r_*)\) for all \(r\in [r_*,\tilde{r}]\). Let \(r_3\) be the supremum of such \(\tilde{r}\). Then \(\psi (r_3)=-\delta ,\ \psi '(r_3)\ge \tilde{\delta }\), and consequently \(\psi >-\delta \) on some open interval \((r_3,r)\). Since
the supremum
is finite, hence \(\psi (r_4)=-\delta \) and \(\psi '(r_4)\ge \tilde{\delta }\). This leads to a contradiction since \(\psi (t)>-\delta \) for all \(t\in (r_3,r_4)\).
Suppose then that
Given any \(\delta >0\), with
there are arbitrary large \(r_*\) such that
Again, for every such \(r_*\ge r_2\) we have
whenever \(r_2\) is large enough. As above, this leads to a contradiction.
Thus
Next we study the rate of the convergence \(\psi \rightarrow 0\). For this, we denote
and show that \(\lambda (r)\rightarrow 0\) as \(r\rightarrow \infty \). Since
and
we have
Assuming that \(\lambda (r) \le -\delta <0\) for some arbitrarily large r implies that
for such r by assumptions (ii) and (iii). By a similar argument as before this implies that
On the other hand, if \(\lambda (r)\ge \delta >0\) for some arbitrarily large r, then \(\lambda '(r)\le -\tilde{\delta }<0\) for such r, and again we can conclude that
We have proven that \(\lambda (r)\rightarrow 0\) as \(r\rightarrow +\infty \), and therefore
as \(r\rightarrow +\infty \). \(\square \)
Example 2.5
-
(a)
If \(\xi (r)=r\), we may choose \(h(r)=r/\log r\).
-
(b)
If \(\xi (r)=\sinh r\), we may choose, for example,
$$\begin{aligned} h(r)=e^{r^\alpha },\quad 0<\alpha <1. \end{aligned}$$In fact, also \(h(r)=\sinh r\) will do as can be seen in the estimation of \(\lambda '(r)\).
-
(c)
If \(\xi (r)=\sinh (\sinh r)\), we can choose \(h(r)=e^{r}/\log r\).
Next, let us discuss the condition (i) of Proposition 2.4. Before doing so, we need the following lemma which provides criteria to compare the sectional curvature \(K(P_x)\) with \((\xi ^\prime /\xi )\big (r(x)\big )\) when r(x) is very large. To simplify notation, we set \(-a^2=K\) and \(f_a=\xi \).
Lemma 2.6
Suppose that \(a: [0,\infty ) \rightarrow [0,\infty )\) is a smooth function such that \(a(t)>0\) for every \(t\ge t_0\), for some \(t_0>0\).
-
(i)
If
$$\begin{aligned} \lim _{t\rightarrow \infty } \dfrac{a' (t)}{a^2 (t)}=0, \end{aligned}$$(2.4)then
$$\begin{aligned} \lim _{t\rightarrow \infty }\dfrac{f_a^\prime (t)}{a(t)f_a (t)}=1. \end{aligned}$$ -
(ii)
If (2.4) does not hold, we assume that \( a^\prime (t) \le -c\,a^2(t)< 0,\) with some constant \(c>0\), for all sufficiently large every t and, furthermore, either
-
(a)
\(a\not \in L^1\big ([0,\infty )\big )\) or
-
(b)
\(a\in L^1\big ([0,\infty )\big )\) and \(f_a^\prime (t)\rightarrow \infty \) as \(t\rightarrow \infty \).
Then we have
$$\begin{aligned} \liminf _{t\rightarrow \infty }\dfrac{f_a^\prime (t)}{a(t)f_a (t)}>1. \end{aligned}$$(2.5) -
(a)
Proof
The proof of (i) can be found in [9, Lemma 2.3]. Let us prove next (ii). Its proof follows closely [9, Lemma 2.3]. For \(k>0\), we define
and notice that
and
Since \(a^\prime (t) \le -c\,a^2(t)< 0\) for all \(t\ge t_1\), we obtain
if
Therefore,
for all \(t\ge t_1\). Hence
and consequently
for all \(t\ge t_1\). If \(a\not \in L^1\big ([0,\infty )\big )\), we have \(g_{1+\varepsilon }(t)\rightarrow \infty \) as \(t\rightarrow \infty \). Otherwise \(f_a^\prime (t)\rightarrow \infty \) as \(t\rightarrow \infty \) by the assumption (b) of (ii). Thus in both cases we have
This proves (2.5). \(\square \)
Notice that
So if
then we deduce from Lemma 2.6 that
as \(t\rightarrow \infty \). Furthermore, using once more Lemma 2.6, we get
if \(\lim _{t\rightarrow \infty }a(t) =+\infty \), and
if \(\lim _{t\rightarrow \infty }a(t) =0\). Therefore, if
then the condition (i) of Proposition 2.4 is satisfied.
Next, let us assume that a satisfies the assumptions (ii) in Lemma 2.6. First, integrating the inequality \(a^\prime (t)\le - c a^2 (t)\), we deduce that there exists a constant C such that \(a(t) \le C/t=\tilde{a}(t)\). Therefore, using Example 2.1 of [9], there exist two positive constants \(\alpha >1\) and c such that \(\lim _{t\rightarrow \infty } \dfrac{f_{\tilde{a}} (t)}{t^\alpha }=c\) and \(\lim _{t\rightarrow \infty } \dfrac{f^\prime _{\tilde{a}} (t)}{t^{\alpha -1}}=\alpha c\). This implies that
By standard comparison theorem (see for instance Lemma 2.2 of [9]), we deduce that
Since, by Lemma 2.6 and (2.6), \(\left( \frac{f_a}{f_a^\prime }\right) ^\prime (t) \ge C>0 \), we conclude that (i) of Proposition 2.4 holds if a satisfies the assumptions (ii) in Lemma 2.6.
Concerning conditions (ii) and (iii) of Proposition 2.4, we see that if \(\lim _{t\rightarrow \infty }a(t)=\infty \) then we can take \(h= f_a^\prime /f_a\). Indeed, (ii) is a direct consequence of the fact that \((f_a /f_a^\prime )^\prime (t)\rightarrow 0\) as \(t\rightarrow \infty \). Concerning (iii), we notice that
Using that
we deduce that \(h^\prime =o(h^2)\) which is equivalent to (iii). We do not comment on these conditions in the case \(\lim _{t\rightarrow \infty }a(t)=0\) since in any case, we will need a refined asymptotic expansion.
Proposition 2.7
Let N be a complete rotationally symmetric Riemannian manifold whose radial sectional curvatures satisfy
Suppose, furthermore, that
and
as \(r\rightarrow \infty \). Then the rotationally symmetric translating solitons \(M_\varepsilon \), \(\varepsilon \in [0,+\infty )\), are described, outside a cylinder over a geodesic ball \(B_R(o)\subset N\), as graphs or bi-graphs of functions with the following asymptotic behavior
as \(r\rightarrow +\infty \), where
and
as \(r\rightarrow +\infty \).
Proof
By the proof of 2.4
where \(\psi (r)\rightarrow 0\) as \(r\rightarrow \infty \). We write
and claim that (2.9) holds for \(\lambda \). First we compute
If, for fixed \(\delta >0\)
for some arbitrary large r, then \(\lambda '(r)<- \tilde{\delta }<0\) for such r. Similarly, if
for some arbitrary large r, then \(\lambda '(r)>\tilde{\delta }\) for such r. Hence (2.9) holds.
Next we write
Hence,
from which we deduce as earlier that (2.10) holds. \(\square \)
We claim that the assumptions of the previous lemma hold under the hypothesis of Lemma 2.6 (ii) with \(K=-a^2\). By Lemma 2.6, (2.6) and (2.7), we see that
and
as \(r\rightarrow \infty \). Notice that
So the condition
is equivalent to
Since \( af_a/f_a^\prime \le 1\) and \(a^\prime \) goes to 0, this holds true. This proves the claim.
Lemma 2.8
Let N be a Cartan–Hadamard manifold whose radial sectional curvatures satisfy
where \(\alpha >0\) is constant and \(b\ge a\) are positive smooth functions such that the corresponding solutions to the Jacobi equation (1.4) satisfy
and that
for some smooth, increasing, positive function h such that
and
as \(r\rightarrow \infty \). Then there exist entire radial sub- and supersolutions, \(u_a\) and \(u_b\), of (1.1) such that the difference \(|u_b(x) - u_a(x)|\) remains bounded as \(r(x) \rightarrow \infty \).
Proof
Since
by [9, Lemma 2.2], we see that the assumptions in Proposition 2.4 hold with a function h satisfying (2.12) and (2.14). Let \(u_a\) and \(u_b\) be the entire radial sub- and, respectively, supersolution on N obtained from the model manifolds \(N_a\) and \(N_b\) as in Lemma 2.1. By considering \(u_i-u_i(o),\ i=a,b\), we can assume that \(u_i(o)=0\) and hence, using (2.2), (2.11) and (2.13), the difference of the these functions can be estimated by
\(\square \)
Remark 2.9
The assumptions in Lemma 2.8 are very restrictive. Indeed, it follows from (2.11), (2.12), and (2.13) that
as \(r\rightarrow \infty \).
Theorem 2.10
Let N be a Cartan–Hadamard manifold as in Lemma 2.8. Then there exists an entire solution \(u :M \rightarrow \mathbb {R}\) to the soliton Eq. (1.1).
Proof
Let \(u_a\) and \(u_b\) be the entire radial sub- and, respectively, supersolution on N obtained from the model manifolds \(N_a\) and \(N_b\) as in Lemma 2.1. By Lemma 2.2 there exists, for each \(k\in \mathbb {N}\), a function \(u_k\in C^2\big (B(o,k)\big )\cap C\big (\bar{B}(o,k)\big )\) that solves the equation
where \(m_k=u_a|\partial B(o,k)\). On the other hand, by Lemma 2.8, there exists a constant \(C>0\) such that \(u_b+C\ge u_a\) on N. Furthermore, \(u_b +C\) is a (global) supersolution. Therefore the sequence \((u_k)\) is locally uniformly bounded and hence there exists a subsequence converging locally uniformly with respect to \(C^2\)-norm to an entire solution u. \(\square \)
As in [5] we call the graph \(M=\{(x,u(x)) \in N\times \mathbb {R}:x\in N \}\) a bowl soliton.
We want to give some examples about metrics that satisfy the assumptions (2.11) – (2.14).
Example 2.11
-
1.
We may choose \(f_a(r)=\sinh r\) and \(f_b(r)=g(r)\sinh r\), where g is a smooth positive function such that \(g(r)=c\, e^{-1/r}\) for all large r with a suitable positive constant c and that
$$\begin{aligned} \frac{2g^\prime (r)\coth r}{g(r)}+\frac{g''(r)}{g(r)} \end{aligned}$$is nonnegative and bounded and, furthermore, that \(g(0)=1\) and \(g^{(\text {odd})}(0)=0\). Then
$$\begin{aligned} a^2(r)=\frac{f_a''(r)}{f_a(r)}=1\le 1+ \frac{2g^\prime (r)\coth r}{g(r)}+\frac{g''(r)}{g(r)} =\frac{f_b''(r)}{f_b(r)}=b^2(r), \end{aligned}$$and \(f_a\) and \(f_b\) satisfy the assumptions (2.11)–(2.14) with \(h(r)=r^2\).
-
2.
Another example is given by \(f_a(r)=\tfrac{1}{2}\big (\sinh r +\tfrac{1}{2}\sinh 2r\big )\) and \(f_b(r)=\tfrac{1}{2}\sinh 2r\). Then
$$\begin{aligned} a^2(r)=\frac{f_a''(r)}{f_a(r)}=\frac{\sinh r +2\sinh (2r)}{\sinh r +\tfrac{1}{2}\sinh 2r}\le 4=\frac{f_b''(r)}{f_b(r)}=b^2(r) \end{aligned}$$and, furthermore, \(f_a\) and \(f_b\) satisfy (2.11)–(2.14) with \(h(r)=e^r\).
In fact, any choice
$$\begin{aligned} f_a(r)=s\,\sinh r+(1-s)\tfrac{1}{b} \sinh (bt)\text { and } f_b(t)=\tfrac{1}{b} \sinh bt, \end{aligned}$$with \(0<s<1\) and \(b>1\), will do.
2.2 Bounded Solutions
Next we show that if the sectional curvatures of N are negative enough near the infinity, it is possible to have entire bounded solutions of (1.1). Recall that, in the radially symmetric case, the soliton Eq. (1.1) can be written as
Theorem 2.12
Suppose that
where the curvature upper bound goes to \(-\infty \) fast enough so that
Then there exists a translating soliton in \(N\times \mathbb {R}\) that is the graph of an entire bounded solution \(u:N\rightarrow \mathbb {R}\) to the Eq. (1.1).
Remark 2.13
For instance the rotationally symmetric manifold (M, g), where
satisfies the assumptions above.
Proof
We will prove that the bounded function
is a subsolution to (1.1) if the constant \(c_1\) is large enough. It follows from the Laplace comparison
that v is a subsolution to (1.1) if
for \(t\ge 0\), where we have denoted \(v(x)=: v\big (r(x)\big )\). By a direct computation we get
By Lemma 2.6
as \(t\rightarrow \infty \). On the other hand, \(a(t)^2\big (f_a(t)/f_a'(t)\big )^2\rightarrow 0\) as \(t\rightarrow 0+\), hence we obtain that
if \(c_1\) is large enough. On the other hand, any constant function is a supersolution. Thus the existence of an entire bounded solution follows as in Theorem 2.10. \(\square \)
2.3 Asymptotic Dirichlet Problem
Under certain conditions on the functions a and b in the curvature bounds (1.3) it is even possible to prescribe the asymptotic behavior of an entire bounded solution. The soliton Eq. (1.1) is a special case of the so-called f-minimal graph equation
where \(\bar{\nabla }f\) is the gradient of a smooth function \(f:N\times \mathbb {R}\rightarrow \mathbb {R}\) with respect to the product Riemannian metric of \(N\times \mathbb {R}\) and \(\nu \) denotes the downward unit normal to the graph of u, i.e.,
where \(\partial _t\) denotes the standard coordinate vector field on R. Indeed, we obtain (1.1) in the case \(f(x,t)=-ct\).
Asymptotic Dirichlet problem for (2.16) was solved in [2] under assumptions on f and the radial curvature functions a and b that are not directly applicable in the setting of the current paper. In [2] the authors applied the assumptions and results from [9] to construct local barriers at the sphere at infinity \(\partial _\infty N\). These barriers consist of an angular part and of a radially decaying part. The assumptions on a and b are needed to control effectively first and second order derivatives of the barriers. We refer to [2] and [9] for the definition of the sphere at infinity and other relevant notions concerning the asymptotic Dirichlet problem.
Since we are looking for, first of all, bounded solutions, it is natural to assume that \(f_a/f_a^\prime \) is integrable; see (2.2) and Theorem 2.12. In the light of [2, Lemma 4.3] we assume that
for some \(\varepsilon >0\). Scrutinizing the reasoning in [9] we see that the assumptions on a and b can be weakened to the setting of the current paper. We assume that the radial curvature functions a and \(b\ (\ge a)\) are increasing,
and that, for each \(k>0\), there exist positive and finite limits
and
Furthermore, we assume that there exists a constant \(\kappa >0\) such that
The assumption (2.19) will be used instead of [9, Lemma 3.10] that was one of the important tools in [9] to obtain bounds for first and second order derivatives of the barriers. On the other hand, (2.20) replaces the assumption [9, (A2)] in the proof of another important tool [9, Lemma 3.15]. Then we can construct barriers in suitable truncated cones as in [2, Section 4.1] and apply [2, Lemma 4.3 and 4.7] in order to solve the following asymptotic Dirichlet problem:
Theorem 2.14
Suppose that the radial curvature functions a and b satisfy the assumptions (2.17)–(2.21). Then, for every continuous \(\varphi \in C(\partial _\infty N)\), there exists a unique solution \(u\in C^2(N)\cap C(\overline{N})\) to the asymptotic Dirichlet problem
For instance, if \(f_a(t)=\sinh (\sinh t)\) and
then the Assumptions (2.17)–(2.21) hold. In this case we have radial curvature bounds
2.4 Global Barriers and Applications to the Construction of Bowl Solitons
In this section, we are going to construct global barriers for our problem under certain assumptions on the Riemannian metric that are more general than those in Subsect. 2.1. To do so, we first focus on the asymptotics at infinity of solutions to the soliton Eq. (1.1). Our idea is to make (implicit) assumptions on the metric in order to mimic the asymptotic behavior of radial solutions. In particular, we want to neglect all the non-radial terms in the equation. We will see in the following that we are able to construct suitable metrics with pinched sectional curvature. Thanks to the knowledge of this asymptotic behavior, we are able to construct sub- and supersolutions to our equation at infinity in such a way that the difference between them goes to zero. To extend these barriers to the whole manifold, we only match these roughly using cut-off function with radial sub- and supersolutions on compact sets.
We start with noticing that the Riemannian metric on N can be written as
where r is the distance to a fixed point \(o\in N\) and \(d\vartheta ^2\) is the (induced) Riemannian metric on the geodesic sphere \(S(r):=S(o,r)\). Then
where \(u_{rr}=\partial _r(\partial _r u)\) and \(\Delta ^{S(r)}\) is the Laplacian on the Riemannian submanifold S(r). It follows that the soliton Eq. (1.1) is equivalent to
We write
where
We also set
and
For the next proposition we define a sequence of functions \(v_i:N\rightarrow \mathbb {R}\) inductively by setting
and
where \(\gamma \) is the unique unit speed geodesic joining \(o=\gamma (0)\) and \(x=\gamma \big (r(x)\big )\).
In what follows the notation \(f=o_R (g)\) means that \(\lim _{R\rightarrow \infty }f/g=0\).
Proposition 2.15
Suppose that
-
(i)
$$\begin{aligned} E ((1\pm \varepsilon ) v_i)= o\left( M\left( \sum _{j=0}^{i-1} v_j \right) \right) \end{aligned}$$
and
$$\begin{aligned} H \left( \sum _{j=0}^{i-1} v_j +(1\pm \varepsilon ) v_i\right) - H\left( \sum _{j=0}^{i-1} v_j \right) - H\left( (1\pm \varepsilon ) v_i \right) = o\left( M \left( \sum _{j=0}^{i-1} v_j \right) \right) \end{aligned}$$for some \(\varepsilon >0\), and
-
(ii)
There exists \(i_0\in \mathbb {N}\) such that
$$\begin{aligned} v_{i_0}(x)\rightarrow 0\ \text { as }\ r(x)\rightarrow \infty , \end{aligned}$$and that
-
(iii)
For some very large \(R_1\), \(E(v_{i_0})\) has a constant sign on \(N\setminus B(o,R_1)\).
Then there exists \(R>0\) such that
where
Moreover, letting
we have that \(|g(x)|\rightarrow 0\) as \(r(x)\rightarrow \infty \). Furthermore, if for some \(\varepsilon >0\), there exist radial functions \(F_{-}, F_{+}\) such that
Then, there exist \(U_1\) and \(U_2\) such that
and
Proof
We proceed by induction. Notice that, for any functions v and w, we have
Next we substitute v by \(\sum _{j=0}^{i-1} v_j \) and w by \((1\pm \varepsilon ) v_i \), for \(\varepsilon >0\). We get
Since by assumption,
one can show that \(\sum _{j=0}^{i-1} v_j + (1\pm \varepsilon ) v_i \) is a sub- or supersolution depending on the sign of \(M \big (\sum _{j=0}^{i-1} v_j \big ) \). We stop as soon as \(v_i (x) \rightarrow 0\) as \(r(x)\rightarrow \infty \).
Next we construct a global sub- and supersolutions. To do so, let \(\chi (x)\) be a radial function such that
for some A, B to be determined later. We set \(U_2= \chi F_{-} + (1-\chi ) u_2\). If \(B\ge R\), then it is easy to see that \(M(U_2)\ge 0 \) on \(B(o,A) \cup \big (N{\setminus } B(o,B)\big )\). By assumption, we have that \(\big (\tilde{E} (u_2)-H(u_2)\big )(x)\rightarrow 0 \) and \(F_{-}^{\prime \prime }(x)\rightarrow 0\) as \(r(x)\rightarrow \infty \). So, for \(r(x)\ge A\), we have
Next, we choose B such that
and
Thanks to this choice, we get
By assumptions, we have
and
Since \(M(F_{-})= F_{-}^\prime \Delta r -c +o_R (1) \ge \varepsilon \), we conclude that
We proceed in the same way to prove that \(U_1 = \chi F_{+} + (1-\chi ) u_1\) is a global supersolution. \(\square \)
Theorem 2.16
Let (N, g) be a Cartan–Hadamard manifold whose Riemannian metric g admits functions \(v_i,\ i\ge 0,\ F_{-}\), and \(F_{+}\) satisfying the assumptions in Proposition 2.15. Then there exists a global bowl soliton on (N, g).
Proof
Let \(U_1\) be an entire supersolution and \(U_2\) an entire subsolution, with \(U_1(x)-U_2(x)\rightarrow 0\) as \(r(x)\rightarrow \infty \), provided by Proposition 2.15. It follows from the comparison principle that \(U_1(x)\ge U_2(x)\) for every \(x\in N\). Indeed, if \(U_1(y_0)<U_2(y_0)\) for some \(y_0\in N\), let D be the \(y_0\)-component of the set \(\{x\in N:U_1(x)<U_2(x)-\delta /2\}\), with \(\delta =U_2(y_0)-U_1(y_0)>0\). Then D is an open relatively compact subset of N and \(U_1(x)=U_2(x)-\delta /2\) on \(\partial D\). Hence \(U_1(x)=U_2(x)-\delta /2\) in D by the comparison principle leading to a contradiction. Now the sets
for all sufficiently large j, exhaust N. We can use \(U_1\) and \(U_2+1/j\) as upper and lower barriers in \(\Omega _j\) in a similar fashion than \(u_b\) and \(u_a\) in Theorem 2.10 to obtain a global solution. \(\square \)
Next, we use the previous results to prove the existence of bowl solitons on two manifolds with pinched sectional curvatures. The sectional curvatures of the first one are pinched between two arbitrary negative constants (which are attained for some planes) while the sectional curvatures of the second one go quadratically to 0 at infinity and take the values \(\alpha ^2/r^2\) and \(\beta ^2/r^2\), \(\beta>\alpha >4\sqrt{5}\), for some planes.
Corollary 2.17
Let \((N^2,g)\) be a 2-dimensional Cartan–Hadamard manifold with the Riemannian metric \(g =dr^2 + h(r,\theta )^2 d\theta ^2\), where
Then the assumptions of Proposition 2.15 are satisfied. In particular, there exists a bowl soliton on \((N^2,g)\).
Proof
In this metric, noticing that \(\Delta r= h_r/h\), our equation rewrites as
In this metric, \(v_0\) is given by
From this expression, we observe that \(v_0(x)\le C r(x)\),
and
for some \(\tilde{c}>0\). Concerning the spherical derivatives, very rough estimates show that
Using the previous estimates and the fact that h decays exponentially, we deduce that there exists a constant \(\tilde{c}\) such that
Noticing that \(|h_r h^{-3}|, \ |h_\theta h^{-3}| \le h^{-2}\), we also have
Finally, since \(u_r h_r /h =c\), we obtain that
This proves that (i) of Proposition 2.15 holds for \(i=0\). Thanks to this estimate, we get that
Therefore, \(v_1 (x)\rightarrow 0\) as \(r(x)\rightarrow \infty \) which is (ii) of Proposition 2.15. Finally, notice that \(v_1\) and none of the terms of \(E(v_1)\) oscillates at infinity so clearly \(E(v_1(x))\) has a sign provided that r(x) is large enough. Thus (iii) of Proposition 2.15 holds. To conclude the proof, we are left with the existence of \(F_{\pm }\). Recall from de Lira and Martin [5], that if P is a rotationally symmetric manifold with constant sectional curvature, there exists a radially symmetric function \(w_P\) such that \(M(w_P)=0\), for any \(c_P\in \mathbb {R}\) and \((w_P)_{rr}(x)\) goes to 0 when r(x) goes to infinity. Since the sectional curvatures of our manifold are pinched between \(-a^2\) and \(-b^2\), \(F_{\pm }\) can be obtained by taking \(w_P\) for some appropriate manifolds P and some constant \(c_P\) by standard comparison theorems. This proves the corollary. \(\square \)
Corollary 2.18
Let \((N^2,g)\) be a 2-dimensional Cartan–Hadamard manifold with the Riemannian metric \(g =dr^2 + h(r,\theta )^2 d\theta ^2\), where
where \(f_b''(r)=\frac{\beta ^2}{r^2}f_b(r)\), \(f_a'' (r)= \frac{\alpha ^2}{r^2} f_a (r)\), with \(\beta>\alpha >4\sqrt{5}\). Then the assumptions of the previous proposition are satisfied. In particular, there exists a bowl soliton on \((N^2,g)\).
Proof
To simplify notation, we take \(c=1\). In this case, it is easy to see that \(|v_0 (x)|,\ |(v_0)_\theta (x)|,\ |(v_0)_{\theta \theta } (x)|\le C r(x)^2 \), \(|(v_0)_r (x)|, |(v_0)_{r\theta } (x)|\le C r(x)\) and \(|(v_0)_{rr}(x)|\le C\). We have
Since
when r is large enough and \(\alpha ,\beta >4\sqrt{5}\), we get that
This implies in particular that
where we used that \((v_0)_r (x)\approx r (x)\) when r is large enough. Next, we claim that
where we used that \((v_0)_{rr} (x) \approx 1 \). Indeed, thanks to (2.24), we see that
Since
and \(|h_r /h| \le 1/r\) and \(|h_\theta /h|\le C\), using once more (2.24), we deduce that
This proves the claim that
So, we can write \(v_1\) as
So we see that
and \(|(v_1)_{rr}(x)|\le C r^{-1}(x)\). Now, a direct computation gives that (compare with (2.10))
Using (2.24), one can check as previously that
We deduce from this that
By construction, we have that (i) of Proposition 2.15 holds true. Observe that \(v_2 (x) \rightarrow 0\) as \(r(x)\rightarrow \infty \) therefore (ii) of Proposition 2.15 holds true for \(\tilde{i}=2\). As in the previous corollary, none of the terms of \(E(v_2)\) oscillate so it has a sign at infinity i.e., (iii) holds. To prove the existence of \(F_\pm \), we proceed as in the previous corollary. Let us point out that the condition \(F^{\prime \prime }_{\pm }\rightarrow 0\) of Proposition 2.15 can be replaced by \(F^{\prime \prime }_{\pm }/\big (1+|\nabla U_2|^2\big )\rightarrow 0\) which is satisfied in our current situation since \(|\nabla U_2|\rightarrow \infty \).
\(\square \)
References
Altschuler, S.J., Lang, F.W.: Translating surfaces of the non-parametric mean curvature flow with prescribed contact angle. Calc. Var. Part. Differ. Equ. 2(1), 101–111 (1994)
Casteras, J.-B., Heinonen, E., Holopainen, I.: Dirichlet problem for \(f\)-minimal graphs. J. Anal. Math. 138(2), 917–950 (2019)
Clutterbuck, J., Schnürer, O.C., Schulze, F.: Stability of translating solutions to mean curvature flow. Calc. Var. Part. Differ. Equ. 29(3), 281–293 (2007)
Dávila, J., del Pino, M., Nguyen, X.H.: Finite topology self-translating surfaces for the mean curvature flow in \(\mathbb{R}^3\). Adv. Math. 320, 674–729 (2017)
de Lira, J.H.S., Martín, F.: Translating solitons in Riemannian products. J. Differ. Equ. 266(12), 7780–7812 (2019)
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin (2001). Reprint of the 1998 edition
Hoffman, D., Ilmanen, T., Martín, F., White, B.: Graphical translators for mean curvature flow. Calc. Var. Part. Differ. Equ. 58(4), 29 (2019)
Hoffman, D., Martín, F., White, B.: Scherk-like translators for mean curvature flow. J. Differential Geom. To appear
Holopainen, I., Vähäkangas, A.: Asymptotic Dirichlet problem on negatively curved spaces. J. Anal. 15, 63–110 (2007)
Nguyen, X.H.: Translating tridents. Commun. Part. Differ. Equ. 34(1–3), 257–280 (2009)
Nguyen, X.H.: Complete embedded self-translating surfaces under mean curvature flow. J. Geom. Anal. 23(3), 1379–1426 (2013)
Nguyen, X.H.: Doubly periodic self-translating surfaces for the mean curvature flow. Geom. Dedicata 174, 177–185 (2015)
Spruck, J., Xiao, L.: Complete translating solitons to the mean curvature flow in \(\mathbb{R} ^3\) with nonnegative mean curvature. Am. J. Math. 142, 993–1015 (2020)
Wang, X.-J.: Convex solutions to the mean curvature flow. Ann. Math. (2) 173(3), 1185–1239 (2011)
Acknowledgements
We would like to thank Francisco Martín for several useful discussions during the preparation of the paper.
Funding
Open Access funding provided by University of Helsinki including Helsinki University Central Hospital.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Casteras, JB., Heinonen, E., Holopainen, I. et al. Translating Solitons Over Cartan–Hadamard Manifolds. J Geom Anal 33, 163 (2023). https://doi.org/10.1007/s12220-023-01218-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01218-9