Skip to main content
Springer logoLink to Springer
. 2025 Dec 12;250(1):3. doi: 10.1007/s00205-025-02159-z

One Dimensional Energy Cascades in a Fractional Quasilinear NLS

Alberto Maspero 1,, Federico Murgante 2
PMCID: PMC12701002  PMID: 41395235

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, 3842, 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

tu=-i|D|αu+|u|2ux,xT:=R/2πZ,α(0,1), 1.1

with |D|α the Fourier multiplier defined by |D|αeikx=|k|αeikx, kZ. Note that, by energy methods and in view of the hyperbolic structure of the nonlinearity, equation (1.1) is locally wellposed1 in Hs(T,C) for any s>32; see Remark 4.3. Here Hs:=Hs(T,C), sR, is the Sobolev space with norm

u(t)s2:=kZk2s|uk(t)|2,k:=max(1,|k|),

and uk(t):=12πTu(x)e-ikxdx is the k-th Fourier coefficient.

Equation (1.1) is also gauge invariant, so the L2-norm is constant in time. Therefore, a growth in time of the Hs norm, s1, 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 s0>32 such that given any s>3s0, 0<δ1 and K1, there exists a solution u(t)Hs(T,C) of (1.1) and a time T>0 such that

u(0)sδandu(T)sK.

Moreover

sup0tTu(t)s02δ.

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 L2-norm and stays small in the “low” Hs0-norm. Local Cauchy theory, given by energy methods, implies that u(t)s2δ for all times |t|Cδ-2; see Remark 4.3. We show that Sobolev norm explosion happens on the just longer timescale Tδ-2log(δ-1). 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, 4851, 65, 72], resulting in the H1 norm exploding while the L 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 aei(kx-ωt) with ω=|k|α-a2k, 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 Td, d2, and some related models [19, 36, 3842, 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

tw=-i|D|αw+OpBWiV_(u(t);x)ξw+quasilinearremainders, 1.2

where OpBW· 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

V_(u(t);x):=2Re(nNun(t)u-n(t)¯ei2nx). 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 OpBWiV_(u(t);x)ξw has phases of oscillations given by

|n|α-|-n|α+|j+2n|α-|j|α0,nN,jZ;

in principle it might be eliminated by a (formal) Birkhoff normal form procedure, but the required transformation is unbounded and not well defined in Hs, 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 δ-2 for initial data of size δ1, 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 δ-2, and restrict to particular solutions whose initial data is mostly concentrated on the two Fourier modes Λ:={-1,1}. Via an ad-hoc normal form, we decouple the dynamics of the modes in Λ and in Λc, and prove that such special solutions are long-time controlled: with this we mean that, on the enhanced timescale δ-2logδ-1, the modes in Λ evolve essentially as rotations, whereas the modes on Λc remain of very small size in a low Hs0 norm. In addition, we prove that long-time controlled solutions fulfill an effective system of the form

tζ=-i|D|αζ+iOpBW(J1+v(x))ξζ+quasilinearremainders 1.4

Here J1 is a real number and v(x) 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 A, see (6.6), such that the commutator

i[A,OpBW(J1+v(x))ξ]

is strictly positive on large frequencies up to a small remainder. This is possible provided that the function J1+v(x) does not have sign, a condition that we force by tuning the initial datum. This condition carries significant meaning: it ensures that the operator OpBW(J1+v(x))ξ 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 ζ(t) 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, 5760], 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 Td, d2, 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 R×T2, 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 T and Gérard-Lenzmann-Popovnicu-Raphael [35] on R (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 L.

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

tw=-i|D|αw+OpBWiV_(u(t);x)ξ+ia2(α)(u(t);x,ξ)w+R2(u(t))w+h.o.t, 1.5

with V_(u(t);x) in (1.3), a2(α) a symbol of order α and quadratic in u(t), and R2(u(t)) 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), V_(u;x) 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 V_(u(t);x) the function u(t) with its linear evolution e-i|D|αtu(0), 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 un(t), u-n(t). This we fix the modes in Λ:={-1,1} and study the nonlinear dynamics of u1(t), u-1(t).

Step 2: the Λ-normal form. We decompose the solution as follows.

u(t)=u(t)+u(t)whereu(t):=u1(t)eix+u-1(t)e-ix,u(t):=k±1uk(t)eikx.

This decomposition separates the tangential modes u(t) from the normal modes u(t). 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 u(t) is governed by the smoothing operator R2(u)w.

We decouple the dynamics of the tangential and normal modes in R2(u)w by removing from this term two types of monomials uj11uj22uj33eikx:

  • (i)
    Monomials with (j1,j2,j3)Λ and kΛc: This ensures that the set Λ remains invariant under the cubic part dynamics of (1.5); It also requires first-order Melnikov conditions
    |j1|α-|j2|α+|j3|α-|k|α0,j1-j2+j3-k=0,
    that we verify whenever one and only one among (j1,j2,j3,k) lies in Λc.
  • (ii)
    Monomials with exactly two indexes among (j1,j2,j3) in Λ and the remaining one and k in Λc: This is needed so that the leading term in equation (1.5) is given by the skewadjoint paradifferential term OpBWiV_(u1u-1¯;x)ξw (whose monomials have exactly 2 indexes inside Λ and 2 outside); It also requires second-order Melnikov conditions
    |j1|α-|j2|α+|j3|α-|k|α0,j1-j2+j3-k=0
    when two indexes among (j1,j2,j3,k) are in Λ and the other two in Λc, provided that j1j2 or j1k.

As a result, only integrable monomials of the form |uj1|2uj3eij3x, with either j1,j3Λ or j1Λ,j3Λc or viceversa are left in the smoothing operator R2(u)w. 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 z(t) and z(t) solve system (5.3)–(5.4), which has roughly the form

tz=-i|D|αz+Y3(Λ)(z(t))+O(zs03,zs05)tz=i|D|αz+OpBWiV_(z(t);x)ξ+ia2(α)(z(t);x,ξ)z+O(zs0zs0zs), 1.6

where Y3(Λ)(z) is the explicit integrable vector field (5.5), and the symbol of the transport operator in the equation for z is evaluated only on the tangential modes z(t).

To further understand the dynamics of system (1.6) and to extract from it the effective equation (1.4), we introduce a small parameter ϵδ1 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 L2, with most mass on the modes z1(0),z-1(0):
    z(0,·)L2ϵ,z(0,·)L2ϵ3;
  • (ii)
    Their high Hs-norms have large a-priori bounds:
    z(t)sϵ-θwith0<θ1.

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 |t|ϵ-2log(ϵ-1), has

The modes z1(t) and z-1(t) evolving very close to the rotations:

z±1(t)=e-it(1±|z±1(0)|2)z±1(0)+O(ϵ3-θ);

The “low” Hs0-norm of z(t) staying very small, i.e. z(t)s0ϵ2. One key idea to obtain this is to estimate z(t) in L2, exploiting the cancellation coming from the skewadjointness of the paradifferential operator, then deducing a bound for z(t)s0 by interpolation with the large a-priori bound for z(t)s.

Finally, we approximate the evolution of z(t) with the rotations e-it(1±|z±1(0)|2)z±1(0) in the symbol V_(z(t);x) 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 A, of order 2s and supported on high-frequencies, see (6.6), fulfilling the positive commutator estimate (Lemma 6.2)

i[A,OpBW(J1+v(x))ξ]I1OpBW|ξ|2sηR2(ξ)+h.o.t.. 1.7

Here I1 is a strictly positive real number depending on the initial data, see (6.10), and ηR a cut-off function on high frequencies. To obtain such positive commutator estimate, the main ingredient is to find a symbol a(x,ξ) which is an escape-function for the dynamics of (J1+v(x))ξ, namely such that the Poisson bracket {a(x,ξ),(J1+v(x))ξ} is strictly positive. This is possible provided that function J1+v(x) does not have a sign, and since

J1+v(x)=|z1(0)|2+|z-1(0)|22+2Re(z1(0)z-1(0)¯ei2x),

it is enough to select the values of the initial modes z±1(0) so that |z1(0)|2+|z-1(0)|22<2|z1(0)||z-1(0)|. The same condition yields the strict positivity of the number I1 in (1.7). An important point is that the operator A is chosen to be supported on very large |ξ|Rϵ-3+θ1-α. This is required so that the dispersive term -i|D|α and all the other lower order operators becomes perturbative with respect to the leading transport. To conclude, we define the functional A(t):=Az,z and show that (1.7) leads to a lower bound for the dynamics of ddtA(t), forcing A(t) to grow exponentially fast provided A(0) is not too small, a condition that can be imposed by preparing well the initial data. Cover that A(t)z(t)s2, 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 UF(U) whose main property is to be of regularity C1 with respect to the internal variable. Consequently, the nonlinear map UF(U)U 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 ss0ϱ. We use the following conventions for the set of natural numbers

N:={1,2,},N0:=N{0}.

For sR we shall denote with Hs(T;C2) the space of couples of complex valued Sobolev functions in Hs(T,C) and with

HRs(T;C2):={U=(u+u-)Hs(T;C2):u-=u+¯}.

Given that r>0, we set Bs(r) the ball of radius r in HsT,C2 and Bs,R(r) the ball of radius r in HRsT,C2. Given an interval IR symmetric with respect to t=0 and a Banach space X, we use the standard notation C(IX) to denote the space of continuous functions with values in X. Given r>0 we set Bs(I;r) the ball of radius r in C(I,HsT,C2) and by Bs,R(I;r) the ball of radius r in C(I,HRsT,C2). We denote that L2(T,C):=H0(T,C) and we define

u,vL2:=12πTu(x)v(x)¯dx. 2.1

Given NN0, we denote by WN,(T) the space of continuous functions u:TC, 2π-periodic, whose derivatives up to order N are in L, equipped with the norm

uWN,:==0NxuL.

For N=0 the norm ·WN,=·L.

We denote by τς, ςR, and by gθ, θT, the translation operator respectively the phase rotation given by

[τςu](x):=u(x+ς),[gθ(uu¯)](x):=eiθu(x)e-iθu¯(x). 2.2

Symmetries of operators and vector fields. Given a linear operator A(U) acting on L2(T;C) we associate the linear operator defined by the relation

A¯(U)[v]:=A(U)[v¯]¯,v:TC.

An operator A is real if A=A¯. We say that a matrix of operators acting on L2(T;C2) is real-to-real, if it has the form

R(U)=R1(U)R2(U)R2¯(U)R1¯(U),ULR2(T,C2). 2.3

A real-to-real matrix of operators R(U) acts in the subspace LR2(T,C2). If R(U) and R(U) are real-to-real operators then also R(U)R(U) is real-to-real.

A matrix R(U) as in (2.3) is translation resp. gauge invariant if

τςR(U)=R(τςU)τς,ςRresp.gθR(U)=R(gθU)gθ,θT. 2.4

Similarly, we will say that a vector field

X(U):=(X(U)+X(U)-)is real-to-real ifX(U)+¯=X(U)-,ULR2(T,C2), 2.5

and that it is translation resp. gauge invariant if

τςX=Xτς,ςR,gθX=Xgθ,θT. 2.6

If R(U) in (2.3) is translation resp. gauge invariant, then the vector field X(U):=R(U)U is translation resp. gauge invariant as well.

Fourier expansion. Given a 2π-periodic function u(x) in L2(T,C), we expand it in Fourier series as

u(x)=jZujeijx,uj:=12πTu(x)e-ijxdx. 2.7

We shall expand a function UL2(T;C2) as

U=(u+u-)=σ±jZqσujσeiσjx,ujσ:=12πTuσ(x)e-iσjxdx,

where q+:=(10),q-:=(01).

For ȷ=(j1,,jp)Zp, p1, and σ=(σ1,,σp){±}p we denote |ȷ|:=max(|j1|.,|jp|) and

uȷσ:=uj11ujpp,σ·ȷ:=σ1j1++σpjp,σ·1:=σ1++σp.

We also denote by Pp the set of indexes

Pp:=(ȷ,σ)Zp×{±}p:ȷ·σ=0,σ·1=0. 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

M(U)=M++(U)M+-(U)M-+(U)M--(U), 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

M(U)V=((M(U)V)+(M(U)V)-),(M(U)V)σ=σk=σp·ȷp+σjσ=σp·1+σMȷp,j,kσp,σ,σuȷppvjeiσkx,

where the coefficients Mȷp,j,kσp,σ,σC fulfill the the following symmetric property: for any permutation π of {1,,p}, we have that

Mjπ(1),,jπ(p),j,kσπ(1),,σπ(p),σ,σ=Mj1,,jp,j,kσ1,,σp,σ,σ. 2.10

The operator M(U) is real-to-real, according to definition (2.3), if and only if its coefficients fulfill

Mȷp,j,kσp,σ,σ¯=Mȷp,j,k-σp,-σ,-σ. 2.11

A (p+1)-homogeneous vector field, which is gauge and translation invariant (see (2.6)), can be expressed in Fourier as: for any σ=±,

X(U)σ=kZX(U)kσeiσkx,X(U)kσ=kσ=σp+1·ȷp+1σ=σp+1·1Xȷp+1,kσp+1,σup+1p+1, 2.12

the last sum being in (ȷp+1,σp+1), and with coefficients Xȷp+1,kσp+1,σC satisfying the symmetry condition: for any permutation π of {1,,p+1},

Xjπ(1),,jπ(p+1),kσπ(1),,σπ(p+1),σ=Xj1,,jp+1,kσ1,,σp+1,σ.

The constraint of the indexes in (2.12) can also be written as (ȷp+1,k,σp+1,-σ)Pp+2 (recall (2.8)), and we shall often use this notation.

If X(U) is real-to-real (see (2.5)), then

X(U)k+¯=X(U)k-i.e.Xȷp+1,kσp+1,+¯=Xȷp+1,k-σp+1,-.

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 U=U(t). In view of this, we do not need to keep track on the regularity indexes in time and we fix K=K=0 with respect to Definition 3.3 of [9].

Definition 2.1

(Symbols) Let mR, NN0, pN, s0,r>0.

  1. Hölder symbols. We denote by ΓN,m the space of functions a:T×RC, a(x,ξ), which are C with respect to ξ and such that, for any βN0, there exists a constant Cβ>0 such that
    ξβa(·,ξ)WN,Cβξm-|β|,ξR.
    We endow ΓN,m with the family of norms defined, for any nN0, by
    am,WN,,n:=maxβ{0,,n}supξRξ-m+|β|ξβa(·,ξ)WN,. 2.13
  2. p-Homogeneous symbols. We denote by Γ~pm the space of p-linear symmetric maps from CT;C2p to C(T×R;C) , (x,ξ)ap(U1,,Up;x,ξ) defined by
    ap(U1,,Up;x,ξ):=ȷZpσ{±}paȷσ(ξ)(u1)j11(up)jppei(σ·ȷ)x, 2.14
    where aȷσ(ξ):=aj1,,jpσ1,,σp(ξ) are complex valued Fourier multipliers, satisfying
    aj1,,jpσ1,,σp(ξ)=ajπ(1),,jπ(p)σπ(1),,σπ(p)(ξ)for anyπpermutation of{1,,p},
    and for some μ0,
    |ξβaȷσ(ξ)|Cβȷμξm-β,ȷZp,σ{±}p,βN0. 2.15
    We shall denote by
    ap(U;x,ξ):=ap(U,,U;x,ξ)
    the polynomial symbol associated to the multilinear symmetric symbol.

    We denote by Γ~0m the space of constant coefficients symbols ξa(ξ) which satisfy (2.15) with μ=0.

  3. Non-homogeneous symbols. We denote by Γpm[r] the space of functions (U;x,ξ)a(U;x,ξ), defined for UBs0(r) for some s0 large enough, with complex values, such that for any ss0, there are C>0, r:=r(s)(0,r) and for any UBs0rHsT;C2, any βN0 and Ns-s0, one has the estimate
    ξβaU;·,ξWN,Cξm-βUs0p-1Us. 2.16
    In addition we require also the translation invariance property
    aτςU;x,ξ=aU;x+ς,ξ,ςR, 2.17
    where τς is the translation operator in (2.2).
  4. Symbols. We denote by ΣΓ0m[r] the class of symbols of the form
    a(U;x,ξ)=a0(ξ)+a2(U;x,ξ)+a4(U;x,ξ) 2.18
    where a0(ξ)Γ~0m is a Fourier multiplier, a2(U)Γ~2m and a4(U)Γ4m[r]. We denote by ΣΓ2m[r] the class of symbols of the form (2.18) with a0(ξ)=0. Finally sometimes we shall write ΣΓ4m[r]Γ4m[r].

We say that a symbol a(U;x,ξ) is real if it is real valued for any UBs0,R(I;r).

We also denote by F~p (respectively Fp[r]) the subspace of Γ~p0 (respectively Γp0[r]) made of those symbols which are independent of ξ, and by F~pR (respectively FpR[r]) to denote functions in F~p (respectively FpR[r]) which are real valued.

Remark 2.2

Sometimes we shall write a symbol ap(U;x,ξ) only in polynomial form

ap(U;x,ξ):=ȷZpσ{±}pa~ȷσ(ξ)uȷσei(σ·ȷ)x, 2.19

with some Fourier multiplier coefficients a~ȷσ(ξ) not necessarily symmetric, but fulfilling the estimates (2.15). One obtains the symmetric coefficients aj1,,jpσ1,,σp in the expression (2.14) by symmetrizing, i.e., denoting by Sp the symmetric group of permutations of {1,,p},

aj1,,jpσ1,,σp=1p!πSpa~jπ(1),,jπ(p)σπ(1),,σπ(p).

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 ΓN,m then xaΓN-1,m and ξaΓN,m-1. If b is a symbol in ΓN, then abΓN,m+m. If aΓpm[r] and bΓq[r], then abΓp+qm+m[r] .

p-homogeneous symbols in Γ~pm and non-homogeneous symbols in Γpm[r] are actually functions with values in ΓN,m for some NN, whose seminorms (2.13) are bounded by

|ap|m,WN,,nCnU1p-1UN+μ+1,|a|m,WN,,nCnUs0p-1Us,Ns-s0.

A p-homogeneous symbol ap(U,x,ξ) is a non-homogeneous symbol, since (2.14)–(2.15) imply

ξβapU;·,ξWN,Cξm-βU1p-1UN+μ+1, 2.20

and (2.14) implies the translation invariance property (2.17).

Paradifferential quantization. Given pN0 we consider functions χpC(Rp×R;R) and χC(R×R;R), even with respect to each of their arguments, satisfying, for 0<δ0110,

suppχp{(ξ,ξ)Rp×R;|ξ|δ0ξ},χp(ξ,ξ)1for|ξ|δ0ξ/2,suppχ{(ξ,ξ)R×R;|ξ|δ0ξ},χ(ξ,ξ)1for|ξ|δ0ξ/2.

For p=0 we set χ01. We assume, moreover, that

|ξξβχp(ξ,ξ)|C,βξ--|β|,N0,βN0p,|ξξβχ(ξ,ξ)|C,βξ--β,,βN0.

If a(x,ξ) is a smooth symbol we define its Weyl quantization as the operator acting on a 2π-periodic function u(x) (written as in (2.7)) as

OpW(a)u=kZ(jZa^(k-j,k+j2)uj)eikx,

where a^(k,ξ) is the kth-Fourier coefficient of the 2π-periodic function xa(x,ξ).

Definition 2.3

(Bony-Weyl quantization) If a(U;x,ξ) is a symbol in Γ~pm, respectively in ΓN,m or Γpm[r], we set

aχp(U;x,ξ):=ȷZpσ{±}pχp(ȷ,ξ)aȷσ(ξ)uȷσei(σ·ȷ)x,aχ(U;x,ξ):=jZχ(j,ξ)a^(U;j,ξ)eijx 2.21

where in the last equality a^(U;j,ξ) stands for jth Fourier coefficient of a(U;x,ξ) with respect to the x variable, and we define the Bony-Weyl quantization of a(U;·) as

OpBW(a(U;·))v=OpW(aχp(U;·))v=(ȷ,j,k)Zp+2σ{±}pσ·ȷ+j=kχpȷ,j+k2aȷσj+k2uȷσvjeikx, 2.22
OpBW(a(U;·))v=OpW(aχ(U;·))v=(j,k)Z2χk-j,j+k2a^U;k-j,k+j2vjeikx. 2.23

Note that if χ(k-j,k+j2)0 then |k-j|δ0j+k2 and therefore, for δ0(0,1),

1-δ01+δ0|k||j|1+δ01-δ0|k|,j,kZ.

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 χp, χ, up to smoothing operators that we define below (see Definition 2.6), see the remark at page 50 of [9].

Given a paradifferential operator A=OpBWa(x,ξ), we have that

A¯=OpBWa(x,-ξ)¯,A=OpBWa(x,-ξ),A=OpBWa(x,ξ)¯,

where A and A denote respectively the transposed and adjoint operator with respect to the complex, respectively real, scalar product of L2(T,C) in (2.1). It results A=A¯.

A paradifferential operator A=OpBWa(x,ξ) is real (i.e. A=A¯) if

a(x,ξ)¯=a(x,ξ)wherea(x,ξ):=a(x,-ξ). 2.24

A matrix of paradifferential operators OpBWA(x,ξ) is real-to-real, i.e. (2.3) holds, if and only if the matrix of symbols A(x,ξ) has the form

A(x,ξ)=a(x,ξ)b(x,ξ)b(x,ξ)¯a(x,ξ)¯=a(x,ξ)00a(x,ξ)¯+0b(x,ξ)b(x,ξ)¯0. 2.25

A real-to-real matrix of U-dependent paradifferential operators OpBWA(U;x,ξ) is gauge invariant, i.e. (2.4) holds, if and only if the symbols in (2.25) fulfill, with gθ in (2.2),

a(U;x,ξ)=a(gθU;x,ξ),ei2θb(U;x,ξ)=b(gθU;x,ξ),θT, 2.26

If, in addition, a,bΓ~pm, then OpBWa in (2.22) have indexes restricted to σ·1=0, whereas OpBWb to σ·1=2.

We will use also the notations

OpvecBWa(x,ξ):=OpBWa(x,ξ)00a(x,ξ)¯,OpoutBWb(x,ξ):=OpBW0b(x,ξ)b(x,ξ)¯0 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 mR, pN, r>0. Then

(i) Let aΓm. Then OpBWa extends to a bounded operator HsHs-m for any sR satisfying the estimate, for any uHs,

OpBWaus-mam,L,4us. 2.28

(ii) Let aΓ~pm. There is s0>0 such that for any sR, there is a constant C>0, depending only on s and on (2.15) with =β=0, such that for any U1,,UpHs0(T,C2) and vHs(T,C), one has

OpBWa(U1,,Up;·)vs-mCj=1pUjs0vs, 2.29

for p1, while for p=0 the (2.29) holds by replacing the right hand side with Cvs.

(iii) Let aΓpm[r]. There is s0>0 such that for any sR there is a constant C>0 such that, for any UBs0(r), one has

OpBWa(U;·)L(Hs,Hs-m)CUs0p. 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 K,K=0 with respect to the notation in [9, 13]. Given integers (n1,,np+1)Np+1, we denote by max2(n1,,np+1) the second largest among n1,,np+1.

Definition 2.5

(Classes of m-operators) Let mR, pN0 and r>0.

  1. p-homogeneous m-operators. We denote by M~pm the class of (p+1)-linear operators from (C(T;C2))p×C(T;C) to C(T;C) of the form (U1,,Up,v)Mp(U1,,Up)v, symmetric in (U1,,Up), with Fourier expansion
    Mp(U)v:=Mp(U,,U)v=σp{±}pk-j=σp·ȷpMȷp,j,kpuȷppvjeikx 2.31
    that satisfy the following. There are μ0, C>0 such that for any (ȷp,j,k)Zp+2, σp{±}p, one has
    |Mȷp,j,kp|Cmax2{j1,,jp,j}μmax{j1,,jp,j}m. 2.32
  2. Non-homogeneous m-operators. We denote by Mpm[r] the class of operators (U,v)M(U)v defined on Bs0(r)×Hs0(T,C) for some s0>0, which are linear in the variable v and such that the following holds true. For any ss0 there are C>0 and r=r(s)]0,r[ such that for any UBs0(r)Hs(T,C2), any vHs(T,C), we have that
    M(U)vs-mCvsUs0p+vs0Us0p-1Usifp1,M(U)vs-mCvs+vs0UsUs0ifp=0. 2.33
    In addition, we require the translation invariance property
    M(τςU)[τςv]=τς(M(U)v),ςR, 2.34
    where τς is the translation operator in (2.2).
  3. m-Operators. We denote by ΣM0m[r] the space of operators (U,v)M(U)v of the form
    M(U)=M0+M2(U)+M4(U), 2.35
    where Mp(U) in M~pm, p{0,2}, and M4(U) in M4m[r].

    We denote by ΣM2m[r] the operators of the form (2.35) with M0=0. Finally sometimes we shall write ΣM4m[r]M4m[r].

A p-homogeneous m-operator Mp is a non-homogeneous m-operator. Indeed, (2.32) implies the quantitative estimate: for s0μ+1>0, for any ss0, any UHs(T;C2), any vHs(T;C),

Mp(U)vs-msUs0pVs+Us0p-1UsVs0, 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 k-j=σp·ȷp in (2.31).

(Paradifferential operators as m-operators) If a(U;x,ξ) is a symbol in ΣΓ0m[r] then the paradifferential operator OpBW(a(U;x,ξ)) is an m-operator ΣM0m[r]. This is a consequence of Theorem 2.4–(ii) &(iii).

We will meet vector fields of the form X(U)=M(U)U 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

Xj1,,jp,jp+1,kσ1,,σp,σp+1,σ=1p+1Mj1,,jp,jp+1,kσ1,,σp,σp+1,σ+Mjp+1,,jp,j1,kσp+1,,σp,σ1,σ++Mj1,,jp+1,jp,kσ1,,σp+1,σp,σ, 2.37

namely, they are obtained symmetrizing with respect to the second last index (j,σ) the coefficients Mȷp,j,kσp,σ,σ of M(U).

If m0 the m-operators are referred to as smoothing operators.

Definition 2.6

(Smoothing operators) Let ϱ0, pN0 and q{0,2}. We define the ϱ-smoothing operators

R~p-ϱ:=M~p-ϱ,Rp-ϱ[r]:=Mp-ϱ[r],ΣRq-ϱ[r]:=ΣMq-ϱ[r].

In view of (2.32) a homogeneous m-operator in M~pm with the property that, on its support, max2{j1,,jp,j}max{j1,,jp,j} is actually a smoothing operator in R~p-ϱ for any ϱ0 satisfying (2.32) with μμ+m+ϱ and m-ϱ.

The Definition 2.6 of smoothing operators is modeled to gather remainders which satisfy either the property max2(n1,,np+1)max(n1,,np+1) 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 Dx:=1ix. The following is Definition 3.11 in [9].

Definition 2.7

(Asymptotic expansion of composition symbol) Let ϱ0, m,mR, r>0. Consider symbols aΣΓpm[r] and bΣΓ[r], p,p{0,2}. For U in Bs(I;r) we define, for ϱ<s-s0, the symbol

(a#ϱb)(U;x,ξ):=k=0ϱ12k+β=k(-1)β!β!(ξDxβa)·(ξβDxb)(U;x,ξ). 2.38

The symbol a#ϱb belongs to ΣΓp+pm+m[r].

We have that a#ϱb=ab+12i{a,b} up to a symbol in ΣΓp+pm+m-2[r], where

{a,b}:=ξaxb-xaξbΣΓp+pm+m-1[r] 2.39

denotes the Poisson bracket. Moreover if aΓN,m and bΓN, then {a,b}ΓN-1,m+m-1 with estimate

|{a,b}|m+m-1,WN-1,,n|a|m,WN,,n+1|b|m,WN,,n+1. 2.40

Due to (2.18), the symbol a#ϱb does not contain symbols of odd homogeneity.

a¯#ϱb¯=a#ϱb¯ where a 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 m,mR, p,p{0,2}, ϱ0 and r>0.

(i) Let aΓϱ,m, bΓϱ,. Then

OpBWaOpBWb=OpBWa#ϱb+R(a,b),

where the linear operator R(a,b):HsHs-(m+m)+ϱ, sR, satisfies, for some N=N(ϱ)>0,

R(a,b)us-(m+m)+ϱam,Wϱ,,Nbm,L,N+am,L,Nbm,Wϱ,,Nus. 2.41

One can take that N(2)=7.

(ii) Let aΣΓpm[r], bΣΓ[r]. Then

OpBWa(U;x,ξ)OpBWb(U;x,ξ)=OpBW(a#ϱb)(U;x,ξ)+R(U),

where R(U) are smoothing operators in ΣRp+p-ϱ+m+m[r].

Let a(U)ΣΓpm[r] and b(U)ΣΓ[r], with the notation in (2.27), one has that

OpoutBWb,OpvecBWa=OpoutBWb#ϱa¯-a#ϱb+R(U)OpoutBWa,OpoutBWb=OpvecBWa#ϱb¯-b#ϱa¯+R(U)OpvecBWa,OpvecBWb=OpvecBWa#ϱb-b#ϱa+R(U), 2.42

where R(U) are real-to-real matrices of smoothing operators in ΣRp+p-ϱ+m+m[r].

We conclude this section with the paralinearization of the product (see [9, Lemma 7.2]).

Lemma 2.9

(Bony paraproduct decomposition) Let fgh be functions in Hσ(T;C) with σ>12. Then

fgh=OpBWfgh+OpBWfhg+OpBWghf+R1(f,g)h+R2(f,h)g+R3(g,h)f

where for j=1,2,3, Rj is a homogeneous smoothing operator in R~1-ϱ for any ϱ0.

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 m,m,m0R, ϱ0, r>0, p{0,2}. Let M(U) be a real-to-real matrix of m-operators in ΣM2m[r], F(U) be a real-to-real matrix of 0-operators M00[r] and p(ξ) be a matrix of Fourier multipliers in Γ~00. Then

  1. If c(U) is a 2-homogeneous symbol in Γ~2 and c4(U) is a non-homogeneous symbol in Γ4m[r],
    b2(U;x,ξ):=c(-ip(D)U;x,ξ),andb4(U;x,ξ):=c(M(U)U,U;x,ξ)b4(U;x,ξ):=c4(F(U)U;x,ξ)
    are symbols respectively in Γ~2 and Γ4[r] for some r>0;
  2. If Q(U) is a 2-homogeneous smoothing operator in R~2-ϱ,
    R~2(U):=Q(-ip(D)U,U)R~2-ϱ+max{0,m0}andR4(U):=Q(M(U)U,U)R4-ϱ+max{0,m}[r];
  3. If R(U)ΣR2-ϱ[r] and a(U;x,ξ)ΣΓ2m[r], ϱm, then
    R(U)OpBWa(U;x,ξ)R4-ϱ+m[r],OpBWa(U;x,ξ)R(U)R4-ϱ+m[r].
  4. If M is in ΣMpm[r] and M is in ΣM[r] then the composition MM is in ΣMp+pm+max(m,0)[r].

  5. If M(U) is in M4m[r], then M(F(U)U) is in M4m[r] for some r>0.

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 r>0, m,ϱ0. We say that a real-to-real matrix F(U) of non-homogeneous 0-operators in M00[r] is an m-admissible transformation of gain ϱ if the following holds:

  • (i)
    Linear invertibility: F(U) is linearly invertible and its inverse F(U)-1 is a real-to-real matrix of non-homogeneous 0-operators in M00[r] satisfying the following: there exists s0>0 such that for any ss0+ϱ there is a constant C:=Cs>0 and r=rs>0 such that for any UBs0,R(r)HRs-ϱ(T;C2) and VHRs(T;C2) one has
    F(U)Vs+F-1(U)VsC(Vs+Us-ϱUs0Vs0). 2.43
  • (ii)
    Expansion: F(U)-Id is a matrix of m-operators in ΣM2m[r] expanding as
    F(U)=Id+F2(U)+F4(U),F2(U)M~2m,F4(U)M4m[r]. 2.44
  • (iii)
    Derivative: there is s00 such that for any σs0+ϱ, the map
    Bσ-ϱ,R(r)UF(U)L(HRσ+m(T,C2),HRσ(T,C2))=:Xσ,m
    is differentiable. Moreover its differential dUF(U) satisfies the quantitative bound: there are C=Cσ>0, r=r(σ)>0 such that for any UBσ-ϱ,R(r) and U^HRσ-ϱ(T;C2)
    dUF(U)[U^]Xσ,mCUσ-ϱU^σ-ϱ. 2.45
    Moreover, for any ss0+m, there is C:=Cs>0 such that for any UBs0,R(r)HRs(T;C2), Z,U^HRs(T;C2) one has
    dUF(U)[U^]-dUF2(U)[U^]Zs-m=dUF4(U)[U^]Zs-mCUs03U^s0Zs+Us03U^sZs0+UsUs02U^s0Zs0. 2.46

Remark 2.12

(1) Compared to m-operators in M00[r], 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 p=0. 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), F(U) conjugates any matrix B4(U) of 0-operators in M40[r] into another matrix of 0-operators in M40[r], namely F(U)B4(U)F(U)-1 is a matrix of 0-operators in M40[r].

(3) Property (ii) implies that

F(U)-IdVs-m+F-1(U)-IdVs-mCUs02Vs+Us0UsVs0

and that

dUF2(U)[U^]Vs-msUs0U^s0Vs+Us0U^sVs0+UsU^s0Vs0. 2.47

(4) The expansion (2.44) for F(U) implies the corresponding expansion for F(U)-1:

F(U)-1=Id-F2(U)+F˘4(U),

where F˘4(U):=-F(U)-1F4(U)+F(U)-1[F(U)-Id]F2(U) is a real-to-real matrix of 2m-operators in M42m[r].

We now prove that admissible transformations are closed by composition.

Lemma 2.13

Let F(1)(U) be m1-admissible with gain ϱ1 and F(2)(U) be m2-admissible with gain ϱ2. If m1ϱ2, then the composition F(1)(U)F(2)(U) is a m1+m2-admissible transformation with gain ϱ:=min(ϱ2-m1,ϱ1).

Proof

We set m:=m1+m2. (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 ϱmin{ϱ1,ϱ2}. Moreover we have the expansion

F(1)(U)F(2)(U)=Id+F2(1)(U)+F2(2)(U)+F4(1,2)(U),

where F4(1,2)(U)=F4(1)(U)+F4(2)(U)+F2(1)(U)+F4(1)(U)F2(2)(U)+F4(2)(U)M4m[r].

(iii) Set s0:=s0(1)+s0(2) with s0(j), j=1,2, the regularity threshold in property (iii) for F(j). We first prove that, for any σs0+ϱ, UF(1)(U)F(2)(U) is differentiable at UBσ-ϱ,R(r), r>0 sufficiently small, and its differential is given by

dU(F(1)(U)F(2)(U))[U^]=(dUF(1)(U)[U^])F(2)(U)+F(1)(U)(dUF(2)(U)[U^]). 2.48

Indeed fix UBσ-ϱ,R(r), take U^ with U^σ-ϱr and set that

Q(U,U^):=F(1)(U+U^)F(2)(U+U^)-F(1)(U)F(2)(U)-(dUF(1)(U)[U^])F(2)(U)+F(1)(U)(dUF(2)(U)[U^])=F(1)(U+U^)-F(1)(U)-dUF(1)(U)[U^]F(2)(U+U^)+F(1)(U)F(2)(U+U^)-F(2)(U)-dUF(2)(U)[U^]+dUF(1)(U)[U^]F(2)(U+U^)-F(2)(U)=Q1(U,U^)+Q2(U,U^)+Q3(U,U^).

We show that, for j=1,2,3,

Qj(U,U^)Xσ,mU^σ-ϱ2 2.49

proving formula (2.48). Consider first Q1(U,U^)V with VHRσ+m(T,C2). Using the differentiability of F(1)(U), estimate (2.43) for F(2)(U+U^) and that ϱ=min(ϱ2-m1,ϱ1) we get that

Q1(U,U^)VσF(1)(U+U^)-F(1)(U)-dUF(1)(U)[U^]Xσ,m1F(2)(U+U^)Vσ+m1U^σ-ϱ12(Vσ+m1+U+U^σ-(ϱ2-m1)U+U^s0Vs0)U^σ-ϱ2Vσ+m1,

proving (2.49) for j=1 as mm1. We now prove the estimate for j=2. Using (2.43) and the differentiability of F(2), we get

Q2(U,U^)VσF(2)(U+U^)-F(2)(U)-dUF(2)(U)[U^]Vσ+Uσ-ϱ1Us0F(2)(U+U^)-F(2)(U)-dUF(2)(U)[U^]Vs0U^σ-ϱ22Vσ+m2+Uσ-ϱ1Us0U^σ-ϱ22Vσ+m2U^σ-ϱ2Vσ+m,

also proving that (2.49) for j=2, Consider now j=3. Applying first (2.45) for dUF(1)(U)[U^] with mm1, then writing F(2)(U+U^)-F(2)(U)=01dUF(2)(U+τU^)[U^]dτ and using (2.45) for dUF(2)(U+τU^)[U^], τ[0,1] with mm2 and σσ+m1 we get

Q3(U,U^)VσUσ-ϱ1U^σ-ϱ1F(2)(U+U^)V-F(2)(U)Vσ+m1Uσ-ϱ1U^σ-ϱ1Uσ+m1-ϱ2U^σ+m1-ϱ2Vσ+mUσ-ϱ2U^σ-ϱ2Vσ+m,

also proving that (2.49) for j=3. We conclude that (2.48) holds.

Next we show that dU(F(1)(U)F(2)(U)) fulfills estimate (2.45). So fix U^HRσ-ϱ(T,C2) and VHRσ+m(T,C2) and consider the first term in the right hand side of (2.48). We have

(dUF(1)(U)[U^])F(2)(U)Vσ(2.45)Uσ-ϱ1U^σ-ϱ1F(2)(U)Vσ+m1(2.43)Uσ-ϱ1U^σ-ϱ1Vσ+m1+Uσ+m1-ϱ2Us0Vs0Uσ-ϱU^σ-ϱVσ+m

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

dUF4(1,2)(U)[U^]Z=dUF4(1)(U)[U^]Z+dUF4(2)(U)[U^]Z+dUF2(1)(U)[U^]+dUF4(1)(U)[U^]F2(2)(U)+F4(2)(U)Z+F2(1)(U)+F4(1)(U)dUF2(2)(U)[U^]+dUF4(2)(U)[U^]Z.

Estimate (2.46) for dUF4(1,2)(U)[U^]Z follows from the corresponding estimates for dUF4(1)(U)[U^]Z, dUF4(2)(U)[U^]Z in (2.47) and (2.33)–(2.36) for F2(1)(U), F2(2)(U), F4(1)(U) and F4(2)(U).

Next we prove a local invertibility property of the nonlinear map UF(U)U when F(U) is an admissible transformation.

Lemma 2.14

Let F(U) be a m-admissible transformation with gain ϱmax{m,1}. Consider the nonlinear map F(U):=F(U)U. The following holds true:

  • (i)
    There exists s00 such that for any ss0, the map F-1 is locally invertible: namely there is r>0 and F-1:Bs0,R(r)HRs(T;C2)HRs(T;C2) such that
    FF-1(V)=V,F-1F(U)=U,U,VBs0,R(r).
  • (ii)
    One has F-1(V)=G(V)V with G(V) a matrix of non-homogeneous 0-operators in M00[r] such that G(V)-IdΣM22m[r] for some r>0 and expands as
    G(V)=Id-F2(V)+G4(V),G4(V)M42m[r]. 2.50

Proof

Let s0,r>0 the parameters given by Definition 2.11 associated to F(U).

(i) Let σ0:=s0+ϱ. We prove that there exists r1>0 such that for any VBσ0+m,R(r1) there is a unique solution U=F-1(V)Bσ0,R(r) of the equation V=F(U)=F(U)U. Then we show that if VHRs(T,C2), s>σ0, also UHRs(T,C2).

Exploiting the linear invertibility of F(U), we recast V=F(U)U as the fixed point problem

G(U;V):=F(U)-1V=U. 2.51

First we show that for any VBσ0+m,R(r1), the map UG(U;V) is a contraction on the ball Bσ0,R(r) provided r1>0 is small enough.

G(U;V)maps the ball into itself._ Let VBσ0+m,R(r1) and UBσ0,R(r). It follows from (2.43) that

G(U;V)σ0CVσ0+Us02Vs0Cr1(1+r2)r

which is verified provided r1 is sufficiently small.

G(U;V)is a contraction._ Again let VBσ0+m,R(r1) and U1,U2Bσ0,R(r). By (iii) one has

F(U1)-F(U2)=01dUF(τU1+(1-τ)U2)[U1-U2]dτ,

which applying F(U1)-1 to the left and F(U2)-1 to the right yields

F(U1)-1-F(U2)-1=-01F(U1)-1dUF(τU1+(1-τ)U2)[U1-U2]F(U2)-1dτ.

Exploiting such a formula, we get

G(U1;V)-G(U2;V)σ0(2.43)supτ[0,1]dUF(τU1+(1-τ)U2)[U1-U2]F(U2)-1Vσ0+U1s02supτ[0,1]dUF(τU1+(1-τ)U2)[U1-U2]F(U2)-1Vs0(2.45)CU1s0+U2s0U1-U2s0F(U2)-1Vσ0+m(2.43)CU1σ0+U2σ0U1-U2σ0Vσ0+m+U2s0U2s0+mVs0CU1σ0+U2σ0U1-U2σ0Vσ0+m12U1-U2σ0,

where in the last step we chose r1>0 small enough. By Banach fixed point theorem, there is a unique UBσ0,R(r) solving the fixed point problem (2.51), and so we set that

F-1(V):=U,sothatG(F-1(V);V)=F-1(V). 2.52

Upgraded regularity. We now show that for any sσ0+m, if VBσ0+m,R(r1)HRs(T,C2), then F-1(V) belongs to HRs(T,C2) and

F-1(V)s2CsVs.

First, from the fixed point, U:=F-1(V)Bσ0,R(r). Now fix n_N so that s(σ0+n_ϱ,σ0+n_ϱ+1]. Then, from equation (2.51) and estimate (2.43), we get

Uσ0+nϱC(Vσ0+nϱ+Uσ0+(n-1)ϱUs0Vs0),n=1,,n_.

This shows that UHRσ0+n_ϱ(T;C2) and, using also that UBs0,R(r), VBs0+m,R(r1), we get

Uσ0+nϱCVσ0+nϱ,n=1,,n_. 2.53

Finally, using s-ϱσ0+n_ϱ<s and again that UBs0,R(r), VBs0+m,R(r1), we deduce that

Us=F-1(U)Vs(2.43)CVs+Us-ϱUs0Vs0(2.53)CVs.

So far we have shown that FF-1(V)=V for any VBs0(r1), where s0=s0+ϱ+m. Now we show that F-1F(U)=U provided UBs0,R(r), with a smaller r. First of all, note that F-1F(U) solves the fixed point equation (2.51) with VF(U) and UF-1F(U). When F(U)Bs0,R(r1), the map G(·;F(U)) 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 F(U)Bs0,R(r1). Indeed estimate (2.43), for some C>1, gives

F(U)s0=FUUs0CUs0r1

for any UBs0,R(r1/C). The thesis of item (i) follows by choosing r:=r1/C.

(ii) It follows from (2.52) and (2.51)

F-1(V)=G(V)V,G(V):=F(F-1(V))-1M00[r]. 2.54

Since by definition r=r1/Cr1, by the fixed point theorem F-1(V)Bs0+ϱ,R(r) for any VBs0,R(r). Then, since F(U)-1 is a a real-to-real matrix of non-homogeneous 0-operators in M00[r], it follows that G(V) is a real-to-real matrix of non-homogeneous 0-operators in M00[r] (with s0s0).

Next we show that G(V) expands as in (2.50). Put F~-1(V):=V-F2(V)V. Then, using the expansion F(U)=U+F2(U)U+F4(U)U and Lemma 2.10, we get

(F~-1F)(U)=U+F4(U)U,withF4(U)M42m[r].

Substituting U=F-1(V) and using (2.54) and Lemma 2.10, we obtain

F-1(V)=V-F2(V)V+G4(V)V,G4(V):=-F4(F-1(V))G(V)M42m[r].

This proves the expansion in (2.50).

An immediate consequence of the above lemma is that the inverse F-1 of an admissible transformation F fulfills the estimate

F-1(V)sCsVs,for anyVBs0,R(r)Hs(T;C2). 2.55

We now show that the linear flows generated by two types of paradifferential operators are admissible transformations. Consider the flows

τΦτ(U)=G(τ,U)Φτ(U)Φ0(U)=IdwhereG(τ,U)=OpvecBWβ(U;x)1+τβx(U;x)iξ,βF~2RorOpoutBWg(U;x,ξ),gΓ~20. 2.56

Remark 2.15

The map Φτ(U) is gauge invariant if the generator G(U;τ) is gauge invariant. Indeed Φτ(gθU)gθ and gθΦ(U) solve the same equation, thus coinciding.

The following lemma ensures that the flow map Φτ(U) generated by G(τ,U) is an admissible transformation for any τ[0,1]:

Lemma 2.16

Let Φτ(U) be the flow map in (2.56). Fix an arbitrary ϱ0. Then

(i) if G(τ,U)=OpvecBWβ(U;x)1+τβx(U;x)iξ then Φτ(U) is a 2-admissible transformation with gain ϱ;

(ii) if G(τ,U)=OpoutBWg(U;x,ξ) then Φτ(U) is a 0-admissible transformation with gain ϱ.

Proof

Along the proof we put m=2 if G(τ,U) is as in (i), and m=0 in case (ii).

It is classical that Φτ(U) is a matrix of 0-operators in M00[r] as well as its linear inverse, see e.g. Lemma 3.16 of [14]. In particular, estimate (3.53) in [14] (with k=K=K=0) gives that for any UBs0,R(r)HRs-ϱ(T;C2) and VHRs(T;C2), supτ[0,1]Φτ(U)±1VsCVs, which clearly implies both (2.43) and the second of (2.33).

We now prove the expansion (2.44). First we expand

G(τ,U)=G2(U)+G4(τ,U)=OpvecBWβ(U;x)iξ+G4(τ,U)OpoutBWg(U;x,ξ), 2.57

so the expansion of Φτ(U) reads as

Φτ(U)=Id+τG2(U)+F4(τ,U),F4(τ,U)M4m[r].

We prove now (iii). First we claim that, for both choices of G(τ,U) in (2.56), there is s0>0 such that, for any sR,

supτ[0,1]dUG(τ,U)[U^]Ws-m2Us0U^s0Ws, 2.58
supτ[0,1]dUG4(τ,U)[U^]Ws-m2Us03U^s0Ws. 2.59

Assuming for the moment such properties, consider the differential dUΦς(U)[U^]. It fulfills the variational equation

ςdUΦς(U)[U^]=G(ς,U)dUΦς(U)[U^]+dUG(ς,U)[U^]Φς(U),dUΦ0(U)[U^]=0,

whose solution is given by the Duhamel formula

dUΦς(U)[U^]=Φς(U)0ςΦτ(U)-1dUG(τ,U)[U^]Φτ(U)dτ=(2.57),(2.56)ςdUG2(U)[U^]+ς0ςG(θ,U)Φθ(U)dUG2(U)[U^]dθ+Φς(U)0ςdUG4(τ,U)[U^]dτ+Φς(U)0ς0τΦθ(U)-1dUG(τ,U)[U^],G(θ,U)Φθ(U)dθdτ, 2.60

where in the second equality we also used the expansion

Φθ(U)-1dUG(τ,U)[U^]Φθ(U)|θ=τ=dUG(τ,U)[U^]+0τΦθ(U)-1dUG(τ,U)[U^],G(θ,U)Φθ(U)dθ.

Inserting estimates (2.58)–(2.59) in (2.60) and using (2.33) for Φς(U) and (2.30) for G(τ,U), one checks that, for any σs0+ϱ,

dUΦς(U)[U^]VσCUs0U^s0Wσ+2Uσ-ϱU^σ-ϱWσ+2

showing the validity of (2.45).

Similarly one checks that the term dUΦτ(U)[U^]-τdUG2(U)[U^]W fulfills (2.46). We now prove (2.58)–(2.59). Consider first G(τ,U)=OpoutBWg(U;x,ξ), for which (2.59) is trivial (being G4(τ,U)0). Since g(U;·) is homogeneous of degree 2,

dUG(τ,U)[U^]=OpoutBW2g(U^,U;x,ξ)=dUG2(U)[U^],

and (2.58) follows from Theorem 2.4.

Next we analyze the case G(τ,U)=OpvecBWβ(U;x)1+τβx(U;x)iξ. Its differential is given by

dUG(τ,U)[U^]=2OpvecBWβ(U^,U;x)iξ-2τOpvecBWβ(U^,U;x)βx(U;x)1+τβx(U;x)+β(U;x)βx(U^,U;x)(1+τβx(U;x))2iξ=dUG2(U)[U^]+dUG4(τ,U)[U^]

Now notice that β(U^,U;x)F~2R and

b(τ,U^,U):=β(U^,U;x)βx(U;x)1+τβx(U;x)+β(U;x)βx(U^,U;x)(1+τβx(U;x))2L(T;R)

with bound supτ[0,1]b(τ,U^,U)LU^s0Us03. Then Theorem  2.4 gives (2.58) and (2.59).

Next we consider the flow map generated by a matrix of smoothing operators:

τΦτ(U)=R(U)Φτ(U)Φ0(U)=IdwhereR(U)R~2-ϱ. 2.61

Lemma 2.17

Let ϱ>0. The flow Φτ(U) in (2.61) is a 0-admissible transformation with gain ϱ.

Proof

Since R(U)R~2-ϱ, for any UBs0,R(r) with s0>0 sufficiently large the problem (2.61) admits a unique solution Φτ(U) fulfilling Φτ(U)Vs0CVs0 uniformly for τ[-1,1]. We now prove that Φτ(U) fulfills (2.43). Let ss0+ϱ, UBs0,R(rs)HRs-ϱ(T,C2) with a sufficiently small rs>0 and VHRs(T;C2). Then the integral formula Φτ(U)=Id+0τR(U)Φ(U)dτ and estimate (2.36) (with m=-ϱ and ss-ϱ) yield

Φτ(U)VsCsVs+Vs0Us-ϱUs0+Cssupτ[-1,1]Φτ(U)Vs-ϱUs02.

Then, possibly shrinking rs so that Csrs2<12, we obtain

supτ[-1,1]Φτ(U)Vs2CsVs+Vs0Us-ϱUs0,

proving (2.43). The rest of the proof follows along the same lines as the previous one. The algebraic expansion (2.60) holds with G(τ,U)R(U) and, since dUR(U)[U^]=2R(U,U^), we replace (2.58) and (2.59) with the bound

dUR(U)[U^]WσCUσ-ϱU^σ-ϱWσ-ϱ,

obtained from (2.36) with m=-ϱ and s-mσ. Then both (2.45) and (2.46) follow.

Analysis of Weak Resonances

Equation (1.1) is Hamiltonian, with Hamiltonian function given by

H(u):=T(|D|αu)u¯+i4T|u|2(u¯ux-uu¯x)dx.

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

M(u(t)):=12πu(t)L2212πT|u(t,x)|2dx=kZ|uk(t)|2=M(u(0)),P(u(t)):=12πTi(xu(t,x))u(t,x)¯dx=-kZk|uk(t)|2=P(u(0)). 3.1

In view of this we introduce the new variable

v(t,x):=eitP(u(t))u(t,x-M(u(t))t).

Clearly v(tx) and u(tx) have same Sobolev norms, same magnitude, mass and the momentum, i.e.

v(t,·)s=u(t,·)s,sR

and

|v(t,x)|=|u(t,x-M(u(t))t)|,M(v(t))=M(u(t)),P(v(t))=P(u(t)),

and one readily checks that v(t,·) fulfills the re-normalized equation

tv=-i|D|αv+|v|2vx-M(v)vx+iP(v)v. 3.2

This is the equation that we shall consider from now on, and we will relabel vu. Also (3.2) is a Hamiltonian PDE with Hamiltonian function

H~(v):=H(v)-M(v)P(v).

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 |uk|2ueix with k. 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 R the subset of P4 (recall (2.8)) consisting in 4-waves resonant indexes, namely

R:=(ȷ,σ)P4:σ1|j1|α+σ2|j2|α+σ3|j3|α+σ4|j4|α=0. 3.3

When α(0,1) is irrational, one can expect the set R to contain only integrable resonances, namely indexes of the form ((k,k,,),(+,-,+,-)) with k,Z and their permutations. For α rational, instead, nonintegrable resonances do exist in general: for example, when α=12, 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 Λc.

We shall now study resonant sets with indexes constrained to belong to certain subsets.

Definition 3.2

Given a set ΛZ and n{0,,4}, we denote by PΛ(n) the elements of P4 (see (2.8)) having exactly n indexes outside the set Λ:

PΛ(n):={(j1,j2,j3,j4,σ)P4:exactlynindexesamongj1,j2,j3,j4areoutsideΛ}. 3.4

We denote by RΛ(n) the subset of PΛ(n) made of 4-waves resonances: with R in (3.3),

RΛ(n):={(j1,j2,j3,j4,σ)R:exactlynindexesamongj1,j2,j3,j4areoutsideΛ}. 3.5

We shall now study in detail the sets RΛ(n), n=0,1,2, when Λ is given by

Λ:={-1,+1}. 3.6

Lemma 3.3

Let Λ in (3.6) and PΛ(n), RΛ(n) defined in (3.4) and (3.5).

  • (i)
    The set PΛ(0)RΛ(0) and it contains only integrable resonances:
    RΛ(0)=(π(k,k,,),π(+,-,+,-)),:k,Λ,πS4 3.7
    and S4 is the symmetric group of permutations of four symbols.
  • (ii)
    The set RΛ(1)=. Moreover PΛ(1) has finite cardinality and there exists c>0 such that
    (ȷ,σ)PΛ(1)σ1|j1|α+σ2|j2|α+σ3|j3|α+σ4|j4|αc. 3.8
  • (iii)
    The set
    RΛ(2)={(π(k,k,,),π(+,-,+,-)):kΛ,Λc,πS4}. 3.9
    Moreover there exists c>0 such that
    (ȷ,σ)PΛ(2)\RΛ(2)σ1|j1|α+σ2|j2|α+σ3|j3|α+σ4|j4|αcmaxa=1,,4(|ja|)1-α. 3.10

Proof

The gauge condition a=14σa=0 implies that exactly two σa’s are +, the other are −. So, up to permutation, we can always assume that σ1=σ3=1 and σ2=σ4=-1.

(i) In this case all indexes j1,j2,j3,j4Λ, so automatically |j1|α-|j2|α+|j3|α-|j4|α=0, so PΛ(0)=RΛ(0). Next the momentum condition j1-j2+j3-j4=0 gives that either j1=j2=k, j3=j4=, yielding ((k,k,,),(+,-,+,-)), or j1=j4=k, j2=j3=, yielding ((k,,,k),(+,-,+,-)), which is a permutation of the previous one.

(ii) We can always assume that j1,j2,j3Λ and j4Λc. Then the resonant condition |j1|α-|j2|α+|j3|α-|j4|α reduces to |j3|α-|j4|α, for which we have the lower bound

|j3|α-|j4|α2α-1,if|j4|2,1,ifj4=0.

This proves both RΛ(1)= and (3.8).

(iii) We have two different cases.

Case I: W.l.o.g. assume j1,j3Λ, j2,j4Λc. The momentum condition reads j1+j3=j2+j4. We examine further subcases.

If j2=j4=0, then |j1|α-|j2|α+|j3|α-|j4|α=2.

If j2=0 and j40, from the momentum condition we get |j4|2, so actually j4=±2. Then |j1|α-|j2|α+|j3|α-|j4|α=2-2α>0.

If j2,j40, then |j2|,|j4|2. Then |j1|α-|j2|α+|j3|α-|j4|α2(2α-1)>0.

Hence in Case I there are no resonances and the lower bound (3.10) holds.

Case II: W.l.o.g. assume that j1,j2Λ, j3,j4Λc. The momentum condition reads j1-j2=j4-j3. Again we examine further subcases.

If j1=j2=kΛ, then, by the momentum, j3=j4=Λc and they form an element of RΛ(2). All other cases in (3.9) are obtained by permutations.

If j1j2, then j4=j3±2. Consider the “+” case, the other being analogous. The term |j1|α-|j2|α+|j3|α-|j4|α reduces to

|j3+2|α-|j3|α2αifj3=0orj3=-24α-2αifj3=2cαmax(|j3|,|j3+2|)1-αif|j3|3

proving (3.10).

Projection of cubic vector fields. We introduce now projections of cubic vector fields on the sets PΛ(n) and RΛ(n). Recall that any real-to-real cubic vector field X(U), translation and gauge invariant, expand in Fourier as (see (2.12))

X(U)σ=(ȷ,k,σ,-σ)P4Xj1,j2,j3,kσ1,σ2,σ3,σuj11uj22uj33eiσkx,Xjπ(1),,jπ(3),kσπ(1),,σπ(3),σ=Xj1,,j3,kσ1,,σ3,σ 3.11

for any permutation π of {1,2,3}. Given a subset AP4, we denote by ΠAX the vector field obtained restricting the indexes to belong to A, namely

(ΠAX)(U)σ:=(ȷ,k,σ,-σ)AXj1,j2,j3,kσ1,σ2,σ3,σuj11uj22uj33eiσkx. 3.12

We now compute the projections of the cubic vector field in (3.2), which we denote by

X3(U)+:=|u|2ux-M(u)ux+iP(u)u 3.13

on the sets RΛ(n) defined in (3.5) for n=0,1,2.

Lemma 3.4

The cubic, translation and gauge invariant vector field X3(U)+ in (3.13) fulfills

  • (i)

    Structure: There exists a 2-homogeneous 1-operator MNLS+(U)M~21 such that X3(U)+=MNLS+(U)u;

  • (ii)
    Resonances: The projections of the vector field X3(U)+ on the sets RΛ(n), n=0,1,2, defined in (3.5) are given by
    (ΠRΛ(0)X3)(U)+=-i|u1|2u1eix+i|u-1|2u-1e-ix,(ΠRΛ(1)X3)(U)+=0,(ΠRΛ(2)X3)(U)+=0. 3.14

Proof

(i) Define MNLS+(U) to be the operator

MNLS+(U)v:=(|u|2-M(u))xv+iP(u)v, 3.15

so that MNLS+(U)u=X3(U)+. To prove that MNLS+(U)M~21 we write it in Fourier as

MNLS+(U)v=σ1j1+σ2j2+j=kσ1+σ2=0Mj1,j2,j,kσ1,σ2uj11uj22vjeikx,Mj1,j2,j,kσ1,σ2:=i2jifj1j2,jk,σ1σ2-i2j1ifj1=j2,j=k,σ1σ2.0otherwise

The coefficients Mj1,j2,j,kσ1,σ2 are symmetric in the first two indexes and fulfill (2.32) with m=1 and μ=0.

(ii) As we shall compute the projectors using the definition (3.12), we need first to write X3(U)+ in the form (3.11). So expand X3(U)+ in (3.13) in Fourier, getting

X3(U)+=j1-j2+j3=kj1j2ij3uj1u¯j2uj3eikx-j1=j2,j3=kij2|uj2|2uj3eikx=(ȷ,k,σ,-)P4Nȷ,kσ,+uȷσeikx,

where

Nj1,j2,j3,kσ1,σ2,σ3,+:=i(j3δj1j2-j2δj1=j2δj3=k)δ(σ1,σ2,σ3)=(+,-,+).

The coefficients of expansion (3.11) are obtained by the symmetrization

Xj1,j2,j3,kσ1,σ2,σ3,+=16πS3Njπ(1),jπ(2),jπ(3),kσπ(1),σπ(2),σπ(3),+,

yielding

Xj1,j2,j3,k+,-,+,+=i6j3δj1j2+j1δj3j2-j2(δj1=j2+δj3=j2). 3.16

Projection onRΛ(0):_ We use the definition of projections in (3.12). In view of the characterization of RΛ(0) given in (3.7), we must consider only those monomials with indexes of the form ((k,k,,),(+,-,+,-)) with k,{±1} and their permutations. Once the last couple (,-) is fixed, than either k=, giving the index ((,,,),(+,-,+,-)) and its 3 permutations, or k=-, giving ((-,-,,),(+,-,+,-)) and its 6 permutations. Therefore we obtain

(ΠRΛ(0)X3)(U)+=(3X1,1,1,1+,-,+,+|u1|2u1+6X-1,-1,1,1+,-,+,+|u-1|2u1)eix+(6X1,1,-1,-1+,-,+,+|u1|2u-1+3X-1,-1,-1,-1+,-,+,+|u-1|2u-1)e-ix=(3.16)-i|u1|2u1eix+i|u-1|2u-1e-ix,

proving the first of (3.14).

Projection onRΛ(1):_ It is zero since RΛ(1)= by Lemma 3.3 (ii).

Projection onRΛ(2):_ In view of the characterization of RΛ(2) in (3.9), the monomials surviving the projection have indexes of the form ((k,k,,),(+,-,+,-)) (and their permutations) with only one among k and in Λ. Once the last index (,-) is fixed in either Λ or Λc, and k is fixed in the complementary set, there are 6 possible permutations. Hence we get

(ΠRΛ(2)X3)(U)+=kΛc6Xk,k,1,1+,-,+,+|uk|2u1eix+kΛc6Xk,k,-1,-1+,-,+,+|uk|2u-1e-ix+Λck=±16Xk,k,,+,-,+,+|uk|2ueix=(xm3.16)0

proving the last of (3.14).

For later use, we now prove a lemma about the projections on RΛ(n), n=0,1,2, of cubic paradifferential vector fields. More precisely, we have

Lemma 3.5

Let a(Z;x,ξ) be a 2-homogeneous symbol in Γ~2m, mR, with zero average and fulfilling a(gθZ;·)=a(Z;·) for any θT, where gθ in (2.2). Then

ΠRΛ(n)OpvecBWa(Z;x,ξ)Z=0,n=0,1,2.

Proof

Recalling (2.27), OpvecBWa(Z;x,ξ)Z+=OpBWa(Z;x,ξ)z. Using definition (2.22) specialized to quadratic symbols fulfilling a(gθZ;·)=a(Z;·), θT, and the comments right below (2.26), we get

OpBWa(Z;x,ξ)z=j1-j2+j=kχ2j1,j2,j+k2aj1,j2+,-j+k2zj1z¯j2zjeikx.

The point is that, when projecting on ΠRΛ(n), n=0,1,2, either the cut-off χ2(·,·) or the coefficient aj1,j2+,- vanish. Recall that χ2(ξ,ξ)0 whenever |ξ|>ξ10.

Casen=0:_ In this case j1,j2,j,kΛ, and χ2j1,j2,j+k2=0 for any choice of j1,j2,j,k.

Casen=1:_ By Lemma 3.3RΛ(1)= and there is nothing to prove.

Casen=2:_ By Lemma 3.3 the indexes j1,j2,j,k are pairwise equal.

Assume first that j1=j2, then aj1,j1+,-=0 since a(Z;·) has zero-average in x.

The case j1=jΛ and j2=kΛc violates the momentum conservation, as well as j1=jΛc, j2=kΛ.

In case j1=kΛ and j2=jΛc, the cut-off vanishes since

χ2±1,j,j+k20kΛ,jΛc.

Analogously, the case j1=kΛc, j2=jΛ 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 F(U) be a 2-admissible transformation (see Definition 2.11) with a gain ϱ0. There exist r,s0>0 such that, provided U(t)Bs0,R(I;r) is a solution of the system

tU=-iΩ(D)U+X3(U),Ω(D):=|D|α00-|D|α 3.17

where

X3(U)=M2(U)U,M2(U)amatrixofoperatorsinM~21, 3.18

then the variable Z:=F(U)=F(U)U solves

tZ=-iΩ(D)Z+X~3(Z)+M~4(Z)Z. 3.19

Here M~4(Z) is a matrix of non-homogeneous 7-operators in M47[r], whereas X~3(Z) is a cubic vector field fulfilling

ΠAX~3=ΠAX3,for anyAR 3.20

where R is the 4-waves resonant set in (3.3).

Proof

Defining X(U):=-iΩ(D)U+X3(U), the variable Z solves the equation

tZ=FX(Z):=dUF(U)X(U)|U=F-1(Z),

where to invert the nonlinear map F we used Lemma 2.14.

Next we provide a Taylor expansion of the push-forward vector field FX. Using the expansion (2.44) for F(U)=F(U)U, we get

dUF(U)X(U)=-iΩ(D)U+X3(U)+F2(U)[-iΩ(D)U]+dUF2(U)[-iΩ(D)U]U+M4(U)U, 3.21

where, using the structure (3.18) of X3(U)

M4(U)W:=-F4(U)iΩ(D)W+F4(U)M2(U)W+dUF4(U)[X(U)]W+F2(U)M2(U)W+dUF2(U)[X3(U)]W. 3.22

We prove in Lemma 3.7 below that M4(U) is a matrix of non-homogeneous operators in M43[r]. Next we compute (3.21) at

U=F-1(Z)=(2.50)G(Z)Z,G(Z)-Id=-F2(Z)+G4(Z)=:G2(Z)ΣM24[r], 3.23

obtaining

FX(Z)=-iΩ(D)Z+X~3(Z)+M~4(Z)Z

where

graphic file with name 205_2025_2159_Equ92_HTML.gif 3.24

and

M~4(Z)W=-iΩ(D)G4(Z)W+[M2(F-1(Z))G(Z)-M2(Z)]W-[F2(F-1(Z))iΩ(D)G(Z)-F2(Z)iΩ(D)]W-[dUF2(F-1(Z))[iΩ(D)F-1(Z)]G(Z)-dZF2(Z)[iΩ(D)Z]]W+M4(F-1(Z))G(Z)W 3.25

We prove in Lemma 3.7 below that M~4(Z) belongs to M47[r]. This concludes the proof of (3.19). To prove (3.20) we note that

graphic file with name 205_2025_2159_Equ415_HTML.gif

it then follows that, for any set AR, one has

graphic file with name 205_2025_2159_Equ416_HTML.gif

which, together with (3.24), implies (3.20).

Lemma 3.7

There is r>0 such that M4(U) defined in (3.22) is a matrix of 3-operators in M43[r] and M~4(Z) defined in (3.25) is a matrix of 7-operators in M47[r].

Proof

We need to show that each term in (3.22) and (3.25) fulfills (2.33) with p=4, some s00 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, F(U)-Id is a matrix of 2-operators in ΣM22[r] for some r>0.

We start from dUF4(U)[X(U)]W in (3.22). Using (2.46) (with ss-1 and m=2) and that X(U)s-1Us, we get

dUF4(U)[X(U)]Ws-3Us03X(U)s0Ws-1+Us03X(U)s-1Ws0+Us02Us-1X(U)s0Ws0Us0+14Ws+Us0+13UsWs0+1,

proving (2.33) with s0s0+1.

Now we consider the term in the third line of (3.25). Using the trilinearity of (V,V,W)dUF2(V)[V]W and (3.23), we decompose that as

[dUF2(F-1(Z))[iΩ(D)F-1(Z)]G(Z)-dZF2(Z)[iΩ(D)Z]]W=dUF2G2(Z)Z[iΩ(D)F-1(Z)]G(Z)W+dUF2(Z)[iΩ(D)F-1(Z)]G2(Z)W+dUF2(Z)[iΩ(D)G2(Z)]W. 3.26

We bound each term in (3.26) separately. We shall repeatedly use that Ω(D)Us-αUs. First, using (2.47) and then (2.36), (2.33), (2.55) and (3.23), we get

dUF2G2(Z)Z[iΩ(D)F-1(Z)]G(Z)Ws-7G2(Z)Zs0Ω(D)F-1(Z)s0G(Z)Ws-5+G2(Z)Zs0Ω(D)F-1(Z)s-5G(Z)Ws0+G2(Z)Zs-5Ω(D)F-1(Z)s0G(Z)Ws0Zs0+44Ws+Zs0+43ZsWs0+4. 3.27

Similarly one obtains

dUF2Z[iΩ(D)F-1(Z)]G2(Z)Ws-7Zs0+44Ws+Zs0+43ZsWs0+4. 3.28

Finally, using (2.47) and then (2.36), (2.33) and (3.23), we get

dUF2Z[iΩ(D)G2(Z)Z]Ws-7Zs0Ω(D)G2(Z)Zs0Ws-5+Zs0Ω(D)G2(Z)Zs-5Ws0+Zs-5Ω(D)G2(Z)Zs0Ws0Zs0+54Ws+Zs0+53ZsWs0+5. 3.29

Estimates (3.27), (3.28) and (3.29) prove that the operator in (3.26) is a non-homogeneous 7-operator in M47[r].

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 Λ={1,-1} 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.
    ΠPΛ(n)X=ΠRΛ(n)X,n=0,1,2;
  • strong-Λ normal form if in addition there are no resonant monomials with one or two indexes outside Λ, i.e.
    ΠPΛ(0)X=ΠRΛ(0)X,ΠPΛ(1)X=ΠPΛ(2)X=0,

the sets PΛ(n), RΛ(n) being defined in (3.4) and (3.5).

Note that a cubic vector field in strong-Λ normal form is composed by monomials uj11uj22uj33eiσkx whose indexes ((j1,j2,j3,k),(σ1,σ2,σ3,-σ)) are

  • either in Λ and resonant, i.e. ((j1,j2,j3,k),(σ1,σ2,σ3,-σ))RΛ(0);

  • or at least three indexes are outside Λ, i.e. ((j1,j2,j3,k),(σ1,σ2,σ3,-σ))PΛ(3)PΛ(4).

To start the normal form procedure, it is convenient to write (3.2) as the system in the variable U:=(uu¯) given by

tU=-iΩ(D)U+X3(U),X3(U)=|u|2ux-M(u)ux+iP(u)u|u|2ux¯-M(u)ux¯-iP(u)u¯ 4.1

where Ω(D) is defined in (3.17) and, with MNLS+ the 1-operator in M~21 in (3.15),

X3(U)=MNLS(U)U,MNLS(U):=MNLS+(U)00MNLS+(U)¯. 4.2

The first step is to paralinearize such system.

Lemma 4.2

(Paralinearization) Fix ϱ0 and s0>ϱ+32. If u(t)Hs0(T,C) solves equation (3.2), then U(t)=(u(t)u¯(t)) solves the system in paradifferential form (recall the notation in (2.27))

tU=-iΩ(D)U+OpvecBWiV_(U;x)ξ+id_(U;x)U+OpoutBWb(U;x)U+R2(U)U 4.3

where:

Ω(D) is the matrix of Fourier multipliers in (3.17);

V(U;x),d_(U;x),F~2R and b(U;x)F~2 are the zero-average, 2-homogeneous functions

V_(U;x):=|u|2-M(u)=k1k2uk1u¯k2ei(k1-k2)x,d_(U;x):=Im(uxu¯)-P(u)=Imk1k2ik1uk1u¯k2ei(k1-k2)x,b(U;x):=uux=k1,k2Zik1+k22uk1uk2ei(k1+k2)x, 4.4

where M(u),P(u) are the mass and momentum defined in (3.1);

R2(U) is a real-to-real, gauge invariant matrix of smoothing operators in R~2-ϱ.

Proof

The nonlinearity |u|2ux 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 μϱ+1 and m-ϱ. Note also that, in view of the Bony quantization (2.21), (2.22) for homogeneous symbols

M(u)ux=OpBWM(u)iξu+R(U)u,P(u)u=OpBWP(u)u+R(U)u

for some smoothing remainders in R~2-ϱ. 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 R2(U).

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

tU(t)s2U(t)s02U(t)s2 4.5

for any s>s0>32. It is then standard to deduce local well-posedness in Hs, s>32, 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 0<δ1 gives rise to solution remaining of size 2δ for times of order δ-2.

The main result of the section is the following normal form theorem:

Theorem 4.4

There exist s0,r>0 and a 2-admissible transformation F(U)M00[r] with gain 3 (see Definition 2.11) such that if U(t)Bs0,R(I;r) solves (4.3), then the variable

Z:=F(U):=F(U)Usolves 4.6
tZ=-iΩ(D)Z+OpvecBWiV_(Z;x)ξ+ia2(α)(Z;x,ξ)Z+R2(Λ)(Z)Z+OpvecBWiV~4(Z;x)ξ+ia~4(α)(Z;x,ξ)Z+B~4(Z)Z 4.7

where

Ω(D) is the matrix of Fourier multipliers in (3.17);

V_(Z;x) is the zero-average, real valued function in F~2R defined by

V_(Z;x):=2Re(nNznz-n¯ei2nx); 4.8

a2(α)(Z;x,ξ) is a zero average, gauge-invariant, real symbol in Γ~2α;

V~4(Z;x) is a real function in F4R[r] and a~4(α)(Z;x,ξ) a real non-homogeneous symbol in Γ4α[r];

R2(Λ)(Z) is a real-to-real and gauge invariant matrix of smoothing operators in R~2-4 such that the cubic vector field

X(Λ)(Z):=R2(Λ)(Z)Z 4.9

is in strong-Λ normal form (see Definition 4.1). Precisely, with the notation in (3.12),

(ΠPΛ(0)X(Λ))(Z)=-i|z1|2z1eix+i|z-1|2z-1e-ixi|z1|2z1¯e-ix-i|z-1|2z-1¯eix,ΠPΛ(1)X(Λ)=ΠPΛ(2)X(Λ)=0. 4.10

Finally B~4(Z) is a real-to-real matrix of 0-operators in M40[r].

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 OpoutBWb(U;x) from equation (4.3) up to quadratic smoothing operators and quartic bounded operators. Precisely we prove:

Proposition 4.5

(Block-diagonalization) Let ϱ1-α. There exist s0,r>0 and a 0-admissible transformation Ψ(U)M00[r] with gain 5 (see Definition 2.11) such that if U(t)Bs0,R(I;r) solves (4.3), then the variable

graphic file with name 205_2025_2159_Equ108_HTML.gif 4.11
graphic file with name 205_2025_2159_Equ109_HTML.gif 4.12

where

Ω(D) is the matrix of Fourier multipliers defined in (3.17);

V_(U;x) and d_(U;x) are the zero average functions defined in (4.4);

R2(U) is a real-to-real, gauge invariant matrix of homogeneous smoothing remainders in R~2-ϱ;

B4(U) is a real-to-real matrix of non-homogeneous bounded operators in M40[r].

Proof

We define the map Ψ(U) as the time-1 flow Ψ(U):=Ψτ(U)|τ=1 of the paradifferential equation

τΨτ(U)=G(U)Ψτ(U)Ψ0(U)=Id,whereG(U):=OpoutBWg2(U;x,ξ)

and with the 2-homogeneous symbol g2 of the form

g2(U;x,ξ)=j1,j2Zgj1,j2(ξ)uj1uj2ei(j1+j2)xΓ~2-α 4.13

to be determined. By Lemma 2.16, Ψ(U) 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 W=Ψ(U)U solves

tW=Ψ(U)OpvecBW-i|ξ|α+iV_(U;x)ξ+id_(U;x)Ψ(U)-1W 4.14
+Ψ(U)OpoutBWb(U;x)+R2(U)Ψ(U)-1W 4.15
+tΨ(U)Ψ(U)-1W. 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 AdB[A]:=[B,A], one has

Ψ(U)A(U)Ψ(U)-1=A(U)+G(U),A(U)+01(1-τ)Ψτ(U)AdG(U)2[A(U)](Ψτ(U))-1dτ. 4.17

Applying this formula with A=OpvecBW-i|ξ|α+iV_ξ+id_, using formulas (2.42) we get

(4.14)=OpvecBW-i|ξ|α+iV_ξ+id_W+OpoutBWi(g2#ϱ|ξ|α+|ξ|α#ϱg2)W+R2(U)W+B4(U)W

where R2 is a matrix of smoothing remainders in R~2-ϱ (coming from the first of (2.42)), and the operator B4 is given by

B4(U):=OpoutBWi(g2#ϱV_ξ-V_ξ#ϱg2)-i(g2#ϱd_+d_#ϱg2)+R(U)+01(1-τ)Ψτ(U)AdG(U)2[OpvecBW-i|ξ|α+iV_ξ+id_](Ψτ(U))-1dτ, 4.18

where R is a matrix of smoothing operators in R4-ϱ+(1-α)[r]. We claim that B4 is a non-homogeneous bounded operator in M40[r]. Indeed, since g2Γ~2-α, V_ and d_ belong to F~2R, and -ϱ+1-α0, we get that both the first line of (4.18) and AdG(U)2[OpvecBW-i|ξ|α+iV_ξ+id_] are matrices of 0-operators in M~40 and so in M40[r] (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 M40[r] (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

(4.15)=OpoutBWb(U;x)W+R2(U)W+B4(U)W

where B4(U) is another matrix of non-homogeneous 0-operators in M40[r].

Finally we consider line (4.16). This time we use the Lie expansion (Lemma A.1 of [11])

(tΨ(U))Ψ(U)-1=tG(U)+01(1-τ)Ψτ(U)AdG(U)[tG(U)](Ψτ(U))-1dτ.

Then, using that g2(U)g2(U,U) is a symmetric function of U, we get that tG(U)=OpoutBWtg2(U;x,ξ)=2OpoutBWg2(tU,U;x,ξ). Since U solves equation (4.1), we get

tΨ(U)Ψ-1(U)=OpoutBW2g2(-iΩ(D)U,U;x,ξ))+B4(U)

where, using also (4.2),

B4(U):=OpoutBW2g2(MNLS(U)U,U;x,ξ)+01(1-τ)Ψτ(U)AdG(U)[2OpoutBWg2(-iΩ(D)U+MNLS(U)U,U;x,ξ)](Ψτ(U))-1dτ

By Lemma 2.10, the fact that Ψτ is an admissible transformation, and the bullets after Definition 2.5, we deduce that B4 is a matrix of (-α)-operators in M4-α[r].

In conclusion, we get that

tW=OpvecBW-i|ξ|α+iV_(U)ξ+id_(U)W+OpoutBWi[(g2(U)#ϱ|ξ|α+|ξ|α#ϱg2(U)-2g2(Ω(D)U,U))]+b(U)W+(R2(U)+R2(U))W+B4(U)W 4.19

where B4(U) is a matrix of 0-operators in M40[r]. Then the thesis follows from the following lemma.

Lemma 4.6

(The out-diagonal homological equation) Let ϱ>0. There exists a symbol g2(U;x,ξ)Γ~2-α of the form (4.13) such that

r2(U;·):=i[(g2(U)#ϱ|ξ|α+|ξ|α#ϱg2(U)-2g2(Ω(D)U,U))]+b(U)Γ~2-ϱ 4.20

and r2(U;·) fulfills the second of (2.26).

Proof

Thanks to symbolic calculus formula (2.38) (see also (2.39)), we have that for any gΓ~2m, mR,

r[g](U):=g(U)#ϱ|ξ|α+|ξ|α#ϱg(U)-2g(U)|ξ|αΓ~2m+α-2f[g](U):=2g(Ω(D)U,U)Γ~2m

Moreover if g fulfills the second of (2.26), so do r[g] and f[g]. Then the homological equation in (4.20) reads

r2(U)=2ig2(U)|ξ|α+ir[g2](U)-if[g2](U)+b(U)Γ~2-ϱ,

which we solve iteratively exploiting that gr[g] and gf[g] are linear. Namely we put g2:=g(1)+g(2)++g(p) with

g(1)(U;x,ξ):=-b(U;x)2i|ξ|αΓ~2-α,g(2)(U;x,ξ):=-ir[g(1)](U;x,ξ)-if[g(1)](U;x,ξ)2i|ξ|αΓ~2-2αg(p)(U;x,ξ):=-ir[g(p-1)](U;x,ξ)-if[g(p-1)](U;x,ξ)2i|ξ|αΓ~2-pα.

With this choice we have r2(U)=ir[g(p)](U)-if[g(p)](U)Γ~2-pα which implies the thesis choosing p>ϱ/α. Moreover, since b fulfills the second of (2.26) (recall (4.4)), so does g(1), and by construction each g(), 2 and the symbol r2(U). In particular g2 has the claimed form in (4.13).

Applying Lemma 4.6, equation (4.19) becomes

tW=OpvecBW-i|ξ|α+iV_(U)ξ+id_(U)W+(R2(U)+R2(U)+R2(U))W+B4(U)W 4.21

where R2(U)=OpoutBWr2(U;·)R~2-ϱ is the paradifferential operator of order -ϱ coming from the symbol in (4.20). This proves the identity (4.12), renaming R2+R2+R2R2.

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 R2+R2+R2 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 OpvecBWV_(U;x)iξ to its resonant normal form.

Proposition 4.7

(Paracomposition) Let ϱ1. There are s0,r>0 and a 2-admissible transformation Φ(U)M00[r] with gain 5 (see Definition 2.11) such that if U(t)Bs0,R(I;r) solves (4.3), then the variable

graphic file with name 205_2025_2159_Equ119_HTML.gif 4.22
graphic file with name 205_2025_2159_Equ120_HTML.gif 4.23

where

Ω(D) is the matrix of Fourier multipliers defined in (3.17);

V_(U;x) is the resonant part of the function V_(U;x) in (4.4), namely the zero-average, real valued function in (4.8);

V4(U;x) is a real function in F4R[r];

a2(α)(U;x,ξ) is a zero average, gauge invariant (fulfills the first of (2.26)), real symbol in Γ~2α and a4(α)(U;x,ξ) a real non-homogeneous symbol in Γ4α[r];

R2(U) is a real-to-real, gauge invariant matrix of homogeneous smoothing operators in R~2-ϱ;

B4(U) is a real-to-real matrix of 0-operators in M40[r].

Proof

We define the transformation Φ(U) as the time-1 flow of the paradifferential equation

τΦτ(U)=G(U)Φτ(U)Φ0(U)=Id,whereG(U):=OpvecBWβ2(U;x)1+τ(β2)x(U;x)iξ 4.24

and β2(U,V) the real valued, 2-symmetric function

β2(U,V;x):=j1,j2Zσ1,σ2±βj1,j2σ1,σ2uj11vj22ei(σ1j1+σ2j2)x

where the symmetric coefficients

βj1,j2σ1,σ2:=12i(σ1|j1|α+σ2|j2|α)σ1σ2=-1,|j1||j2|0otherwise

fulfill (2.15) with μ=1-α. Note that

β2(U;x):=β2(U,U;x)=|j1||j2|1i(|j1|α-|j2|α)uj1uj2¯ei(j1-j2)x 4.25

By Lemma 2.16, Φ is a 2-admissible transformation with an arbitrary gain, which again we fix to 5. Moreover, since β2 fulfills the first of (2.26), G as well as Φτ, τ[0,1], are gauge invariant (see the bullet of formula (2.26) and Remark 2.15).

Recalling (4.12), the variable W1:=Φ(U)W solves

tW1=Φ(U)OpvecBW-i|ξ|α+iV_(U)ξ+id_(U)Φ(U)-1W1 4.26
+tΦ(U)Φ(U)-1W1 4.27
+Φ(U)R2(U)+B4(U)Φ(U)-1W1. 4.28

We now compute each term, starting from (4.26). By Proposition B.1–2 (with ϱϱ+α) we get

Φ(U)OpvecBW-i|ξ|αΦ(U)-1=OpvecBW-i|ξ|α+ia2(α)+ia4(α)+B4(U)+R2(U)

where a2(α) is a real, zero average, gauge invariant symbol in Γ~2α, a4(α) is a real symbol in Γ4α[r], B4=OpvecBWia4(α-2)+R4 (see (B.3)) is a real-to-real matrix of 0-operators in M40[r] and finally R2(U) is a real-to-real, gauge invariant matrix of smoothing operators in R~2-ϱ.

Then, by Proposition B.1–1, we get

Φ(U)OpvecBWiV_ξ+id_Φ(U)-1=OpvecBWiV_ξ+iV4ξ+id_+B4(U)

with V4F4R[r] and, thanks to ϱ1, B4 a real-to-real matrix of 0-operators in M40[r].

Next we consider the term in (4.27). We apply Proposition B.1–4 and get

(tΦ(U))Φ(U)-1=OpvecBW2iβ2(-iΩ(D)U,U)ξ+iV4(U)ξ+B4(U)

where V4F4R[r] and, using again ϱ1, B4 a real-to-real matrix of 0-operators in M40[r].

Finally we consider line (4.28). By Proposition B.1–3 and Remark 2.12—(2)

(4.28)=R2(U)+B4(U)

with R2(U) the same real-to-real, gauge invariant matrix of smoothing operators in R~2-ϱ of Proposition 4.5 and with B4 a real-to-real matrix of 0-operators in M40[r].

Altogether we have the expansion

tW1=OpvecBW-i|ξ|α+iV_ξ+2iβ2(-iΩ(D)U,U)ξ+ia2(α)W1+(R2(U)+R2(U))W1+OpvecBWiV4ξ+ia4(α)W1+B4(U)W1.

One verifies that β2 in (4.25) solves the homological equation

2β2(-iΩ(D)U,U;x)+V_(U;x)=V_(U;x),

using the expressions of V_ in (4.4), Ω(D) in (3.17), and V_ in (4.8). This proves the expansion in (4.23), renaming R2+R2R2; 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 R2(U)W1 in (4.23) into weak-Λ normal form (see Definition (4.1)).

Proposition 4.8

(Weak-Λ normal form) Let ϱ2-α. There are s0,r>0 and a 0-admissible transformation Υ(U)M00[r] with gain ϱ-1+α (see Definition 2.11) such that if U(t)Bs0,R(I;r) solves (4.3), then the variable

Z:=Υ(U)W1=(4.22),(4.11)Υ(U)Φ(U)Ψ(U)Usolves 4.29
tZ=-iΩ(D)Z+iV_(U;x)ξ+iV4(U;x)ξ+ia2(α)(U;x,ξ)+ia4(α)(U;x,ξ)Z+R2(Λ)(U)Z+B4(U)Z, 4.30

where V_, V4, a2(α) and a4(α) are the same symbols of Proposition 4.7, whereas

R2(Λ)(U) is a real-to-real, gauge invariant matrix of smoothing operators in R~2-ϱ such that the cubic vector field X(Λ)(Z):=R2(Λ)(Z)Z is in weak-Λ normal form, namely, it fulfills that

ΠPΛ(n)X(Λ)=ΠRΛ(n)X(Λ),n=0,1,2. 4.31

B4(U) is a real-to-real matrix of 0-operators in M40[r].

Proof

We look for a transformation Υ(U) as the time-1 flow of the equation

τΥτ(U)=Q2(U)Υτ(U),Υ0(U)=Id

where Q2 is a matrix of smoothing operators in R~2-ϱ+1-α to be determined. By Lemma 2.17, the map Υτ is a 0-admissible transformation with gain ϱ-1+α which is non-negative. Recalling (4.23), the variable Z:=Υ(U)W1 fulfills

tZ=Υ(U)-iΩ(D)Υ(U)-1Z+Υ(U)OpvecBWim(1)Υ(U)-1Z+Υ(U)(R2(U)+B4(U))Υ(U)-1Z+(tΥ(U))Υ(U)-1Z,

where we set m(1):=V_ξ+a2(α)+V4ξ+a4(α)ΣΓ21[r]. By Proposition B.2 (with ϱϱ-(1-α)), we get

tZ=-iΩ(D)Z+OpvecBWim(1)Z+2Q2-iΩ(D)U,UZ+[Q2(U),-iΩ(D)]Z+R2(U)Z+B4(U)Z+R4(U)Z, 4.32

where B4(U) is a real-to-real matrix of 0-operators in M40[r] and R4(U) is a real-to-real matrix of smoothing operators in R4-ϱ+2-α[r] which we shall regard as a 0-operator in M40[r] since ϱ2-α.

To determine Q2(U), expand the vector field R2(U)Z in (4.23) in Fourier components as

(R2(U)Z)kσ=P4Rj1,j2,j,kσ1,σ2,σ,σuj11uj22zj,

where with the sum over P4 we mean that the indexes (j1,j2,j,k,σ1,σ2,σ,-σ) belong to P4. Below we use the same notation. Note that this writing is possible since R2(U) is gauge invariant.

Then we define

(R2(Λ)(U)Z)kσ:=P4Λj1,j2,j,kσ1,σ2,σ,σuj11uj22zj,Λj1,j2,j,kσ1,σ2,σ,σ:=Rj1,j2,j,kσ1,σ2,σ,σδ((j1,j2,j,k,σ1,σ2,σ,-σ)C),

where C:=n=02RΛ(n)n=34PΛ(n), and the sets PΛ(n) , RΛ(n) defined in (3.4), (3.5). We choose Q2(U) so that

2Q2-iΩ(D)U,U+[Q2(U),-iΩ(D)]+R2(U)=R2(Λ)(U). 4.33

We claim that one can set, denoting that ȷ=(j1,j2), σ=(σ1,σ2), that

(Q2(U)Z)kσ:=P4Qȷ,j,kσ,σ,σuj11uj22zj, 4.34

where

Qȷ,j,kσ,σ,σ:=Rȷ,j,kσ,σ,σi(σ1|j1|α+σ2|j2|α+σ|j|α-σ|k|α),(ȷ,j,k,σ,σ,-σ)n=12PΛ(n)\RΛ(n)0,(ȷ,j,k,σ,σ,-σ)C. 4.35

Lemma 4.9

Q2(U) in (4.34)–(4.35) is a matrix of smoothing operators in R~2-ϱ+1-α fulfilling (4.33).

Proof

As R2(U) is a smoothing operator in R~2-ϱ, its coefficients fulfill the estimate: for some μ0, C>0,

Rȷ,j,kσ,σ,σCmax2{j1,j2,j}μmax{j1,j2,j}ϱ,(ȷ,j,k,σ,σ,-σ)P4, 4.36

and satisfy the symmetric and reality properties (2.10) and (2.11).

Consider now the coefficients Qȷ,j,kσ,σ,σ 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 σk=σ1j1+σ2j2+σj,

Qȷ,j,kσ,σ,σCmax2{j1,j2,j3}μmax{j1,j2,j3}ϱ-(1-α)(ȷ,j,k,σ,σ,-σ)PΛ(1)(PΛ(2)\RΛ(2))

(recall that RΛ(1)=). This shows that Q2(U) is a matrix of smoothing operators in R~2-ϱ+1-α.

It is clear that Q2(U) fulfills (4.33), also noting that ΠPΛ(0)(R2(Z)Z)=ΠRΛ(0)(R2(Z)Z) in view of Lemma 3.3 (i).

With such Q2(U), system (4.32) reduces to (4.30).

We prove now that the vector field X(Λ)(Z)=R2(Λ)(Z)Z is in weak-Λ normal form, i.e. it fulfills (4.31). Indeed the coefficients of the vector field X(Λ) are obtained as in (2.37) and, being the set C symmetric with respect to the first three indexes, they have the form

Xj1,j2,j3,kσ1,σ2,σ3,σ=13(Rj1,j2,j3,kσ1,σ2,σ3,σ+Rj3,j2,j1,kσ3,σ2,σ1,σ+Rj1,j3,j2,kσ1,σ3,σ2,σ)δ((j1,j2,j3,k,σ1,σ2,σ3,-σ)C).

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 ΠPΛ(n)X(Λ) in (4.31) for n=0,1,2, deducing (4.10).

To achieve (i), recall that the map in (4.29) has the form

Z=F(U)=F(U)U,F(U):=Υ(U)Φ(U)Ψ(U). 4.37

Since Υ(U) is 0-admissible with gain ϱ-1+α, Φ(U) is 2-admissible with gain 5 and Ψ(U) is 0-admissible with gain 5 (Propositions 4.54.74.8), by Lemma 2.13 the map F(U) a 2-admissible with gain min(3,ϱ-1+α)=3 provided ϱ4-α.

Then Lemma 2.14 ensures that F is locally invertible in a small ball Bs0(r) for some s0,r>0, with inverse map F-1 having the structure

U=F-1(Z)=G(Z)Z,withG(Z)=Id+G2(Z),G2(Z)ΣM24[r], 4.38

for some r>0. 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,

V_(F-1(Z);x)ξ-V_(Z;x)ξΓ41[r],a2(α)(F-1(Z);x,ξ)-a2(α)(Z;x,ξ)Γ4α[r],

and, using Lemma 2.10–2, R2(Λ)(F-1(Z))-R2(Λ)(Z)R4-ϱ+4[r]. Then we substitute U=F-1(Z) in the non-homogeneous operators OpvecBWiV4(U;x)ξ+ia4(α)(U;x,ξ) and B4(U), applying Lemma 2.10–1& 5. In conclusion, setting ϱ:=4, we obtain the following:

Proposition 4.10

There are s0,r>0 such that if U(t)Bs0,R(I;r) solves (4.3), then the variable Z(t) in (4.37) solves the system

tZ=-iΩ(D)Z+OpvecBWiV_(Z;x)ξ+ia2(α)(Z;x,ξ)Z+X(Λ)(Z)+OpvecBWiV~4(Z;x)ξ+ia~4(α)(Z;x,ξ)Z+B~4(Z)Z 4.39

where V_ and a2(α) are the quadratic symbols in Proposition 4.7, X(Λ)(Z) is the cubic vector field in weak-Λ normal form of Proposition 4.8 is , whereas

  • V~4(Z;x) is a real function in F4R[r];

  • a~4(α)(Z;x,ξ) is a real non-homogeneous symbol in Γ4α[r];

  • B~4(Z) is a real-to-real matrix of 0-operators in M40[r].

The next step (ii) is to compute explicitly ΠPΛ(n)X(Λ), n=0,1,2:

Proposition 4.11

The vector field X(Λ)(Z) 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 X3 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 F(U) 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

OpvecBWiV_(Z;x)ξ+ia2(α)(Z;x,ξ)Z+X(Λ)(Z)=X~3(Z).

In addition, in view of (3.20), we have

ΠRΛ(n)OpvecBWiV_(Z;x)ξ+ia2(α)(Z;x,ξ)Z+X(Λ)=ΠRΛ(n)X3,n=0,1,2. 4.40

Now we apply Lemma 3.5 to the cubic vector field OpvecBWiV_ξ+ia2(α)Z; this can be done since the symbols V_(Z;x)ξ and a2(α)(Z;x,ξ) have both zero-average (Proposition 4.7) and are gauge invariant (i.e. fulfills the first of (2.26)). We conclude that

ΠRΛ(n)OpvecBWiV_(Z;x)ξ+ia2(α)(Z;x,ξ)Z=0,n=0,1,2, 4.41

from which we immediately get that

ΠPΛ(n)X(Λ)=(4.31)ΠRΛ(n)X(Λ)=(4.40),(4.41)ΠRΛ(n)X3,n=0,1,2.

This last vector field is computed in Lemma 3.4, proving (4.10).

Proof of Theorem 4.4

This follows from Proposition 4.10 and 4.11.

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 z±1(t), and those supported on Λc. More specifically, we decompose

z(t)=z(t)+z(t),z(t):=z1(t)eix+z-1(t)e-ix,z(t):=|j|1zj(t)eijx. 5.1

Parameters: From now on we fix s0,r>0 as follows: s0:=max{s0,s0} and r:=min{r,r} where s0,r>0 are given in Theorem 4.4 whereas s0,r>0 are the parameters required to invert the map F in (4.6), see (4.38). We also fix that

s>3s0,θ(0,θ),θ:=mins-3s02s-s0,15. 5.2

The first step is the following one:

Lemma 5.1

If Z(t)=(z(t)z¯(t))Bs0,R(I;r) solves (4.7), then the variables (z(t),z(t)) defined in (5.1) fulfill the system

tz=-i|D|αz+Y3(Λ)(z)+Y3(z)+Y5(z) 5.3
tz=-i|D|αz+OpBWim(z;x,ξ)z+Y3(z)+Y5(z) 5.4

where

Y3(Λ)(z) is the integrable vector field

Y3(Λ)(z):=Y3(Λ)(z)=-i|z1|2z1eix+i|z-1|2z-1e-ix; 5.5

Y3(z) and Y3(z) are cubic smoothing vector fields fulfilling: for any ss0

Y3(z)szs03,Y3(z)s+4zs0+zs0zs0zs; 5.6

m(z;x,ξ) is the symbol in ΣΓ21[r] given by

m(z;x,ξ):=V_(Z;x)ξ+a2(α)(Z;x,ξ)+V~4(Z;x)ξ+a~4(α)(Z;x,ξ), 5.7

with V_(Z;x) defined in (4.8).

Y5(z) and Y5(z) are non-homogeneous vector fields fulfilling the estimate: for any ss0 there are C>0, r:=r(s)(0,r) and for any zBs0(r)Hs(T,C),

Y5(z)s+Y5(z)sCz04zs. 5.8

Proof

We introduce the projectors

Πz:=j=±1zjeijx,Πz:=j±1zjeijx

and compute the projections of the first component of each term in system (4.7). Since (-iΩ(D))+=-i|D|α is a Fourier multiplier, it commutes with the projectors. So consider the paradifferential vector field (OpvecBWimZ)+=OpBWimz. We decompose

OpBWim=ΠOpBWimΠ+ΠOpBWimΠ+ΠOpBWimΠ+ΠOpBWimΠ.

Writing m2(z;x,ξ):=V_(Z;x)ξ+a2(α)(Z;x,ξ), m4(z;x,ξ):=V~4(Z;x)ξ+a~4(α)(Z;x,ξ), we claim that

ΠOpBWimΠ=ΠOpBWim4Π, 5.9
ΠOpBWimΠ=ΠOpBWimΠ=0, 5.10
ΠOpBWimΠ=OpBWimΠ. 5.11

Proof of (5.9). We shall exploit that the symbol m2(z;x,ξ) 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 m2(z;·) we get

ΠOpBWim2(z;x,ξ)Πz=j1-j2+j=kj1j2,j,kΛχ2j1,j2,j+k2imj1,j2+,-j+k2zj1z¯j2zjeikx.

We show that the cut-off is always vanishing. Indeed, recalling that χ2(ξ,ξ)0 when |ξ|max(|ξ1|,|ξ2|)ξ/10, and using max(|j1|,|j2|)1 (as j1,j2 cannot be both 0), j=k-j1+j2 and kΛ={±1}, one has

110j1-j2±22=1101+|j1-j2±2|24+2max(|j1|,|j2|)203max(|j1|,|j2|)10max(|j1|,|j2|), 5.12

proving that χ2j1,j2,j+k20. Consequently ΠOpBWim2Π=0 and (5.9) follows.

Proof of (5.10). Again we write explicitly the action of ΠOpBWimΠ, using the quantization (2.22) for the 2-homogeneous symbol m2(z;·) and (2.23) for the non-homogeneous symbol m4(z;·), getting

ΠOpBWim(z;·)Πz=j1-j2+j=kj1j2,jΛc,kΛχ2j1,j2,j+k2imj1,j2+,-j+k2zj1z¯j2zjeikx+jΛc,kΛχk-j,j+k2im^4z;k-j,k+j2zjeikx. 5.13

Arguing as in (5.12), the first line of (5.13) vanishes. To deal with the second line, recall that also χ(ξ,ξ)0 when |ξ|ξ/10, so when kΛ and jΛc (so |j-k|1)

110j+k2=110(1+|j±1|2)3+|j|204+|j-k|20|j-k|4|j-k|,

proving that χk-j,j+k20. 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 Π=Id-Π and using the first of (5.10).

This concludes the analysis of the projection of the paradifferential vector field OpBWimz.

We pass to the cubic vector field X(Λ)(Z) in (4.9). We set

Y3(Λ)(z):=(ΠPΛ(0)X(Λ))(Z)+,

which has the claimed form (5.5) in view of (4.10). Then we set that

Y3(z):=ΠX(Λ)(Z)+-(ΠPΛ(0)X(Λ))(Z)+,Y3(z):=ΠX(Λ)(Z)+.

To prove estimates (5.6) we exploit that X(Λ)(Z) is in strong-Λ normal form, see (4.10).

Estimate ofY3(z)._ By definition,

Y3(z)=kΛ(ȷ,k,σ,-)P\PΛ(0)Xȷ,kσ,+zȷσeikx,ȷ=(j1,j2,j3),σ=(σ1,σ2,σ3).

By (4.10), ΠPΛ(1)X(Λ)=ΠPΛ(2)X(Λ)=0, so, since kΛ, the only possibly remaining monomials are those with (ȷ,k,σ,-)PΛ(3) and in addition ȷ(Λc)3. Then, recalling (4.9), Y3(z)=ΠR(Λ)(Z)Z+, Z:=(zz¯), and the first estimate (5.6) follows from Y3(z)sY3(z)L2 and estimate (2.36).

Estimate ofY3(z)._ Again by (4.10), we expand Y3(z) as

Y3(z)=kΛc(ȷ,k,σ,-)PΛ(3)PΛ(4)Xȷ,kσ,+zȷσeikx.

Then either (i) two indexes among (j1,j2,j3) belong to Λc and one to Λ, or (ii) all three indexes belong to Λc. Consequently Y3(z)=ΠR(Λ)(Z)Z+R(Λ)(Z)Z+2R(Λ)(Z,Z)Z+, Z:=(zz¯). The second estimate (5.6) follows again from estimate (2.36) (with m-4), using also the trivial bound zsCs,s0zs0. This concludes the analysis of the projection of X(Λ)(Z).

Finally we consider the projections of the vector field B~4(Z)Z in (4.7). We put

Y5(z):=Π(B~4(Z)Z)++ΠOpBWim4Πz,Y5(z):=Π(B~4(Z)Z)+.

Estimate ofY5(z)._ This follows, since B~4(Z) is a matrix of non-homogeneous 0-operators in M40[r], see (2.33).

Estimate ofY5(z)._ This proceeds as with in the previous one, using (2.30) and Πzszs-1 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 ·s for long times. These features allow us to propagate smallness of both tangential and normal modes in the low norm ·s0 for long times, and moreover to ensure that the normal modes keep having a size much smaller than the tangential ones, i.e. z(t)s0z(t)L2, 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 z(t) in (5.3) is the cubic integrable vector field Y3(Λ)(z) (the non-explicit cubic term Y3(z)=O((z)3), hence its size is much smaller);

  • (ii)

    in equation (5.4) for z(t), the term OpBWim(z;x,ξ)z is skew-adjoint, hence it vanishes in a L2-energy estimate; consequently the dominant term becomes Y3(z) which, in view of (5.6), fulfills the quadratic estimate Y3(z)s0zs0zs02 and therefore has a very small size. To obtain such estimate is the reason why we put X(Λ)(Z) in (4.9) in strong-Λ normal form, namely it does not contain monomials of the form zj11zj22zj33eijx supported in PΛ(2). Otherwise, Y3(z) would have had monomials with exactly two frequencies among (j1,j2,j3) in Λ and one in Λc, and the estimate in (5.6) would have had an additional term zs02zs, 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 s,θ as in (5.2). Let also T>0 and ϵ(0,r). We say that a solution z(t)Hs(T,C) of system (5.3)–(5.4) is long-time controlled with parameters (s,θ,T,ϵ) if

  • (A1) at time 0 fulfills
    z(0,·)L2ϵ,z(0,·)L2ϵ3; 5.14
  • (A2) it exists over the time interval [0,T] where it fulfills the large a-priori bound
    sup0tTz(t)sϵ-θ. 5.15

One crucial property of any long-time controlled solution is that its low norm ·s0 is automatically small for all 0tT, as we shall now prove.

Lemma 5.3

(Bootstrap lemma) Let s,θ as in (5.2). Also, fix that T0>0. There exists ϵ=ϵ(θ,T0)>0 such, that for any ϵ(0,ϵ), the following holds true.

Let z(t) be a solution of (5.3)–(5.4) which is long-time controlled with parameters (s,θ,T,ϵ) (according to Definition 5.2) and with

TT0ϵ2log1ϵ. 5.16

Then z(t) fulfills the improved L2-bound

z(t)L22ϵ,z(t)L2ϵ3-32θ,0tT 5.17

and the improved low-norm bound

z(t)s03ϵ,z(t)s0ϵ2,0tT. 5.18

Proof

The proof is by a bootstrap argument. We assume the bound

z(t)L210ϵ,z(t)L2ϵ3-2θ,0tT, 5.19

and show that, provided ϵ(0,ϵ) with ϵ sufficiently small, the better bound (5.17) holds.

First we bound z(t)s0. This is done interpolating the bound on z(t)L2 that we have by the bootstrap assumption (5.19) and the large bound that we have on z(t)s in (5.15), being z(t) long-time controlled by assumption. We obtain

z(t)s0z(t)L21-s0sz(t)ss0s(5.19),(5.15)ϵ3-θ(2-s0s)-3s0sϵ2, 5.20

which is possible for s,θ as in (5.2). Using the first part of (5.19) again, we also get

z(t)s011ϵ,0tT. 5.21

Next we consider z(t)L2 and prove the improved estimate (5.17). Recall that the function z(t) fulfills equation (5.3); since Y3(Λ)(z) is integrable, we get that, for all times 0tT,

ddtz(t)L22=2Re-i|D|αz+Y3(Λ)(z),z=0+2ReY3(z)+Y5(z),z(5.6),(5.8)C(z(t)s03+z(t)s05)z(t)L2(5.20),(5.21),(5.19)Cϵ6.

Then, since z(t) is long-time controlled, its initial datum z(0) is bounded by (5.14); hence, for all times 0tTT0ϵ2log1ϵ,

z(t)L22z(0)L22+|t|Cϵ6ϵ2+CT0ϵ4log(ϵ-1)4ϵ2, 5.22

provided that 0<ϵϵ and that ϵ is sufficiently small. This proves the first estimate in (5.17).

Next we bound z(t)L2. We exploit that the paradifferential operator in equation (5.4) is skew-adjoint, so we get, for all times 0tTT0ϵ2log1ϵ,

ddtz(t)L22=2Re(-i|D|α+OpBWim(z;·))z,z=0+2ReY3(z)+Y5(z),z(5.6),(5.8)Cz(t)s0z(t)s02+z(t)s05z(t)0(21),(20),(19)Cϵ8-2θ.

Again, that z(t) is long-time controlled, its initial datum z(0) fulfills (5.14); hence, for all times 0tTT0ϵ2log1ϵ, we bound

z(t)L22z(0)L22+|t|Cϵ8-2θϵ6+CT0ϵ6-2θlog(ϵ-1)ϵ2(3-32θ), 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 z±1(t) rotate with constant speed, whereas z(t) fulfills a linear Schrödinger equation whose Hamiltonian -i|D|α+iOpBWv(x-J1t)ξ 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 s,θ as in (5.2). Fix also T0>0. There exists ϵ=ϵ(s,θ,T0)>0 such that for any ϵ(0,ϵ) the following holds true. Let z(t) be a solution of (5.3)–(5.4) which is long-time controlled with parameters (s,θ,T,ϵ) (see Definition 5.2) and with T fulfilling (5.16). Then z(t)=(z1(t),z-1(t),z(t)) fulfills the system

tz1=-i(1+|z1(0)|2)z1+d1(t)tz-1=-i(1-|z-1(0)|2)z-1+d-1(t)tz=-i|D|αz+iOpBWv(x-J1t)ξ+V(t;x)ξ+b(t;x,ξ)z+Y(t), 5.24

where

J1 is the real number

J1:=|z1(0)|2+|z-1(0)|22, 5.25

the real valued function v(x) is given by

v(x):=2Rez1(0)z-1(0)¯ei2x 5.26

whereas the real valued, time dependent function V(t;x) fulfills the estimate

V(t;·)W2,Cϵ4-θ,0tT; 5.27

the real valued symbol b(t;x,ξ)Γ2,α fulfills the estimate (recall (2.13)): for every nN0, there is Cn>0 such that

b(t;·)α,W2,,nCnϵ2,0tT; 5.28

the functions d±1(t) fulfill the estimates

d±1(t)ϵ5-θ,0tT; 5.29

the vector field Y(t)Y(t,x) fulfills the estimate

Y(t;·)sCϵ3-θ,0tT. 5.30

Proof

We shall use that z(t), being long-time controlled with parameters (s,θ,T,ϵ) and with T fulfilling (5.16), satisfies the bounds (5.17), (5.18).

Equations forz±1(t)._ Write equation (5.3) in components, using the explicit expression of Y3(Λ) in (5.5), to get the coupled system

tz1=-iz1-i|z1|2z1+Y3(z)+Y5(z),eixtz-1=-iz-1+i|z-1|2z-1+Y3(z)+Y5(z),e-ix. 5.31

Consider the equation for z1. We write this as

tz1=-i(1+|z1(0)|2)z1+d1(t),d1(t):=-i|z1(t)|2-|z1(0)|2z1(t)+Y3(z)+Y5(z),eix, 5.32

giving the first equation in (5.24). We prove now that d1(t) fulfills the bound claimed in (5.29). First, using the first of (5.31) and assumption (5.16), we get, for all times 0tTT0ϵ2log1ϵ,

ddt|z1(t)|2=2ReY3(z)+Y5(z),eixz¯1(5.6),(5.8)C(z(t)s03+z(t)s05)z(t)0(5.18),(5.21),(5.17)Cϵ6,

which implies, on the same time scale,

(|z1(t)|2-|z1(0)|2)C|t|ϵ6CT0ϵ4log(ϵ-1). 5.33

Hence we get that d1(t) in (5.32) is bounded for 0tTT0ϵ2log(ϵ-1) by

d1(t)(|z1(t)|2-|z1(0)|2)z1(t)+Y3(z)+Y5(z),eix(5.33),(5.17)CT0ϵ5log(ϵ-1)+Cϵ5, 5.34

proving (5.29), provided that ϵ is sufficiently small. An analogous argument proves that z-1(t) fulfills the second of (5.24).

A consequence, which we shall use in a moment, is that

z±1(t)=z±1(t)+r±1(t),wherez±1(t):=e-it(1±|z±1(0)|2)z±1(0), 5.35

whereas

r±1(t):=0te-i(t-τ)(1±|z±1(0)|2)d±1(τ)dτ

fulfills, by (5.34), (5.16) and eventually shrinking ϵ again, the bounds

|r±1(t)|ϵ3-θ,0tT. 5.36

Equation forz(t)._ We start from equation (5.4) and we substitute the explicit expression of z±1(t) in (5.35). Consider first the symbol m(z;x,ξ) in (5.7). We shall extract from its component V_(Z;x), defined in (4.8), the main contribution which is the one supported on z±1(t). More precisely,

V_(Z(t);x)=2Rez1(t)z-1(t)¯ei2x+2Re(n2zn(t)z-n(t)¯ei2nx)=(5.35)2Rez1(0)z-1(0)¯ei2x-2J1t=v(x-J1t)by(5.26),(5.25)+2Re(z1(t)r-1(t)¯+r1(t)z-1(t)¯+r1(t)r-1(t)¯)ei2x=:V1(t;x)+2Re(n2zn(t)z-n(t)¯ei2nx)=:V2(t;x).

The functions V1(t;x) and V2(t;x) fulfill, by (5.14), (5.36) and (5.18), the bounds

V1(t;·)W2,Cϵ4-θ,V2(t;·)W2,Cϵ4,0tT. 5.37

Then we write m(z;·) in (5.7) as

m(z(t);x,ξ)=v(x-J1t)ξ+(V1(t;x)+V2(t;x)+V~4(z(t);x))=:V(t;x)ξ+a2(α)(z(t);x,ξ)+a~4(α)(z(t);x,ξ)=:b(t;x,ξ)

We bound V(t;x) using estimates (5.37) for V1 and V2, and that

V~4(z(t);·)W2,(2.16)Cz(t)s04(5.18)Cϵ4,0tT,

getting the claimed bound (5.27).

The bound (5.28) for b(t;x,ξ) follows from (2.20), (2.16) and (5.18).

Finally we get that

Y(t,z):=Y3(z(t))+Y5(z(t)),

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 Hs-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

ζ(t,x):=z(t,x+J1t),J1in(5.25). 6.1

Clearly, one has

ζ(t,·)s=z(t,·)s,t,sR, 6.2

so it is equivalent to prove growth of Sobolev norms for ζ(t) and z(t). The equation fulfilled by ζ(t) is easily derived from the third of (5.24) as

tζ=-i|D|αζ+iOpBW(J1+v(x))ξζ+iOpBWV~(t;x)ξ+b~(t;x,ξ)ζ+Y~(t) 6.3

where we defined the real valued function V~(t;x), the real valued symbol b~(t;x,ξ) and the vector field Y~(t;x) as

V~(t;x):=V(t,x+J1t),b~(t;x,ξ):=b(t;x+J1t,ξ),Y~(t;x):=Y(t;x+J1t).

It follows, by (5.27), (5.28) and (5.30), that we have the estimates

V~(t;·)W2,Cϵ4-θ,|b~(t;·)|α,W2,,nCnϵ2,Y~(t;·)sCϵ3-θ,0tT. 6.4

The Mourre operator

The leading term in equation (6.3) is the non-constant coefficient transport operator

OpBW(J1+v(x))ξ,J1in(5.25),v(x)in(5.26). 6.5

The crucial point is that, provided that z1(0) and z-1(0) fulfill

J1|z1(0)|2+|z-1(0)|22<2|z1(0)||z-1(0)|,

corresponding to the function J1+v(x) having a zero, the operator OpBW(J1+v(x))ξ admits a Mourre-conjugate operator, namely an operator A such that the commutator i[A,OpBW(J1+v(x))ξ] 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 R1 (to be fixed later) and define the (formally) self-adjoint operator

A:=As,R:=OpBWa(x,ξ),a(x,ξ):=a(x)|ξ|2sηR2(ξ)wherea(x):=-Imz1(0)z-1(0)¯ei2x 6.6

and ηR(ξ) the smooth step function

ηR(ξ):=ηξR,η(y):=0ify1e-1y-1e-1y-1+e-12-yify(1,2)1ify2. 6.7

Note that a(x,ξ) is a symbol in Γ2,2s, and for any nN0, there is Cn>0 such that

|a|2s,W2,,nCs,n|z1(0)||z-1(0)|,|a|2s+1,W2,,nCs,n|z1(0)||z-1(0)|R, 6.8

as it follows from its definition and from Lemma A.1 with aa(x)|ξ|2sηR(ξ), m2s, N2 and ν1. Moreover we will ensure that |z1(0)z-1(0)|>0, so that A is non trivial, see Remark 6.4.

The choice of the function a(x,ξ) in (6.6) is motivated by the fact that it is an escape function for the symbol (J1+v(x))ξ of the operator in (6.5); precisely one has the following result:

Lemma 6.1

Fix s,R>1. Let a(x,ξ) as in (6.6) and J1, v(x) as in (5.25), (5.26). Then

{a(x,ξ),(J1+v(x))ξ}=I1|ξ|2sηR2(ξ)+a(x,ξ) 6.9

where I1 is the real number

I1:=2|z1(0)||z-1(0)|(2|z1(0)||z-1(0)|-|z1(0)|2+|z-1(0)|22) 6.10

whereas a(x,ξ) is a smooth, non-negative symbol having the structure

a(x,ξ)=a1(x)ψ1(ξ)2+a2(x)ψ2(ξ)2. 6.11

Here aj(x), j=1,2, are smooth, real valued, non-negative functions fulfilling

aj(x)W3,C|z1(0)|4+|z-1(0)|4, 6.12

and ψj(ξ), j=1,2, are smooth, real valued symbols in Γ~0s with support in [R,+).

Proof

We compute, using (2.39), (6.6), (5.25), (5.26) and denoting (η)R(ξ):=η(ξ/R),

{a(x,ξ),(J1+v(x))ξ}=2savx-vax-J1ax|ξ|2sηR2+2Ravx|ξ|2sξηR(η)R=avx-vax-J1ax|ξ|2sηR2+(2s-1)avx|ξ|2sηR2+2avx|ξ|2sηRξR(η)R. 6.13

Now, using the explicit definition of a(x) in (6.6), of v(x) in (5.26) and of J1 in (5.25) and that ax(x)=-2Rez1(0)z-1(0)¯ei2x, vx(x)=-4Im(z1(0)z-1(0)¯ei2x), we get the lower bound

avx-vax-J1ax=4Imz1(0)z-1(0)¯ei2x2+4Rez1(0)z-1(0)¯ei2x2-axJ14|z1(0)|2|z-1(0)|2-2J1|z1(0)||z-1(0)|2|z1(0)||z-1(0)|(2|z1(0)||z-1(0)|-J1)I1, 6.14

where to pass from the first to the second line we also used that

|ax|2|z1(0)||z-1(0)|.

Hence, adding and subtracting I1|ξ|2sηR2(ξ) in (6.13), we get the claimed formula (6.9) with

a(x,ξ):=avx-vax-J1ax-I1+(2s-1)avx=:a1(x)|ξ|2sηR2=:ψ1(ξ)2+2avx=:a2(x)|ξ|2sηRξR(η)R=:ψ2(ξ)2.

Note that both a1(x) and a2(x) are non-negative functions in view of (6.14) and the fact that avx=4Imz1(0)z-1(0)¯ei2x20. They clearly are smooth, and estimate (6.12) follows from the definitions of a(x),v(x) in (6.6), (5.26), of J1 in (5.25) and I1 in (6.10).

We claim that the functions ψ1(ξ)=|ξ|sηR and ψ2(ξ)=|ξ|sηRξR(η)R are smooth symbols in Γ~0s supported in [R,). We prove the claim only for ψ2 since the one for ψ1 is trivial. First notice that ψ2 is well defined since, by (6.7), one has ξ(η)R0. Define that

f(y):=η(y)yη(y),supp(f)[1,2].

Then ψ2(ξ)=|ξ|sf(ξ/R) and is supported in [R,2R]. Thus we are left to prove that f(y) is a smooth function. It is easy to see that yη(y) is smooth on its support. The function

η(y)=0,y12y2-6y+5e-12-y+e-1y-1·e-12(y-1)y-1·e-12(2-y)2-y,y(1,2)0,y2

is smooth by direct inspection.

Thanks to Lemma 6.1, we now prove that the commutator between A in (6.6) and OpBW(J1+v(x))ξ is a non-negative operator up to a small remainder. In the following, given two operators A,B, we write AB with the meaning Au,uBu,u for any usHs. More precisely, we have

Lemma 6.2

Fix s,R>1. Let AAs,R be defined in (6.6). Then:

  • (i)
    Positive commutator: Let J1 in (5.25) and v(x) in (5.26). One has
    i[A,OpBW(J1+v(x))ξ]I1OpBW|ξ|2sηR2(ξ)+R 6.15
    with I1 in (6.10) and the operator R:HsH-s with estimate
    Ru-sCs|z1(0)|4+|z-1(0)|4Rus. 6.16
  • (ii)
    Upper bound: One has
    A2|z1(0)||z-1(0)|OpBW|ξ|2sηR2(ξ)+R 6.17
    with R:HsH-s satisfying the estimate
    Ru-sCs|z1(0)|2+|z-1(0)|2R2us. 6.18

Proof

(i) First note that (J1+v(x))ξ is a symbol in Γ2,1 with seminorm

|(J1+v(x))ξ|1,W2,,7C|z1(0)|2+|z-1(0)|2. 6.19

We now compute the commutator between A and OpBW(J1+v(x))ξ. We use the composition Theorem 2.8 (i) regarding a(x,ξ) as a symbol in Γ2,2s+1 (so putting m2s+1, m1, ϱ2), and we get

i[A,OpBW(J1+v(x))ξ]=OpBW{a(x,ξ),(J1+v(x))ξ}+R˘, 6.20

where the operator R˘:HsH-s satisfies

R˘u-s|a|2s+1,W2,,7|(J1+v(x))ξ|1,W2,,7us(6.8),(6.19)|z1(0)|4+|z-1(0)|4Rus.

Back to formula (6.20), as the Poisson bracket {a(x,ξ),(J1+v(x))ξ} was already computed in (6.9), we have that

OpBW{a(x,ξ),(J1+v(x))ξ}=I1OpBW|ξ|2sηR2+OpBWa(x,ξ), 6.21

with a(x,ξ) a smooth, non-negative symbol having the structure (6.11). Thanks to these properties we bound the operator OpBWa from below using the strong Garding inequality A.2, getting

OpBWau,u-Ca1W3,+a2W3,R2us2(6.12)-C|z1(0)|4+|z-1(0)|4R2D2su,u. 6.22

We conclude by (6.20), (6.21), (6.22) that

i[A,OpBW(J1+v(x))ξ]I1OpBW|ξ|2sηR2+R,R:=R˘-C|z1(0)|4+|z-1(0)|4R2D2s,

where the operator R:HsH-s fulfills the estimate (6.16).

(ii) Define the positive symbol a~(x,ξ):=2|z1(0)||z-1(0)|-a(x)|ξ|2sηR2(ξ) 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 s,θ as in (5.2). Fix also ν0(0,12), ϵ>0.

We say that an initial datum z(0)Hs(T,C) is well prepared with parameters (s,θ,ν0,ϵ) if

  1. On the modes on Λ
    2|z1(0)||z-1(0)|-|z1(0)|2+|z-1(0)|22ν0ϵ2; 6.23
  2. On the modes on Λc
    As,Rz(0),z(0)>ϵ3-3θ,withR:=ϵ-(3+θ)/(1-α) 6.24
    and As,R in (6.6).

Remark 6.4

Condition (6.23) ensures that |z1(0)z-1(0)|>0, hence both v(x) in (5.26) and the symbol a(x,ξ) in (6.6) are non-trivial.

The next result proves that a solution z(t) which is long-time controlled for times T0ϵ-2logϵ-1 with T0 sufficiently large and whose initial datum is well-prepared, undergoes growth of Sobolev norms. Precisely:

Proposition 6.5

Fix s,θ as in (5.2). Fix also ν0(0,12). There exists ϵ1=ϵ1(s,θ,ν0)>0 such that for any ϵ(0,ϵ1), the following holds true. Let z(t)Hs(T,C) be a solution of system (5.3)–(5.4) such that

  • (i)
    it is long-time controlled with parameters (s,θ,T,ϵ) (see Definition 5.2), with
    T=T0ϵ2log1ϵ,T0:=1ν0; 6.25
  • (ii)

    its initial datum z(0)Hs(T,C) is well-prepared with parameters (s,θ,ν0,ϵ) (see Definition 6.3).

Then the solution z(t) undergoes growth of Sobolev norms, i.e.

sup|t|Tz(t)s1ϵθ. 6.26

The first step to prove such result is to define the A-functional

A(t):=As,Rζ(t),ζ(t),As,Rin(6.6),ζ(t)in(6.1) 6.27

and exploit Lemma 6.2 to give a lower bound on the time derivative ddtA(t). More precisely, we have

Lemma 6.6

Under the same assumptions of Propositon 6.5, there are a constant C>0 and ϵ1=ϵ1(s,θ,α,ν0)>0 such that if ϵ(0,ϵ1) the A- functional in (6.27), with R in (6.24) fulfills: then

ddtA(t)ϵ2ν0A(t)-Cϵ3-2θ,0tT0ϵ2log1ϵ. 6.28

Proof

First note that if z(t) is a long-time controlled solution with parameters (s,θ,T,ϵ) and has initial datum well prepared with parameters (s,θ,ν0,ϵ) then the translated solution ζ(t) 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 AAs,R. Since ζ(t) fulfills (6.3), we compute that

ddtA(t)=i[A,OpBW(J1+v(x))ξ]ζ,ζ 6.29
+i[A,OpBWV~(t;x)ξ]ζ,ζ 6.30
+i[A,OpBW-|ξ|α+b~(t;x,ξ)]ζ,ζ 6.31
+2ReAY~(t),ζ 6.32

We shall use that, for well-prepared data, the number I1 in (6.10) fulfills (see (6.23))

I12|z1(0)||z-1(0)|ν0ϵ2, 6.33

whereas, for long-time controlled solutions (see (5.14)), one has

|z1(0)|2+|z-1(0)|2ϵ2. 6.34

We first estimate the term (6.29) from below using Lemma 6.2. More precisely, we get

i[A,OpBW(J1+v(x))ξ]ζ,ζ(6.15),(6.16)I1OpBW|ξ|2sηR2(ξ)ζ,ζ-Csϵ4Rζs2(6.33)2|z1(0)||z-1(0)|ν0ϵ2OpBW|ξ|2sηR2(ξ)ζ,ζ-Csϵ4Rζs2(6.17),(6.18)ν0ϵ2A(t)-Csϵ4Rζs2. 6.35

Next we estimate (6.30) from above. We first use estimate (A.2) (with ν=0, m=1, m=2s),

(6.30)|a|2s,W2,,7|V~(t,·)|1,W2,,7ζs2(6.8),(6.4),(6.34)Csϵ6-θζs2. 6.36

Next we estimate (6.31) from above. We use again estimate (A.2) (this time with ν=1-α, m=α, m=2s, thinking a(x,ξ) as a symbol in Γ2,2s+1-α supported on high frequencies) to bound

(6.31)1R1-α|a|2s,W2,,7||ξ|α+b~(t,·)|α,W2,,7ζs2(6.8),(6.4)Csϵ2R1-αζs2. 6.37

Finally we estimate (6.32) from above. We use estimate (2.28) to bound

(6.32)AY~(t)-sζsCs|a|2s,L,7Y~(t)sζs(6.8),(6.4)Csϵ5-θζs. 6.38

Then (6.28) follows from (6.35), (6.36), (6.37) and (6.38), choosing R as in (6.24), and using that ζ(t), being long-time controlled, fulfills ζ(t)sϵ-θ and provided ϵ is sufficiently small.

We are finally able to prove Proposition 6.5.

Proof of Proposition 6.5

Let z(t)Hs(T,C) be a solution of system (5.3)–(5.4) whose initial datum z(0)Hs(T;C) is well-prepared with parameters (s,θ,ν0,ϵ) and which is long-time controlled with parameters (s,θ,T,ϵ), T in (6.25). By Lemma 6.6, provided ϵ>0 is sufficiently small, the functional A(t) in (6.27) fulfills the inequality (6.28). Integrating in time, we get

A(t)eν0ϵ2tA(0)-Cϵ3-2θ+Cϵ3-2θ,0tT0ϵ2log1ϵ. 6.39

A sufficient condition for A(t) to grow in time is that A(0)>Cϵ3-2θ; this condition is fulfilled for well-prepared initial data provided ϵ is sufficiently small; indeed by (6.24)

A(0)=Aζ(0),ζ(0)=Az(0),z(0)>ϵ3-3θ>2Cϵ3-2θ.

Then, using also the penultimate of the above inequalities, A(0)-Cϵ3-2θ>ϵ3-3θ-Cϵ3-2θ>12ϵ3-3θ, and we get from (6.39), the definition (6.27) and the continuity Theorem 2.4

12ϵ3-3θeν0ϵ2tA(t)As,Rζ(t)-sζ(t)s(6.6),(6.8)Csϵ2ζ(t)s2(6.2)Csϵ2z(t)s2

for some Cs>1. Hence, when t=T0ϵ2log1ϵ, eventually shrinking ϵ, one gets

z(t)s212Csϵ1-3θeν0T0log(ϵ-1)(6.25)1ϵ2θ,

yielding (6.26).

Conclusion and proof of Theorem 1.1

Fix s,θ as in (5.2). We give now an example of a well-prepared initial data.

Lemma 6.7

Let ρ1,ρ-1>0 in the non-empty region limited by

ρ12+ρ-121,ν0:=2ρ1ρ-1-ρ12+ρ-122>0. 6.40

There exists ϵ0>0 and, for any ϵ(0,ϵ0), an interval I(ϵ) such that the initial datum

z(0):=ϵρ1eix+ϵρ-1e-ix+ρei3Nx+iρei(3N+2)x,N:=R 6.41

with R=ϵ-(3+θ)/(1-α) and ρI(ϵ), fulfills:

  • well-prepared: z(0) in (6.41) is a well-prepared initial datum with parameters (s,θ,ν0,ϵ) (according to Definition  6.3);

  • L2-smallness: the bounds in (5.14) holds true;

  • Hs-smallness: z(0) fulfills the high norm bound
    z(0)sϵθ. 6.42

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.

Well-prepared_: Condition (B1) follows immediately from (6.40). We now check condition (B2). Using the definition of paradifferential operator in (2.22), the form of A in (6.6) and of z(0) in (6.41), we get

AΠz(0),Πz(0)=kϵ2ρ1ρ-1k+12sηR2(k+1)χ2(1,-1,k+1)Im(z¯k(0)zk+2(0))=ϵ2ρ1ρ-13N+12sηR2(3N+1)=1χ2(1,-1,3N+1)=1ρ2=ϵ2ρ1ρ-13N+12sρ2.

Then (6.24) is fulfilled provided ρ1ρ-132sR2sρ2ϵ1-3θ, which using (6.24) gives

ρϵ12-32θ+s3+θ1-α3sρ1ρ-1. 6.43

This proves that z(0) is well prepared.

L2-smallness_: 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

ρϵ32. 6.44

Hs-smallness_: The condition (6.42) is satisfied provided that

(ρ12+ρ-12)ϵ2ϵ2θ2andρ2(3N+1)2s+ρ2(3N+3)2sϵ2θ2.

The first condition follows automatically from (6.40) and taking ϵ sufficiently small, while the second one, using NR+1 and (6.24), is fulfilled for example for

ρϵθ+s3+θ1-α6s2. 6.45

Note also that, since s3s01, 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 θ<15, conditions (6.43) and (6.45) are compatible. Then, taking

ρI(ϵ):=(13sρ1ρ-1ϵ12-32θ+s3+θ1-α,ϵθ+s3+θ1-α6s2),

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 s,θ as in (5.2). There exists ϵ2>0 such that, provided ϵ(0,ϵ2) the following holds true. Let z(0)Hs(T,C) as in Lemma 6.7 and so well-prepared with parameters (s,θ,ν0,ϵ), for some ν0(0,12). Consider the solution z(t) of system (5.3)–(5.4) with initial datum z(0). Denote that

0<T1:=T1(ϵ;z(0)):=inft0:z(t)sϵ-θ. 6.46

Then T1 is finite and bounded by T1T0ϵ2log1ϵ, T0=ν0-1. Moreover one has that

sup0tT1z(t)s03ϵ,z(0)sϵθ,z(T1)sϵ-θ. 6.47

Proof

Define ϵ2:=min(ϵ,ϵ0,ϵ1,r) with ϵ of Lemma 5.3, ϵ0 of Lemma 6.7 and ϵ1 of Proposition 6.5. First note that the solution z(t) is long-time controlled with parameters (s,θ,T1,ϵ) (see Definition 5.2); indeed condition (A1) holds true in view of the L2-smallness of Lemma 6.7, whereas condition (A2) holds true with TT1 by the minimality of T1.

We now show that T1 is finite and bounded by T0ϵ2log1ϵ. Assume by contradiction that T1>T0ϵ-2logϵ-1. Then, by the very definition of T1,

sup0tT0ϵ-2logϵ-1z(t)sϵ-θ;

namely, the solution z(t) is long-time controlled also with parameters (s,θ,T0ϵ2log1ϵ,ϵ). Then, since by Lemma 6.7 the initial data z(0) is well prepared, Proposition 6.5 applies, and therefore

sup0tT0ϵ-2logϵ-1z(t)sϵ-θ,

contradicting the minimality of T1. This proves that T1T0ϵ2log1ϵ.

To control the low norm z(t)s0, we apply the bootstrap lemma 5.3 with the parameter T=T1 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 Z(t)=F(U(t))F(U(t))U(t) in (4.37). By Lemma 2.14, the map Z=F(U) is locally invertible provided Zs0r is sufficiently small, and has the form F-1(Z)=G(Z)Z for some G(Z) fulfilling the bound in (2.43).

We consider that Z(0)=(z(0)z¯(0)) with z(0) (as in Lemma 6.7) fulfills Z(0)s0ϵθr. We define that

U(0):=F-1(Z(0))=G(Z(0))Z(0).

We take U(0) as the initial data for equation (1.1); by (2.55), its Sobolev norm is

U(0)sCsZ(0)s(6.47)Csϵθ.

Consider now the solution U(t) of (1.1) with initial data U(0). By Theorem 4.4, Z(t)=F(U(t)) 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 Hs0-norm for all times 0tT1, but large Hs-norm at time T1. We deduce that U(t)=F-1(Z(t)) fulfills the bound

U(t)s0Cs0Z(t)s0Cs0ϵ<r,0tT1.

At time T1, we bound from below the Hs-norm of U(T1) using the identity Z(T1)=F(U(T1)), the fact that U(T1)s0r and estimate (2.43), to get

U(T1)sCs-1Z(T1)s(6.47)Cs-1ϵ-θ.

Given arbitrary δ(0,1) and K1, 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 NN0, mR and R1. If aΓN,m, then

aR(x,ξ):=a(x,ξ)ηR(ξ),ηRin(6.7)

is a symbol in ΓN,m+ν for any ν0 with quantitative bound

|aR|m+ν,WN,,nCnR-ν|a|m,WN,,nfor anynN0. A.1

In addition, if N2 and bΓ2,, mR, one has the commutator estimate

[OpBWaR,OpBWb]us-m-m-ν+1CR-ν|a|m,W2,,7|b|m,W2,,7us. A.2

Proof

For any α,βN0, αN, βn, we have

(xαξβaR(x,ξ)β1+β2=βxαξ1a(x,ξ)ξ2ηR(ξ)β1+β2=β|a|m,WN,,nξm-β11Rβ2η(β2)(ξR)|a|m,WN,,nβ1+β2=βξm-β1-β2+νsupξξ-νξRβ2η(β2)(ξR)1Rν|a|m,WN,,nξm-β+ν,

where in the last step we used that the function ξRβ2η(β2)(ξR) is uniformly bounded on R and has support on ξR.

We prove now (A.2). By Proposition 2.8 with ϱ=2 we have

[OpBWaR,OpBWb]=OpBW{aR,b}+R-2(aR,b).

We now bound both terms in the above equation regarding aR as a symbol in ΓN,m+ν and {aR,b} as a symbol in ΓN-1,m+m+ν-1. By (2.28) and (2.40), we get

OpBW{aR,b}us-m-m-ν+1{aR,b}m+m+ν-1,L,4us|aR|m+ν,W1,,5|b|m,W1,,5us(A.1)R-ν|a|m,W1,,5|b|m,W1,,5us. A.3

Next we estimate the norm of R-2(aR,b) using (2.41):

R-2(aR,b)us-m-m-ν+2|aR|m+ν,W2,,7|b|m,W2,,7us(A.1)R-ν|a|m,W2,,7|b|m,W2,,7us 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 aΓ2,m, bΓ2,, with m,mR, then

OpBWbOpBWaOpBWb=OpBWab2+R-2(a,b), A.5

where R-2(a,b) is a bounded operator HsHs-(m+2m)+2, sR, satisfying, for any uHs,

R-2(a,b)s-(m+m)+2|a|m,W2,,8|b|m,W2,,82us. 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 R1, a(x)W3, and a(x)0. Let ψ(ξ)Γ~0m, m>0, a real valued Fourier multiplier with suppψ[R,+). Then there is C>0 such that

OpBWa(x)ψ2(ξ)u,u-CaW3,R2um2. A.7

Proof

Arguing as in Lemma A.1 one shows that, for any nN0,

|ψ|m+1,L,nCn1R|ψ|m,L,n. A.8

We apply now the composition formula (A.5) regarding ψ(ξ) as a symbol in Γ~0m+1:

OpBWψOpBWaOpBWψ=OpBWaψ2+R1 A.9

with R1:HmH-m fulfilling, by (A.6),

R1u-maW2,|ψ|m+1,L,82um(A.8)1R2aW2,um. A.10

Then observe that OpBWψ=OpWψ=ψ(D) and OpBWa=OpWa+OpWaχ-a, where aχ is the cut-offed symbol defined in (2.21), so

OpBWψOpBWaOpBWψ=ψ(D)OpWaψ(D)+R2 A.11

where R2:=ψ(D)OpWaχ-aψ(D). Now we prove that R2 is bounded HmH-m. First note that, by the definitions (2.21) and (2.23), for any vH-1,

OpWaχ-av12jj2ka^j-k(1-χ(k-j,j+k2))vk2jkj-k2|a^j-k|(1-χ(k-j,j+k2))1k|vk|2jkj-k2|a^j-k|1k|vk|2a32v-12aW3,2v-12

where to pass from the first to the second line we used that, on the support of 1-χ(k-j,j+k2), one has

k,jj-k+j+kj-k,

and to pass from the third to the last line we used Young’s inequality for convolution of sequences.

Thus we get, for any uHm,

R2u-m|ψ|m+1,L,0OpWaχ-aψ(D)u1|ψ|m+1,L,0aW3,ψ(D)u-1|ψ|m+1,L,02aW3,um(A.8)1R2aW3,um. A.12

In conclusion, combining (A.9) and (A.11) and since OpWa=a0 and ψ(D) is self-adjoint, we have that

0ψ(D)aψ(D)u,u=OpBWaψ2u,u+(R1-R2)u,u,

and (A.7) follows by (A.10) and (A.12).

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 βF~2R gauge invariant, i.e. β(gθU;·)=β(U;·) for any θT, consider the flow Φτ(u), τ[-1,1] defined by (4.24). It is standard (see e.g. Lemma 3.22 in [9]) that, for any UBs0,R(r) with s0>0 sufficiently large and r>0 sufficiently small, the operator Φτ(U)L(Hs(T,C2)) for any sR with the quantitative estimate: there is a constant C(s)>0 such that for any WHs(T,C2), Φτ(U)Ws+Φτ(U)-1WsC(s)Ws. Following [9], we define the path of diffeomorphism of T via

Ψ(U,τ;x):=x+τβ(U;x)with inverseΨ-1(U,τ;y):=y+β˘(U,τ;y),β˘F2R[r], B.1

and set that Ψ(U;x):=Ψ(U,1;x).

Proposition B.1

(Conjugations for a transport flow) Let mR, ϱ>0, and let Φ(U) be the flow generated by (4.24).

  1. Space conjugation of a para-differential operator: Let aΣΓ2m[r] be a real symbol and a(m)(U;x,ξ):=a(U;y,ξyΨ-1(U;y))y=Ψ(U;x)ΣΓ2m[r]. Then
    Φ(U)OpvecBWa(U;x,ξ)Φ(U)-1=OpvecBWa(m)(U;x,ξ)+a4(m-2)(U;x,ξ)+R4(U)=OpvecBWa(U;x,ξ)+a4(m)(U;x,ξ)+R4(U), B.2
    where a4(m-2)(U;x,ξ) and a4(m)(U;x,ξ) are non-homogeneous real symbols in Γ4m-2[r]respectively Γ4m[r], whereas R4(U) is a real-to-real matrix of smoothing operators in R4-ϱ+m[r]. In addition if a(U;x,ξ)=V(U;x)ξ for some VF~2R[r] then in (B.2) a4(m-2)0 and a4(m)(U;x,ξ)=V4(U;x)ξ for a suitable function V4F4R[r].
  2. Space conjugation of a Fourier multiplier Let ω(ξ)Γ~0α be a real Fourier multiplier. Then
    Φ(U)OpvecBWiωΦ(U)-1=OpvecBWi(ω+a2(α)(U;x,ξ)+a4(α)(U;x,ξ)+a4(α-2)(U;x,ξ))+R2(U)+R4(U), B.3
    where

    a2(α)(U;x,ξ) is a real, zero-average, gauge invariant symbol in Γ~2α;

    a4(α)(U;x,ξ) is a real non-homogeneous symbol in Γ4α[r] and a4(α-2)(U;x,ξ) is a non-homogeneous symbol in Γ4α-2[r];

    R2(U) is a real-to-real, gauge invariant matrix of smoothing operators in R~2-ϱ+m, and R4(U) is a real-to-real matrix of non-homogeneous smoothing operators in R4-ϱ+m.

  3. Space conjugation of a smoothing remainder: If R2(U) is a real-to-real matrix of smoothing operators in R~2-ϱ[r] then
    Φ(U)R2(U)Φ(U)-1=R2(U)+R4(U),
    where R4(U) is a real-to-real matrix of smoothing operators in R4-ϱ+1[r].
  4. Conjugation of t: If U is a solution of (4.1) then
    (tΦ(U))Φ(U)-1=iOpvecBW2β(-iΩ(D)U,U;x)ξ+iV4(U;x)ξ+R4(U), B.4
    where Ω(D) is the matrix of real Fourier multipliers in (3.17), V4(U;x) is a real function in F4R[r] and R4(U) is a real-to-real matrix of smoothing operators in R4-ϱ[r].

Proof

During the proof, we shall denote that b:=β1+τβx.

1. Follows by Lemmas A4 and A5 in [11].

2. We first define the operator Pτ(U):=Φτ(U)OpvecBWiω(Φτ(U))-1. Note that Pτ(U) 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 τ[0,1],

Pτ(U)=OpvecBWiωΦ(α)+iω(α-2)+R(U,τ)=OpvecBWiω+iω2(α)+ia4(α)+iω2(α-2)+ia4(α-2)+R2(U,τ)+R4(U,τ), B.5

where ωΦ(m)=ω+ω2(α)+a4(α) is a real symbol in ΣΓ0α[r], ω(α-2)=ω2(α-2)+a4(α-2) is a symbol in ΣΓ2α-2[r] and R=R2+R4ΣR2-ϱ+α[r].

To identify the quadratic component of P1(U) we use the Taylor expansion P1(U)=P0(U)+τPτ(U)|τ=0+01(1-τ)τ2Pτ(U)dτ and exploit that Pτ(U) fulfills the Heisenberg equation τPτ(U)=[G(U,τ),Pτ(U)],P0(U)=OpvecBWiω . Using that G(U,0)=OpvecBWib(U)ξ and the paradifferential structure of Pτ(U) in (B.5), we obtain

P1(U)=OpvecBWiω+[OpvecBWib(U)ξ,OpvecBWiω]+M4(U),

with M4(U) a α-operator in M4α[r]. Now we use the composition Theorem 2.8 (with ϱϱ+1) and formula (2.38) to expand the commutator as

P1(U)=OpvecBWiω+ia2(α)+R2(U)+M4(U), B.6

with a2(α)(U;x,ξ) the real, zero-average symbol

a2(m)(U;x,ξ):=k=1ϱ+1(-1)k-12kk!(Dxkβ)(ξkω)iξΓ~2α, B.7

and R2(U)R~2-ϱ+α. Identifying the quadratic components of P1(U) in (B.5) and (B.6) we get that

OpBWω2(α)+ω2(α-2)=OpBWa2(α)+R~2(U)

and therefore we get the thesis. Since β(U) is gauge invariant (fulfills the first of (2.26)), so is a2(α) in (B.7). Finally, since P1(U) is gauge invariant, also R2(U) 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

τΦτ(U(t))=G(U(t))Φτ(U(t))Φ0(U(t))=Id,

with respect to time, we get that tΦτ(U(t)) fulfills the variational equation

τtΦτ(U(t))=G(U(t))tΦτ(U(t))+tG(U(t))Φτ(U(t))tΦ0(U(t))=0, B.8

whose solution is given by the Duhamel formula

tΦτ(U(t))=Φτ(U(t))0τΦτ1(U(t))-1tG(U(t))Φτ1(U(t))dτ1. B.9

Evaluating at τ=1, applying Φ1(U)-1 to the right and using that in our case tG(U(t))=OpvecBWtb(U,τ1;x)iξ yields

(tΦ1(U))Φ1(U)-1=01Φ1(U)Φτ1(U)-1OpvecBWtb(U,τ1;x)iξΦτ1(U)[Φ1(U)]-1dτ1. B.10

We claim that

tb(U,τ;x)=β(-iΩ(D)U;x)+V4(U,τ;x),V4F4R[r]. B.11

Differentiating b(U(t),τ;x) with respect to t and using that, by equation (4.1), tβ(U)=2β(tU,U)=2β(X(U),U) with X(U)=-iΩ(D)U+X3(U) we get

tb(U,τ;x)=2β(-iΩ(D)U,U;x)+2β(MNLS(U)U,U;x)-2τβ(U;x)βx(X(U),U;x)(1+τβx(U;x))2+βx(U;x)β(X(U),U;x)(1+τβx(U;x))=:V4(U,τ;x).

Then (B.11) follows using Lemma 2.10–1 for each internal composition, getting that V4(U,τ;x) is a function in F4R[r].

Conjugation by flows generated by linear smoothing operators. In this section we study the conjugation rules for a flow Υ(U):=Υτ(U)|τ=1 generated by

τΥ(U)=Q(U)Υτ(U),ΦQ0(U)=Id, B.12

with Q(U) a matrix of smoothing operators in R~2-ϱ. We denote the inverse of ΦQ(u) as Υ(U)-1=Υτ(U)τ=-1.

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 mR, ϱ,ϱ,r>0. Let Q(U) be a matrix of smoothing operators in R~2-ϱ and Υ(U) be the flow generated by Q(U) as in (B.12). Then the following holds:

  • i) Space conjugation: If aΣΓ2m[r], then
    Υ(U)OpvecBWa(U;x,ξ)Υ(U)-1-OpvecBWa(U;x,ξ)R4-ϱ+max{m,0}[r],Υ(U)(-iΩ(D))Υ(U)-1-(-iΩ(D)+[Q(U),-iΩ(D)])R4-ϱ+α[r].
    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 ΣR2-ϱ[r], then
    Υ(U)R(U)Υ(U)-1-R(U)R4-min{ϱ,ϱ}[r]
    and it is real-to-real.
  • iii) Conjugation of t: If U is a solution of (4.1), then
    (tΥ(U))Υ(U)-1-2Q(-iΩ(D)U,U)R4-ϱ+1[r],
    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

1

In particular, the ill-posedness phenomena à la Christ [21], which require non-hyperbolic nonlinearities like up-1ux, do not happen for (1.1)

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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]

Articles from Archive for Rational Mechanics and Analysis are provided here courtesy of Springer

RESOURCES