Abstract
Jun O’Hara invented a family of knot energies \(E^{j,p}\), \(j,p \in (0, \infty )\), O’Hara in Topology Hawaii (Honolulu, HI, 1990). World Science Publication, River Edge 1992. We study the negative gradient flow of the sum of one of the energies \(E^\alpha = E^{\alpha ,1}\), \(\alpha \in (2,3)\), and a positive multiple of the length. Showing that the gradients of these knot energies can be written as the normal part of a quasilinear operator, we derive short time existence results for these flows. We then prove long time existence and convergence to critical points.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
Is there an optimal way to tie a knot in Euclidean space? And if so, how nice are these optimal shapes? Is there a natural way to transform a given knot into this optimal shape?
To give a precise meaning to such questions a variety of energies for immersions have been invented and studied during the last twenty five years which are subsumed under the term knot energies.
In this article we deal with the third of the questions above. But first of all, let us gather some known answers to the first two questions.
The first family of geometric knot energies goes back to O’Hara. In [23], O’Hara suggested for \(j,p \in (0,\infty )\) the energy
of a regular closed curve \(c\in C^{0,1}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\). Here, \(d_c(x,y)\) denotes the distance of the points x and y along the curve \(c\), i.e., the length of the shorter arc connecting these two points.
O’Hara observed that these energies are knot energies if and only if \(jp > 2\) [23, Theorem 1.9] in the sense that then both pull-tight of a knot and selfintersections are punished. Furthermore, he showed that minimizers of the energies exist within every knot class if \(jp >2\). So: Yes, there is an optimal way to tie a knot—actually even several ways to do so.
Abrams et al. proved in [1] that for \(p\ge 1\) and \(jp -1 < 2p\) these energies are minimized by circles and that these energies are infinite for every closed regular curve if \(jp-1 \ge 2p\).Footnote 1
There is a reason why for the rest of our questions we will only consider the case \(p=1\): For \(p \not = 1\), we expect that the first variation of \(E^{j,p}\) leads to a degenerate elliptic operator of fractional order—even after breaking the symmetry of the equation coming from the invariance under re-parameterizations. We will only consider the non-degenerate case \(p=1\) and look at the one-parameter family
We leave the case \(p \not = 1\) for a later study.
The most prominent member of this family is \(E^2\) which is also known as Möbius energy due to the fact that it is invariant under Möbius transformations [14, Theorem 2.1]. While for \(\alpha \in (2,3)\) the Euler-Lagrange equation is a non-degenerate elliptic sub-critical equation it is a critical equation for the case of the Möbius energy \(E^2\).
In [14], Freedman, He, and Wang showed that even \(E^2\) can be minimized within every prime knot class. Whether or not the same is true for composite knot classes is an open problem, though there are some numerical experiments that indicate that this might not be the case in every such knot class [19]. Furthermore, they derived a formula for the \(L^2\)-gradient of the Möbius energy [14, Equation 6.12] which was extended by Reiter [24, Theorem 1.45] to the energies \(E^\alpha \) for \(\alpha \in [2,3)\). They showed that the first variation of these functionals can be given by
where
Here, \(P^\bot _{c'}(u) = u - \langle u, \frac{c'}{|c'|}\rangle \frac{c'}{|c'|}\) denotes the orthogonal projection onto the normal part, and \(\kappa = \kappa _c\) denotes the curvature vector of the curve \(c\), i.e. \(\kappa = \kappa _c= \left( \frac{d}{ds} \right) ^2 c\), where \(\frac{d}{ds}= \frac{1}{|c'|}\frac{d}{dx}\) is the derivative with respect to arc-length. Furthermore, \( p.v \int _{-\frac{1}{2}}^{\frac{1}{2}}= \lim _{\varepsilon \downarrow 0} \int _{[-1/2,1/2] \setminus [-\varepsilon , \varepsilon ]}\) denotes Cauchy’s principal value.
In the case that \(c\) is parameterized by arc length this reduces to
Using the Möbius invariance of \(E^2\), Freedman, He, and Wang showed that local minimizers of the Möbius energy are of class \(C^{1,1}\) [14]—and thus gave a first answer to the question about the niceness of the optimal shapes. Zheng-Xu He combined this with a sophisticated bootstrapping argument to find that minimizers of the Möbius energy are of class \(C^\infty \) [17]. Reiter could prove that critical points \(c\) of \(E^\alpha \), \(\alpha \in (2,3)\) with \(\kappa \in L^\alpha \) are smooth embedded curves [24], a result we extended to critical points of finite energy in [8] and to the Möbius energy in [9].
Let us now turn to the central theme of this article, the last of the three questions we started this article with: Is there a natural way to transform a given knot into its optimal shape? Since \(E^\alpha \) is not scaling invariant for \(\alpha \in (2,3)\), the \(L^2\)-gradient flow of \(E^\alpha \) alone cannot have a nice asymptotic behavior. We want to avoid that the curve would get larger and larger in order to decrease the energy. Here, the length L(c) of the curve c will help us.
To transform a given knotted curve into a nice representative, we will look at the \(L^2\)-gradient flow of \(E=E^\alpha + \lambda L\) for \(\alpha \in (2,3)\) and \(\lambda >0\) a fixed constant. This leads to the evolution equation
Another Ansatz for a flow that might transform a given curve into a critical point is to let \(\lambda \) depend on time in such a way that the length of the curve stays fixed during the flow. This leads to the evolution equation
where \(\lambda (t)\) is given by
Unfortunately, the extra term is much harder to control than in the case for constant \(\lambda \) due to its supercritical nature. We will not discuss this evolution equation further and leave it for a later study.
We will see that the right hand side of Eq. (1.4) can be written as the normal part of a quasilinear elliptic but non-local operator of order \(\alpha +1 \in [3,4)\).
The main result of this article is the following theorem. Roughly speaking, it tells us that, given an initial regular embedded curve of class \(C^\infty \), there exists a unique solution to the above evolution equations. This solution is immortal and converges to a critical point. More precisely we have:
Theorem 1.1
Let \(\alpha \in (2,3)\) and \(c_0 \in C^{\infty }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) be an injective regular curve. Then there is a unique smooth solution
to (1.4) with initial data \(c(0) = c_0\) that after suitable re-parameterizations converges smoothly to a critical point of \(E^\alpha + \lambda L\).
Note that we do not expect the above theorem to hold for the gradient flow of the Möbius energy \(E^2\). Due to the criticality of the equation one gets in the case of the Möbius energy the long time behavior of this equation should be much richer. Numerical experiments yield to the conjecture that for example the gradient flow of the Möbius energy can develop singularities for certain initial data. It would make even less sense to consider the negative gradient flow of \(E^2+\lambda L\) for a positive constant \(\lambda \). As \(E^2\) is scaling invariant the length term would force the flow to produce singularities in finite time.
Lin and Schwetlick showed similar results for the elastic energy plus some positive multiple of the Möbius energy and the length [20]. They succeeded in treating the term in the \(L^2\)-gradient coming from the Möbius energy as a lower order perturbation of the gradient of the elastic energy of curves. This allowed them to carry over the analysis due to Dziuk, Kuwert and Schätzle of the latter flow [12]. They proved long time existence for their flow and sub-convergence to a critical point up to re-parameterizations and translations.
The situation is quite different in the case we treat in this article. We have to understand the gradient of O’Hara’s energies in a much more detailed way and have to use sharper estimates than in the work of Lin and Schwetlick. Furthermore, in contrast to Lin and Schwetlick we show that the complete flow, without going to a subsequence and applying suitable translations, converges to a critical point of our energy.
We proceed with an outline of the proof of Theorem 1.1 and thus with an outline of the paper. In Sect. 2, we prove short time existence results of this flow for initial data in little Hölder spaces and smooth dependence on the initial data. To do that, we show that the gradient of \(E^\alpha \) is the normal part of an abstract quasilinear differential operator of fractional order (cf. Theorem 2.3). Combining Banach’s fixed-point theorem with a maximal regularity result for the linearized equation, we get existence for a short amount of time. In order to keep this article as easily accessible as possible, we give a detailed proof of the necessary maximal regularity result.
The most important ingredient to the proof of long time existence in Sect. 3.4 is a strengthening of the classification of curves of finite energy \(E^\alpha \) in [5] using fractional Sobolev spaces. For \(s \in (0,1)\), \(p \in [1,\infty )\) and \(k\in {\mathbb {N}}_0\) the space \(W^{k+s,p}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) consists of all functions \(f\in W^{k,p}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n )\) for which
is finite. This space is equipped with the norm \(\Vert f\Vert _{W^{k+s,p}} := \Vert f\Vert _{W^{k,p}} + |f^{(k)}|_{W^{s,p}}.\) For a thorough discussion of the subject of fractional Sobolev space we point the reader to the monograph of Triebel [26]. Chapter 7 of [2] and the very nicely written and easy accessible introduction to the subject [13].
We know that a curve parameterized by arc length has finite energy \(E^\alpha \) if and only if it is bi-Lipschitz and belongs to the space \(W^{\frac{\alpha +1}{2},2}\). In Theorem 3.2 we show that even
and hence the \(W^{\frac{\alpha +1}{2} ,2 }\)-norm of the flow is uniformly bounded in time.
To control higher order derivatives, we then derive the evolution equation of
where \(\kappa \) denotes the curvature of the curve \(c\) and \(\partial _s := \frac{\partial _x}{|c'(x)|}\) is the derivative with respect to the arc length parameter s. Note that in contrast to previous works like the work due to Dziuk, Kuwert, and Schätzle on the elastic flow or the work due to Lin and Schwetlick on the gradient flow of the elastic energy plus a positive multiple of the Möbius energy, we do not consider the normal derivatives of the curvature but the full derivatives with respect to arc length.
Using Gagliardo–Nirenberg–Sobolev inequalities for Besov spaces, which quite naturally appear during the calculation, together with a fractional Leibniz rule, we can then show that also the \(\mathcal E^k\) are bounded uniformly in time. By standard arguments this will lead to long time existence and smooth subconvergence to a critical point after suitable translations and re-parameterization of the curves.
To get the full statement, we study the behavior of solutions near such critical points using a Łojasiewicz–Simon gradient estimate in Sect. 4. This allows us to show that flows starting close enough to a critical point and remaining above this critical point in the sense of the energy, exist for all time and converge to critical points. More precisely we have.
Theorem 1.2
(Long time existence above critical points) Let \(c_{M}\in C^{\infty }(\mathbb {R}/\mathbb {Z}, {\mathbb {R}}^n)\) be a critical point of the energy \(E= E^\alpha + \lambda L\), \(\alpha \in (2,3)\), \(\lambda >0\), let \(k\in {\mathbb {N}}\), \(\delta >0\), and \(\beta >\alpha \). Then there is a constant \(\varepsilon >0\) such that the following is true:
Suppose that \((c_t)_{t\in [0,T)}\) is a maximal solution of the gradient flow of the energy E with smooth initial data satisfying
and
whenever there is a diffeomorphism \(\phi _t:{\mathbb {R}} / {\mathbb {Z}} \rightarrow {\mathbb {R}} /{\mathbb {Z}}\) such that \(\Vert c_t \circ \phi _t - c_M\Vert _{C^\beta }\le \delta \). Then the flow \((c_t)_t\) exists for all times and converges, after suitable re-parameterizations, smoothly to a critical point \(c_{\infty }\) of E satisfying
In contrast to Theorem 1.1, the analogue to Theorem 1.2 holds for the gradient flow of the Möbius energy alone [6, Theorem 5.1]. Note, that though the proof also works for the gradient flow of \(E^2+\lambda L\), \(\lambda \not =0\), the statement would be empty as there are no critical points of this energy. This is due to the fact that \(E^2\) is scaling invariant but L is not. The same is true for the energies \(E^\alpha - \lambda L\), \(\lambda \ge 0\).
Theorem 1.2 shows that in the situation of Theorem 3.1 the complete solution converges to a critical point of \(E^\alpha + \lambda L\)—even without applying any translations or re-parameterizations.
2 Short time existence
This section is devoted to an almost self-contained proof of short time existence for Eq. (1.4). We will show that for all \(c_0 \in C^\infty ({\mathbb {R}}/ {\mathbb {Z}})\) a solution exists for some time.
For any space \(X \subset C^1({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) we will denote by \(X_{ir}\) the (open) subspace consisting of all injective (embedded) and regular curves in X.
Theorem 2.1
(Short time existence for smooth data) Let \(c_0 \in C_{ir}^\infty ({\mathbb {R}} / {\mathbb {Z}})\) and \(\alpha \in [2,3)\). Then there exists some \(T = T(c_0) >0\) and a unique solution
of (1.4) with initial data \(c(0,\cdot )= c_0\).
We can strengthen the result above. In fact, we can reduce the regularity of the initial curve even below the level where our evolution equation makes sense. We still can prove existence and in a sense also uniqueness of a family of curves with normal velocity given by the gradient of \(E^\alpha + \lambda L\). For this purpose we will work in little Hölder spaces \(h^\beta \), \(\beta \notin {\mathbb {N}}\), which are the completion of \(C^\infty \) with respect to the \(C^\beta \)-norm. We equip this space with the norm \(\Vert \cdot \Vert _{h^\beta } = \Vert \cdot \Vert _{C^\beta }.\) Let \(\partial _t^\bot c\) denote the normal velocity, i.e. let \(\partial _t^\bot c= \partial _t c-\frac{ \left\langle \partial _t c, c' \right\rangle }{|c'|^2} c'\).
Theorem 2.2
(Short time existence for non-smooth data) For \(\alpha \in [2,3)\)
let \(c_0\in h^{\beta }_{i,r}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})\) for some \(\beta >\alpha \), \(\beta \notin {\mathbb {N}}\). Then there is a constant \(T>0\) and a re-parameterization \(\phi \in C^{\beta } ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} / {\mathbb {Z}})\) such that there is a solution
of the initial value problem
This solution is unique in the sense that for each other solution
and all \(t\in (0,\min (T,\tilde{T})]\) there is a smooth diffeomorphism \(\phi _t \in C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} / {\mathbb {Z}})\) such that
As in the special case of the Möbius energy dealt with in [6], these results are based on the fact that the functional \({\mathfrak V}^\alpha \) possesses a quasilinear structure—a statement that will be proven in the next subsection. After that we build a short time existence theory for the linearization of these equations from scratch and prove a maximal regularity result for this equation.
To get a solution of the evolution Eq. (1.4), we first have to break the symmetry that comes from the invariance of the equation under re-parameterizations. We do this by writing the time dependent family of curves c as a normal graph over some fixed smooth curve \(c_0\). Applying Banach’s fixed-point theorem as done in [4] for nonlinear and quasilinear semiflows, we get short time existence for the evolution equation of the normal graphs and and continuous dependence of the solution on the initial data. A standard re-parameterization then gives Theorem 2.1 while Theorem 2.2 is obtained via an approximation argument.
2.1 Quasilinear structure of the gradient
As
we can write
where
By exchanging every appearance of \(|c(x+w)-c(x)|\) and \(d_c(x+w,x)\) by their first order Taylor expansion \(|c'(x)||w|\) and \(|c'(x+w)|\) by \(|c'(x)|\) in the formula for \(\tilde{{\mathfrak V}}^\alpha \), we are led to the conjecture that the leading order term of \({{\mathfrak V}}^\alpha \) is the normal part of \(\frac{\alpha }{|c'|^{\alpha +1 }} Q ^\alpha (c)\) where
is an operator of order \(\alpha +1\) [24, Proposition 2.3], [17, Lemma 2.3].
This heuristic can be made rigorous using Taylor’s expansions of the error terms and estimates for multilinear Hilbert transforms (cf. Lemma 6.2) leading to the next theorem. It will be essential later on that the remainder term is an analytic operator between certain function spaces—which we denote by \(C^\omega \). We denote by \(H^\beta \), \(\beta >2\), the Bessel potential spaces.
Theorem 2.3
(Quasilinear structure) For \(\alpha \in (2,3)\) there is a mapping
such that
for all \(c\in H_{i,r}^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n}) \).
Proof of Theorem 2.3
It is enough to show that there is a mapping
such that
for all \(c\in H^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})\). The theorem then follows immediately using \({\mathfrak V}^\alpha c= P_{c'} ^\bot (\tilde{{\mathfrak V}}^\alpha c)= \frac{\alpha }{|c'|^{\alpha +1}} P_{c'}^\bot (Q^\alpha c)+ \tilde{F}^\alpha c- \langle \tilde{F}^\alpha c, \frac{c'}{|c'|} \rangle \frac{c'}{|c'|}\).
We decompose
where
Using Taylor’s expansion up to first order, we get
where
and
where
Together with the Taylor expansion
for \(\sigma >0\) and \(x >-1\), this leads to
and
Furthermore, we will use the identities
and
Plugging these formulas into the expressions for the terms \(R^\alpha _1, R^\alpha _2, R^\alpha _3, R^\alpha _4\) and factoring out, we see that they can be written as the sum of integrals as in the following Lemma 2.4. Hence, Lemma 2.4 completes the proof. \(\square \)
Lemma 2.4
For \(\tilde{l}_1 \le l_1\), \(\tilde{l}_2 \le l_2\), and \(\tilde{l}_3 \le l_3\) and a multilinear operator M let
i.e. we integrate over some of the \(\tau _i\) but not over all. Then for \(\tilde{\alpha } \in (0,1)\) the functionals
and
are analytic from \(C^{\beta + \tilde{\alpha }+2}\) to \(C^{\beta }\) for all \(\beta >0\).
Proof
The statement of the lemma for \(T_1\) follows immediately from the boundedness of the multilinear Hilbert transform in Hölder spaces as stated in Remark 6.3 combined with the Lemmata 5.2 and 5.3.
Using a similar argument, one deduces that \(c\rightarrow 1+ \tau X_c\) is analytic, hence we get that for a given \(c_0\) there is a neighborhood U such that
for all \(c\in U\) where C does not depend on w and \(\tau \). Using that \(v \rightarrow |v|^{\sigma }\) is analytic away from 0, we deduce that
using Lemma 5.2 and the fact that the composition of analytic functions is analytic. Hence, the integrands in the definitions of \(T_2\) and by the same argument also of \( \tilde{T}_2\) satisfy the assumptions of Lemma 5.3. Hence, \(T_2\) and \(\tilde{T}_2\) are even analytic operators from \(C^{\beta + 2}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) to \(C^{\beta } ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\). \(\square \)
2.2 Short time existence
Using the quasilinear form of \({\mathfrak V}^\alpha \), we derive short time existence results for the gradient flow of O’Hara’s energies in this section. For this task, we will work with families of curves that are normal graphs over a fixed smooth curve \(c_0\) and whose normal part belongs to a small neighborhood of 0 in \(h^\beta \), \(\beta > \alpha \).
To describe these neighborhoods, note that there is a strictly positive, lower semi-continuous function \(r:C_{i,r}^2({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n) \rightarrow (0,\infty )\) such that
only contains regular embedded curves for all \(c\in C_{i,r}^{2}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) and
Here, \(C^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)_c^\bot \) denotes the space of all vector fields \(N \in C^\beta ({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}}^n)\) which are normal to \(c\), i.e. for which \(\langle c'(u), N(u)\rangle =0\) for all \(u \in {\mathbb {R}} / {\mathbb {Z}}\). Letting
we have for all \(c\in h_{i,r}^{\beta }({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n)\)
Let \(N\in \mathcal V_{r,\beta }(c)\). Equation (2.3) guarantees that \(P^{\bot }_{(c+ N)'(u)} \) is an isomorphism from the normal space along \(c\) at u to the normal space along \(c+N\). Otherwise there would be a \(v\not =0\) in the normal space of \(c\) at u such that
which would contradict
For \(c\in C^1 ((0,T),C_{i,r}^1({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\) we denote by
the normal velocity of the family of curves.
We prove the following strengthened version of the short time existence result mentioned at the beginning of Sect. 2.
Theorem 2.5
(Short time existence for normal graphs) Let \(c_0\in C^{\infty }(\mathbb {R}/\mathbb {Z}, {\mathbb {R}}^n)\) be an embedded regular curve, \(\alpha \in [2,3)\), and \(\beta >\alpha \), \(\beta \notin {\mathbb {N}}\).
Then for every \(N_0 \in \mathcal V_{r,\beta } (c_0)\) there is a constant \(T=T(N_0)>0\) and a neighborhood \(U\subset \mathcal V_{r,\beta }(c_0)\) of \(N_0\) such that for every \(\tilde{N}_0 \in U\) there is a unique solution \(N_{\tilde{N}_0}\in C([0,T),h^{\beta }(\mathbb {R}/\mathbb {Z})_{c_0}^{\bot })\cap C^1((0,T),C^{\infty }(\mathbb {R}/\mathbb {Z})_{c_0}^{\bot })\) of
Furthermore, the flow \((\tilde{N}_0,t) \mapsto N_{\tilde{N}_0}(t)\) is in \(C^\infty ((U \times (0,T)),C^{\infty }(\mathbb {R}/\mathbb {Z}))\).
The proof of Theorem 2.5 consists of two steps. First we show that (2.5) can be transformed into an abstract quasilinear system of parabolic type. The second step is to establish short time existence results for the resulting equation.
The second step can be done using general results about analytic semigroups, regularity of pseudo-differential operators with rough symbols [7], and the short time existence results for quasilinear equations in [4] or [3]. Furthermore, we need continuous dependence of the solution on the data and smoothing effects in order to derive the long time existence results in Sect. 4.
For the convenience of the reader, we go a different way here and present a self-contained proof of the short time existence that only relies on a characterization of the little Hölder spaces as trace spaces. In Sect. 2.2.1, we deduce a maximal regularity result for solutions of linear equations of type \(\partial _t u +a(t) Q^{s-1} u +b(t)u =f\) in little Hölder spaces using heat kernel estimates. Following ideas from [4], we then prove short time existence and differentiable dependence on the data for the quasilinear equation.
2.2.1 The linear equation
We will derive a priori estimates and existence results for linear equations of the type
using little Hölder spaces, where \(b(t) \in L( h^\beta ({\mathbb {R}} / {\mathbb {Z}},{\mathbb {R}}^n), h^\beta ({\mathbb {R}} /{\mathbb {Z}} , {\mathbb {R}}^n))\) and \(a(t) \in h^\beta ({\mathbb {R}} / {\mathbb {Z}},(0,\infty ))\), \(s\in [3.4)\).
For \(\theta \in (0,1)\), \(\beta >0\), and \(T>0\) we will consider solutions that lie in the space
and equip this space with the norm
The right hand side f of our equation should then belong to the space
equipped with the norm
From the trace method in the theory of interpolation spaces (cf. [21, Section 1.2.2]), the following relation of the space \(X_{\theta ,\beta }\) to the little Hölder space \(h^{\beta +s\theta }\) is well known if \(\beta + s \theta \) is not an integer:
If \(u\in X^{\theta , \beta }_{T}\) then u(t) converges in \(h^{\beta + s \theta }\) to a function u(0) as \(t \searrow 0\) with
On the other hand, for every \(u_0 \in h^{\beta + s \theta }\) there is a \(u \in X^{\theta , \beta }_{T}\) such that u(t) converges in \(h^{\beta + s \theta }\) to u(0) for \(t \rightarrow 0\) and
Given \(u_0\) we will see that the solution of the initial value problem
satisfies (2.7). The well-known embedding \(X_T^{\theta , \beta } \subset C^{\theta }((0,T), C^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n))\) will also be essential in the proof (cf. [21, p. 20].
The aim of this subsection is to prove the following theorem about the solvability of our linear equation:
Theorem 2.6
Let \(T>0\), \(\beta >0\), \(\theta \in (0,1)\) with \(\beta +s\theta \notin {\mathbb {N}}\), and
with
Then the mapping \(J:u \mapsto (u(0), \partial _t u + a Q^{s-1}u + bu)\) defines an isomorphism between \(X^{\theta , \beta }_T\) and \(h^{\beta +\theta s} ({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n)\times Y^{\theta , \beta }_T\).
This will be enough to prove short time existence of a solution for some quasilinear equations later on using Banach’s fixed-point theorem.
Equation (2.6) already guarantees that J is a bounded linear operator. So we only have to prove that it is onto for which we will use some a priori results (also called maximal regularity results in this context) together with the method of continuity.
To derive these estimates, we will freeze the coefficients and use a priori estimates for \(\partial _t u+ \lambda (-\Delta )^{s/2} u = f\) on \({\mathbb {R}}\) where \(\lambda >0\) is a constant. He observed in [16], that the fractional Laplacian can be expressed by
for a \(c_{s}>0\) for all \(u \in H^{s}({\mathbb {R}}, {\mathbb {R}}^n)\). We will use this identity together with a localization argument to get from \((-\Delta )^{s/2}\) living on \({\mathbb {R}}\) back to our operator \(Q^{s-1}\) which lives on the circle \({\mathbb {R}} / {\mathbb {Z}}\).
Note that the fractional Laplacian \((-\Delta )^{s/2}\) on \({\mathbb {R}}\) is bounded from \( C_0^{s + \beta }({\mathbb {R}}, {\mathbb {R}}^n)\), the space of all \(C^{s+\beta }\) function with compact support, to \(C^{\beta }({\mathbb {R}} , {\mathbb {R}}^n)\) for all \(\beta > 0\), \(\beta \notin {\mathbb {N}}\).
Let us consider the heat kernel of the equation \(\partial _tu + (-\Delta )^{s/2} u = 0\) which is given by
for all \(t>0\) and \(x \in {\mathbb {R}}\).
Since \(k\mapsto e^{-t|2 \pi k|^s}\) is a Schwartz function, its inverse Fourier transform \(G_t\) is a Schwartz function as well. Furthermore, one easily sees using the Fourier transformation that
The most important property for us is the scaling
from which we deduce
and hence
Combining these relations with standard interpolation techniques, we get the following estimates for the heat kernel
Lemma 2.7
(Heat kernel estimates) For all \(0\le \beta _1 \le \beta _2\), and \(T >0\) there is a constant \(C=C(\beta _1, \beta _2, T)< \infty \) such that
Proof
Let \(k_i \in {\mathbb {N}}_0\) and \(\tilde{\beta }_i \in [0,1)\) be such that \(\beta _i = k_i +\tilde{\beta }_i\) for \(i=1,2\).
For \(l>m\), \(l,m \in {\mathbb {N}}_0\) and \(\beta \in (0,1)\), we deduce from \(\int _{{\mathbb {R}} } \partial _x^{l-m}G_t(y)dy=0\) and the fact that \(G_1\) is a Schwartz function
For all \(l\ge m\), \(\beta \in (0,1)\) we have
as for all \(x_1,x_2 \in {\mathbb {R}}\)
In a similar way we obtain for all \(l\ge m\)
Combining these three estimates, we get
and if \(k_2>k_1\)
Furthermore, we will use that for \(0\le \alpha \le \beta \le \gamma \le 1\), \(\alpha \not = \gamma \) and \(f\in C^\gamma \) we have the interpolation inequality
which can in the case of \(\alpha >0\) be obtained from
and in the case that \(\alpha =0\) from
For \(\tilde{\beta }_2 \ge \tilde{\beta }_1\) we get
For \(\tilde{\beta }_1> \tilde{\beta }_2\) and hence \(k_1<k_2\), we obtain
\(\square \)
To derive a representation formula for the solution of \(\partial _t u + (-\Delta )^{s/2}u =f\), we need the following simple fact
Lemma 2.8
For all \(t>0\) we have
Furthermore, for all \(f\in h^\beta ({\mathbb {R}},{\mathbb {R}}^n)\), \(\beta \notin {\mathbb {N}}\), there holds
Proof
For \(g \in L^2({\mathbb {R}})\) let \(\hat{g}\) denote the Fourier transform of g.
For \(t>0\) and \(f\in L^2({\mathbb {R}})\) we obtain from Lebesgue’s theorem of dominated convergence
Hence, Plancherel’s formula shows
Setting \(f= \chi _{[-1,1]}\) and observing
we deduce that
To prove the second part, let \(f\in h^\beta ({\mathbb {R}}, {\mathbb {R}}^n)\). From convergence results for smoothing kernels we get for all \(\tilde{f} \in C^\infty ({\mathbb {R}})\)
Since \(h^\beta ({\mathbb {R}}, {\mathbb {R}}^n)\) is the closure of \(C^\infty ({\mathbb {R}} , {\mathbb {R}} ^n)\) under \(\Vert \cdot \Vert _{C^\beta }\), this proves the statement. \(\square \)
Linking the heat kernel \(G_t\) to the evolution equation \(\partial _t u+ \lambda (-\Delta )^{s/2} u =f \) for constant \(\lambda >0\) we derive the following a priori estimates.
Lemma 2.9
(Maximal regularity for constant coefficients) For all \(\beta >0 \), \(\theta \in (0,1)\) with \( \beta + s \theta \notin {\mathbb {N}}\), and \(0<T<\infty \), \(\lambda >0\) there is a constant \(C=C(\beta , \theta ,T,\lambda )\) such that the following holds:
Let \(u\in C^1((0,T), h^\beta ({\mathbb {R}} , {\mathbb {R}}^n))\cap C^0((0,T),h^{s+\beta }({\mathbb {R}} )) \cap C^0([0,T), h^{\beta + s\theta }({\mathbb {R}}))\) such that u(t) has compact support for all \(t\in (0,T)\). Then
Proof
Setting \(\tilde{u}(t,x) := u(t, \lambda ^{1/s}x)\) and observing that \(\partial _t \tilde{u} (x,t)+ (-\Delta )^{s/2} \tilde{u}(x,t) = \partial _t u (t, \lambda ^{1/s}x) + \lambda (-\Delta )^{s/2} u(t,\lambda ^{1/s} x)\), one sees that it is enough to prove the lemma for \(\lambda =1\)
To this end, we first show that Duhamel’s formula
holds, where \(f=\partial _t u + (-\Delta )^{s/2}u\). For fixed \(t>0\) we decompose the integral in equation (2.19) into
and
and see that
As our assumptions imply that \(u(t) \in H^s({\mathbb {R}}, {\mathbb {R}}^n)\), we get, comparing the Fourier transform of both sides,
Partial integration in time and equation (2.20) yields
in \(C^\beta \) as \(\varepsilon \searrow 0\). This proves Equation (2.19).
From Lemma 2.7 we get
We decompose \(v(t) := \int _0^t G_{t-\tau } *f(\tau ,\cdot )d\tau = v_1 (t) + v_2(t)\) where
Then the definition of \(\Vert \cdot \Vert _{Y^{\theta ,\beta }_T}\) and the estimates for the heat kernel in Lemma 2.7 lead to
As
for \(\xi >0\) and \(\eta \in (0,1)\), we get
and
Hence, by the estimate (2.6) for \(X^{\eta ,s+\beta -s \eta }_{T/2}\)
From (2.19), (2.21), (2.22), and (2.23) we obtain the desired estimate for \(\Vert u\Vert _{C^{s+\beta }}.\)
The estimate for \(\partial _t u\) then follows from \(\partial _t u = f - (-\Delta ) ^{s/2} u\) and the triangle inequality. \(\square \)
Lemma 2.10
(Maximal regularity) Let \(\Lambda ,T>0\), \(n \in {\mathbb {N}}\), and \(\beta >0\), \(\theta \in (0,1)\) with \(\beta +s\theta \notin {\mathbb {N}}\) be given. Then there is a constant \(C=C(\Lambda , \beta , \theta ,n,T), <\infty \) such that the following holds: For all
with
and all \(u\in C^1((0,T), h^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\cap C^0((0,T),h^{s+\beta }) \cap C^0([0,T], h^{\beta + s\theta })\) we have
i.e.
Proof
Note that it is enough to prove the statement for small T. Let us fix \(T_0>0\) and assume that \(T \le T_0\). Furthermore, we use the embedding \(h^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n) \rightarrow h^\beta ({\mathbb {R}} , {\mathbb {R}}^n)\) and extend the definition of \(Q^{s-1}\) to functions f defined on \({\mathbb {R}}\) by setting
Step 1 \(\beta \in (0,1)\) and \(b=0\)
Let \(\phi , \psi \in C^\infty ({\mathbb {R}})\) be two cutoff functions satisfying
and \(\phi _r(x) := \phi (x/r )\), \(\psi _r(x) =\psi (x/r)\). We set
For \(r < 1/8\) we set \(a_0 = a(0,0)\) and calculate
where
From Lemma 2.9 we get
Using Lemma 7.1, we obtain
Using \(|a(x,t)- a_0| \le (|x|^\beta + T)\), we derive
where \(C_1\) does not depend on r or T. Since \({{\mathrm{spt}}}(1-\psi _r) \subset {\mathbb {R}} -B_{2r}(0)\) and \({{\mathrm{spt}}}\phi _r \subset B_r(0)\), we see that
and hence
This leads to
Furthermore,
since for \(v\in C^{s+\beta }({\mathbb {R}})\) with compact support we have
and hence
Summing up, we thus get
where \(C_1\) does not depend on r. Choosing r and T small enough and absorbing the first term on the right hand side, leads to
Of course, the same inequality holds for all balls of radius r / 4. Thus, covering [0, 1] with balls of radius r / 4 we obtain
Using the interpolation inequality for Hölder spaces
and absorbing, this leads to
Since
we can absorb the first term for \(T>0\) small enough to obtain
Step 2 General \(\beta \) but \(b=0\)
Let \(k\in {\mathbb {N}}_0\), \(\tilde{\beta } \in (0,1)\) and let the lemma be true for \(\beta = k+\tilde{\beta }\). We deduce the statement for \(\beta = k+1 + \tilde{\beta }\).
From \(\partial _t u + a Q^{s-1}u =f\) we deduce that
and we obtain by applying the induction hypothesis to get
Step 3 General \(\beta \) and b
From Step 2 we get
As
and by (2.24)
we get, absorbing the first term for \(T>0\) small enough,
\(\square \)
Now we can finally prove Theorem 2.6.
Proof of Theorem 2.6
It only remains to show that this mapping J is onto. To prove this, we use the method of continuity for the family of operators \(J_\tau : u \mapsto (u(0),\partial _t u + ((1-\tau )\lambda Q^{s-1} u + \tau (a Q^{s-1}u + bu))\). In view of Lemma 5.2 in [15], we have to show is that \(J_0\) is onto.
By [17, Lemma 2.3] and [24, Proposition 1.4] we have for all \(f \in H^s ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n )\)
where
for some positive constants \(c_s\). For \(u_0,f\) in \(C^\infty \) a smooth solution of the equation
can be given by Duhamel’s formula
This formula can easily be checked comparing the Fourier coefficients.
Let now \(u_0 \in h^{\beta + s \theta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n)\) and \(f \in Y_T ^{\theta , \beta }\). We set \(f_k(t) := f(t+1/k)\) and observe that
for all \(\varepsilon >0.\) Since \(f_k \in C^0 ([0, T-1/k], h^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\), we can find functions \(f_{n,k} \in C^{\infty } ([0, T-1/k] \times {\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n) \) such that \(f_{n,k} \rightarrow f_k\) in \(C^0 ([0, T-1/k], C^\beta )\) for \(n\rightarrow \infty \) and smooth \(u_0^{(n)}\) converging to \(u_0\) in \(h^{\beta +s\theta }\). Let \(u_{n,k} \in C^\infty \) be the solution of
Using the a priori estimate of Lemma 2.10, one deduces that the sequence \(\{u_{n,k}\}_{n \in {\mathbb {N}}}\) is a Cauchy sequence in \(X_{T-\varepsilon } ^{\theta , \beta }\) for every \(\varepsilon >0\). The limit \(u_n\) solves the equation
Using the a priori estimates again, one sees that \(\{u_k\}_{k\in {\mathbb {N}}}\) is bounded in \(X_{T-\varepsilon }^{\theta ,\beta }\). Since \(X^{\theta ,\beta }_{T-\varepsilon }\) is embedded continuously in \(C^{\theta /2}([0,T-\varepsilon ], h^{\beta +s \frac{\theta }{2} })\) and \(C^{1-\eta }([\delta ,T-\varepsilon ], h^{\beta +s\eta })\) for all \(\eta \in (0,1), \varepsilon , \delta >0\), we can assume, after going to a subsequence, that there is a \(u_\infty \in X^{\theta , \beta }_T\) such that
for \(0\le \tilde{\beta } < \beta , \varepsilon >0\) and
Hence we get
for all \(\varepsilon >0\) which implies that \(u_\infty \) solves
2.2.2 The quasilinear equation
Now we are in position to prove short time existence for quasilinear equations and \(C^1\)-dependence on the initial data.
Proposition 2.11
(Short time existence) Let \(0<\beta \), \(0< \theta< \sigma <1 \), \(\beta ,\beta +s\theta , \beta +s \sigma \notin {\mathbb {N}}_0\), \(U \subset C^{\beta +s\theta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) be open and let \(a \in C^1(U, C^\beta ({\mathbb {R}} / {\mathbb {Z}}, (0,\infty )))\), \(f \in C^1(U, C^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\).
Then for every \(u_0 \in h^{\beta +s\sigma }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\cap U\) there is a constant \(T>0\) and a unique \(u \in C^0([0,T),h^{\beta + s \sigma }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n)) \cap C^1((0,T), h^{s+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\) such that
Proof
Let us first prove the existence. We set \(\tilde{X}^{\sigma , \beta }_T :=\{w \in X^{\sigma , \beta }_T: w(0)=u_0\}\). For \(w \in \tilde{X}^{\sigma , \beta }_T({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) let \(\Phi w\) denote the solution u of the problem
where \(A_0 = a(u_0)Q^{s-1}\) and \(B(w) = (a(u_0)-a(w)) Q^{s-1} \).
Let v be the solution of
and \(\mathcal B_r (v):=\{w \in \tilde{X}_T^{\sigma , \beta }: \Vert w-v\Vert _{X_T^{\sigma , \beta }}\le r\}.\) We will show that \(\Phi \) defines a contraction on \(\mathcal B_r (v)\) if \(r,T>0\) are small enough.
Since \(a\in C^1(U, h^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n ))\), we get
for all \(z,u \in C^{\beta +s\theta }\) close to \(u_0\).
Let \(w_1,w_2 \in \mathcal B_r (v)\), \(r \le 1\). Using that the space \(X^{\sigma , \beta }_T \) is embedded continuously in \(C^{\sigma -\theta }([0,T],h^{\beta +s\theta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\) and \(w_1(0)=w_2(0)=v(0)=u_0\) we get
Using Lemma 2.10, we estimate
As
and
we get the estimate
Hence, \(\Phi \) is a contraction on \(\mathcal B_r(v)\) if T and r are small enough.
Similarly, we deduce from
using Lemma 2.10 that
if T and r are small enough. Then \(\phi (\mathcal B_r(v)) \subset \mathcal B_r (v)\). Hence, by Banach’s fixed-point theorem there is a unique \(u \in B_r (v)\) with \(\partial _t u + a(u) Q^{s-1}(u) u = f(u)\).
For the uniqueness statement, we only have to guarantee that every solution is in \(Y^{\sigma , \beta }_T\). But this follows from Lemma 2.10. \(\square \)
Proposition 2.12
(Dependence on the data) Let a, b be as in Proposition 2.11 and \(u\in Y^{\theta , \beta }_T\) be a solution of the quasilinear equation
Then there is a neighborhood U of \(u_0\) in \(h^{\beta + s\theta }\) such that for all \(x \in U\) there is a solution \(u_x\) of
Furthermore, the mapping
is \(C^1\).
Proof
We define \(\phi :h^{\beta + s \theta }({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n) \times X^{\theta , \beta }_T \rightarrow Y^{\theta , \beta }_T \) by
Then the Fréchet derivative of \(\phi \) with respect to u reads as
Setting \(a(t) =a(u(t))\) and \(b(t)(h) = a'(u) h Q^{s-1}u\), Theorem 2.6 tells us that this is an isomorphism between \(X^{\theta , \beta }_T\) and \(h^{\beta +s\theta }\times Y^{\theta , \beta }_T \). Hence, the statement of the lemma follows from the implicit function theorem on Banach spaces. \(\square \)
2.2.3 Proof of Theorem 2.5
Since the normal bundle of a curve is trivial, we can find smooth normal vector fields \(\nu _{1},\dots ,\nu _{n-1}\in C^{\infty }(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})\) such that for each of \(x\in \mathbb {R}/\mathbb {Z}\) the vectors \(\nu _{1}(x),\ldots ,\nu _{n-1}(x)\) form an orthonormal basis of the space of all normal vectors to \(c_{0}\) at x. Let \({\tilde{{\mathcal {V}}}}_{r,\beta } (c_0) := \{(\phi _1, \ldots , \phi _{n-1}) \in h^{\beta }({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^{n-1}): \sum _{i=1}^{n-1} \phi _i \nu _i \in \mathcal V_{r,\beta }(c_0)\}\).
If we have \(N_{t}= \sum _{i=1}^{n-1} \phi _{i,t}\nu _{i}\), \((\phi _{1,t}, \dots \phi _{n-1,t}) \in \tilde{ \mathcal V}_{r,\beta } (c)\), then (2.5), using Theorem 2.3, can be written as
where
Using Lemma 7.1 we see that \(\tilde{F}\in C^w(C^{2 + \beta }, C^{\beta })\) for all \(\beta >0\) and hence especially \(\tilde{F}\in C^w(C^{\alpha + \beta }, C^{\beta })\) for all \(\beta >0\). Furthermore, the term \(\lambda \kappa \) belongs to \(C^\omega (C^{\alpha + \beta }, C^{\beta })\). Since (2.3) implies that \(\{P_{c'}^{\bot }\nu _{r}: r=1, \ldots , n-1\}\) is a basis of the normal space of the curve \(c\) at the point u, the mapping \(A:\mathbb {R}^{n-1}\rightarrow \left( {\mathbb {R}} c'(u)\right) ^{\bot },\) \((x_{1},\dots ,x_{n-1})\mapsto \sum _{i=1}^{n-1} x_{i}P_{c'(u)}^{\bot }\nu _{i}\) is invertible as long as \(\Vert c'-c_0'\Vert _{L^\infty } < 1\).
So we have brought the evolution equation into the form
where \(A^{-1}\left( \tilde{F}(\phi _{t})+\lambda \kappa \right) \in C^{\omega }(h^{\alpha + \beta },h^{\beta })\) for all \(\beta >0\). Now the statement follows from Proposition 2.11, Proposition 2.12, and a standard bootstrapping argument.
2.2.4 Proof of Theorem 2.1
From Theorem 2.5 we get a smooth solution of
Let \(\phi _t(x)\) for \((x,t) \in {\mathbb {R}} / {\mathbb {Z}} \times [0,T)\) denote the solution of
We calculate for \({\tilde{c}}_t = c_t \circ \phi _t\)
2.2.5 Proof of Theorem 2.2
The proof of Theorem 2.2 is an immediate consequence of Theorem 2.5 and the following approximation argument
Lemma 2.13
Let \(r:h^{2+\beta }_{i,r} ({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}}^n) \rightarrow (0,\infty )\) be a lower semi-continuous function. Then for every \(\tilde{c}amma \in h^{2+\beta }_{i,r} ({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}}^n)\) there is a \(\gamma \in C^\infty _{i,r}({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n)\), \(N \in \mathcal V_r (\gamma )\) and a diffeomorphism \(\psi \in C^{2+\beta }({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}} / {\mathbb {Z}})\) such that \(\tilde{c}amma \circ \psi = \gamma + N \).
Proof of Lemma 2.13
Let \(\tilde{c} \in h_{i,r}^{2+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) and let us set \(c_0 =c\) and \(c_\varepsilon := \phi _\varepsilon *\tilde{c}\) where \(\phi _\varepsilon (x)= \varepsilon ^{-1} \phi (x/\varepsilon )\) is a smooth smoothing kernel. Since \(h_{i,r}^{2+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) is an open subset of \(h^{2+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) and \((\varepsilon \rightarrow c_\varepsilon ) \in C^0([0,\infty ), h^{2+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\), we get \(c_\varepsilon \in h^{2+\beta }_{i,r}({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n)\) for \(\varepsilon \) small enough.
Since \(c_{\varepsilon } \in C^0 ([0,\infty ), h^{2+\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\) there is an open neighborhood U of the set \(c({\mathbb {R}} / {\mathbb {Z}})\) and an \(\varepsilon _0 >0\) such that the nearest neighborhood retract \(r_\varepsilon :U \rightarrow {\mathbb {R}} / {\mathbb {Z}}\) onto \(c_\varepsilon \) is defined on U simultaneously for all \(0 \le \varepsilon < \varepsilon _0\). Note, that these retracts \(r_\varepsilon \) are smooth as the curves \(c_\varepsilon \) are smooth and
belongs to \(C^0 ([0,\varepsilon _0),C^{1+\beta })\).
We set \(\psi _\varepsilon (x):= r_\varepsilon (c(x))\). Now \(\psi _{0} = id_{{\mathbb {R}} / {\mathbb {Z}}}\), \(\psi _{\varepsilon }\) is a \(C^{1+\beta }\) diffeomorphism for \(\varepsilon >0\) small enough since the subset of diffeomorphism is open in \(C^{1+\beta }\). Hence, we can set \(N_\varepsilon (x) = c_\varepsilon ( \psi _{\varepsilon }^{-1}(x))-c_0 (x)\) for \(\varepsilon _0\) small enough. We will show that \(c:=c_\varepsilon \), \(N:=N_\varepsilon \), and \(\psi :=\psi _\varepsilon \) satisfy the statement of the lemma if \(\varepsilon \) is small enough.
From \(\psi _\varepsilon (x):= r_\varepsilon (c(x))\) we deduce that \(\psi _{\varepsilon } \) is in fact a \(C^{2+\beta }\) diffeomorphism, as \(r_\varepsilon \) is smooth.
Since
and \(N_0 =0\), we furthermore get
Since r is lower semi-continuous and \(r{(c_{0})} >0\), we hence get \(\Vert N_{\varepsilon }\Vert _{C^1} < r({c_{\varepsilon }})\) for small \(\varepsilon \). As \(N_{\varepsilon } \in h^{2+\beta }\) we deduce that \(N_\varepsilon \in \mathcal V_{r} (c_\varepsilon )\) if \( \varepsilon >0\) is small enough. \(\square \)
Proof
Let \(\tilde{c}_0 \in h_{i,r}^\beta ({\mathbb {R}} / {\mathbb {Z}})\). By Lemma 2.13 there is a curve \(c_0 \in C^\infty _{i,r}\), an \(N_0 \in \mathcal V_{r,\beta }(c)\) and a diffeomorphism \(\psi \in C^\beta \) such that
Theorem 2.5 tells us that there is a solution \( c_t = c_0 + N_{N_0,t}\) of
The family of curves \(c_t \circ \psi ^{-1}\) is a solution we were looking for.
If on the other hand \(\tilde{c}_t\) is a solution as in the theorem for the initial data \(\tilde{c}_0\), then for some time there is a \(N_t\) and a smooth family of reparametrizations \(\tilde{\psi }_t\) such that \(c_t \circ \tilde{\psi }_t= \tilde{c}_0 + N_t\) and
The uniqueness now follows from the uniqueness of the solution to the above equation in Theorem 2.5. \(\square \)
3 Long time existence
The aim of this section is to prove the following long time existence result.
Theorem 3.1
Let \(c_0 \in C^{\infty }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\). Then there exists a unique solution \(c\in C^0([0,\infty ),C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)) \cap C^{\infty }((0,\infty ),C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n))\) to (1.4) with initial data \(c(0) = c_0\). This solution subconverges, after suitable re-parameterizations and translations, to a smooth critical point of \(E^\alpha + \lambda L\).
Let me first sketch the strategy of the proof. Since we are looking at negative gradient flows of \(E^{\alpha }+\lambda L\) we have for a solution \(c(t)\) of Eq. (1.4)
for all \(t \in [0,T)\). So both, the energy and the length of the curve, is uniformly bounded in time. As Abrams et al. [1] have shown that
for all closed curves \(c\) of unit length, we get from the scaling of the energy
and thus
uniformly in t.
We will show that the energies \(E^{\alpha }\) are coercive in \(W^{\frac{\alpha +1 }{2}, 2}\) (cf. Theorem 3.2) in Sect. 3.1. Together with the above inequalities this implies that the \(W^{\frac{\alpha -1 }{2} , 2}\) norm of the unit tangents of the curve is uniformly bounded.
To get higher order estimates, we calculate the evolution equations of the terms
(cf. 3.3) in Sect. 3.2 and show that the resulting terms can be estimated using Gagliardo–Nirenberg–Sobolev inequalities for fractional Sobolev spaces and Besov spaces.
In the Sect. 3.4 we put all these pieces together to show that the solution to the flow exists for all time and subconverges after suitable translations and re-parameterizations if necessary to a critical point.
3.1 Coercivity of the energy
Theorem 1.1 in [5] states that for curves parameterized by arc length, the energy \(E^\alpha \) is finite if and only if the curve is injective and belongs to \(W^{\frac{\alpha +1}{2},2}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\).
One of the most important ingredients in the proof of the long time existence result is the following quantitative version of the regularizing effects of Theorem 1.1 in [5]:
Theorem 3.2
(Coercivity of \(E^\alpha \)) Let \(c\in C^{1}({\mathbb {R}} / l {\mathbb {Z}} , {\mathbb {R}}^n )\), \(l >0\), be a curve parametrized by arc length and \(\alpha \in [2,3)\). Then there exists a constant \(C=C(\alpha )< \infty \) depending only on \(\alpha \) such that
Proof
We have
Using Fubini and successively substituting u by \(u+\tau _1 w\) and then w by \((\tau _2 - \tau _1)w\), we get
and finally
\(\square \)
3.2 Evolution equations of higher order energies
As for most of our estimates the precise algebraic form of the terms does not matter, we will use the following notation to describe the essential structure of the terms.
For two Euclidean vectors v, w, the term \(v *w\) stands for a bilinear operator in v and w into another Euclidean vector space. For a regular curve \(c\), let \(\partial _s = \frac{\partial _x}{|c'|}\) denote the derivative with respect to arc length denoted by s and let \(\tau = \partial _s c= \frac{c'}{|c'|}\) be the unit tagent vector along \(c\). For \(\mu , \nu \in {\mathbb {N}}\), a regular curve \(c\in C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) and a function \(f: {\mathbb {R}} / {\mathbb {Z}} \rightarrow {\mathbb {R}}^k\) we let \(P^{\mu }_\nu (f)\) be a linear combination of terms of the form \(\partial _s^{j_1} f *\cdots *\partial _s^{j_\nu } f\), \(j_1 + \cdots + j_\nu =\mu \). Furthermore, given a second function \(g: {\mathbb {R}} / {\mathbb {Z}} \rightarrow {\mathbb {R}}^k\) the expression \(P^{\mu }_{\nu }(g,f)\) denotes a linear combination of terms of the form \(\partial _s^{j_1} g *\partial _s^{j_2} f *\partial _s^{j_3} f *\cdots *\partial _s^{j_\nu } f\), \(j_1 + \cdots + j_\nu =\mu \).
Let \(c_t\) be a smooth family of smooth closed curves moving only in normal direction, i.e., \(V:=\partial _t c_t\) is normal along \(c_t\). For the convenience of the reader let us derive some basic evolution equations which in similar forms can be found in (cf. [12]. Using that V is pointing in a normal direction we get
Hence,
and thus
Furthermore,
Using these equations, we inductively deduce the following evolution equations of arbitrary derivatives of the curvature.
Lemma 3.3
Let \(I\subset {\mathbb {R}}\) be open and \(c: {\mathbb {R}} / l{\mathbb {Z}} \times I \rightarrow {\mathbb {R}}\) be a smooth family of curves such that \(V:= \partial _t c\) is normal along \(c\), i.e. \(\langle V(s,t), c'(s,t)\rangle = 0\). Then
for all \(k \in {\mathbb {N}}_0.\)
Proof
By (3.4) the statement is true for \(k=0\). If the statement was true for some k then
Hence, induction gives the assertion. \(\square \)
An immediate corollary of Lemma 3.3 and (3.2) is the following.
Corollary 3.4
Let \(c\) be a family of curves moving with normal speed V. Then
Proof
We have
Together with Lemma 3.3 and (3.2) we get
Partial integration for the second term on the left hand side yields the claim. \(\square \)
3.3 Interpolation estimates
In this section we will prove several estimates that will be needed later in the proof of the long time existence result. In a natural way the Besov spaces \(B^{s,p}_q\) appear during our calculations.
Lemma 3.5
(Gagliardo–Nirenberg–Sobolev type estimates for a typical term) For \(\alpha \in [2,3)\) let \(j_1, \ldots , j_{\nu +2} \in {\mathbb {N}}\), \(j_1, \ldots , j_{\nu }\ge 2\), and \(s > \frac{3}{2}\) be such that there are \(p_1, \ldots , p_{\nu + 2} \in [1, \infty ]\) with
\( \frac{\alpha }{2} \le j_i - \frac{1}{p_i} \le s + \frac{\alpha }{2} \) for \(i=1, \ldots , \nu \) and \( j_{i} - \frac{1}{p_i} \le s+ \frac{1}{2} \) for \(i=\nu +1, \nu +2\). Let \(\theta := (\sum _{i=1}^{\nu +2} j_i - \nu \frac{\alpha }{2} -2 )/s\).
Then for all \(\Lambda < \infty \) there is a \(C=C(\Lambda )\) such that
holds for all \(f \in C^{\infty }( {\mathbb {R}} / l {\mathbb {Z}}, {\mathbb {R}}^n)\) if \(\Lambda ^{-1} \le l \le \Lambda \), \(\sigma _i \in {\mathbb {R}}\).
Proof
Using Hölder’s inequality for the integration with respect to u, we get
Substituting w by \((\tau _1 - \tau _2) w\) we can estimate this further by
Scaling the Gagliardo–Nirenberg–Sobolev estimates (Theorem 8.1), the last term can be estimated from above by
where \(\theta _i := \frac{\left( j_i - \frac{1}{p_i}\right) - \frac{\alpha }{2}}{s} \) for \(i =1, \ldots , \nu \) and \(\theta _i := \frac{(j_i - \frac{1}{p_i}) - \frac{1}{2}}{s} \) for \(i=\nu +1, \nu +2\). Thus the assertion of the theorem follows. \(\square \)
We will now use the lemma above to estimate a typical term that repeatedly will appear in the later calculations.
Lemma 3.6
(Estimates for terms containing the energy integrand) For all \(\Lambda <\infty \) there is a \(C(\Lambda ) < \infty \) such that the following holds:
Let \(\Lambda ^{-1} \le l \le \Lambda \) and \(c\in C^{\infty } ({\mathbb {R}} / l{\mathbb {Z}}, {\mathbb {R}}^n)\) be a curve parameterized by arc length satisfying the bi-Lipschitz estimate
Then for \(\beta \ge 0\) the functions
are in \(C^{\infty }({\mathbb {R}} / l{\mathbb {Z}} , {\mathbb {R}})\) for \(\beta >0\). If furthermore \(\mu \le s + \frac{\alpha }{2} \) and \(k +1 \le s\), we have
where \(\theta _m:= (k +(m+2) + \mu + \nu - (m+\nu ) \frac{\alpha }{2} - 2 )/s < (k+\mu )/s.\) If \((k+\mu )/s \le 2\), this implies that for every \(\varepsilon >0\) there is a constant \(C(\varepsilon ,\Vert c\Vert _{W^{\frac{\alpha +1}{2},2}({\mathbb {R}} / l {\mathbb {Z}}, {\mathbb {R}}^n)}) < \infty \) such that
Proof
Note that \(\partial _s= \partial _x\) since \(c\) is parametrized by arc-length. For \(\frac{l}{2}> \varepsilon >0\) and \(I_{l, \varepsilon }= [-\frac{l}{2} , \frac{l}{2}] \setminus [-\varepsilon ,\varepsilon ]\) we set
and
for all \(s \in {\mathbb {R}} / l {\mathbb {Z}}\) and \(w \in [-l/2, l/2]\), \(w \not =0\). Then due to the bi-Lipschitz estimate for \(c\) we have \(g_{\beta } ^{(\varepsilon )} \in C^\infty ({\mathbb {R}} / l {\mathbb {Z}}, {\mathbb {R}}^n)\) and
With \(G_\beta (v) := \frac{1}{|v|^{\alpha +\beta }} \frac{1-|v|^{\alpha +\beta }}{1-|v|^2}\) we get
Note that \(G_{\beta }\) is a smooth function on \({\mathbb {R}}^n \setminus \{0\}\). Since for \(s \in {\mathbb {R}} /l {\mathbb {Z}}\), \(w \in [-l/2, l/2] - \{0\}\) we have \(1 \ge |\frac{c(s+w) - c(s)}{w}| \ge \Lambda ^{-1}\), for every \(k\in {\mathbb {N}}_0\) there exists a constant \(C< \infty \) such that
Using the product rule together with Fáa di Bruno’s formula for higher derivatives of composite functions, we conclude that
is a linear combination of terms \(T_{k_1, \ldots , k_{m+2}}\) of the form
where \(m,k_1, \ldots k_{m+2} \in {\mathbb {N}}_0\), \(m \le k\), \( k_1, \ldots k_m \ge 1\), and
Using (3.7) and the fundamental theorem of calculus, the absolute value of such terms is bounded by
Hence,
From this we deduce that for \(\varepsilon _1> \varepsilon _2 >0\) we have
As \(\alpha < 3\), \(g_\beta ^{(\varepsilon )}\) converges smoothly to a smooth representative of \(g_\beta \) and
Using that \(\partial _s^k h_{\beta }(s,w)\) is a linear combination of terms like (3.8) together with Lemma 3.5, we obtain
where \(\theta _m:= (k +(m+2) + \mu + \nu - (m+\nu ) \frac{\alpha }{2} - 2 )/s < (k +m+ \mu + \nu - m-\nu )/s\le (k+\mu )/s.\) This proves inequality (3.5) from which one obtains (3.6) using Cauchy-Schwartz. \(\square \)
3.4 Proof of long time existence
First we will derive the following estimate from the evolution equation of the higher order energies in Corollary 3.4 using Lemma 3.6. For a periodic function \(f \in C^\infty ({\mathbb {R}} / l{\mathbb {Z}}, {\mathbb {R}}^n)\) we use the shorthand
for the fractional Laplacian.
Lemma 3.7
For every \(k\in {\mathbb {N}}\) and \(\varepsilon >0\) there are constants \(C_\varepsilon < \infty \) such that
Proof
Corollary 3.4 tells us that
where \(V= -{\mathfrak V}^\alpha c+ \lambda \kappa = -P_{c'}^\bot {\tilde{{\mathfrak V}}}^\alpha c+ \lambda \kappa \).
Let us now fix the time t and let us re-parameterize \(c_t\) for this fixed time by arc length to estimate the right-hand side of this equation and let l denote the length of the curve at time t.
We decomposeFootnote 2
where
Using the fundamental theorem of calculus, we rewrite \((R^\alpha _2 c) (s) \) as
and set
Hence,
Now we first estimate all the terms appearing in (3.9) after plugging into it the decomposition (3.11) except for the term
using Hölder’s inequality together with the standard Gagliardo–Nirenberg–Sobolev inequality or the version in Lemma 3.5. We get that for all \(\varepsilon >0\) there is a constant \(C_\varepsilon < \infty \) such that all these terms can be estimated from above by
We will only give the details for some exemplary terms as all the other terms can be estimated following the same line of arguments. We start by estimating the terms containing the remainder \(R^{\alpha }\). For the first term in Eq. (3.9) we calculate
Using the definition of \(R_1^\alpha \) and the Leibniz rule together with Lemma 3.6, we obtain
since \((i+2k+4-i)/(k+2)=(2k+4)/(k+2) =2\). Along the same lines we get
Furthermore, we can estimate
Using the same line of arguments one sees that also the terms
and
can be estimated by
For the terms containing \(\lambda \kappa \) we use Hölder’s inequality and standard Gagliardo–Nirenberg–Sobolev estimates together with Cauchy’s inequality as above, to estimate these terms by
To estimate the terms containing \(Q^\alpha \), we will use the fact that \(Q^\alpha = c_\alpha D^{\alpha +1} + \tilde{R}\) where \(\tilde{R}\) is a bounded operator from \(W^{s+2,p}\) to \(W^{s,p}\) [24, Proposition 2.3]. For \(k_1,k_2 \in {\mathbb {N}}_0\) with \(k_1 + k_2 =k\) we estimate using Hölder’s inequality and the Gagliardo–Nirenberg–Sobolev inequality
and thus
Similarly we obtain, using the Leibniz rule,
Hence,
Similarly, one gets
Let us finally turn to the term
Using Taylor’s approximation we see that
and hence
and substituting first \(\tilde{x}=x+\tau w\) and then \(\tilde{w}=-w\) shows
The Leibniz rule now tells us that
Setting \(g_{m,j}= \partial ^{j+1}c\langle \partial ^{m+1}c,\partial _s^k \kappa \rangle \) and using the formula above for \(Q^\alpha \) we get
Using the fractional Leibniz rule Lemma 8.2 and then the interpolation estimates, we can estimate this again by
As furthermore
we finally get
Summing up these estimates proves Lemma 3.7. \(\square \)
A standard argument now concludes the proof of Theorem 3.1:
Proof Theorem 3.1
Let us assume that [0, T) is the maximal interval of existence and \(T < \infty \). If we apply Lemma 3.7 with \(\varepsilon = \frac{c_\alpha }{2}\) we get
Together with the Poincare inequality
this yields
for a constant \(c>0\). Hence,
for a constant \(C(k) < \infty \) depending on the inital data but not on T. Furthermore,
which can be rewritten as
Since \(\left\langle V,\kappa \right\rangle \) is uniformly bounded there is a constant \(C>0\) depending on T such that
It was shown in [12, end of p.7], that this estimate together with the uniform in time bounds on all derivatives with respect to arc-length yield
for constants \(C_k\) that are independent of t.
Thus, there is a subsequence \(t_i\rightarrow T\) such that \(c_{t_i}\) converges smoothly to a \(\tilde{c}(T) \) and we can use the short time existence result Theorem 2.1 to extend the flow beyond T.
Let us finally prove the subconvergence to a critical point up to translations and reparametrizations. Let the re-parametrizsations \(\psi _t\) be such that the curves
are parametrized proportional by arc-length. As the uniform in time estimates (3.13) hold, there is a subsequence \(t_i \rightarrow \infty \) such that the curves \(\tilde{c}_{t_i}\) converge smoothly to a curve \(c_{\infty }: {\mathbb {R}} / {\mathbb {Z}} \rightarrow {\mathbb {R}}^n\). Since
we get
Since our uniform estimates further imply
for a constant \(C< \infty \) independent of time, we deduce
which shows that \(c_\infty \) is a critical point of \(E^\alpha + \lambda L.\) \(\square \)
4 Asymptotics of the flows
4.1 Łojasiewicz–Simon gradient estimate
In order to prove convergence to critical points of the complete flow without taking care of translations, we will prove a Łojawiewicz–Simon gradient estimate.
Theorem 4.1
(Łojasiewicz–Simon gradient Estimate) Let \(c_M\) be a smooth critical point of \(E^{\alpha } + \lambda L\) for some \(\alpha \in (2,3)\) and \(\lambda >0\). Then there are constants \(\theta \in [0,1/2]\), \(\sigma >0\), \(C < \infty \), such that every \(c\in H_{i,r}^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})\) with \(\Vert c-c_{M}\Vert _{H^{\alpha +1}}\le \sigma \) satisfies
where \(Vc=-{\mathfrak V}^\alpha c+ \lambda \kappa _c\).
Proof
After scaling the curve we can assume that \(c_M\) is parameterized by arc length and that the length of the curve \(c_M\) is 1.
Let \(H^{\alpha +1}({\mathbb {R}}/{\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M}\) denote the space of all vector fields \(N\in H^{\alpha +1}({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}}^n)\) which are orthogonal to \(c'_M\).
We will first prove that there are constants \(\theta \in [0,1/2]\), \(\tilde{\sigma } >0\), and \(C<\infty ,\) such that
for all \(N \in H^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})_{c_M}^{\bot }\) with \(\Vert N\Vert _{H^{\alpha +1}}\le \tilde{\sigma }\). That is, we show that the functional
satisfies a Łojasiewicz–Simon gradient estimate. By [10, Corollary 3.11] it suffices to show that \(E'\) is analytic with values in \(L^2\) and that \(E''\) is a Fredholm operator from \(H^{\alpha + 1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})^{\bot }_{c_M}\) to \(L^2(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})\).
It is easy to see that \(\kappa \) defines an analytic operator on a neighborhood of 0 from \((H^{\alpha +1})^\bot _{c_M}\) to \(L^2\) using the fact that \(H^{\alpha +1}\) is embedded in \(C^2\). That the same is true for \({\mathfrak V}^\alpha \) can be seen from Theorem 2.3, using the fact that \(H^{\alpha +1}({\mathbb {R}} /{\mathbb {Z}}, {\mathbb {R}}^n)\) is embedded in \(C^{\alpha + \beta }\) for every \(0< \beta < 1/2\) and \(C^{\beta }\) is embedded in \(L^2\).
We calculate the second variation of \(\tilde{E}\) at 0 and try to write it as a compact perturbation of a Fredholm operator of index 0. Using \(|c'_M|=1\) and the fact that V is the gradient of \(E^\alpha + \lambda L\), we get
where \(L_{1}h_1={\mathfrak V}^\alpha c_M\cdot \left\langle c_M',h_{1}'\right\rangle \) is a differential operator of order 1 in \(h_1\).
We know from Theorem 2.3 that
where \(F^\alpha \in C^{\omega }(C^{\alpha +\beta },C^{\beta })\) for all \(\beta >0.\) Thus
where
Now let \(\nu _{i}\), \(i=1, 2, \ldots ,(n-1)\), be smooth functions such that \(\nu _{1}(u),\ldots ,\nu _{n-1}(u)\) is an orthonormal basis of the normal space on \(c_M\) at u. Then each \(\phi \in H^{\alpha + 1}(\mathbb {R}/\mathbb {Z}, {\mathbb {R}}^n)_{c_M}^{\bot }\) can be written in the form
where \(\phi _{i}:=\left\langle \phi ,\nu _{i}\right\rangle \in H^{\alpha +1 }(\mathbb {R}/\mathbb {Z})\). We calculate
where \(L_{3}\in C^{\omega }(C^{\alpha +\beta },C^{\beta })\) by the fractional Leibniz rule Lemma 7.1.
From [24, Proposition 2.3] we know that there is a constant \(a^{(\alpha )} >0\) such that that \(L_4:=Q^{\alpha }-a^{\alpha } (-\Delta )^{{(\alpha +1)}/2}\) is a bounded linear operator from \(H^2 \) to \(L^2\). Combining (4.3), (4.4), and (4.5), we get
where
is a bounded operator from \(C^{\alpha + \varepsilon }\) to \(L^2\) for all \(\varepsilon >0\).
Since the linear mapping
defines an homeomorphism between \(H^{s} ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M}\) and \(H^{s} ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^{n-1})\) for all \(s \ge 0\) and \((-\Delta )^{(\alpha +1)/2}\) is a Fredholm operator of index zero from \(H^{\alpha +1}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^{n-1})\) to \(L^2({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^{n-1})\), the operator
is Fredholm of order 0. Hence, \(\sum _{i=1}^{n-1} a^{(\alpha )} (-\Delta ^{\frac{\alpha +1 }{2} })\langle h_1,\nu _i \rangle \nu _i + L h_1\) as a compact perturbation of A is a Fredholm operator as well. This implies that \(E''\) is a Fredholm operator from \(H^{\alpha + 1}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M}\) to \(L^2({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M}\) of index 0. The proof of (4.2) is complete.
To prove the full estimate of Theorem 4.1, we use Lemma 9.1 to write curves close to \(c_M\) as normal graphs over \(c_M\). More precisely, we can choose \(\sigma \in (0, \tilde{\sigma })\) such that for all \(c\in H^{\alpha +1}(\mathbb {R}/\mathbb {Z})\) with \(\Vert c-c_{M}\Vert _{H^{\alpha +1}}\le \sigma \) there is a re-parameterization \(\psi \in H^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}/\mathbb {Z})\) and an \(N_c\in H^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})^{\bot }\) such that
and
Making \(\sigma >0\) smaller if necessary, using that \(c_M\) is parameterized by arc length and that \(H^{\alpha +1 }\) is embedded continuously in \(C^1\), we furthermore can achieve that
Thus,
\(\square \)
4.2 The flow above critical points
In this section we apply the Łojasiewich–Simon gradient estimate to reprove long-time existence for solutions that approach a critical point from above as stated in Theorem 1.2. Using the techniques from this section, we will show that even the complete flow converges to a critical point without applying any translations.
Theorem 1.2 will follow easily from the following long time existence result for normal graphs over a critical point of the energies \(E = E^\alpha + \lambda L\):
Theorem 4.2
(Long time existence and asymptotics for normal graphs) Let \(c_{M}\in C^{\infty }(\mathbb {R}/\mathbb {Z}, {\mathbb {R}}^n)\) be a critical point of E and let \(k\in {\mathbb {N}}\), \(\delta >0\) and \(\beta >\alpha \). Then there is an open neighborhood \(U'\) of 0 in \(\left( C^{\beta }\right) ^\bot \) such that the following holds:
Suppose that \(N\in C([0,T), h^{\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)_{c_M}^\bot ) \cap C^1((0,T), C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)_{c_M}^\bot )\) is a maximal solution of the equation
with
and
whenever \(\Vert N_t\Vert _{C^{k}}\le \delta \).
Then \(T=\infty \) and \(N_t\) converges smoothly to an \(N_\infty \in C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M}\) satisfying
Furthermore \(c_M + N_\infty \) is a critical point of the energy.
Proof
Let \(\tilde{k} = \max \{4,k, \lceil \beta +1 \rceil \}\), where \(\lceil \beta +1 \rceil \) denotes the smallest integer larger or equal to \(\beta +1\). Then of course we still have
under the stronger condition \(\Vert N_t\Vert _{C^{\tilde{k}}}\le \delta \).
We first use Theorem 4.1 to get an \(\varepsilon _0>0\), a \(\theta \in (0,\frac{1}{2})\), and a constant \(C< \infty \) such that
for all \(N \in C^{\tilde{k}}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})_{c_M}^{\bot }\) with \(\Vert N\Vert _{C^{\tilde{k}}} \le \varepsilon _0.\)
Making \(\varepsilon _0>0\) smaller if necessary, we can furthermore achieve that \(\Vert N\Vert _{C^1} \le \frac{1}{2}\) for all \(N \in H^{\alpha +1}(\mathbb {R}/\mathbb {Z},\mathbb {R}^{n})_{c_M}^{\bot }\) with \(\Vert N\Vert _{H^{\alpha +1}} \le \delta \) and hence
and
on \({\mathbb {R}} / {\mathbb {Z}}\).
It is now crucial to use the smoothing properties of our short time existence result Theorem 2.5. This theorem tells us that there is a radius \(r>0\) and a time \(T>0\) such that the solution \(N_t=N_{N_0,t}\) to
with initial data \(N_0 \in U = \{N \in h^\beta ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)^\bot _{c_M} :\Vert N\Vert _{h^\beta } \le r \}\) exists for \(t \in [0,T)\). Furthermore, these solutions exist as long as they stay inside of U as one can then always continue the solution.
Since the mapping
belongs to \(C^\infty (U \times (0,T),C^\infty ({\mathbb {R}} / {\mathbb {Z}}))\) and hence is especially continuous and that \(N_{0,t}=0\), by making r smaller if necessary we can guarantue that
for all \(t \in [T/4, T/2]\) and all initial data \(N_0 \in U\).
Let \(\varepsilon \in (0, \min \{r,\varepsilon _0\})\) to be chosen later. Using again that the mapping in Eq. (4.10) is continuous together with \(N_{0,t}=0\) one sees that there is a \(\delta \in (0,r)\) such that for \(N_0 \in U\) with \(\Vert N_0\Vert _{h^{\beta }} \le \delta \) we have
Now let \(N\in C([0,T_{max}), h^{\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)_{c_M}^\bot ) \cap C^\infty ((0,T_{max}), C^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)_{c_M}^\bot )\) be a maximal solution of the equation
with \(\Vert N_0\Vert _{h^\beta } \le \delta \). We set \(\tilde{c}_t = c_M+ N_t\).
We know from the considerations above that \(T_{max} \ge T\),
and the solution exists at least as long as \(\Vert N_{\frac{T}{4}}\Vert _{C^{\beta }} < r\). If the solution does not exist for all time, there hence is a \(t_0> \frac{T}{2}\) such that
but
which leads to a contradiction for \(\varepsilon >0\) small enough.
We will now show that
where \(\sigma = \frac{\tilde{k} - \beta }{\tilde{k} + \frac{1}{2}}.\)
Applying (4.11) for all times \(t \in [\frac{T}{4}, t_0]\) we get
and hence \(N_t\) satisfies a Łojasiewich–Simon gradient estimate (4.7) and (4.8) and (4.9) for all \(t \in [\frac{T}{2},t_0]\).
We calculate
and hence
for a constant \(c>0\). Integrating the above inequality over \((\frac{T}{2} ,t)\) yields
By (4.8) we have
Thus \(|\partial _t \tilde{c}_t| = |\partial _t N_t|\le 2 |\partial _t^\bot \tilde{c}_t|.\) Plugging this and (4.9) into the above inequality, we deduce
Hence,
Using the interpolation inequality
where \(\sigma = \frac{\tilde{k} - \beta }{\tilde{k}+\frac{1}{2}}\) (cf. Lemma 8.3), we get for \(t \in [\frac{T}{2}, t_0]\)
So if \(\varepsilon >0\) is small enough we have
for all \(t \in [T,t_0]\) which contradicts our choice of \(t_0\). Hence, we have shown that the flow exists for all time and satisfies
for all \(t \ge T\).
From Theorem 2.5 we get \(\sup _{t \ge \frac{T}{2}}\Vert \tilde{c}_{t}\Vert _{C^{l}}<\infty \) for all \(l \in {\mathbb {N}}\) and hence there is a subsequence \(t_i \rightarrow \infty \) such that
smoothly.
Since
we get
Since our uniform estimates further imply
for a constant \(C< \infty \) independent of time, we deduce
which shows that \(c_\infty \) is a critical point of \(E^\alpha + \lambda L.\)
Using the Łojasiewicz–Simon gradient inequality again we get
and hence \(E(c_{\infty })=E(c_{M}).\)
To get convergence of the complete flow, we repeat the estimates that led to (4.14) with \(c_\infty \) in place of \(c_M\) to get
for all \(t \ge t_i\). So the complete flow converges in \(C^{\beta }\) and hence by interpolation in \(C^\infty \) to \(c_\infty \) \(\square \)
Proof of Theorem 1.2
Due to Lemma 9.1 for all \(c\in C^{\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n ) \) with \(\Vert c-c_M \Vert _{C^{\beta }} \le \varepsilon \) there is a diffeomorphism \(\phi _c\) and a vector field \(N_{c} \in C^{\beta }({\mathbb {R}} / {\mathbb {Z}} , {\mathbb {R}}^n)\) normal to \(c_M\) such that
and
if \(\varepsilon >0\) is small enough.
For \(c\in C^{2+\alpha }\) with
let \((N_t)_{t \in [0,\tilde{T})}\) be the maximal solution of
Then \(\tilde{T} \le T\) and for all \(t \in [0,\tilde{T})\) there are diffeomorphisms \(\phi _t\) such that \(c_t = (c_M + N_t) (\phi _t)\). Hence \(N_t\) satisfies all the assumptions of Theorem 4.2 if \(\varepsilon \) is small enough and thus \(\infty = \tilde{T}\). From \(\tilde{T}\le T\) we deduce \(T=\infty \). \(\square \)
4.3 Completion of the Proof of Theorem 1.1
It is only left to show that we get convergence of the flow without applying translations from the smooth subconvergence of the re-parameterized and translated curves we get from Sect. 3.4.
Let \(\tilde{c}_t\) be the re-parameterizations of \(c_t\) and let \(t_i \rightarrow \infty \) and \(p_i \in {\mathbb {R}}^n\) be such that the curves \(\tilde{c}(t_i)-p_i\) converge smoothly to a curve \(\tilde{c}_\infty \) parameterized by arc length. Due to the smooth convergence, the data \(\tilde{c}_{t_i} - p_i\) satisfies all the assumptions of Theorem 1.2 for i large enough and \(c_M = c_\infty \). Hence, the statement follows directly from the conclusions of Theorem 1.2.
Notes
In fact one can even show that for \(jp -1 \ge 2p\) the energy is only finite for open curves that are part of a straight line—in which case the energy is 0 (cf. [9, Remark 1.3]).
Since the curve now is parameterized by arc-length, the decompostion we use here is much simpler than the one given in (2.2) - though still we get it in the same spirit.
References
Abrams, A., Cantarella, J., Fu, J.H.G., Ghomi, M., Howard, R.: Circles minimize most knot energies. Topology 42(2), 381–394 (2003)
Adams, R.A., Fournier, J.J.F.: Sobolev spaces, volume 140 of Pure and Applied Mathematics (Amsterdam), 2nd edn. Elsevier, Amsterdam (2003)
Amann, H.: Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems. In: Function Spaces, Differential Operators and Nonlinear Analysis (Friedrichroda, 1992), volume 133 of Teubner–Texte Math., pp. 9–126. Teubner, Stuttgart (1993)
Angenent, S.B.: Nonlinear analytic semiflows. Proc. R. Soc. Edinburgh Sect. A 115(1–2), 91–107 (1990)
Blatt, S.: Boundedness and regularizing effects of O’Hara’s knot energies. J. Knot Theory Ramif. 21(1), 1250010,9 (2012)
Blatt, S.: The gradient flow of the Möbius energy near local minimizers. Calc. Var. Partial Differ. Equ. 43(3–4), 403–439 (2012)
Bourdaud, G.: Une algèbre maximale d’opérateurs pseudo-différentiels. Commun. Partial Differ. Equ. 13(9), 1059–1083 (1988)
Blatt, S., Reiter, P.: Stationary points of O’Hara’s knot energies. Manuscr. Math. 140(1–2), 29–50 (2013)
Blatt, S., Reiter, P.: Towards a regularity theory for integral Menger curvature. Ann. Acad. Sci. Fenn. Math. 40(1), 149–181 (2015)
Chill, R.: On the Łojasiewicz–Simon gradient inequality. J. Funct. Anal. 201, 572–601 (2003)
Coifman, R.R., Meyer, Y.: Au delà des opérateurs pseudo-différentiels, volume 57 of Astérisque. Société Mathématique de France, Paris (1978). With an English summary
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). (electronic)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Freedman, M.H., He, Z.-X., Wang, Z.: Möbius energy of knots and unknots. Ann. Math. (2) 139(1), 1–50 (1994)
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order: Classics in Mathematics. Springer, Berlin (2001). (Reprint of the 1998 edition)
He, Z.: A formula for the non-integer powers of the Laplacian. Acta Math. Sin. (Engl. Ser). 15(1), 21–24 (1999)
He, Z.-X.: The Euler–Lagrange equation and heat flow for the Möbius energy. Commun. Pure Appl. Math. 53(4), 399–431 (2000)
Hille, E., Phillips, R.S.: Functional analysis and semi-groups. Colloquium Publications, vol. 31, 808 p. American Mathematical Society (AMS), Providence, R.I (1957 rev. ed.)
Kusner, R.B., Sullivan, J.M.: Möbius energies for knots and links, surfaces and submanifolds. In: Geometric Topology (Athens, GA, 1993), Volume 2 of AMS/IP Stud. Adv. Math., pp. 570–604. Amer. Math. Soc., Providence, RI (1997)
Lin, C.-C., Schwetlick, H.R.: On a flow to untangle elastic knots. Calc. Var. Partial Differ. Equ. 39(3–4), 621–647 (2010)
Lunardi, A.: Analytic semigroups and optimal regularity in parabolic problems. Progress in Nonlinear Differential Equations and their Applications, 16. Birkhäuser, Basel (1995)
Lunardi, A.: Interpolation theory. Appunti. Scuola Normale Superiore di Pisa (Nuova Serie). (Lecture Notes. Scuola Normale Superiore di Pisa (New Series)), 2nd edn. Edizioni della Normale, Pisa (2009)
O’Hara, J.: Energy Functionals of Knots. Topology Hawaii (Honolulu. HI, 1990), pp. 201–204. World Science Publication, River Edge (1992)
Reiter, P.: Repulsive knot energies and pseudodifferential calculus for O’Hara’s knot energy family \(E^{(\alpha )},\alpha \in [2,3)\). Math. Nachr. 285(7), 889–913 (2012)
Runst, T., Sickel, W.: Sobolev spaces of fractional order, Nemytskij operators, and nonlinear partial differential equations. de Gruyter Series in Nonlinear Analysis and Applications, vol. 3. Walter de Gruyter and Co., Berlin (1996)
Triebel, H.: Theory of function spaces. Monographs in Mathematics, vol. 78. Birkhäuser, Basel (1983)
Triebel, H.: Theory of function spaces. II, volume 84 of Monographs in Mathematics. Birkhäuser, Basel (1992)
Yosida, K.: Functional Analysis. Springer Nature (1995)
Acknowledgements
Open access funding provided by Paris Lodron University of Salzburg.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Appendices
Appendix: Analytic functions on Banach spaces
We briefly prove some lemmata about analytic functions on Banach spaces. A thorough discussion of this subject can be found in [18, Chapter 2, Section 3].
Definition 5.1
(Analytic operator) Let \((X,\Vert \cdot \Vert _{X})\), \((Y,\Vert \cdot \Vert _{Y})\) be real Banach spaces. A function \(f\in C^{\infty }(A,Y)\), \(A\subset X\) open, is called real analytic if for every \(a\in A\) there is a open neighborhood U of a in X and a constant \(C<\infty \) such that
In this context \(\Vert \cdot \Vert \) denotes the operator norm. The next lemmata show how to construct analytic functions:
Lemma 5.2
Let \(g: U\rightarrow \mathbb {R}^{l}\) be a real analytic function, \(U \subset {\mathbb {R}} ^n\) be an open subset, and let \(V \subset C^{k,\alpha }({\mathbb {R}} /{\mathbb {Z}}, {\mathbb {R}}^n)\) (\(k \in {\mathbb {N}}_0, \alpha \in (0,1)\)) be an open subset such that \({{\mathrm{im}}}f \subset U\) for all \(f \in V\) . Then
defines a real analytic function.
Proof
Let \(f_0 \in V\). Since \({{\mathrm{im}}}f_0\) is a compact subset of the open set U there is an \(\varepsilon >0\) such that \(K_\varepsilon := \bigcup _{y\in {{\mathrm{im}}}f_0}\overline{B_\varepsilon (y)} \subset U\).
Since g is real analytic and \(K_\varepsilon \subset U\) is compact, there is a constant \(C<\infty \) such that
As
(can easily be deduced from the Taylor expansion of g) and since \(C^{k,\alpha }(\mathbb {R}/\mathbb {Z})\) is a Banach algebra, we get
for all \(f \in B_\varepsilon (f_0) = \{f_0+y\in C^{\alpha } : \Vert y\Vert _{C^{k,\alpha }} \le \varepsilon \}\) where
\(\square \)
Lemma 5.3
Let \((X,\Vert \cdot \Vert _{X})\) and \((Y,\Vert \cdot \Vert _{Y})\) be Banach spaces and assume that \(T_{t}\in C^{\omega }(X,Y)\) for \(t\in I\) is such that the functions \(t\rightarrow T_{t}\) are measurable and for all \(a\in X\) there is a neighborhood U of a in X such that
Then the mapping \(T:X\rightarrow Y\) defined by
is real analytic.
Proof
We want to show that
from which we get that \(T\in C^{\omega }(X,Y)\) using the estimates (5.1). In fact this follows from well-known facts about differentiation of parameter dependent integrals. \(\square \)
Remark 5.4
In the case that \(Y=C^{k,\alpha }(\mathbb {R}/\mathbb {Z}, {\mathbb {R}}^n)\) we get from the fact that for \(u \in {\mathbb {R}} / {\mathbb {Z}}\) the evalution mapping
is a bounded linear operator form Y to \({\mathbb {R}}^n\). Hence, the interchangability of the Bochner integral with linear operators (cf. for example [28, p. 134, Corollary 2]) tells us that
i.e., the value of function Tx given by the Bochner integral at the point u is equal to the Lebesque integral of the functions \(T_t (u)\) evaluated at the point u.
Estimates for a generalization of the multilinear Hilbert transform
Lemma 6.1
Let \(\alpha \in (0,1)\). For \(1-\alpha \ge \beta >0\), \(m\in \mathbb {N}\), and \(t_{i}\in (0,1)\) the singular integral
defines a bounded multilinear operator from \((C^{\alpha +\beta }({\mathbb {R}} /{\mathbb {Z}},\mathbb {R}))^m\) to \(C^{\beta }({\mathbb {R}} / {\mathbb {Z}},\mathbb {R})\).
Proof
For \(u,v \in {\mathbb {R}} /{\mathbb {Z}}\) and \(a \in (0,\frac{1}{2} )\) we get
Since \(|t_{i}|\le 1\), we obtain
and hence, using the Hölder-continuity of the \(c_{i}\),
Choosing \(a=|u-v|\) for \(|u-v| \le \frac{1}{2}\) we get
\(\square \)
Lemma 6.2
For arbitrary \(\beta >0\), \(\alpha \in (0,1)\), \(m\in \mathbb {N}\), and \(t_{i}\in (0,1)\) the singular integral
defines a bounded multilinear operator from \((h^{\alpha +\beta }({\mathbb {R}} /{\mathbb {Z}},\mathbb {R}))^m\) to \(h^{\beta }({\mathbb {R}} / {\mathbb {Z}},\mathbb {R})\).
Proof
First, let us note that it is enough to prove the statement for \(\beta =\tilde{\beta } + n\), \(n \in {\mathbb {N}} _0\), \(1-\alpha \ge \tilde{\beta } >0\). One then uses real interpolation to prove the full statement. For \(n=0\) the claim is the content of Lemma 6.1. So let us assume that the statement holds for \(\beta = \tilde{\beta } + n\) as above. Let \((\tau _h f)(x):=f(x+h)\). Using the relation \(\tau _h(T(c_1, \dots , c_m))= T(\tau _h(c_1), \dots , \tau _h(c_m))\) and the multilinearity of T, the difference quotient can be written as
Since
and T a bounded linear operator from \(C^{\beta }\) to \(C^{\tilde{\beta }}\), we get
in \(C^{\beta }\). Hence, T is a bounded multilinear mapping from \((C^{\alpha + \beta +1})^m\) to \(C^{ \beta +1}\). \(\square \)
Remark 6.3
Let us state a simple extension of Lemma 6.2. Given a multilinear form \(M: {\mathbb {R}}^n \times \dots \times {\mathbb {R}}^n \rightarrow {\mathbb {R}}^k\), \(1>\alpha >0 \), \(\beta >0\), \(m\in \mathbb {N}\), and \(t_{i}\in (0,1)\) the singular integral
defines a bounded multilinear operator from \((h^{\alpha +\beta }({\mathbb {R}} /{\mathbb {Z}},\mathbb {R}))^m\) to \(h^{\beta }({\mathbb {R}} / {\mathbb {Z}},\mathbb {R}^{n})\).
This can be deduced by plugging
into the definition of T, where \(e_1, \ldots e_n\) is the standard basis of \({\mathbb {R}}^n\), and by applying Lemma 6.2 to all the coordinates of the resulting summands.
Facts about the functional \(Q^\alpha \)
In this section we prove a commutator inequality that we use as a substitute for the Leibniz rule for \(Q^{\alpha }\).
Lemma 7.1
(Leibniz rule for \(Q^{\alpha }\)) For \(f \in C^{\alpha +\beta }({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n)\), \(g \in C^{\alpha +\beta +1}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n)\) and \(\beta >0\) we have
Proof
We have
Taylor expansion yields
and hence the first term in the last row of Eq. (7.1) can be written as
It is an easy exercise to prove that the last term defines a bounded operator from \(C^{2+\beta }\) to \(C^\beta \) for all \(\beta >0\). Using Lemma 6.2 to estimate the first two terms, we get
and hence
Together with the fact that Q defines a bounded linear operator from \(C^ {\alpha +1+\beta }\) to \(C^{\beta }\) this proves the estimate. \(\square \)
Interpolation and Leibniz rule for fractional Sobolev spaces
For the convenience of the reader we present mutliplicative Gagliardo–Nirenberg–Sobolev inequalities and a Leibniz rule in fractional Sobolev spaces and non-homogeneous Besov spaces that we used in this text. We use the notation
where s denotes the order of differentiation and p the integrability. So for \(s \in (0,1)\), \(p,q \in (1, \infty )\) the space \(B^{s,q}_p({\mathbb {R}} / {\mathbb {Z}})\) consists of all \(L^p\)- functions satisfying
Theorem 8.1
(Gagliardo–Nirenberg–Sobolev Inequality) For \(p \in [2, \infty )\), \(q \in [1,\infty )\) and \(s_1,s_2, s_3 \in [0,\infty )\) with \(s_1 - 1/2 \le s_2 - 1/p \le s_3 - 1/2\) there is a \(C=C(s_1, s_2, s_3,p,q) < \infty \) such that
for all smooth functions \(u \in C^\infty ({\mathbb {R}} / {\mathbb {Z}})\) where \(\theta := (s_2-s_1 -1/p + 1/2)/(s_3 - s_1)\). Especially,
Proof
Using [22, Proposition 1.20], it is enough to show that the real interpolation space \((W^{s_1,2}, W^{s_2,2})_{\theta ,1}\) is continuously embedded in \(B^{s_2,p}_q\). From [27, Section 1.6.7], we get \((W^{s_1,2}, W^{s_3,2})_{\theta ,1} = B^{\tilde{s},2}_{1}\) where \(\tilde{s} := \theta s_3 + (1-\theta ) s_1 \ge s_2\). Since \(p\ge 2\), we get \(\tilde{s} \ge s_2\). As furthermore \(\tilde{s} -1/2 = s_2 -1/p\), the Sobolev embedding tells us that
and especially
which completes the proof. \(\square \)
The following product rule goes back to Coifman and Meyer [11].
Lemma 8.2
(Leibniz Rule, cf. [11]) Let \(p_i,q_i,r \in (1,\infty )\), be such that \(\frac{1}{p_i} + \frac{1}{q_i} = \frac{1}{r}\), for \(i=1,2\) and \(s > 0\). Then
We also refer to Runst and Sickel [25, Lem. 5.3.7/1 (i)].
Let us conclude this section with an elementary proof of the following well-known interpolation estimate. For a subset \(A \subset {\mathbb {R}}\) and a function \(f:A\rightarrow {\mathbb {R}}\) we set
Lemma 8.3
For all \(k > m\), \(\beta \in (0,1)\) there is a constant \(C< \infty \) such that
for all \(f \in C_{loc}^k({\mathbb {R}})\) where \(\sigma =\frac{\alpha - \beta }{\alpha +\frac{1}{2}}\). Furthermore,
Proof
Ehrling’s lemma together with the estimate \(\Vert f\Vert _{C^k} \le C (\Vert f^{(k)}\Vert _{L^\infty } + \Vert f\Vert _{L^\infty })\) tells us that for every \(\varepsilon >0\) there is an \(C(\varepsilon )<\infty \) such that
which for \(\varepsilon = \frac{1}{2}\) implies
Scaling this inequality yields
for all \(r>0\) and hence we get covering \({\mathbb {R}} \) by balls of radius \(r \in [0,1/2]\)
Hence, we get the first estimate by choosing \(r = \left( \frac{\Vert f^{k}\Vert _{L^\infty ({\mathbb {R}})}}{\Vert f\Vert _{L^2({\mathbb {R}})}} \right) ^{\frac{1}{k+1/2}}\).
For the second estimate, we observe that Ehrling’s lemma gives
and hence
Combining this with the first estimate gives
Normal graphs
The following lemma is used in the proofs of Lemma 4.1 and Theorem 3.1.
Lemma 9.1
Let \(c_0 \in C_{i,r}^\infty ({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} ^n)\) and \(W = C^s({\mathbb {R}} / {\mathbb {Z}})\) or \(W= H^{s+\frac{1}{2}}({\mathbb {R}} / {\mathbb {Z}})\) for some \(s>1\). Then there is an \(\varepsilon >0\) such that for all \(c\in W\) with
there is a re-parameterization \(\phi \) and a function \(N \in C^\alpha ({\mathbb {R}}/ {\mathbb {Z}}, {\mathbb {R}} ^n) \) normal to \(c_0\) such that
and
Proof
Note that in the case \(W=H^{s+\frac{1}{2}}\), still W is embedded continuously in \(C^s\) Let U be an open neighborhood of \(c_0\) such that there is a nearest point retract \(r_U\), i.e. a \(C^\infty \) function \(r_U : U \rightarrow {\mathbb {R}} / {\mathbb {Z}}\) such that
and
We set
Since \(\psi _{c_0} = id\) and the space of diffeomorphisms is open in \(C^s\), the function \(\psi _{c}\) is a diffeomorphism for sufficiently small \(\varepsilon >0\). Furthermore, the mapping \(c\rightarrow \psi _c\) is smooth from \(C^s({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) to \(C^s({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} / {\mathbb {Z}})\) in the case that \(W=C^s\) and from \(H^{s+\frac{1}{2}}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}}^n)\) to \(H^{s + \frac{1}{2}}({\mathbb {R}} / {\mathbb {Z}}, {\mathbb {R}} / {\mathbb {Z}})\) in the case that \(W=H^{s+\frac{1}{2}}\). We set
and
The estimate in the lemma now follows from the fact that \(c\rightarrow N_c\) is a smooth function for W to W in neighborhood of \(c_0\) with \(N_{c_0}=0\). \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.