An averaging theorem for nonlinear Schrödinger equations with small nonlinearities
Consider nonlinear Schrödinger equations with small nonlinearities
Let be the -basis formed by eigenfunctions of the operator . For any complex function , write it as and set . Then for any solution of the linear equation we have . In this work it is proved that if is well posed on time-intervals and satisfies there some mild a-priori assumptions, then for any its solution , the limiting behavior of the curve on time intervals of order , as , can be uniquely characterized by solutions of a certain well-posed effective equation.
We consider the Schrödinger equation
and its nonlinear perturbation:
where is a smooth function, is a potential (we will assume that is sufficiently large) and is the perturbation parameter. For any denote by the Sobolev space of complex-valued periodic functions, provided with the norm ,
where is the real scalar product in ,
If , then the mapping , is smooth (see below Lemma 2.1). For any , a curve , , is called a solution of (0.2) in if it is a mild solution of this equation. That is, if the relation obtained by integrating (0.2) in from to holds for any . We wish to study long-time behaviours of solutions for (0.2) and assume:
Assumption A (a-priori estimate). Fix some . For any , there exists such that if , then for any , the perturbed equation (0.2), provided with initial data
has a unique solution such that
Here and below the constant also depends on the potential .
Denote the operator
Let and be its real eigenfunctions and eigenvalues, ordered in such a way that
We say that a potential is non-resonant if
for every finite non-zero integer vector . For any complex-valued function , we denote by
the vector of its Fourier coefficients with respect to the basis , i.e. . In the space of complex sequences , we introduce the norms
and define . Denote
Abusing notation we will write . Define to be the weighted -space
and consider the mapping
It is continuous and its image is the positive octant .
We mainly concern with the long time behavior of the actions of solutions for the perturbed equation (0.2) for . For this purpose, it is convenient to pass to the slow time and write equation (0.2) in the action-angle coordinates :
where , and is the infinite-dimensional torus endowed with the Tikhonov toppology. The functions and , represent the perturbation term , written in the action-angle coordinates. In the finite dimensional situation, the averaging principle is well established for perturbed integrable systems. The principle states that for equations
where and , on time intervals of order the action components can be well approximated by solutions of the following averaged equation:
This assertion has been justified under various non-degeneracy assumptions on the frequency vector and the initial data (see ). In this paper we want to prove a version of the averaging principle for the perturbed Schrödinger equation (0.2). We define a corresponding averaged equation for (0.8) as in (0.9):
where is the Haar measure on . But now, in difference with the finite-dimensional case, the well-posedness of equation (0.10) is not obvious, since the map is unbounded and the functions , , may be not Lipschitz with respect to in . In , S. Kuksin observed that the averaged equation (0.10) may be lifted to a regular ‘effective equation’ on the variable , which transforms to (0.10) under the projection . To derive an effective equation, corresponding to our problem, we first use mapping to write (0.2) as a system of equation on the vector :
Here is the perturbation term , written in -variables. This equation is singular when . The effective equation for (0.11) is a certain regular equation
To define the effective vector filed , for any let us denote by the linear operator in the space of complex sequences which multiplies each component with . Rotation acts on vector fields on the -space, and is the result of action of on , averaged in :
The map is smooth with respect to in . Again, we understand solutions for equation (0.12) in the mild sense.
We now make the second assumption:
Assumption B (local well-posedness of the effective equation). For any , there exists such that if , then for any initial data , there exists such that the effective equations (0.12) has a unique solution . Here is an upper semi-continuous function.
We also assume Assumption B.
The assumptions A and B hold if (0.2) is a complex Ginzburg-Landau equation
where the constants , satisfy
the functions and are the monomials and , smoothed out near zero, and
This work is a continuation of the research started in , where the author proved a similar averaging principle (not for all but for typical initial data) for a perturbed KdV equation:
assuming the perturbation defines a smoothing mapping . This additional assumption is necessary to guarantee the existence of an quasi-invariant measure for the perturbed equation (0.16), which plays an essential role in the proof due to the non-linear nature of the unperturbed equation. Since in the present paper we deal with perturbations of a linear equation, this restriction is not needed.
In , a result similar to Theorem 0.1 was proved for weakly nonlinear stochastic CGL equation (0.13). There are many works on long-time behaviors of solutions for nonlinear Schrödinger equations. E.g. the averaging principle was justified in  for solutions of Hamiltonian perturbations of (0.1), provided that the potential is non-degenerated and that the initial data is a sum of finitely many Fourier modes. Several long-time stability theorems which are applicable to small amplitude solutions of nonlinear Schrödinger equations were presented in [1, 3, 13, 6]. The results in these works describe the dynamics over a time scale much longer than the that we consider, precisely, over a time interval of order , with arbitrary (even of order with in [1, 13, 6]). These results are obtained under the assumption that the frequencies are completely resonant or highly non-resonant (Diophantine-type), by using the normal form techniques near an equilibrium (this is the reason for which they only apply to small amplitude solutions). See  and references therein for general theory of normal form for PDEs. In difference with the mentioned works, the research in this paper is based on the classical averaging method for finite dimensional systems, characterizing by the existence of slow-fast variables. It deals with arbitrary solution of equation (0.2) with sufficiently smooth initial data. Also note that the non-resonance assumption (0.4) is significantly weaker than those in the mentioned works.
Plan of the paper. In Section 1 we recall some spectral properties of the operator . Section 2 is about the action-angle form of the perturbed linear Schrödinger equation (0.2). In Section 3 we introduce the averaged equation and the corresponding effective equation. Theorem 0.1 and Proposition 0.2 are proved in Section 4 and Section 5.
1. Spectral properties of
As in the introduction, , , where and are the eigenvalues of . According to Weyl’s law, the , , satisfy the following asympototics
Fix an -orthogonal basis of eigenfunctions corresponding to the eigenvalues , and define the linear mapping as (0.5). For any , we have , where . Noting that is equivalent to for , since is -smooth, we have the following:
For every integer the linear mapping is an isomorphism.
For any finite consider the mapping
and define the open domain ,
The complement of is a real analytic variety in of codimension at least 2, so is connected. The mapping is analytic in (see ).
Let be a Gaussian measure with a non-degenerate correlation operator, supported by the space (see ). Then . Fix . The set
The non-resonant potentials form a subset of of full -measure.
For , we denote:
Since is an integral of motion for the Schrödinger equation (0.1), we have
(Here and below indicates the real scalar product in , i.e. .)
Denote , if , and , if , . Using equation (2.1), we get
Denoting for brevity, the vector field in equation (2.3) by , we rewrite the equation for the pair as
(Note that the second equation has a singularity when .) We denote
The following result is well known, see e.g. Section 5.5.3 in .
If is , then the mapping
is -smooth for . Moreover, it is bounded and Lipschitz, uniformly on bounded subsets of .
In the lemma below, and are some fixed continuous functions.
For any , we have for any
(i)The function is smooth in each space .
(ii) For any , the function is bounded by .
(iii)For any , the function is bounded by .
(iv) The function is bounded by and for any and any , the fucntion is smooth on .
Note that if is a regular solution, then each is a -function, while may be discontinuous at points , where .
For any , let be a regular solution of (2.4) such that . Then by assumption A, for any and , we have
3. Averaged equation and Effective equation
For a function on a Hilbert space , we write if
for a suitable continuous function which depends on . Clearly, the set of functions is an algebra. By Lemma 2.1,
Let and , where . Denoting by the projection
We will denote and identify with if needed. Similar notations will be used for vectors and vectors .
The torus acts on the space by linear transformations , , where . Similarly, the tous acts on by linear transformations with .
For a function and any positive integer , we define the average of in the first angles as
and define the averaging in all angles as
where is the Haar measure on . We will denote as when there is no confusion. The estimate (3.3) readily implies that
Let , then is a function independent of , and is independent of . Thus can be written as .
Item (i) and the first statement of item (ii) is obvious. Notice that is even on each variable , , i.e.
Now the second statement of item (ii) follows from Whitney’s theorem (see Lemma A in the Appendix). ∎
Denote the set of all Lipschitz functions on . The following result is a version of the classical Weyl theorem.
Let for some . For any non-resonant vector (see (0.4)) and any , there exists such that if , and , then we have
uniformly in .
It is well known that for any and non-resonant vector , there exists such that
(see e.g. Lemma 2.2 in ). Therefore if , and , then
This finishes the proof of the lemma. ∎
We denote , then equations (2.4) becomes
The averaged equations have the form
Consider the differential equations
The effective equation is invariant under the rotation . That is, if is a solution of (3.8), then for each , also is a solution.
4. Proof of the Averaging theorem
In this section we prove the Theorem 0.1 by studying the behavior of regular solutions of equation (2.4). We fix , assume and consider . So
Without loss of generality, we assume . Fix any . Let
All constants below depend on (i.e. on ), and usually this dependence is not indicated. From the definition of the perturbation and Lemma 2.1 we know that
Recall that we identify with , etc.
Fix any . By (3.2), for every , there is , depending only on , and , such that if , then
From now on, we always assume that .