Abstract
We consider the problem of transfer of energy to high frequencies in a quasilinear Schrödinger equation with sublinear dispersion, on the one dimensional torus. We exhibit initial data undergoing finite but arbitrary large Sobolev norm explosion: their initial norm is arbitrary small in Sobolev spaces of high regularity, but at a later time becomes arbitrary large. We develop a novel mechanism producing instability, which is based on extracting, via paradifferential normal forms, an effective equation driving the dynamics whose leading term is a non-trivial transport operator with non-constant coefficients. We prove that such an operator is responsible for energy cascades via a positive commutator estimate inspired by Mourre’s commutator theory.
Introduction
A fundamental question in physics and mathematical analysis is to study how energy is transferred and redistributed from macro to micro scales in deterministic systems; this is central to understanding the emergence of turbulent dynamics, especially in fluids. Formal computations of energy transfers have been performed since the 1960s, first by Hasselmann for the pure gravity water waves [43, 44], that by Longuet-Higgins and Gill for the -plane equation [56], and more recently for the dispersive surface quasi-geostrophic equation (SQG) [68]; these, however, still lack rigorous mathematical justification.
A rigorous way to effectively capture energy transfers is to construct solutions exhibiting growth of Sobolev norms, as pointed out for example by Bourgain [18] in the context of nonlinear Hamiltonian PDEs. Whereas an active line of research—starting from the breakthrough work by Colliander-Keel-Staffilani-Takaoka-Tao [19]—has rigorously proved that growth of Sobolev norms for certain semilinear Schrödinger equations [36, 38–42, 45], there are no rigorous results for quasilinear dispersive equations, even though the most relevant dispersive models in fluid dynamics—such as those mentioned at the very beginning—are of quasilinear type.
There are several resons for that difficulties noted above. The first one, common for all dispersive equations, is that the linearized waves merely oscillate over time and consequently any growth in Sobolev norms is a purely nonlinear mechanism, making the analysis particularly challenging. A further difficulty, specific to quasilinear PDEs on compact manifolds, is that global well posedness is (usually) not known, in contrast with the (subcritical) semilinear setting. In addition, growth of Sobolev norms happens on time scales longer than those predicted by the long-time Cauchy theory (obtained via modern quasi-linear normal forms and modified energy methods), posing the problem of constructing solutions with a lifespan longer than the expected one.
This paper aims to initiate a rigorous study of energy transfers in quasilinear dispersive PDEs by proposing a new paradigm for constructing solutions that exhibit growth of Sobolev norms, and we believe that it could serve as a foundational framework to rigorously study energy transfers in dispersive fluid equations, such as those mentioned at the beginning. Note that the pure gravity water waves, the -plane equation and the dispersive SQG share two common features: a nonlinear transport term and a sublinear dispersion relation. We propose a simplified model retaining exactly these features, and employ it as a theoretical test-bed to explore our new mechanism.
Specifically, we consider the fractional quasilinear NLS (nonlinear Schrödinger) equation
| 1.1 |
with the Fourier multiplier defined by , . Note that, by energy methods and in view of the hyperbolic structure of the nonlinearity, equation (1.1) is locally wellposed1 in for any ; see Remark 4.3. Here , , is the Sobolev space with norm
and is the k-th Fourier coefficient.
Equation (1.1) is also gauge invariant, so the -norm is constant in time. Therefore, a growth in time of the norm, , indicates a transfer of energy to high frequencies. Our main result is the construction of a solution with Sobolev norm arbitrary small at initial time, but arbitrarily large at a later one. More precisely we prove
Theorem 1.1
There exists such that given any , and , there exists a solution of (1.1) and a time such that
Moreover
Theorem 1.1 guarantees the existence of a solution of (1.1) with smooth and arbitrary small initial datum undergoing finite but arbitrary large Sobolev norm explosion. Such a solution has a constant -norm and stays small in the “low” -norm. Local Cauchy theory, given by energy methods, implies that for all times ; see Remark 4.3. We show that Sobolev norm explosion happens on the just longer timescale . Of course, one of the crucial difficulties is to ensure existence of the solution over this longer timescale. We do not know the fate of such solution after time T, and since global existence for (1.1) is not established, we cannot exclude the possibility that, after time T, energy cascades trigger a finite-time singularity formation. We remark that, in similar models, such as the fractional KdV equation, solutions with large initial data can develop shocks [20, 48–51, 65, 72], resulting in the norm exploding while the one stays bounded. However, these shock solutions appear distinct from those described in our Theorem1.1, for which we ensure that low Sobolev norms stay small.
On the other end of things, not every initial data gives rise to turbulent solutions of (1.1): consider for example the plane waves with , which can be made of arbitrary small size. We also expect that KAM methods, like those developed in [6, 12, 27], would enable the construction of globally defined, small-amplitude, time quasi-periodic solutions, demonstrating the coexistence of stable and unstable dynamics.
As mentioned earlier, the primary novelty of this paper is the introduction of a new mechanism for generating energy cascades, tailored to quasilinear dispersive PDEs with a sublinear dispersion relation and a nonlinear transport term. In brief, such structure allows us to extract, via a novel quasilinear normal form, a transport operator with absolutely continuous spectrum, that drives the dynamics of (1.1), inducing dispersive effects in frequency space and resulting in the growth of Sobolev norms.
Such a mechanism is entirely distinct from the only two existing ones developed for semilinear Hamiltonian PDEs: the first one, pioneered by Colliander-Keel-Staffilani-Takaoka-Tao [19], exploits the dynamics of the so-called “toy model” and works for semilinear NLS on , , and some related models [19, 36, 38–42, 45]. The second one, discovered by Gérard-Grellier [32], leverages the peculiar integrable structure of the Szegő equation. We stress again that, in all these models, the nonlinearity is semilinear, in contrast to all relevant dispersive PDEs coming from fluids which are quasilinear.
Let us now describe our mechanism in more better. After a paradifferential normal form à-la Berti-Delort [9], we conjugate equation (1.1) to
| 1.2 |
where is a Bony-Weyl paradifferential operator (see (2.22)) of order one, coming from the nonlinearity of (1.1), and with the transport term having non-constant coefficient
| 1.3 |
This normal form is significantly different from the one of Berti-Delort [9] and of [10, 11, 13, 29, 63], where the symbol of the paradifferential operator has constant coefficients (at least at low homogeneity). It is also very different from the normal form of [19]: indeed the nonlinear vector field in (1.2) is not Birkhoff-resonant, since the main term has phases of oscillations given by
in principle it might be eliminated by a (formal) Birkhoff normal form procedure, but the required transformation is unbounded and not well defined in , due to the quasi-linear nature of the problem. Actually, it will be exactly this term to drive the instability: energy cascades are due to quasi-resonant interactions rather than exact resonances; this is reminiscent, in wave turbulence, to the fact that are quasi-resonances (rather than resonances) to play a fundamental role in the rigorous derivation of the wave kinetic equation [24].
Note that the normal form (1.2) guarantees only a cubic lifespan for initial data of size , which is too short to observe any energy transfers phenomena. Here come the first novelty of our method. We give up the control of any solution for times longer than , and restrict to particular solutions whose initial data is mostly concentrated on the two Fourier modes . Via an ad-hoc normal form, we decouple the dynamics of the modes in and in , and prove that such special solutions are long-time controlled: with this we mean that, on the enhanced timescale , the modes in evolve essentially as rotations, whereas the modes on remain of very small size in a low norm. In addition, we prove that long-time controlled solutions fulfill an effective system of the form
| 1.4 |
Here is a real number and a real valued function, both depending nonlinearly on the initial data u(0) (see (5.25) and (5.26)). We develop a new robust way to prove that (1.4) has solutions undergoing growth of Sobolev norms. To do this, we extend to the nonlinear setting a positive commutator method, inspired by Mourre’s theory [64]. More precisely, we construct a paradifferential operator , see (6.6), such that the commutator
is strictly positive on large frequencies up to a small remainder. This is possible provided that the function does not have sign, a condition that we force by tuning the initial datum. This condition carries significant meaning: it ensures that the operator has non-trivial absolutely continuous spectrum. This feature is the key factor driving energy transport to high frequencies: it induces a dispersive effect in the energy space that is directly analogous, in frequency variables, to the classical mechanism of spatial mass transport to infinity in Schrödinger equations on Euclidean spaces.
A further benefit of our method is that it allows us to prove that grows at an exponentially fast rate. This is due to the quasilinear nature of equation (1.1): for semilinear NLS, polynomial upper bounds in time are known (see e.g. [15, 66, 69, 70]), which become subpolynomial in time for linear time-dependent Schrödinger equations (see e.g. [2, 4, 5, 17, 22, 61]).
Related literature: Whereas for linear time dependent equations several results are known [1, 3, 16, 23, 26, 47, 54, 55, 57–60], for nonlinear systems, as we already mentioned, the results are scarce and limited to essentially two models: the semilinear Schrödinger equation (NLS) and certain integrable equations. Regarding the first, after the seminal works by Kuksin [52, 53], the breakthrough result by Colliander-Keel-Staffilani-Takaoka-Tao [19] for the NLS on , , identified the first mechanism of growth, based on the toy-model construction. Such mechanism was further exploited by Guardia-Kaloshin [41], Haus-Procesi [45], Guardia-Haus-Procesi [40], Guardia-Giuliani [36] and Giuliani [38]. All of these results construct solutions starting with norm arbitrally small and becoming arbitrarily large at a later time. We also mention Hani [42] and Guardia-Haus-Hani-Maspero-Procesi [39] that construct solutions undergoing Sobolev norm inflation and starting arbitrary close to periodic or quasi-periodic orbits. Solutions with unbounded paths have been constructed by Hani-Pausader-Tzvetkov-Visciglia [46] for the NLS on , combining dispersive effects and the resonant toy-model construction.
The second known mechanism ensuring growth of Sobolev norms was pioneered by Gérard-Grellier [32] for the Szegő equation, exploiting its peculiar integrable structure [31]. We also mention Biasi-Evnin [7] for a truncated Szegő systems, Gérard-Lenzmann [34] for the integrable Calogero-Moser derivative NLS, and long time instability results for the cubic half-wave equation obtained by Gérard-Grellier [33] on and Gérard-Lenzmann-Popovnicu-Raphael [35] on (exploiting resonant approximations with the Szegő equation). Furthermore, we mention Guardia-Giuliani [37] for chains of infinite pendula, the recent numerical result by Gallone-Marian-Ponno-Ruffo [30] for the FPUT chain and Elgindi-Shikh Khalil [25] for a completely different norm inflation mechanism in .
Scheme of the proof
We shall now describe in more detail the methods of the proof and the plan of the paper.
Step 1: paradifferential normal form. The first step is to transform equation (1.1) via the paradifferential normal form pioneered by Berti-Delort [9], further developed and extended in [8, 10, 11, 13, 28, 29, 63]. While previous applications of the Berti-Delort method aimed primarily at constructing a modified energy to establish upper bounds on the Sobolev norms of solutions, our approach leverages the method to extract an effective equation that has unstable solutions.
In Section 4, we perform two paradifferential transformations to conjugate the original equation (1.1) to the normal form system (4.23), whose cubic component has the form
| 1.5 |
with in (1.3), a symbol of order and quadratic in u(t), and a smoothing operator again quadratic in u. This normal form is significantly different from the one of [9] and of [10, 11, 13, 29, 63], where the symbol of the paradifferential operator has constant coefficients (at least at low homogeneity). On the contrary, in (1.5), has non-constant coefficients, and additionally it depends on time through u(t). This is the term that will give rise to the paradifferential operator in (1.4). To do this, we need to remove (or at least simplify) such time dependence. The first natural attempt, i.e. replace in the function u(t) with its linear evolution , fails because it produces an error that we cannot bound on the long time scales needed to see growth. Therefore, we need to study the nonlinear dynamics of at least two modes , . This we fix the modes in and study the nonlinear dynamics of , .
Step 2: the -normal form. We decompose the solution as follows.
This decomposition separates the tangential modes from the normal modes . To decouple the dynamics of these modes, we use a weak-normal form. The paradifferential operator in equation (1.5) vanishes when restricted to (see (5.9)). Therefore, the dynamics of is governed by the smoothing operator .
We decouple the dynamics of the tangential and normal modes in by removing from this term two types of monomials :
-
(i)Monomials with and : This ensures that the set remains invariant under the cubic part dynamics of (1.5); It also requires first-order Melnikov conditions
that we verify whenever one and only one among lies in . -
(ii)Monomials with exactly two indexes among in and the remaining one and k in : This is needed so that the leading term in equation (1.5) is given by the skewadjoint paradifferential term (whose monomials have exactly 2 indexes inside and 2 outside); It also requires second-order Melnikov conditions
when two indexes among are in and the other two in , provided that or .
As a result, only integrable monomials of the form , with either or or viceversa are left in the smoothing operator . Finally, in Proposition 4.11, we identify the remaining resonant integrable monomials via an a-posteriori identification argument à la Berti-Feola-Pusateri [11] (see also [10]), obtaining the explicit form (4.10).
Step 3: The effective equation. The variables and solve system (5.3)–(5.4), which has roughly the form
| 1.6 |
where is the explicit integrable vector field (5.5), and the symbol of the transport operator in the equation for is evaluated only on the tangential modes .
To further understand the dynamics of system (1.6) and to extract from it the effective equation (1.4), we introduce a small parameter and we consider special solutions of system (1.6), that we call long-time controlled (see Definition 5.2). They are characterized by two properties:
-
(i)Their initial data are small in , with most mass on the modes :
-
(ii)Their high -norms have large a-priori bounds:
Note that the large a-priori bound above is not restrictive for our problem: if it fails, it means the solution has already grown. We then prove that any long-time controlled solution, on the enhanced timescale , has
The modes and evolving very close to the rotations:
The “low” -norm of staying very small, i.e. . One key idea to obtain this is to estimate in , exploiting the cancellation coming from the skewadjointness of the paradifferential operator, then deducing a bound for by interpolation with the large a-priori bound for .
Finally, we approximate the evolution of with the rotations in the symbol obtaining a negligible remainder, and, after a space translation, we arrive at an effective system of the form (1.4); see Proposition 5.4.
Step 4: Growth of Sobolev norms. After this analysis, we have essentially reduced the problem to construct solutions of the effective equation (1.4) undergoing growth of Sobolev norms. We construct a paradifferential operator , of order 2s and supported on high-frequencies, see (6.6), fulfilling the positive commutator estimate (Lemma 6.2)
| 1.7 |
Here is a strictly positive real number depending on the initial data, see (6.10), and a cut-off function on high frequencies. To obtain such positive commutator estimate, the main ingredient is to find a symbol which is an escape-function for the dynamics of , namely such that the Poisson bracket is strictly positive. This is possible provided that function does not have a sign, and since
it is enough to select the values of the initial modes so that . The same condition yields the strict positivity of the number in (1.7). An important point is that the operator is chosen to be supported on very large . This is required so that the dispersive term and all the other lower order operators becomes perturbative with respect to the leading transport. To conclude, we define the functional and show that (1.7) leads to a lower bound for the dynamics of , forcing to grow exponentially fast provided is not too small, a condition that can be imposed by preparing well the initial data. Cover that , the growth of the Sobolev norms follows.
Functional Setting
In this section we introduce the paradifferential operators and smoothing remainders, following [9, 13]. We also introduce a new class of transformations, that we call admissible transformations, see Definition 2.11. They are maps whose main property is to be of regularity with respect to the internal variable. Consequently, the nonlinear map results invertible. We shall prove that all the transformation generated along the normal form reduction of Section 4 are admissible.
Function spaces. Along the paper we deal with real parameters . We use the following conventions for the set of natural numbers
For we shall denote with the space of couples of complex valued Sobolev functions in and with
Given that , we set the ball of radius r in and the ball of radius r in . Given an interval symmetric with respect to and a Banach space X, we use the standard notation C(I, X) to denote the space of continuous functions with values in X. Given we set the ball of radius r in and by the ball of radius r in . We denote that and we define
| 2.1 |
Given , we denote by the space of continuous functions , -periodic, whose derivatives up to order N are in , equipped with the norm
For the norm .
We denote by , , and by , , the translation operator respectively the phase rotation given by
| 2.2 |
Symmetries of operators and vector fields. Given a linear operator A(U) acting on we associate the linear operator defined by the relation
An operator A is real if . We say that a matrix of operators acting on is real-to-real, if it has the form
| 2.3 |
A real-to-real matrix of operators R(U) acts in the subspace . If R(U) and are real-to-real operators then also is real-to-real.
A matrix R(U) as in (2.3) is translation resp. gauge invariant if
| 2.4 |
Similarly, we will say that a vector field
| 2.5 |
and that it is translation resp. gauge invariant if
| 2.6 |
If R(U) in (2.3) is translation resp. gauge invariant, then the vector field is translation resp. gauge invariant as well.
Fourier expansion. Given a -periodic function u(x) in , we expand it in Fourier series as
| 2.7 |
We shall expand a function as
where .
For , , and we denote and
We also denote by the set of indexes
| 2.8 |
Fourier representation of homogeneous operators and vector fields. In the sequel we shall encounter matrices of linear operators, gauge and translational invariant, of the form
| 2.9 |
depending on U in a homogeneous way. We shall call them p-homogeneous if they are polynomials in U of order p. We write them in Fourier as
where the coefficients fulfill the the following symmetric property: for any permutation of , we have that
| 2.10 |
The operator M(U) is real-to-real, according to definition (2.3), if and only if its coefficients fulfill
| 2.11 |
A -homogeneous vector field, which is gauge and translation invariant (see (2.6)), can be expressed in Fourier as: for any ,
| 2.12 |
the last sum being in , and with coefficients satisfying the symmetry condition: for any permutation of ,
The constraint of the indexes in (2.12) can also be written as (recall (2.8)), and we shall often use this notation.
If X(U) is real-to-real (see (2.5)), then
Paradifferential calculus
In this section we introduce paradifferential and smoothing operators, following [9, 13].
Symbols. We define the class of symbols which we will use along the paper. They correspond to the autonomous symbols of Definition 3.3 in [9], where the dependence on time enters only through the function . In view of this, we do not need to keep track on the regularity indexes in time and we fix with respect to Definition 3.3 of [9].
Definition 2.1
(Symbols) Let , , , .
- Hölder symbols. We denote by the space of functions , , which are with respect to and such that, for any , there exists a constant such that
We endow with the family of norms defined, for any , by2.13 -
p-Homogeneous symbols. We denote by the space of p-linear symmetric maps from to , defined by
where are complex valued Fourier multipliers, satisfying2.14
and for some ,
We shall denote by2.15
the polynomial symbol associated to the multilinear symmetric symbol.We denote by the space of constant coefficients symbols which satisfy (2.15) with .
- Non-homogeneous symbols. We denote by the space of functions , defined for for some large enough, with complex values, such that for any , there are , and for any , any and , one has the estimate
In addition we require also the translation invariance property2.16
where is the translation operator in (2.2).2.17 - Symbols. We denote by the class of symbols of the form
where is a Fourier multiplier, and . We denote by the class of symbols of the form (2.18) with . Finally sometimes we shall write .2.18
We say that a symbol is real if it is real valued for any .
We also denote by (respectively ) the subspace of (respectively ) made of those symbols which are independent of , and by (respectively ) to denote functions in (respectively ) which are real valued.
Remark 2.2
Sometimes we shall write a symbol only in polynomial form
| 2.19 |
with some Fourier multiplier coefficients not necessarily symmetric, but fulfilling the estimates (2.15). One obtains the symmetric coefficients in the expression (2.14) by symmetrizing, i.e., denoting by the symmetric group of permutations of ,
We shall use the notation (2.19) for example in formulas (4.4) and for the resonant transport term in (4.8); the reason is that the transport term (4.8) is perhaps the most important object, being the term responsible for the growth, and we prefer to express it in the simplest possible form.
If a is a symbol in then and . If b is a symbol in then . If and , then .
p-homogeneous symbols in and non-homogeneous symbols in are actually functions with values in for some , whose seminorms (2.13) are bounded by
A p-homogeneous symbol is a non-homogeneous symbol, since (2.14)–(2.15) imply
| 2.20 |
and (2.14) implies the translation invariance property (2.17).
Paradifferential quantization. Given we consider functions and , even with respect to each of their arguments, satisfying, for ,
For we set . We assume, moreover, that
If is a smooth symbol we define its Weyl quantization as the operator acting on a -periodic function u(x) (written as in (2.7)) as
where is the Fourier coefficient of the periodic function .
Definition 2.3
(Bony-Weyl quantization) If is a symbol in , respectively in or , we set
| 2.21 |
where in the last equality stands for Fourier coefficient of with respect to the x variable, and we define the Bony-Weyl quantization of as
| 2.22 |
| 2.23 |
Note that if then and therefore, for ,
This relation shows that the action of a paradifferential operator does not spread much the Fourier support of functions.
If a is a homogeneous symbol, the two definitions of quantization in (2.22) and (2.23) differ by a smoothing operator according to Definition 2.6 below.
Definition 2.3 is independent of the cut-off functions , , up to smoothing operators that we define below (see Definition 2.6), see the remark at page 50 of [9].
Given a paradifferential operator , we have that
where and denote respectively the transposed and adjoint operator with respect to the complex, respectively real, scalar product of in (2.1). It results .
A paradifferential operator is real (i.e. ) if
| 2.24 |
A matrix of paradifferential operators is real-to-real, i.e. (2.3) holds, if and only if the matrix of symbols has the form
| 2.25 |
A real-to-real matrix of U-dependent paradifferential operators is gauge invariant, i.e. (2.4) holds, if and only if the symbols in (2.25) fulfill, with in (2.2),
| 2.26 |
If, in addition, , then in (2.22) have indexes restricted to , whereas to .
We will use also the notations
| 2.27 |
Through of this paper we shall use the following results concerning the action of a paradifferential operator in Sobolev spaces. (we refer to [13, Theorem A.7] for the proof of (i) and to [9, Proposition 3.8] for the proof of (ii), (iii)):
Theorem 2.4
(Continuity of Bony-Weyl operators) Let , , . Then
(i) Let . Then extends to a bounded operator for any satisfying the estimate, for any ,
| 2.28 |
(ii) Let . There is such that for any , there is a constant , depending only on s and on (2.15) with , such that for any and , one has
| 2.29 |
for , while for the (2.29) holds by replacing the right hand side with .
(iii) Let . There is such that for any there is a constant such that, for any , one has
| 2.30 |
Classes of m-operators and smoothing operators. We introduce m-operators and smoothing operators. This is a small adaptation of [9, 13] where we consider only autonomous maps, where again the time dependence is only through U(t). In particular we put with respect to the notation in [9, 13]. Given integers , we denote by the second largest among .
Definition 2.5
(Classes of m-operators) Let , and .
- p-homogeneous m-operators. We denote by the class of -linear operators from to of the form , symmetric in , with Fourier expansion
that satisfy the following. There are , such that for any , , one has2.31 2.32 - Non-homogeneous m-operators. We denote by the class of operators defined on for some , which are linear in the variable v and such that the following holds true. For any there are and such that for any , any , we have that
In addition, we require the translation invariance property2.33
where is the translation operator in (2.2).2.34 -
m-Operators. We denote by the space of operators of the form
where in , , and in .2.35 We denote by the operators of the form (2.35) with . Finally sometimes we shall write .
A p-homogeneous m-operator is a non-homogeneous m-operator. Indeed, (2.32) implies the quantitative estimate: for , for any , any , any ,
| 2.36 |
which is (2.33) (see Lemma 2.8 and 2.9 in [13] for a proof). Moreover (2.34) follows from the Fourier restriction in (2.31).
(Paradifferential operators as m-operators) If is a symbol in then the paradifferential operator is an m-operator . This is a consequence of Theorem 2.4–(ii) &(iii).
We will meet vector fields of the form where M(U) is a matrix of p-homogeneous m-operators as in (2.9). In this case the relation between the Fourier coefficients of the vector field in (2.12) and those of the m-operator in (2.31) is given by
| 2.37 |
namely, they are obtained symmetrizing with respect to the second last index the coefficients of M(U).
If the m-operators are referred to as smoothing operators.
Definition 2.6
(Smoothing operators) Let , and . We define the -smoothing operators
In view of (2.32) a homogeneous m-operator in with the property that, on its support, is actually a smoothing operator in for any satisfying (2.32) with and .
The Definition 2.6 of smoothing operators is modeled to gather remainders which satisfy either the property or arise as remainders of compositions of paradifferential operators, see Proposition 2.8 below, and thus have a fixed order of regularization.
Composition theorems. Let . The following is Definition 3.11 in [9].
Definition 2.7
(Asymptotic expansion of composition symbol) Let , , . Consider symbols and , . For U in we define, for , the symbol
| 2.38 |
The symbol belongs to .
We have that up to a symbol in , where
| 2.39 |
denotes the Poisson bracket. Moreover if and then with estimate
| 2.40 |
Due to (2.18), the symbol does not contain symbols of odd homogeneity.
where is defined in (2.24).
The following proposition is proved in [13, Theorem A.8] and [9, Proposition 3.12]:
Proposition 2.8
(Composition of Bony-Weyl operators) Let , , and .
(i) Let , . Then
where the linear operator , , satisfies, for some ,
| 2.41 |
One can take that .
(ii) Let , . Then
where R(U) are smoothing operators in .
Let and , with the notation in (2.27), one has that
| 2.42 |
where R(U) are real-to-real matrices of smoothing operators in .
We conclude this section with the paralinearization of the product (see [9, Lemma 7.2]).
Lemma 2.9
(Bony paraproduct decomposition) Let f, g, h be functions in with . Then
where for , is a homogeneous smoothing operator in for any .
Composition of m-operators. The next lemma, which is a consequence of Proposition 2.15 (items (ii) and (iv)) in [13], shall be used below.
Lemma 2.10
Let , , , . Let M(U) be a real-to-real matrix of m-operators in , be a real-to-real matrix of 0-operators and be a matrix of Fourier multipliers in . Then
- If c(U) is a 2-homogeneous symbol in and is a non-homogeneous symbol in ,
are symbols respectively in and for some ; - If Q(U) is a 2-homogeneous smoothing operator in ,
- If and , , then
If M is in and is in then the composition is in .
If M(U) is in , then is in for some .
Admissible transformations
In this section we introduce a class of U-dependent transformations, that we call admissible, that have three properties: (i) they are bounded as maps on Sobolev spaces of sufficiently high regularity, (ii) they are differentiable with respect to the internal variable U and (iii) their differential may lose m-derivatives in the external variable, but gain -derivatives in the internal one. Examples are flows of paradifferential and smoothing operators; see Lemmas 2.16 and 2.17.
Definition 2.11
(Admissible transformations) Let , . We say that a real-to-real matrix of non-homogeneous 0-operators in is an m-admissible transformation of gain if the following holds:
-
(i)Linear invertibility: is linearly invertible and its inverse is a real-to-real matrix of non-homogeneous 0-operators in satisfying the following: there exists such that for any there is a constant and such that for any and one has
2.43 -
(ii)Expansion: is a matrix of m-operators in expanding as
2.44 -
(iii)Derivative: there is such that for any , the map
is differentiable. Moreover its differential satisfies the quantitative bound: there are , such that for any and
Moreover, for any , there is such that for any , one has2.45 2.46
Remark 2.12
(1) Compared to m-operators in , admissible transformations exhibit a gain of derivatives in the internal variable U; see the second term in estimate (2.43) and compare it with (2.33) for . This additional gain will be verified since the admissible transformations we consider are linear flows generated by either paradifferential operators or smoothing operators. In both cases, the internal variable gains derivatives with respect to the external one.
(2) Thanks to the bound in (2.43), conjugates any matrix of 0-operators in into another matrix of 0-operators in , namely is a matrix of 0-operators in .
(3) Property (ii) implies that
and that
| 2.47 |
(4) The expansion (2.44) for implies the corresponding expansion for :
where is a real-to-real matrix of 2m-operators in .
We now prove that admissible transformations are closed by composition.
Lemma 2.13
Let be -admissible with gain and be -admissible with gain . If , then the composition is a -admissible transformation with gain .
Proof
We set . (i) and (ii) follows by the composition properties of m-operators, see Lemma 2.10-4, and by applying twice estimate (2.43) and using also . Moreover we have the expansion
where .
(iii) Set with , , the regularity threshold in property (iii) for . We first prove that, for any , is differentiable at , sufficiently small, and its differential is given by
| 2.48 |
Indeed fix , take with and set that
We show that, for ,
| 2.49 |
proving formula (2.48). Consider first with . Using the differentiability of , estimate (2.43) for and that we get that
proving (2.49) for as . We now prove the estimate for . Using (2.43) and the differentiability of , we get
also proving that (2.49) for , Consider now . Applying first (2.45) for with , then writing and using (2.45) for , with and we get
also proving that (2.49) for . We conclude that (2.48) holds.
Next we show that fulfills estimate (2.45). So fix and and consider the first term in the right hand side of (2.48). We have
The second term in (2.48) has an analogous estimate, proving (2.45).
Finally we prove the estimate (2.46). First we compute the differential
Estimate (2.46) for follows from the corresponding estimates for , in (2.47) and (2.33)–(2.36) for , , and .
Next we prove a local invertibility property of the nonlinear map when is an admissible transformation.
Lemma 2.14
Let be a m-admissible transformation with gain . Consider the nonlinear map . The following holds true:
-
(i)There exists such that for any , the map is locally invertible: namely there is and such that
-
(ii)One has with a matrix of non-homogeneous 0-operators in such that for some and expands as
2.50
Proof
Let the parameters given by Definition 2.11 associated to .
(i) Let . We prove that there exists such that for any there is a unique solution of the equation . Then we show that if , , also .
Exploiting the linear invertibility of , we recast as the fixed point problem
| 2.51 |
First we show that for any , the map is a contraction on the ball provided is small enough.
Let and . It follows from (2.43) that
which is verified provided is sufficiently small.
Again let and . By (iii) one has
which applying to the left and to the right yields
Exploiting such a formula, we get
where in the last step we chose small enough. By Banach fixed point theorem, there is a unique solving the fixed point problem (2.51), and so we set that
| 2.52 |
Upgraded regularity. We now show that for any , if , then belongs to and
First, from the fixed point, . Now fix so that . Then, from equation (2.51) and estimate (2.43), we get
This shows that and, using also that , , we get
| 2.53 |
Finally, using and again that , , we deduce that
So far we have shown that for any , where . Now we show that provided , with a smaller . First of all, note that solves the fixed point equation (2.51) with and . When , the map is a contraction. As a result, the associated fixed point problem admits a unique solution, which must therefore coincide with U. We prove now that . Indeed estimate (2.43), for some , gives
for any . The thesis of item (i) follows by choosing .
(ii) It follows from (2.52) and (2.51)
| 2.54 |
Since by definition , by the fixed point theorem for any . Then, since is a a real-to-real matrix of non-homogeneous 0-operators in , it follows that is a real-to-real matrix of non-homogeneous 0-operators in (with ).
Next we show that expands as in (2.50). Put . Then, using the expansion and Lemma 2.10, we get
Substituting and using (2.54) and Lemma 2.10, we obtain
This proves the expansion in (2.50).
An immediate consequence of the above lemma is that the inverse of an admissible transformation fulfills the estimate
| 2.55 |
We now show that the linear flows generated by two types of paradifferential operators are admissible transformations. Consider the flows
| 2.56 |
Remark 2.15
The map is gauge invariant if the generator is gauge invariant. Indeed and solve the same equation, thus coinciding.
The following lemma ensures that the flow map generated by is an admissible transformation for any :
Lemma 2.16
Let be the flow map in (2.56). Fix an arbitrary . Then
(i) if then is a 2-admissible transformation with gain ;
(ii) if then is a 0-admissible transformation with gain .
Proof
Along the proof we put if is as in (i), and in case (ii).
It is classical that is a matrix of 0-operators in as well as its linear inverse, see e.g. Lemma 3.16 of [14]. In particular, estimate (3.53) in [14] (with ) gives that for any and , , which clearly implies both (2.43) and the second of (2.33).
We now prove the expansion (2.44). First we expand
| 2.57 |
so the expansion of reads as
We prove now (iii). First we claim that, for both choices of in (2.56), there is such that, for any ,
| 2.58 |
| 2.59 |
Assuming for the moment such properties, consider the differential . It fulfills the variational equation
whose solution is given by the Duhamel formula
| 2.60 |
where in the second equality we also used the expansion
Inserting estimates (2.58)–(2.59) in (2.60) and using (2.33) for and (2.30) for , one checks that, for any ,
showing the validity of (2.45).
Similarly one checks that the term fulfills (2.46). We now prove (2.58)–(2.59). Consider first , for which (2.59) is trivial (being ). Since is homogeneous of degree 2,
and (2.58) follows from Theorem 2.4.
Next we analyze the case . Its differential is given by
Now notice that and
with bound Then Theorem 2.4 gives (2.58) and (2.59).
Next we consider the flow map generated by a matrix of smoothing operators:
| 2.61 |
Lemma 2.17
Let . The flow in (2.61) is a 0-admissible transformation with gain .
Proof
Since , for any with sufficiently large the problem (2.61) admits a unique solution fulfilling uniformly for . We now prove that fulfills (2.43). Let , with a sufficiently small and . Then the integral formula and estimate (2.36) (with and ) yield
Then, possibly shrinking so that , we obtain
proving (2.43). The rest of the proof follows along the same lines as the previous one. The algebraic expansion (2.60) holds with and, since , we replace (2.58) and (2.59) with the bound
obtained from (2.36) with and . Then both (2.45) and (2.46) follow.
Analysis of Weak Resonances
Equation (1.1) is Hamiltonian, with Hamiltonian function given by
Due to the gauge and translation invariance of equation (1.1), any sufficiently regular solution u(t) of (1.1) conserves the total mass and momentum, namely
| 3.1 |
In view of this we introduce the new variable
Clearly v(t, x) and u(t, x) have same Sobolev norms, same magnitude, mass and the momentum, i.e.
and
and one readily checks that fulfills the re-normalized equation
| 3.2 |
This is the equation that we shall consider from now on, and we will relabel . Also (3.2) is a Hamiltonian PDE with Hamiltonian function
Remark 3.1
The reason we renormalize equation (1.1) is that the vector field of (3.2) does not contain integrable resonant monomials of the form with . Although not strictly necessary, it simplifies the analysis of the resonant part of (3.2) in Lemma 3.4.
Analysis of 4-waves interactions. Denote by the subset of (recall (2.8)) consisting in 4-waves resonant indexes, namely
| 3.3 |
When is irrational, one can expect the set to contain only integrable resonances, namely indexes of the form with and their permutations. For rational, instead, nonintegrable resonances do exist in general: for example, when , one has the non-integrable Zakharov-Dyachenko resonances [73]. We do not care if such non-integrable resonances exist or not, since, as we discussed in the introduction, our energy cascades will be due to quasi-resonances, rather than exact resonances. What we really are interested in, is to study the resonances between frequencies in a fixed set and those in its complementary set, with at most two frequencies in .
We shall now study resonant sets with indexes constrained to belong to certain subsets.
Definition 3.2
Given a set and , we denote by the elements of (see (2.8)) having exactly n indexes outside the set :
| 3.4 |
We denote by the subset of made of 4-waves resonances: with in (3.3),
| 3.5 |
We shall now study in detail the sets , , when is given by
| 3.6 |
Lemma 3.3
Let in (3.6) and , defined in (3.4) and (3.5).
-
(i)The set and it contains only integrable resonances:
and is the symmetric group of permutations of four symbols.3.7 -
(ii)The set . Moreover has finite cardinality and there exists such that
3.8 -
(iii)The set
Moreover there exists such that3.9 3.10
Proof
The gauge condition implies that exactly two ’s are , the other are −. So, up to permutation, we can always assume that and .
(i) In this case all indexes , so automatically , so . Next the momentum condition gives that either , , yielding , or , , yielding , which is a permutation of the previous one.
(ii) We can always assume that and . Then the resonant condition reduces to , for which we have the lower bound
This proves both and (3.8).
(iii) We have two different cases.
Case I: W.l.o.g. assume , . The momentum condition reads . We examine further subcases.
If , then .
If and , from the momentum condition we get , so actually . Then .
If , then . Then .
Hence in Case I there are no resonances and the lower bound (3.10) holds.
Case II: W.l.o.g. assume that , . The momentum condition reads . Again we examine further subcases.
If , then, by the momentum, and they form an element of . All other cases in (3.9) are obtained by permutations.
If , then . Consider the “+” case, the other being analogous. The term reduces to
proving (3.10).
Projection of cubic vector fields. We introduce now projections of cubic vector fields on the sets and . Recall that any real-to-real cubic vector field X(U), translation and gauge invariant, expand in Fourier as (see (2.12))
| 3.11 |
for any permutation of . Given a subset , we denote by the vector field obtained restricting the indexes to belong to A, namely
| 3.12 |
We now compute the projections of the cubic vector field in (3.2), which we denote by
| 3.13 |
on the sets defined in (3.5) for .
Lemma 3.4
The cubic, translation and gauge invariant vector field in (3.13) fulfills
-
(i)
Structure: There exists a 2-homogeneous 1-operator such that ;
-
(ii)Resonances: The projections of the vector field on the sets , , defined in (3.5) are given by
3.14
Proof
(i) Define to be the operator
| 3.15 |
so that . To prove that we write it in Fourier as
The coefficients are symmetric in the first two indexes and fulfill (2.32) with and .
(ii) As we shall compute the projectors using the definition (3.12), we need first to write in the form (3.11). So expand in (3.13) in Fourier, getting
where
The coefficients of expansion (3.11) are obtained by the symmetrization
yielding
| 3.16 |
We use the definition of projections in (3.12). In view of the characterization of given in (3.7), we must consider only those monomials with indexes of the form with and their permutations. Once the last couple is fixed, than either , giving the index and its 3 permutations, or , giving and its 6 permutations. Therefore we obtain
proving the first of (3.14).
It is zero since by Lemma 3.3 (ii).
In view of the characterization of in (3.9), the monomials surviving the projection have indexes of the form (and their permutations) with only one among k and in . Once the last index is fixed in either or , and k is fixed in the complementary set, there are 6 possible permutations. Hence we get
proving the last of (3.14).
For later use, we now prove a lemma about the projections on , , of cubic paradifferential vector fields. More precisely, we have
Lemma 3.5
Let be a 2-homogeneous symbol in , , with zero average and fulfilling for any , where in (2.2). Then
Proof
Recalling (2.27), . Using definition (2.22) specialized to quadratic symbols fulfilling , , and the comments right below (2.26), we get
The point is that, when projecting on , , either the cut-off or the coefficient vanish. Recall that whenever .
In this case , and for any choice of .
By Lemma 3.3 and there is nothing to prove.
By Lemma 3.3 the indexes are pairwise equal.
Assume first that , then since has zero-average in x.
The case and violates the momentum conservation, as well as , .
In case and , the cut-off vanishes since
Analogously, the case , is ruled out, concluding the proof.
Identification argument. We prove an abstract identification argument in the spirit of [10, 11]. In section 4 we shall conjugate equation (3.2) with an admissible transformation. Without doing explicit computations, we shall a posteriori identify the explicit form of the resonant parts of the conjugated vector field thanks to the following proposition:
Proposition 3.6
(Identification of the resonant normal form) Let be a 2-admissible transformation (see Definition 2.11) with a gain . There exist such that, provided is a solution of the system
| 3.17 |
where
| 3.18 |
then the variable solves
| 3.19 |
Here is a matrix of non-homogeneous 7-operators in , whereas is a cubic vector field fulfilling
| 3.20 |
where is the 4-waves resonant set in (3.3).
Proof
Defining , the variable Z solves the equation
where to invert the nonlinear map we used Lemma 2.14.
Next we provide a Taylor expansion of the push-forward vector field . Using the expansion (2.44) for , we get
| 3.21 |
where, using the structure (3.18) of
| 3.22 |
We prove in Lemma 3.7 below that is a matrix of non-homogeneous operators in . Next we compute (3.21) at
| 3.23 |
obtaining
where
| 3.24 |
and
| 3.25 |
We prove in Lemma 3.7 below that belongs to . This concludes the proof of (3.19). To prove (3.20) we note that
it then follows that, for any set , one has
Lemma 3.7
There is such that defined in (3.22) is a matrix of 3-operators in and defined in (3.25) is a matrix of 7-operators in .
Proof
We need to show that each term in (3.22) and (3.25) fulfills (2.33) with , some and m equal 3 or 7. This is proved exploiting that each term is a composition of either m-operators or differentials of admissible transformations and therefore satisfying (2.46). As an example, we explicitly show how to bound the most difficult terms in (3.22) and (3.25). Recall that, by definition of admissible transformations, is a matrix of 2-operators in for some .
We start from in (3.22). Using (2.46) (with and ) and that , we get
proving (2.33) with .
Now we consider the term in the third line of (3.25). Using the trilinearity of and (3.23), we decompose that as
| 3.26 |
We bound each term in (3.26) separately. We shall repeatedly use that . First, using (2.47) and then (2.36), (2.33), (2.55) and (3.23), we get
| 3.27 |
Similarly one obtains
| 3.28 |
Finally, using (2.47) and then (2.36), (2.33) and (3.23), we get
| 3.29 |
Estimates (3.27), (3.28) and (3.29) prove that the operator in (3.26) is a non-homogeneous 7-operator in .
Paradifferential Normal Form
The goal of this section is to use paradifferential transformations and Birkhoff normal forms, in the spirit of [9], to put the quasilinear equation (3.2) into a suitable normal form. However, the normal form that we shall obtain is rather different from the one of [9] and of [10, 11, 13, 63]; indeed, in these papers, the paradifferential part has symbols with constant coefficients (at least at low homogeneity), and the smoothing vector field is in Birkhoff normal form, namely supported only on resonant monomials. On the contrary, our normal form has to two important and different features, see Theorem 4.4: (i) the cubic part of the paradifferential vector field has a dominant transport term with variable coefficients and supported only on resonant sites, see (4.8), and (ii) the cubic smoothing vector field is in a suitable weak normal form, that we call -normal form and we now introduce.
Definition 4.1
(-normal form) Let as in (3.6). A cubic, translation and gauge invariant vector field X(U) is said to be in
- weak- normal form if all its monomials with at most two indexes outside are resonant, i.e.
- strong- normal form if in addition there are no resonant monomials with one or two indexes outside , i.e.
the sets , being defined in (3.4) and (3.5).
Note that a cubic vector field in strong- normal form is composed by monomials whose indexes are
either in and resonant, i.e. ;
or at least three indexes are outside , i.e. .
To start the normal form procedure, it is convenient to write (3.2) as the system in the variable given by
| 4.1 |
where is defined in (3.17) and, with the 1-operator in in (3.15),
| 4.2 |
The first step is to paralinearize such system.
Lemma 4.2
(Paralinearization) Fix and . If solves equation (3.2), then solves the system in paradifferential form (recall the notation in (2.27))
| 4.3 |
where:
is the matrix of Fourier multipliers in (3.17);
and are the zero-average, 2-homogeneous functions
| 4.4 |
where are the mass and momentum defined in (3.1);
is a real-to-real, gauge invariant matrix of smoothing operators in .
Proof
The nonlinearity is paralinearized in a standard way using Lemma 2.9 and Proposition 2.8, getting a smoothing remainder R(U) whose coefficients fulfill (2.32) with and . Note also that, in view of the Bony quantization (2.21), (2.22) for homogeneous symbols
for some smoothing remainders in . Finally, remark that equation (4.1) is real-to-real and gauge invariant. Since also the paradifferential operators in (4.3) are real-to-real and gauge invariant (see (2.25) and (2.26)), by difference so is the matrix of smoothing operators .
Remark 4.3
Exploiting the continuity Theorem 2.4 and the symbolic calculus of Proposition 2.8, one checks easily that a solution of (4.3) (namely the paralinearization of (3.2)) fulfills the cubic energy estimate
| 4.5 |
for any . It is then standard to deduce local well-posedness in , , for equation (4.3) —see e.g. the scheme in [62, Chapter 7]. Moreover, the energy estimate (4.5) shows that initial data of size gives rise to solution remaining of size for times of order .
The main result of the section is the following normal form theorem:
Theorem 4.4
There exist and a 2-admissible transformation with gain 3 (see Definition 2.11) such that if solves (4.3), then the variable
| 4.6 |
| 4.7 |
where
is the matrix of Fourier multipliers in (3.17);
is the zero-average, real valued function in defined by
| 4.8 |
is a zero average, gauge-invariant, real symbol in ;
is a real function in and a real non-homogeneous symbol in ;
is a real-to-real and gauge invariant matrix of smoothing operators in such that the cubic vector field
| 4.9 |
is in strong- normal form (see Definition 4.1). Precisely, with the notation in (3.12),
| 4.10 |
Finally is a real-to-real matrix of 0-operators in .
The rest of the section is devoted to the proof of Theorem 4.4.
Block diagonalization
The goal of this section is to remove the out-diagonal term from equation (4.3) up to quadratic smoothing operators and quartic bounded operators. Precisely we prove:
Proposition 4.5
(Block-diagonalization) Let . There exist and a 0-admissible transformation with gain 5 (see Definition 2.11) such that if solves (4.3), then the variable
| 4.11 |
| 4.12 |
where
is the matrix of Fourier multipliers defined in (3.17);
and are the zero average functions defined in (4.4);
is a real-to-real, gauge invariant matrix of homogeneous smoothing remainders in ;
is a real-to-real matrix of non-homogeneous bounded operators in .
Proof
We define the map as the time-1 flow of the paradifferential equation
and with the 2-homogeneous symbol of the form
| 4.13 |
to be determined. By Lemma 2.16, is a 0-admissible transformation with arbitrary gain, which, to be concrete, we fix to 5. Moreover, G is gauge invariant (see the bullet of formula (2.26)), so is (Remark 2.15). The variable solves
| 4.14 |
| 4.15 |
| 4.16 |
We first expand (4.14). The Lie expansion formula (see e.g. Lemma A.1 of [11]) says that for any operator A(U), setting , one has
| 4.17 |
Applying this formula with , using formulas (2.42) we get
where is a matrix of smoothing remainders in (coming from the first of (2.42)), and the operator is given by
| 4.18 |
where is a matrix of smoothing operators in . We claim that is a non-homogeneous bounded operator in . Indeed, since , and belong to , and , we get that both the first line of (4.18) and are matrices of 0-operators in and so in (use the symbolic calculus of Proposition 2.8 and the bullets after Definition 2.5). Finally, being an admissible transformation, also the second line of (4.18) is a matrix of non-homogeneous 0-operators in (see Remark 2.12—(2)).
Consider now (4.15). Expanding as in (4.17) one see that the 2-homogeneous component remains the unchanged, getting
where is another matrix of non-homogeneous 0-operators in .
Finally we consider line (4.16). This time we use the Lie expansion (Lemma A.1 of [11])
Then, using that is a symmetric function of U, we get that . Since U solves equation (4.1), we get
where, using also (4.2),
By Lemma 2.10, the fact that is an admissible transformation, and the bullets after Definition 2.5, we deduce that is a matrix of -operators in .
In conclusion, we get that
| 4.19 |
where is a matrix of 0-operators in . Then the thesis follows from the following lemma.
Lemma 4.6
(The out-diagonal homological equation) Let . There exists a symbol of the form (4.13) such that
| 4.20 |
and fulfills the second of (2.26).
Proof
Thanks to symbolic calculus formula (2.38) (see also (2.39)), we have that for any , ,
Moreover if g fulfills the second of (2.26), so do and . Then the homological equation in (4.20) reads
which we solve iteratively exploiting that and are linear. Namely we put with
With this choice we have which implies the thesis choosing . Moreover, since b fulfills the second of (2.26) (recall (4.4)), so does , and by construction each , and the symbol . In particular has the claimed form in (4.13).
Applying Lemma 4.6, equation (4.19) becomes
| 4.21 |
where is the paradifferential operator of order coming from the symbol in (4.20). This proves the identity (4.12), renaming .
Finally we prove that the matrices of smoothing operators are gauge invariant. Indeed each operator on the right of (4.14)–(4.16) is gauge invariant (recall Lemma 4.2), as well as the 2-homogeneous matrix of paradifferential operators in (4.21). Then, by difference, the 2-homogeneous smoothing operators are gauge invariant as well.
Reduction of the highest order
In this section we perform a transformation that reduces the symbol of the highest order paradifferential operator to its resonant normal form.
Proposition 4.7
(Paracomposition) Let . There are and a 2-admissible transformation with gain 5 (see Definition 2.11) such that if solves (4.3), then the variable
| 4.22 |
| 4.23 |
where
is the matrix of Fourier multipliers defined in (3.17);
is the resonant part of the function in (4.4), namely the zero-average, real valued function in (4.8);
is a real function in ;
is a zero average, gauge invariant (fulfills the first of (2.26)), real symbol in and a real non-homogeneous symbol in ;
is a real-to-real, gauge invariant matrix of homogeneous smoothing operators in ;
is a real-to-real matrix of 0-operators in .
Proof
We define the transformation as the time-1 flow of the paradifferential equation
| 4.24 |
and the real valued, 2-symmetric function
where the symmetric coefficients
fulfill (2.15) with . Note that
| 4.25 |
By Lemma 2.16, is a 2-admissible transformation with an arbitrary gain, which again we fix to 5. Moreover, since fulfills the first of (2.26), G as well as , , are gauge invariant (see the bullet of formula (2.26) and Remark 2.15).
Recalling (4.12), the variable solves
| 4.26 |
| 4.27 |
| 4.28 |
We now compute each term, starting from (4.26). By Proposition B.1–2 (with ) we get
where is a real, zero average, gauge invariant symbol in , is a real symbol in , (see (B.3)) is a real-to-real matrix of 0-operators in and finally is a real-to-real, gauge invariant matrix of smoothing operators in .
Then, by Proposition B.1–1, we get
with and, thanks to , a real-to-real matrix of 0-operators in .
Next we consider the term in (4.27). We apply Proposition B.1–4 and get
where and, using again , a real-to-real matrix of 0-operators in .
Finally we consider line (4.28). By Proposition B.1–3 and Remark 2.12—(2)
with the same real-to-real, gauge invariant matrix of smoothing operators in of Proposition 4.5 and with a real-to-real matrix of 0-operators in .
Altogether we have the expansion
One verifies that in (4.25) solves the homological equation
using the expressions of in (4.4), in (3.17), and in (4.8). This proves the expansion in (4.23), renaming ; note that we proved that it is gauge invariant being sum of gauge invariant operators.
The weak -normal form
In this section we perform a Poincaré normal form, with the goal of putting the smoothing operator in (4.23) into weak- normal form (see Definition (4.1)).
Proposition 4.8
(Weak- normal form) Let . There are and a 0-admissible transformation with gain (see Definition 2.11) such that if solves (4.3), then the variable
| 4.29 |
| 4.30 |
where , , and are the same symbols of Proposition 4.7, whereas
is a real-to-real, gauge invariant matrix of smoothing operators in such that the cubic vector field is in weak- normal form, namely, it fulfills that
| 4.31 |
is a real-to-real matrix of 0-operators in .
Proof
We look for a transformation as the time-1 flow of the equation
where is a matrix of smoothing operators in to be determined. By Lemma 2.17, the map is a 0-admissible transformation with gain which is non-negative. Recalling (4.23), the variable fulfills
where we set . By Proposition B.2 (with ), we get
| 4.32 |
where is a real-to-real matrix of 0-operators in and is a real-to-real matrix of smoothing operators in which we shall regard as a 0-operator in since .
To determine , expand the vector field in (4.23) in Fourier components as
where with the sum over we mean that the indexes belong to . Below we use the same notation. Note that this writing is possible since is gauge invariant.
Then we define
where , and the sets , defined in (3.4), (3.5). We choose so that
| 4.33 |
We claim that one can set, denoting that , , that
| 4.34 |
where
| 4.35 |
Lemma 4.9
in (4.34)–(4.35) is a matrix of smoothing operators in fulfilling (4.33).
Proof
As is a smoothing operator in , its coefficients fulfill the estimate: for some , ,
| 4.36 |
and satisfy the symmetric and reality properties (2.10) and (2.11).
Consider now the coefficients in (4.35). Clearly they satisfy the symmetric and reality properties (2.10) and (2.11). We now bound them. By (4.36), Lemma 3.3 and the momentum relation ,
(recall that ). This shows that is a matrix of smoothing operators in .
It is clear that fulfills (4.33), also noting that in view of Lemma 3.3 (i).
With such , system (4.32) reduces to (4.30).
We prove now that the vector field is in weak- normal form, i.e. it fulfills (4.31). Indeed the coefficients of the vector field are obtained as in (2.37) and, being the set symmetric with respect to the first three indexes, they have the form
Proposition 4.8 is proven.
Identification and proof of Theorem 4.4
With the aid of paradifferential normal form, we have conjugated the original system (4.1) to the new system (4.30). The next steps are: (i) to write (4.30) as a system in the single variable Z(t), and (ii) to compute explicitly in (4.31) for , deducing (4.10).
To achieve (i), recall that the map in (4.29) has the form
| 4.37 |
Since is 0-admissible with gain , is 2-admissible with gain 5 and is 0-admissible with gain 5 (Propositions 4.5, 4.7, 4.8), by Lemma 2.13 the map a 2-admissible with gain provided .
Then Lemma 2.14 ensures that is locally invertible in a small ball for some , with inverse map having the structure
| 4.38 |
for some . We then substitute U in the internal variables of the operators in (4.30). Consider first the 2-homogeneous operators. We have, using Lemma 2.10–1,
and, using Lemma 2.10–2, . Then we substitute in the non-homogeneous operators and , applying Lemma 2.10–1& 5. In conclusion, setting , we obtain the following:
Proposition 4.10
There are such that if solves (4.3), then the variable Z(t) in (4.37) solves the system
| 4.39 |
where and are the quadratic symbols in Proposition 4.7, is the cubic vector field in weak- normal form of Proposition 4.8 is , whereas
is a real function in ;
is a real non-homogeneous symbol in ;
is a real-to-real matrix of 0-operators in .
The next step (ii) is to compute explicitly , :
Proposition 4.11
The vector field of Proposition 4.8 is actually in strong- normal form (Definition 4.1) and fulfills (4.10).
Proof
We combine the abstract identification argument of Proposition 3.6 with the characterization of the resonant monomials of the original vector field in Lemma 3.4.
Precisely, we apply the identification result of Proposition 3.6 to the starting NLS equation (4.1) (which has the required structure in (3.18) in view of (4.2)) and with the admissible transformation in (4.37), getting that Z fulfills an equation of the form (3.19). Identifying the cubic vector field of (3.19) with the one of (4.39) we get the identity
In addition, in view of (3.20), we have
| 4.40 |
Now we apply Lemma 3.5 to the cubic vector field ; this can be done since the symbols and have both zero-average (Proposition 4.7) and are gauge invariant (i.e. fulfills the first of (2.26)). We conclude that
| 4.41 |
from which we immediately get that
This last vector field is computed in Lemma 3.4, proving (4.10).
Proof of Theorem 4.4
The Effective Equation
The goal of this section is to study the long-time dynamics of solutions of equation (4.7) fulfilling certain upper-bounds, that we call long-time controlled, see Definition 5.2. In view of the reality of system (4.7), we regard it as a scalar equation in z(t). We study separately the dynamics of the modes supported on , namely , and those supported on . More specifically, we decompose
| 5.1 |
Parameters: From now on we fix as follows: and where are given in Theorem 4.4 whereas are the parameters required to invert the map in (4.6), see (4.38). We also fix that
| 5.2 |
The first step is the following one:
Lemma 5.1
If solves (4.7), then the variables defined in (5.1) fulfill the system
| 5.3 |
| 5.4 |
where
is the integrable vector field
| 5.5 |
and are cubic smoothing vector fields fulfilling: for any
| 5.6 |
is the symbol in given by
| 5.7 |
with defined in (4.8).
and are non-homogeneous vector fields fulfilling the estimate: for any there are , and for any ,
| 5.8 |
Proof
We introduce the projectors
and compute the projections of the first component of each term in system (4.7). Since is a Fourier multiplier, it commutes with the projectors. So consider the paradifferential vector field . We decompose
Writing , , we claim that
| 5.9 |
| 5.10 |
| 5.11 |
Proof of (5.9). We shall exploit that the symbol has zero average in x (see Theorem 4.4). Using the definition (2.22) for 2-homogeneous paradifferential operators applied to the quadratic, gauge invariant, zero-average symbol we get
We show that the cut-off is always vanishing. Indeed, recalling that when , and using (as cannot be both 0), and , one has
| 5.12 |
proving that . Consequently and (5.9) follows.
Proof of (5.10). Again we write explicitly the action of , using the quantization (2.22) for the 2-homogeneous symbol and (2.23) for the non-homogeneous symbol , getting
| 5.13 |
Arguing as in (5.12), the first line of (5.13) vanishes. To deal with the second line, recall that also when , so when and (so )
proving that . In conclusion, also the second line of (5.13) vanishes, proving the first of (5.10). The second identity is analogous exchanging the roles of j and k.
Proof of (5.11). It follows writing and using the first of (5.10).
This concludes the analysis of the projection of the paradifferential vector field .
We pass to the cubic vector field in (4.9). We set
which has the claimed form (5.5) in view of (4.10). Then we set that
To prove estimates (5.6) we exploit that is in strong- normal form, see (4.10).
By definition,
By (4.10), , so, since , the only possibly remaining monomials are those with and in addition . Then, recalling (4.9), , , and the first estimate (5.6) follows from and estimate (2.36).
Again by (4.10), we expand as
Then either (i) two indexes among belong to and one to , or (ii) all three indexes belong to . Consequently , . The second estimate (5.6) follows again from estimate (2.36) (with ), using also the trivial bound . This concludes the analysis of the projection of .
Finally we consider the projections of the vector field in (4.7). We put
This follows, since is a matrix of non-homogeneous 0-operators in , see (2.33).
This proceeds as with in the previous one, using (2.30) and as well.
The next step is to extract an effective system driving the dynamics of particular solutions of (5.3)–(5.4) which we call long-time controlled, see Definition 5.2 below. These solutions have two main features: (i) the initial data is supported mostly on and (ii) they have a large a-priori bound on the high norm for long times. These features allow us to propagate smallness of both tangential and normal modes in the low norm for long times, and moreover to ensure that the normal modes keep having a size much smaller than the tangential ones, i.e. , see (5.17), (5.18). This is possible because of the normal form procedure of the previous section, and in particular because
-
(i)
the leading term in the dynamics of the low modes in (5.3) is the cubic integrable vector field (the non-explicit cubic term , hence its size is much smaller);
-
(ii)
in equation (5.4) for , the term is skew-adjoint, hence it vanishes in a -energy estimate; consequently the dominant term becomes which, in view of (5.6), fulfills the quadratic estimate and therefore has a very small size. To obtain such estimate is the reason why we put in (4.9) in strong- normal form, namely it does not contain monomials of the form supported in . Otherwise, would have had monomials with exactly two frequencies among in and one in , and the estimate in (5.6) would have had an additional term , which is too large for the bootstrap lemma 5.3 below.
We now introduce precisely, the notion of long-time controlled solutions.
Definition 5.2
(Long-time controlled solutions) Let as in (5.2). Let also and . We say that a solution of system (5.3)–(5.4) is long-time controlled with parameters if
- (A1) at time 0 fulfills
5.14 - (A2) it exists over the time interval where it fulfills the large a-priori bound
5.15
One crucial property of any long-time controlled solution is that its low norm is automatically small for all , as we shall now prove.
Lemma 5.3
(Bootstrap lemma) Let as in (5.2). Also, fix that . There exists such, that for any , the following holds true.
Let z(t) be a solution of (5.3)–(5.4) which is long-time controlled with parameters (according to Definition 5.2) and with
| 5.16 |
Then z(t) fulfills the improved -bound
| 5.17 |
and the improved low-norm bound
| 5.18 |
Proof
The proof is by a bootstrap argument. We assume the bound
| 5.19 |
and show that, provided with sufficiently small, the better bound (5.17) holds.
First we bound . This is done interpolating the bound on that we have by the bootstrap assumption (5.19) and the large bound that we have on in (5.15), being z(t) long-time controlled by assumption. We obtain
| 5.20 |
which is possible for as in (5.2). Using the first part of (5.19) again, we also get
| 5.21 |
Next we consider and prove the improved estimate (5.17). Recall that the function fulfills equation (5.3); since is integrable, we get that, for all times ,
Then, since z(t) is long-time controlled, its initial datum is bounded by (5.14); hence, for all times ,
| 5.22 |
provided that and that is sufficiently small. This proves the first estimate in (5.17).
Next we bound . We exploit that the paradifferential operator in equation (5.4) is skew-adjoint, so we get, for all times ,
Again, that z(t) is long-time controlled, its initial datum fulfills (5.14); hence, for all times , we bound
| 5.23 |
which is true shrinking . Estimates (5.22) and (5.23) prove (5.17). This verifies the bootstrap assumption and so, by (5.20), also the second of (5.18). Together with (5.17), we get also the first of (5.18).
A second important property of any long-time controlled solution is that it fulfills an effective equation with a very precise structure: up to higher order corrections, for long times, the modes rotate with constant speed, whereas fulfills a linear Schrödinger equation whose Hamiltonian does not have constant coefficients. We shall show, in the next section, that this Hamiltonian is actually responsible for the growth of Sobolev norms of the solution. More precisely, we prove the following result:
Proposition 5.4
Let as in (5.2). Fix also . There exists such that for any the following holds true. Let z(t) be a solution of (5.3)–(5.4) which is long-time controlled with parameters (see Definition 5.2) and with fulfilling (5.16). Then fulfills the system
| 5.24 |
where
is the real number
| 5.25 |
the real valued function is given by
| 5.26 |
whereas the real valued, time dependent function fulfills the estimate
| 5.27 |
the real valued symbol fulfills the estimate (recall (2.13)): for every , there is such that
| 5.28 |
the functions fulfill the estimates
| 5.29 |
the vector field fulfills the estimate
| 5.30 |
Proof
We shall use that z(t), being long-time controlled with parameters and with fulfilling (5.16), satisfies the bounds (5.17), (5.18).
Write equation (5.3) in components, using the explicit expression of in (5.5), to get the coupled system
| 5.31 |
Consider the equation for . We write this as
| 5.32 |
giving the first equation in (5.24). We prove now that fulfills the bound claimed in (5.29). First, using the first of (5.31) and assumption (5.16), we get, for all times ,
which implies, on the same time scale,
| 5.33 |
Hence we get that in (5.32) is bounded for by
| 5.34 |
proving (5.29), provided that is sufficiently small. An analogous argument proves that fulfills the second of (5.24).
A consequence, which we shall use in a moment, is that
| 5.35 |
whereas
fulfills, by (5.34), (5.16) and eventually shrinking again, the bounds
| 5.36 |
We start from equation (5.4) and we substitute the explicit expression of in (5.35). Consider first the symbol in (5.7). We shall extract from its component , defined in (4.8), the main contribution which is the one supported on . More precisely,
The functions and fulfill, by (5.14), (5.36) and (5.18), the bounds
| 5.37 |
Then we write in (5.7) as
We bound using estimates (5.37) for and , and that
getting the claimed bound (5.27).
The bound (5.28) for follows from (2.20), (2.16) and (5.18).
Finally we get that
which fulfills the estimates (5.30) by (5.6), (5.8) and using (5.18) and (5.15).
Instability via Paradifferential Mourre theory
The goal of this section is to give sufficient conditions on the initial datum z(0) ensuring that, if the corresponding solution z(t) is long-time controlled, then its high -norm undergoes Sobolev norm explosion, becoming larger than . We will achieve this via a positive commutator estimate.
We will focus on the third equation in (5.24); actually it is more convenient to work with the translated variable
| 6.1 |
Clearly, one has
| 6.2 |
so it is equivalent to prove growth of Sobolev norms for and . The equation fulfilled by is easily derived from the third of (5.24) as
| 6.3 |
where we defined the real valued function , the real valued symbol and the vector field as
It follows, by (5.27), (5.28) and (5.30), that we have the estimates
| 6.4 |
The Mourre operator
The leading term in equation (6.3) is the non-constant coefficient transport operator
| 6.5 |
The crucial point is that, provided that and fulfill
corresponding to the function having a zero, the operator admits a Mourre-conjugate operator, namely an operator such that the commutator is positive. Actually this also shows that the operator in (6.5) has a non-trivial absolutely continuous spectrum, although we shall not exploit directly this property.
More precisely, take s as in (5.2) and (to be fixed later) and define the (formally) self-adjoint operator
| 6.6 |
and the smooth step function
| 6.7 |
Note that is a symbol in , and for any , there is such that
| 6.8 |
as it follows from its definition and from Lemma A.1 with , , and . Moreover we will ensure that , so that is non trivial, see Remark 6.4.
The choice of the function in (6.6) is motivated by the fact that it is an escape function for the symbol of the operator in (6.5); precisely one has the following result:
Lemma 6.1
Fix . Let as in (6.6) and , as in (5.25), (5.26). Then
| 6.9 |
where is the real number
| 6.10 |
whereas is a smooth, non-negative symbol having the structure
| 6.11 |
Here , , are smooth, real valued, non-negative functions fulfilling
| 6.12 |
and , , are smooth, real valued symbols in with support in .
Proof
We compute, using (2.39), (6.6), (5.25), (5.26) and denoting ,
| 6.13 |
Now, using the explicit definition of in (6.6), of in (5.26) and of in (5.25) and that , , we get the lower bound
| 6.14 |
where to pass from the first to the second line we also used that
Hence, adding and subtracting in (6.13), we get the claimed formula (6.9) with
Note that both and are non-negative functions in view of (6.14) and the fact that . They clearly are smooth, and estimate (6.12) follows from the definitions of in (6.6), (5.26), of in (5.25) and in (6.10).
We claim that the functions and are smooth symbols in supported in . We prove the claim only for since the one for is trivial. First notice that is well defined since, by (6.7), one has . Define that
Then and is supported in . Thus we are left to prove that f(y) is a smooth function. It is easy to see that is smooth on its support. The function
is smooth by direct inspection.
Thanks to Lemma 6.1, we now prove that the commutator between in (6.6) and is a non-negative operator up to a small remainder. In the following, given two operators , we write with the meaning for any . More precisely, we have
Lemma 6.2
Fix . Let be defined in (6.6). Then:
- (i)
-
(ii)Upper bound: One has
with satisfying the estimate6.17 6.18
Proof
(i) First note that is a symbol in with seminorm
| 6.19 |
We now compute the commutator between and . We use the composition Theorem 2.8 (i) regarding as a symbol in (so putting , , ), and we get
| 6.20 |
where the operator satisfies
Back to formula (6.20), as the Poisson bracket was already computed in (6.9), we have that
| 6.21 |
with a smooth, non-negative symbol having the structure (6.11). Thanks to these properties we bound the operator from below using the strong Garding inequality A.2, getting
| 6.22 |
We conclude by (6.20), (6.21), (6.22) that
where the operator fulfills the estimate (6.16).
(ii) Define the positive symbol and again apply Garding’s inequality A.2.
Growth of Sobolev norms
We now give sufficient conditions on the initial data of a long-time controlled solution z(t) ensuring growth of Sobolev norms.
Definition 6.3
(Well-prepared data) Fix as in (5.2). Fix also , .
We say that an initial datum is well prepared with parameters if
- On the modes on
6.23 - On the modes on
and in (6.6).6.24
Remark 6.4
Condition (6.23) ensures that , hence both in (5.26) and the symbol in (6.6) are non-trivial.
The next result proves that a solution z(t) which is long-time controlled for times with sufficiently large and whose initial datum is well-prepared, undergoes growth of Sobolev norms. Precisely:
Proposition 6.5
Fix as in (5.2). Fix also . There exists such that for any , the following holds true. Let be a solution of system (5.3)–(5.4) such that
-
(i)it is long-time controlled with parameters (see Definition 5.2), with
6.25 -
(ii)
its initial datum is well-prepared with parameters (see Definition 6.3).
Then the solution z(t) undergoes growth of Sobolev norms, i.e.
| 6.26 |
The first step to prove such result is to define the -functional
| 6.27 |
and exploit Lemma 6.2 to give a lower bound on the time derivative . More precisely, we have
Lemma 6.6
Under the same assumptions of Propositon 6.5, there are a constant and such that if the - functional in (6.27), with in (6.24) fulfills: then
| 6.28 |
Proof
First note that if z(t) is a long-time controlled solution with parameters and has initial datum well prepared with parameters then the translated solution defined in (6.1) is long-time controlled and has initial data well-prepared with the same parameters.
From now on we shall simply denote . Since fulfills (6.3), we compute that
| 6.29 |
| 6.30 |
| 6.31 |
| 6.32 |
We shall use that, for well-prepared data, the number in (6.10) fulfills (see (6.23))
| 6.33 |
whereas, for long-time controlled solutions (see (5.14)), one has
| 6.34 |
We first estimate the term (6.29) from below using Lemma 6.2. More precisely, we get
| 6.35 |
Next we estimate (6.30) from above. We first use estimate (A.2) (with , , ),
| 6.36 |
Next we estimate (6.31) from above. We use again estimate (A.2) (this time with , , , thinking as a symbol in supported on high frequencies) to bound
| 6.37 |
Finally we estimate (6.32) from above. We use estimate (2.28) to bound
| 6.38 |
Then (6.28) follows from (6.35), (6.36), (6.37) and (6.38), choosing as in (6.24), and using that , being long-time controlled, fulfills and provided is sufficiently small.
We are finally able to prove Proposition 6.5.
Proof of Proposition 6.5
Let be a solution of system (5.3)–(5.4) whose initial datum is well-prepared with parameters and which is long-time controlled with parameters , in (6.25). By Lemma 6.6, provided is sufficiently small, the functional in (6.27) fulfills the inequality (6.28). Integrating in time, we get
| 6.39 |
A sufficient condition for to grow in time is that ; this condition is fulfilled for well-prepared initial data provided is sufficiently small; indeed by (6.24)
Then, using also the penultimate of the above inequalities, , and we get from (6.39), the definition (6.27) and the continuity Theorem 2.4
for some . Hence, when , eventually shrinking , one gets
yielding (6.26).
Conclusion and proof of Theorem 1.1
Fix as in (5.2). We give now an example of a well-prepared initial data.
Lemma 6.7
Let in the non-empty region limited by
| 6.40 |
There exists and, for any , an interval such that the initial datum
| 6.41 |
with and , fulfills:
Proof
We first prove that each of the three claimed properties gives a restriction on the choice of . Then we prove that such conditions are compatible.
: Condition (B1) follows immediately from (6.40). We now check condition (B2). Using the definition of paradifferential operator in (2.22), the form of in (6.6) and of z(0) in (6.41), we get
Then (6.24) is fulfilled provided , which using (6.24) gives
| 6.43 |
This proves that z(0) is well prepared.
: The first condition in (5.14) is satisfied thanks to the first assumption in (6.40) and the second condition in (5.14) is satisfied provided that
| 6.44 |
: The condition (6.42) is satisfied provided that
The first condition follows automatically from (6.40) and taking sufficiently small, while the second one, using and (6.24), is fulfilled for example for
| 6.45 |
Note also that, since , for small enough the second condition (6.44) is less restrictive than the third one (6.45). Note that, provided is small enough and using , conditions (6.43) and (6.45) are compatible. Then, taking
the datum z(0) satisfies all the claimed conditions.
We now show that any solution of system (4.7) with a well prepared initial datum as in Lemma 6.7 undergoes Sobolev norm explosion. More precisely we have
Lemma 6.8
Fix as in (5.2). There exists such that, provided the following holds true. Let as in Lemma 6.7 and so well-prepared with parameters , for some . Consider the solution z(t) of system (5.3)–(5.4) with initial datum z(0). Denote that
| 6.46 |
Then is finite and bounded by , . Moreover one has that
| 6.47 |
Proof
Define with of Lemma 5.3, of Lemma 6.7 and of Proposition 6.5. First note that the solution z(t) is long-time controlled with parameters (see Definition 5.2); indeed condition (A1) holds true in view of the -smallness of Lemma 6.7, whereas condition (A2) holds true with by the minimality of .
We now show that is finite and bounded by . Assume by contradiction that . Then, by the very definition of ,
namely, the solution z(t) is long-time controlled also with parameters . Then, since by Lemma 6.7 the initial data z(0) is well prepared, Proposition 6.5 applies, and therefore
contradicting the minimality of . This proves that .
To control the low norm , we apply the bootstrap lemma 5.3 with the parameter that we have just proved satisfy the required condition (5.16). The last two inequalities of (6.47) follow by (6.42) and (6.46).
We conclude with
Proof of Theorem 1.1
Recall that the variables u(t) and z(t) are related by the admissible transformation in (4.37). By Lemma 2.14, the map is locally invertible provided is sufficiently small, and has the form for some fulfilling the bound in (2.43).
We consider that with z(0) (as in Lemma 6.7) fulfills . We define that
We take U(0) as the initial data for equation (1.1); by (2.55), its Sobolev norm is
Consider now the solution U(t) of (1.1) with initial data U(0). By Theorem 4.4, is the solution of equation (4.7) with initial datum Z(0) of Lemma 6.7; consequently, in view of Lemma 5.1 and Lemma 6.8, z(t) has a small -norm for all times , but large -norm at time . We deduce that fulfills the bound
At time , we bound from below the -norm of using the identity , the fact that and estimate (2.43), to get
Given arbitrary and , we shrink to conclude the proof of Theorem 1.1.
Acknowledgements
We thank R. Grande for useful discussions, and the anonymous referee for the careful and in depth reading of the manuscript. A. Maspero is supported by the European Union ERC CONSOLIDATOR GRANT 2023 GUnDHam, Project Number: 101124921 and by PRIN 2022 (2022HSSYPN) “TESEO - Turbulent Effects vs Stability in Equations from Oceanography”, and GNAMPA. F. Murgante is supported by the ERC STARTING GRANT 2021 HamDyWWa, Project Number: 101039762. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.
High Frequency Paradifferential Calculus
In this section we consider paradifferential operators with symbols supported only on high frequencies and prove a commutator estimate and a Garding inequality keeping track of the size of the support of the symbols.
Lemma A.1
Let , and . If , then
is a symbol in for any with quantitative bound
| A.1 |
In addition, if and , , one has the commutator estimate
| A.2 |
Proof
For any , , , we have
where in the last step we used that the function is uniformly bounded on and has support on .
We prove now (A.2). By Proposition 2.8 with we have
We now bound both terms in the above equation regarding as a symbol in and as a symbol in . By (2.28) and (2.40), we get
| A.3 |
Next we estimate the norm of using (2.41):
| A.4 |
In conclusion (A.2) follows from (A.3), (A.4).
In the following we shall use a well-known cancellation which is a direct consequence of Proposition 2.8: if , , with , then
| A.5 |
where is a bounded operator , , satisfying, for any ,
| A.6 |
In the next lemma we prove a simplified version of the strong Garding inequality adapted to our setting.
Lemma A.2
(Strong Garding’s inequality) Let , and . Let , , a real valued Fourier multiplier with . Then there is such that
| A.7 |
Proof
Arguing as in Lemma A.1 one shows that, for any ,
| A.8 |
We apply now the composition formula (A.5) regarding as a symbol in :
| A.9 |
with fulfilling, by (A.6),
| A.10 |
Then observe that and , where is the cut-offed symbol defined in (2.21), so
| A.11 |
where Now we prove that is bounded . First note that, by the definitions (2.21) and (2.23), for any ,
where to pass from the first to the second line we used that, on the support of , one has
and to pass from the third to the last line we used Young’s inequality for convolution of sequences.
Thus we get, for any ,
| A.12 |
In conclusion, combining (A.9) and (A.11) and since and is self-adjoint, we have that
Flows and Conjugations
In this section we collect some results about the conjugation of paradifferential operators and smoothing remainders under flows, following [9, 11, 13, 63].
Conjugation by a flow generated by a real symbol of order one. Given a function gauge invariant, i.e. for any , consider the flow , defined by (4.24). It is standard (see e.g. Lemma 3.22 in [9]) that, for any with sufficiently large and sufficiently small, the operator for any with the quantitative estimate: there is a constant such that for any , Following [9], we define the path of diffeomorphism of via
| B.1 |
and set that .
Proposition B.1
(Conjugations for a transport flow) Let , , and let be the flow generated by (4.24).
- Space conjugation of a para-differential operator: Let be a real symbol and . Then
where and are non-homogeneous real symbols in respectively , whereas is a real-to-real matrix of smoothing operators in . In addition if for some then in (B.2) and for a suitable function .B.2 -
Space conjugation of a Fourier multiplier Let be a real Fourier multiplier. Then
whereB.3 is a real, zero-average, gauge invariant symbol in ;
is a real non-homogeneous symbol in and is a non-homogeneous symbol in ;
is a real-to-real, gauge invariant matrix of smoothing operators in , and is a real-to-real matrix of non-homogeneous smoothing operators in .
- Space conjugation of a smoothing remainder: If is a real-to-real matrix of smoothing operators in then
where is a real-to-real matrix of smoothing operators in .
Proof
During the proof, we shall denote that .
1. Follows by Lemmas A4 and A5 in [11].
2. We first define the operator Note that is gauge invariant being composition of gauge invariant operators. By Theorem 3.27 in [9] (actually adapting that result when the function is 2-homogeneous rather than 1-homogeneous), we have, for any ,
| B.5 |
where is a real symbol in , is a symbol in and .
To identify the quadratic component of we use the Taylor expansion and exploit that fulfills the Heisenberg equation . Using that and the paradifferential structure of in (B.5), we obtain
with a -operator in . Now we use the composition Theorem 2.8 (with ) and formula (2.38) to expand the commutator as
| B.6 |
with the real, zero-average symbol
| B.7 |
and . Identifying the quadratic components of in (B.5) and (B.6) we get that
and therefore we get the thesis. Since is gauge invariant (fulfills the first of (2.26)), so is in (B.7). Finally, since is gauge invariant, also in (B.6) is gauge invariant by difference.
3. It follows as in [9, Remark at pag. 89] (see also [63, Proposition A.2] for details).
4. Differentiating
with respect to time, we get that fulfills the variational equation
| B.8 |
whose solution is given by the Duhamel formula
| B.9 |
Evaluating at , applying to the right and using that in our case yields
| B.10 |
We claim that
| B.11 |
Differentiating with respect to t and using that, by equation (4.1), with we get
Then (B.11) follows using Lemma 2.10–1 for each internal composition, getting that is a function in .
Conjugation by flows generated by linear smoothing operators. In this section we study the conjugation rules for a flow generated by
| B.12 |
with Q(U) a matrix of smoothing operators in . We denote the inverse of as .
The following result is a small variation of [63, Proposition A.5] and we omit the proof.
Proposition B.2
(Conjugation by flows generated by smoothing operators) Let , . Let Q(U) be a matrix of smoothing operators in and be the flow generated by Q(U) as in (B.12). Then the following holds:
- i) Space conjugation: If , then
These matrices of operators are real-to-real, provided that Q(U) is. - ii) Conjugation of smoothing operators: If R(U) is a real-to-real matrix of smoothing operators in , then
and it is real-to-real. - iii) Conjugation of : If U is a solution of (4.1), then
and it is real-to-real.
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
Footnotes
References
- 1.Bambusi, D., Grébert, B., Maspero, A., Robert, D.: Reducibility of the quantum harmonic oscillator in d-dimensions with polynomial time-dependent perturbation. Anal. PDE11(3), 775–799, 2018 [Google Scholar]
- 2.Bambusi, D., Grébert, B., Maspero, A., Robert, D.: Growth of Sobolev norms for abstract linear Schrödinger equations. J. Eur. Math. Soc.23(2), 557–583, 2021 [Google Scholar]
- 3.Bambusi, D., Grébert, B., Maspero, A., Robert, D., Villegas-Blas, C.: Longtime dynamics for the Landau Hamiltonian with a time dependent magnetic field. EMS Surveys Math. Sc.12(1), 155–184, 2025 [Google Scholar]
- 4.Bambusi, D., Langella, B.: Growth of Sobolev norms in quasi integrable quantum systems. Ann. Sci. Ec. Norm. Sup.58(4), 997–1035, 2025 [Google Scholar]
- 5.Bambusi, D., Langella, B., Montalto, R.: Growth of Sobolev norms for unbounded perturbations of the Schrödinger equation on flat tori. J. Diff. Eq.318, 344–358, 2022 [Google Scholar]
- 6.Baldi, P., Berti, M., Haus, E., Montalto, R.: Time quasi-periodic gravity water waves in finite depth. Invent. Math.214(2), 739–911, 2018 [Google Scholar]
- 7.Biasi, A., Evnin, O.: Turbulent cascades in a truncation of the cubic Szegő equation and related systems. Anal. PDE15(1), 217–243, 2022 [Google Scholar]
- 8.Berti, M., Cuccagna, S., Gancedo, F., Scrobogna, S.: Paralinearization and extended lifespan for solutions of the -SQG sharp front equation. Adv. Math.460, 110034, 2025 [Google Scholar]
- 9.Berti, M., Delort, J.-M.: Almost Global Solutions of Capillary-gravity Water Waves Equations on the Circle. UMI Lecture Notes 2018, ISBN 978-3-319-99486-4
- 10.Berti, M., Feola, R., Franzoi, L.: Quadratic life span of periodic gravity-capillary water waves. Water Waves3(1), 85–115, 2021 [Google Scholar]
- 11.Berti, M., Feola, R., Pusateri, F.: Birkhoff normal form and long time existence for periodic gravity water waves. Commun. Pure Appl. Math.76(7), 1416–1494, 2023 [Google Scholar]
- 12.Berti, M., Franzoi, L., Maspero, A.: Pure gravity traveling quasi-periodic water waves with constant vorticity. Commun. Pure Appl. Math.77(2), 990–1064, 2024 [Google Scholar]
- 13.Berti, M., Maspero, A., Murgante, F.: Local well posedness of the Euler-Korteweg equations on . J. Dyn. Diff. Equat.33, 1475–1513, 2021 [Google Scholar]
- 14.Berti, M., Maspero, A., Murgante, F.: Hamiltonian Birkhoff normal form for gravity-capillary water waves with constant vorticity: almost global existence. Ann. PDE10(22), 22, 2024 [Google Scholar]
- 15.Bourgain, J.: On the growth in time of higher Sobolev norms of smooth solutions of Hamiltonian PDE. Int. Math. Res. Not.6, 277–304, 1996 [Google Scholar]
- 16.Bourgain, J.: Growth of Sobolev norms in linear Schrödinger equations with quasi-periodic potential. Comm. Math. Phys.204(1), 207–247, 1999 [Google Scholar]
- 17.Bourgain, J.: On growth of Sobolev norms in linear Schrödinger equations with smooth time dependent potential. J. Anal. Math.77, 315–348, 1999 [Google Scholar]
- 18.Bourgain, J.: Problems in Hamiltonian PDE’s. Geom. Funct. Anal.I, 32–56, 2000 [Google Scholar]
- 19.Colliander, J., Keel, M., Staffilani, G., Takaoka, H., Tao, T.: Transfer of energy to high frequencies in the cubic defocusing nonlinear Schrödinger equation. Invent. Math.181(1), 39–113, 2010 [Google Scholar]
- 20.Constantin, A., Escher, J.: Wave breaking for nonlinear nonlocal shallow water equations. Acta Math.181, 229–43, 1998 [Google Scholar]
- 21.Christ M. Illposedness of a Schrödinger equation with derivative nonlinearity. Preprint, https://math.berkeley.edu/~mchrist/Papers/dnls.ps
- 22.Delort, J.M.: Growth of Sobolev norms of solutions of linear Schrödinger equations on some compact manifolds. Int. Math. Res. Not.12, 2305–2328, 2010 [Google Scholar]
- 23.Delort, J.M.: Growth of Sobolev norms for solutions of time dependent Schrödinger operators with harmonic oscillator potential. Comm. Par. Diff. Eq.39(1), 1–33, 2014 [Google Scholar]
- 24.Deng, Y., Hani, Z.: Full derivation of the wave kinetic equation. Invent. math.233, 543–724, 2023 [Google Scholar]
- 25.Elgindi, T., Shikh, K.K.: Strong Ill-Posedness in for the Riesz Transform Problem. Anal. PDE18(3), 715–741, 2025 [Google Scholar]
- 26.Faou, E., Raphael, P.: On weakly turbulent solutions to the perturbed linear harmonic oscillator. Am. J. Math.145(5), 1465–1507, 2023 [Google Scholar]
- 27.Feola R., Giuliani F.: Quasi-periodic traveling waves on an infinitely deep fluid under gravity. Mem. Amer. Math. Soc.295, 2024
- 28.Feola, R., Grebert, B., Iandoli, F.: Long time solutions for quasi-linear Hamiltonian perturbations of Schrödinger and Klein-Gordon equations on tori. Anal. PDE16(5), 1133–1203, 2023 [Google Scholar]
- 29.Feola R., Iandoli F.: Long time existence for fully nonlinear NLS with small Cauchy data on the circle. Ann. SNS22(1), 2021
- 30.Gallone, M., Marian, M., Ponno, A., Ruffo, S.: Burgers turbulence in the Fermi-Pasta-Ulam-Tsingou chain. Phys. Rev. Lett.129, 114101, 2022 [DOI] [PubMed] [Google Scholar]
- 31.Gérard, P., Grellier, S.: The cubic Szegő equation. Ann. Sci. Éc. Norm. Supér.43(4), 761–810, 2010 [Google Scholar]
- 32.Gérard P., Grellier S. The cubic Szegő equation and Hankel operators. Astérisque389, vi+112, 2017
- 33.Gérard, P., Grellier, S.: Effective integrable dynamics for a certain nonlinear wave equation. Anal. PDE5, 1139–1155, 2012 [Google Scholar]
- 34.Gérard, P., Lenzmann, E.: The Calogero-Moser derivative nonlinear Schrödinger equation. Commun. Pure Appl. Math., 2024. 10.1002/cpa.22203 [Google Scholar]
- 35.Gerard, P., Lenzmann, E., Pocovnicu, O., Raphael, P.: A two-soliton with transient turbulent regime for the cubic half-wave equation on the real line. Ann. PDE4(1), 7, 2018 [Google Scholar]
- 36.Giuliani, F., Guardia, M.: Sobolev norms explosion for the cubic NLS on irrational tori. Nonlinear Anal.220, 112865, 2022 [Google Scholar]
- 37.Giuliani, F., Guardia, M.: Arnold diffusion in Hamiltonian systems on infinite lattices. Commun. Pure Appl. Math.77(8), 3333–3426, 2024 [Google Scholar]
- 38.Giuliani, F.: Sobolev instability in the cubic NLS equation with convolution potentials on irrational tori. J. Diff. Eq.416(1), 1–27, 2025 [Google Scholar]
- 39.Guardia, M., Haus, E., Hani, Z., Maspero, A., Procesi, M.: Strong nonlinear instability and growth of Sobolev norms near quasiperiodic finite-gap tori for the 2D cubic NLS equation. J. Eur. Math. Soc.25(4), 1497–1551, 2022 [Google Scholar]
- 40.Guardia, M., Haus, E., Procesi, M.: Growth of Sobolev norms for the analytic NLS on . Adv. Math.301, 615–692, 2016 [Google Scholar]
- 41.Guardia, M., Kaloshin, V.: Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation. J. Eur. Math. Soc.17(1), 71–149, 2015 [Google Scholar]
- 42.Hani, Z.: Long-time instability and unbounded Sobolev orbits for some periodic nonlinear Schrödinger equations. Arch. Rational Mech. Anal.211(3), 929–964, 2014 [Google Scholar]
- 43.Hasselmann, K.: On the nonlinear energy transfer in a gravity wave spectrum. Part 1. J. Fluid Mech.12, 481–500, 1962 [Google Scholar]
- 44.Hasselmann, K.: On the nonlinear energy transfer in a gravity wave spectrum. Part 2. J. Fluid Mech.15, 273–281, 1963 [Google Scholar]
- 45.Haus, E., Procesi, M.: Growth of Sobolev norms for the quintic NLS on . Anal. PDE8(4), 883–922, 2015 [Google Scholar]
- 46.Hani, Z., Pausader, B., Tzvetkov, N., Visciglia, N.: Modified scattering for the cubic Schrödinger equation on product spaces and applications. Forum Math. Pi3, e463, 2015 [Google Scholar]
- 47.Haus, E., Maspero, A.: Growth of Sobolev norms in time dependent semiclassical anharmonic oscillators. J. Funct. Anal.278(2), 108316, 2020 [Google Scholar]
- 48.Hur, V.: Wave breaking in the Whitham equation. Adv. Math.317, 410–437, 2017 [Google Scholar]
- 49.Hur, V., Tao, L.: Wave breaking for the Whitham equation with fractional dispersion. Nonlinearity27(12), 2937–2949, 2014 [Google Scholar]
- 50.Klein, C., Saut, J.-C.: A numerical approach to blow-up issues for dispersive perturbations of Burgers’ equation. Phys. D295(296), 46–65, 2015 [Google Scholar]
- 51.Klein, C., Saut, J.-C., Wang, Y.: On the modified fractional Korteweg-de Vries and related equations. Nonlinearity35(3), 1170, 2022 [Google Scholar]
- 52.Kuksin, S.: Growth and oscillations of solutions of nonlinear Schrödinger equation. Commun. Math. Phys.178, 265–280, 1996 [Google Scholar]
- 53.Kuksin, S.: On turbulence in nonlinear Schrödinger equations. Geom. Funct. Anal.7, 783–822, 1997 [Google Scholar]
- 54.Liang, Z., Zhao, Z., Zhou, Q.: 1-d quantum harmonic oscillator with time quasi-periodic quadratic perturbation: reducibility and growth of Sobolev norms. J. Math. Pures Appl.146(1), 158–182, 2021 [Google Scholar]
- 55.Liang, Z., Luo, J., Zhao, Z.: Symplectic Normal Form and Growth of Sobolev Norm. J. Diff. Eq.449, 113702, 2025 [Google Scholar]
- 56.Longuet-Higgins, M., Gill, A.: Resonant interactions between planetary waves. Proc. R. Soc. Lond. A299, 120–144, 1967 [Google Scholar]
- 57.Luo, J., Liang, Z., Zhao, Z.: Growth of Sobolev Norms in 1-d Quantum Harmonic Oscillator with Polynomial Time Quasi-periodic Perturbation. Commun. Math. Phys.392, 1–23, 2022 [Google Scholar]
- 58.Maspero, A.: Lower bounds on the growth of Sobolev norms in some linear time dependent Schrödinger equations. Math. Res. Lett.26(4), 1197–1215, 2019 [Google Scholar]
- 59.Maspero, A.: Growth of Sobolev norms in linear Schrödinger equations as a dispersive phenomenon. Adv. Math.411(A), 108800, 2022 [Google Scholar]
- 60.Maspero, A.: Generic transporters for the linear time dependent quantum Harmonic oscillator on . Int. Math. Res. Not.8, rnac174, 2022 [Google Scholar]
- 61.Maspero, A., Robert, D.: On time dependent Schrödinger equations: Global well-posedness and growth of Sobolev norms. J. Fun. Anal.273(2), 721–781, 2017 [Google Scholar]
- 62.Metivier, G.: Para-differential Calculus and Applications to the Cauchy Problem for Nonlinear Systems. Universitá di Pisa (2007) [Google Scholar]
- 63.Montalto, R., Murgante, F., Scrobogna, S.: Quadratic lifespan for the sublinear -SQG sharp front problem. J. Dyn. Diff. Equat., 2024. 10.1007/s10884-024-10400-8 [Google Scholar]
- 64.Mourre E. Absence of singular continuous spectrum for certain selfadjoint operators. Commun. Math. Phys.78(3), 391–408, 1980/81
- 65.Oh, S.J., Pasqualotto, F.: Gradient blow-up for dispersive and dissipative perturbations of the Burgers equation. Arch. Rational Mech. Anal.248, 54, 2024 [Google Scholar]
- 66.Planchon, F., Tzvetkov, N., Visciglia, N.: On the growth of Sobolev norms for NLS on 2- and 3-dimensional manifolds. Anal. PDE10, 1123–1147, 2017 [Google Scholar]
- 67.Saut, J.-C., Wang, Y.: Global dynamics of small solutions to the modified fractional Korteweg–de Vries and fractional cubic nonlinear Schrödinger equations. Commun. Part. Differ. Eq.46(10), 1851–1891, 2021 [Google Scholar]
- 68.Sigal I., Soffer A.: Local decay and velocity bounds for quantum propagation. Preprint, 1988. http://www.math.toronto.edu/sigal/publications/SigSofVelBnd.pdf
- 69.Sohinger, V.: Bounds on the growth of high Sobolev norms of solutions to nonlinear Schrödinger equations on . Differ. Integral Equ.24(7–8), 653–718, 2011 [Google Scholar]
- 70.Staffilani, G.: On the growth of high Sobolev norms of solutions for KdV and Schrödinger equations. Duke Math. J.86, 109–142, 1997 [Google Scholar]
- 71.Sukhatme, J., Smith, L.: Local and nonlocal dispersive turbulence. Phys. Fluids21(5), 056603, 2009 [Google Scholar]
- 72.Yang, R.: Shock formation for the Burgers-Hilbert equation. SIAM J. Math. Anal.53(5), 64, 2021 [Google Scholar]
- 73.Zakharov, V.E., Dyachenko, A.I.: Is free-surface hydrodynamics an integrable system? Phys. Lett. A190, 144–148, 1994 [Google Scholar]
