Abstract
We consider a curve with boundary points free to move on a line in \({{{\mathbb {R}}}}^2\), which evolves by the \(L^2\)-gradient flow of the elastic energy, that is, a linear combination of the Willmore and the length functional. For this planar evolution problem, we study the short and long-time existence. Once we establish under which boundary conditions the PDE’s system is well-posed (in our case the Navier boundary conditions), employing the Solonnikov theory for linear parabolic systems in Hölder space, we show that there exists a unique flow in a maximal time interval [0, T). Then, using energy methods we prove that the maximal time is \(T= + \infty \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we consider the geometric evolution of a curve with a partially free boundary. To be more precise, we consider the gradient flow of the elastic energy under the constraint that the boundary points of the curve have to remain attached to the x-axis.
This paper fits within the broad range of topics on the geometric evolution of curves and surfaces, where the evolution law is dictated by functions of curvature. These topics have recently gained increasing attention from the mathematical community due to their applications to various physical problems and the fascinating challenges they present in analysis and geometry.
The elastic energy of a curve is a linear combination of the \(L^2\)-norm of its curvature \(\varvec{\kappa }\) (also known as one-dimensional Willmore functional) and its weighted length, namely
where \(\mu >0\).
Before passing to the evolutionary problem, we say a few words about the critical points of the energy \(\mathcal {E}\), known as elasticae or elastic curves. As explained in [48], elasticae have been studied since the time of Bernoulli and Euler, who used elastic energy as a model for the bending energy of elastic rods. Still later, Born, in his Thesis of 1906, plotted the first figures of elasticae, using numerical schemes. However, in the last decades, many authors contribute to their classification, for instance, we refer to Langer and Singer [26, 27], Linnér [30], Djondjorov et al. [18] and Langer and Singer [28], Bevilacqua, Lussardi and Marzocchi [9], the same authors with Ballarin [8], for the case of a functional which depends both on the curvature and the torsion of the curve. More recently, Miura and Yoshizawa in a series of papers [36,37,38], give a complete classification of both clamped and pinned p-elasticae.
In this paper, we aim to study the \(L^2\)-gradient flow of \(\mathcal {E}\). To the best of our knowledge, the problem was introduced by Polden in his PhD Thesis [43], where it is shown that given as initial datum a smooth immersion of the circle in the plane, then there exists a smooth solution to the gradient flow problem for all positive times which sub-converges to an elastica. Then, Dziuk, Kuwert and Schätzle generalized the global existence and sub-convergence result to \({{{\mathbb {R}}}}^n\) and derived an algorithm to treat the flow and compute several numerical examples. Later, the evolution of elastic curves has been extended and studied in detail both for closed curves (see for instance [19, 33, 43, 44]) as well as for open curves with Navier boundary conditions in [39, 40] and clamped boundary conditions in [16, 29, 40, 47]. We also recall that a slightly different problem was tackled, among others, by Wen in [49] and by Rupp and Spener in [45], where the authors analyzed the elastic flow of curves with a nonzero rotation index and clamped boundary conditions respectively, which are in both cases subject to fix length and in [25, 41, 42] where a variety of constraints are considered. For the sake of completeness, we also mention that the \(L^2\)-gradient flow of \(\int _{\gamma }\vert \varvec{\kappa }\vert ^2 {\,\textrm{d} }s \) for curve subjected to fix length is studied in [12, 13, 19], indeed other fourth (or higher) order flows are analyzed, for instance, in [1, 2, 15, 34, 35, 50, 51]. Finally, we mention the survey [32] for a complete review of the literature and we recommend all the references therein.
As already said, in this paper, we let evolve a curve supposing that it remains attached to the x-axis. To derive the flow, we start by writing the associated Euler–Lagrange equations and in particular we find suitable “natural” boundary conditions for this problem (these boundary conditions are known in the literature as Navier conditions). We thus get that the evolution can be described by solutions of a system of quasilinear fourth order with boundary conditions in (2.7), namely the attachment condition, second and third order conditions. We then introduce a class of admissible initial curves of class \(C^{4+\alpha }\) with \(\alpha \in (0,1)\) which needs to be non-degenerate, in the sense that the y-component of the unit tangent vector must be positive at boundary points, and satisfy (in addition to the conditions mentioned above) an extra fourth order condition (see Definition 2.2).
Then, we establish well-posedness of the flow. More precisely, starting with a (geometrically) admissible initial curve we prove in Theorem 3.14 that there exists a unique (up to reparametrization) solution to the flow in a small time interval [0, T] with \(T>0\), that can be described by a parametrization of class \(C^{{\frac{4+\alpha }{4}},4} ([0, T ] \times [0, 1])\).
To do so, we choose a specific tangential velocity turning the system (2.9) into a non-degenerate parabolic boundary value problem without changing the geometric nature of the evolution (namely the analytic problem (3.2)). Then, we solve the analytic problem using a linearization procedure and a fixed point argument. The main difficulty is actually to solve the associated linear system (3.5), coupled with extra compatibility conditions (see Definition 3.4), employing the Solonnikov theory for linear parabolic systems in Hölder space introduced in [46], as it is shown in Theorem 3.5.
Once we have a solution for the analytic problem, the key point is to ensure that solving (3.2) is enough to obtain a unique solution to the original geometric problem. This is shown in Theorem 3.14, following the approach presented in [20] and later in [21].
The second natural step is trying to understand the long-time behavior of the evolving curves. This leads to our main result.
Theorem 1.1
Let \(\gamma _0\) be a geometrically admissible initial curve and \(\gamma _t\) be a solution to the elastic flow with initial datum \(\gamma _0\) in the maximal time interval [0, T) with \(T \in (0, \infty ) \cup \{\infty \}\). Then, up to reparametrization and translation of \(\gamma _t\), it follows
or at least one of the following holds
-
the inferior limit of the length of \(\gamma _t\) is zero as \( t \rightarrow T\);
-
the inferior limit of the y-component of the unit tangent vector at the boundary is zero as \( t \rightarrow T\).
Even though the structure of the proof of this result is based on a contradiction argument already present in the literature (see for instance [14, 19, 22, 32, 43]) this is the most technical part of the paper and it contains relevant novelties.
We find energy type inequalities, more precisely bounds on the \(L^2\)-norm of the second and sixth derivative of the curvature, which leads to contradicting the finiteness of T. Those estimates, which involved the smallest number of derivatives, can be derived under the assumption that during the evolution the length is uniformly bounded away from zero and that the curve remains non-degenerate in a uniform sense (see Definition 4.4).
Moreover, we underline that only estimates for geometric quantities, namely the curvature, are needed. In particular, the proof itself is independent of the choice of tangential velocity which corresponds to the very definition of the flow, where only the normal velocity is prescribed. For this reason, following [14], we reparametrize the flow in such a way that the tangential velocity linearly interpolates its values at boundary points (see condition (4.13)) and such that suitable estimates both inside and at boundary points hold. With this choice and the uniform bounds for the curvature, we can extend the flow smoothly up to the time T given by the short-time existence result and then restart the flow, contradicting the maximality of T.
In short, our approach combines the one presented in [14] and the other in [22], in the sense that we choose a tangential velocity as explained above and we use the minimum number of derivatives (and hence of estimates) which are needed to conclude the proof of Theorem 1.1.
This work is organized as follows: in the next section we formulate the geometric evolution problem for elastic curves and we show that those curves decrease the energy \(\mathcal {E}\). In Section 3 we show short-time existence of a unique smooth solution using the Solonnikov theory and a contraction argument. We also show geometric uniqueness. In the final Section 5, we prove the long-time existence result using the curvature bounds provided in Section 4.
2 The elastic flow
2.1 Preliminary definitions and notation
A regular curve is a continuous map \(\gamma : [a,b] \rightarrow {{{\mathbb {R}}}}^2\) which is differentiable on (a, b) and such that \(\vert \partial _x\gamma \vert \) never vanishes on (a, b). Without loss of generality, from now on we consider \([a,b]=[0,1]\).
We denote by s the arclength parameter, then \(\partial _s:=\frac{1}{\vert \partial _x\gamma \vert }\partial _x\) and \({\,\textrm{d} }s:= \vert \partial _x\gamma \vert {\,\textrm{d} }x\) are the derivative and the measure with respect to the arclength parameter of the curve \(\gamma \), respectively.
From now on, we will pass to the arclength parametrization of the curves without further comments.
If we assume that \(\gamma \) is a regular planar curve of class at least \(C^1\), we can define the unit tangent vector \(\tau =\vert \partial _x\gamma \vert ^{-1} \partial _x\gamma \) and the unit normal vector \(\nu \) as the anticlockwise rotation by \(\pi /2\) of the unit tangent vector.
We introduce the operator \(\partial _s^\perp \) that acts on vector fields \(\varphi \) defined as the normal component of \(\partial _s\varphi \) along the curve \(\gamma \), that is \(\partial _s^\perp \varphi =\partial _s\varphi -\left\langle \partial _s\varphi ,\partial _s\gamma \right\rangle \partial _s\gamma \). Moreover, for any vector \(\psi (\cdot ) \in {{{\mathbb {R}}}}^2\), we use the notation (\(\psi (\cdot )_1\),\(\psi (\cdot )_2)\) to denote the projection on the x-axis and y-axis, respectively.
Let \(\mu >0\). Assuming that \(\gamma \) is of class \(H^2\), we denote by \(\varvec{\kappa } = \partial _s\tau \) the curvature vector and we define the elastic energy with a length penalization
Denoting by k the oriented curvature, by means of relation \(\varvec{\kappa }= k \nu \) which holds in \({{{\mathbb {R}}}}^2\), the energy functional can be equivalently written as
2.2 Formal derivation of the flow
Let \(\gamma :[0,1]\rightarrow {\mathbb {R}}^2\) be a regular curve of class \(H^2\). We consider a variation \(\gamma _\varepsilon =\gamma +\varepsilon \psi \) with \(\varepsilon \in {\mathbb {R}}\) and \(\psi :[0,1]\rightarrow {\mathbb {R}}^2\) of class \(H^2\), which is regular whenever \(\vert \varepsilon \vert \) is small enough. By direct computations (see [33], for instance) we get the first variation of \(\mathcal {E}\), that is
We say that a regular curve \(\gamma \) of class \(H^2\) is a critical point of \(\mathcal {E}\) if for any \(\psi \) its first variation vanishes.
Lemma 2.1
(Euler–Lagrange equations) Let \(\gamma :[0,1]\rightarrow {\mathbb {R}}^2\) be a critical point of \(\mathcal {E}\) parametrized proportional to arclength. Then, \(\gamma \) is smooth and satisfies
in (0, 1). Moreover, if the endpoints are constrained to the x-axis, the following Navier boundary conditions are fulfilled
for \(y\in \{0,1\}\).
Proof
By a standard bootstrap argument, one can show that critical points of \(\mathcal {E}\) are actually smooth (for the reader’s convenience a proof of this fact is given in Proposition 5.3 in the appendix). Hence, integrating by parts the expression (2.2), we have
Since \(\gamma \) is critical, from formula (2.3) we immediately get
and
We now recall that
Hence, from \(\varvec{\kappa }= k \nu \) and the Serret-Frenet equation in the plane, that is
the boundary terms in (2.4) reduce to
The fact that the endpoints must remain attached to the x-axis affects the class of test functions: we can only consider variations \(\gamma _\varepsilon =\gamma +\varepsilon \psi \) with
Now, letting first \(\psi (0)_1 =\psi (1)_1= 0\), it remains the boundary term
where the test functions \(\psi \) appear differentiated. So, we can choose a test function \(\psi \) such that
and we get \(k(0)=0\). Then, interchanging the role of \(\partial _s \psi (0)\) and \(\partial _s \psi (1)\), we have \(k(1)=0\).
It remains to consider the last term
Taking into account the condition \(k(0)=k(1)=0\), by arbitrariness of \(\psi \) the term is zero if
for \(y \in \{0,1\}\). \(\square \)
The previous lemma allows us to formally define the elastic flow of a curve with endpoints constrained to the x-axis coupling the motion equation
with the following Navier boundary conditions
for \(y \in \{0,1\}\).
2.3 Definition of the geometric problem
In this section, we briefly introduce the parabolic Hölder spaces (see [46] for more details).
Given a function \(u:[0,T]\times [0,1]\rightarrow {\mathbb {R}}\), for \(\rho \in (0,1)\) we define the semi-norms
and
Then, for \(l\in \{0,1,2,3,4\}\) and \(\alpha \in (0,1)\), the parabolic Hölder space
is the space of all functions \(u:[0,T]\times [0,1]\rightarrow {\mathbb {R}}\) that have continuous derivatives \(\partial _t ^i\partial _x^ju\) where \(i,j\in {\mathbb {N}}\) are such that \(4i+j\le l\) for which the norm
is finite. Moreover, the space \(C^{\frac{\alpha }{4},\alpha }\left( [0,T]\times [0,1]\right) \) coincides with the space
with equivalent norms.
Definition 2.2
(Admissible initial curve) A regular curve \(\gamma _0:[0,1] \rightarrow {{{\mathbb {R}}}}^2\) is an admissible initial curve for the elastic flow if
-
1.
it admits a parametrization which belongs to \(C^{4+\alpha }([0,1], {{{\mathbb {R}}}}^2)\) for some \(\alpha \in (0,1)\);
-
2.
it satisfies the Navier boundary conditions in (2.7): attachment, curvature and third order conditions;
-
3.
it satisfies the non-degeneracy condition, that is, there exists \(\rho > 0\) such that
$$\begin{aligned} (\tau _0(y))_2 \ge \rho \qquad \text {for}\,\, y \in \{0,1\} \,. \end{aligned}$$(2.8) -
4.
it satisfies the following fourth order condition
$$\begin{aligned} ((-2\partial _s^2k_0(y)-k_0^3(y)+k_0(y))\nu _0(y))_2=0 \qquad \text {for}\,\, y \in \{0,1\} \,. \end{aligned}$$
Definition 2.3
(Solution of the geometric problem) Let \(\gamma _0\) be an admissible initial curve as in Definition 2.2 and \(T>0\). A time-dependent family of curves \(\gamma _t\) for \({t\in [0,T]}\) is a solution to the elastic flow with initial datum \(\gamma _0\) in the maximal time interval [0, T], if there exists a parametrization
with \(\gamma \) regular and such that for every \(t\in [0,T], x\in [0,1]\) the system
coupled with boundary conditions (2.7), is satisfied.
Remark 2.4
The motion equation in (2.9) follows from (2.6), using Serret-Frenet equation (2.5) and recalling that
Remark 2.5
Observe that the formulation of the problem given so far involves purely geometric quantities and hence it is invariant under reparametrizations. Thus, given a solution \(\gamma \) of (2.9), any reparametrization of \(\gamma \) still satisfies system (2.9).
Remark 2.6
As the authors pointed out in [32], in system (2.9) only the normal component of the velocity is prescribed. This does not mean that the tangential velocity is necessarily zero. Indeed, we can equivalently write the motion equations as
where \(V=-2\partial _ s^2 k-k^3+\mu k\) and \(\Lambda \) is some at least continuous function.
2.4 Energy monotonicity
In Proposition 2.8 we show that the energy of an evolving curve decreases in time, adapting the proof of [32, Proposition 2.20].
Lemma 2.7
If \(\gamma \) satisfies (2.10), the commutation rule
holds and the measure \({\,\textrm{d} }s\) evolves as
Moreover the unit tangent vector, unit normal vector, and the j-th derivatives of scalar curvature of \(\gamma \) satisfy
Proof
The proof of the lemma is obtained by direct computations, we refer for instance to [32, Lemma 2.19]. \(\square \)
Proposition 2.8
Let \(\gamma _t\) be a solution to the elastic flow in the sense of Definition 2.3. Then
Proof
Using the evolution laws collected in Lemma 2.7, we get
Integrating twice by parts the term \(\int _{\gamma } 2k\partial _s^2V {\,\textrm{d} }s \) we obtain
It remains to show that the contribution of the boundary term in (2.14) is zero, once we assume that Navier boundary conditions hold.
Since \(k(y)=0\) for \(y\in \{0,1\}\), we only need to show that
From \(\gamma (y)= (\gamma _1 (y),0)\), using relation (2.7) we obtain
where \(y \in \{ 0,1 \}\). \(\square \)
3 Short-time existence
In this section we show that, fixed an admissible initial curve, there exists a maximal existence time T. To do so, we find a unique solution to the associated analytic problem defined in (3.2) using a standard linearization procedure. More precisely, we use Solonnikov theory (see [46]) to prove the well-posedness of the linearized system and then we conclude with a fixed point argument. Then, a key point is to ensure that solving the analytic problem is enough to obtain a solution to the geometric problem (2.9) and that the solution of (2.9) is unique up to reparametrization.
3.1 Definition of the analytic problem
Let \(T>0\) and \(\alpha \in (0,1)\). Let us consider a time-dependent family of curves parametrized by a map \(\gamma \in C^{\frac{4+\alpha }{4},4+\alpha }([0,T]\times [0,1])\).
We compute the normal velocity of such moving curves in terms of the parametrization (see [21] for more details), that is
We now aim to use a well-known technique, which was introduced for the first time by DeTurck in [17] for the Ricci flow and then has been employed in a large variety of situations (see for instance [14, 22, 32]).
More precisely, we choose as tangential velocity the function
turning (2.10) into a non-degenerate equation
Moreover, we specify another tangential condition
and we notice that this together with the curvature condition, is equivalent to the second order condition
From now on, we identify the curve with its parametrization without further comments.
Definition 3.1
(Admissible initial parametrization) A map \(\gamma _0:[0,1] \rightarrow {{{\mathbb {R}}}}^2\) is an admissible initial parametrization if
-
1.
it belongs to \(C^{4+\alpha }([0,1], {{{\mathbb {R}}}}^2)\) for some \(\alpha \in (0,1)\);
-
2.
it satisfies the Navier boundary conditions in (2.7): attachment, curvature and third order conditions;
-
3.
it satisfies the non-degeneracy condition (2.8);
-
4.
it satisfies the following fourth order condition
$$\begin{aligned} \left( V(0,y)\nu _0(y)+\widetilde{\Lambda } (0,y) \tau _0(y) \right) _2=0 \qquad \text {for} y \in \{0,1\}, \end{aligned}$$where \(\nu _0\), \(\tau _0\) are the normal and tangent unit vectors to \(\gamma _0\).
In the following, we refer to conditions \((2)-(4)\) in Definition 3.1 as compatibility conditions.
Definition 3.2
(Solution of the analytic problem) Let \(\gamma _0\) be an admissible initial parametrization as in Definition 3.1. A time-dependent parametrization \(\gamma _t\) for \({t\in [0,T]}\) is a solution to the analytic elastic flow with initial datum \(\gamma _0\) in the time interval [0, T] with \(T>0\), if
with \(\gamma \) regular and such that for every \(t\in [0,T], x\in [0,1]\) and \(y \in \{0,1\}\), satisfies the system
3.2 Linearization
This section is devoted to proving the existence and uniqueness of solutions to the linearized system associated to (3.2). To do so, we show that the linearized system can be solved using the general theory introduced by Solonnikov in [46].
We highlight that in this section we follow closely [21]. More precisely, we adapt the arguments developed for networks in [21, Section 3.3.2 and Section 3.3.3], to the case of one curve with endpoints constrained to the x-axis.
We linearize the highest order terms of the motion equation (3.1) around the initial parametrization \(\gamma _0\) and we obtain
Then, after noticing that the attachment condition and the second order condition are already linear, we linearize the highest order terms of the third order condition, that is
Thus, the linearized system associated to (3.2) is given by
where f, b are defined in (3.3), (3.4) and we have omitted the dependence on \((t,x)\in [0,T]\times [0,1]\) in the motion equation, on \((t,y)\in [0,T]\times \{0,1\}\) in the boundary conditions and on \(x\in [0,1]\) in the initial condition.
Remark 3.3
Replacing the right-hand side of system (3.5) with \((f,b,\psi )\), we get the general system
where \(f\in C ^{\frac{\alpha }{4},{^{\alpha }}}([0,T]\times [0,1],{\mathbb {R}}^2)\), \((b(\cdot , 0),b(\cdot ,1))\in C ^{\frac{1+\alpha }{4}}([0,T], {{{\mathbb {R}}}}^2)\) and \(\psi \in C^{4+\alpha }\left( [0,1],{\mathbb {R}}^2\right) \).
Definition 3.4
[Linear compatibility conditions] Let (f, b) be a given right-hand side to the linear system (3.6). A function \(\psi \in C^{4+\alpha }\left( [0,1],{\mathbb {R}}^2\right) \) satisfies the linear compatibility conditions with respect to (f, b) if for \(y\in \{0,1\}\) there hold
Theorem 3.5
Let \(\alpha \in (0,1)\) and let \(T>0\). Suppose that
-
\(f\in C ^{\frac{\alpha }{4},{^{\alpha }}}([0,T]\times [0,1],{\mathbb {R}}^2)\);
-
\((b(\cdot , 0),b(\cdot ,1))\in C ^{\frac{1+\alpha }{4}}([0,T], {{{\mathbb {R}}}}^2)\,\);
-
\(\psi \in C^{4+\alpha }\left( [0,1],{\mathbb {R}}^2\right) \);
-
\(\psi \) satisfies the linear compatibility conditions in Definition 3.4 with respect to (f, b).
Then, the linearized problem (3.6) has a unique solution \(\gamma \in C ^{\frac{4+\alpha }{4},{^{4+\alpha }}}([0,T]\times [0,1],{\mathbb {R}}^2)\).
Moreover, for all \(T>0\) there exists a \(C(T)>0\) such that the solution satisfies
Proof
To show the result we have to prove that system (3.6) satisfies all the hypothesis of the general [46, Theorem 4.9].
Using the notation of [46], we write \(\gamma =(u,v)\) and we denote by b, r, respectively, the number of boundary and initial conditions which in our case are \(b=2\), \(r=2\).
Moreover, we write the motion equation in the form
where the \(2 \times 2\) matrix \({\mathcal {L}}\) is given by
and the vector \(f= (f^1, f^2)\) is the right-hand side of motion equation in system (3.6).
-
We firstly show that system (3.7) satisfies the parabolicity condition [46, page 8]. As in [46], we call \(\mathcal {L}_0\) the principal part of the matrix \({\mathcal {L}}\) and we choose the integers \(s_k,t_j\) in [46, page 8] as follows: \(s_k=4\) for \(k \in \{1,2\}\) and \(t_j=0\) for \(j \in \{1,2\}\). Hence, we have \(\mathcal {L}_0=\mathcal {L}\) and its determinant
$$\begin{aligned} \textrm{det}\mathcal {L}_0(x,t,i\xi ,p)= \left( \frac{2}{\vert \partial _x\gamma _0 \vert }\xi ^4+p\right) ^2 \end{aligned}$$is a polynomial of degree two in p with one root
$$\begin{aligned} p=-\frac{2}{\vert \partial _x\gamma _0 \vert ^4}\xi ^4 \end{aligned}$$of multiplicity two. Then, choosing \(\delta \le \frac{2}{\vert \partial _x\gamma _0 \vert ^4} \), the conditions of [46, page 8] are satisfied and the system is parabolic in the sense of Solonnikov.
-
As it is shown in [52, pages 11-15], the compatibility condition at boundary points stated in [46, page 11] is equivalent to the following Lopatinskii-Shapiro condition, which we check only for \(y=0\) (the case \(y=1\) can be treated analogously). Let \(\lambda \in {\mathbb {C}}\) with \( \Re (\lambda )>0\) be arbitrary. The Lopatinskii-Shapiro condition at y is satisfied if every solution \(\gamma \in C^4([0,\infty ),{\mathbb {C}}^2)\) to the system of ODEs
$$\begin{aligned} {\left\{ \begin{array}{ll} \lambda \gamma (x)+\frac{1}{\vert \partial _x\gamma _0 \vert ^4}\partial _x^4 \gamma (x)=0\\ \gamma (y)_2=0 \\ \partial _x^2 \gamma (y)=0 \\ \left( \frac{1}{\vert \partial _x\gamma _0 \vert ^3} \left\langle \partial _x^3\gamma (y),\nu _0(y)\right\rangle \nu _0(y)\right) _1=0 \\ \end{array}\right. } \end{aligned}$$(3.8)where \(x \in [0,\infty )\), which satisfies \(\lim _{x\rightarrow \infty }|\gamma (x)|=0\), is the trivial solution. To do so, we consider a solution \(\gamma \) to (3.8) such that \(\lim _{x\rightarrow \infty }|\gamma (x)|=0\). We test the motion equation by \(\vert \partial _x\gamma _0\vert \left\langle \overline{\gamma }(x),\nu _0\right\rangle \nu _0\) and we integrate twice by part to get
$$\begin{aligned} 0=&\lambda \vert \partial _x\gamma _0\vert \int _0^\infty \vert \left\langle \gamma (x), \nu _0\right\rangle \vert ^2 \,\textrm{d}x +\frac{1}{\vert \partial _x\gamma _0\vert ^3} \int _0^\infty \vert \left\langle \partial _x^2 \gamma (x),\nu _0\right\rangle \vert ^2\,\textrm{d}x \nonumber \\&+\frac{1}{\vert \partial _x\gamma _0\vert ^3}\left\langle \overline{\gamma }(0),\nu _0\right\rangle \left\langle \partial _x^3 \gamma (0),\nu _0 \right\rangle -\frac{1}{\vert \partial _x\gamma _0\vert ^3} \left\langle \overline{\partial _x\gamma }(0),\nu _0\right\rangle \left\langle \partial _x^2 \gamma (0),\nu _0 \right\rangle \,, \end{aligned}$$(3.9)where we have already used the fact that all derivatives decay to zero for x tending to infinity, due to the specific exponential form of the solutions to (3.8). We now observe that, since \(\gamma _0\) is an admissible initial parametrization, the first component of \(\nu _0\) is bounded from below. That is, from the third order condition in system (3.8) it follows that \(\left\langle \partial _x^3 \gamma (0),\nu _0 \right\rangle =0\). Thus, this condition together with the second order condition implies that the boundary terms in (3.9) vanish. Then, taking the real part of (3.9) and recalling that \( \Re (\lambda )>0\), we have \(\left\langle \gamma (x),\nu _0 \right\rangle =0\) for all \(x \in [0, \infty )\). In particular, from the attachment condition in (3.8), it follows that \(\gamma (0)=0\). As before, testing the motion equation by \(\vert \partial _x\gamma _0\vert \left\langle \overline{\gamma }(x),\tau _0\right\rangle \tau _0\) and integrating by part, we get
$$\begin{aligned} 0=&\lambda \vert \partial _x\gamma _0\vert \int _0^\infty \vert \left\langle \gamma (x), \tau _0\right\rangle \vert ^2 \,\textrm{d}x +\frac{1}{\vert \partial _x\gamma _0\vert ^3} \int _0^\infty \vert \left\langle \partial _x^2 \gamma (x),\tau _0\right\rangle \vert ^2\,\textrm{d}x\nonumber \\&+\frac{1}{\vert \partial _x\gamma _0\vert ^3}\left\langle \overline{\gamma }(0),\tau _0\right\rangle \left\langle \partial _x^3 \gamma (0),\tau _0 \right\rangle -\frac{1}{\vert \partial _x\gamma _0\vert ^3} \left\langle \overline{\partial _x\gamma }(0),\tau _0\right\rangle \left\langle \partial _x^2 \gamma (0),\tau _0 \right\rangle \,. \end{aligned}$$(3.10)The boundary terms in (3.10) vanishe since \(\gamma (0)=0\) and the second order condition holds. Hence, considering again the real part of (3.10) we have that \(\left\langle \gamma (x), \tau _0\right\rangle =0\) for all \(x \in [0,\infty ).\) So, we conclude that \(\gamma (x)=0\) for all \(x \in [0,\infty )\).
-
Finally, to check the complementary condition for the initial datum stated in [46, page 12], we observe that the \(2\times 2\) matrix \([C_{\alpha j}]\) is the identity matrix. Then, choosing \(\gamma _{\alpha j}=0\) for \(\alpha \in \{1,2\}\) and \(j\in \{1,2\}\), we obtain \(\rho _\alpha =0\) and \(C_0=Id\). Moreover, the rows of the matrix \(\mathcal {D}(x,p)=\hat{\mathcal {L}_0}(x,0,0,p)=p Id\) are linearly independent modulo the polynomial \(p^2\).\(\square \)
3.3 Short-time existence of the analytic problem
From now on, we fix \(\alpha \in (0,1)\) and we consider an admissible initial parametrization \(\gamma _0\) as in Definition 3.1, with \(\Vert \gamma _0 \Vert _{4+\alpha }=R\). Moreover, with a slight abuse of notation, we denote by \(b(\cdot )\) the vector \((b( \cdot , 0), b(\cdot , 1))\) in the statement of Theorem (3.5).
Definition 3.6
For \(T>0\) we define the linear spaces
endowed with the norms
Moreover, we consider the affine spaces
We remark that Lemma 3.7 and Lemma 3.8 below are respectively [21, Lemma 3.17] and [21, Lemma 3.23].
Lemma 3.7
For \(T>0\), the map \(L_{T}:{\mathbb {E}}_T\rightarrow {\mathbb {F}}_T\) defined by
is a continuous isomorphism.
In the following we denote by \(L^{-1}_T\) the inverse of \(L_T\), by \(B_M\) the open ball of radius \(M>0\) and center 0 in \({\mathbb {E}}_T\) and by \(\overline{B_M}\) its closure.
Before proceeding we notice that, since the admissible initial parametrization \(\gamma _0: [0,1] \rightarrow {{{\mathbb {R}}}}^2\) is a regular curve, there exists a constant \(C>0\) such that
which obviously implies that
Then, as it is shown in [21], there exists a constant \({\widetilde{C}}\) depending on R and C, such that for every \(j\in {\mathbb {N}}\) it holds
We also notice that these estimates are preserved during the flow. More precisely, following the proof in [21], one can show that there exists \({\widetilde{T}}(M, C)\in (0,1]\) such that for \(T\in [0,{\widetilde{T}}(M,C)]\) every curve \(\gamma \in {\mathbb {E}}^0_T\cap B_M\) is regular and for all \(t\in [0,{\widetilde{T}}(M,C)]\) it holds
Furthermore, for every \(j \in {\mathbb {N}}\) and \(y \in \{0,1\}\), we have
Lemma 3.8
For \(T\in (0, {\widetilde{T}}(M, C)]\), the map \(N_T(\gamma ):= (N_{T,1}, N_{T,2}, \gamma _0)\) given by
where f, b are defined in (3.3), (3.4) respectively, is a well defined mapping from \({\mathbb {E}}^0_T\) to \({\mathbb {F}}^0_T\).
Proof
We have that \(\gamma (t,\cdot )\) is a regular curve thanks to the discussion above, hence \(N_T\) is well defined. In order to show that \(N_T(\gamma ) \in {\mathbb {F}}^0_T\), we have to prove that \(\gamma _0\) satisfies the linear compatibility conditions with respect to \((N_{T,1}, N_{T,2})\). This easily follows from the definition of \(N_{T,1},N_{T,2}\) and the fact that \(\gamma _0\) is an admissible initial parametrization as in Definition 3.1. \(\square \)
Definition 3.9
Let \(\gamma _0\) be an admissible initial parametrization and let \(C>0\) the constant given by (3.11). For \(M>0\) and \(T \in (0, {\widetilde{T}}(M, C)\) we define the mapping \(K_T:{\mathbb {E}}^0_T \rightarrow {\mathbb {E}}^0_T\) as \(K_T:= L^{-1}_T N_T\).
With a proof similar to [21, Proposition 3.28 and Proposition 3.29] one can prove the following result.
Proposition 3.10
There exists a positive radius \(M=M(R,C)\) and a positive time \({\hat{T}}(M) \in (0, {\widetilde{T}}(M,C))\) such that for all \(T\in (0,{\hat{T}}(M)]\) the map \(K_T:{\mathbb {E}}^0_T\cap \overline{B_{M}}\rightarrow {\mathbb {E}}^0_T\cap \overline{B_{M}}\) is well-defined and it is a contraction.
Theorem 3.11
Let \(\gamma _0\) be an admissible initial parametrization as in Definition 3.1. There exists a positive radius M and a positive time T such that the system (3.2) has a unique solution in \(C^{\frac{4+\alpha }{4},4+\alpha }\left( [0,T]\times [0,1]\right) \cap \overline{B_M}\).
Proof
Let M and \({\hat{T}}(M)\) be the radius and time as in Proposition 3.10 and let \(T\in (0,{\hat{T}}(M)]\). The solutions of (3.2) in \(C^{\frac{4+\alpha }{4},4+\alpha }\left( [0,T]\times [0,1]\right) \cap \overline{B_M}\) are the fixed points of \(K_T\) in \({\mathbb {E}}_T^0\cap \overline{B_M}\). Moreover, it is unique by the Banach-Caccioppoli contraction theorem as \(K_T\) is a contraction of the complete metric space \({\mathbb {E}}_T^0\cap \overline{B_M}\). \(\square \)
3.4 Geometric existence and uniqueness
In Theorem 3.11 we show that there exists a unique solution to the analytic problem (3.2) provided that the initial curve is admissible. In this section, we first establish a relation between geometrically admissible initial curves and admissible initial parametrizations, then we show the geometric uniqueness of the flow, in the sense that up to reparametrization the geometric problem (2.9) has a unique solution.
We remark that the following technique was introduced by Garcke and Novick-Cohen in [23], and then it has been employed, for instance, by Garke, Pluda at al. in [21, 22, 24] for the case of shortening and elastic flows of networks.
Lemma 3.12
Suppose that \(\gamma _0\) is a geometrically admissible initial curve as in Definition 2.2. Then, there exists a smooth function \(\psi _0:[0,1]\rightarrow [0,1]\) such that the reparametrization \(\widetilde{\gamma }_0 = \gamma _0 \circ \psi _0\) of \(\gamma _0\) is an admissible initial parametrization for the analytic problem (3.2).
Proof
We look for a smooth map \(\psi _0:[0,1]\rightarrow [0,1]\) with \(\partial _x\psi _0 (x)\ne 0\) for every \(x\in [0,1]\), such that \(\widetilde{\gamma }_0 = \gamma _0 \circ \psi _0: [0,1] \rightarrow {{{\mathbb {R}}}}^2\) is regular and of class \(C^{4+\alpha }([0,1])\). If \(\psi _0(y)=y\) for \(y \in \{0,1\}\), then \(\widetilde{\gamma }_0\) clearly satisfies the attachment condition. Moreover, since the geometric quantities are invariant under reparametrization, also the non-degeneracy condition and the third-order condition are still satisfied. In order to fulfil the second order condition \(\partial _x^2 \widetilde{\gamma }_0(y)=0\), we consider a map \(\psi _0\) such that
for \(y\in \{0,1\}\). Thus, it remains to show that
As we notice above, this is equivalent to
however, since \(\gamma _0\) is a geometrically admissible initial curve, it is enough to prove that
Thus, asking that \(\partial _x^3 \psi _0(y) =1\), we rewrite relation (3.12) as
where \(g_1, g_2\) are non-linear functions. Hence, \(\partial _x^4 \psi _0(y)\) are uniquely determined for \(y \in \{0,1\}\). In the end, we may choose \(\psi _0\) to be the fourth Taylor polynomial near each boundary point, join these values up inside the interval (0, 1) and then make it smooth. \(\square \)
Definition 3.13
Let \(\gamma _0\) be a geometrically admissible initial curve as in Definition 2.2 and \(T>0\). A time-dependent family of curves \(\gamma _t\) for \(t \in [0,T)\) is a maximal solution to the elastic flow with initial datum \(\gamma _0\), if it is a solution in the sense of Definition 2.3 in \([0, {{\hat{T}}}]\) for some \({{\hat{T}}} < T\) and if there does not exist a solution \(\widetilde{\gamma }_t\) in \([0, {{\widetilde{T}}}]\) with \({{\widetilde{T}}} > T\) and such that \(\gamma =\widetilde{\gamma }\) in (0, T).
Following the arguments in [22, Lemma 5.8 and Lemma 5.9], one can show that a maximal solution to the elastic flow always exists and it is unique up to reparametrization. Hence, from now on we only consider the time T in Definition 3.13, which we call maximal time of existence and we denote by \(T_{\max }\).
We notice that the following theorem is slightly different to the corresponding one in [22], where the authors firstly prove the geometric uniqueness in a “generic” time interval [0, T] and then they show the existence of \(T_{\max }\) using the fact that the solution is unique in a geometric sense. However, with an intermediate step, the result can be stated as follows.
Theorem 3.14
[Geometric existence and uniqueness] Let \(\gamma _0\) be a geometrically admissible initial curve as in Definition 2.2. Then, there exists a positive time \(T_{\max }\) such that within the time interval \([0,T_{\max })\) there is a unique elastic flow \(\gamma _t\) in the sense of Definition 2.3.
Proof
By Lemma 3.12 there exists a reparametrization \(\widetilde{\gamma }_0\) of \(\gamma _0\) which is an admissible initial parametrization in the sense of Definition 3.1. Then, by Theorem 3.11 there exists a solution \(\widetilde{\gamma }_t\) of system (3.2) in some maximal time interval \([0, {{\widetilde{T}}}_{\max }]\). In particular, \(\widetilde{\gamma }_t\) is a solution to system (2.9).
Let us suppose that \(\gamma _t\) is another solution to the elastic flow in sense of Definition 2.3 in a time interval \([0, T']\), with the same geometrically admissible initial curve. We aim to show that there exists a time \(T_{\max } \in (0, \max \{{{\widetilde{T}}}_{\max }, T'\})\) such that \(\widetilde{\gamma }_t = \gamma _t\) (as curves) for every \(t \in [0, T_{\max }]\).
To be precise, we need to construct a regular reparametrization \(\psi (t,x): [0, T_{\max }] \times [0,1] \rightarrow [0,1]\), such that the reparametrized curve \(\sigma (t,x) = \gamma (t, \psi (t,x))\) is a solution to the analytic problem (3.2) and coincides with \(\widetilde{\gamma }_t\) in a possibly small but positive time interval. Hence, computing the space and time derivatives of \(\sigma (t,x)\) as a composed function and replacing in the evolution equation
we get the following evolution equation for \(\psi \)
Taking into account the boundary conditions, we have that such parametrization has to satisfy the following boundary value problem
for \(y \in \{0,1\}\) and \(t \in [0, T_{\max }]\), where the function \(\psi _0\) is given by Lemma 3.12 and the terms in g depend on the solution \(\psi \), \(\partial _x^j \psi \) for \(j \in \{1,2,3\}\) and \(\partial _t\gamma \), \(\partial _x^j \gamma \) for \(j \in \{1,2,3,4\}\). From the computation above, it follows that the function \(\gamma \) and its time-space derivatives depend also on \(\psi \). To remove this dependence, we consider the associated problem for the inverse of \(\psi \), that is \(\xi (t, \cdot ) = \psi ^{-1} (t, \cdot )\). So, the differentiation rules
yield the evolution equation
Hence, we obtain the following system for \(\xi \)
where g is a non-linear smooth function which depends on \(\partial _x^j \xi \) for \(j \in \{1,2,3\}\), \(\partial _z^ \sigma \) for \(j \in \{1, 2,3,4\}\), \(\partial _t\sigma \). We now observe that the system (3.14) has a very similar structure as (3.6), hence, after linearize, we apply the linear theory developed by Solonnikov in [46] and we get well-posedness. Contraction estimates allow us to conclude the existence and uniqueness of solution with a fixed-point argument. Reversing the above argumentation, we obtain that the function \(\psi \) solves system (3.13).
Then, \(\sigma _t\) is a solution to system (3.2). Indeed, the motion equation follows from (3.13) and the geometric evolution of \(\gamma _t\) in normal direction. The geometric boundary conditions, namely attachment, curvature, and third-order conditions, are satisfied as \(\gamma _t\) is a solution to the geometric problem. Moreover, the boundary conditions in system (3.13) ensure that \(\sigma _t\) satisfies the second order condition.
Thus, by uniqueness of the analytic problem proved in Theorem 3.11, \(\sigma _t\) (that is \(\gamma _t\) up to reparametrization) and \(\widetilde{\gamma }_t\) need to coincide on a possibly small time interval. \(\square \)
4 Curvature bounds
To simplify the notation, we introduce the following polynomials.
Definition 4.1
For \(h \in {\mathbb {N}}\), we denote by \({\mathfrak {p}}_\sigma ^h(k)\) a polynomial in \(k,\dots ,\partial _s^h k\) with constant coefficients in \({\mathbb {R}}\) such that every monomial it contains is of the form
where \(\alpha _l\in {\mathbb {N}}\) for \(l\in \{0,\dots ,h\}\) and \(\alpha _{l_0}\ge 1\) for at least one index \(l_0\).
Remark 4.2
One can easily prove that
Moreover, following the arguments in [32], it holds
Lemma 4.3
If \(\gamma \) satisfies (2.10), then for any \(j \in {\mathbb {N}}\) the j-th derivative of scalar curvature of \(\gamma \) satisfies
Proof
For \(j=0\) we have
Then, assuming that relation (4.2) is true for j, we show that
By induction, formula (4.2) holds for any \(j \in {\mathbb {N}}\). \(\square \)
4.1 Bound on \(\Vert {\partial _s^2 k }\Vert _{L^2}\)
We aim to show that, once the following condition is satisfied, the tangential velocity behaves as the normal velocity at boundary points.
Definition 4.4
Let \(\gamma _t\) be a maximal solution to the elastic flow in \([0,T_{\max })\). We say that \(\gamma _t\) satisfies the uniform non-degeneracy condition if there exists \(\rho >0\) such that
for every \(t \in [0,T_{\max })\) and \(y \in \{0,1\}\).
Lemma 4.5
Let \(\gamma _t\) be a maximal solution to the elastic flow of curves subjected to boundary conditions (2.7), such that the uniform non-degeneracy condition (4.3) holds in \([0,T_{\max })\). Then, for every \(t \in [0,T_{\max })\) and \(y \in \{0,1\}\), the tangential velocity is proportional to the normal velocity, that is
Proof
Since the boundary points are constrained to the x-axis, we have that
for \(y \in \{0,1\}\) and \(t \in [0,T_{\max })\). By the fact that \(\tau _2\) (hence, \(\nu _2\)) are bounded from below at boundary points, it follows
for \(t \in [0,T_{\max })\) and \(y \in \{0,1\}\). \(\square \)
Proposition 4.6
Let \(\gamma _t\) be a maximal solution to the elastic flow of curves subjected to boundary conditions (2.7) with initial datum \(\gamma _0\), which satisfies the uniform non-degeneracy condition (4.4) in the maximal time interval \([0,T_{\max })\). Then, for all \(t\in [0,T_{\max })\), it holds
Proof
From formula (4.2) we have
Thus, the terms involving the tangential velocity can be written as
Moreover, integrating by parts the other terms, we get
Using Navier boundary conditions, the boundary terms in equation (4.4) reduce to
We aim to lower the order of the second and third terms in (4.5). In particular, differentiating in time the condition \(k(y)=0\) using relation (2.13), we have
From conditions in (2.7), it follows
then, computing the scalar production using (4.2), we obtain
that is,
Hence, replacing the terms (4.6) and (4.7) in (4.5), we obtain
We now recall that \(\Lambda \) is proportional to \(\partial _s^2k\) at boundary points (see Lemma 4.5), hence it follows that \(\Lambda {\mathfrak {p}}_\sigma ^h(k)={\mathfrak {p}}_{\sigma +3}^{\max \{2, h\}}(k)\). Thus, we have
By means of Lemma 4.6 and Lemma 4.7 in [32], for any \(\varepsilon >0\) we have
for some exponents \(\Theta _i >2\) with \(i = 1, \dots ,5.\)
Hence, we get
for some exponent \(\Theta >2\) and constant C which depend on \(\ell (\gamma )\). Using the energy monotonicity proved in Proposition 2.8, we conclude that
\(\square \)
4.2 Bound on \(\Vert {\partial _s^6 k}\Vert _{L^2}\)
We observe that since (2.10) is a parabolic fourth-order equation, after having controlled the second-order derivative of the curvature, it is natural to control the sixth-order derivative of the curvature. Then, using interpolation inequalities, we get estimates for all the intermediate orders. Before doing that, we notice that the elastic flow of curves becomes instantaneously smooth. More precisely, following the proof presented in [32] in the case of closed curves (both using the so-called Angenent’s parameter trick [5, 6, 11] and the classical theory of linear parabolic equations [46]), one can show that given a solution to the elastic flow in a time interval [0, T], then it is smooth for positive times, in the sense that it admits a \(C^\infty \)-parametrization in the interval \([\varepsilon ,T]\) for every \(\varepsilon \in (0,T)\).
From now on, we denote by
the velocity of \(\gamma \). Hence, by means of integration by parts and the commutation rule in Lemma 2.7, we get the following identity
where we denoted by
Before proceeding, we prove the following lemma, which gives estimates for some special family of polynomials.
Lemma 4.7
Let \(\gamma :[0,1]\rightarrow {{{\mathbb {R}}}}^2\) be a smooth regular curve. For all \(j \le 7 \), if the polynomial \({\mathfrak {p}}_{\sigma (j)}^j (k)\) defined as in Definition 4.1 satisfies one of the following conditions:
-
(i)
\(\sigma (j) \ge 2(l+1)\) for all \(l \le j\),
-
(ii)
\(\sigma (j) \ge 2(l+1)\) for all \(l \le j-1\) and \((j+1) \le \sigma (j) < 2(j+1)\),
and
then, there exists a constant C and an exponent \(\Theta >2\) such that
Similarly, for all \(j \le 7 \) and
there exists a constant C and an exponent \(\Theta '>2\) such that for \(y \in \{0,1\}\) it holds
Proof
By definition, every monomial of \({\mathfrak {p}}_{\sigma (j)}^{j}(k)\) is of the form \(C\prod _{l=0}^{j} (\partial _s^lk)^{\alpha _l}\) with
We set
for every \(l \le j\) and we take \(\beta _l=0\) if \(\alpha _l=0\). We observe that \(\sum _{l\in J}^{}\frac{1}{\beta _l}=1\), hence by Hölder inequality, we get
If condition (i) holds, then \(\alpha _l\beta _l \ge 2\) for every \(l\in J\). Applying the Gagliardo-Nirenberg inequality (see [3] or [7], for instance) for every \(l \le j\) yields
where the coefficient \(\eta _l\) is given by
Then, we have
Moreover, from condition (4.10), we have
that is, by means of Young’s inequality with \(p=\frac{2}{\sum _{l=0}^j\eta _l\alpha _l}\) and \(q=\frac{2}{2-\sum _{l=0}^{j}\eta _l\alpha _l}\) we obtain
where constant C depends on j, \(\varepsilon \), \(\ell (\gamma )\) and \(\Theta >2\).
Otherwise, if condition (ii) holds, we have \(1\le \alpha _j\beta _j<2\), that is
where \(\eta _j= \frac{j}{8}\) and we used the boundedness of \(\ell (\gamma )\).
Hence, as in the previous case, we have
where for all \(l\le j-1\) the coefficient \(\eta _l\) is given by expression (4.11) and \(\eta _j= \frac{j}{8}\). Applying again Young’s inequality, since \(\sum _{l=0}^{j}\eta _l\alpha _l<2\) still holds, we obtain estimate (4.12).
The second part of the lemma comes using the same arguments. \(\square \)
Lemma 4.8
Let \(\gamma _t\) be a maximal solution to the elastic flow of curves subjected to Navier boundary conditions (2.7), such that the uniform non-degeneracy condition (4.4) holds in the maximal time interval \([0,T_{\max })\). Then, for every \(j \in {\mathbb {N}}\), it holds
and
for every \(t \in [0,T_{\max })\) and \(y \in \{0,1\}\).
Proof
By means of Lemma 4.5 and by the fact that \(\tau _2\) is bounded from below, we have
for \(y \in \{0,1\}\). Hence, by Remark 4.2, it follows
and thus,
Similarly, by formula (4.1), we have
then,
\(\square \)
From now on, for any \(t \in [0,T_{\max })\), we choose the tangential velocity \(\Lambda (t,x)\) with \(x \in (0,1)\) as the linear interpolation between the value at the boundary points, that is
Lemma 4.9
Let \(\Lambda \) be the tangential velocity defined in (4.13), there exist two constants \(C_1=C_1(\ell (\gamma ))\) and \(C_2=C_2(\mathcal {E}(\gamma _0),\ell (\gamma ))\) such that
for \(t \in [0,T_{\max })\) and \(x \in [0,1]\).
Proof
From (4.13) it easily follows that
Moreover, taking the time derivative, we get
where we used relations (2.11). Hence, noticing that from interpolation and Proposition 4.6 it follows
we obtain the last estimate in the statement. \(\square \)
Lemma 4.10
If \(\gamma \) satisfies (2.10), then
Proof
We firstly compute
and
Then, by means of Lemma 2.7, we have
Similarly, differentiating in time the relation (2.12) we get
that is
Using computations (4.15) and (4.16), we obtain
\(\square \)
In the following, we show that to estimate the \(L^2\)-norm of \(\partial _s^6 k\) it is enough to control the \(L^2\)-norm of \(\partial _t^\perp v\). Hence, we start writing the boundary terms in (4.9) using the curvature and its derivatives, lowering the order by means of the boundary condition.
Lemma 4.11
Let \(\gamma _t\) be a family of curves moving with velocity v defined in (4.8). Then,
Proof
By straightforward computations, we have that
where \(\partial _tv^\perp \) is the normal component of \(\partial _t^2 \gamma \), which is computed in (4.14). Hence, we compute
and
where in relation (4.18) we used
since Navier boundary conditions hold. So, using expressions (4.17) and (4.18), replacing \(\Lambda \) and its derivatives by means of Lemma 4.8 and recalling that \(\mu >0\) is constant, we get
\(\square \)
Lemma 4.12
Let \(\gamma _t\) be a family of curves moving with velocity v defined in (4.8). Then,
Proof
Let us analogously handle the other boundary term in (4.9). By standard computations, we have that
where
As above, we aim to write the ninth-order derivative as the sum of lower-order derivatives.
Hence, from condition (2.7), at boundary points it holds
where
and
Then, after computing \(\partial _t^2 \partial _sk\), we have
Replacing equations (4.20) and (4.21) in the scalar product (4.19) and recalling that at boundary points \(\Lambda \) and its derivatives can be approximated by suitable polynomials (as it is shown in Lemma 4.8), we get
We now notice that
hence, we have
\(\square \)
Proposition 4.13
Let \(\gamma _t\) be a maximal solution to the elastic flow of curves subjected to boundary conditions (2.7), with initial datum \(\gamma _0\) in the maximal time interval \([0,T_{\max })\). Then for all \(t\in (0,T_{\max })\) it holds
Proof
The thesis follows once we estimate the quantities in (4.9). From equation (4.18), we have
Hence, using the simple inequalities
with \(\varepsilon =\dfrac{1}{2}\), we get
where we used the very expression of \(\Lambda \) in (4.13) and the estimates in Lemma 4.9.
Moreover, with same arguments, from equation (4.20) we get
We only need to compute the integral in (4.9) involving Y. By straightforward computation, we have
and
Then, we get
Hence, computing the scalar product \(\langle Y, \partial _t^\perp v \rangle \), using the well-known Peter–Paul inequality and integrating by parts the integral \(\int _\gamma \partial _s^6 k \partial _s^8 k {\,\textrm{d} }s\), we have
where, as above, we estimated \(\Lambda \) and its derivatives by means of Lemma 4.9.
Moreover, using identities in Lemma 4.11 and Lemma 4.12, we end up with the following inequality
Then, putting together inequalities (4.22), (4.23), (4.24) and (4.25), we get
By means of Lemma 4.7, we have
for some exponent \(\Theta >2\) and constant C which depends on \(\ell (\gamma )\).
Hence, by integrating, it follows
\(\square \)
Proposition 4.14
Let \(\gamma _t\) be a maximal solution to the elastic flow of curves subjected to Navier boundary conditions with initial datum \(\gamma _0\), which satisfies the uniform non-degeneracy condition (4.4) in the maximal time interval \([0,T_{\max })\). Then, for all \(t\in (0,T_{\max })\) it holds
Proof
From formula (4.14) and Lemma 4.8, it follows
However, since we are assuming that \(\mu \) is constant, we simply have
and by means of Peter–Paul inequality, we get
We now estimate separately the integrals involving the polynomials.
We start considering
where \(\alpha _l \in {\mathbb {N}}\) and \(\sum _{l=0}^4 (l+1)\alpha _l = 7\). So, by Hölder inequality, we get
where \(\beta _l:= \frac{7}{(l+1)\alpha _l}>1\) if \(\alpha _l\ne 0\) (if \(\alpha _l=0\) we simply have the integral of a unitary function), which clearly satisfies
Then, we estimate any of such products by the well-known interpolation inequalities (see [31], for instance),
for some constant C depending on \(\alpha _l, \beta _l\) and coefficient \(\sigma _l\) given by
Moreover, we notice that
where in the last inequality we use the fact that, since l, \(\alpha _l \) are respectively the order of derivations and the exponents of the derivative in \({\mathfrak {p}}_7^4(k)\), it follows
Then, multiplying together inequalities (4.27) and applying the Young inequality, we have
for some exponent \(\Theta _1>2\).
Arguing in the same way, one can check that
and
for some exponents \(\Theta _2,\Theta _3>2\).
Replacing the estimates (4.28), (4.29) and (4.30) in (4.26) and moving the small part of \(\Vert \partial _s^6 k \Vert ^2_{L^2(\gamma )} \) on the right-hand side, we have
where, as above, \(\theta >2\). Then, we conclude using Proposition 4.13 and the energy monotonicity in Proposition 2.8. \(\square \)
5 Long-time existence
In the following, we adapt the proof of [32, Theorem 4.15] to our situation.
Theorem 5.1
Let \(\gamma _0\) be a geometrically admissible initial curve. Suppose that \(\gamma _t\) is a maximal solution to the elastic flow with initial datum \(\gamma _0\) in the maximal time interval \([0,T_{\max })\) with \(T_{\max } \in (0, \infty ) \cup \{\infty \}\). Then, up to reparametrization and translation of \(\gamma _t\), it follows
or at least one of the following holds
-
\(\liminf \ell (\gamma _t )\rightarrow 0\) as \( t \rightarrow T_{\max }\);
-
\(\liminf \tau _2 \rightarrow 0\) as \( t \rightarrow T_{\max }\) at boundary points.
Proof
Suppose by contradiction that the two assertions in the statement are not fulfilled and that \(T_{\max }\) is finite. So, in the whole time interval \([0,T_{\max })\) the length of the curves \(\gamma _t\) is uniformly bounded from below away from zero and the uniform condition (4.3) is satisfied. Moreover, since the energy (2.1) decreases in time, both the \(L^2\)-norm of the curvature and the length of \(\gamma \) are uniformly bounded from above. Let \(\varepsilon >0\) be fixed, by means of Proposition 4.6 and Proposition 4.13 we have that
Hence, using Gagliardo-Nirenberg inequality for all \(t\in [0,T_{\max })\) we get
for every integer \(j \le 6\), with constants independent on t and for suitable exponent \(\sigma \). Actually, by interpolation, we have
for every integer \(j \le 5\). Reparametrizing the curve \(\gamma _t\) into \(\widetilde{\gamma }_t\) with the property \(\vert \partial _x\widetilde{\gamma }(x)\vert =\ell (\widetilde{\gamma })\) for every \(x\in [0,1]\) and for all \(t\in [0,T_{\max })\) and translating so that it remains in a ball \(B_R(0)\) for every time (since its length is uniformly bounded from above), we get
-
\( 0<c\le \sup _{t\in [0,T_{\max }), x\in [0,1]} \vert \partial _x\widetilde{\gamma }(t,x)\vert \le C<\infty \),
-
\(0<c\le \sup _{t\in [0,T_{\max }), x\in [0,1]} \vert \widetilde{\gamma }(t,x)\vert \le C<\infty \,.\)
Hence, \(\tau \in L^\infty ([0,T_{\max }); L^\infty )\) and \(\partial _x^j \widetilde{\gamma }\in L^{\infty }((\varepsilon ,T_{\max });L^\infty )\) for every integer \(j \le 7\). Then, from the observation above and the fact that \(\varvec{\kappa }= k \nu \), we get \(\partial _s^j \varvec{\kappa }\in L^{\infty }((\varepsilon ,T_{\max });L^\infty )\) for every integer \(j \le 5\) and \(\partial _s^6 \varvec{\kappa }\in L^{\infty }((\varepsilon ,T_{\max });L^2)\). Moreover, thanks to our choice of parametrization, we have
So, it follows that \(\partial _x^j \widetilde{\gamma }\in L^{\infty }((\varepsilon ,T_{\max });L^\infty )\) for every integer \(1 \le j \le 7\) and \(\partial _x^8 \widetilde{\gamma }\in L^{\infty }((\varepsilon ,T_{\max });L^2)\).
Then, by Ascoli-Arzelà Theorem, there exists a curve \(\gamma _{\max }\) such that
for every integer \(j \le 6\). The curve \(\gamma _{\max }\) is an admissible initial curve, since by continuity of k and \(\partial _s^2 k\) it fulfills the system (2.7) and uniform condition (4.3) at boundary points. Then, there exists an elastic flow \({\overline{\gamma }}_t \in C^{\frac{4+\alpha }{4}, 4+ \alpha }\big ([T_{\max }, T_{\max } + \delta ) \times [0,1]; {{{\mathbb {R}}}}^2\big )\) with \(\delta >0\). We again reparametrize \({\overline{\gamma }}_t\) in \({\hat{\gamma }}_t\) with constant speed equal to length and we have
for every integer \(j \le 6\).
Then,
Thus, we found a solution to the elastic flow in \(C^{\frac{4+\alpha }{4}, 4+ \alpha }\big ([0, T_{\max } + \delta ) \times [0,1]; {{{\mathbb {R}}}}^2\big )\). This obviously contradicts the maximality of \(T_{\max }\). \(\square \)
We conclude by emphasizing that, even if those arguments and techniques have been already used in literature, all the previous works deal with closed curves (see for instance [19, 33, 44]) or open curves with fixed boundary points (see for instance [16, 29, 39, 40, 47]). So, all the complications that appear in this paper are due to the fact that we have partial conditions on the boundary points.
References
Abels, H., Butz, J.: Short time existence for the curve diffusion flow with a contact angle. J. Differ. Equ. 268(1), 318–352 (2019)
Abels, H., Butz, J.: A blow-up criterion for the curve diffusion flow with a contact angle. SIAM J. Math. Anal. 52(3), 2592–2623 (2020)
Adams, R.A., Fournier, J.F.: Sobolev Spaces. Pure and Applied Mathematics, vol. 140, 2nd edn. Elsevier/Academic Press, Amsterdam (2013)
Alt, H.W.: Linear functional analysis. Universitext. Springer-Verlag London Ltd., London. Translated from the German edition by Robert Nürnberg (2016)
Angenent, S.: Parabolic equations for curves on surfaces. I. Curves with \(p\)-integrable curvature. Ann. Math. (2) 132(3), 451–483 (1990)
Angenent, S.B.: Nonlinear analytic semiflows. Proc. R. Soc. Edinb. Sect. A 115(1–2), 91–107 (1990)
Aubin, T.: Some Nonlinear Problems in Riemannian Geometry. Springer-Verlag, Berlin (1998)
Ballarin, F., Bevilacqua, G., Lussardi, L., Marzocchi, A.: Elastic membranes spanning deformable boundaries. Preprint arXiv:2207.13614
Bevilacqua, G., Lussardi, L., Marzocchi, A.: Variational analysis of inextensible elastic curves. Proc. R. Soc. A. 478 (2022)
Brand, C., Dolzmann, G., Pluda, A.: Variational models for the interaction of surfactants with curvature—existence and regularity of minimizers in the case of flexible curves. ZAMM Z. Angew. Math. Mech. 89(7) (2023)
Da Prato, G., Grisvard, P.: Equations d’évolution abstraites non linéaires de type parabolique. Ann. Mat. Pura Appl. 4(120), 329–396 (1979)
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: Evolution of open elastic curves in \(\mathbb{R} ^n\) subject to fixed length and natural boundary conditions. Analysis (Berlin) 34(2), 209–222 (2014)
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: A gradient flow for open elastic curves with fixed length and clamped ends. Ann. Sc. Norm. Super. Pisa Cl. Sci. 17(3), 1031–1066 (2017)
Dall’Acqua, A., Lin, C.-C., Pozzi, P.: Elastic flow of networks: long-time existence result. Geom. Flows 4(1), 83–136 (2019)
Dall’Acqua, A., Pozzi, P.: A Willmore–Helfrich \(L^2\)-flow of curves with natural boundary conditions. Commun. Anal. Geom. 22(4), 617–669 (2014)
Dall’Acqua, A., Pozzi, P., Spener, A.: The Lojasiewicz–Simon gradient inequality for open elastic curves. J. Differ. Equ. 261(3), 2168–2209 (2016)
DeTurck, D.M.: Deforming metrics in the direction of their Ricci tensors. J. Differ. Geom. 18(1), 157–162 (1983)
Djondjorov, P.A., Hadzhilazova, M.T., Mladenov, I.M., Vassilev, V.M.: Explicit parameterization of Euler’s elastica. Geom. Integr. Quant. 9, 175–186 (2008)
Dziuk, G., Kuwert, E., Schätzle, R.: Evolution of elastic curves in \(\mathbb{R} ^{n}\): existence and computation. SIAM J. Math. Anal. 33(5), 1228–1245 (2002)
Garcke, H., Cohen, A.N.: A singular limit for a system of degenerate Cahn-Hilliard equations. Adv. Differ. Equ. 5(4–6), 401–434 (2000)
Garcke, H., Menzel, J., Pluda, A.: Willmore flow of planar networks. J. Differ. Equ. 266(4), 2019–2051 (2019)
Garcke, H., Menzel, J., Pluda, A.: Long time existence of solutions to an elastic flow of networks. Commun. Partial Differ. Equ. 45(10), 1253–1305 (2020)
Garcke, H., Novick-Cohen, A.: A singular limit for a system of degenerate Cahn–Hilliard equations. Adv. Differ. Equ. 5, 401–434 (2000)
Gösswein, M., Menzel, J., Pluda, A.: Existence and uniqueness of the motion by curvature of regular networks. Interfaces Free Bound 25, 109–154 (2023)
Koiso, N.: On the motion of a curve towards elastica. In: Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992), vol. 1 of Sémin. Congr., pp. 403–436. Soc. Math. France, Paris (1996)
Langer, J., Singer, D.A.: The total squared curvature of closed curves. J. Differ. Geom. 20(1), 1–22 (1984)
Langer, J., Singer, D.A.: Curve straightening and a minimax argument for closed elastic curves. Topology 24(1), 75–88 (1985)
Langer, J., Singer, D.A.: Lagrangian aspects of the Kirchhoff elastic rod. SIAM Rev. 38, 605–618 (1996)
Lin, C.-C.: \(L^2\)-flow of elastic curves with clamped boundary conditions. J. Differ. Equ. 252(12), 6414–6428 (2012)
Linnér, A.: Some properties of the curve straightening flow in the plane. Trans. Am. Math. Soc. 314(2), 605–618 (1989)
Mantegazza, C.: Smooth geometric evolutions of hypersurfaces. Geom. Funct. Anal. 12(1), 138–182 (2002)
Mantegazza, C., Pluda, A., Pozzetta, M.: A survey of the elastic flow of curves and networks. Milan J. Math. 89(1), 59–121 (2021)
Mantegazza, C., Pozzetta, M.: The Lojasiewicz–Simon inequality for the elastic flow. Calc. Var. 60(1), Paper no. 56, 17 (2021)
McCoy, J., Wheeler, G., Wu, Y.: Evolution of closed curves by length-constrained curve diffusion. Proc. Am. Math. Soc. 147(8), 3493–3506 (2019)
McCoy, J., Wheeler, G., Wu, Y.: A sixth order curvature flow of plane curves with boundary conditions. In: 2017 MATRIX Annals, vol. 2 of MATRIX Book Series, pp. 213–221. Springer, Cham (2019)
Miura, T., Yoshizawa, K.: Complete classification of planar \(p\)–elasticae. Preprint arXiv:2203.08535 (2022)
Miura, T., Yoshizawa, K.: Pinned planar \(p\)–elasticae. Preprint arXiv:2209.05721 (2022)
Miura, T., Yoshizawa, K.: General rigidity principles for stable and minimal elastic curves. Preprint arXiv:2301.08384 (2023)
Novaga, M., Okabe, S.: Curve shortening-straightening flow for non-closed planar curves with infinite length. J. Differ. Equ. 256(3), 1093–1132 (2014)
Novaga, M., Okabe, S.: Convergence to equilibrium of gradient flows defined on planar curves. J. Reine Angew. Math. 733, 87–119 (2017)
Okabe, S.: The motion of elastic planar closed curves under the area-preserving condition. Indiana Univ. Math. J. 56(4), 1871–1912 (2007)
Okabe, S.: The dynamics of elastic closed curves under uniform high pressure. Calc. Var. Partial Differ. Equ. 33(4), 493–521 (2008)
Polden, A.: Curves and Surfaces of Least Total Curvature and Fourth-Order Flows. Ph.D. Thesis, Mathematisches Institut, Univ. Tübingen, 1996. Arbeitsbereich Analysis Preprint Server—Univ. Tübingen. http://poincare.mathematik.unituebingen.de/mozilla/home.e.html
Pozzetta, M.: Convergence of elastic flows of curves into manifolds. Nonlinear Anal. 214, 112581 (2022)
Rupp, F., Spener, A.: Existence and convergence of the length-preserving elastic flow of clamped curves. arXiv: Analysis of PDEs (2020)
Solonnikov, V.A.: Boundary Value Problems of Mathematical Physics. III. American Mathematical Society, Providence (1967)
Spener, A.: Short time existence for the elastic flow of clamped curves. Math. Nachr. 290(13), 2052–2077 (2017)
Truesdell, C.: The influence of elasticity on analysis: the classic heritage. Bull. Am. Math. Soc. 9, 293–310 (1983)
Wen, Y.: Curve straightening flow deforms closed plane curves with nonzero rotation number to circles. J. Differ. Equ. 120, 89–107 (1995)
Wheeler, G.: Global analysis of the generalised Helfrich flow of closed curves immersed in \(\mathbb{R} ^n\). Trans. Am. Math. Soc. 367(4), 2263–2300 (2015)
Wheeler, G., Wheeler, V.-M.: Curve diffusion and straightening flows on parallel lines. Preprint arXiv:1703.10711 (2017)
Zhitarashu, N.V., Eidelman, S.D.: Parabolic boundary value problems. Operator Theory: Advances and Applications. Birkhäuser Basel, Translated from the Russian original by Gennady Pasechnik and Andrei Iacob (2012)
Acknowledgements
The author is grateful to Alessandra Pluda and Carlo Mantegazza for several discussions and helpful suggestions. The author is partially supported by the INdAM-GNAMPA 2022 Project Isoperimetric problems: variational and geometric aspects.
Funding
Open access funding provided by Scuola Superiore Meridionale within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
The author wrote the entire manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
For the sake of completeness, we show the smoothness of critical points of functional \(\mathcal {E}\).
Lemma 5.2
([4, Corollary 6.13, Exercise 6.7]) Suppose that \(\Omega \subset {{{\mathbb {R}}}}^n\) is open, \(f\in L_{loc}^1(\Omega )\), \(p\in (1,\infty ]\), \(1/p + 1/p'=1\), \(m\in {\mathbb {N}}_0\), and that there exists a constant \(C_0\) such that for all \(k\in {\mathbb {N}}_0\) with \(k\le m\) and all \(\zeta \in C_c^\infty (\Omega )\)
Then\(f\in W^{m,p}(\Omega )\) and there exists a constant \(C=C(m,C_0)\) with \(\Vert f \Vert _{W^{m,p}}\le C\).
Proposition 5.3
(Regularity for critical point of \(\mathcal {E}\))s Suppose that \(\gamma \) is a critical point of \(\mathcal {E}\), then \(\gamma \) is of class \(C^\infty \). Moreover, for all \(l \in {\mathbb {N}}\) there exists a constant \(C_l= C_l(\Vert \gamma \Vert _{H^2} )\) such that
Proof
In order to show the regularity of a critical point of the elastic energy, we follow a bootstrap argument based on Lemma 5.2 (see [10] for a similar proof).
Indeed, we prove that for any \(m \in {\mathbb {N}}_0\), \(\eta : [0,1] \rightarrow {{{\mathbb {R}}}}\) of class \(C^\infty \) and \(l\in {\mathbb {N}}_0\), \(l \le m\), we have
Then, by Lemma 5.2 we conclude that \(\varvec{\kappa }\in W^{m,\infty }\) and \(\gamma \in W^{m+2, \infty }\), where \(\varvec{\kappa }=k \nu \).
We start showing the assertion for \(m=1\). We recall that, since \(\gamma \) is a critical point of \(\mathcal {E}\), it holds
for all \(\psi : [0,1] \rightarrow {{{\mathbb {R}}}}^2\) of class \(H^2\) such that
Moreover, the fact that \(\gamma \in H^2\) ensures that the \(L^2\)-norm of the curvature is bounded, that is
We now denote by \(F(\gamma , \psi )\) the second integral in (5.3), so we have
In order to show the \(L^\infty \)-regularity of \(\varvec{\kappa }\), we consider \(\eta \in C^\infty \) and we use
as test function in (5.3). It clearly follows that \(\psi \in H^2\) and \(\partial ^2_s \psi = \eta \nu \) (using the relation \(\vert \gamma '(x) \vert = \ell (\gamma )\) for all \(x \in [0,1])\). Then, if we replace \(\psi \) in (5.3) we have
for all \(\eta \in C^\infty \). Hence, using the estimate (5.5), we obtain
and by Lemma 5.2, we conclude that \(\varvec{\kappa }\in L^\infty \) (that is \(\gamma \in W^{2, \infty }\)) and there exists a constant \(C_0=C_0(\Vert \gamma \Vert _{H^2} )\) such that
Arguing in the same way, we want to show that \(k \in W^{1,\infty }\). For \(\eta \in C^\infty \), we use
as test function in (5.3). So we have \(\psi \in H^2\), \(\partial _s \psi = \eta \nu \) and
Then, relation (5.3) can be written as
where we used the \(L^\infty \)-bound in (5.6). Then, by Lemma 5.2 it follows that \(\varvec{\kappa }\in W^{1,\infty }\) (that is \(\gamma \in W^{3,\infty })\) and there exists a constant \(C_1=C_1(\Vert \gamma \Vert _{H^2})\) such that
Once we show the assertion for \(m=1\), we can suppose that \(m\ge 2\) and that it holds for \(m-1\). So, we only need to prove the estimate (5.2) for \(l=m\).
For \(\eta \in C^\infty \), we use \(\psi = \partial _s^{l-2} \eta \nu \) as a test function in (5.3). Hence, we have
and
Replacing this relations in (5.3), we obtain
In view of the regularity already established, we may integrate by parts the terms involving derivatives of \(\eta \) on the right-hand side and we obtain
Since this estimate holds for all \(l\le m\), by Lemma 5.2 we conclude that \(\varvec{\kappa }\in W^{m, \infty }\) and there exists a constant \(C_l=C_l(\Vert \gamma \Vert _{H^2})\) such that estimate (5.1) holds. \(\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
Diana, A. Elastic flow of curves with partial free boundary. Nonlinear Differ. Equ. Appl. 31, 96 (2024). https://doi.org/10.1007/s00030-024-00984-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-024-00984-x