Abstract
We consider motion by anisotropic curvature of a network of three curves immersed in the plane meeting at a triple junction and with the other ends fixed. We show existence, uniqueness and regularity of a maximal geometric solution and we prove that, if the maximal time is finite, then either the length of one of the curves goes to zero or the \(L^2\)-norm of the anisotropic curvature blows up.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this work is to study motion by anisotropic curvature of a network of three curves in the plane. This evolution corresponds to a gradient flow of the anisotropic length of the network, which is the sum of the anisotropic lengths of the three curves. Since multiple points of order greater than three are always energetically unstable (see [11, 18]), it is natural to consider networks with only triple junctions, the simplest of which is a network with three curves meeting at a common point.
The isotropic version of this problem attracted a considerable attention in recent years (see for instance the extended survey [14] and references therein). In particular, the short-time existence for the evolution has been first proved by L. Bronsard and F. Reitich in [5], and later extended in [12, 15] where it is shown that, at the maximal existence time, either one curve disappears or the curvature blows up.
The main result of this paper, contained in Theorem 5.8, is the extension of the result in [15] to the smooth anisotropic setting. More precisely, we show that at the maximal existence time of the geometric solution (see Definition 2.8), either the length of one curve goes to zero or the \(L^2\)-norm of the anisotropic curvature blows up. In the latter case, we also provide a lower bound on the blow up rate of the curvature (see Lemma 5.3).
A relevant technical issue in this paper is due to the fact that, in the case of networks, the evolution is governed by a system of PDE’s rather than by a single equation, hence it is difficult to use the maximum principle, which is usually the main tool to get estimates on the geometric quantities for curvature flows. As a consequence, following [15] in order to control these quantities we rely on delicate integral estimates and interpolation inequalities.
A challenging open problem is the extension of such result to the nonsmooth (including crystalline) anisotropic setting, as it was done in [6, 16] for the case of closed planar curves. In the case of networks, the dependence of the integral estimates on the anisotropy, makes such extension problematic.
Let us point out that, in the paper [3], the authors proved a short-time existence result for the crystalline evolution of embedded networks, under a suitable assumption on the initial data which allows to reduce the evolution equation to a system of ODE’s. We also recall that in the papers [2, 10] the authors discuss existence of global weak solutions for the evolutions of embedded networks by anisotropic curvature flow.
In [12, 15] the authors proved, in the isotropic case, the long-time existence for the evolution of a network of three curves and the convergence to the minimal Steiner configuration, under the assumption that the length of each curve is bounded away from zero. The main difficulty in extending such a result to the anisotropic setting is the lack of a monotonicity formula as in [9] (see [15, Proposition 6.4] for its adaptation to the case of a network), which in turns prevents a characterization of the parabolic blow-up of the evolution at singular times. This is a challenging and very interesting research direction.
The paper is organized as follows: In Section 2 we introduce the notation and define the relevant geometric object that we shall use throughout the paper. In Section 3 we prove a short-time existence result for the evolution following the approach in [5, 15]. In Section 4 we show the existence and uniqueness of a maximal geometric solution and we prove that, at the maximal time, either the length of one curve tends to zero or the \(H^1\)-norm of the anisotropic curvature blows up. Finally, in Section 5 we refine this conclusion by showing that, if the \(H^1\)-norm blows up, then also the \(L^2\)-norm of the anisotropic curvature blows up. We conclude the paper with an Appendix containing some technical result which are used in the paper.
2 Notation and Preliminary Definitions
We consider a flow of regular planar curves parametrized by \(u: [0, T]\times I \rightarrow {\mathbb {R}}^2\), where \(I=[0,1]\). We denote by s the arc-length parameter of the curve (thus \(\partial _s (\cdot )=\partial _x (\cdot )/ |u_x|\)), by \(\tau =u_x/|u_x|=u_s=(\sin \theta , -\cos \theta )\) its unit tangent and \(\nu =(\cos \theta , \sin \theta )\) its unit normal. The Euclidean scalar product in \({\mathbb {R}}^2\) is denoted by \(\cdot \). The symbol \(\perp \) stands for anti-clockwise rotation by \(\pi /2\), therefore \((a,b)^\perp = (-b, a)\). Recall the classical Frenet formulas
Obviously \({\vec {\kappa }}=\displaystyle \frac{u_{xx}}{|u_{x}|^{2}} - \frac{u_{xx}}{|u_{x}|^{2}} \cdot \tau \tau \) and \(\kappa = \displaystyle \frac{u_{xx}}{|u_{x}|^{2}} \cdot \nu \). Moreover recall that from the expression for \(\nu _s\) one infers that for the scalar curvature \(\kappa \) we have
2.1 Anisotropies
Let us recall some definitions and properties of anisotropy maps (see for instance [4]).
Definition 2.1
We call anisotropy a norm \(\varphi : {\mathbb {R}}^2 \rightarrow [0, \infty )\). We say that \(\varphi \) is smooth if \(\varphi \in C^{\infty }({\mathbb {R}}^{2} \setminus \{ 0 \})\) and \(\varphi \) is elliptic if \(\varphi ^{2}\) is uniformly convex, that is, there exists \(C > 0\) such that
in the distributional sense.
The set \(W_{\varphi }:=\{\varphi \leqslant 1 \}\) is called Wulff shape. We say that \(\varphi \) is crystalline if \(W_{\varphi }\) is a polygon.
Definition 2.2
Given an anisotropy \(\varphi \), we introduce the polar norm \(\varphi ^\circ \) relative to \(\varphi \) as
Remark 2.3
Note that \(\varphi \) is smooth and elliptic if and only if \(\varphi ^\circ \) is smooth and elliptic ( [6, § 2]).
The ellipticity condition implies that the Wulff shape is uniformly convex. Moreover, from (2.3) one infers that
for unit vectors \(\nu \) and \(\tau \) with \(\nu \cdot \tau =0\) (see [16, Remark 1]).
In the following, we shall restrict ourselves to the case of smooth and elliptic anisotropies.
Observe that the homogeneity property of a norm \(\varphi \) yields \(D\varphi (p) \cdot p = \varphi (p)\) and \(D^{2}\varphi (p)p =0\) for any \(p \ne 0\), two facts that we will use repeatedly in our computations.
2.2 Anisotropic Scalar Curvature and Anisotropic Curve Shortening Flow
When u is smooth and the anisotropy \(\varphi \) is smooth and elliptic the classical formulation of the anisotropic curvature flow is given by the equation (see [1])
where the scalar anisotropic curvature is given by
with \(N=D\varphi ^{\circ }(\nu )\) the Cahn-Hoffman vector. Thus
Clearly, boundary and initial conditions (and compatibility conditions) have to be specified as well, but for the moment we neglelct those and focus only on the evolution equation. By setting
a straightforward calculation gives
so that we can rewrite the flow (2.5) as
where \(\kappa \) is the Euclidean curvature and
Note that by (2.4), the ellipticity of \(\varphi \) implies uniform bounds for \(\psi \), i.e.,
In the following we shall admit tangential components to the flow, therefore we will consider evolution equations of type
for some sufficiently smooth scalar function \(\lambda \).
Definition 2.4
The special anisotropic curve shortening flow is defined through a specific choice of tangential term, namely we take \(\lambda = \varphi ^{\circ }(\nu ) (D^2 \varphi ^\circ (\nu ) \tau \cdot \tau ) \frac{u_{xx}}{|u_{x}|^{2}} \cdot \tau \) in (2.12). Thus, the special anisotropic curve shortening flow is given by
Next we derive the evolution laws of relevant geometric quantities.
Lemma 2.5
Assume u satisfies (2.12). Then, the following equalities hold
For the special flow (2.13) where \(\lambda =\psi (\theta ) \frac{u_{xx}}{|u_{x}|^{2}} \cdot \tau = - \psi (\theta ) \frac{\partial }{\partial x} \left( \frac{1}{|u_{x}|} \right) \) we have that
Proof
The assertions easily follow by straightforward calculations, see for instance [16, Lemma 1] for the special case where \(\lambda =0\) and [14, Lemma 3.1] for the isotropic case . \(\square \)
Lemma 2.6
Assume u satisfies (2.12). Then the following holds for the isotropic and anisotropic length of the curve
Proof
We compute
and
\(\square \)
2.3 The Geometric Problem
For basic definitions of networks see for instance [14, § 2]. We consider networks \({\mathbb {S}}\) of curves parametrized by regular maps \(u^{i}: [0,1] \rightarrow {\mathbb {R}}^{2}\), \(i=1,2,3\), such that \( u^{i}(1)=P^{i}\) (with \(P^{i} \in {\mathbb {R}}^{2}\) given) and \(u^{i}(0)=u^{j}(0)\), for \(i, j \in \{ 1,2,3 \}\), that is the curves are parametrized in such a way that the origin is mapped to the triple junction (Fig. 1).
Definition 2.7
(Geometrically admissible networks) A network \({\mathbb {S}}\) is called admissible if there exist regular parametrizations \(\sigma ^{i} \in C^{2, \alpha }([0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\) such that \({\mathbb {S}} = \cup _{i=1}^{3}\sigma ^{i} ([0,1])\) and there holds
together with
(where \(\kappa _{\varphi }^{i}\) denotes the anisotropic curvature of the curve \(\sigma ^{i}\)) and
Here \(\lambda ^{i}_{0}\) denotes a further geometric quantity, whose expression is formulated in (2.26) below. In particular we see that \(\lambda ^{i}_{0}\) is given as a linear combination of \(\psi (\theta ^{i}) \kappa ^{i}\) and \(\psi (\theta ^{i\pm 1}) \kappa ^{i\pm 1}\).
Definition 2.8
Given an initial admissible network \(\sigma :=( \sigma ^{1}, \sigma ^{2}, \sigma ^{3})\) as in Definition 2.7 we look for \(T>0\) and regular maps \(u^{i}: [0,T) \times [0,1] \rightarrow {\mathbb {R}}^{2}\), \(i=1,2,3\), with \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha } ([0,T) \times [0,1], {\mathbb {R}}^{2}) \) such that
with initial datum \(u^{i}(0, \cdot )=\sigma ^{i}(\cdot )\) up to reparametrization ( i.e., \(u^{i}(0, \cdot )=\sigma ^{i}(\phi ^{i}(\cdot ))\) for some orientation preserving diffeomorphism \(\phi ^{i}\in C^{2+\alpha } ( [0,1] ,[0,1])\) ) and (natural) boundary conditions
A solution to such problem is called geometric solution.
Remark 2.9
(Anisotropic angle condition) The boundary condition
at the triple junction is the anisotropic version of the Herring condition (cf. [14, Def. 2.5]) and is derived by considering the first variation of \( E({\mathbb {S}}) := \sum _{i=1}^{3} \int _{I} \varphi ^{\circ } (\nu ^{i}) ds^{i}. \) Indeed, for variations of type \(u^{i}+ \epsilon \varphi ^{i}\), where \(\varphi ^{i}\) are smooth functions with \(\varphi ^{i}(1)=0\), \(\varphi ^{i}(0)=\varphi ^{j}(0)\) for all \(i, j \in \{ 1,2,3 \}\) we can write
(where here and in the following we write ds instead of \(ds^{i}\), the meaning being clear from the context) and (2.20) is immediately deduced. Note that the vectors \(\xi ^{i}:= D \varphi ^{\circ }(\nu ^{i})\) appearing in (2.20) belong to the boundary of the Wulff shape, i.e., \(\xi ^{i} \in \partial W_{\varphi }\), \(i=1,2,3\). We can state that the angles at which the tangent planes to \(\partial W_{\varphi }\) at \(\xi ^{i}\) can meet are bounded away from zero and \(\pi \): indeed in one of these two limit cases, the three vectors must be in shape of a Y (possibly with two vectors coinciding), but we get a contradiction using the symmetry and convexity of the Wulff shape.
Since \( \nu ^{i}\) is normal to the tangent plane at \(\xi ^{i} =D \varphi ^{\circ }(\nu ^{i}) \in \partial W_{\varphi }\), this means that there exists a positive constant C depending on \(\varphi ^{\circ }\) such that
In turns this implies the existence of a postive constant \( a_{0}\) depending on \(\varphi ^{\circ }\) such that
For the notion of geometric solution it is enough to specify the normal velocity. To attack the problem analytically, we actually consider the system
for some scalar maps \(\lambda ^{i} \in C^{\frac{\alpha }{2}, \alpha } ([0,T) \times [0,1], {\mathbb {R}}^{2})\). Note that the presence of tangential components \(\lambda ^{i}\) is necessary to allow for movements of the triple junction. In principle there is some freedom in the choice of these maps, but the freedom is restricted only to the points in the interior of the interval of definition. Indeed we show below in Section 2.4 that \(\lambda ^{i}\), \(i=1,2,3\) are fixed by the problem at the boundary. More precisely we show that at the boundary we can express \(\lambda ^{i}\) as a linear combination of the geometric quantities \(\psi (\theta ^{i}) \kappa ^{i}\) and \(\psi (\theta ^{i\pm 1}) \kappa ^{i\pm 1}\).
Among all possible choices of tangential components \(\lambda ^{i}\), we highlight one specific flow that will play an important role in our discussion:
Definition 2.10
A solution as in Definition 2.8 such that \(u_{t}^{i}\), \(i=1,2,3\), evolves according to (2.13) is called Special Flow.
The Special Flow provides a well posed problem that we can attack analytically. We shall use the Special Flow to derive short-time existence of a geometric solution, and to show its uniqueness and smoothness.
2.4 Behavior of a Generic Tangential Component \(\lambda ^{i}\) at the Triple Junction
At the triple junction beside the concurrency condition we impose that the velocity be the same for all curves involved, hence we impose
or equivalently (after rotation by \(\pi /2\))
for every \(i,j \in \{ 1,2,3 \}\). Multiplying by \(D \varphi ^{\circ }(\nu ^{i})\), summing over i, and using (2.20) gives
and
In the isotropic case this amounts to \(\sum _{i=1}^{3} \kappa ^{i} =0 = \sum _{i=1}^{3} \lambda ^{i}\).
On the other hand, starting from (2.23) and taking the inner product with appropriate normals and tangents we get (with the convention that the superscripts are considered “modulus 3”)
For the isotropic case where all constants and coefficients can be given explicitly see [14, §3]. The above system can be written as
Writing \(\alpha = (\nu ^{i+1} \cdot \nu ^{i})\), \( \beta = (\tau ^{i+1} \cdot \nu ^{i})\), \(\gamma =(\nu ^{i-1} \cdot \nu ^{i})\), \(\delta =(\tau ^{i-1} \cdot \nu ^{i})\) we see that above matrix has determinant equal to \(det=(\alpha ^{2}+\beta ^{2})(\delta ^{2}+\gamma ^{2})\), which can never be zero since \(\alpha \) and \(\beta \), respectively \(\delta \) and \(\gamma \), can not vanish simultaneously. Thus we obtain
From the first two equations we infer that if \(\beta \ne 0\) or \(\delta \ne 0\) then we can express \(\lambda ^{i}\) as a linear combination of \(\psi (\theta ^{i}) \kappa ^{i}\) and \(\psi (\theta ^{i\pm 1}) \kappa ^{i\pm 1}\). By (2.21) we know that in fact \(|\beta |\) and \(|\delta |\) are bounded from below. In particular we obtain that
so that
at the triple junction with \(C=C(a_{0})\) depending on the anisotropy.
For the analysis that follows we will also need expressions for the time derivative \(\lambda _{t}^{i}\). Using (2.26) we can write
with \(C=C(a_{0})\) depending on the anisotropy.
Lemma 2.11
The total anisotropic length of the network decreases in time along the evolution.
Proof
The statement follows by adding the contribution of each curve as computed in (2.17), using (2.25) at the triple junction, and the fact that \(\lambda ^{i}=0=\kappa ^{i}\) at the fixed points \(P^{i}\), \(i=1,2,3\) (this follows from (2.12) and \(\partial _{t} u^{i} =0\) at \(P_{i}\)). \(\square \)
2.5 Special Flow: Behavior of \(\lambda ^{i}\) in the Interior Points
In the following we assume that (2.13) holds for every curve of the network and that we have a uniform bound on the curvatures, namely
Since the following considerations hold for any curve of the network we drop the indices for simplicity of notation. Upon recalling (2.12) let us denote with V the length of the velocity vector. Then
Using Lemma 2.5 (in particular also (2.15)) we observe that \(w:=V^{2}\) satisfies (cp. with [15, page 263] for the isotropic case)
where
Note that N vanishes in the isotropic case. Bringing N to the left-hand side and multiplying both sides of the equation by \(e^{-2 \ln \psi (\theta )}\) we obtain
If \(w(t, \cdot )=V^{2}(t, \cdot ) \ge 0\) does not take its maximum at the boundary (where \(\kappa \) and hence \(\lambda \), recall (2.27), are controlled by assumption) then it achieves its maximum \(w_{max}(t)= \max _{[0,1]} w(t, \cdot )\) in an interior point. By Hamilton’s trick ( [13, Lemma 2.1.3]) we have that \(\frac{\partial }{\partial t}w_{max}(t) = w_{t} (t,x_{max}) \) where \(x_{max} \in (0,1)\) is an interior point where \(w(t, \cdot )\) assumes its maximum. Then
where C depends on \(C_{0}\) and on the anisotropy map (recall (2.11)). Gronwall’s inequality yields
It follows that \(V^{i}\) and \(\lambda ^{i}\) are uniformly bounded on [0, T) for \(i=1,2,3\).
3 Short-time Existence for the Special Flow
The aim of this section is to establish a short-time existence result for the special anisotropic curve shortening flow (recall Definition 2.10 and (2.13)). More precisely, given an initial network \(\sigma :=( \sigma ^{1}, \sigma ^{2}, \sigma ^{3})\) of sufficiently smooth regular curves satisfying appropriate boundary conditions (see below) we look for \(T>0\) and \(u^{i}: [0,T] \times [0,1] \rightarrow {\mathbb {R}}^{2}\), \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1])\), \(i=1,2,3\), \(\alpha \in (0,1)\) such that
with initial datum \(u^{i}(0, \cdot )=\sigma ^{i}(\cdot )\) and boundary conditions
We assume that \(\sigma ^{i} \in C^{2, \alpha }([0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\), are regular maps fulfilling the following compatibility conditions:
as well as
where
Existence and uniqueness in the isotropic case have been shown in Bronsard and Reitich [5]. There the short-time existence proof is carried out in three steps: first a linearization around the initial data is performed, second the classical theory for parabolic system is used to prove existence for the linearized system, third a fixed-point argument is applied to obtain short-time existence for the original non-linear problem. Due to the presence of the anisotropy map the problem is now clearly highly nonlinear and some details require attention. In the following we provide the main arguments. With respect to [5] one striking difference consists in the treatment of the boundary condition at the triple junction. In the isotropic case (2.20) yields \(\tau ^{1}+\tau ^{2}+\tau ^{3}=0\), which gives an angle condition described in [5, eq.(28)] as \(\tau ^{1} \cdot \tau ^{2}= \cos (2\pi /3)=\tau ^{2} \cdot \tau ^{3}\). The latter two equations are then accordingly linearized around the initial datum. Here we need to work with (2.20) directly, since \(\varphi ^{\circ }\) is a given arbitrary (smooth and elliptic) anisotropy map.
Function spaces and notation. For the convenience of the reader let us recall the definition of the parabolic Hölder spaces (recall [17, page 66 and 91]) and fix some notation.
For a function \(v : [0,T] \times [0,1] \rightarrow {\mathbb {R}}\) and \(\rho \in (0,1)\) we let
For \(\alpha \in (0,1)\) and \(k \in {\mathbb {N}}_0\) we define \(C^{ \frac{k+\alpha }{2},k+\alpha } ([0,T] \times [0,1]) \) to be the space of all maps \(v : [0,T] \times [0,1] \rightarrow {\mathbb {R}}\) with continuous derivatives \(\partial _{t}^{i}\partial _{x}^{j}v\) for \(i, j \in {\mathbb {N}} \cup \{0 \}\) with \(2i+j \leqslant k\) and such that the norm
is finite. Note that \(C^{ \frac{2+\alpha }{2},2+\alpha } ([0,T] \times [0,1]) \subset C^{ \frac{1+\alpha }{2},1+\alpha } ([0,T] \times [0,1]) \subset C^{ \frac{\alpha }{2},\alpha } ([0,T] \times [0,1])\). We adopt the following conventions:
-
whenever clear from the context we shall not write the set of the parabolic Hölder spaces, that is, we simply write \(\Vert v \Vert _{C^{\frac{k+\alpha }{2}, k+\alpha }}\) instead of \(\Vert v \Vert _{ C^{ \frac{k+\alpha }{2}, k+\alpha }([0,T]}{ \times [0,1]) }\);
-
the \(C^{\frac{k+\alpha }{2},k+\alpha }\)-norm of a vector-valued map is the sum of the norms of its components.
-
for \(C^{k,\alpha }\)-Hölder norms on spaces in only one variable we always write the set and use the notation \(k +\alpha \), for instance \(C^{2+\alpha }([0,1])\) or \(C^{\frac{\alpha }{2}}([0,T])=C^{0+\frac{\alpha }{2}}([0,T])\);
Useful lemmas for parabolic Hölder spaces are collected in Appendix A.
3.1 Linearized Problem
For some \( 0<T<1\) and \(M>0\) to be chosen later on (cf. (3.12)) define
for \(i=1,2,3\). Furthermore let \(\delta := \min \{ |\sigma ^{i}_{x}(x)|\,: \, x \in [0,1], \text { and } i \in \{ 1,2,3 \} \}\). It is \(\delta >0\). Upon considering \(\sigma ^{i}\) as a map \(\sigma ^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1]; {\mathbb {R}}^{2})\), by extending it as a constant function in time, a similar reasoning as in [7, Lemma 3.1] (using now Lemma 6.3) yields that it is possible to choose \(T=T(M, \delta , \sigma )\) so small in the definition of \(X_{i}\) above that any map \(v \in X_{i}\) is regular for all times. From now on we assume that T is fixed in such a way that the regularity of the curves is guaranteed, that is
for any \({\bar{u}}^{i} \in X_{i}\), \(i=1,2,3\). As in [5] we seek a fixed point of the map
where u solves the following linearized system, which we refer to as the linear problem.
The Linear Problem (LP) Given \({\bar{u}}=({\bar{u}}^{1}, {\bar{u}}^{2}, {\bar{u}}^{3}) \in \prod _{j=1}^{3} X_{j}\) we look for \(u =(u^{1}, u^{2}, u^{3})\), \(u \in \prod _{j=1}^{3} C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1]; {\mathbb {R}}^{2})\) solution to
where
for \(j=1,2,3\), with (the linearized) boundary conditions (recall (3.2) and \(\nu ^{i}_{0}= \frac{(\sigma ^{i}_{x})^{\perp }}{|\sigma ^{i}_{x}|}\))
Solution of the linear problem (LP)
As in [5] we follow the theory developed in [17]. The above system can be written as \({\mathcal {L}}(x,t,\partial _{x}, \partial _{t})u\), with \({\mathcal {L}}(x,t,\partial _{x}, \partial _{t})=diag (l_{kk})_{k=1}^{6}\) where
for some \(j \in \{1,2 \}\) and \(i \in \{ 1,2,3 \}\). In the following let (for \(\mathrm {i}=\sqrt{-1}\), \(\xi \in {\mathbb {R}}\), \(p \in {\mathbb {C}}\))
with
for \(l\in \{1,2 ,3\}\) and \(j \in \{1,2\}\). Since many terms coincide in the following we simply write
As in [5] we note that the parabolicity condition [17, p. 8] is fulfilled since for any \(i=1,2,3\) we have that
where m is as in (2.11).
At the boundary we need to check the so-called complementary conditions [17, p. 11]. First of all we consider the system of boundary conditions at the junction point at \(x=0\). Here the system reads \({\mathcal {B}}u=\left( \begin{array}{c}0\\ 0\\ {\bar{b}} \end{array}\right) \) where \(u=(u^{1}, u^{2}, u^{3}) \in {\mathbb {R}}^{6}\) with \({\mathcal {B}}\) a \(6\times 6\) matrix given by
where each block entry is a \((2\times 2)\) matrix with
with all coefficients evaluated at \(x=0\). Therefore we obtain
where
with all expressions evaluated at \(x=0\). In the isotropic case \(b_{51}=b_{53}=b_{55}=0\) and \(\frac{\varphi ^{\circ }(\nu ^{i}_{0})}{|\sigma ^{i}_{x}|} = \frac{1}{|\sigma ^{i}_{x}|}\). Next note that as a function of \(\tau \) the polynomial \(L(x,t,\mathrm {i} \tau , p)\) has six roots with positive imaginary parts and six roots with negative imaginary parts provided \(Re(p) \ge 0\) and \(p \ne 0\). More precisely writing \(p= |p| e^{\mathrm {i} \theta _{p}}\) with \(-\pi /2 \leqslant \theta _{p} \leqslant \pi /2\) and \(|p|\ne 0\) we may write
with
Following [17, p. 11] we set
By [17, p. 11] the complementary condition at \(x=0\) is satisfied if the rows of the matrix
are linearly independent modulo \(M^{+}\) whereby \(p\ne 0\), \(Re (p) \ge 0\). Therefore we need to verify that if there exists \(w \in {\mathbb {R}}^{6}\) such that
then \(w=\vec {0}\). This gives the six equations
Using the fact that \(A_{i}\) and \(M^{+}\) have many factors in common, we infer that the first equation in equivalent to
where
Since \((\tau - \tau _{1}^{+})\) can not divide \(p_{1}(\tau )\) then \(\tau _{1}^{+}\) must be a root of the remaning linear factor. Reasoning in a similar way for the other five equations we obtain that w must satisfy the system
for whose determinant we compute
since \(p \ne 0\) and \(\left( \sum _{i=1}^{3} \frac{\varphi ^{\circ }(\nu ^{i}_{0})}{\sqrt{\psi (\theta ^{i}_{0})}}\right) ^{2}>0\). It follows that \(w=\vec {0}\) and the complementary condition at \(x=0\) is fulfilled. Checking the complementary condition at \(x=1\) is done in a similar way, but here computations are much simpler since \({\mathcal {B}}(x=1,t, \mathrm {i}\tau , p)\) is given by the identity matrix.
Finally we observe that at \(t=0\) the initial condition is given by the system \({\mathcal {C}}u=\sigma \) where \({\mathcal {C}}\in {\mathbb {R}}^{6\times 6}\) is the identity matrix. The complementary condition here (cf. [17, p 12]) requires that the rows of the matrix \({\mathcal {D}}(x,p)={\mathcal {C}}\cdot \hat{{\mathcal {L}}}(x,0,0,p)\) are linearly independent modulo \(p^{6}\) at each point \(x \in (0,1)\). This is readily checked.
Using (3.3), (3.4), (3.5) and the definition of the spaces \(X_{j}\) we also observe that the linear problem fulfills the compatibility conditions of order zero (cf. [17, p. 98]). Application of [17, Thm. 4.9] yields the existence of a unique solution \(u \in \prod _{j=1}^{3} C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1]; {\mathbb {R}}^{2})\) satisfying
3.2 Fixed Point Argument
Let \(u=(u^{1}, u^{2}, u^{3}) \in \prod _{j=1}^{3} C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1]; {\mathbb {R}}^{2})\) be the solution of the linear problem (LP). We would like to verify the self-map and self-contraction property of the operator \({\mathcal {R}}\) (recall (3.8)). To that end we employ (3.11).
Self-map property We need to estimate the right-hand side in (3.11). For \(j=1,2,3\) and using the definition of \(X_{j}\) as well as Lemma 6.1 we compute
Writing out the expressions of type \(\psi (\theta )\) in terms of tangents and normals (recall (2.10), (2.8)), manipulating them appropriately into products of differences (similarly to what we have done above) and application of Remark 6.1 and of Lemmas 6.1, 6.2, 6.4, 6.5, and 6.6 yields
where \(C_{1}=C_{1}(\delta , \Vert \sigma ^{j}\Vert _{C^{2+\alpha }([0,1])}, M, \Vert \varphi ^{\circ }\Vert _{C^{4}})\). Next we write
Similar considerations yield now
with \(C_{1}=C_{1}(\delta , \Vert \sigma ^{j}\Vert _{C^{2+\alpha }([0,1])}, M, \Vert \varphi ^{\circ }\Vert _{C^{3}})\). Putting all estimates together we derive from (3.11)
Hence choosing
and taking \(T<1\) so that \(3 C_{0} (C_{1}+C_{2})T^{\frac{\alpha }{2}} \leqslant M/2\) we infer that \({\mathcal {R}}\) maps \(X_{1} \times X_{2} \times X_{3}\) into itself. This will be assumed henceforth.
Contraction property Let \(u=(u^{1}, u^{2}, u^{3})={\mathcal {R}}({\bar{u}})\) and \(v=(v^{1}, v^{2}, v^{3})={\mathcal {R}}({\bar{v}}) \in \prod _{j=1}^{3} X_{j}\) be two solutions of the linear problem (LP). Set \(w=(w^{1},w^{2},w^{3})\) with \(w^{j}=u^{j}-v^{j}\), \(j=1,2,3\). Then the \(w^{j}\)’s satisfy
where \(D_{j}= \frac{\psi (\theta ^{j}_{0})}{|\sigma _{x}^{j}|^{2}}>0\) and
for \(j=1,2,3\), with boundary conditions (recall that \(\nu ^{i}_{0}= \frac{(\sigma ^{i}_{x})^{\perp }}{|\sigma ^{i}_{x}|}\) and note that here \(\psi (\theta (u))\) is given by (2.8) and (2.10) with tangent and normal vector of the curve u)
This is again a linear parabolic system and it satisfies the complementary and compatibility conditions. In particular it satisfies the Schauder-type estimate
Using the lemmas from the Appendix A, the definition of \(X_{j}\), and arguments similar to those employed in the verification of the self-map property we compute for \(j=1,2,3\)
and
where \(C=C(M, \delta ,\Vert \sigma \Vert _{C^{2+\alpha }([0,1])}, \Vert \varphi ^{\circ }\Vert _{C^{4}})\). Thus, by possibly choosing an even smaller T, we obtain
and the contraction property of \({\mathcal {R}}\) is established.
Finally application of the Banach’s fixed point theorem yields the existence of a unique map \(u \in \prod _{j=1}^{3} X_{j}\) with \(u ={\mathcal {R}}(u)\), that is a solution to (3.1), (3.2). In particular we can state the following theorem.
Theorem 3.1
Let \(P^{i} \in {\mathbb {R}}^{2}\), \(i=1,2,3\), be given points and \(\alpha \in (0,1)\). Let \(\sigma ^{i} \in C^{2+\alpha }([0,1], {\mathbb {R}}^{2})\), \(i\!=\!1,2,3\) be regular maps fulfilling the compatibility conditions (3.3), (3.4), (3.5). Then there exist \(T>0\) and unique regular maps \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\) such that (3.1), (3.2) are satisfied together with the initial conditions \(u^{i}(0, x)=\sigma ^{i}(x)\), \(x \in [0,1]\), \(i=1,2,3\).
Corollary 3.2
Let \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T] \times [0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\) be the solutions found in Theorem 3.1. Then \(u^{i} \in C^{\infty }((0,T] \times [0,1], {\mathbb {R}}^{2})\).
Proof
The instant parabolic smoothing can be shown by some standard arguments employing a cut-off function and a boot-strap argument in the same fashion as in [7, Thm 2.3].
\(\square \)
4 Maximal Solution for the Geometric Problem
We now prove existence, uniqueness and regularity of a maximal geometric solution. We first show that a geometric solution is also a solution to the special flow up to a diffeomorphism.
Lemma 4.1
Let \((u^{1}, u^{2}, u^{3})\), with \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha } ([0,T] \times [0,1], {\mathbb {R}}^{2}) \), \(i=1,2,3\), be a solution of the geometric problem (according to Definition 2.8) with tangential components \(\lambda ^{i}= u_{t}^{i} \cdot \tau ^{i}\). Then there exists a orientation preserving diffeomorphism \(\phi ^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha } ([0,T'] \times [0,1], [0,1]) \), \(i=1,2,3\), for some \(0<T'\leqslant T\), such that \(({\tilde{u}}^{1}, {\tilde{u}}^{2}, {\tilde{u}}^{3})\), with \({\tilde{u}}^{i}(t,y):= u^{i}(t, \phi ^{i}(t,y)) \in C^{\frac{2+\alpha }{2}, 2+\alpha } ([0,T'] \times [0,1], {\mathbb {R}}^{2}) \) is the solution of the Special Flow (recall Definition 2.10 and Section 3).
Proof
Since the proof of existence of \(\phi ^{i}\) is performed identically for every map \(i=1,2,3\), let us omit the index i for simplicity of notation. Note that by the assumptions on the initial data (recall Definition 2.7) we have that the anisotropic curvature (and hence the curvature and curvature vector) vanishes at \(x=1\) at time zero, that is
Moreover we have that at the junction point at time zero there holds
First of all construct a diffeomorphism \(\phi _{0}:[0,1] \rightarrow [0,1]\) such that \(\phi _{0}(0)=0\), \(\phi _{0}(1)=1\), \(\phi _{0,y}>0\) in [0, 1] and
at \(y=0,1\) (whereby recall that \(\lambda (0,1)=0\)). This can be done for instance by imposing also that \(\phi _{0,y}(y)=1\) at \(y=0,1\), and by taking a suitable perturbation (near the boundary points) of the identity map. Next, note that at a boundary point \(y =0,1\) we have
therefore by (4.1), (4.3), and (2.11) we infer that \(\frac{{\tilde{u}}_{yy}}{|{\tilde{u}}_{y}|^{2}}(0,1)=0\) that is (3.4) is fulfilled. Similarly using (4.2) and (4.3) we infer that (3.5) is also fulfilled. Since
we see that for \({\tilde{u}}\) to fulfill (2.13), we need \(\phi \) to be a solution of
(where \(\psi ({\tilde{\theta }})=\varphi ^{\circ }({\tilde{\nu }}) D^{2} \varphi ^{\circ } ({\tilde{\nu }}) {\tilde{\tau }} \cdot {\tilde{\tau }}\) with \({\tilde{\tau }}(t,y)= \tau (t, \phi (t,y))\)) together with
and
Observe that by the construction of \(\phi _{0}\) the compatibility conditions of order zero are fulfilled. Instead of solving the PDE for \(\phi \), it is convenient to work with the inverse diffeomorphism \(\eta =\eta (t,x)\), such that \(\phi (t, \eta (t,x))=x\), and derive its existence first (as proposed in [8]). Indeed we see that \(\eta \) must solve the linear PDE
together with
and
The existence of \(\eta \in C^{\frac{2+\alpha }{2}, 2+\alpha } ([0,T] \times [0,1], {\mathbb {R}}) \) follows from standard theory [17]. Possibly making the time interval smaller we can ensure that \(\eta (t, \cdot )\) is a diffeomorphism. Finally we take \(\phi (t, \cdot )= \eta ^{-1}(t, \cdot )\). \(\square \)
From Lemma 4.1, Theorem 3.1 and Corollary 3.2 we directly obtain the following result.
Theorem 4.2
Let \(\alpha \in (0,1)\), \(P^{i} \in {\mathbb {R}}^{2}\), \(i=1,2,3\), be given points and \(\sigma ^{i}\), \(i=1,2,3\), as in Definition 2.7. Then there exist \(T>0\) and regular maps \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T) \times [0,1], {\mathbb {R}}^{2})\cap C^{\infty }((0,T) \times [0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\), which solve the geometric problem with initial conditions \(u^{i}(0, x)=\sigma ^{i}(x)\), \(x \in [0,1]\), in the sense of Definition 2.8 (i.e., up to reparametrization of the given initial data). Moreover, the solutions \(u^i\) are unique up to reparametrization, that is, they parametrize a geometrically unique evolving network.
We eventually show that at the maximal existence time either the length of one curve goes to zero or the \(H^1\)-norm of the curvature blows up.
Proposition 4.3
Let T be the maximal time such that there exist solutions of the geometric problem as in Theorem 4.2, then we have
Proof
Assume by contradiction that \(L(u^i(t))\ge \delta \) and \( \Vert \kappa ^i_\varphi \Vert _{H^1(I)} \le C\), for all \(i=1,2,3\) and \(t\in [0,T)\), and for some \(\delta ,C>0\). By Lemma 6.7, for any \(\varepsilon \in (0,T)\) we can reparametrize the admissible network \(u^i(\cdot , T-\varepsilon )\), \(i=1,2,3\), in such a way that the reparametrized network \(\sigma _\varepsilon ^i\) satisfies the compatibility conditions (3.3), (3.4), (3.5) and moreover
where the constant \(C'>0\) depends only on \(\delta \) and C. Indeed, we can first reparametrize \(u^i(\cdot , T-\varepsilon )\) by constant speed. Then we notice that for the so obtained parametrization \(v^{i}\) the uniform bound on the (anisotropic) curvature yields that
For the compatibility conditions (3.3), (3.4), (3.5) to hold we need now to reparametrize \(v^{i}\) again (as explained in (4.3) with v instead of u, so that \(|v_{x}|=1/{\mathcal {L}}(v^{i})\) and \(v_{xx} \cdot v_{x}=0\)). As appropriate diffeomorphisms \(\phi ^{i}\) we take now suitable perturbations near the junction of the identity map such that \((\phi ^{i})'(0)=(\phi ^{i})'(1)=1\), \((\phi ^{i})'>0\) on [0, 1], (4.3) holds, and the \(\Vert \phi ^{i}\Vert _{C^{2,1/2}}\)-norm is uniformly bounded by a constant depending only on C, \(\delta \), \({\mathcal {L}}(u^i( T-\varepsilon ))\), and the anisotropy map (see (4.3) and recall (2.27), (2.11), Lemma 6.7). The maps \(\sigma ^{i}_{\epsilon }= v^{i}(\phi ^{i})\) satisfy the claims.
Then, by Theorem 3.1 there exist solutions \(u^i_\varepsilon \) to the special flow starting from \(\sigma _\varepsilon ^i\) at \(T-\varepsilon \), defined on the time interval \([T-\varepsilon ,T-\varepsilon +\tau )\), where \(\tau >0\) depends only on \(\delta \) and \(C'\) (in particular it is independent of \(\varepsilon \)). By choosing \(\varepsilon \) small enough we then have \(T-\varepsilon +\tau >T\). Notice that, by Lemma 4.1 (see also Corollary 3.2) there exist smooth diffeomorphisms \(\phi ^i_\varepsilon :(a,b)\times [0,1]\rightarrow [0,1]\), \((a,b) \subset (T-\varepsilon ,T)\) such that \(u_\varepsilon ^i = u^i\circ \phi ^i_\varepsilon \), \(i=1,2,3\). Let now \(\eta \in C^\infty ({\mathbb {R}})\) be such that \(0\le \eta (t)\le 1\) for all t, \(\eta (t)=0\) for \(t\le a\) and \(\eta (t)=1\) for all \(t\ge b\), with \(a<b\) and \([a,b]\subset (T-\varepsilon ,T)\), then the functions
give rise to geometric solution defined on the time interval \([0,T-\varepsilon +\tau )\), contradicting the maximality of T. \(\square \)
5 Integral Estimates and Main Result
In this section we derive integral estimates for a solution of the geometric problem (recall Section 2.3). We shall always assume that the flow is smooth up to the initial time \(t=0\), which is not restrictive in view of Theorem 4.2.
We start with a general lemma.
Lemma 5.1
Let \(u:I\rightarrow {\mathbb {R}}^{2}\) satisfy (2.12) for some smooth map \(\lambda \). Let \(S:I\rightarrow {\mathbb {R}}^{2}\) be a normal vector field along the curve u, that is \((S \cdot \tau )\equiv 0\). Then
Proof
Since
a direct computation gives
Using the expression for \(\theta _{t}\) from Lemma 2.5 we observe
and the claim follows. \(\square \)
Also we recall some useful interpolation estimates (here we cite [15, Proposition 3.11, Remark 3.12]):
Proposition 5.2
Let \(u:I\rightarrow {\mathbb {R}}^2\) be a smooth regular curve in \({\mathbb {R}}^{2}\) with finite length L, and let \(f:I\rightarrow {\mathbb {R}}\) be a smooth function. For \(p\ge 2\) we set
Then, for any \(m \ge 1\) and \(p \in [2, +\infty ]\), we have the estimates
for every \(n \in \{0, \ldots , m-1 \}\) where \(\sigma = \frac{n+1/2 -1/p}{m}\) and the constants \(C_{n,m,p}\), \(B_{n,m,p}\) are independent of u. In particular
5.1 Estimates on \(||\kappa ||_{L^{2}}\) and \(|| \kappa _{\varphi }||_{L^{2}}\)
We now apply the Lemma 5.1 for the special choice of \(S = \psi (\theta )\kappa \nu \), which is the normal component of the velocity vector. Using Lemma 2.5 we compute (here and below we write \(w^{\perp }=(w\cdot \nu ) \nu \) for the normal component of a vector \(w\in {\mathbb {R}}^{2}\))
as well as
Therefore the integral terms appearing in the right-hand side of (5.1) amount to
In particular notice that with \(S_{t} -\psi (\theta ) S_{ss}\) high order terms disappear. Equation (5.1) becomes
For the boundary term we notice that
This motivates the choice of S since at the boundary the velocity \(u_{t}\) is either zero (at the fixed boundary point) or coincides with the velocity of the other curves meeting at the triple junction. We can then lower the order of the terms at the moving boundary point by exploiting the boundary conditions. More precisely we write
which yields
Derivation in time of (2.20) gives (at the junction)
After multiplication by \(\tiny {\left( \begin{array}{cc} 0&{}-1\\ 1&{}0 \end{array} \right) }\), which rotates vectors by \(\pi /2\), we finally infer that
holds at the junction point. In particular, since \(u_{t}^{1}=u_{t}^{2}=u_{t}^{3}\) at the junction point, we infer
Summing (5.2) for every curve in the network, we therefore obtain
A more geometrical interpretation of the above expression is discussed in Remark below. Using (2.11) as well as \( C^{-1} \leqslant \varphi ^{\circ } (\nu )\leqslant C\) and \(|D\varphi ^{\circ } (\nu )|\leqslant C\) (recall that \(D\varphi ^{\circ } (\nu )\) lies on the Wulff shape) we can write
Choosing \(\epsilon =m/2\) we obtain
Next we apply interpolation estimates, under the assumption that we have a uniform control (from below) of the lengths of the curves composing the network. By Proposition 5.2 it follows
Moreover, for the boundary term we use (2.27) and Proposition 5.2 to infer
where for the last step, we have used several times the Young-inequality. Putting all estimates together and choosing \(\epsilon \) appropriately we infer
where C depends on the anisotropy (precisely (2.11), \(a_{0}\) as in (2.21), as well as \( C^{-1} \leqslant \varphi ^{\circ } (\nu )\leqslant C\) and \(|D\varphi ^{\circ } (\nu )|\leqslant C\)) and on the uniform bound from below on the lengths of the curves. Note also that so far only information of \(\lambda ^{i}\) at the boundary has played a role. Recalling that \(\kappa _{\varphi }=\frac{\psi (\theta )}{\varphi ^{\circ }(\nu )} \kappa \) and integration in time for \(0 \leqslant t_{1} < t_{2}\) yields
In particular if, for \( 0<T <\infty \), there exists a sequence of times \(t_{j} \rightarrow T\), for \(j \rightarrow \infty \), such that
then we obtain for any \( t \in [0,T)\) that
Therefore we can conclude with the following statement, that is valid for a solution to the geometric problem posed in Sect. 2.3:
Lemma 5.3
If for \( 0<T <\infty \), the lengths of the curves are uniformly bounded from below
and there exists a sequence of times \(t_{j} \rightarrow T\), for \(j \rightarrow \infty \), such that (5.5) holds, then there exists a positive constant C such that
where the constant \(C>0\) depends on \(\delta \) and \(\varphi ^{\circ }\) (namely m, M (recall (2.11)), \(a_{0}\) (recall (2.21)), \( C^{-1} \leqslant \varphi ^{\circ } (\nu )\leqslant C\) and \(|D\varphi ^{\circ } (\nu )|\leqslant C\)).
In particular, taking \(t=0\) we have
Remark 5.4
Upon recalling that \(\kappa _{\varphi }=\frac{\psi (\theta )}{\varphi ^{\circ }(\nu )} \kappa \), observe that (5.4) can also be written as
where in the integration by parts we have used the fact that the velocities and hence the curvatures vanish at the fixed boundary points. On the other hand note that
and therefore
It follows then
For the second last integral on the right-hand side note that
and so it can be nicely absorbed. It follows then
5.2 Estimates on \(||(\psi \kappa )_{ss}||_{L^{2}}\) and \(|| (\kappa _{\varphi })_{ss}||_{L^{2}}\)
Similarly to [15] (where the isotropic setting is considered) we now introduce some notation that simplifies exposition and reading. We indicate by \(p_{\sigma }(\partial _{s}^{h} (\psi \kappa ))\) a polynomial in the variables \((\psi (\theta ) \kappa ), \ldots ,\partial _{s}^{h} (\psi (\theta ) \kappa ) \) with coefficient functions \(C=C(\frac{1}{\psi }, \psi , \ldots , \partial _{\theta }^{h+1}\psi )\) that depend on \(\frac{1}{\psi }, \psi , \ldots , \partial _{\theta }^{h+1}\psi \) and such that every monomial is of the form
Note that, due to the smoothness assumptions on the anisotropy map \(\varphi ^{\circ }\) we will be able to bound uniformly from above all the coefficient maps \(C(\frac{1}{\psi }, \psi , \ldots , \partial _{\theta }^{h+1}\psi ) \), that is
For this reason we treat these maps as coefficients and refer to them as such. More precisely the maps \(C(\frac{1}{\psi }, \psi , \ldots , \partial _{\theta }^{h}\psi )\) are assumed to be sums of rational functions of type
for some \(r \in {\mathbb {N}}_{0}\) and, as a consequence, the following rule applies
which is obtained by differentiating the left-hand side and recalling that \(\theta _{s}=\kappa = \frac{1}{\psi } (\psi \kappa )\).
Similarly, we denote by \(p_{\sigma }(|\partial _{s}^{h} (\psi \kappa )|)\) a polynomial in the variables \(|\psi (\theta ) \kappa )|, \ldots ,|\partial _{s}^{h} (\psi (\theta ) \kappa )| \), with constants coefficients such that each monomial is of the form
We denote by \(q_{\sigma }(\partial _{t}^{j} \lambda , \partial _{s}^{h}(\psi \kappa ))\) a polynomial as before in \(\lambda , \ldots , \partial _{t}^{j} \lambda \) and \((\psi (\theta ) \kappa ), \ldots ,\partial _{s}^{h} (\psi (\theta ) \kappa ) \) with coefficient functions \(C=C(\frac{1}{\psi }, \psi , \ldots , \partial _{\theta }^{h+1}\psi )\) such that all its monomial are of the form
We exemplify the notation just introduced in the next lemma (which is partially the anisotropic counterpart of [15, Lemma 3.7] and) which will be used subsequently.
Lemma 5.5
For \(j=0,1,2\) we have that
In particular it follows that
Proof
Using Lemma 2.5 and (2.11) we obtain (we write \(\psi '\) for \(\partial _{\theta } \psi \) and write \(\psi \) instead of \(\psi (\theta )\) to simplify the notation)
and the claim follows for \(j=0\). Next, using again Lemma 2.5, the previous step and (5.6), we compute
The case \(j=2\) is computed analogously. The last statement follows by the definition of the polynomial \(q_{4}(\lambda _{t}, \partial _{s}^{2} (\psi \kappa ))\) and the fact that by Lemma 2.5 we can write
\(\square \)
Next we apply Lemma 5.1 to
which is a term in the normal component of \(u_{tt}\) (see (5.9) below). We have that
Moreover using Lemma 5.5 with \(j=2\), and Lemma 2.5 we can write
Therefore
and we obtain
as well as
Plugging the above expression into (5.1) yields
With help of Young inequality and using (2.11) we achieve
To treat the boundary term
it is imperative to be able to lower the order of the term with three spacial derivatives. Note that the \(\lambda \)-term is of type
To handle the term \((S \cdot S_{s})\) observe that by Lemma 2.5 and (5.7) we can write
At the fixed boundary point (that is at \(x=1\)) we have that \((\psi \kappa )= \lambda =\lambda _{t}=(\psi \kappa )_{ss}=0\) since the here \(u_{t}=u_{tt}=0\). Hence we need to treat only the boundary terms at the junction point. Here we have, using (5.9),
Concerning the term R we observe
Using Lemma 5.5 we also compute
Hence
Therefore we obtain that at the junction point we have
Next, using (5.9) and the expression derived above for \(S_{s}\), we observe that
where we have used Lemma 5.5 in the second last equality. Hence so far we have shown that
To handle the last term we use the boundary conditions: twice derivation in time of (2.20) gives (at the junction point)
Since here \(u_{tt}^{1}=u_{tt}^{2}=u_{tt}^{3}\), we obtain \(Ru_{tt}^{1}=Ru_{tt}^{2}=Ru_{tt}^{3}\) with \(R=\tiny {\left( \begin{array}{cc} 0&{}-1\\ 1&{}0 \end{array} \right) }\) which rotates vectors by \(\pi /2\), and hence (recall (5.9))
It follows that
where note that \(|D^{3}\varphi ^{\circ }(\nu ^{i}) \tau ^{i}\tau ^{i} \tau ^{i} + D^{3}\varphi ^{\circ }(\nu ^{i})\tau ^{i}\tau ^{i} \nu ^{i}| \leqslant C\). The expression above together with (5.8) and (5.10) yields
Finally we apply interpolation inequalities. Using Proposition 5.2 and Hölder inequality as demonstrated and carefully explained in [15, p.260-261] we obtain that
where the constants depend on (2.11), the anisotropy map, and the bounds of the lengths of the curves.
At the triple junction recall that we can write \(\lambda ^{i}\) in terms of \((\psi (\theta ^{j})\kappa ^{j})\) for \(j\ne i\). In particular, we have that (2.27) holds. Together with (2.28), Lemma 2.5 and Lemma 5.5 we infer that
Lemma 5.6
We have that at the junction point there holds
where C depends on the anisotropy map and where the polynomials on the right-hand side now contains derivatives of \((\psi (\theta ^{j}) \kappa ^{j})\) for the three different curves.
Using Lemma 5.6, interpolation estimates, and Hölder inequality as in [15, p. 262] we obtain
From (5.11), (5.12), (5.13), choosing \(\epsilon \) appropriately, integrating in time and using (2.11) we obtain
By Lemma 5.6, and together again with interpolation and Hölder inequalities (cp. with [15, p263]) we obtain that at the junction point we have, for any time t,
so that we finally infer
where
and C depends on (2.11), the anisotropy map, and the bound on the lengths of the curves.
Upon recalling that \(\kappa _{\varphi }=\frac{1}{\varphi ^{\circ }(\nu )} (\psi (\theta )\kappa )\) and interpolation inequalities from Proposition 5.2 we can summarize our above findings as follows:
Lemma 5.7
If for \(0< T <\infty \), the lengths of the curves of the network are uniformly bounded from below
and we have a uniform bound for the curvatures
then
hold for a solution of the geometric problem (cf. Section 2.3). The constant C depends on \(\delta \), \(C_{K}\), T, the initial data \(\Vert (\psi \kappa ^{i})_{ss}\Vert _{L^{2}}(0)\) for \(i=1,2,3\), m, M (recall (2.11)), \(a_{0}\) (recall (2.21)), and on \( C^{-1} \leqslant \varphi ^{\circ } (\nu )\leqslant C\), \(|D\varphi ^{\circ } (\nu )|\leqslant C\), \(\sup _{S^{1}}(| \psi '| + |\psi ''|+ |\psi '''|)\).
5.3 Main Result
From Lemma 5.7, Theorem 4.2 and Proposition 4.3 we finally obtain our main result on the behavior of a geometric solution at the maximal existence time.
Theorem 5.8
Let \(\alpha \in (0,1)\), \(\sigma ^{i}\) be as in Definition 2.7, and \(u^{i} \in C^{\frac{2+\alpha }{2}, 2+\alpha }([0,T) \times [0,1], {\mathbb {R}}^{2}) \cap C^{\infty } ((0,T) \times [0,1], {\mathbb {R}}^{2})\), \(i=1,2,3\), be geometric solutions (as in Theorem 4.2) defined in the maximal time interval [0, T). Then we have
References
Angenent, S.: Parabolic equations for curves on surfaces. I. Curves with \(p\)-integrable curvature. Ann. Math. (2) 132(3), 451–483 (1990)
Bellettini, G., Chambolle, A., Kholmatov, S.: Minimizing movements for forced anisotropic mean curvature flow of partitions with mobilities. Preprint (2020)
Bellettini, G., Chermisi, M., Novaga, M.: The level set method for systems of PDEs. Commun. Partial Differ. Equ. 32(7–9), 1043–1064 (2007)
Bellettini, G., Paolini, M.: Anisotropic motion by mean curvature in the context of Finsler geometry. Hokkaido Math. J. 25(3), 537–566 (1996)
Bronsard, L., Reitich, F.: On three-phase boundary motion and the singular limit of a vector-valued Ginzburg-Landau equation. Arch. Ration. Mech. Anal. 124(4), 355–379 (1993)
Chambolle, A., Novaga, M.: Existence and uniqueness for planar anisotropic and crystalline curvature flow. In Variational methods for evolving objects, vol. 67 of Adv. Stud. Pure Math. Math. Soc. Japan, 2015, pp. 87–113 (2015)
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: Elastic flow of networks: short-time existence result. To appear in J. Evol. Equ., https://doi.org/10.1007/s00028-020-00626-6
Gößwein, M., Menzel, J., Pluda, A.: Existence and uniqueness of the motion by curvature of regular networks. Preprint (2020)
Huisken, G.: Asymptotic behavior for singularities of the mean curvature flow. J. Differ. Geom. 31, 285–299 (1990)
Kim, L., Tonegawa, Y.: On the mean curvature flow of grain boundaries. Ann. Inst. Fourier 67(1), 43–142 (2017)
Lawlor, G., Morgan, F.: Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms. Pac. J. Math. 166(1), 55–83 (1994)
Magni, A., Mantegazza, C., Novaga, M.: Motion by curvature of planar networks II. Ann. Sc. Norm. Super. Pisa Cl. Sci. 15, 117–144 (2016)
Mantegazza, C.: Lecture notes on mean curvature flow. Progress in Mathematics, vol. 290. Birkhäuser/Springer Basel AG, Basel (2011)
Mantegazza, C., Novaga, M., Pluda, A., Schulze, F.: Evolution of networks with multiple junctions. Preprint (2016)
Mantegazza, C., Novaga, M., Tortorelli, V.M.: Motion by curvature of planar networks. Ann. Sc. Norm. Super. Pisa Cl. Sci. 3(2), 235–324 (2004)
Mercier, G., Novaga, M., Pozzi, P.: Anisotropic curvature flow of immersed curves. Commun. Anal. Geom. 27(4), 937–964 (2019)
Solonnikov, V.A.: Boundary Value Problems of Mathematical Physics. III. No. 83 in Proceedings of the Steklov institute of Mathematics (1965). Am. Math. Soc., Providence, R. I., (1967)
Taylor, J.E.: Motion of curves by crystalline curvature, including triple junctions and boundary points. In Differential geometry: partial differential equations on manifolds (Los Angeles, CA, 1990), vol. 54 of Proc. Sympos. Pure Math. Am. Math. Soc., Providence, RI, 1993, pp. 417–438. (1993)
Acknowledgements
MN is a member of the INDAM/GNAMPA and acknowledges partial support by the PRIN 2017 Project Variational methods for stationary and evolution problems with singularities and interfaces. HK und PP have been supported by the DFG (German Research Foundation) Projektnummer: 404870139.
Funding
Open access funding provided by Universitá di Pisa within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Appendix A. Some Useful Results
Appendix A. Some Useful Results
The following remark and the next three lemmas are a straightforward adaptation to the present setting of the lemmas presented in [7, Appendix B].
Remark 6.1
If \(v \in C^{ \frac{k+\alpha }{2}, k+\alpha }([0,T]\times [0,1])\), \(k \in {\mathbb {N}}_0\), then \(\partial _x^l v \in C^{ \frac{k-l+\alpha }{2}, k-l+\alpha }([0,T]\times [0,1])\) for all \(0 \leqslant l\leqslant k\) and
In particular at each fixed \(x \in [0,1]\) we have \(\partial _x^l v (\cdot ,x )\in C^{s,\beta }([0,T])\) with \(s =[\frac{k-l+\alpha }{2}]\) and \(\beta = \frac{k-l+\alpha }{2}-s\).
Lemma 6.1
For \(k \in {\mathbb {N}}_0\), \(\alpha ,\beta \in (0,1)\) and \(T>0\) we have
-
1.
if \(v,w \in C^{\frac{k+\alpha }{2},k+\alpha }([0,T]\times [0,1])\), then
$$\begin{aligned} \Vert v w \Vert _{C^{\frac{k+\alpha }{2},k+\alpha }} \leqslant C \Vert v \Vert _{C^{\frac{k+\alpha }{2},k+\alpha }} \Vert w \Vert _{C^{\frac{k+\alpha }{2},k+\alpha }} \, , \end{aligned}$$with \(C=C(k)>0\);
-
2.
if \(v\in C^{\frac{\alpha }{2},\alpha }([0,T]\times [0,1])\), \(v(t,x)\ne 0\) for all (t, x), then
$$\begin{aligned} \Big \Vert \frac{1}{v} \Big \Vert _{C^{\frac{\alpha }{2},\alpha }} \leqslant \Big \Vert \frac{1}{v} \Big \Vert ^2_{C^{0}([0,T]\times [0,1])} \Vert v \Vert _{C^{\frac{\alpha }{2},\alpha }} \, . \end{aligned}$$
Similar statements are true for functions in \(C^{k+\beta }([0,T])\) and \(C^{k+\beta }([0,1])\).
Lemma 6.2
For \(n \in {\mathbb {N}}\), \(k \in {\mathbb {N}}_0\), \(\alpha ,\beta \in (0,1)\) and \(T>0\) we have
-
1.
if a vector-field \(v\in C^{\frac{\alpha }{2},\alpha }([0,T]\times [0,1];{\mathbb {R}}^n)\), then
$$\begin{aligned} \Vert \, |v|\, \Vert _{C^{\frac{\alpha }{2},\alpha }} \leqslant C \Vert v \Vert _{C^{\frac{\alpha }{2},\alpha }} \, , \end{aligned}$$with \(C=C(n)\).
-
2.
for \(v, w\in C^{\frac{\alpha }{2},\alpha }([0,T]\times [0,1];{\mathbb {R}}^n)\) we have
$$\begin{aligned} \Vert \, |v|- |w|\, \Vert _{C^{\frac{\alpha }{2},\alpha }} \leqslant C \left\| \frac{1}{|v|+|w|} \right\| ^{2}_{C^{0} ([0,T]\times [0,1])} (\Vert v \Vert _{C^{\frac{\alpha }{2},\alpha }} + \Vert w\Vert _{C^{\frac{\alpha }{2},\alpha }} )^{2} \Vert v-w \Vert _{C^{\frac{\alpha }{2},\alpha }} \end{aligned}$$
with \(C=C(n)\). Similar statements are true for functions in \(C^{k+\beta }([0,T])\) and \(C^{k+\beta }([0,1])\).
Lemma 6.3
Let \(T<1\) and \(v \in C^{ \frac{2+\alpha }{2}, 2+\alpha }([0,T]\times [0,1])\) such that \(v(0,x)= 0\), for any \(x \in [0,1]\) then
for all \(l,m \in {\mathbb {N}}_0\) such that \(l+m<2\). Here \(\beta =\max \{ \frac{1-\alpha }{2}, \frac{\alpha }{2} \} \in (0,1)\); more precisely if \(l= 1\) then \(\beta =\frac{\alpha }{2}\).
In particular, for each \(x \in [0,1]\) fixed
for all \(l,m \in {\mathbb {N}}_0\) such that \(l+m<2\).
Next we provide a list of results that are useful in the contraction argument in the proof of the short-time existence. In the following lemma we use that, given \(\sigma ^{i} \in C^{2+\alpha }([0,1])\), then \(\sigma ^{i} \in C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])\) by extending it as a constant function in time. For the definition of \(X_{i}\), \(\delta \) and T recall (3.6) and (3.7) and the remarks in between.
Lemma 6.4
Let \(\sigma ^{i} \in C^{2+\alpha }([0,1])\) and \({\bar{u}}^{i}, {\bar{v}}^{i} \in X_i\). Then we have that
for some universal constant C. Moreover, for \(T<1\) we have that
with \(C= C(\delta )\). Furthermore, for \(m \in {\mathbb {N}}\) we have
for any \(x \in [0,1]\) and with \(C=C(m,\delta , \Vert {\bar{u}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])}, \Vert \sigma ^{i} \Vert _{C^{2+\alpha }([0,1])})\) as well as
again for \(x \in [0,1]\) and with \(C=C(m,\delta , \Vert {\bar{u}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])}, \Vert {\bar{v}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])})\).
Proof
It follows by an adaptation to the present setting of [7, Lemma 3.1] and [7, Lemma 3.4] using Remark 6.1 and the Lemmas 6.1, 6.2, 6.3 stated above. \(\square \)
Lemma 6.5
Let \(\sigma ^{i} \in C^{2+\alpha }([0,1])\), \({\bar{u}}^{i}, {\bar{v}}^{i} \in X_i\), \(T<1\) and \(x \in [0,1]\). Then we have
with \(C=C(\delta , \Vert {\bar{u}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])}, \Vert \sigma ^{i} \Vert _{C^{2+\alpha }([0,1])})\). Similarly
with \(C=C(\delta , \Vert {\bar{u}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])}, \Vert {\bar{v}}^{i} \Vert _{C^{\frac{2+\alpha }{2},2+\alpha }([0,T]\times [0,1])} )\).
Proof
It follows by writing every equation in the form
and using the previous Lemmas 6.1, 6.2, 6.4. \(\square \)
Lemma 6.6
Let \(h:{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a smooth map and \(u,v \in C^{\frac{\alpha }{2},\alpha }([0,T]\times [0,1])\). Then
where C depends on the \(C^{1}\)-norm of h evaluated on the compact set \(K_{1}=u([0,T] \times [0,1])\). Similarly, we have
where C depends on the \(C^{2}\)-norm of h evaluated on the compact set
where conv(E) denotes the convex envelope of a set \(E\subset {\mathbb {R}}^2\).
Proof
By definition of the norm we have that
so that, using the mean value theorem, we infer that
and the first statement follows. The second statement is derived in a similar way. For instance, to estimate \([h(u)-h(v)]_{\alpha ,x}\) we compute
\(\square \)
We conclude the Appendix with a repametrization result used in the proof of Proposition 4.3.
Lemma 6.7
Let \(\mu \in {\mathbb {R}}\) and \(\gamma :[0,L]\rightarrow {\mathbb {R}}^2\) of class \(H^3\), with \(|\gamma '(x)|=1\) for all \(x\in [0,L]\). We claim that there exist \(C=C(L,\mu , \Vert \gamma \Vert _{H^3})>0\) and a parametrization \(\phi :[0,L]\rightarrow [0,L]\) such that, letting \({{\tilde{\gamma }}} = \gamma \circ \phi \), it holds
Proof
Let \(\delta = \min (L/2,1/(2|\mu |))\) and fix a smooth function \(f:[0,L]\rightarrow {\mathbb {R}}\) such that \(|f|\le |\mu |\), \(f(0)=\mu \), \(f=0\) in \([\delta ,L]\) and \(\int _0^L f =0\). We then set \(\phi (x)=x+h(x)\), with
We then have
so that \(h'(0)=0\), \(h'(L)=0\), \(h''(0)=f(0)=\mu \), \(h''(L)=f(L)=0\) and
Finally we have \(\Vert \phi \Vert _{C^{2+1/2}([0,L])}\le C(L,\Vert f\Vert _{C^\frac{ 1}{2}([0,L])})\), and the curve \({{\tilde{\gamma }}}= \gamma \circ \phi \) satisfies the required properties. \(\square \)
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
Kröner, H., Novaga, M. & Pozzi, P. Anisotropic Curvature Flow of Immersed Networks. Milan J. Math. 89, 147–186 (2021). https://doi.org/10.1007/s00032-021-00329-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00032-021-00329-8