Abstract
We consider the fractional mean curvature flow of entire Lipschitz graphs. We provide regularity results, and we study the long time asymptotics of the flow. In particular we show that in a suitable rescaled framework, if the initial graph is a sublinear perturbation of a cone, the evolution asymptotically approaches an expanding self-similar solution. We also prove stability of hyperplanes and of convex cones in the unrescaled setting.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a set \(E\subseteq \mathbb {R}^{n+1}\), we define the fractional mean curvature flow \(E_t\) starting from E as the flow obtained by the following geometric evolution law: the velocity at a point \(p\in \partial E_t\) is given by
where \(s\in (0,1)\) is a fixed parameter and \(\nu (p)\) is the outer normal to \(\partial E_t\) at p.
The fractional mean curvature flow can be interpreted as the fractional analogue of the classical mean curvature flow. Indeed, as the mean curvature flow is the \(L^2\) gradient flow of the perimeter, the fractional mean curvature flow is the \(L^2\) gradient flow of the so-called fractional perimeter, see [3], which can be seen as an interpolation norm (the Gagliardo fractional seminorm) of the characteristic function of a measurable set, which interpolates between the BV norm, which is the standard perimeter, and the \(L^1\) norm, which is the volume.
Therefore, the fractional mean curvature flow presents some analogies with the classical mean curvature flow. Recently a local existence result for smooth solutions starting from compact \(C^{1,1}\) initial sets was provided in [18] (see also [4, 9] for an analog of the BMO scheme), moreover existence and uniqueness of the level set flow for general nonlocal evolution equations, including (1.1), has been developed in [8] (see also [17]), using the maximum principle and the monotonicity of the curvature with respect to inclusions. On the other hand, the fractional flow presents some different features with respect to the classical mean curvature flow, since nonlocal effects come into play. For instance, as a basic example one can consider a planar strip, which is stationary for the curvature flow, and shrinking for the fractional flow.
An important issue in the study of the fractional flow, as for the classical one, is the investigation of the long time behavior of solutions and the analysis of the formation of singularities. In the local case, one of the most important tool in this analysis is the monotonicity formula established by Huisken in [16]. The analog of such formula in the fractional setting is still an open problem. As a consequence, it is still missing a systematic approach for the study of long time asymptotics of the flow and the classification of the possible singularities which may appear. Nevertheless some results have been recently obtained, we recall for instance the analysis of the formation of neckpinch singularities in [10], and of the fattening phenomenon for the evolution of curves with cross-type and cusp-type singularities in [5]. Moreover, in [11] it has been proved that smooth convex sets evolving under the volume preserving fractional mean curvature flow approach round spheres.
Here we analyze the evolution (1.1) under the additional assumption that the boundary of the initial datum \(E_0\) can be written as a Lipschitz graph, that is, there exists \(e\in \mathbb {R}^{n+1}\), such that \(\nu (p)\cdot e>0\) for every \(p\in \partial E_0\). By monotonicity of the flow it is possible to show that the evolution \(E_t\) maintains this property for all positive times \(t>0\), that is, \(\nu (p)\cdot e>0\) for every \(p\in \partial E_t\), see Sect. 2. Up to a rotation of coordinates, we will assume that \(e=e_{n+1}\).
For the local case, the analysis of the mean curvature flow of entire Lipschitz graphs goes back to the work by Ecker and Huisken [13, 14], whereas the anisotropic mean curvature flow of entire Lipschitz graphs has been recently considered by the authors and a coauthor in [7]. In particular, in [13] it is proved that the evolution admits a smooth solution for all times, which approaches a self-similar solution as \(t\rightarrow +\infty \), provided that the initial graph is “straight”at infinity, in the sense that is a sublinear perturbation of a cone, see assumption (5.1) below. In this paper we provide analogous results in the fractional setting. In particular, in Sect. 3 we prove the \(C^{1,\alpha }\) regularity of the flow starting from a Lipschitz graph, which can be strengthened to \(C^\infty \) if the initial graph enjoys more regularity. These results are based on the fact that the fractional curvature is an elliptic operator, and so we may apply the regularity results for nonlinear fractional parabolic problems obtained in [21, 22] and the parabolic bootstrap argument developed in [18]. In the case of initial graphs which are merely Lipschitz continuous, we do not recover the \(C^\infty \) regularity obtained in the local case, except in the case of self-similar solutions (see Theorem 4.1), and this is due to the fact that a parabolic bootstrap regularity argument is missing in this setting for quasilinear fractional operators.
Finally, in Sect. 5 we provide the convergence of the rescaled solution to a self-similar expanding solution, under the assumption that the initial graph is straight at infinity in the sense of Ecker and Huisken. We recall here what we mean for self-similar expanding or contracting solution to 1.1.
Definition 1.1
An expanding homothetic solution is a solution to (1.1) such that \(E_t= \lambda (t)E_1\) where \(\lambda (1)=1\) and \(\lambda '(t)\geqslant 0\) for \(t>1\). This is equivalent to assume that \(E_1\) is a solution to
for some \(c\geqslant 0\). Observe that necessarily \(\lambda (t)=\left[ c(s+1) (t-1)+1\right] ^{\frac{1}{s+1}}\).
A shrinking homothetic solution to (1.1) is a solution to (1.1) such that \(E_t= \lambda (t)E_1\) where \(\lambda (1)=1\) and \(\lambda '(t)\leqslant 0\) for \(t>1\). This is equivalent to assume that \(E_1\) is a solution to
for some \(c\geqslant 0\).
In Sect. 4 we study the main properties of the expanding self-similar solutions to (1.1), whereas in Sect. 7 we show that the only graphical shrinking self-similar solutions to (1.1) are actually stationary solutions. In the local setting, this result has been obtained for entire graphs without growth condition at infinity in [23]. In the fractional setting we obtain the result for entire Lipschitz graphs as a byproduct of a Liouville theorem for ancient solutions of parabolic nonlinear equations obtained in [21]. We also recall that a preliminary analysis of existence and stability of fractional symmetric shrinkers has been developed in [6].
Finally Sect. 6 contains convergence results in the unrescaled setting. In particular we provide the stability of hyperplanes, when we start the evolution from graphs which are asymptotically flat. In the local setting this stability can be proved by using comparison with large balls and area decay estimates, see [12, 14, 19], whereas in the fractional setting we use comparison with large balls and an argument based on construction of appropriate periodic barriers. We show also stability of convex cones and, in some particular cases, of mean convex cones, in the unrescaled setting. Analogous results in the local setting were obtained in [12] for the isotropic case and in [7] for the anisotropic case.
2 Level set formulation
The level set flow associated to (1.1) can be defined as follows. Given an initial set \(E_0\subset \mathbb {R}^{n+1}\) we choose a bounded Lipschitz continuous function \(U_{0}:\mathbb {R}^{n+1}\rightarrow \mathbb {R}\) such that
Let also U(p, t) be the viscosity solution of the following nonlocal parabolic problem
Then the level set flow of \(\partial E_0\) is given by
We associate to this level set the outer and inner flows defined as follows:
We observe that the equation in (2.1) is geometric, so if we replace the initial condition with any function \(V_0\) with the same level sets \(\{U_0 \geqslant 0\}\) and \(\{ U_0 > 0 \}\), the evolutions \(E^+(t)\) and \(E^-(t)\) remain the same. Existence and uniqueness of viscosity solutions to the level set formulation of (1.1) has been provided in [8, 17], and qualitative properties of smooth solutions have been studied in [20].
In this paper we consider the particular case in which the initial set \(E_0\) can be written- up to suitable rotation of coordinates- as the subgraph of a function \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\). So, it is possible to define the evolution \(E_t\) at time t as the subgraph of the solution \(u(\cdot , t)\) to the following nonlocal quasilinear system
Theorem 2.1
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a uniformly continuous function. Let \(v, w\in C(\mathbb {R}^n\times [0, +\infty ))\) be respectively a viscosity subsolution and a viscosity supersolution to (2.4) such that \(v(x,0)\leqslant u_0(x)\leqslant w(x,0)\).
Then \(v(x,t)\leqslant w(x,t)\) for all \((x,t)\in \mathbb {R}^n\times (0, +\infty )\).
In particular (2.4) admits a unique viscosity solution \(u(x,t)\in C(\mathbb {R}^n\times [0, +\infty ))\) with \(u(x,0)=u_0(x)\). Moreover, if \(u_0\) is Lipschitz continuous with Lipschitz constant \(\Vert Du_0\Vert _\infty \), then \(|u(x,t)-u(x',t)|\leqslant \Vert Du_0\Vert _\infty |x-x'|\) for all \(x,x'\in \mathbb {R}^n\) and \(t>0\).
Proof
For every \(x\in \mathbb {R}^n\) and \(z\in \mathbb {R}\), we define the uniformly continuous function \(U_0(x,z):= u_0(x)-z\), and the functions \(V(x,z,t)= v(x,t)-z\), \(W(x,z,t)= w(x,t)-z\). Then it is easy to check that V, W are respectively a viscosity sub and supersolution to (2.1) such that \(V(x,z,0)\leqslant U_0(x,z)\leqslant W(x,z,0)\). Then by the comparison principle proved in [17] (and for general nonlocal geometric equations in [8]) we get that \(V(x,z,t)\leqslant W(x,z,t)\) for all \(x\in \mathbb {R}^n\), \(z\in \mathbb {R}\), \(t>0\). This implies the result.
Moreover, again by the results proved in [8, 17], the system (2.1) admits a unique viscosity solution U(x, z, t). If \(U_0\) is Lipschitz continuous, then it is easy to check that also U(x, z, t) is Lipschitz continuous in space, with Lipschitz constant less or equal to the Lipschitz constant of \(U_0\), by using the comparison principle and the invariance by translation of the differential operator appearing in (2.1). By comparison and again using the fact that the operator is invariant by translation in space, for every \(h\in \mathbb {R}\)
Therefore, we conclude that \(U(x,z,t)= z-u(x,t)\), where u is a viscosity solution to (2.4). \(\square \)
We now define the rescaled time variables as follows:
In the rescaled time variables, the evolution (1.1) becomes
We define the rescaled variables \(e^{\tau } y= x\), with \(\tau \) as in (2.5), and set
Then \({\tilde{u}}\) solves the system
Clearly, the same existence, uniqueness and regularity results stated for (2.4) in Theorem 2.1 are valid for (2.8).
2.1 Fractional curvature on graphs
We recall an equivalent formulation of the fractional mean curvature \(H_s\) on graphical hypersurfaces, see [2, 20]. First of all observe that if \(\Pi =\{(x',z'),\ | \ z'\geqslant u(x,t)+Du(x,t)\cdot (x'-x)\}\) then by symmetry
Therefore, for \(p=(x, u(x,t))\) and \(E_t:=\{ (x',z)\ |\ z\leqslant u(x',t)\}\), we get (intending the integrals in the principal value sense)
We now introduce the function
By (2.9) we get
We observe that this formula holds also in the viscosity sense (that is it is verified at points where the graph of u can be touched with paraboloids).
Moreover, if we change variable from z to \(-z\) in (2.10) and recalling that \(G_s\) is odd, we get
where
Observe that \(A(x,z,u)=A(x,-z,u)\) and
This implies that the differential operator \(H_s((x,u(x,t)), E_t)\) is elliptic, see e.g. [21].
3 Regularity results
In this section, we provide some regularity results for the flow starting from a Lipschitz graph. These results are based on the fact that the fractional curvature for graphs is an elliptic fractional operator, and so it enjoys regularizing effects.
Proposition 3.1
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function. Then there exists \(\alpha \in (0,s)\) depending on s and n such that the viscosity solution u(x, t) to (2.4) is in \(C^{1+\alpha }(\mathbb {R}^n)\) for every \(t>0\), with norm uniformly bounded in \( \mathbb {R}^n\times [t_0, +\infty )\) by a constant only depending on \(\Vert Du_0\Vert _\infty \) and \(t_0\). In particular, there exists a constant \(C>0\) only depending on \(\Vert Du_0\Vert _\infty \) and \(t_0\) such that
This implies that, if \({\tilde{u}}\) is the rescaled function defined in (2.7), for every \(\tau _0>0\), there exists a constant \(C>0\) only depending on \(\Vert Du_0\Vert _\infty \) and \(\tau _0\) such that
Proof
If \(u_0\) is Lipschitz continuous, then by Theorem 2.1 the solution to (2.4) is Lipschitz continuous in x with Lipschitz constant bounded by \(\Vert Du_0\Vert _\infty \). Then the differential operator \(H_s\) on graphical hypersurfaces is elliptic, see (2.11), see e.g. [21, 22] for the definition. Then, by applying the Hölder regularity theory to the incremental quotients of u (see [21, Theorem 2.1, Theorem 2.2]) we get that they are of class \(C^\alpha \) for some \(\alpha \in (0,1)\), with norm bounded by the Lipschitz constant of u.
Finally, observe that for every \(r>0\), there holds that \(v_r(x,t)= r^{-1}u(rx, r^{1+s}t)\) is the viscosity solution to (2.4) with initial datum \(v_0(x)=r^{-1} u_0(x)\). Then \(v_0\) is Lipschitz continuous, with the same Lipschitz constant as \(u_0\), and we may apply to \(v_r\) the same regularity results as for u. In particular for every \(t_0\) there exists a constant C depending on \(t_0\) and on \(\Vert Du_0\Vert _\infty \) such that for all \(t\geqslant t_0\), \( \Vert D v_r(\cdot , t)\Vert _{C^{\alpha }} \leqslant C. \) Rescaling back to u, for every \(t\geqslant t_0 r^{s+1}\) we get
We conclude by choosing \(r= (t/t_0)^{\frac{1}{s+1}}\).
Finally we consider the rescaled solution \({\tilde{u}}\). Note that \(D{\tilde{u}}(y,\tau )=Du\left( y e^\tau , \frac{e^{\tau (s+1)}-1}{s+1}\right) \) and \(\Vert D{\tilde{u}}(\cdot , t)\Vert _{C^{\alpha }(\mathbb {R}^n)}= e^{\tau \alpha } \Vert D u(\cdot , \frac{e^{\tau (s+1)}-1}{s+1})\Vert _{C^{\alpha }(\mathbb {R}^n)}\). Then by the previous estimate, for every \(\tau \geqslant \tau _0\),
\(\square \)
Let now u(x, t) be a \(C^{2,1}\) solution to (2.4) with initial datum \(u_0\), and let
Since \(u_t(x,t)= -w(x,t)\), using (2.11) we compute
Therefore w is a solution to
where
Lemma 3.2
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function such that \(H_s((x,u_0(x)), E_0)\) is bounded, and let u(x, t) be the viscosity solution to (2.4) with initial datum \(u_0\).
Then C(x, z, t) is well defined for every \(x, z\in \mathbb {R}^n, t>0\), \(C(\cdot ,z,t)\in C^\alpha (\mathbb {R}^n)\) and
Moreover, the following inequalities hold in the viscosity sense:
where \(C= \Vert H_s((x,u_0(x)), E_0)\Vert _\infty (1+\Vert Du_0\Vert _\infty )\).
Proof
First of all we observe that by Theorem 2.1, \(u(\cdot , t)\) is Lipschitz with \(\Vert Du(x,t)\Vert _\infty \leqslant \Vert Du_0\Vert _\infty \). Then the regularity and the bounds on C(x, z, t) are a direct consequence of the definition of \(G_s\).
Let \(C:= \Vert H_s((x,u_0(x)), E_0)\Vert _\infty (1+\Vert Du_0\Vert _\infty )\). Note that \(u_0(x)\pm Ct\) are respectively a supersolution and a subsolution to (2.4), so that by comparison we get
Moreover for every \(t\geqslant \tau >0\), the functions \(u(x, t)\pm \sup _x|u(x, \tau )- u_0(x)|\) are respectively a supersolution and a subsolution to (2.4) with initial datum \(u(x, \tau )\), whence
This implies that \(u(x, \cdot )\) is Lipschitz continuous with \(|u_t(x, t)|\leqslant C\), which in turns implies that, in the viscosity sense,
for all \(x\in \mathbb {R}^n\) and \(t>0\). We now conclude recalling that \(u(\cdot , t)\in C^1\). \(\square \)
Theorem 3.3
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function such that \(H_s((x,u_0(x)), E_0)\) is bounded. Let u(x, t) be the viscosity solution to (2.4) with initial datum \(u_0\).
Then \(u\in C^\infty \), with norms bounded in \(\mathbb {R}^n\times [t_0, +\infty )\) by constants depending on \(t_0, \Vert Du_0\Vert _\infty \) and \(\Vert H_s((x,u_0(x)), E_0)\Vert _\infty \).
Finally, the map \(t\mapsto \sup _{x\in \mathbb {R}^n}\sqrt{1+|Du(x,t)|^2} |H_s((x,u(x,t)), E_t)|\) is decreasing in t.
Proof
We first prove the result under the additional assumption that \(u_0\) is in \(C^{2+\alpha }\) with bounded norms. Then the general case will follow by the stability of viscosity solutions with respect to uniform convergence, recalling that all the estimates depend only on the Lipschitz constant of \(u_0\) and on \(\Vert H_s((x,u_0(x)), E_0)\Vert _\infty \).
The short time existence result in [18, Theorem 5.1] implies that, if \(u_0\in C^{2+\alpha }\) with bounded norms, then there exists a time \(t>0\), such that the system (2.4) admits a smooth solution u(x, t).
Let w(x, t) be the unique solution to (3.1) with initial datum \(\sqrt{1+|Du_0(x)|^2}H_s((x,u_0(x)),E_0)\). Since u is smooth, by the computations in (3.1) and (3.2), we get that
By comparison w(x, t) is bounded by \(\Vert w(x,0)\Vert _\infty \) and \(\sup _x|w(x,t+r)|\leqslant \sup _x|w(x,r)|\), for every \(r\geqslant 0\) and \(t>0\).
Since w is a bounded viscosity solution of a linear integro-differential equation, with bounded drift and uniformly elliptic integro-differential operator, the regularity results obtained in [22, Theorem 8.1] apply. Hence there exists \(\alpha \in (0,s)\) such that \(w(\cdot ,t)\in C^{1+\alpha }(\mathbb {R}^n)\), \(w(x, \cdot ) \in C^{\frac{1+\alpha }{2}}(0, +\infty )\) with
This implies that \(u_t(x,\cdot )= \sqrt{1+|Du(x,\cdot )|^2} H_s((x,u(x,\cdot )), E_t)\in C^{ \frac{1+\alpha }{2}}(0, +\infty )\).
Moreover since \(\sqrt{1+|Du(x,t)|^2} H_s((x,u(x,t), E_t)\in C^{1+\alpha }(\mathbb {R}^n)\) as a function of x, recalling that \(u\in C^{1+\alpha }\) by Proposition 3.1, with norm bounded only by \(\Vert Du_0\Vert _\infty \), by the bootstrap argument in [2, Theorem 6] we get that \(u(\cdot , t)\in C^{1+s+\alpha +\beta }(\mathbb {R}^n)\) for all \(\beta <1\) and all \(t>0\), with norm bounded only on \(\Vert Du_0\Vert _\infty , \Vert H_s((x,u_0(x)), E_0)\Vert _\infty \).
Finally, we apply the bootstrap regularity argument obtained in [18] and we get the full regularity. \(\square \)
4 Homothetically expanding graphical solutions
We shall provide a complete characterization of graphical homothetically expanding solutions to (1.1).
Theorem 4.1
Let \({\bar{u}}_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous and positively 1-homogeneous function, that is,
Then, for every \(t>0\) the subgraph \({\bar{E}}_t\) of the viscosity solution \({\bar{u}}(x,t)\) to (2.4), with initial datum \({\bar{u}}_0\), satisfies for \(p\in \partial {\bar{E}}_t\)
that is, for every \(t>0\) \({\bar{E}}_{t}\) satisfies (1.2) with \(c^{-1}=t(s+1)\), and the flow starting from \(E_t\) is an expanding homothetic solution to (1.1) according to Definition 1.1.
Moreover \({\bar{u}}(x,t)\) is in \(C^\infty (\mathbb {R}^n\times (0, +\infty ))\), and for every \(T >0\),
Proof
By the fact that the differential operator is invariant under translations and by uniqueness of solutions, see Theorem 2.1, we get that for all \(r\ne 0\), it holds
Letting \(r:=t^{-\frac{1}{s+1}}\) for \(t>0\), we get
This implies that, if \(p\in \partial {\bar{E}}_1\) then \(p t^{\frac{1}{s+1}}\in {\bar{E}}_t\) and
Substituting in (1.1) we get that \( {\bar{E}}_{1 }\) solves (1.2) with \(c^{-1}= s+1\). The same argument holds substituting \(t=1\) with another positive time t.
By the uniform \(C^{1,\alpha }\) estimate in Proposition 3.1 we know that \({\bar{u}}(x,1)\) is in \(C^{1, \alpha }\). Moreover, since \( {\bar{E}}_{1 }\) solves (1.2) with \(c^{-1}= s+1\), we get that \({\bar{u}}(x,1)\) solves
Therefore, since \(\sqrt{1+|D{\bar{u}}(x,1)|^2}H_s(x, {\bar{u}} (x,1),{\bar{E}}_1)\) is in \(C^{\alpha }\), with norm locally bounded by the Lipschitz constant of \({\bar{u}}_0\), we can apply the bootstrap argument in [2, Theorem 6] and get that \({\bar{u}}(x,1)\) is in \(C^\infty \). Finally, since \({\bar{u}}(x, t)= t^{\frac{1}{s+1}}{\bar{u}}(xt^{-\frac{1}{s+1}}, 1)\) for every \(t>0\), we conclude that \({\bar{u}}\) is in \(C^\infty (\mathbb {R}^n\times (0, +\infty ))\).
Now, observe that by scaling properties (4.3), for every \(T>0\) and \(t>0\) and by the fact that \({\bar{u}}(x,t)\) is Lipschitz continuous with the same Lipschitz constant as \({\bar{u}}_0\),
Sending \(t\rightarrow +\infty \), we get the result.\(\square \)
By using the properties of homothetically expanding solutions, we show the following result about uniform continuity of solutions to (2.4).
Proposition 4.2
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function. Then the viscosity solution to (2.4) with initial datum \(u_0\) satisfies for all \(x, y\in \mathbb {R}^n, t,s\geqslant 0\)
for some constant \(K>0\) which depends only on \(\Vert Du_0\Vert _\infty \).
Proof
We prove just the Hölder continuity in time, since the Lipschitz continuity has already been proved in Theorem 2.1. Let \(C=\Vert D u_0\Vert _\infty \).
Let \(v_0(x)=C|x|\). Since \(v_0\) satisfies (4.1), the solution \(v_C(x,t)\) with initial datum \(v_0\) is a homothetically expanding solution to (2.4). Moreover, since \(H_s((x,C|x|), \{(x',z'), \ |\ z'\leqslant C|x'|\})\leqslant 0\) in the viscosity sense at every \(x\in \mathbb {R}^n\), \(v_0(x)\) is a stationary subsolution to (2.4), which implies by comparison that \(v_C(x,t)\geqslant v_0(x)\) for every \(t>0\), and then, again by comparison that \(v_C(x,t)\geqslant v_C(x, r)\) if \(0<r<t\).
Let us fix \(x_0\in \mathbb {R}\). By Lipschitz continuity we get that \(u_0 (x+x_0)\leqslant v_0(x)+u_0(x_0)\), so by comparison we conclude that \( u(x+x_0,t)\leqslant v_C(x,t) + u_0(x_0)\), for all x. If we compute the previous inequality in \(x=0\), using also (4.8) we get
By comparison this implies that
The other inequality is obtained with an analogous argument by considering \(-C|x|\). \(\square \)
Remark 4.3
We observe that if \({\bar{u}}_0\) in Theorem 4.1 is also a convex function, then there exists \(C>0\) such that
We conjecture that this property is actually true also for nonconvex functions \({\bar{u}}_0\), which satisfy (4.1), as in the local setting. Observe that due to (4.4) it is sufficient to show that that there exists \(C>0\) such that
which is in turn equivalent by (4.5) to show that
Note that \({\bar{u}}(x,1)\) is a convex function, since convexity is preserved by the fractional flow (1.1), see [9]. Moreover \({\bar{u}}(x,1)\geqslant {\bar{u}}_0(x)\) by comparison (since \({\bar{u}}_0(x)\) is a stationary subsolution to (2.4)). For \(\lambda >0\), and \(x\in \mathbb {R}^n\) fixed, we define \(v(\lambda )= {\bar{u}}(\lambda x,1)\). Note that this function is convex. By convexity we get that
Recalling Proposition 4.2 we get that there exists \(K>0\) depending only on the Lipschitz constant of \({\bar{u}}_0(x)\) such that \({\bar{u}}_0(\lambda x)+ K\geqslant {\bar{u}}(\lambda x,1)\) for every \(\lambda \in \mathbb {R}\). So using again convexity of v and by (4.1) we get for \(\lambda \geqslant 0\),
This implies, sending \(\lambda \rightarrow +\infty \), that \({\bar{u}}_0(x)\geqslant D{\bar{u}}(x,1)\cdot x\) and so in turn
So, we proved that
which gives the result.
Remark 4.4
Observe that if (4.6) is satisfied, then we may strengthened the convergence result in Theorem 4.1, that is for every \(T>0\) it holds that
Indeed substituting in the equation (2.4) and recalling that \({\bar{u}}(x,t)\) is uniformly Lipschitz, we get that \(|{\bar{u}}_t(x,t)|\leqslant C't^{-\frac{s}{s+1}}\), for some \(C'>0\) depending on C and on the Lipschitz norm of \(u_0\). So, integrating we get, for all \(T>0\)
and so for every \(T>0\),
On the other hand, every homothetically expanding graphical solution to (1.1) is obtained as in Theorem 4.1.
Proposition 4.5
Assume that \(E_1\) is a solution to (1.2) and that is the subgraph of a Lipschitz continuous function \(u_1:\mathbb {R}^n \rightarrow \mathbb {R}\).
Then the solution u(x, t) to (2.4) with initial datum \(u(x,1)=u_1(x)\) is defined in \(\mathbb {R}^n\times (t_0, +\infty )\) where \(t_0=1-\frac{1}{c(s+1)}\) and satisfies
where \({\bar{u}}:\mathbb {R}^n\rightarrow \mathbb {R}^n\) is Lipschitz continuous and 1-homogeneous as in (4.1).
Proof
According to Definition 1.1,
is a solution to (1.1), which means in particular that the solution u to (2.4) with initial datum \(u(x,1)=u_1(x)\) can be obtained as
This implies immediately that u is well defined in \(\mathbb {R}^n\times (t_0, +\infty )\), where \(t_0=1-\frac{1}{c(s+1)}\).
Since \(u_1\) is Lipschitz continuous, we get that \(v_r(x)= ru_1(x/r)\) are equilipschitz, and moreover \(|v_r(x)|\leqslant r|u_1(0)|+\Vert Du_1\Vert _\infty |x|\). Then, by Ascoli Arzelà theorem, up to subsequences there exist the limits \(\lim _{r_n\rightarrow 0^+} v_{r_n}(x)\), locally uniformly in x. We claim that actually the limit is unique, that is \({\bar{u}}(x):=\lim _{r\rightarrow 0^+} ru_1(x/r)\) locally uniformly in x. If the claim is true, then it is easy to check that \({\bar{u}}(x)\) satisfies (4.1) and moreover by (4.8), \(\lim _{t\rightarrow t_0^+}u(x, t)=\lim _{t\rightarrow t_0^+} \lambda (t)u_1\left( \frac{x}{\lambda (t)}\right) =\lim _{r\rightarrow 0^+} ru_1(x/r)={\bar{u}}(x)\).
To prove the claim we observe that by (4.8) \(v_r(x) = ru_1(x/r)= u(x, \lambda ^{-1}(r))\) for every \(r>0\). Let \(r_n\rightarrow 0\) such that \(\lim _{r_n\rightarrow 0} v_{r_n}(x)= {\bar{v}}(x)\). Then \(u_{n}(x,t):= u(x, t+\lambda ^{-1}(r_n))\) is the viscosity solution to (2.4) with \(u_n(x,0)= v_{r_n}(x)\). By stability of viscosity solutions with respect to uniform convergence, since \(v_{r_n}\rightarrow {\bar{v}}\), we get that \(u_n(x,t)\rightarrow {\bar{v}}(x,t)\) locally uniformly, where \({\bar{v}}(x,t)\) is the solution to (2.4) with initial datum \({\bar{v}}\). But actually \({\bar{v}}(x,t)= u(x, t+t_0)\) for every \(t>0\), and then the limit \({\bar{v}}\) is unique and independent of the subsequence. \(\square \)
5 Convergence to self-similar solutions
We show that homotetically expanding solutions are the long-time attractors for the flow of Lipschitz graphs, when the initial datum is a sublinear perturbation of a 1-homogeneous function.
We now generalize to the fractional curvature flows the result obtained in [13] for the mean curvature flow, under the assumption that the initial datum \(u_0\) is Lipschitz continuous and is straight at infinity in the following sense: There exists \(K>0\) and \(\delta >0\) such that
This condition is equivalent to the following one: there exist a function \({\bar{u}}_0\) which satisfies (4.1) and constants \(K>0\), \(\delta >0\) such that
Note that, if we define \(\phi (r, x):=ru_0\left( \frac{x}{r}\right) \) for all \(x\in \mathbb {R}^n\), then the straight at infinity condition reads, for \(r\leqslant 1\),
Then, for all \(0< r_1<r_2\leqslant 1\) we get
Observe that, since \(u_0\) is Lipschitz continuous, up to a subsequence there exists the limit \(\lim _{r\rightarrow 0^+} ru_0\left( \frac{x}{r}\right) \), which is locally uniform in x. By the previous inequality, we conclude that the limit is unique, so that the limit is a function \({\bar{u}}_0\) which satisfies (4.1) and finally
Actually, the convergence result proved in [13] is stronger than ours, since they provide exponential in time convergence of the flows.
Theorem 5.1
Let \(u_0\) be a Lipschitz continuous function, such that there exist \({\bar{u}}\) which satisfies (4.1), and constants \(K>0\), \(\delta \in (0,1)\) for which (5.1) holds. Let u and \({\tilde{u}}\) be respectively the solutions to (2.4) and (2.8) with initial datum \(u_0\), and \({\bar{u}}(x,t)\) be the solution to (2.4) with initial datum \({\bar{u}}_0(x)\). Then
In particular, the rescaled flow
where \(E_t\) is the subgraph of \(u(\cdot , t)\), converges as \(\tau \rightarrow +\infty \) to a graphical hypersurface \({\tilde{E}}\) which satisfies (1.2) (with \(c=1\)).
Proof
Let \(\psi :(0, +\infty )\rightarrow (0, +\infty )\) be a smooth function such that \(\psi (k)\equiv 0\) if \(k<1\) and \(\psi (k)\equiv 1\) if \(k>2\). Define for \(r>1\)
Then our assumption implies that
By the comparison principle we get that, if \({\tilde{u}}\) and \({\tilde{u}}^r\) are respectively the solutions to (2.8) with initial datum \(u_0\) and \(u_0^r\),
On the other hand,
Let \({\bar{u}}_{\pm r}\) be the solutions to (2.4) with initial datum respectively \({\bar{u}}_0(x)\pm \frac{2K}{ r^\delta } |x|\). Note that \({\bar{u}}_0(x)\pm \frac{2K}{ r^\delta } |x|\) satisfy (4.1) with Lipschitz constant \(\Vert D{\bar{u}}_0\Vert _\infty + \frac{2K}{ r^\delta }\leqslant \Vert D{\bar{u}}_0\Vert _\infty +2K\). By scaling properties of \({\bar{u}}_0(x)\pm \frac{2K}{ r^\delta } |x|\), see (4.3), and by formula (2.7), we get that \({\bar{u}}_{\pm r} \left( y, \frac{1-e^{-(s+1)\tau }}{s+1}\right) \) is the solution to (2.8) with initial datum \({\bar{u}}_0(x)\pm \frac{2K}{ r^\delta } |x|\). Then by comparison principle
By Proposition 4.2, recalling that \({\bar{u}}_0(x)\pm \frac{2K}{ r^\delta } |x|\) are Lipschitz functions with Lipschitz constant less than \( \Vert D{\bar{u}}_0\Vert _\infty +2K\), we get that there exists B depending only on \(\Vert D{\bar{u}}_0\Vert _\infty \) and K such that
Therefore by (5.3) we conclude that for all \(y\in \mathbb {R}^n\), \(\tau >0\), and all \(r>>1\),
Note that as \(r\rightarrow +\infty \), \({\bar{u}}_{\pm r}\left( y, \frac{1}{s+1} \right) \rightarrow {\bar{u}} \left( y, \frac{1}{s+1} \right) \) locally uniformly in y by stability of viscosity solutions, since \({\bar{u}}_0(x)\pm \frac{2K}{r^\delta } |x|\rightarrow {\bar{u}}_0(x)\) locally uniformly. So taking \(r=e^\tau \) in the previous inequality and sending \(\tau \rightarrow +\infty \), we get the local uniform convergence of \({\tilde{u}}\). Finally, since by Proposition 3.1, \({\tilde{u}}\) has uniform \(C^{1, \alpha }\) norm in \(\mathbb {R}^n\times [t_0, +\infty )\), for every \(t>0\), we conclude that the locally uniform convergence holds in \(C^{1,\alpha }\) sense. \(\square \)
Remark 5.2
If condition (5.1) is violated, then in general we cannot expect the asymptotic convergence result proved in Theorem 5.1. Indeed, observe that if \({\tilde{u}}\) is the solution to (2.8) with initial datum \(u_0\), then reasoning as in Proposition 4.2 we get that
In particular, if the convergence takes place, then for every compact set \(B\subset \mathbb {R}^n\) there exists \(\tau _B>0\) such that
For instance, this condition is not satisfied by initial data oscillating at infinity between different positively homogeneous functions. We refer to [13, Proposition 6.1] for an explicit example.
6 Convergence of the unrescaled flow
In this section we will consider some cases in which convergence of the unrescaled flow holds. To get stability without rescaling, we have to impose some decay or periodicity condition of the initial datum.
6.1 Stability of hyperplanes
We show that hyperplanes are stable with respect to the flow (1.1), that is, if the initial datum is flat at infinity (resp. periodic), then the solution stabilizes to the hyperplane at which the initial datum is (resp. stabilizes to a constant).
We remark that the behavior of the solution to (2.4) for these families of initial data is analogous to the behaviour of solutions to the fractional heat equation \(u_t+ (-\Delta )^{\frac{s+1}{2}}u=0\), with the same initial data. Analogous results for the local mean curvature flow of graphs have been obtained in [12, 14, 19], with different approaches: either comparison with large balls as in our case (even if in the local case the argument is more involved), or reduction to stabilization of solutions to the heat equation.
We start with a result about periodic initial data, showing that the solution stabilizes to a constant. For a particular class of periodic initial datum we may show that actually this constant is given by the mean value of the initial datum.
Proposition 6.1
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz function which is \(\mathbb {Z}^n\) periodic. Then, there exists a constant \(c\in (\min u_0, \max u_0)\) such that the solution u to (2.4) with initial datum \(u_0\) satisfies
If moreover \(u_0\) has also the property that
then
Proof
We observe that by uniqueness the solution u(x, t) is \(\mathbb {Z}^n\) periodic in the x variable. We define \(M(t)=\max _x u(x,t)\) and \(m(t)=\min _x u(x,t)\). Note that by Proposition 4.2, M(t) and m(t) are Hölder continuous functions, and moreover by comparison, we have that \(\min _x u_0(x)\leqslant m(t)\leqslant M(t)\leqslant \max _x u_0(x)\), and that M(t) is decreasing and m(t) is increasing. Therefore M(t) and m(t) are differentiable a.e. We want to prove that \(\lim _{t\rightarrow +\infty } M(t)-m(t)=0\). If this holds, then the result follows, recalling that M(t) is decreasing and m(t) is increasing. The \(C^1\) convergence is a consequence of the uniform estimates in Proposition 3.1. Assume by contradiction that \(\lim _{t\rightarrow +\infty } M(t)-m(t)={\bar{C}}>0\). We fix \(t>0\) and \(x_M\in \hbox {argmax } u(\cdot , t)\cap [0,1]^n\) and \(x_m\in \hbox {argmin } u(\cdot , t)\cap [0,1]^n\). Let \(C(t)=M(t)-m(t)\geqslant {\bar{C}}\). We recall that \(u(\cdot , t)\) is Lipschitz continuous with Lipschitz constant less than \(\Vert Du_0\Vert _\infty \) and we fix \(\delta >0\) such that \(\delta \Vert Du_0\Vert _\infty \leqslant \frac{{\bar{C}}}{2}\). It is immediate to check that
and analogously
Then, at every point of differentiability t, the functions M, m satisfy
Using the equation we get
and
These two inequalities imply that M(t) is strictly decreasing, m(t) is strictly increasing and \(C'(t)\leqslant -K C(t)\) for a constant K depending only on \({\bar{C}}\) and \(\Vert Du_0\Vert _\infty \). Therefore \(\lim _{t\rightarrow +\infty }C(t)=0\), which is in contradiction with our assumption.
Finally, observe that if \(u_0 \) satisfies (6.1), then by uniqueness, \(-u(x,t)=u(x+v, t)\). This implies that necessarily \(\lim _{t\rightarrow +\infty } u(x,t)=-\lim _{t\rightarrow +\infty } u(x,t)\) and then the limit is 0. \(\square \)
We first of all prove stability of constant functions in \(\mathbb {R}^n\).
Theorem 6.2
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz function such that
Then, the solution u to (2.4) with initial datum \(u_0\) satisfies
Proof
First of all we observe that it is sufficient to prove the result for initial data which are nonnegative everywhere or nonpositive everywhere. Indeed the general case is easily obtained by using as barriers the solutions with initial data \(u_0^+=\max (u_0, 0)\) and \(u_0^-=\min (u_0, 0)\).
So, we prove the result only for the case \(u_0\geqslant 0\), since the other case \(u_0(x)\leqslant 0\) is completely analogous. Note that by comparison, since the constant are stationary solutions to (2.4), \(0\leqslant u(x,t)\leqslant \max _{y} u_0(y)\) for all \(x\in \mathbb {R}^n, t>0\).
We claim now that for all \(t>0\),
Indeed for every \(\varepsilon >0\), let us fix \(R>0\) such that \(|u_0(x)|\leqslant \varepsilon \) for all \(|x|\geqslant R\). For every \(|x|>R\), fix \(K=|x|-R>0\) and observe that the ball \(B((x, K+\varepsilon ), K)\) of center \((x, K+\varepsilon )\) and radius K, is contained in \(\mathbb {R}^{n+1}\setminus E_0\). By monotoniciy of the flow (1.1) with respect to inclusions, see [8], there holds that
where \(K(t)=(K^{s+1}-(s+1){\bar{c}} t)^{\frac{1}{s+1}}\), and \({\bar{c}}\) is the fractional mean curvature of the unit ball in \(R^{n+1}\). Therefore, we get that for all t with \(t\leqslant T\leqslant \frac{K^{s+1}}{2(s+1){\bar{c}}}\) there holds
This implies that for all \(\varepsilon >0\), there exists \(R>0\) such that for \(|x|>R\),
This implies that \(\inf _x u(x,t)=0\) for all \(t>0\) and moreover that \(\sup _x u(x,t)=\max _x u(x,t)\). The fact that \(\max _x u(x,t)\) is decreasing in t is a consequence of comparison with stationary solutions.
Now, since M(t) is decreasing, let \({\bar{M}}=\lim _{t\rightarrow +\infty } M(t)=\inf _t M(t)\). We claim that \({\bar{M}}=0\). If the claim holds, then we get the conclusion. The \(C^1\) convergence is a consequence of the uniform estimates in Proposition 3.1.
Assume by contradiction that \({\bar{M}}>0\). We fix \(0<\varepsilon <\frac{{\bar{M}}}{2}\) and \({\bar{t}}>0\) such that \(M({\bar{t}})\leqslant {\bar{M}}+\varepsilon \). We fix also \(R=R({\bar{t}})\) such that \(u(x, {\bar{t}})<\frac{{\bar{M}}}{2}\) for all \(|x|>R\).
Now we aim to get a contradiction by constructing a periodic barrier which satisfies (up to suitable vertical translation) a condition like (6.1). We fix a Lipschitz continuous function \(\phi :[-R, 2R] \rightarrow \mathbb {R}\), such that \(\phi \) is non increasing, \(\phi (z)={\bar{M}}+\varepsilon \) for \(z\in [-R, R]\), and \(\phi (2R)=\frac{{\bar{M}}}{2}\). Now we extend it to a function \(\phi :[-R, 5R]\rightarrow \mathbb {R}\) by putting \(\phi (z)=\frac{3}{2}{\bar{M}}+\varepsilon -\phi (z-3R)\) for all \(2R\leqslant z\leqslant 5R\). Finally, we extend it by periodicity to be a \(6R\mathbb {Z}\) periodic function. Then the function \(v_0(x)=\phi (x\cdot e_1)\), is a \(6R\mathbb {Z}^n\) periodic function, which is Lipschitz continuous, and satisfies \(v_0(x+3Re_1)=\frac{3}{2}{\bar{M}}+\varepsilon -v_0(x)\).
Note that by construction, \(u(x, {\bar{t}})\leqslant v_0(x)\) for all \(x\in \mathbb {R}^n\) and then by comparison
where v(x, t) is the solution to (2.4) with initial datum \(v_0\). Now by Proposition 6.1 we get that \(\lim _{t\rightarrow +\infty }v(x,t)=c\) uniformly in \(C^1\), and moreover, since \(v_0(x+3Re_1)=\frac{3}{2}{\bar{M}}+\varepsilon -v_0(x)\) there holds that \(c=\frac{3}{2}{\bar{M}}+\varepsilon -c\), and so \(c=\frac{3}{4}{\bar{M}}+\frac{\varepsilon }{2}<{\bar{M}}\), recalling our choice of \(\varepsilon \). But then we get that \(\limsup _{t\rightarrow +\infty } u(x,t)<{\bar{M}}\), in contradiction with the definition of \({\bar{M}}\). \(\square \)
Remark 6.3
Let \(u_0^\lambda \) be a family of Lipschitz continuous functions which fulfills uniformly in \(\lambda \) the condition in Theorem 6.2, in the sense that
Then it is easy to check that the convergence is uniform in \(\lambda \) in the sense that
where \(u^\lambda \) is the solution to (2.4) starting from \(u_0^\lambda \).
Finally we give the general result about stability of hyperplanes. We denote with d(A, B) the Hausdorff distance between the sets A, B.
Corollary 6.4
Let \(E_0\subseteq \mathbb {R}^{n+1}\) be a set such that \(\partial E_0\) is a Lipschitz surface and that there exists a half-space H for which
Then the outer and inner level set flows \(E^+(t), E^-(t)\) defined in (2.3) satisfy
Proof
Since the fractional mean curvature is invariant by rotations and translations, we may assume without loss of generality that \(H=\{(x, z)\in \mathbb {R}^{n}\times \mathbb {R}\ |\ z\leqslant 0\}\). Moreover, by the assumption that \(\lim _{R\rightarrow +\infty } d(E_0\setminus B(0, R), H\setminus B(0, R))=0\), there exist two Lipschitz functions \(u_0, v_0:\mathbb {R}^n\rightarrow \mathbb {R}\) such that \(\lim _{|x|\rightarrow +\infty } u_0(x)=0=\lim _{|x|\rightarrow +\infty } v_0(x)\) and \(\{(x, z)\in \mathbb {R}^{n}\times \mathbb {R}\ |\ z\leqslant u_0(x)\}\subseteq E_0\subseteq \{(x, z)\in \mathbb {R}^{n}\times \mathbb {R}\ |\ z\leqslant v_0(x)\}\). By comparison we get that \(\{(x, z)\in \mathbb {R}^{n}\times \mathbb {R}\ |\ z\leqslant u(x,t)\}\subseteq E_t^-\subseteq E_t^+\subseteq \{(x, z)\in \mathbb {R}^{n}\times \mathbb {R}\ |\ z\leqslant v(x,t)\}\), where u(x, t), v(x, t) are the solutions to (2.4) with initial datum \(u_0, v_0\). By Theorem 6.2\(\lim _{t\rightarrow +\infty } u(x,t)=\lim _{t\rightarrow +\infty } v(x,t)=0\) uniformly in \(\mathbb {R}^n\), and this gives the conclusion. \(\square \)
6.2 Stability of convex cones
In this section we provide the convergence of the unrescaled flow in the case the initial data is decaying at infinity to a \(H_s\)-mean convex cone, staying above it. The result can be strenghtened if the initial cone is convex, by using the stability of hyperplanes.
Proposition 6.5
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function. Assume there exists a non linear function \({\bar{u}}_0\) which satisfies (4.1), and
such that
Then, if u is the solution to (2.4) with initial datum \(u_0\), it holds
Proof
Observe that by (6.3), \({\bar{u}}_0(x)\) is a stationary viscosity subsolution to (2.4), therefore \({\bar{u}}(x, t)\geqslant {\bar{u}}_0(x)\) and so in particular \( {\bar{u}}(0, t)\geqslant {\bar{u}}_0(0)\). Observe that, if \({\bar{u}}_0\) is a homogeneous Lipschitz function, then either it is linear or it is singular at 0, in the sense that the curvature in a neighborhood of \(x=0\) is not bounded. Therefore, since we assumed that \({\bar{u}}_0\) is non linear, then \({\bar{u}}(0,t)>0\) since \({\bar{u}}\) is smooth by Theorem 4.1. Again by comparison, we get that also \({\bar{u}}(x, t+r)\geqslant {\bar{u}}(x,t) \) for all \(t\geqslant 0\), \(r>0\), \(x\in \mathbb {R}^n\).
Fix \(\varepsilon >0\) and \(R>0\) such that \(u_0(x)\leqslant {\bar{u}}_0(x)+\varepsilon \) for all \(|x|>R\). Therefore we get that for all \(T>0\),
Observe now that by (4.3) and Lipschitz continuity
Since \({\bar{u}}(0,1)>0\) there exists \(T>0\) sufficiently large such that
Therefore, by (6.4), (6.5), and by comparison we get that for some \(T>0\) sufficiently large
Note that since \(u_0\geqslant {\bar{u}}\), by comparison \(u(x,t)\geqslant {\bar{u}}(x,t)\) for all x, t. Then we get, for \(\varepsilon >0\) and \(T>0\) fixed (and depending on \(\varepsilon \)),
We conclude by letting \(t\rightarrow +\infty \) and recalling that, by Theorem 4.1, \({\bar{u}}(x, T+t)-{\bar{u}}(x,t)\rightarrow 0\) as \(t\rightarrow +\infty \) uniformly in x, for all fixed T. \(\square \)
Theorem 6.6
Let \(u_0:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function. Assume there exists a convex function \({\bar{u}}_0\) which satisfies (4.1) and such that
Then, if u the solution to (2.4) with initial datum \(u_0\),
Proof
We divide the proof in several steps.
Step 1: for every \(\varepsilon >0\) there exists \(T=T(\varepsilon )\) such that
Since \({\bar{u}}_0\) is convex, then it also satisfies (6.3). We proceed as in Proposition 6.5. So for every \(\varepsilon >0\), there exists \(R=R(\varepsilon )>0\) such that \(u_0(x)\leqslant {\bar{u}}_0(x)+\varepsilon \leqslant {\bar{u}}(x,t)+\varepsilon \) for all \(|x|>R\) and moreover, arguing as in the proof of (6.5), we get that there exists \(T>0\) sufficiently large such that
Therefore, since \(u_0(x)\leqslant {\bar{u}}(x, T)+\varepsilon \), we conclude by comparison.
Step 2: for every \(\delta >0\) there exist \(T(\delta )>0\) such that
Since \({\bar{u}}_0\) is convex and is positively 1-homogeneous, we get that for all \(\nu \in \mathbb {S}^{n}\) there exists \(p_\nu \in \mathbb {R}^n\), such that \({\bar{u}}_0(x)\geqslant p_\nu \cdot x\), with equality at every \(x=\lambda \nu \) with \(\lambda \geqslant 0\).
We define the family of functions \(u_0^\nu (x)=\inf (u_0(x), p_\nu \cdot x)\) and observe that by the assumption there holds that
So, by Corollary 6.4, and arguing as in Remark 6.3, we get that
where \(H_\nu \) is the halfspace with normal \((-p_\nu , 1)\). This in particular implies that \(\lim _{t\rightarrow +\infty } u^\nu (x,t)- p_\nu \cdot x=0\) uniformly in \(\nu \), which in turns gives that \(\liminf _{t\rightarrow +\infty } u(x,t)- p_\nu \cdot x\geqslant \lim _{t\rightarrow +\infty } u^\nu (x,t)- p_\nu \cdot x=0 \) uniformly in \(\nu \), and so in particular \(\liminf _{t\rightarrow +\infty } u(x,t)\geqslant {\bar{u}}_0(x)\). This permits to conclude.
Step 3: conclusion.
Observe that by Step 2, and comparison principle, for \(\delta >0\) fixed, there holds that \(u(x, t+T(\delta ))\geqslant {\bar{u}}(x,t)-\delta \). So, for every \(\varepsilon >0\) and \(t\geqslant T(\delta )\), we get by Step 1 and the previous observation that
Now we conclude by arbitrariness of \(\varepsilon ,\delta \) and by Remark 4.4, letting \(t\rightarrow +\infty \). \(\square \)
7 Ancient and homothetically shrinking solutions
Finally we consider homothetically shrinking solutions in the graphical case, and we show that they are necessarily hyperplanes.
Definition 7.1
An ancient solution to (1.1) is a solution to (1.1) defined for all \(t\in (-\infty , 0)\).
We recall the following Liouville theorem for ancient solutions of parabolic fractional equations with rough kernels, proved in [21, Theorem 3.1]. We state it in the setting we are going to apply it.
Theorem 7.2
[21, Theorem 3.1] Let I be a translation invariant operator, elliptic with fractional order \(1+s\), with \(I(0)=0\) and \(u\in C(\mathbb {R}^n\times (-\infty , 0])\) be a viscosity solution to \(u_t-I(u)=0\) in \(\mathbb {R}^n\times (-\infty , 0]\). Assume there exists \(C>0\) such that for all \(R\geqslant 1\) there holds
Then there exists \(a\in \mathbb {R}^n, b\in \mathbb {R}\) such that \(u(x,t)=a\cdot x+b\).
Theorem 7.3
The only graphical Lipschitz solutions to (1.3) are hyperplanes (with \(c=0\)).
Moreover the only graphical uniformly Lipschitz ancient solutions to (1.1) are hyperplanes.
Proof
The result is a consequence of Theorem 7.2.
Let E be a graphical Lipschitz solution to (1.3), that is let \(u_1:\mathbb {R}^n\rightarrow \mathbb {R}\) be a Lipschitz continuous function such that \(E=\{(x,z)\ | z\leqslant u_1(x)\}\) is a solution to (1.3). Then arguing as in Proposition 4.5 we may connstruct a solution to (2.4) in \((-\infty , 0)\) with \(u_1(x,t)=u_1(x)\). Indeed let
It is easy to check, using the fact that E is a solution to (1.3), that \(E_t\) is a solution to (1.1). Therefore the function
is a solution to (2.4) in \((-\infty , 0)\) and satisfies \(u_1(x,0)=u_1(x)\). Since \(u_1\) is Lipschitz continuous we get that
This implies that there exists \(K>0\) depending on \(c, s, \Vert Du_1\Vert _\infty , u_1(0)\), such that for all \(R>1\),
Recalling the formula for \(H_s\) (2.11), we get that \(u_1\) is a viscosity solution to
where I is a translation invariant operator, elliptic with fractional order \(s+1\), and \(I(0)=0\). Then, by Theorem 7.2 we conclude that there exist \(a\in \mathbb {R}^n\) and \(b\in \mathbb {R}\) such that \(u_1(x,t)= a\cdot x +b\) for all \(t\leqslant 0\) and \(x\in \mathbb {R}^n\). This implies that E is a hyperplane and \(c=0\).
Finally, if \(E_t\) is a graphical uniformly Lipschitz and ancient solution to (1.1), then u(x, t) is a continuous viscosity solution to \(u_t-I (u)=0 \) for \(t\in (-\infty , 0)\) and moreover, since \(|Du(x,t)|\leqslant C\), arguing as in Proposition 4.2 we obtain that there exists a constant K only depending on C such that \(|u(x,t)-u(x,t+h)|\leqslant K|h|^{\frac{1}{1+s}}\). So, again by Theorem 7.2 we conclude that u is affine and does not depend on t. \(\square \)
Remark 7.4
In the case of classical mean curvature flow, see for instance [15] and references therein, there are translating, hence eternal, solutions which are smooth but not Lipschitz. We expect that such solutions, with polynomial growth depending on s, exist also for the graphical fractional mean curvature flow (2.4).
References
Abatangelo, Nicola, Valdinoci, Enrico: A notion of nonlocal curvature. Numer. Funct. Anal. Optim. 35(7–9), 793–815 (2014)
Barrios, Begoña, Figalli, Alessio, Valdinoci, Enrico: Bootstrap regularity for integro-differential opera- tors and its application to nonlocal minimal surfaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. 13(5), 609–639 (2014)
Caffarelli, Luis, Roquejoffre, Jean-Michel., Savin, Ovidiu: Nonlocal minimal surfaces. Comm. Pure Appl. Math. 63(9), 1111–1144 (2010)
Caffarelli, Luis, Souganidis, Panagiotis E.: Convergence of nonlocal threshold dynamics approximations to front propagation. Arch. Ration. Mech. Anal. 195(1), 1–23 (2010)
Cesaroni, Annalisa, Dipierro, Serena, Novaga, Matteo, Valdinoci, Enrico: Fattening and nonfattening phenomena for planar nonlocal curvature flows. Math. Ann. 375(1–2), 687–736 (2019)
Cesaroni, Annalisa, Novaga, Matteo: Symmetric self-shrinkers for the fractional mean curvature flow. J. Geom. Anal. 30(4), 3698–3715 (2020)
Cesaroni, Annalisa, Kröner, Heiko, Novaga, Matteo: Anisotropic mean curvature flow of Lipschitz graphs and convergence to self-similar solutions. ESAIM Control Optim. Calc. Var. 27, 17 (2021)
Chambolle, Antonin, Morini, Massimiliano, Ponsiglione, Marcello: Nonlocal curvature flows. Arch. Ration. Mech. Anal. 218(3), 1263–1329 (2015)
Chambolle, Antonin, Novaga, Matteo, Ruffini, Berardo: Some results on anisotropic fractional mean curvature flows. Interfaces Free Bound. 19(3), 393–415 (2017)
Cinti, Eleonora, Sinestrari, Carlo, Valdinoci, Enrico: Neckpinch singularities in fractional mean curva- ture flows. Proc. Amer. Math. Soc. 146(6), 2637–2646 (2018)
Cinti, Eleonora, Sinestrari, Carlo, Valdinoci, Enrico: Convex sets evolving by volume-preserving fractional mean curvature flows. Anal. PDE 13(7), 2149–2171 (2020)
Clutterbuck, Julie, Schnürer, Oliver C.: Stability of mean convex cones under mean curvature flow. Math. Z. 267(3–4), 535–547 (2011)
Ecker,Klaus, Huisken,Gerhard:Mean curvature evolution of entire graphs, Ann. Math. (2) 130 no. 3, 453–471,(1989)
Ecker, Klaus: Regularity theory for mean curvature flow, Progress in Nonlinear Differential Equations and their Applications, vol. 57. Birkhäuser Boston Inc, Boston, MA (2004)
Hoffman,David, Ilmanen, Tom, Martín, Francisco, White, Brian:Graphical translators for mean cur- vature flow, Calc. Var. Partial Differential Equations 58 (2019), no. 4, Paper No. 158
Huisken, Gerhard: Flow by mean curvature of convex surfaces into spheres. J. Differ. Geom. 20(1), 237–266 (1984)
Imbert, Cyril: Level set approach for fractional mean curvature flows. Interfaces Free Bound. 11(1), 153–176 (2009)
Julin, Vesa, Manna, Domenico Angelo La.: Short time existence of the classical solution to the fractional mean curvature flow. Ann. Inst. H. Poincaré Anal. Non Linéaire 37(4), 983–1016 (2020)
Nara, Mitsunori, Taniguchi, Masaharu: The condition on the stability of stationary lines in a curvature flow in the whole plane. J. Differ. Equ. 237(1), 61–76 (2007)
Sáez, Mariel, Valdinoci, Enrico: On the evolution by fractional mean curvature. Comm. Anal. Geom. 27(1), 211–249 (2019)
Serra, Joaquim: Regularity for fully nonlinear nonlocal parabolic equations with rough kernels. Calc. Var. Partial Differ. Equ. 54(1), 615–629 (2015)
Russell, W.: Schwab and Luis Silvestre, Regularity for parabolic integro-differential equations with very irregular kernels. Anal. PDE 9(3), 727–772 (2016)
Wang, Lu.: A Bernstein type theorem for self-similar shrinkers. Geom. Dedicata 151, 297–303 (2011)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors were supported by the INDAM-GNAMPA and by the PRIN Project 2019/24 Variational methods for stationary and evolution problems with singularities and interfaces.
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
Cesaroni, A., Novaga, M. Fractional mean curvature flow of Lipschitz graphs. manuscripta math. 170, 427–451 (2023). https://doi.org/10.1007/s00229-022-01371-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-022-01371-5