Recent Development in Partial Differential Equations and Their ApplicationsView this Special Issue
Review Article | Open Access
Chunhua Li, Nakao Hayashi, "Recent Progress on Nonlinear Schrödinger Systems with Quadratic Interactions", The Scientific World Journal, vol. 2014, Article ID 214821, 11 pages, 2014. https://doi.org/10.1155/2014/214821
Recent Progress on Nonlinear Schrödinger Systems with Quadratic Interactions
The study of nonlinear Schrödinger systems with quadratic interactions has attracted much attention in the recent years. In this paper, we summarize time decay estimates of small solutions to the systems under the mass resonance condition in 2-dimensional space. We show the existence of wave operators and modified wave operators of the systems under some mass conditions in -dimensional space, where . The existence of scattering operators and finite time blow-up of the solutions for the systems in higher space dimensions is also shown.
In this paper we survey recent progress on asymptotic behavior of solutions to nonlinear Schrödinger system, based on papers [1–9], where , is the complex conjugate of , is a mass of particle, and nonlinearities have the form with
Nonlinear Schrödinger systems with quadratic interactions are physically important subjects (see, e.g.,  and references cited therein). The quadratic nonlinearities of nonlinear Schrödinger systems in two space dimensions are interesting mathematical problems since they are regarded as the borderline between short range and long range interactions. In this case, asymptotic behavior of solutions to nonlinear systems is different from that to linear systems under mass resonance conditions and is the same as that to linear systems under mass nonresonance conditions. Namely, it is impossible to find solutions of nonlinear systems in the neighborhood of those of linear systems under mass resonance conditions.
If , then we have a single nonlinear Schrödinger equation: There are a lot of works on this subject since the work by Ginibre and Velo  which is considered a milestone of the field. We refer the text book by Cazenave  concerning the development on studies of (4) for details.
It is interesting to compare (1) with the system of nonlinear Klein-Gordon equations in for , under the gauge invariant condition for any , where is the speed of light. If we let in (5), then by the condition (6) we find that satisfies with for . Therefore nonrelativistic version of (5) can be obtained by letting in (7) formally, which is (1). The first breakthrough on asymptotic behavior of solutions to (5) with was made by Klainerman  and Shatah  independently when . Their result was improved by a paper .
It is natural to require the conservation law of solutions to (1) from the point of view of quantum mechanics. A sufficient condition is where for ; then we have conservation law and as a result global existence in time of solutions to (1) is obtained by combining the conserved identity and the Strichartz estimate for (see  in which a single equation was considered and the proof used in  works for the system).
We now introduce some function spaces to present exact statements of our results. For any and , weighted Sobolev space is defined by where We write and for simplicity. denotes the usual Lebesgue space with the norm if and By we denote the homogeneous Besov space with the seminorm where , , , , , and is the largest integer less than . It is known that (see ). We let be the space of continuous functions from an interval to a Banach space . Different positive constants might be denoted by the same letter . The homogeneous Sobolev spaces and are defined by respectively. We define the dilation operator by for and and define and for .
Evolution operator is written as where , are the Fourier transform and the inverse Fourier transform, respectively. We also have The operator , where and is an important tool to study time decay of solutions to nonlinear Schrödinger equations satisfying the gauge invariant condition (6) since it acts as a differential operator. Fractional power of is defined as which is also represented as (see ) for . Moreover, for , we have commutation relations such that
Remark 1. The system (1) includes some important nonlinear Schrödinger systems from the physical point of view. For example, the following system appears in a physical model (see e.g., [10, 19]): in , where is a mass of particle for . In , the system (21) has been derived as a model describing nonlinear interactions between a laser beam and a plasma. In , the stability of solitary waves for the system (21) was investigated.
This paper is organized as follows. Section 2 is devoted to present our recent works and some remarks. From Section 2.1 to Section 2.5, we consider the asymptotic behavior of solutions to nonlinear Schrödinger systems. In Section 2.1, we survey the results on the time decay estimates of solutions to nonlinear Schrödinger systems for shown in [4–7, 9]. In Section 2.2, wave operators of nonlinear Schrödinger systems are investigated for based on a paper . Section 2.3 is concerned with the study of modified wave operators for from a paper . In the last two subsections, we survey the results in [2, 3]. In the last section we consider the related and open problems.
2. Nonlinear Schrödinger Systems
2.1. Time Decay of Solutions to Nonlinear Schrödinger Systems in Two Space Dimensions
To state time decay of solutions to nonlinear Schrödinger systems for , we start with time decay estimates of solutions to linear Schrödinger systems.
For (1), the corresponding linear system is written as where .
As we know the solution of (22) is represented as . It is known that is decomposed into a main term and a remainder one as for , where decays rapidly in time; indeed we have the estimate for . By and time decay estimate for , we have the following time decay estimates through the interpolation theorem (see ).
Theorem 2. Let , and let be conjugate indices, . Then we have which are bounded operators and satisfy for .
Now we consider a special type of the system (1), in , where and are the masses of particles and . If we let and in the above system, then we obtain the system as below in , where . Therefore we survey the results on time decay of solutions to the system (28). The first result was obtained in .
In the case of the mass resonance condition , (28) satisfies the condition (6). Global existence of small solutions for (28) is obtained from the conservation law and the Strichartz estimate. time decay of small solutions for (28) is proved through a priori estimates of local solutions in the norm . The similar idea has been used for construction of solutions to a single nonlinear Schrödinger equation by a paper . Theorem 3 extends this idea to (28). The main point in the proof of the result is to derive the ordinary differential equation under the condition by using the factorization formulas of Schrödinger evolution group stated in Section 1, where for and . Asymptotic behavior in time of solutions of (28) is determined by that of the ordinary differential equations (34). The main task is to show that remainder terms are estimated from above by which is integrable in time. This is the reason why we use the condition such that the data must be in .
Theorem 4 (see ). One assumes that and satisfies the conditions (6) and (8) for each . Then there exists such that (1) has a unique global solution for any satisfying Moreover the time decay estimate is true for all .
Now we focus on the following system: in , where are the masses of particles and , are constants.
Theorem 5 (see ). Assume that the mass resonance condition is satisfied. One also assumes that for and with some . Then there exists such that (38) has a unique global solution for any satisfying where . Moreover, the time decay estimate is true for all .
If the nonlinear term acts as a dissipation one which requires logarithmic correction in time of solutions and the negative time is not considered. We have the following theorem.
Theorem 6 (see ). Suppose that the assumptions of Theorem 5 are fulfilled. Let be the solution to the system (38) constructed in Theorem 5. If is satisfied, then the time decay estimate is true for all .
Define the scaled function by ; then satisfies the system (1) with the initial data . We have which implies that is one of the so-called invariant spaces for the problem (1). Other invariant spaces of (1) are given by . We consider the large time asymptotics of solutions to the system (1) for in the function space , where satisfy and can be taken to be close to . Therefore our function space has relation with the invariant space and the considered data are not necessarily in .
Theorem 7 (see ). Assume that (6) and (8) hold. One also assumes that , where . Then there exists such that (1) has a unique global solution such that for any satisfying Moreover, the time decay estimate is true for .
In the final part of this subsection, we will show that the assumption (8) is important for obtaining the time decay estimates of solutions. Let us consider the following system: in , where are the masses of particles. It is obvious that the nonlinearities of (50) do not satisfy the assumption (8). Since the first equation of this system with the initial condition can be considered the Cauchy problem for the linear Schrödinger equation, we find the value of explicitly by . Therefore, we have For the system (51), we obtain the following result.
2.2. Wave Operators of Nonlinear Schrödinger Systems in Two Space Dimensions
First, we briefly explain the definition of the wave operator (see ). For a given function , we assume that there exists a unique solution of the system (1) satisfying the asymptotics where is the solution of linear problems with the initial data and is the norm of Banach space . Then we define the map and call it the wave operator. We also call the final state (or the final value) since it is considered the value of at infinity if is the unitary operator in . The same problem can be considered for negative time.
To study existence of wave operators for (28), we consider the following problem for given final data in . If there exists a nontrivial solution for the above system, then we say that there exists a usual wave operator.
We consider (28) under the mass nonresonance conditions and .
The mass nonresonance conditions and are used to obtain better time decay of solutions. Oscillating properties of nonlinear terms and are different from those of solutions to linear problem which yield an additional time decay from nonlinear terms; namely, nonlinear interactions are not critical. By combining this fact and the Strichartz type estimates, the result of Theorem 9 is obtained.
We next consider (28) under the mass condition which is also the mass nonresonance case and the support conditions on the data.
From the result we have wave operators when the support of the Fourier transform of the Schrödinger data is restricted. Restriction on the support of the Fourier transform of the Schrödinger data was used to obtain an improved time decay estimate of the nonlinear term .
We turn to investigate existence of wave operators for (1). First, we give a necessary condition of existence of asymptotically free solutions.
Theorem 11 (see ). Let and let be global in time of solutions of (1) satisfying a priori estimates We assume that the gauge condition (6) holds for each . If there exists such that then for every , where .
If the support condition is satisfied, we have (66).
Theorem 12 (see ). Let satisfy the so-called support condition (66). Assume that satisfies the gauge condition (6) for each . Then for some there exists a unique global solution of the system (1) such that for large and any satisfying
2.3. Modified Wave Operators of Nonlinear Schrödinger Systems in Two Space Dimensions
In Section 2.2, we discuss the existence of wave operators of the systems (1) and (28). However, if it is impossible to show existence of the wave operator, we have to modify the setting of the problem. We define the modified wave operator (see ) as follows. Let us construct a function from a suitable function space and define a function by . Then we try to find a unique solution of nonlinear problems under the asymptotic condition where is the norm of Banach space . Namely, the problem is solved if we can define the function satisfying the asymptotic condition (70) by taking the structure of nonlinear terms into consideration. If we have a positive answer, we can define the map instead of the wave operator. We call the modified wave operator since we modified the final states.
We consider (28) again which is written as in . In Section 2.1, we stated the time decay estimates of solutions to this system in the case of and . Since the nonlinearity is critical in this case, it is impossible to find a solution in the neighborhood of the free final state . Indeed we have the nonexistence of the usual scattering states.
From the result, we need to modify the final state with time dependence. We note here that the modified wave operator for nonlinear dispersive equation was first constructed in  for the cubic nonlinear Schrödinger equations in one space dimension and then constructed in  for the derivative nonlinear Schrödinger equation, by changing it via a suitable transformation (see ) to a system of cubic nonlinear Schrödinger equations without derivatives of unknown function; see also  for recent developments. Two-dimensional case was studied in .
By calculation we find that the particular solutions of (74) are in the case of and the particular solutions of (74) are in the case of , where and is a real valued given function. We also find that are particular solutions of (74) when .
The following theorem shows existence of the modified wave operators of (28).
Using the resonance condition, , we get the existence of modified wave operators by the contraction mapping principle. Since the identity is known for , we have the estimate from the above theorem for all , where .
Existence of modified wave operator for a single nonlinear Schrödinger equation was studied in [26, 27]. Asymptotic behavior of solutions to nonlinear wave systems was studied in . It was shown that the asymptotic behavior of solutions of them depends on the corresponding ordinary differential equations which are related to (74). In , another special solution was presented and the method can be applicable to nonlinear Schrödinger systems with a slight modification.
2.4. Nonlinear Schrödinger Systems in Higher Space Dimensions I
We will explain the scattering problem (See ) briefly. We may assume the existence of wave operator which maps a Banach space into itself. Namely, for any given , we assume that there exists a unique solution of the nonlinear system such that We consider the initial value problem with the data which are determined by the solution in the time interval . If the initial value problem has a unique global solution and we can find a unique from the solution satisfying then we can define the inverse wave operator . From this operator we can define . We call the operator the scattering operator.
In the case, , existence of the scattering operator was proved in the space which is close to the invariant space . In the case of , we have the results in the invariant space . In the case of , existence of the scattering operator was proved in the space , under the mass resonance condition , which is close to the invariant space . To state the following theorem, we introduce
Theorem 15 (see ). Let . Then there exist and such that with the following property.
For any with and any , (28) has a unique global solution . Moreover, there exist unique such that as .
For any with and any , (28) has a unique global solution such that , as .
For any with and any , (28) has a unique solution such that , as .
Corollary 16 (see ). The wave operators are defined as mappings from to for any with . The scattering operator is defined as a mapping from to for any with .To state the following theorem, we introduce
Theorem 17 (see ). Let . Then there exist and such that with the following property.
For any with and any , (28) has a unique solution with . Moreover, there exist unique such that as .
For any with and any , (28) has a unique solution with such that , as .
For any with and any , (28) has a unique solution with such that , as .
Corollary 18 (see ). The wave operators are defined as mappings from to for any with . The scattering operator is defined as a mapping from to for any with .
2.5. Nonlinear Schrödinger Systems in Higher Space Dimensions II
In , the finite time blow-up of the negative energy solutions for the system (28) was discussed in the case of under the mass conditions and . To state the blow-up result we need local existence in time of solutions to (28).
From Theorem 19 we have the energy conservation law such that where We need the virial identity to prove the blow-up result.