Abstract
The skew mean curvature flow is an evolution equation for d dimensional manifolds embedded in \({\mathbb {R}}^{d+2}\) (or more generally, in a Riemannian manifold). It can be viewed as a Schrödinger analogue of the mean curvature flow, or alternatively as a quasilinear version of the Schrödinger Map equation. In an earlier paper, the authors introduced a harmonic/Coulomb gauge formulation of the problem, and used it to prove small data local well-posedness in dimensions \(d \geqq 4\). In this article, we prove small data local well-posedness in low-regularity Sobolev spaces for the skew mean curvature flow in dimension \(d\geqq 2\). This is achieved by introducing a new, heat gauge formulation of the equations, which turns out to be more robust in low dimensions.
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
In this article we continue our study of the local well-posedness for the skew mean curvature flow (SMCF). This is a nonlinear Schrödinger type flow modeling the evolution of a d dimensional oriented manifold embedded into a fixed oriented \(d+2\) dimensional manifold; it can be seen as a Schrödinger analogue of the well studied mean curvature flow.
In an earlier work [9], we considered the (SMCF) flow in higher dimension \(d \geqq 4\), and proved local well-posedness for small initial data in low regularity Sobolev spaces. This was achieved by developing a suitable harmonic/Coulomb gauge formulation of the equations, which allowed us to reformulate the problem as a quasilinear Schrödinger evolution.
In this article, we consider the small data local well-posedness for the skew mean curvature flow in low dimensions \(d \geqq 2\), also for low regularity initial data. As the earlier harmonic/Coulomb gauge formulation has issues in low dimensions, here we introduce an alternative heat gauge, which resolves these difficulties.
1.1 The (SMCF) Equations
Let \(\Sigma ^d\) be a d-dimensional oriented manifold, and \(({\mathcal {N}}^{d+2},g_{{\mathcal {N}}})\) be a \(d+2\)-dimensional oriented Riemannian manifold. Let \(I=[0,T]\) be an interval and \(F:I\times \Sigma ^d \rightarrow {\mathcal {N}}\) be a one parameter family of immersions. This induces a time dependent Riemannian structure on \(\Sigma ^d\). For each \(t\in I\), we denote the submanifold by \(\Sigma _t=F(t,\Sigma )\), its tangent bundle by \(T\Sigma _t\), and its normal bundle by \(N\Sigma _t\) respectively. For an arbitrary vector Z at F we denote by \(Z^\perp \) its orthogonal projection onto \(N\Sigma _t\). The mean curvature \({\textbf{H}}(F)\) of \(\Sigma _t\) can be identified naturally with a section of the normal bundle \(N\Sigma _t\).
The normal bundle \(N\Sigma _t\) is a rank two vector bundle with a naturally induced complex structure J(F) which simply rotates a vector in the normal space by \(\pi /2\) positively. Namely, for any point \(y=F(t,x)\in \Sigma _t\) and any normal vector \(\nu \in N_{y}\Sigma _t\), we define \(J(F)\in N_{y}\Sigma _t\) as the unique vector with the same length so that
where \(\omega \) is the volume form of \({\mathcal {N}}\) and \(\{e_1,\cdots ,e_d\}\) is an oriented basis of \(\Sigma ^d\). The skew mean curvature flow (SMCF) is defined by the initial value problem
which evolves a codimension two submanifold along its binormal direction with a speed given by its mean curvature.
The (SMCF) was derived both in physics and mathematics. The one-dimensional (SMCF) in the Euclidean space \({{\mathbb {R}}}^3\) is the well-known vortex filament equation (VFE)
where \(\gamma \) is a time-dependent space curve, s is its arc-length parameter and \(\times \) denotes the cross product in \({{\mathbb {R}}}^3\). The (VFE) was first discovered by Da Rios [4] in 1906 in the study of the free motion of a vortex filament.
The (SMCF) also arises in the study of asymptotic dynamics of vortices in the context of superfluidity and superconductivity. For the Gross–Pitaevskii equation, which models the wave function associated with a Bose–Einstein condensate, physics evidence indicates that the vortices would evolve along the (SMCF). An incomplete verification was attempted by Lin [18] for the vortex filaments in three space dimensions. For higher dimensions, Jerrard [11] proved this conjecture when the initial singular set is a codimension two sphere with multiplicity one.
The other motivation is that the (SMCF) naturally arises in the study of the hydrodynamical Euler equation. A singular vortex in a fluid is called a vortex membrane in higher dimensions if it is supported on a codimension two subset. The law of locally induced motion of a vortex membrane can be deduced from the Euler equation by applying the Biot–Savart formula. Shashikanth [23] first investigated the motion of a vortex membrane in \({{\mathbb {R}}}^4\) and showed that it is governed by the two dimensional (SMCF), while Khesin [15] then generalized this conclusion to any dimensional vortex membranes in Euclidean spaces.
From a mathematical standpoint, the (SMCF) equation is a canonical geometric flow for codimension two submanifolds which can be viewed as the Schrödinger analogue of the well studied mean curvature flow. In fact, the infinite-dimensional space of codimension two immersions of a Riemannian manifold admits a generalized Marsden–Weinstein sympletic structure, and hence the Hamiltonian flow of the volume functional on this space is verified to be the (SMCF). Haller–Vizman [8] noted this fact where they studied the nonlinear Grassmannians. For a detailed mathematical derivation of these equations we refer the reader to the article [26, Section 2.1].
The one dimensional case of this problem has been extensively studied. This is because the one dimensional (SMCF) flow agrees the classical Schrödinger Map type equation, provided that one chooses suitable coordinates, i.e. the arclength parametrization. As such, it exhibits many special properties (e.g. complete integrability) which are absent in higher dimensions. For more details we refer the reader to the survey article of Vega [27] as well as [1] and [8].
The study of higher dimensional (SMCF), on the other hand, is far less developed. Song–Sun [26] proved the local existence of (SMCF) with a smooth, compact oriented surface as the initial data in two dimensions, then Song [25] generalized this result to compact oriented manifolds for all \(d\geqq 2\) and also proved a corresponding uniqueness result. Song [24] also proved that the Gauss map of a d dimensional (SMCF) in \({{\mathbb {R}}}^{d+2}\) satisfies a Schrödinger Map type equation but relative to the varying metric. More recently, Li [16, 17] considered a class of transversal small pertubations of Euclidean planes under the (SMCF) and proved a global regularity result for small initial data.
This article is instead concerned with the case when \(\Sigma ^d = {{\mathbb {R}}}^d\), i.e. where \(\Sigma _t\) has a trivial topology. We will further restrict to the case when \({\mathcal {N}}^{d+2}\) is the Euclidean space \({{\mathbb {R}}}^{d+2}\). Thus, the reader should visualize \(\Sigma _t\) as an asymptotically flat codimension two submanifold of \({{\mathbb {R}}}^{d+2}\).
Such manifolds \(\Sigma ={{\mathbb {R}}}^d\) with \(d\geqq 4\) were already considered in our earlier work [9], where we proved the local well-posedness for small data in low-regularity Sobolev spaces. Here we consider instead the lower dimensional case, namely the dimensions \(d = 2,3\). A key role in both [9] and in this article was played by our gauge choices, which are discussed next.
1.2 Gauge Choices for (SMCF)
There are two components for the gauge choice, which are briefly discussed here and in full detail in Section 2:
-
(1)
The choice of coordinates on \(I \times \Sigma \).
-
(2)
The choice of an orthonormal frame on \(I \times N\Sigma \).
Indeed, as written above in (1.1), the (SMCF) equations are independent of the choice of coordinates in \(I \times \Sigma \); here we include the time interval I to emphasize that coordinates may be chosen in a time dependent fashion. The manifold \(\Sigma ^d\) simply serves to provide a parametrization for the moving manifold \(\Sigma _t\); it determines the topology of \(\Sigma _t\), but nothing else. Thus, the (SMCF) system written in the form (1.1) should be seen as a geometric evolution, with a large gauge group, namely the group of time dependent changes of coordinates in \(I \times \Sigma \). One may think of the gauge choice here as having two components, (i) the choice of coordinates at the initial time, and (ii) the time evolution of the coordinates. One way to describe the latter choice is to rewrite the equations in the form
where the vector field V can be freely chosen, and captures the time evolution of the coordinates. Indeed, some of the earlier papers [26] and [25] on (SMCF) use this formulation with \(V = 0\). This would seem to simplify the equations, however it introduces difficulties at the level of comparing solutions.This is because the regularity of the map F is no longer determined by the regularity of the second fundamental form, and instead there is a loss of derivatives which may only be avoided if the initial data is assumed to have extra regularity. This loss is what prevents a complete low regularity theory in that approach.
In our earlier work [9] in dimension \(d \geqq 4\), we chose harmonic coordinates on \(\Sigma \), separately at each time. This implicitly fixes V, which may be obtained as the solution of an appropriate elliptic equation. The same approach could be made to work in dimension \(d = 3\), if one uses a more careful study of the linearized equation as in the present paper. Unfortunately this does not seem to work well in two dimensions, essentially due to a lack of sufficient control on the metric at low regularity, which is caused by a lack of decay of the fundamental solution for the Laplacian.
To rectify this issue, in the present paper we use instead a heat gauge, where the coordinates and implicitely the metric are determined dynamically via a heat flow. This in particular requires also a good choice of coordinates at the initial time; there, we fall back to the harmonic coordinates. In dimension three and higher, this is all that is needed, and in effect both gauge choices, i.e. the heat gauge and the harmonic gauge, work equally well. However, in two dimensions the harmonic coordinates fail to yield the needed low frequency decay of the metric. We rectify this by adding an a-priori low frequency assumption on the metric in suitable coordinates, and then propagate this in time via the heat gauge.
We now discuss the second component of the gauge choice, namely the orthonormal frame in the normal bundle. Such a choice is needed in order to fix the second fundamental form for \(\Sigma \); indeed, the (SMCF) is most naturally interpreted as a nonlinear Schrödinger evolution for the second fundamental form of \(\Sigma \). In our earlier paper [9] we use the Coulomb gauge. But that seems to no longer be well behaved in two dimensions, so we replace it again with a heat flow. In this context, this strategy is reminiscent of the work of the second author and collaborators for the Chern–Simons–Schrödinger flow in [20].
1.3 Scaling and Function Spaces
To understand what are the natural thresholds for local well-posedness, it is interesting to to consider the scaling properties of the solutions. As one might expect, a clean scaling law is obtained when \(\Sigma ^d = {{\mathbb {R}}}^d\) and \({\mathcal {N}}^{d+2} = {{\mathbb {R}}}^{d+2}\). Then we have the following:
Proposition 1.1
(Scale invariance for (SMCF)) Assume that F is a solution of (1.1) with initial data \(F(0)=F_0\), then \({F}_\mu (t,x):=\mu ^{-1}F(\mu ^2 t,\mu x)\) is a solution of (1.1) with initial data \({F}_\mu (0)=\mu ^{-1}F_0(\mu x)\).
The above scaling would suggest the critical Sobolev space for our moving surfaces \(\Sigma _t\) to be \(\dot{H}^{\frac{d}{2}+1}\). However, instead of working directly with the surfaces, it is far more convenient to track the regularity at the level of the curvature \({\textbf{H}}(\Sigma _t)\), which scales at the level of \(\dot{H}^{\frac{d}{2}-1}\).
For our main result we will use instead inhomogeneous Sobolev spaces, and it will suffice to go one derivative above scaling. There is also a low frequency issue, precisely in two space dimensions where the \(L^2\) norm is critical. There we will need to make a slightly stronger assumption on the low frequency part of the initial data.
1.4 The Main Result
Our objective in this paper is to establish the local well-posedness of skew mean curvature flow for small data at low regularity. A key observation is that providing a rigorous description of fractional Sobolev spaces for functions (tensors) on a rough manifold is a delicate matter, which a-priori requires both a good choice of coordinates on the manifold and a good frame on the vector bundle (the normal bundle in our case). This is done in the next section, where we fix the gauge and write the equation as a quasilinear Schrödinger evolution in a good gauge. At this point, we content ourselves with a less precise formulation of the main result.
Theorem 1.2
(Small data local well-posedness in dimensions \(d\geqq 3\)) Let \(d\geqq 3\), \(s>\frac{d}{2}\) and \(\sigma _d=\frac{d}{2}-\delta \). Then there exists \(\epsilon _0>0\) sufficiently small such that, for all initial data \(\Sigma _0\) with metric \(g_0\) and mean curvature \( {\textbf{H}}_0\) satisfying
relative to some parametrization of \(\Sigma _0\), the skew mean curvature flow (1.1) for maps from \({{\mathbb {R}}}^d\) to the Euclidean space \(({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) is locally well-posed on the time interval \(I=[0,1]\) in a suitable gauge.
With a slight adjustment, a similar result holds in dimension \(d=2\).
Theorem 1.3
(Small data local well-posedness in dimension \(d=2\)) Let \(d = 2\), \(s>\frac{d}{2}\) and \(\sigma _d=\frac{d}{2}-\delta \). Then there exists \(\epsilon _0>0\) sufficiently small such that, for all initial data \(\Sigma _0\) with metric \(g_0\) and mean curvature \( {\textbf{H}}_0\) satisfying
as well as a low frequency bound for \(g_0\)
relative to some parametrization of \(\Sigma _0\), the skew mean curvature flow (1.1) for maps from \({{\mathbb {R}}}^d\) to the Euclidean space \(({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) is locally well-posed on the time interval \(I=[0,1]\) in a suitable gauge.
We continue with some comments on the function spaces in the above theorems:
-
For the metric \(g_0\), we use the difference \(g_0-I_d\) in the above statements in order to emphasize the normalization \(g_0 \rightarrow I_d\) at infinity.
-
In dimension \(d \geqq 3\), the \(g_0-I_d\) norm in (1.2) only plays a qualitative role, namely to place us in a regime where, in harmonic coordinates, \(g_0\) is uniquely determined by the mean curvature \({\textbf{H}}_0\).
-
The \(Y_0^{lo}\) norm in (1.3), defined in Section 3, captures low frequency \({l}^1\) summability properties for \(g_0\) with respect to cube lattice partitions of \({{\mathbb {R}}}^d\). Similar norm appear in our analysis in dimensions \(d \geqq 3\). The main difference is that in higher dimension, the Y norms of \(g_0-I_d\) can be estimated in terms of the \(H^s\) norm of \( {\textbf{H}}\) in harmonic coordinates. In two dimensions, this estimate borderline fails, so we instead include the \(Y_0^{lo}\) bound in the hypothesis.
Following the spirit of our earlier work [9], in these results we consider rough data and provide a full, Hadamard style well-posedness result based on a more modern, frequency envelope approach and using a paradifferential form for both the full and the linearized equations. For an overview of these ideas we refer the reader to the expository paper [10]. This is unlike any of the prior results, which prove only existence and uniqueness for smooth data.
The favourable gauge mentioned in the theorem is defined in the next section in two steps:
-
(a)
at the initial time, where we proceed as in [9], and use
-
Harmonic coordinates on the manifold \(\Sigma _0\).
-
The Coulomb gauge for the orthonormal frame on the normal bundle \(N\Sigma _0\).
-
-
(b)
dynamically for \(t > 0\), where we use
-
The heat coordinates on the manifolds \(\Sigma _t\).
-
The heat gauge for the orthonormal frame on the normal bundle \(N\Sigma \).
-
One simple example of initial data allowed by our theorem consists of graph submanifolds with defining functions \(u_1\), \(u_2\), of the form
Here one may simply take \(u_1\) and \(u_2\) to be small in \(H^{s+2}\), with the added low frequency control in the \(Y^{lo}_0\) space in dimension two. However, the \(H^{s+2}\) control is only needed at high frequency, while at low frequency it suffices to have control only in homogeneous norms \(\dot{H}^{\frac{d}{2}+1-\delta }\) with \(\delta > 0\). This allows for perturbations which are not small in any uniform norm.
Example 1.3.1
(Bump-like sub-manifolds) Let \(\phi _i,\ i=1,2\) be Schwartz functions. Then for small \(\epsilon > 0\) and \(\delta > 0\), the manifold \(\Sigma _0\) given by the defining functions
satisfies the hypotheses of our theorem. with \(\epsilon >0\) sufficiently small. This manifold is not a small perturbation of the Euclidean plane in low dimension.
Example 1.3.2
(Sub-manifolds with nontrivial asymptotics) For small \(\epsilon _j > 0\) and \(\delta > 0\), the manifold \(\Sigma _0\) given by the defining functions
satisfies the hypotheses of our theorem. with \(\epsilon _j>0\) sufficiently small. This manifold is also not a small perturbation of the Euclidean plane.
In the next section we reformulate the (SMCF) equations as a quasilinear Schrödinger evolution for good scalar complex variable \(\lambda \), which is exactly the second fundamental form but represented in the good gauge. There we provide an alternate formulation of the above result, as a well-posedness result for the \(\lambda \) equation. In the final section of the paper we close the circle and show that one can reconstruct the full (SMCF) flow starting from the good variable \(\lambda \).
Once our problem is rephrased as a nonlinear Schrödinger evolution, one may compare its study with earlier results on general quasilinear Schrödinger evolutions. This story begins with the classical work of Kenig–Ponce–Vega [12,13,14], where local well-posedness is established for more regular and localized data. Lower regularity results in translation invariant Sobolev spaces were later established by Marzuola–Metcalfe–Tataru [20,21,22]. The local energy decay properties of the Schrödinger equation, as developed earlier in [2, 3, 5, 6] play a key role in these results. While here we are using some of the ideas in the above papers, the present problem is both more complex and exhibits additional structure. Because of this, new ideas and more work are required in order to close the estimates required for both the full problem and for its linearization.
1.5 An Overview of the Paper
Our first objective in this article will be to provide a self-contained formulation of the (SMCF) flow, interpreted as a nonlinear Schrödinger equation for a well chosen variable. This variable, denoted by \(\lambda \), represents the second fundamental form on \(\Sigma _t\), in complex notation. We remark that in our earlier paper [9] we have used instead the complex representation \(\psi \) of the mean curvature \({\textbf{H}}\) as the good variable, and \(\lambda \) was uniquely determined by \(\psi \) via an elliptic div-curl system. However, solving this system in two dimensions is a delicate matter, which is why here we switch to \(\lambda \). The slight downside of this strategy is that the components of \(\lambda \) are not independent, and instead satisfy a set of compatibility conditions which need to be propagated along the flow.
In addition to the main variable \(\lambda \), we will use several dependent variables, as follows:
-
The Riemannian metric g on \(\Sigma _t\).
-
The magnetic potential A, associated to the natural connection on the normal bundle \(N \Sigma _t\).
These additional variables will be viewed as uniquely determined by our main variable \(\lambda \) and initial metric \(g_0\) in a dynamical fashion. This is first done at the initial time by choosing harmonic coordinates on \(\Sigma _0\), respectively the Coulomb gauge on \(N \Sigma _0\). Finally, our dynamical gauge choice also has two components:
-
(i)
The choice of coordinates on \(\Sigma _t\); here we use heat coordinates, with suitable boundary conditions at infinity.
-
(ii)
The choice of the orthonormal frame on \(N\Sigma _t\); here we use the heat gauge, again assuming flatness at infinity.
To begin this analysis, in the next section we describe the gauge choices, so that by the end we obtain
-
(a)
A nonlinear Schrödinger equation for \(\lambda \), see (2.28).
-
(b)
A parabolic system (2.29) for the dependent variables \({{\mathcal {S}}}=(g,A)\), together with suitable compatibility conditions (constraints).
Setting the stage to solve these equations, in Section 3 we describe the function spaces for both \(\lambda \) and \({{\mathcal {S}}}\). This is done at two levels, first at fixed time, which is needed in order to track data sets, and then in the space-time setting, which is needed in order to solve both the heat flows (2.29) and the Schrödinger evolution (2.28). The fixed time spaces are classical Sobolev spaces, with matched regularities for all the components. The main space-time norms are the so called local energy spaces associated to the Schrödinger evolution, as developed in [20,21,22]. In addition, we also use parabolic mixed norm spaces, which capture the regularity gain in the heat flows.
We begin our analysis in Section 4, where we place the initial data in the harmonic/Coulomb gauge. In higher dimension this analysis was already carried out in our earlier paper [9]. Thus our emphasis here is on the two dimensional case, where some additional low frequency issues arise in connection with the Y norms for the metric g. Compared to our earlier article [9], here we are able to improve the analysis and relax the low frequency component of the Y norm. This suffices in dimension three, but is only borderline in dimension two, which is why we add the low frequency Y bound to the hypothesis of Theorem 1.3.
Next, in Section 5, we consider the solvability of the parabolic system (2.29). We will do this in two steps. First we prove that this system is solvable in the space \({{\mathcal {E}}}^s\). Then we prove space-time bounds for the metric h in local energy spaces; the latter will be needed in the study of the Schrödinger evolution (2.28).
Finally, we turn our attention to the Schrödinger system (2.28), whose study may be compared with earlier results on general quasilinear Schrödinger evolutions. This begins with the classical work of Kenig–Ponce–Vega [12,13,14], where local well-posedness is established for more regular and localized data. Lower regularity results in translation invariant Sobolev spaces were later established by Marzuola–Metcalfe–Tataru [20,21,22]. The local energy decay properties of the Schrödinger equation, as developed earlier in [2, 3, 5, 6] play a key role in these results. Here we are following a similar track, though the present problem is both more complex and exhibits additional structure. Because of this, new ideas and more work are required in order to close the estimates required for both the full problem and for its linearization.
We divide our approach in several steps. In Section 6 we establish several multilinear and nonlinear estimates in our space-time function spaces. These are then used in Section 7 in order to prove local energy decay bounds first for the linear paradifferential Schrödinger flow, and then for a full linear Schrödinger flow associated to the linearization of our main evolution.
The analysis is completed in Section 8, where we combine the linear heat flow bounds and the linear Schrödinger bounds in order to (i) construct solutions for the full nonlinear Schrödinger flow, and (ii) to prove the uniqueness and continuous dependence of the solutions. The solutions are initially constructed without reference to the constraint equations, but then we prove that the constraints are indeed satisfied, by propagating them from the initial time.
Last but not least, in the last section we prove that the full set of variables \((\lambda ,g,A)\) suffice in order to uniquely reconstruct the defining function F for the evolving surfaces \(\Sigma _t\), as \(H^{s+2}_{loc}\) manifolds. More precisely, with respect to the parametrization provided by our chosen gauge, F has regularity
2 The Differentiated Equations and the Gauge Choice
The goal of this section is to introduce our main independent variable \(\lambda \), which represents the second fundamental form in complex notation, as well as the following auxiliary variables: the metric g, the connection coefficients A for the normal bundle. For \(\lambda \) we start with (1.1) and derive a nonlinear Schödinger type system (2.28), with coefficients depending on \({{\mathcal {S}}}= (g,A)\). Under suitable gauge conditions, the auxiliary variables \({{\mathcal {S}}}\) are shown to satisfy a parabolic system (2.29), as well as a natural set of constraints. We conclude the section with a gauge formulation of our main result, see Theorem 2.5. Here we will introduce the heat coordinates and heat gauge in detail. For some of the detailed derivations, we refer to section 2 in [9].
2.1 The Riemannian Metric g and the Second Fundamental Form
Let \((\Sigma ^d,g)\) be a d-dimensional oriented manifold and let \(({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) be \((d+2)\)-dimensional Euclidean space. Let \(\alpha ,{\beta },\gamma ,\cdots \in \{1,2,\cdots ,d\}\). Considering the immersion \(F:\Sigma \rightarrow ({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\), we obtain the induced metric g in \(\Sigma \),
We denote the inverse of the matrix \(g_{\alpha {\beta }}\) by \(g^{\alpha {\beta }}\), i.e.
Let \(\nabla \) be the cannonical Levi–Civita connection on \(\Sigma \) associated with the induced metric g. A direct computation shows that on the Riemannian manifold \((\Sigma ,g)\) we have the Christoffel symbols
For any tensor \(T^{\alpha _1\cdots \alpha _r}_{{\beta }_1\cdots {\beta }_s}\textrm{d}x^{\beta _1}\otimes ...\textrm{d}x^{\beta _s}\otimes \frac{\partial }{\partial x^{\alpha _1}}\otimes ...\otimes \frac{ \partial }{\partial x^{\alpha _r}}\), we define its covariant derivative as follows
Hence, the Laplace–Beltrami operator \(\Delta _g\) can be written in the form
for any twice differentiable function \(f:\Sigma \rightarrow {{\mathbb {R}}}\). The curvature R on the Riemannian manifold \((\Sigma ,g)\) is given by
We also have
and the Ricci curvature
Next, we derive the second fundamental form for \(\Sigma \). Let \({\bar{\nabla }}\) be the Levi–Civita connection in \(({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) and let \({\textbf{h}}\) be the second fundamental form for \(\Sigma \) as an embedded manifold. For any vector fields \(u,v\in T_{*}\Sigma \), the Gauss relation is
Then we have
This gives the mean curvature \({\textbf{H}}\) at F(x),
Hence, the F-equation in (1.1) is rewritten as
This equation is still independent of the choice of coordinates in \(\Sigma ^d\).
2.2 The Complex Structure Equations
Here we introduce a complex structure on the normal bundle \(N\Sigma _t\). This is achieved by choosing \(\{\nu _1,\nu _2\}\) to be an orthonormal basis of \(N\Sigma _t\) such that
Such a choice is not unique; in making it we introduce a second component to our gauge group, namely the group of sections of an SU(1) bundle over \(I \times {{\mathbb {R}}}^d\).
The vectors \(\{ F_1,\cdots ,F_d,\nu _1,\nu _2\}\) form a frame at each point on the manifold \((\Sigma ,g)\), where \(F_{\alpha }\) for \(\alpha \in \{1,\cdots ,d\}\) are defined as
We define the tensors \(\kappa _{\alpha {\beta }},\ \tau _{\alpha {\beta }}\), the connection coefficients \(A_{\alpha }\) and the temporal component B of the connection in the normal bundle by
Then we complexify the normal frame \(\{\nu _1,\nu _2\}\) and second fundamental form as
Here we can define the complex scalar mean curvature \(\psi \) to be
Our objective for the rest of this section will be to interpret the (SMCF) equation as a nonlinear Schrödinger evolution for \(\lambda \), by making suitable gauge choices. We remark that the action of sections of the SU(1) bundle is given by
for a real valued function \(\theta \).
If we differentiate the frame, we obtain a set of structure equations of the following type
where \(\partial _{\alpha }^A=\partial _{\alpha }+iA_{\alpha }\).
2.3 The Gauss and Codazzi Relations
The Gauss and Codazzi equations are derived from the equality of second derivatives \(\partial _{\alpha }\partial _{{\beta }}F_{\gamma }=\partial _{{\beta }}\partial _{\alpha }F_{\gamma }\) for the tangent vectors on the submanifold \(\Sigma \) and for the normal vectors respectively. Here we use the Gauss and Codazzi relations to derive the Riemannian curvature, the first compatibility condition and a symmetry.
By the structure equations (2.6), we get
Then in view of \(\partial _{\alpha }\partial _{{\beta }} F_{\gamma }=\partial _{{\beta }}\partial _{\alpha } F_{\gamma }\) and equating the coefficients of the tangent vectors, we obtain
This gives the Riemannian curvature
which is a complex formulation of the Gauss equation. Correspondingly we obtain the the Ricci curvature
After equating the coefficients of the vector m in (2.7), we obtain
By the definition of covariant derivatives (2.2), we obtain the complex formulation of the Codazzi equation, namely
Next, we use the relation \(\partial _{\alpha }\partial _{{\beta }}m=\partial _{{\beta }}\partial _{\alpha }m\) in order to derive a compatibility condition between the connection A in the normal bundle and the second fundamental form. Indeed, from \(\partial _{\alpha }\partial _{{\beta }}m=\partial _{{\beta }}\partial _{\alpha }m\) we obtain the commutation relation
By (2.6) we have
Then multiplying (2.11) by m yields
This gives the compatibility condition for the curvature A,
which can be seen as the complex form of the Ricci equations. We remark that, by equating the coefficients of the tangent vectors in (2.11) , we also obtain the relation (2.10) again.
2.4 The Motion of the Frame \(\{F_1,\cdots ,F_d,m\}\) under (SMCF)
Here we derive the equations of motion for the frame, assuming that the immersion F satisfying (1.1).
We begin by rewriting the SMCF equations in the form
where \(V^{\gamma }\) is a vector field on the manifold \(\Sigma \), which in general depends on the choice of coordinates. By the definition of m and \(\lambda _{\alpha {\beta }}\), the above F-equation is rewritten as
Then by (2.13), the structure equations (2.6) and the orthogonality relation \(m\bot F_{\alpha }=0\) we obtain the following equations of motion for the frame
where covariant derivative \(\partial _t^B=\partial _t +iB\) and \(B=\langle \partial _t \nu _1,\nu _2\rangle \) is the temporal component of the connection in the normal bundle.
From this we obtain the evolution equation for the metric g. By the definition of the induced metric g (2.1) and (2.14) , we have
So far, the choice of V has been unspecified; it depends on the choice of coordinates on our manifold as the time varies.
2.5 The Motion of A and \(\lambda \) Under (SMCF)
Here we use the equations of motion for the frame in (2.14) in order to repeat the computations of Section 2.3 with respect to time differentiation, with the aim of computing the time derivative of both \(\lambda \) and A. We start from the commutation relation
In order, for the left-hand side, by (2.6) and (2.14) we have
and
Then by the above three equalities, equating the coefficients of the tangent vectors and the normal vector m, we obtain the evolution equation for \(\lambda \)
as well as the compatibility condition (curvature relation)
2.6 The Equations for the Connection A in the Coulomb Gauge and the Heat Gauge
Here we take the first step towards fixing the gauge, and consider the choice of the orthonormal frame in \(N\Sigma \). Our starting point consists of the curvature relations (2.12) at fixed time, respectively (2.17) dynamically, together with the gauge group (2.5). We will fix the gauge in two steps, first in a static, elliptic fashion at the initial time, and then dynamically, using a heat flow, for later times.
At the initial time \(t=0\) we obtain an elliptic system for A by imposing the Coulomb gauge condition
As in [9], this yields
Lemma 2.1
(Div-curl system for A) Under the Coulomb gauge condition (2.18), the connection A solves
In our previous work [9], the connection coefficients A and B were determined via the Coulomb gauge condition (2.18) at all times. Instead, in this article we only enforce the Coulomb gauge condition at the initial time \(t = 0\), while for \(t > 0\) we adopt from [19] a different gauge condition called the parabolic gauge or heat gauge. This is defined by the relation
which in turn yields a parabolic equation for A:
Lemma 2.2
(Parabolic equations for A) Under the heat gauge condition (2.20), the connection A solves
Proof
Since by (2.12) we have
Then the equations (2.21) is obtained from (2.17) and the heat gauge (2.20). \(\square \)
2.7 The Equations for the Metric g in Harmonic Coordinates and Heat Coordinates
Here we take the next step towards fixing the gauge, by choosing to work in harmonic coordinates at \(t=0\) and heat coordinates for \(t>0\). Precisely, at the initial time \(t=0\) we will require the coordinate functions \(\{x_{\alpha },\alpha =1,\cdots ,d\}\) to be globally Lipschitz solutions of the elliptic equations
This determines the coordinates uniquely modulo time dependent affine transformations. This remaining ambiguity will be removed later on by imposing suitable boundary conditions at infinity. After this, the only remaining degrees of freedom in the choice of coordinates at \(t = 0\) will be given by translations and rigid rotations.
Here we interpret the above harmonic coordinate condition at fixed time as an elliptic equation for the metric g. The equations (2.22) may be expressed in terms of the Christoffel symbols \(\Gamma \), which must satisfy the condition
This leads to an equation for the metric g:
Lemma 2.3
(Elliptic equations of g, Lemma 2.4 [9]) In harmonic coordinates, the metric g satisfies
For latter times \(t>0\) we will introduce the heat gauge, where we require the coordinate functions \(\{x^\alpha ,\alpha =1,\cdots ,d\}\) to be global Lipschitz solutions of the heat equations
This can be rewritten as
and can also be expressed in terms of the Christoffel symbols \(\Gamma \), namely,
Once a choice of coordinates is made at the initial time, the coordinates will be uniquely determined later on by this gauge condition.
With the advection field V fixed via the heat coordinate condition (2.25), we can derive a parabolic equation for the metric g.
Lemma 2.4
(Parabolic equations for metric g) Under the condition (2.25), the metric g solves
Proof
By the relation (2.25) we have
Using the expression for \(\Gamma \) and for the Riemannian curvature (2.3) we have
We then obtain
Combined with (2.15), this implies (2.26). \(\square \)
2.8 Derivation of the Modified Schrödinger System from SMCF
Here we carry out the last step in our analysis of the equations, and obtain the main Schrödinger equation which governs the time evolution of \(\lambda \).
Our starting point is the equations (2.16), which are rewritten as
We use the compatibility conditions (2.4), (2.12) and (2.8) to write the second term as
Since
we obtain the \(\lambda \)-equations
In conclusion, under the heat coordinate condition \(g^{\alpha {\beta }}\Gamma ^{\gamma }_{\alpha {\beta }}=V^\gamma \) and heat gauge condition \(\nabla ^{\alpha }A_{\alpha }=B\), by (2.27), (2.26) and (2.21), we obtain the covariant Schrödinger equation for the complex second fundamental form tensor \(\lambda \)
These equations are fully covariant, and do not depend on the gauge choices made earlier. On the other hand, our gauge choices imply that the advection field V and the connection coefficient B are determined by the metric g and connection A via (2.25), respectively, (2.20). In turn, the metric g and the connection coefficients A are determined in an parabolic fashion via the following equations
with initial data
These are determined at the initial time by choosing harmonic coordinates on \(\Sigma _0\), respectively the Coulomb gauge for A.
Fixing the remaining degrees of freedom (i.e. the affine group for the choice of the coordinates as well as the time dependence of the SU(1) connection) we can assume that the following conditions hold at infinity in an averaged sense:
These are needed to insure the unique solvability of the above parabolic equations in a suitable class of functions. For the metric g it will be useful to use the representation
so that h vanishes at infinity.
We have arrived at the main Schrödinger-Parabolic system (2.28)–(2.29), whose solvability is the primary objective of the rest of the paper. This system is accompanied by a family of compatibility conditions as follows:
-
(i)
The Gauss equations (2.8) connecting the curvature R of g and \(\lambda \).
-
(ii)
The Codazzi equations (2.10) for \(\lambda \).
-
(iii)
The Ricci equations (2.12) for the curvature of A.
-
(iv)
The compatibility condition (2.17) for the B.
We will solve the system irrespective of these compatibility conditions, but then show them to be satisfied for small solutions to the nonlinear system (2.28)–(2.29), by propagating them from the initial time \(t=0\).
Now we can restate here the small data local well-posedness result for the (SMCF) system in Theorem 1.2 in terms of the above system:
Theorem 2.5
(Small data local well-posedness in the good gauge) Let \(d\geqq 2\) and \(s>\frac{d}{2}\). Then there exists \(\epsilon _0>0\) sufficiently small such that, for all initial data \((\lambda _0, h_0,A_0)\) satisfying the constraints (2.10), (2.8) and (2.12) and with
the modified Schrödinger system (2.28), coupled with the parabolic system (2.29) for (h, A) is locally well-posed in \(l^2X^s\times {{\varvec{ {\mathcal {E}}}}}^s\) on the time interval \(I=[0,1]\). Moreover, the second fundamental form \(\lambda \), the metric g and the connection coefficients A satisfy the bounds
In addition, the functions \((\lambda , g,A)\) satisfy the constraints (2.8), (2.10), (2.12) and (2.17).
Here the solution \(\lambda \) satisfies in particular the expected bounds
The spaces \(l^2 X^s\) and \({{\varvec{ {\mathcal {E}}}}}^s\), defined in the next section, contain a more complete description of the full set of variables \(\lambda ,h,A\), which includes both Sobolev regularity and local energy bounds.
In the above theorem, by well-posedness we mean a full Hadamard-type well-posedness, including the following properties:
-
(i)
Existence of solutions \(\lambda \in C[0,1;H^s]\), with the additional regularity properties (2.32).
-
(ii)
Uniqueness in the same class.
-
(iii)
Continuous dependence of solutions with respect to the initial data in the strong \(H^s\) topology.
-
(iv)
Weak Lipschitz dependence of solutions with respect to the initial data in the weaker \(L^2\) topology.
-
(v)
Energy bounds and propagation of higher regularity.
We conclude this section with several remarks concerning the result in Theorem 2.5:
Remark 2.5.1
(The variable \(\lambda \) vs \(\psi \)) In our earlier paper [9] we have worked with \(\psi \) as the main dynamic variable for the Schrödinger flow, and the full second fundamental form \(\lambda \) was obtained from \(\psi \) by solving an elliptic div-curl system derived from the Codazzi relations (2.10). Here we work directly with \(\lambda \), because solving this elliptic system has issues at the \(L^2\) level in twoFootnote 1 space dimensions. The downside is that the components of \(\lambda \) are not independent, and are instead connected via the compatibility relations (2.10). Thus, these relations will have to be propagated dynamically.
Remark 2.5.2
(Initial data sets) The harmonic/Coulomb gauge condition at the initial time plays no role in Theorem 2.5, where smallness is assumed for both \(\lambda _0\), \(h_0\) and \(A_0\). However, it is useful in order to connect Theorem 2.5 with the earlier statement in Theorems 1.2, 1.3.
3 Function Spaces and Notations
The goal of this section is to define the function spaces where we aim to solve the (SMCF) system in the good gauge, given by (2.28). Both the spaces and the notation presented in this section are similar to those introduced in [20,21,22].
We begin with some constants. Let regularity index \(s>d/2\) and \(\delta >0\) be a smallFootnote 2 constant satisfying
We then define the constant \(\sigma _d\) depending on dimensions d as
For a function u(t, x) or u(x), let \({\hat{u}}={{\mathcal {F}}}u\) and \(\check{u}={{\mathcal {F}}}^{-1}u\) denote the Fourier transform and inverse Fourier transform in the spatial variable x, respectively. Fix a smooth radial function \(\varphi :{{\mathbb {R}}}^d \rightarrow [0,1] \) supported in \(\{x\in {{\mathbb {R}}}^d:|x|\leqq 2\}\) and equal to 1 in \(\{x\in {{\mathbb {R}}}^d:|x|\leqq 1\}\), and for any \(i\in {{\mathbb {Z}}}\), let
We then have the spatial Littlewood–Paley decomposition,
where \(P_i\) localizes to frequency \(2^i\) for \(i\in {{\mathbb {Z}}}\), i.e,
and
For simplicity of notation, we set
For each \(j\in {{\mathbb {N}}}\), let \({{\mathcal {Q}}}_j\) denote a partition of \({{\mathbb {R}}}^d\) into cubes of side length \(2^j\), and let \(\{\chi _Q\}\) denote an associated partition of unity. For a translation-invariant Sobolev-type space U, set \(l^p_j U\) to be the Banach space with associated norm
with the obvious modification for \(p=\infty \).
Next we define the \(l^2X^s\) and \(l^2N^s\) spaces, which will be used for the primary variable \(\lambda \), respectively for the source term in the Schrödinger equation for \(\lambda \). Following [20,21,22], we first define the X-norm as
Here and throughout, \(L^pL^q\) represents \(L^p_tL^q_x\). To measure the source term, we use an atomic space N satisfying \(X=N^{*}\). A function a is an atom in N if there is a \(j\geqq 0\) and a \(Q\in {{\mathcal {Q}}}_j\) such that a is supported in \([0,1]\times Q\) and
Then we define N as linear combinations of the form
with norm
For solutions which are localized to frequency \(2^j\) with \(j \geqq 0\), we will work in the space
with norm
One way to assemble the \(X_j\) norms is via the \(X^s\) space
But we will also add the \(l^p\) spatial summation on the \(2^j\) scale to \(X_j\), in order to obtain the space \(l^p_j X_j\) with norm
We then define the space \(l^p X^s\) by
For the solutions of Schrödinger equation in (2.28), we will be working primarily in \(l^2 X^s\).
We analogously define
which has norm
and
Here we shall be working primarily with \(l^2N^s\).
We also note that for any j, we have
hence
This bound will come in handy at several places later on.
For the parabolic system (2.29), it is natural to work in spaces of the form \(L^\infty H^s\). However, in order to obtain frequency envelope bounds it is more convenient to slightly strengthen this norm. Precisely, we define the \(Z^{\sigma ,s}\) norm as
Compared to \(L^\infty H^s\), here we just commute the \(L^\infty _t\) and \(l^2\) frequency summation. For simplicity of notation, we denote \(Z^s:=Z^{0,s}\). In particular we have
With these notations, we will seek the solution (h, A) to the parabolic system (2.29) in the space \({{\mathcal {E}}}^s\) defined by
Correspondingly, at fixed time we define the space \({{\mathcal {H}}}^s\) as
In addition to the above standard norms, for the study of the Schrödinger equation for \(\lambda \) we will also need to control a stronger norm \({\textbf{Y}}^{s+2}\) for the metric \(h=g-I_d\); this will be defined in what follows.
First, similarly to the \(l^p_j X_j\) norms above, we also add the \(l^p\) spatial summation on the \(2^j\) scale to \(Z_j\), in order to obtain the space \(l^p Z^{\sigma ,s}\) with norm
Here we need to decompose the low frequency part, this allows us to obtain a estimate of h in \(l^2 Z^{\sigma _d,s+2}\) in Proposition 5.4. Correspondingly, we will strengthen the \(Z^{\sigma _d,s+2}\) norm of h to \(l^2 Z^{\sigma _d,s+2}\).
More importantly, we will also introduce some additional structure which is associated to spatial scales larger than the frequency. Precisely, to measure the portion of h which is localized to frequency \(2^j\), this time with \(j\in {{\mathbb {Z}}}\), we decompose \(P_j h\) as an atomic summation of components \(h_{j,l}\) associated to spatial scales \(2^l\) with \(l\geqq |j|\), i.e.
Then we define the \(Y_j\)-norm by
In the decomposition of \(P_j h\) we may project and assume that all terms are also localized at frequency \(2^j\). However in the definition of the \(Y_j\) norms we make no such assumption.
Assembling together the dyadic pieces in an \(l^2\) Besov fashion, we obtain the \(Y^{s}\) space with norm given by
Then for h-equation in (2.28), we will be working primarily in \({\textbf{Y}}^{s+2}\), whose norm is defined by
Collecting all the components defined above, for the parabolic system (2.29) we define the final \({{\varvec{ {\mathcal {E}}}}}^s\) norm as
At fixed time, we can remove the \(L^\infty _t\) in \({\textbf{Y}}^{s+2}\) and \({{\varvec{ {\mathcal {E}}}}}^s\), and obtain the function spaces \({\textbf{Y}}_0^{s+2}\) and \({{\varvec{ {\mathcal {E}}}}}^s_0\) respectively. Precisely, we define the \(Y_{0j}\) norm corresponding to \(Y_j\) as
and obtain the \(Y^s_0\) space with norm given by
Then we obtain the space \({\textbf{Y}}^{s+2}_0\) with norm defined by
and the space \({{\varvec{ {\mathcal {E}}}}}^s_0\) defined by
Finally, to capture only the low frequency information in the \(Y_0^s\) spaces, we introduce the \(Y_0^{lo}\) norm, which is used in our main two dimensional result in Theorem 1.3:
Next, we define the frequency envelopes as in [20,21,22] which will be used in multilinear estimates. Consider a Sobolev-type space U for which we have
A frequency envelope for a function \(u\in U\) is a positive \(l^2\)-sequence, \(\{ a_j\}\), with
We shall only permit slowly varying frequency envelopes. Thus, we require \(a_0\approx \Vert u\Vert _U\) and
The constant \(\delta \) shall be chosen later and only depends on s and the dimension d. Such frequency envelopes always exist. For example, one may choose
Since we often use Littlewood–Paley decompositions, the next lemma is a convenient tool to see that our function spaces are invariant under the action of some standard classes of multipliers:
Lemma 3.1
For any Schwartz function \(f\in {{\mathcal {S}}}\), multiplier m(D) with \(\Vert {{\mathcal {F}}}^{-1}(m(\xi ))\Vert _{L^1}<\infty \), and translation-invariant Sobolev-type space U, we have
Finally, we state a Bernstein-type inequality and two estimates.
Lemma 3.2
(Bernstein-type inequality, Lemma 3.2 [9]) For any \(j,k\in {{\mathbb {Z}}}\) with \(j+k\geqq 0\), \(1\leqq r<\infty \) and \(1\leqq q\leqq p\leqq \infty \), we have
Proposition 3.3
(Algebra property) For any \(f,\ g\in Y^{lo}_0\) we have
Proof
We first note that by Bernstein’s inequality we have \(Y^{lo}_0 \subset L^\infty \). Then for the high-low and low-high interactions we can estimate
For the high-high interactions, we have
These two bounds imply that
For the high-frequency part \(P_{\geqq 0}(fg)\), we bound its \(L^\infty \) norm by
To bound its \(Y_{00}\) norm, we further decompose it as
The first term is bounded by
The second term is bounded similarly. We bound the last term by
This completes the bound for high frequency part, and thus the proof of the proposition. \(\square \)
Lemma 3.4
For any Schwartz function f, \(j\in {{\mathbb {N}}}\) and \(1\leqq r\leqq \infty \), we have
Proof
We use the heat kernel
which we decompose with respect to cubes \(Q \in {{\mathcal {Q}}}_j\). Then from the corresponding decomposition
we obtain
Since \(t \in [0,1]\) and \(r \geqq 0\), we can use the exponential off-diagonal decay for K on the unit scale to conclude that
and thus (3.5) follows.
For the second bound, we separate the low frequencies and use the kernel \(K_0\) for \(S_0e^{(t-s)\Delta }\) with a similar cube decomposition to estimate
where the \(K_0\) norm is easily estimates using the rapid kernel decay on the unit scale.
Similarly, for high frequencies \(j > 0\) we use the kernel \(K_j\) for \(S_j e^{(t-s)\Delta }\) with a similar cube decomposition to estimate
For fixed t we use the exponential symbol decay to obtain
and now the time integration yields the desired \(2^{-2j}\) decay. This concludes the proof of (3.6). \(\square \)
4 The Initial Data
Our evolution begins at time \(t = 0\), where we need to make a good gauge choice for the initial submanifold \(\Sigma _0\). This has two components,
-
(i)
a good set of coordinates on \(\Sigma _0\), namely the global harmonic coordinates, represented via the map \(F : {{\mathbb {R}}}^d \rightarrow {{\mathbb {R}}}^{d+2}\).
-
(ii)
a good orthonormal frame in \(N \Sigma _0\), where we will use the Coulomb gauge.
Once this is done, we have the frame in the tangent space and the frame m in the normal bundle. In turn, as described in Section 2, these generate the metric g, the second fundamental form \(\lambda \) with trace \(\psi \) and the connection A, all at the initial time \(t = 0\).
We will first carry out the construction of the global harmonic coordinates, and use them to prove bounds for the parametrization F and for the metric \(g_0 = I_d + h_0\). Then we introduce the Coulomb gauge, which in turn determines \(\lambda _0\) and \(A_0\).
The final objective of this section will be to describe the regularity and size of \((\lambda _0,g_0,A_0)\), and thus justify the smallness condition (2.31) for the Schrödinger-Parabolic system(2.28)–(2.29). The main result of this section is stated below in Proposition 4.1 for dimensions \(d\geqq 3\) and Proposition 4.2 for dimension 2, respectively.
In order to state the following propositions, we define some notations. Let \(F:{{\mathbb {R}}}^d_x \rightarrow ({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) be an immersion with induced metric g(x). For any change of coordinate \(y=x+\phi (x)\), we denote
and its induced metric by \({{\tilde{g}}}_{\alpha {\beta }}(y)=\langle \partial _{y_\alpha }{{\tilde{F}}},\partial _{y_{\beta }}{{\tilde{F}}}\rangle \). We also denote its Christoffel symbol as \({\tilde{\Gamma }}\) and \({{\tilde{h}}}(y)={{\tilde{g}}}(y)-I_d\). The main results are summarized as follows:
Proposition 4.1
(Harmonic coordinates and initial data in dimensions \(d\geqq 3\)) Let \(d\geqq 3\), \(s>\frac{d}{2}\). Let \( F:({{\mathbb {R}}}^d_x,g)\rightarrow ({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}}) \) be an immersion with induced metric \(g=I_d+h\). Assume that the metric h and the mean curvature \({\textbf{H}}\) satisfy the smallness conditions
Then there exists a unique change of coordinates \(y=x+\phi (x)\) with \(\lim _{x\rightarrow \infty }\phi (x)=0\) and \(\nabla \phi \) uniformly small, such that the new coordinates \(\{y_1,\cdots ,y_d\}\) are global harmonic coordinates. Moreover, we have the bound
and, in the new coordinates \(\{y_1,\cdots ,y_d\}\), for the metric and mean curvature we have
In addition, under the harmonic coordinate condition (2.23) for g, respectively the Coulomb gauge (2.18) for A, we have the following bounds for complex second fundamental form \(\lambda \), metric \(h = g - I_d\) and A:
Compared to the above higher dimensions cases, in dimensions 2 we would work in a smaller function space.
Proposition 4.2
(Harmonic coordinates and initial data in dimension 2) Let \(d= 2\), \(s>\frac{d}{2}\), and \(\sigma _d\) be as in (3.1). Let \( F:({{\mathbb {R}}}^d_x,g)\rightarrow ({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}}) \) be an immersion with induced metric \(g=I_d+h\). Assume that the metric h and mean curvature \({\textbf{H}}\) satisfy the smallness conditions
Then there exists a change of coordinates \(y=x+\phi (x)\), with \(\nabla \phi \) uniformly small and with \(\lim _{x\rightarrow \infty }\nabla \phi (x)=0\), unique modulo constants, such that the new coordinates \(\{y_1,\cdots ,y_d\}\) are global harmonic coordinates. Moreover, we have the bound
and, in the new coordinates \(\{y_1,\cdots ,y_d\}\), for the metric and mean curvature we have
In addition, under the harmonic coordinate condition (2.23) for g, respectively the Coulomb gauge (2.18) for A, we have the following bounds for complex second fundamental form \(\lambda \), metric \(h = g - I_d\) and A:
We remark that the bounds (4.4) respectively (4.8) are the only way the harmonic/Coulomb gauge condition at \(t = 0\) enters this paper. Later, in the study of the parabolic system (2.29), we simply assume that the initial data \((\lambda _0,h_0,A_0)\) satisfies the above smallness condition.
Of the three components of the initial data, \(\lambda _0\) may be thought of as the fundamental one. Indeed, the initial data \((g_0,A_0)\) for the heat flow (2.29) is determined by \(\lambda _0\) via the harmonic coordinate condition (2.23) for g, respectively the Coulomb gauge (2.18) for A, which yield the elliptic equations in Lemmas 2.3 and 2.1. This was the point of view adopted in our previous paper [9] in high dimension, and it largely applies here as well. The only exception to this is in two space dimensions, where we a-priori make an additional low frequency assumption on the metric g, namely the \(Y_0^{lo}\) bound, which cannot be recovered from the \(\lambda _0\) bounds.
4.1 Global Harmonic Coordinates
Here we make a change of coordinates to gain the harmonic coordinates, and then prove that in the new coordinates, the metric h and mean curvature \({\textbf{H}}\) are also small.
Step 1: Solve the \(\phi \) equation and prove the bounds (4.2) and (4.6). To obtain harmonic coordinates, we start with the bound for metric
We make a change of coordinates \(x+\phi (x)=y\) with \(\nabla \phi \) small such that the new coordinates are harmonic. Since the operator \(\Delta _g\) does not depend on the coordinates, by (2.23) we have
which implies
and which we write schematically in the form
Since the leading order term in the right hand side is \(\nabla h\), by the assumption on the metric \(|D|^{\sigma _d}h \in H^{s+1-\sigma _d}\) we will work in the space
Then by Sobolev embeddings and the smallness of h we can uniquely solve the equation (4.10) in this space using the contraction principle, obtaining a solution \(\phi \) which satisfies the bound
which is exactly (4.2) and (4.6) in Theorem 4.1, respectively Theorem 4.2.
Step 2: Prove the bounds (4.3) and (4.7) for \({{\tilde{h}}}\) and \({\textbf{H}}\) in Sobolev spaces. First we prove that the desired \({{\tilde{h}}}\) bound holds in the x-coordinates,
By the above change of coordinate and (4.2) we have \(\frac{\partial x}{\partial y}=I_d+{{\mathcal {P}}}(x)\) where \({{\mathcal {P}}}\) is an algebraic function of \(\nabla \phi \). Hence by algebra and Moser estimates we have
Then the desired bound (4.12) follows from the relation
again by using algebra bounds in the same space.
In order to complete the proof of (4.3) and (4.7), we need to be able to transfer the Sobolev norms from the x to the y coordinates. For this we will apply the following lemma:
Lemma 4.3
Let the change of coordinates \(x+\phi (x)=y\) be as in Proposition 4.1. Define the linear operator T as \(T(f)(y)=f(x(y))\) for any function \(f\in L^2(\textrm{d}x)\). Then we have
Proof
The first bound is obtained from (4.13) and (4.2) using the same argument as in Lemma 8.5 in [9], It remains to prove the second bound (4.15).
By the smallness of \(\phi \) (4.2) we have
Similarly, by (4.2) and (4.13) we also have
Then by interpolation we obtain (4.15) for \(\alpha \in [0,1]\). This suffices in dimension \(d = 2\). In higher dimension, we inductively increase the range of \(\alpha \) by differentiating. Precisely, for \(\alpha > 1\) we have
Here
and, by (4.13),
Hence we have reduced the \(\dot{H}^\alpha \) bound to the \(\dot{H}^{\alpha -1}\) bound. \(\square \)
Given this lemma, by (4.12), (4.14) with \(\sigma = s+1\) and (4.15) we obtain
Hence the \({{\tilde{h}}}\) bounds in (4.3) and (4.7) follow. Similarly, the \({\textbf{H}}\) bound is also directly transferred to the y coordinates by Lemma 4.3.
Step 3: Prove bounds for \(\partial ^2 F\) in harmonic coordinates. While this bound was not explicitely stated in Propositions 4.1, 4.2, it will play an important role later in the proof of the bounds (4.4) and (4.8).
Lemma 4.4
Let \(d\geqq 2\), \(s>\frac{d}{2}\), and \( F:({{\mathbb {R}}}^d,g)\rightarrow ({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}}) \) be an immersion with metric \(\Vert |D|^{\sigma _d}h\Vert _{H^{s+1-\sigma _d}}\lesssim \epsilon _0\) and mean curvature \(\Vert {\textbf{H}}\Vert _{H^s}\lesssim \epsilon _0\) in some coordinates. Then we have
We note that, as a corollary, it follows that we also have the bound
This bound in effect superseeds the \({{\tilde{h}}}\) bound in (4.3), (4.7), with one exception, namely in two dimensions at low frequency.
Another corollary of this is the corresponding bound for the second fundamental form \({\textbf{h}}\), namely
Proof of Proposition 4.4
By the smallness of \(|D|^{\sigma _d}(g-I_d)\) and Sobolev embedding, we have
Then we can bound \(\partial ^2 F\) by
which implies (4.16), and thus completes the proof of lemma. \(\square \)
Step 4: Prove the \(Y_{0}^{lo}\) bound for the metric h in (4.7) in two dimensions. To transfer the \(Y_0^{lo}\) bounds to \({{\tilde{h}}}\), our starting point is the estimate
Next we show that \(\nabla \phi \) satisfies a similar bound,
Proof of (4.19)
We use the \(\phi \)-equations (4.10), which have the form
To get (4.19) via the contraction principle it suffices to estimate the right hand side above in order to prove that
First, we bound the \(Y_j\) norm of \(\nabla \phi \). For the \(\nabla h\), we easily have
which is acceptable. We will next show how to bound the most umbalanced term \(h\nabla ^2 \phi \); the rest of the terms are estimated similarly. For the high-low interactions \(P_j h \nabla ^2 P_{<j} \phi \), by (4.11) we have
Similarly, for the low-high interactions \(P_{<j} h \nabla ^2 P_j\phi \), by (4.9) we have
Finally we consider the high-high interactions, \(\sum _{l> j} P_j( P_{l} h \nabla ^2 P_l\phi )\). Here we use Bernstein’s inequality to obtain
which in view of the bound (4.11) gives
Secondly, we bound the \(Y_{00}\cap L^\infty \) norm for the high frequency part \(P_{\geqq 0} \nabla \phi \). The \(L^\infty \) bound follows from the \(H^s\) bound for \(\phi \) and Sobolev embeddings. It remains to estimate its \(Y_{00}\) norm. Since the operator \(P_{>0} \nabla ^{-1} \nabla \) has the kernel localized to the unit spatial scale, we have
Here we also only discuss the term \(h\nabla ^2\phi \); the contributions of the other terms are estimated similarly. We first divide this term as
For the first term, we directly have
The second term, we further divide it as
where \({\mathcal {R}}\) is Riesz transform. Then we bound this by
Finally, we bound the last term by
This concludes the proof of the \(Y_{00}\cap L^\infty \) norm for \(P_{\geqq 0}\nabla \phi \). \(\square \)
The new metric \({{\tilde{h}}}\) expressed in the x coordinates has the cubic polynomial form
Using the algebra property (3.4) for \(Y^{lo}_0 \) and (4.19), we conclude that
It remains to switch this bound to the y coordinates, i.e. show that
where the difficulty is that we need to use a Littlewood–Paley decomposition. We will circumvent this by using the following representation of \(Y_0^{lo}\) functions:
Lemma 4.5
A function f is in \(Y_0^{lo}\) iff it admits a representation
so that the following norm is finite:
Further, we have
Since by Sobolev embeddings \(\phi \) is small in \(C^2\), the triple norms are easily seen to be equivalent in the x and the y coordinates, therefore the relation (4.20) follows. It remains to prove the Lemma.
Proof
In one direction, we directly see that the decomposition
yields
Conversely, if \(f = \sum f_j\), then we need to show that
For this we estimate for \(k < 0\)
Due to the off-diagonal decay, this implies (4.21). \(\square \)
4.2 The Initial Data \((\lambda _0,h_0,A_0)\)
These are determined by the initial manifold \(\Sigma _0\) given a gauge choice, which consists of choosing (i) a good set of coordinates on \(\Sigma _0\), namely the harmonic coordinates, and (ii) a good orthonormal frame in \(N \Sigma _0\), where we will use the Coulomb gauge.
In the previous subsection we have discussed the construction of harmonic coordinates and proved the Sobolev bound (4.17) for \(h_0\). Here we begin by constructing a Coulomb frame in the normal bundle. Then we can define \(\lambda _0\) and \(A_0\) and directly prove \(H^s\) bounds for them.
However, it turns out that the \(H^s\) bounds tell only part of the story for \(h_0\) and \(A_0\), by treating them as linear objects. Instead, in our chosen gauge both \(h_0\) and \(A_0\) should be seen as quadratic objects, via the equations (2.23), respectively (2.18). In the last part of the section we use these equations to improve the bounds for both \(h_0\) and \(A_0\).
Step 1: The Coulomb frame in \(N \Sigma _0\) and the \(H^s\) bound for \(\lambda \) and A. To obtain the Coulomb gauge, we choose \({\tilde{\nu }}\) constant uniformly transversal to \(T \Sigma _0\); such a \({{\tilde{\nu }}}\) exists because, by Sobolev embeddings, \(\partial _x F\) has a small variation in \(L^\infty \). Projecting \({\tilde{\nu }}\) on the normal bundle \(N \Sigma _0\) and normalizing we obtain a normalized section \({\tilde{\nu }}_1\) of the normal bundle with the same regularity as \(\partial F\). Then we choose \({\tilde{\nu }}_2\) in \(N \Sigma _0\) perpendicular to \({\tilde{\nu }}_1\). We obtain the orthonormal frame \(({\tilde{\nu }}_1,{\tilde{\nu }}_2)\) in \(N \Sigma _0\), which again has the same regularity and bounds as \(\partial _x F\), namely (see Lemma 4.4)
This in particular implies that the associated connection \({{\tilde{A}}}\) also satisfies
Then we rotate the frame to get a Coulomb frame \((\nu _1,\nu _2)\), i.e. where the Coulomb gauge condition \(\nabla ^\alpha A_\alpha =0\) is satisfied. In our complex notation, this corresponds to
where the rotation angle b must solve
This is an elliptic equation, where the metric \(g_0= I_d+h_0\) satisfies (4.17). Using the variational formulation at the \(H^1\) level and then perturbative analysis at higher regularity, the solution is easily seen to satisfy
It directly follows that \(\nu _1, \nu _2\) and A also satisfy the bounds in (4.22), (4.23),
Projecting the second fundamental form \({\textbf{h}}\) and the mean curvature \({\textbf{H}}\) on the Coulomb frame as in Section 2.2 we obtain the complex second fundamental form \(\lambda \) and the complex mean curvature \(\psi \). In view of (4.1), (4.5) and (4.18) both of them have the same regularity,
Step 2: Prove the bounds in (4.4) and (4.8) for the metric h. For this we rely on the equation (2.24). The main result is as follows:
Lemma 4.6
Let \(d\geqq 2\), \(s>\frac{d}{2}\) and \(\sigma _d\) be as in (3.1). Assume that h is a solution of (2.24) satisfying
Then for \(d\geqq 3\) we have
Under the additional assumption
in dimension \(d=2\) we have
Here we remark on the key difference between dimensions two and higher. In higher dimensions \(d \geqq 3\), h may be seen as the unique small solution for the equation (2.24). But in two dimensions, we merely use (2.24) to improve the high frequency bound for h. At low frequency this no longer works, and instead we use the low frequency bounds on the initial metric \(h_0\) as an assumption in our main result. We note that the assumption (4.26) in the two dimensional case could be avoided, at the expense of a considerably longer proof.
Proof
By (2.24), it suffices to write the equation for h in the shorter form
From this and Sobolev embedding, we easily have
This implies that
In dimension three and higher, a similar argument applies in order to improve the low frequency bound. This argument is already in [9], and we do not repeat it here.
Next, we bound the \(Y^{s+2}_0\) norm of h. For the low-frequency part, we only need to consider the higher dimensional case \(d \geqq 3\), as in the case \(d = 2\) the low frequency bound is assumed in Theorem 1.3. We bound the high-low or low-high interactions by
For the high-high interactions \(P_j (\nabla P_l h \nabla P_l h)\), we have
From these two bounds, for \(d\geqq 3\) we obtain
and for \(d=2\) we obtain
We then bound the contribution of the \(\lambda ^2\) source term. For the high-low or low-high interactions we have
For the high-high interactions we have
These two bounds also imply for \(d\geqq 3\)
and for \(d=2\)
Using (4.28), \(\Vert h\Vert _{Y^{lo}_0}\leqq \epsilon _0\) and \(\Vert \lambda \Vert _{H^s}\leqq \epsilon _0\), by h-equation, (4.29) and (4.31) we obtain for \(d\geqq 3\)
and by (4.30) and (4.32) we obtain for \(d=2\)
This concludes the proof of the bounds (4.25) and (4.27). \(\square \)
Step 3: Prove the bound (4.8) for A. This is obtained by (4.24) and the following proposition. Here we solve the initial data \(A_0\) from the elliptic div-curl system (2.19).
Proposition 4.7
(Initial data \(A_0\)) Let \(d\geqq 2\), \(s>d/2\) and \(\delta _d=\delta \) if \(d=2\) and \(\delta _d=0\) if \(d\geqq 3\). Assume that
Then the elliptic system (2.19) for A admits a unique small solution with
Moreover, assume that \(p_{0k}\) is an admissible frequency envelope for \(\lambda \in H^s\). Then we have the frequency envelope bounds
In addition, for the linearization of the solution map above we also have the bound:
Proof
Using the definition of covariant derivatives and the harmonic coordinate condition (2.23) we can rewrite the div-curl system (2.19) for A as
Using these equations we derive a second order elliptic equation for A, namely
Here we have a leading order cancellation in the first term on the right, but we prefer to keep the divergence structure and rewrite this equation schematically in the form
This will be well suited in order to solve this equation via the contraction principle.
Precisely, we define the map \(A\rightarrow {\mathcal {T}}(A)\) with \({\mathcal {T}}(A)\) satisfying
so that the solution A may be seen as a fixed point for \({\mathcal {T}}\). To use the contraction principle, it suffices to show that, under the assumption (4.33), this map is Lipschitz in the ball \(\{ A:\Vert |D|^{\delta _d} A\Vert _{H^{s+1-\delta _d}}\leqq C\Vert \lambda \Vert _{H^s} \}\) with a small Lipschitz constant. This would yield the existence and uniqueness of solutions for A-equations and the bound (4.34).
To establish the contraction property, we consider the linearization of \({\mathcal {T}}\),
under the assumptions
Here we denote by \({{{\tilde{a}}}}_{0k}\), \({{{\tilde{c}}}}_{0k}\) and \({{{\tilde{p}}}}_{0k}\) are admissible frequency envelopes for \(|D|^{\delta _d} {{\varvec{\delta }}} A\in H^{\sigma +1-\delta _d}\), \(|D|^{\sigma _d}{{\varvec{\delta }}} h\in H^{\sigma +1-\sigma _d}\) and \({{\varvec{\delta }}} \lambda \in H^\sigma \) respectively. Under these assumptions we will prove that the above linearization satisfies the bound
If the bound (4.37) is true, then by the contraction principle we immediately get a unique small solution A to our equations, as well as the linearized bound (4.36).
We can also use (4.37) in order to prove the frequency envelope bounds (4.35). Indeed, by (3.3) and (4.34) we have
This implies (4.35) for \(\epsilon _0\) sufficiently small.
It remains to prove the bound (4.37). We have
Here we only estimate the term \(\lambda {{\varvec{\delta }}} \lambda \); the others are similar. Precisely, when \(k=0\), using a Littlewood–Paley decomposition, Bernstein’s inequality and (3.2) we obtain
When \(k>0\), we use Bernstein’s inequality to bound the high-low and low-high interactions by \(\Vert \lambda \Vert _{H^s}{{{\tilde{p}}}}_{0k}\). For the high-high interaction we have
This concludes the proof of bound (4.37), and completes the proof of the lemma. \(\square \)
5 Estimates for the Parabolic Equations
Here we consider the solvability of the parabolic system (2.29). For this purpose we view \(\lambda \in l^2X^s\) as a parameter, and show that the solution \((h,A) \in {{\varvec{ {\mathcal {E}}}}}^s\) exists, it is small and has a Lipschitz dependence on both the initial data and on \(\lambda \).
Theorem 5.1
-
(a)
Let \(d \geqq 2\), \(s > d/2\). Assume that \(\Vert h_0\Vert _{{\textbf{Y}}_0^{s+2}}\leqq \epsilon \), \(\Vert |D|^{\delta _d} A_0\Vert _{H^{s+1-\delta _d}}\leqq \epsilon \) and \(\Vert \lambda \Vert _{l^2Z^s}\leqq \epsilon \). Then the parabolic system (2.29)–(2.30) admits a unique small solution \({{\mathcal {S}}}= (h,A)\) in \({{\varvec{ {\mathcal {E}}}}}^s\), with
$$\begin{aligned} \Vert {{\mathcal {S}}}\Vert _{{{\varvec{ {\mathcal {E}}}}}^s} \lesssim \Vert {{\mathcal {S}}}_0\Vert _{{{\varvec{ {\mathcal {E}}}}}^s_0} + \Vert \lambda \Vert _{l^2Z^s}. \end{aligned}$$(5.1)In addition this solution has a Lipschitz dependence on both \({{\mathcal {S}}}_0\) in \({{\varvec{ {\mathcal {E}}}}}^s_0\) and \(\lambda \) in \(l^2Z^s\). Moreover, assume that \(s_{0k}\) and \(p_k\) are admissible frequency envelopes for \((h_0, A_0)\in {{\varvec{ {\mathcal {E}}}}}_0^{s}\), \(\lambda \in l^2Z^s\) respectively, we have the frequency envelope version
$$\begin{aligned} \Vert {{\mathcal {S}}}_k \Vert _{{{\varvec{ {\mathcal {E}}}}}^s} \lesssim s_{0k} +\epsilon p_k. \end{aligned}$$(5.2) -
(b)
In addition, for the linearization of the parabolic system (2.29) we have the bounds
$$\begin{aligned} \Vert {{\varvec{\delta }}} {{\mathcal {S}}}\Vert _{{{\varvec{ {\mathcal {E}}}}}^s} \lesssim \Vert {{\varvec{\delta }}} {{\mathcal {S}}}_0\Vert _{{{\varvec{ {\mathcal {E}}}}}_0^{s}}+ \epsilon \Vert {{\varvec{\delta }}} \lambda \Vert _{l^2Z^s}, \end{aligned}$$(5.3)and
$$\begin{aligned} \Vert {{\varvec{\delta }}} {{\mathcal {S}}}\Vert _{{{\mathcal {E}}}^\sigma } \lesssim \Vert {{\varvec{\delta }}} {{\mathcal {S}}}_0\Vert _{{{\mathcal {H}}}^{\sigma }}+ \epsilon \Vert {{\varvec{\delta }}} \lambda \Vert _{Z^\sigma }, \end{aligned}$$(5.4)for \(\sigma \in (\frac{d}{2}-2,s]\).
We will do this in two steps. First we prove that this system is solvable in the larger space \({{\mathcal {E}}}^s\). Then we improve the space-time bounds for the metric h to the stronger norm \({\textbf{Y}}^{s+2}\); the latter will be needed in the study of the Schrödinger evolution (2.28).
Lemma 5.2
Let \(g=I_d+h\). Assume that \(\Vert h\Vert _{ Z^{\sigma _d,s+1}}\leqq \epsilon \) for \(s>d/2\) and \(d\geqq 2\). Let \(c_k\) and \(a_k\) be admissible frequency envelopes for \(h\in Z^{\sigma _d,s+1}\), respectively \(A\in Z^{s}\). Then for any \(d/2-2< \sigma \leqq s\) and a linearization operator \({\varvec{\delta }}\) we have
and hence we have
Proof
Assume that \({{{\tilde{c}}}}_k(\sigma )\) and \({{{\tilde{a}}}}_k\) are admissible frequency envelopes for \({{\varvec{\delta }}} h\in Z^{\sigma _d,\sigma }\) and \({{\varvec{\delta }}} A\in Z^{\sigma }\). Using a Littlewood–Paley decomposition, Bernstein’s inequality and the smallness of h we obtain
This implies (5.5) and (5.7) immediately. For A we have
and
These give (5.6) and (5.8). \(\square \)
Now, we begin to solve the parabolic system (2.29) with initial data (2.30) as follows:
Proposition 5.3
-
(a)
Assume that \(\Vert (h_0,A_0)\Vert _{{{\mathcal {H}}}^s}\leqq \epsilon \) and \(\Vert \lambda \Vert _{Z^s}\leqq \epsilon \) for \(s > d/2\) and \(d \geqq 2\). Then the parabolic system (2.29)–(2.30) admits a unique small solution \({{\mathcal {S}}}= (h,A)\) in \({\mathcal {E}}^s\), with
$$\begin{aligned} \Vert {{\mathcal {S}}}\Vert _{{\mathcal {E}}^s} \lesssim \Vert {{\mathcal {S}}}_0\Vert _{{{\mathcal {H}}}^{s}}+ \Vert \lambda \Vert _{Z^s}. \end{aligned}$$(5.9)In addition this solution has a Lipschitz dependence on \({{\mathcal {S}}}_0\) in \({{\mathcal {H}}}^{s}\) and \(\lambda \) in \(Z^s\). Moreover, assume that \(s_{0k}\) and \(p_k\) are admissible frequency envelopes for \({{\mathcal {S}}}_0\in {{\mathcal {H}}}^{s}\), \(\lambda \in Z^s\) respectively, then we have the frequency envelope version
$$\begin{aligned} \Vert {{\mathcal {S}}}_k \Vert _{{\mathcal {E}}^s} \lesssim s_{0k} +\epsilon p_k. \end{aligned}$$(5.10) -
(b)
In addition, for the linearization of the parabolic system (2.29) we have the bounds
$$\begin{aligned} \Vert {{\varvec{\delta }}} {{\mathcal {S}}}\Vert _{{\mathcal {E}}^\sigma } \lesssim \Vert {{\varvec{\delta }}} {{\mathcal {S}}}(0)\Vert _{{{\mathcal {H}}}^{\sigma }}+ \epsilon \Vert {{\varvec{\delta }}} \lambda \Vert _{Z^\sigma }, \end{aligned}$$(5.11)for \(\sigma \in (\frac{d}{2}-2,s]\).
Proof
First, we consider a linear equation and prove a linear estimate. Precisely, assume that the frequency localized function \(u_k\) is solution of the linear equation
Then by Bernstein’s inequality we have the linear estimates
We cancel one \(\Vert u_k\Vert _{L^2}\), then multiply both sides by \(e^{c 2^{2k}t}\) and integrate in time to obtain
In order to solve (2.29) with small initial data, it suffices to consider the following linearized equations
where the nonlinearities \({\mathcal {N}}_1\) and \({\mathcal {N}}_2\) are
with h, A and \(\lambda \) satisfying \(\Vert (h,A)\Vert _{{{\mathcal {E}}}^s}\lesssim \epsilon \), \(\Vert \lambda \Vert _{Z^s}\leqq \epsilon \). Then we will prove the bound
where \({{{\tilde{s}}}}_{0k}\), \({{{\tilde{s}}}}_k\), \({{{\tilde{p}}}}_k\) and \(s_k\) are admissible frequency envelopes for \({{\varvec{\delta }}} {{\mathcal {S}}}(0)\in {{\mathcal {H}}}^\sigma \), \({{\varvec{\delta }}} {{\mathcal {S}}}\in {{\mathcal {E}}}^\sigma \), \({{\varvec{\delta }}} \lambda \in Z^\sigma \) and \({{\mathcal {S}}}\in {{\mathcal {E}}}^s\) respectively.
Assuming the bound (5.13) is true, then we can use the contraction mapping principle to solve the parabolic system (2.29) in the space
which also implies the bound (5.9).
By the definition of frequency envelopes (3.3) and (5.9), the bound (5.13) with \(\sigma =s\) and \({{\varvec{\delta }}}=Id\) implies
Thus the bound (5.10) follows. By (5.9), the bound (5.13) also gives (5.11).
We now return to the proof of (5.13). By the energy estimates in (5.12) we have
The estimates for the nonlinearities are similar, here we only estimate the following terms.
A. The estimate for the terms \(h\nabla ^2{{\varvec{\delta }}} h\) and \(\lambda {{\varvec{\delta }}} \lambda \) in \({\mathcal {N}}_1\). Using a Littlewood–Paley decomposition we have
and
B. The estimate for the terms \(\nabla ^2 h{{\varvec{\delta }}} A\) and \(\lambda \nabla {{\varvec{\delta }}} \lambda \) in \({\mathcal {N}}_2\). The second term is estimated in the same manner as the above bound for \(\lambda {{\varvec{\delta }}} \lambda \) in \({\mathcal {N}}_1\). For the first term \(\nabla ^2 h{{\varvec{\delta }}} A\) we have
This concludes the proof of the bound (5.13), and completes the proof of the theorem. \(\square \)
We continue with the bound for the \(l^2Z^{\sigma _d,s+2}\)-norm of the metric h.
Proposition 5.4
Assume that \(\Vert (h_0,A_0)\Vert _{{{\mathcal {H}}}^s}\leqq \epsilon \) and \(\Vert \lambda \Vert _{l^2Z^s}\leqq \epsilon \) for \(s>d/2\) and \(d\geqq 2\). Then the solution h also belongs to \(l^2Z^{s+2}\) and satisfies the bounds
Assume that \(c_{0k}\) and \(p_k\) are admissible frequency envelopes for \(|D|^{\sigma _d}h_0\in H^{s+2-\sigma _d}\), \(\lambda \in l^2Z^s\) respectively. Then we have the frequency envelope bounds
Finally, for the linearization of the h-equations we have the bounds
Proof of Proposition 5.4
We split the proof into two steps, where we first prove the appropriate bound for the linear constant coefficient heat flow and then we apply that bound to solve the nonlinear problem perturbatively.
Step 1. Here we consider the linear equations
with \(P_k u\) localized at frequency \(2^k\) for \(k\in {\mathbb {Z}}\), and prove that
By Duhamel’s formula, we have
Then we use (3.5) and (3.6) to bound the above two terms respectively, then we obtain (5.18).
Step 2. Here it suffices to write the linearized h equation in the form
and to prove that
where \({{{\tilde{c}}}}_k,\ {{{\tilde{p}}}}_k\) and \(c_k\) are admissible frequency envelopes for \({{\varvec{\delta }}} h\in l^2 Z^{\sigma _d,s+2}\), \({{\varvec{\delta }}} \lambda \in l^2Z^{s}\) and \(h\in l^2 Z^{\sigma _d,s+2}\) respectively.
If the bound (5.19) is true, then we choose the operator \({{\varvec{\delta }}}=Id\) to obtain (5.14). Then by (5.19) and (3.3) we also obtain (5.15). The bound (5.19) combined with (5.14) also implies (5.16).
We now continue with the proof of (5.19). By (5.18) we have
For the nonlinearities, we only estimate \(h\nabla ^2 {{\varvec{\delta }}} h\) and \(\lambda {{\varvec{\delta }}} \lambda \), the others are estimated similiarly. Indeed, using a Littlewood–Paley decomposition we have
By this estimate and Sobolev embeddings we obtain
For the term \(\lambda {{\varvec{\delta }}} \lambda \), we also have
This completes the proof of Proposition 5.4. \(\square \)
Finally, we carry out the last step in the proof of Theorem 5.1, and establish bounds for the solutions h in the \(Y^{s+2}\) spaces:
Proposition 5.5
Let \(d\geqq 2\), \(s>d/2\). Assume that \(\Vert (h_0,A_0)\Vert _{{{\mathcal {H}}}^s}\leqq \epsilon \) and \(\Vert \lambda \Vert _{l^2Z^s}\leqq \epsilon \). Then we have the bound
with Lipschitz dependence on the initial data in these topologies. Moreover, assume that \(c_{0k}\) and \(p_k\) are admissible frequency envelope for \(h(0)\in {\textbf{Y}}_0^{s+2}\) and \(\lambda \in l^2 Z^{s}\), then we have the frequency envelope version
In addition, for the linearization of the elliptic system (2.29) we have the bounds
Proof
Again it suffices to write the h equation in the form:
and to prove that
where \({{{\tilde{c}}}}_k\) and \({{{\tilde{p}}}}_k\) are admissible frequency envelopes for \({{\varvec{\delta }}} h\in {\textbf{Y}}^{s+2}\) and \({{\varvec{\delta }}} \lambda \in l^2Z^{s}\) respectively.
If (5.23) is true, then the bound (5.20) is obtained by (5.23) with the operator \({{\varvec{\delta }}}=Id\) and the bound (5.14). We also obtain (5.21) by (5.23) and (5.15). The bound (5.23) combined with (5.16) also implies (5.22).
We now return to prove the bound (5.23). By Duhamel’s formula, (3.5) and (3.6), we have
We estimate the first term in the right hand side. For any decomposition \(P_j {{\varvec{\delta }}} h(0)=\sum _{l\geqq |j|} {{\varvec{\delta }}} h_{j,l}(0)\), by (3.5) we have
This gives the bound for the first term.
Next, for the nonlinearities, we only estimate the Duhamel contributions of \(h\nabla ^2{{\varvec{\delta }}} h\) and \(\lambda {{\varvec{\delta }}} \lambda \) in detail. In order to bound the contribution of term \(h\nabla ^2{{\varvec{\delta }}} h\), we use the Littlewood–Paley trichotomy to decompose it into three cases:
a) Low-high interactions: \(P_j(P_{<j}h\nabla ^2 P_{j}{{\varvec{\delta }}} h)\). By (3.6), for any decomposition \(P_j {{\varvec{\delta }}} h=\sum _{l\geqq |j|} {{\varvec{\delta }}} h_{j,l}\) we have
This implies both the low-frequency part bound
and the high frequency part bound
b) The high-low interactions \(P_j(P_j h\nabla ^2 P_{<j+O(1)}{{\varvec{\delta }}} h)\) are estimated in the same manner as the above low-high case, so we omit the computations.
c) High-high interactions: \(\sum _{l>j}P_j(P_lh\nabla ^2 P_l {{\varvec{\delta }}} h)\). This sum can be further decomposed as \(\sum _{l>j}=\sum _{|j|>l>j}+\sum _{l\geqq |j|}\). Then by (3.6) we bound the contribution of the first term by
Also by (3.6) we bound the contribution of second term by
This term is further controlled by
This concludes the proof of the bound for the contribution of \(h\nabla ^2{{\varvec{\delta }}} h\). Next we consider the term \(\lambda {{\varvec{\delta }}} \lambda \). We also split its analysis into three cases:
a) Low-high interactions: \(P_j(P_{<j}\lambda P_j{{\varvec{\delta }}} \lambda )\) and high-low interactions: \(P_j(P_j\lambda P_{<j}{{\varvec{\delta }}} \lambda )\). These two cases are similar, we only estimate the first term. By (3.6), we have
which is acceptable.
b) High-high interactions: \(\sum _{l>j}P_j(P_l\lambda \cdot P_l{{\varvec{\delta }}} \lambda )\). This sum can be further decomposed as \(\sum _{l>j}=\sum _{|j|>l>j}+\sum _{l\geqq |j|}\). By (3.6) we bound the contribution of the first sum by
Next we bound the contribution of the second sum by
This concludes the proof of the bound (5.23), and completes the proof of the proposition. \(\square \)
6 Multilinear and Nonlinear Estimates
This section contains our main multilinear estimates which are needed for the analysis of the Schrödinger equation in (2.28). We begin with the following low-high bilinear estimates of \(\nabla h\nabla \lambda \).
Proposition 6.1
Let \(s>\frac{d}{2}\), \(d\geqq 2\) and \(k\in {{\mathbb {N}}}\). Suppose that \(\nabla a(x)\lesssim \langle x\rangle ^{-1}\), \( h\in Y^{s+2}\) and \(\lambda _k\in l^2X^s\). Then for \(-s\leqq \sigma \leqq s\) we have
In addition, if \(d/2-2<\sigma \leqq s-1\) then we have
and if \(d/2-2<\sigma \leqq s-2\) then we have
Proof
(a) The estimate (6.1). This is obtained by a Littlewood–Paley decomposition and the following estimate
which has been proved in [9, Lemma 5.1].
(b) The estimate (6.2). Compared to [9, (5.2)], the estimate (6.2) is improved by decomposing physical space dyadically. By duality, it suffices to prove that
for any \(z_k\in l^2_k X_k\) with \(\Vert z_k\Vert _{l^2_k X_k}\leqq 1\). For any decomposition \(P_jh=\sum _{l\geqq |j|}h_{j,l}\), using the bound \(|\nabla a(x)|\lesssim \langle x\rangle ^{-1}\), we consider the two cases \(|x|\geqq 2^{l}\) and \(|x|<2^{l}\) respectively and then obtain
By Bernstein’s inequality we bound the first term by
The second term is bounded by
Finally we take the infimum over the decompositions of \(P_j h\) to get the bound (6.5), which in turn implies the estimate (6.2).
c) The estimates (6.3) and (6.4). By duality and Sobolev embedding, for any \(j<k\) we have
which gives the bound (6.4). We can also obtain the bound (6.3) similarly. This completes the proof of the lemma. \(\square \)
We next prove the remaining bilinear estimates and trilinear estimates.
Proposition 6.2
(Nonlinear estimates) Let \( s>\frac{d}{2}\) and \(d\geqq 2\). Assume that \(p_k,\ {{{\tilde{p}}}}_k\), \(s_k\) and \({{{\tilde{s}}}}_k\) are admissible frequency envelopes for \(\lambda \in Z^s\), \(\lambda \in Z^\sigma \), \({{\mathcal {S}}}\in {{\mathcal {E}}}^{s}\) and \({{\mathcal {S}}}\in {{\mathcal {E}}}^{\sigma }\) respectively. Then we have
For \(-s\leqq \sigma \leqq s\) we have
and for \(-s\leqq \sigma \leqq s-\delta \) we have
If \(-s\leqq \sigma \leqq s-1\), then
Proof
We first prove (6.9) and (6.10). These two bounds are proved by Hölder’s inequality and Bernstein’s inequality, here we only prove the first bound in detail. For the high-low case, by duality we have
Then by \(-s\leqq \sigma \leqq s\) and (3.2), we can bound this by \(\min \{{{{\tilde{s}}}}_k\Vert \lambda \Vert _{Z^s},\ {{{\tilde{p}}}}_k\Vert h\Vert _{L^2 H^{s+2}}\}\). For the high-high case, when \(\sigma +d/2+1>0\) we have
and when \(\sigma +d/2+1\leqq 0\) we have
Next, we prove the bounds (6.6)–(6.8) and (6.11)–(6.13). These are all similar, so we only prove (6.6) and (6.11) in detail. Indeed, by duality we have
Then using the Littlewood–Paley trichotomy we divide this into low-high, high-low and high-high cases. For the low-high interactions, by Sobolev embeddings we have for \(-s\leqq \sigma \leqq s\)
If \(-s\leqq \sigma \leqq s-\delta \), we use \(L^2 H^\sigma \) for \(B_l=S_l B\). Then by \(\Vert B_l\Vert _{L^2H^\sigma }\lesssim 2^{\delta (k-l)}{{{\tilde{s}}}}_k\) we also have
The high-low interactions can be estimated similarly. For the high-high interactions, by Sobolev embeddings when \( -d/2-\delta \leqq \sigma \leqq s\) we have
and when \(-s\leqq \sigma <-d/2-\delta \) we have
These imply the bounds (6.6) and (6.11).
Finally, we prove the bound (6.14). If \(d/2-1+\delta \leqq \sigma \leqq s-1\), by duality and Sobolev embeddings, we have
If \(\sigma < d/2-1+\delta \), we have
Then the bound (6.14) follows. Hence this completes the proof of the lemma. \(\square \)
We shall also require the following bounds for commutators.
Proposition 6.3
(Commutator bounds) Let \(d\geqq 2\) and \(s>\frac{d}{2}\). Let m(D) be a multiplier with symbol \(m\in S^0\). Assume \( h\in Y^{s+2}\), \( \partial _x A\in L^2 H^s\) and \(\lambda _k \in l^2X^s\), frequency localized at frequency \(2^k\). If \(-s\leqq \sigma \leqq s\) then we have
Proof
This is similar to Proposition 5.3 in [9]. First we estimate (6.15). In [20, Proposition 3.2], it was shown that
where L is a translation invariant operator satisfying
Given this representation, as we are working in translation-invariant spaces, by (6.1) the bound (6.15) follows.
Next, for the bound (6.16). Since
By translation-invariance and the similar argument to (6.11), the bound (6.16) follows. This completes the proof of the lemma. \(\square \)
7 Local Energy Decay and the Linearized Problem
In this section, we consider a linear Schrödinger equation
and, under suitable assumptions on the coefficients, we prove that the solution satisfies suitable energy and local energy bounds.
7.1 The Linear Paradifferential Schrödinger Flow
As an intermediate step, here we prove energy and local energy bounds for a frequency localized linear paradifferential Schrödinger equation
We begin with the energy estimates, which are fairly standard.
Lemma 7.1
(Energy-type estimate) Let \(d\geqq 2\). Assume that \(\lambda _k\) solves the equation (7.2) with initial data \(\lambda _k(0)\) in the time interval [0, 1]. For a fixed \(s>\frac{d}{2}\), assume that \(\partial _x A\in L^2 H^{s}\), \(\lambda _k\in l^2_kX_k\), and \(f_k=f_{1k}+f_{2k}\) with \(f_{1k}\in N\) and \(f_{2k}\in L^1L^2\). Then we have
Proof
For the proof, we refer the readers to Lemma 6.1 in [9]. Here we just replace the condition \(A\in Z^{1,s+1}\) in [9] by the assumption \(\partial _x A\in L^2H^s\). \(\square \)
Next, we prove the main result of this section, namely the local energy estimates for solutions to (7.2).
Proposition 7.2
(Local energy decay) Let \(d\geqq 2\). Assume that the coefficients \(h=g-I_d\) and A in (7.2) satisfy
for some \(s>\frac{d}{2}\) and \(\epsilon >0\) small. Let \(\lambda _k\) be a solution to (7.2) which is localized at frequency \(2^k\). Then the following estimate holds:
Proof
The proof is closely related to that given in [9, 20, 21]. However, here the metric \(g=I_d+h\) and magnetic potential A will satisfy some parabolic equations, so we need to modify the assumptions both on h and A to match our main results.
As an intermediate step in the proof, we will establish a local energy decay bound in a cube \(Q\in {{\mathcal {Q}}}_l\) with \(0\leqq l\leqq k\):
The proof of this bound is based on a positive commutator argument using a well chosen multiplier \({{\mathcal {M}}}\). This will be first-order differential operator with smooth coefficients which are localized at frequency \(\lesssim 1\). Precisely, we will use a multiplier \({{\mathcal {M}}}\) which is a self-adjoint differential operator having the form
with uniform bounds on a and its derivatives.
Before proving (7.5), we need the following lemma which is used to dismiss the \((g-I)\) contribution to the commutator \([\partial _{\alpha }g^{\alpha {\beta }}\partial _{{\beta }},{{\mathcal {M}}}]\):
Lemma 7.3
Let \(d\geqq 2\) and \(s>\frac{d}{2}\). Assume that \( h\in {\textbf{Y}}^{s+2}\), \(A\in Z^{1-\delta ,s+1}\) and \(\lambda \in l^2_kX_k\), and let \({{\mathcal {M}}}\) be as (7.7). Then we have
Proof of Lemma 7.3
By (7.7) and direct computations, we get
Then it suffices to estimate
The first integral is estimated by (6.1) and (6.2), while the second integral is bounded by Sobolev embeddings. Hence, the bound (7.8) follows.
For the second bound (7.9), by (7.7) and integration by parts we rewrite the left-hand side of (7.9) and bound it by
This implies the bound (7.9), and hence completes the proof of the lemma. \(\square \)
Returning to the proof of (7.6), for the self-adjoint multiplier \({{\mathcal {M}}}\) we compute
We then use the multiplier \({{\mathcal {M}}}\) as in [20, 21] so that the following three properties hold:
-
(1)
Boundedness on frequency \(2^k\) localized functions,
$$\begin{aligned} \Vert {{\mathcal {M}}}u\Vert _{L^2_x}\lesssim \Vert u\Vert _{L^2_x}. \end{aligned}$$ -
(2)
Boundedness in X,
$$\begin{aligned} \Vert {{\mathcal {M}}}u\Vert _{X}\lesssim \Vert u\Vert _{X}. \end{aligned}$$ -
(3)
Positive commutator,
$$\begin{aligned} i\langle [-\partial _{\alpha }g^{\alpha {\beta }}_{<k-4}\partial _{{\beta }},{{\mathcal {M}}}]u,u\rangle \gtrsim 2^{k-l}\Vert u\Vert ^2_{L^2_{t,x}([0,1]\times Q)}\!-\!O(2^{-k}\!+\!\Vert h\Vert _{{\textbf{Y}}^{s+2}})\Vert u\Vert _{l^2_kX_k}^2. \end{aligned}$$
If these three properties hold for \(u=\lambda _k\), then by (7.9) and (7.4) the bound (7.6) follows.
We first do this when the Fourier transform of the solution \(\lambda _k\) is restricted to a small angle
Without loss of generality due to translation invariance, \(Q=\{|x_j|\leqq 2^l:j=1,\ldots ,d\}\), and we set m to be a smooth, bounded, increasing function such that \(m'(s)=\varphi ^2(s)\) where \(\varphi \) is a Schwartz function localized at frequencies \(\lesssim 1\), and \(\varphi \approx 1\) for \(|s|\leqq 1\). We rescale m and set \(m_l(s)=m(2^{-l}s)\). Then, we fix
The properties (1) and (2) are immediate due to the frequency localization of \(u=\lambda _k\) and \(m_l\) as well as the boundedness of \(m_l\). By (7.8) it suffices to consider the property (3) for the operator
This yields
and hence
Utilizing our assumption (7.10), it follows that
which yields (3) when combined with (7.8).
We proceed to reduce the problem to the case when (7.10) holds. We let \(\{ \theta _j (\omega ) \}_{j=1}^d\) be a partition of unity,
where \(\theta _j(\omega )\) is supported in a small angle about the j-th coordinate axis. Then, we can set \(\lambda _{k,j}=\Theta _{k,j}\lambda _k\) where
We see that
By applying \({{\mathcal {M}}}\), suitably adapted to the correct coordinate axis, to \(\lambda _{k,j}\) and summing over j, we obtain
The commutator is done via (6.15) and (6.16). Then (7.6) follows.
Next we use the bound (7.6) to complete the proof of Proposition 7.2. Taking the supremum in (7.6) over \(Q\in {{\mathcal {Q}}}_l\) and over l, we obtain
Combined with (7.3), we get
We now finish the proof by incorporating the summation over cubes. We let \(\{\chi _Q\}\) denote a partition via functions which are localized to frequencies \(\lesssim 1\) which are associated to cubes Q of scale \(M2^k\). We also assume that \(|\nabla ^l\chi _Q|\lesssim (2^k M)^{-l}\), \(l=1,2\). Thus,
Applying (7.3) to \(\chi _Q\lambda _k\), we obtain
But by (7.4) we have
and also
For M sufficiently large, we can bootstrap the commutator terms, and, after a straightforward transition to cubes of scale \(2^k\) rather than \(M2^k\), we observe that
We now apply (7.11) to \(\chi _Q\lambda _k\), and then by (7.12) and (7.13) we see that
For \(M\gg 1\), we have
By (7.4), for k sufficiently large (depending on M), we may absorb the the last term in the right-hand side into the left, i.e
On the other hand, for the remaining bounded range of k, we have
and then (7.14) and (7.4) give
which finishes the proof of (7.5). \(\square \)
7.2 The Full Linear Problem
Here we use the bounds for the paradifferential equation in the previous subsection in order to prove similar bounds for the full equation (7.1).
Proposition 7.4
(Well-posedness) Let \(s>\frac{d}{2}\), \(d\geqq 2\) and \(h=g-I_d\). Assume that the metric g and the magnetic potential A satisfy
Then the equation (7.1) is well-posed for initial data \(\lambda _0\in H^{\sigma }\) with \(-s\leqq \sigma \leqq s\), and we have the estimate
Proof
The well-posedness follows in a standard fashion from a similar energy estimate for the adjoint equation. Since the adjoint equation has a similar form, with similar bounds on the coefficients, such an estimate follows directly from (7.15). Thus, we now focus on the proof of the bound (7.15). For \(\lambda \) solving (7.1), we see that \(\lambda _k\) solves
where \(F_k:=S_k F\) and
If we apply Proposition 7.2 to each of these equations, we see that
We claim that
Indeed, the bound for the terms in \(H_k\) follows from (6.9), (6.15), (6.16) and (6.10), respectively. Then by the above two bounds and the smallness of h and A, we obtain the estimate (7.15). \(\square \)
7.3 The Linearized Problem
Here we consider the linearized equation
where
and we prove the following:
Proposition 7.5
Let \(s>\frac{d}{2}\), \(\frac{d}{2}-2<\sigma \leqq s-2\), \(d\geqq 2\) and \(h=g-I_d\in {\textbf{Y}}^{s+2}\), assume that \(\Lambda \) is a solution of (7.17), the metric g and A satisfy
Then we have the estimate
Proof
For \(\Lambda \) solving (7.17), we see that \(\Lambda _k\) solves
where
The proof of (7.18) is similar to that of (7.16). Here it suffices to prove
Indeed, the bound for the terms in \(G_k\) follows from (6.9), (6.4), (6.10) and (6.14). This completes the proof of the Lemma. \(\square \)
8 Well-Posedness in the Good Gauge
In this section we use the parabolic results in Section 5, the multilinear estimates in Section 6 and the linear local energy decay bounds in Section 7 in order to prove the good gauge formulation of our main result, namely Theorem 2.5.
8.1 The Iteration Scheme: Uniform Bounds
Here we seek to construct solutions to (2.28) iteratively, based on the scheme
with the trivial initialization
where the nonlinearities \(F^{(n)}\) are the following F with \((\lambda ,h,A)=(\lambda ^{(n)},h^{(n)},A^{(n)})\)
and \({{\mathcal {S}}}^{(n)}=(h^{(n)},A^{(n)})\) are the solutions of parabolic system (2.29) with \(\lambda =\lambda ^{(n)}\) and initial data
We assume that \((\lambda _0,h_0)\) is small in \(H^s\times {\textbf{Y}}^{s+2}\). Due to the above trivial initialization for \(\lambda ^{(0)}\), we also inductively assume that
where C is a large constant.
Applying the parabolic estimates (5.1) to (2.29) with \(\lambda =\lambda ^{(n)}\) and initial data (8.3) at each step, we obtain
In order to estimate \(\lambda ^{(n+1)}\), we bound the nonlinear terms in \(F^{(n)}\) first. In the computations we would omit the superscript (n). More precisely, for the first three terms in (8.2), by covariant derivatives (2.2) and \(V^\gamma =g^{\alpha {\beta }}\Gamma ^\gamma _{\alpha {\beta }}\) we have the form
Then the first term \(\nabla h\nabla \lambda \) is estimated using (6.1) and (6.9), the second term \(\nabla h\nabla h\lambda \) is estimated using (6.7) with its \(A=\nabla h\). We obtain
For the fourth to seventh terms in (8.2), we have the expression
Then these two terms are estimated using (6.6) and (6.7) respectively. We obtain
For the last three terms in (8.2), by (2.8) we have
Using (6.13) we obtain
Hence, by the above estimates, (8.5) and (8.4) we bound the \(F^{(n)}\) by
Now applying at each step the local energy bound (7.15) with \(\sigma =s\) we obtain the estimate
which closes our induction.
8.2 The Iteration Scheme: Weak Convergence
Here we prove that our iteration scheme converges in the weaker \(H^{s-2}\) topology. We denote the differences by
Then from (8.1) we obtain the system
where the nonlinearities \(G^{(n)}\) have the form
By (5.4) we obtain
Applying (7.18) with \(\sigma =s-2\) for the \(\Lambda ^{(n+1)}\) equation we have
For the nonlinear terms \(F^{(n)}-F^{(n-1)}\), using (6.3), (6.9), (6.12), (6.11) and (6.13) we have
Then by (8.7) and the uniform bounds (8.5), (8.6) we bound the right hand side above by
This implies that our iterations \(\lambda ^{(n)}\) converge in \(l^2X^{s-2}\) to some function \(\lambda \). Furthermore, by the uniform bound (8.6) it follows that
Interpolating, it follows that \(\lambda ^{(n)}\) converges to \(\lambda \) in \(l^2X^{s-\epsilon }\) for all \(\epsilon > 0\). This allows us to conclude that the auxiliary functions \({{\mathcal {S}}}^{(n)}\) associated to \(\lambda ^{(n)}\) converge to the functions \({{\mathcal {S}}}\) associated to \(\lambda \), and also to pass to the limit and conclude that \(\lambda \) solves the (SMCF) equation (2.28). Moreover, we have the bound for \({{\mathcal {S}}}\)
Thus we have established the existence part of our main theorem.
8.3 Uniqueness via Weak Lipschitz Dependence
Consider the difference of two solutions
The \(\Lambda \) solves an equation of this form
where the nonlinearity G is
By (5.4) we have
Applying (7.18) with \(\sigma =s-2\) to the \(\Lambda \) equation, we obtain the estimate
Then, by the above bound for \({{\varvec{\delta }}} {{\mathcal {S}}}\), we further have
Since the initial data \(\lambda ^{(1)}_0\) and \(\lambda ^{(2)}_0\) are sufficiently small, we obtain
This gives the weak Lipschitz dependence, as well as the uniqueness of solutions for (2.28).
8.4 Frequency Envelope Bounds
Here we prove a stronger frequency envelope version of estimate (8.8).
Proposition 8.1
Let \(\lambda \in l^2X^s\), \({{\mathcal {S}}}\in {{\varvec{ {\mathcal {E}}}}}^{s}\) be small data solution to (2.28)–(2.29), which satisfies (8.8) and (8.9). Let \(\{p_{0k}\}\), \(\{s_{0k}\}\) be admissible frequency envelopes for the initial data \(\lambda _0\in H^s\) and \({{\mathcal {S}}}_0\in {{\varvec{ {\mathcal {E}}}}}_0^{s}\). Then \(\{p_{0k}+s_{0k}\}\) is also frequency envelope for \((\lambda ,{{\mathcal {S}}})\) in \(l^2X^s\times {{\varvec{ {\mathcal {E}}}}}^{s}\).
Proof
Let \(p_k\) and \(s_k\) be the admissible frequency envelopes for solution \((\lambda ,{{\mathcal {S}}})\in l^2X^s\times {{\varvec{ {\mathcal {E}}}}}^s\). Applying \(S_k\) to the modified Schrödinger equation in (2.28), we obtain the paradifferential equation
where
and \({{\mathcal {S}}}=(h,A)\) is the solution to the parabolic system (2.29). We estimate \(\lambda _k=S_k\lambda \) using Proposition 7.4,
By Proposition 6.2, Lemma 6.1 and Lemma 6.3 we bound the nonlinear terms by
Then by (8.9), (8.8), (5.10) and the smallness of initial data we obtain
For metric \(g=I_d+h\), by (5.2) we also have
From the definition of frequency envelope (3.3), these two bounds imply
and conclude the proof. \(\square \)
8.5 Continuous Dependence on the Initial Data
Here we show that the map \((\lambda _0,{{\mathcal {S}}}_0)\rightarrow (\lambda ,{{\mathcal {S}}})\) is continuous from \(H^s\times {{\varvec{ {\mathcal {E}}}}}_0^{s}\) into \(l^2X^s\times {{\varvec{ {\mathcal {E}}}}}^s\). By (5.3), it suffices to prove \((\lambda _0,{{\mathcal {S}}}_0)\rightarrow \lambda \) is continuous from \(H^s\times {{\varvec{ {\mathcal {E}}}}}_0^{s}\) to \(l^2 X^s\).
Suppose that \((\lambda _0^{(n)},{{\mathcal {S}}}_0^{(n)})\rightarrow (\lambda _0,{{\mathcal {S}}}_0)\) in \(H^s\times {{\varvec{ {\mathcal {E}}}}}_0^{s}\). Denote by \((p_{0k}^{(n)},s_{0k}^{(n)})\), respectively \((p_{0k},s_{0k})\) the frequency envelopes associated to \((\lambda _0^{(n)},{{\mathcal {S}}}_0^{(n)})\), respectively \((\lambda _0,{{\mathcal {S}}}_0)\), given by (3.3). If \((\lambda _0^{(n)},{{\mathcal {S}}}_0^{(n)})\rightarrow (\lambda _0,{{\mathcal {S}}}_0)\) in \(H^s\times {{\varvec{ {\mathcal {E}}}}}_0^{s}\) then \((p_{0k}^{(n)},s_{0k}^{(n)})\rightarrow (p_{0k},s_{0k})\) in \(l^2\). Then for each \(\epsilon >0\) we can find some \(N_{\epsilon }\) so that
By Proposition 8.1 we obtain that
To compare \(\lambda ^{(n)}\) with \(\lambda \) we use (8.10) for low frequencies and (8.11) for the high frequencies,
Letting \(n\rightarrow \infty \) we obtain
Letting \(\epsilon \rightarrow 0\) we obtain
which completes the desired result.
8.6 Higher Regularity
Here we prove that the solution \((\lambda ,{{\mathcal {S}}})\) satisfies the bound
whenever the right hand side is finite.
The proof of (8.12) is similar to that in [9, Section 7.6]. Here we simply repeat this process. Differentiating the original Schrödinger equation (2.28), and then using Proposition 7.4, Lemma 6.1 and Proposition 6.2 we easily obtain
For the parabolic equations, by (5.3) we obtain
Hence, by (8.8) and (8.9), these imply (8.12) with \(\sigma =s+1\). Inductively, we can further obtain (8.12) for any \(\sigma \geqq s\).
8.7 The Compatibilities Conditions
As part of our derivation of the (SMCF) equations (2.28) for the second fundamental form \(\lambda \) in the good gauge, coupled with the parabolic system (2.29), we have seen that the compatibility conditions are described by the equations (2.9), (2.8), (2.10), (2.12), (2.20) and (2.17). However, our proof of the well-posedness result for the Schrödinger evolution (2.28) does not apriori guarantee that these constraints hold. Here we rectify this omission:
Lemma 8.2
(Constraint conditions) Assume that \(\lambda \in C[0,T;H^s]\) solves the SMCF equation (2.28) coupled with the parabolic system (2.29). Then the relations (2.9), (2.8), (2.10), (2.12), (2.20) and (2.17) hold.
Proof
To shorten the notations, we define
Here \(T^3\) and \(T^4\) are antisymmetric, \(T^1\) is symmetric and \(T^2\) inherits all the linear symmetries of the curvature tensor.
Our goal is to show that all these functions vanish, knowing that they vanish at the initial time. We will prove this by showing that they solve a coupled linear homogeneous evolution system of the form
Then standard energy estimates show that zero is the only solution for this system.
The formulas for \(T^5\) are obtained directly by the equations for A (2.21) and heat gauge \(B=\nabla ^\alpha A_\alpha \). It remains to derive the system for \((T^1,\cdots , T^4)\).
The equation for \(T^1\)
This has the form
Using the parabolic equations for h we recover the representation of \(\partial _t g\) as
and obtain
We then use the two formulas to write
By the relation \(\nabla ^\mu T^1_{\mu \nu }=\frac{1}{2}\nabla _\nu T^{1,\mu }_\mu \), the third term in the right hand side vanishes. We can also rewrite the fourth term as
where the last term vanishes. Commuting we compute the fifth and sixth terms as
Hence, from the above three formulas and the representation of \(G_{\mu \nu }\) (8.13), we rearrange \(\partial _t {{\text {Ric}}_\alpha }^{\beta }\) as
We write \(I_1\) as
Here the \(I_1\) term will be cancelled by \(J_1,J_2\) later modulo \(\{ \psi \nabla T^3,\lambda \lambda T^1,\lambda \lambda T^4\}\). Using commutators we rearrange \(I_2\) as
Then by Riemannian curvature and Bianchi identities we have
which gives
This term will be cancelled by \(J_3\) modulo \(\{T^1\nabla V,V\nabla T^1\}\).
Next, we compute the expression for \(-\partial _t {{\widetilde{\text {Ric}}}_\alpha }^{\beta }\). From the \(\lambda \)-equations (2.28) and the formula (8.13) we have the evolution equation for \(\lambda ^\sigma _\alpha \)
and the evolution equation for the mean curvature \(\psi \)
Then for \({{\widetilde{\text {Ric}}}_\alpha }^{\beta }=\mathop {\textrm{Re}}\nolimits (\lambda _\alpha ^{\beta }{\bar{\psi }}-\lambda _\alpha ^\sigma {\bar{\lambda }}_\sigma ^{\beta })\), by the above two formulas we have
where
This can be further rearranged as
where \(J_1\), \(J_2\) and \(J_3\) are
Then \(I_1+J_1+J_2\) will vanish modulo \(\{\psi \nabla T^3,\lambda ^2 T^1,\lambda ^2 T^4\}\). Precisely, we have
We rewrite \(J_2\) as
Then we obtain
We can also show that \(I_2-(\nabla ^\mu V^\nu +\nabla ^\nu V^\mu ){R_{\mu \alpha \nu }}^{\beta }+J_3\) vanishes modulo \(\{T^1\nabla V,V\nabla T^1\}\). This is because \(J_3\) can be written as
Then we have
This concludes the proof of the \(T^1\)-equations. \(\square \)
The equation for \(T^2\)
By the second Bianchi identities for the Riemannian curvature and the following equality
we have the counterpart of the second Bianchi identities
which combine with the algebraic symmetries of the same tensor to yield an elliptic system for \(T^2\). Precisely, using the above relation we have
which combined with the previous one yields the desired elliptic system, with \(T^1\) viewed as a source term. \(\square \)
The equations for \(T^3\)
This has the form
Recall the \(\lambda \)-equations
Applying \(\nabla ^A_\alpha \) and \(\nabla ^A_{\beta }\) to the above \(\lambda _{{\beta }\gamma }\) and \(\lambda _{\alpha \gamma }\)-equations respectively, we obtain the difference
We first compute I. We commute \(\nabla ^A_\alpha \) with \(\partial ^B_t\) and \(\nabla ^A_\mu \nabla ^{A,\mu }\) to give
For \(I_1\), by the formulas for \(\partial _t \Gamma \) in (8.14), for \(G_{\mu \nu }\) in (8.13) and for the commutators \([\nabla _\alpha ,\nabla _{\beta }]\) we have
where \(I_{11}\), \(I_{12}\) are the terms containing \(\lambda \lambda \nabla \lambda \) and \(V\lambda \) respectively,
Here, using the expressions for \(\tilde{{\textbf{F}}}_{\alpha {\beta }}\) and \({{\tilde{R}}}_{{\beta }\alpha \gamma \delta }\), the expression \(I_{11}\) can be rewritten as
Using commutators \([\nabla _\gamma ,\nabla _\alpha ]\) and the Bianchi identities, the \(I_{12}\) expression can be rewritten as
For \(I_2\), we use the Riemannian curvature tensor to write
where the terms in \(J_1\) have the form \(\lambda \lambda \nabla \lambda \) as
We next rewrite the III expression as
where
The \(I_{12}+III_2\) expression vanishes modulo \(\{V\nabla T^3,T^3\nabla V,\lambda V(T^2+T^4)\}\). Precisely, we can further write \(III_2\) as
Then replacing \(R_{\alpha {\beta }\gamma \delta }\), \({\textbf{F}}_{\alpha {\beta }}\) by \({{\tilde{R}}}_{\alpha {\beta }\gamma \delta }\) and \(\tilde{{\textbf{F}}}_{\alpha {\beta }}\) respectively, we have
where the term \(J_2\) vanishes due to the representations of \({{\tilde{R}}}_{\gamma \sigma \alpha \delta }\) and \(\tilde{{\textbf{F}}}_{\alpha \sigma }\).
Next, we show that the terms \(I_{11}+J_1+II+III_1\) vanish modulo \(\lambda \lambda T^3\). We have
We rewrite II as
Hence,
Since by \({{\tilde{R}}}\) and \(\tilde{{\textbf{F}}}\) we also have
Then in the above two formulas all terms cancel except for \(\lambda \lambda T^3\). Hence, we obtain that \(I_{11}+J_1+II+III_1\) vanishes modulo \(\lambda \lambda T^3\). This concludes the proof of the \(T^3\)-equations. \(\square \)
The equations for \(T^4\)
These have the form
By the A-equations we have
For the commutator we use the Bianchi identities to compute
We commute \(\nabla _\alpha ,\ \nabla _{\beta }\) with \(\nabla ^\sigma \) and use \(\nabla _\alpha \tilde{{\textbf{F}}}_{{\beta }\sigma }+\nabla _{\beta }\tilde{{\textbf{F}}}_{\sigma \alpha }+\nabla _\sigma \tilde{{\textbf{F}}}_{\alpha {\beta }}=0\) to compute \(I_2\) by
Then we obtain
For \(I_3\) we compute \(\partial _t \tilde{{\textbf{F}}}_{\alpha {\beta }}\) first.
By the g-equations and
we have
Then we rewrite the expression \(\partial _t \tilde{{\textbf{F}}}_{\alpha {\beta }}\) as
Hence, we have
This concludes the proof \(T^4\)-equations. \(\square \)
9 The Reconstruction of the Flow
In this last section we close the circle of ideas in this paper, and prove that one can start from the good gauge solution given by Theorem 2.5, and reconstruct the flow at the level of d-dimensional embedded submanifolds. For completeness, we provide here another, more complete statement of our main theorem.
Theorem 9.1
(Small data local well-posedness) Let \(d\geqq 2\) and \(s>\frac{d}{2}\). Consider the skew mean curvature flow (1.1) for maps F from \({{\mathbb {R}}}^d\) to the Euclidean space \(({{\mathbb {R}}}^{d+2},g_{{{\mathbb {R}}}^{d+2}})\) with initial data \(\Sigma _0\) which, in some coordinates, has a metric \(g_0\) satisfying \(\Vert |D|^{\sigma _d}(g_0-I_d)\Vert _{H^{s+1-\sigma _d}}\leqq \epsilon _0\) and mean curvature \(\Vert {\textbf{H}}_0 \Vert _{H^s(\Sigma _0)}\leqq \epsilon _0\). In addition, we assume that \(\Vert g_0-I_d\Vert _{Y^{lo}_0}\lesssim \epsilon _0\) in dimension \(d= 2\).
If \(\epsilon _0>0\) is sufficiently small, then there exists a unique solution
which, when represented in harmonic coordinates at the initial time and heat coordinates dynamically, has regularity
and induced metric and mean curvature
In addition the mean curvature satisfies the bounds
where \(\lambda \) and A are expressed using the Coulomb gauge initially and the heat gauge dynamically in the normal bundle \(N \Sigma _t\).
We prove the theorem in several steps.
9.1 The Moving Frame
Once we have the initial data \((h_0,A_0,\lambda _0)\) which is small in \({{\mathcal {H}}}^s\times H^s\) by Proposition 4.1 and 4.2, Theorem 2.5 yields the good gauge local solution \(\lambda \), along with the associated derived variables (h, A). But this does not yet give us the actual maps F.
Here we undertake the task of reconstructing the frame \((F_\alpha , m)\). For this we use the system consisting of (2.6) and (2.14), viewed as a linear ode. We recall these equations here:
respectively
We start with the frame at time \(t=0\), which already is known to solve (9.1), and has the following properties:
-
(i)
Orthogonality, \(F_\alpha \perp m\), \(\langle m,m\rangle =2\), \(\langle m,{\bar{m}}\rangle =0\) and consistency with the metric \(g_{\alpha {\beta }} = \langle F_\alpha ,F_{\beta }\rangle \).
-
(ii)
Integrability, \(\partial _\beta F_\alpha = \partial _\alpha F_\beta \).
-
(iii)
Consistency with the second fundamental form and the connection A:
$$\begin{aligned} \partial _\alpha F_{\beta }\cdot m=\lambda _{\alpha {\beta }}, \qquad \langle \partial _\alpha m,m\rangle = -2 i A_\alpha . \end{aligned}$$
Next we extend this frame to times \(t > 0\) by simultaneously solving the pair of equations (9.1) and (9.2).
9.1.1 The Solvability of (9.1) and (9.2)
The system consisting of (9.1) and (9.2) is overdetermined, and the necessary and sufficient condition for existence of solutions is provided by Frobenius’ theorem. We now verify these compatibility conditions in two steps:
-
(a)
Compatibility conditions for the system (9.1) at fixed time. Here, by \(T^2_{\alpha {\beta }\mu \nu }=0\), \(T^3_{\alpha {\beta },\gamma }=0\), \(T^4_{\alpha {\beta }}=0 \) and we have
$$\begin{aligned}&\partial _{\alpha }(\Gamma ^\sigma _{{\beta }\gamma }F_\sigma +\mathop {\textrm{Re}}\nolimits (\lambda _{{\beta }\gamma }{\bar{m}}))-\partial _{{\beta }}(\Gamma ^\sigma _{\alpha \gamma }F_\sigma +\mathop {\textrm{Re}}\nolimits (\lambda _{\alpha \gamma }{\bar{m}})) =0, \end{aligned}$$and
$$\begin{aligned} \partial _\alpha (iA_{\beta }m+\lambda ^\sigma _{\beta }F_\sigma )-\partial _{\beta }(iA_\alpha m+\lambda ^\sigma _\alpha F_\sigma )=0, \end{aligned}$$as needed.
-
(b)
Compatibility conditions between the system (9.1) and (9.2). By (9.1), (9.2) and (8.15) we have
$$\begin{aligned} \partial _t(iA_\alpha m+\lambda ^\sigma _\alpha F_\sigma )-\partial _\alpha (iB m+i(\partial ^{A,\sigma }\psi -i\lambda ^\sigma _\gamma V^\gamma )F_\sigma ) =0 \end{aligned}$$and
$$\begin{aligned}{} & {} \partial _{\beta }[-\mathop {\textrm{Im}}\nolimits (\partial ^A_{\alpha } \psi {\bar{m}}-i\lambda _{\alpha \gamma }V^{\gamma } {\bar{m}})+[\mathop {\textrm{Im}}\nolimits (\psi {\bar{\lambda }}^{\gamma }_{\alpha })+\nabla _{\alpha } V^{\gamma }]F_{\gamma }]\\ {}{} & {} \quad -\partial _t[\Gamma ^\gamma _{{\beta }\alpha }F_\gamma +\mathop {\textrm{Re}}\nolimits (\lambda _{{\beta }\alpha }{\bar{m}})] = 0. \end{aligned}$$
9.1.2 Solving the System (9.1)–(9.2) Locally
Starting from the existing frame at time \(t=0\), we want to extend it forward in time by solving (9.2), while insuring that (9.1) remains valid. The difficulty is that we lack the uniform integrability in time for the coefficients in (9.2). However, in view of the local energy decay bounds for \(\lambda \) and \(\psi \), we do know that locally we have \(\lambda \in L^2_t H^{s+\frac{1}{2}}\). We choose a distinguished coordinate, say \(x_d\), and denote the remaining coordinates by \(x'\). Then in view of Sobolev embeddings we have the local regularity
Thus on a “good" \(x_d\) slice we have \(\partial \lambda \in L^2_t C_{x'}\) and we can extend our frame forward in time as a continuous function, with \(L^2_t L^\infty _{x'}\) time derivatives and bounded spatial derivatives.
At fixed time all the coefficients are continuous so we can start from the above \(x_d\) slice and solve the system (9.1) globally in x, obtaining a global frame \((F_\alpha ,m)\) which is locally Lipschitz in x and continuous in t. By Frobenius’ theorem, this solution must also satisfy (9.2) on any good \(x_d\) slice, which is a.e. Thus we have obtained the desired global frame \((F_\alpha ,m)\) for \(t \in [0,1]\).
9.1.3 Propagating the Properties (i)–(iii)
Here we show that the properties (i)–(iii) above also extend to all \(t \in [0,1]\). The properties (ii) and (iii) follow directly from the equations (9.1) and (9.2) once the orthogonality conditions in (i) are verified. We denote
The first step is to propagate (i) forward in time on a good \(x_d\) slice. Indeed, by (9.2) and (8.13) we have
Viewed as a linear system of ode’s in time, these equations allow us to propagate (i) in time, given that it is satisfied at \(t = 0\).
It remains to propagate (i) spatially. Using (9.1) we compute
By ode uniqueness and the choice of the initial data, the desired properties (i) for the frame are indeed propagated spatially.
9.1.4 The Sobolev Regularity of the Frame
Here we show that our frame has the global regularity
As a consequence of the property (i), we directly see that \((F_\alpha ,m) \in L^\infty \). From (9.1) it then follows that \(\partial _x (F_\alpha ,m) \in L^\infty \). This allows us to differentiate further in (9.1) and bound higher derivatives of the frame, up to the \(H^{s}\) regularity for \(\partial _x(F_\alpha ,m)\), which is imposed by \(\lambda \). We can directly estimate this last norm. Precisely, by (9.1), (2.32) and Sobolev embeddings we have
and
These imply the uniform bound
9.2 The Moving Manifold \(\Sigma _t\)
Here we propagate the full map F by simply integrating (2.13), i.e.
Then by (9.1), we have
which is consistent with above definition of \(F_\alpha \).
9.3 The (SMCF) Equation for F
Here we establish that F solves (1.1). Using the relation \(\lambda _{\alpha {\beta }}=\partial _\alpha \partial _{\beta }F \cdot m\) we have
This implies that the F solves (1.1).
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
However, in three and higher dimensions one could still work with \(\psi \) if desired.
Ideally here one would like to set \(\delta = 0\), but this is only possible in dimensions three and higher.
References
Banica, V., Vega, L.: Evolution of polygonal lines by the binormal flow. Ann. PDE 6, 6, 2020
Constantin, P., Saut, J.-C.: Local smoothing properties of dispersive equations. J. Am. Math. Soc. 1, 413–446, 1989
Craig, W., Kappeler, T., Strauss, W.: Microlocal dispersive smoothing for the Schrödinger equation. Commun. Pure Appl. Math. 48(8), 769–860, 1995
Da Rios, L.: On the motion of an unbounded fluid with a vortex filament of any shape. Rend. Circ. Mat. Palermo 22, 117–135, 1906
Doi, S.: Remarks on the Cauchy problem for Schrödinger-type equations. Commun. Partial Differ. Equ. 21, 163–178, 1996
Doi, S.: Smoothing effects for Schrödinger evolution equation and global behavior of geodesic flow. Math. Ann. 318, 355–389, 2000
Gomez, H.H.: Binormal motion of curves and surfaces in a manifold. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)-University of Maryland, College Park (2004)
Haller, S., Vizman, C.: Non-linear Grassmannians as coadjoint orbits. Math. Ann. 329(4), 771–785, 2004
Huang, J.-X., Tataru, D.: Local well-posedness of skew mean curvature flow for small data in \(d\ge 4\) dimensions. Commun. Math. Phys. 389(3), 1569–1645, 2022
Ifrim, M., Tataru, D.: Local well-posedness for quasilinear problems: a primer. Preprint arXiv:2008.05684
Jerrard, R.: Vortex filament dynamics for Gross–Pitaevsky type equations. Ann. Sc. Norm. Super. Pisa CI. Sci. (5) 1(4), 733–768, 2002
Kenig, C.E., Ponce, G., Vega, L.: Small solutions to nonlinear Schrödinger equations. Ann. Inst. H. Poincaré Anal. Non Linéaire 10, 255–288, 1993
Kenig, C.E., Ponce, G., Vega, L.: Smoothing effects and local existence theory for the generalized nonlinear Schrödinger equations. Invent. Math. 134, 489–545, 1998
Kenig, C.E., Ponce, G., Vega, L.: The Cauchy problem for quasi-linear Schrödinger equations. Invent. Math. 158, 343–388, 2004
Khesin, B.: Symplectic structures and dynamics on vortex membranes. Mosc. Math. J. 12(2), 413–434, 461–462, 2012
Li, Z.: Global transversal stability of Euclidean planes under skew mean curvature flow evolutions. Calc. Var. Partial Differ. Equ. 60, 57, 2021
Li, Z.: Global and local theory of skew mean curvature flows. J. Geom. Anal. 32, 34, 2022
Lin, T.: Rigorous and generalized derivation of vortex line dynamics in superfluids and superconductors. SIAM J. Appl. Math. 60(3), 1099–1110, 2000
Liu, B.P., Smith, P., Tataru, D.: Local wellposedness of Chern–Simons–Schrödinger. Int. Math. Res. Not. IMRN 2014(23), 6341–6398, 2014
Marzuola, J., Metcalfe, J., Tataru, D.: Quasilinear Schrödinger equations I: small data and quadratic interactions. Adv. Math. 231(2), 1151–1172, 2012
Marzuola, J., Metcalfe, J., Tataru, D.: Quasilinear Schrödinger equations, II: small data and cubic nonlinearities. Kyoto J. Math. 54(3), 529–546, 2014
Marzuola, J., Metcalfe, J., Tataru, D.: Quasilinear Schrödinger equations, III: large data and short time. Arch. Ration. Mech. Anal. 242(2), 1119–1175, 2021
Shashikanth, B.N.: Vortex dynamics in \({\mathbb{R} }^4\). J. Math. Phys. 53, 013103, 2012
Song, C.: Gauss map of the skew mean curvature flow. Proc. Am. Math. Soc. 145(11), 4963–4970, 2017
Song, C.: Local existence and uniqueness of skew mean curvature flow. J. Reine Angew. Math. 776, 1–26, 2021
Song, C., Sun, J.: Skew mean curvature flow. Commun. Contemp. Math. 21(1), 1750090, 2019
Vega, L.: The dynamics of vortex flaments with corners. Commun. Pure Appl. Anal. 14(4), 1581–1601, 2015
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by V. Šverák.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
J. Huang is supported by National Natural Science Foundation of China (Grant No. 12301293) and Beijing Institute of Technology Research Fund Program for Young Scholars. D. Tataru was supported by the NSF Grant DMS-2054975 as well as by a Simons Investigator grant from the Simons Foundation.
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
Huang, J., Tataru, D. Local Well-Posedness of the Skew Mean Curvature Flow for Small Data in \(d\geqq 2\) Dimensions. Arch Rational Mech Anal 248, 10 (2024). https://doi.org/10.1007/s00205-023-01952-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-023-01952-y