1 Introduction
Nonlinear phenomena in almost every branch of natural science have been studied extensively and intensively, where it is unavoidable to deal with nonlinear models instead of linear ones. With the development of nonlinear science, many useful analytical and numerical methods have been proposed and established. In the middle of the 19th century, the Fourier transformation method, one of the most important methods for solving linear problems, was successfully extended to nonlinear systems, namely, the inverse scattering transformation (IST) method [
1,
2], which hence raised the climax of researches in nonlinear science. Recently, the IST method has received some further progress [
3−
6]. At the same time, people were longing to extend the other powerful method – variable separation approach – to nonlinear science. However, the extension of the variable separation approach is much more difficult, and thus there had been no substantial progress for quite a long period. Recently, some types of nonlinear variable separation approaches have been constructed such as the nonlinearization method [
7,
8] (or the formal variable separation approach [
9]), the functional variable separation approach [
10−
12], the derivative dependent variable separation approach [
13,
14] and the multi-linear variable separation approach [
15,
16].
In this article, we will review the multi-linear variable separation approach (MLVSA). The original idea of the MLVSA was first proposed early in 1996 by Lou and his colleague for the Davey-Stewartson (DS) equation[
15]. However, no further progress had been achieved ever since until six years later when Lou and his student applied this idea to the DS equation again [
16] and succeeded in finding a way to solve many other (2+1)-dimensional integrable systems. One of the important results is that the basic multi-linear variable separation solution (MLVSS) can be expressed by a universal formula:
which is valid for suitable fields or potentials of a nonlinear model. In Eq. (1), {
x, y} are space variables, the subscripts denote derivatives,
p≡
p(
x, t) is an arbitrary function of the indicated variables,
q≡
q(
y, t) may be either an arbitrary function for some models such as the DS system, the Nizhnik-Novikov-Veselov (NNV) system and the two-dimensional sine-Gordon (2DsG) system, or an arbitrary solution of a Riccati equation (or heat conduction equation) for some other systems,
a0,
a1,
a2 and
a3 are constants (which can also be functions of time
t). However, for nonintegrable systems, neither
p nor
q is arbitrary [
17].
Just after the derivation of the universal formula (1), one question was put forward immediately that whether it was possible to include more variable separation functions in an exact solution. In order to answer this question, two ways were then proposed which are the extensions of the basic MLVSA. One is achieved by extending the variable separation assumption for the expansion function. The other is fulfilled by expanding the solution form about two functions instead of one to obtain a couple of multi-linear equations. It is remarkable that the extended variable separation solution obtained in this way can be treated as a conditional addition of two basic MLVSSs.
It is also worth mentioning another important and interesting finding that the universal formula (1) and its extended forms (see below) can work as “soliton factories” which can produce a variety of nonlinear excitations, such as dromion, solitoff, curved line and surface soliton, soliton lattice, ring soliton, peakon, compacton, foldon, chaotic soliton, fractal soliton, bubble soliton, tire soliton, ghost soliton, and so on, and various soliton interaction modes, such as soliton fission and fusion, soliton reconnection and reflection, and so on [
16,
18,
19].
This article is organized as follows. In Section 2, wefirst briefly introduce the basic procedure of the MLVSA, and then apply it to the (2+1)-dimensional dispersive long-wave system (2DLWS) as an illustration. In Section 3, we discuss the first type of the generalized MLVSA which is also applied to the 2DLWS as an example. In Section 4, the second type of the generalized MLVSA is presented and then illustrated for a modified NNV system. Section 5 contains a short summary and discussion.
2 The basic multi-linear variable separation approach and its applications
For a general (2+1)-dimensional nonlinear system
where u is a function of {x, y, t}, F is a polynomial function of u and its derivatives with respect to space and time variables, the basic MLVSA can be carried out through the following five steps:
(1) Multi-linearize the nonlinear system
The Painlev'e analysis of Eq. (2) discovers that its solution can be written as:
where u′ ≡u′(f, fx, ...) is constituted by the expansion function f≡f (x, y, t) and its derivatives with respect to x, y, t, and u0 is a seed solution remaining as arbitrary as possible. It should be mentioned that the function u′ is a homogeneous function which has the property u′(λf) = u′(f) for arbitrary constant λ [see Eq. (11) for example]. The substitution of Eq. (3) into Eq. (2) leads to a multi-linearized equation with respect to f :
due to u′ is homogeneous with respect to f. The function F′ should possess the property,
with n being an integer for all arbitrary constant λ. We call Eq. (5) as bilinear, trilinear and k-linear if n = 2, 3 and k respectively.
(2) Make a variable separation assumption
The assumption for the expansion function f can be obtained by Darboux transformation, or by generalizing the usual two-soliton solution. The basic form reads
where p and q are functions of {x, t} and {y, t}, respectively, ai (i = 0, 1, 2, 3) are constants (which can also be functions of time t). It is remarkable that when p and q are both set as exponential functions, the assumption (6) just reduces to the usual two-soliton solution expression for the KdV type systems. The substitution of the assumption (6) into Eq. (5) gives
(3) Separate variables in Eq. (7)
Now we need to separate functions p and q into two separate equations:
If a function (the seed solution u0 or any arbitrary integration function) is of variables {x, t}, then it must be in G1, otherwise in G2.
(4) Solve the variable separated equations G1 and G2
It is still very difficult to solve the variable separated equations for any given seed solution. Fortunately, the intrusion of the seed solution as general as possible makes it easy to solve the complicated equation of p (or q) alternatively. Sometimes it even becomes an easy algebra problem. That is, to view p (or q) as arbitrary and then to solve the seed solution u0 instead.
(5) Obtain the universal formula
After the above four steps, it is found that almost all the multi-linear variable separable models have a universal formula (1) in common, where at least one of p and q is a two-dimensional arbitrary function for integrable systems.
Here, we take the (2+1)-dimensional dispersive long-wave system (2DLWS) which reads
as an illustrative example [
20].
It is not difficult to find the following truncated expansion form of the solution of Eqs. (9) and (10):
through the Painlev'e truncation expansion, where u =u0(x, t), an arbitrary function of the indicated variables, and v =−1 is a seed solution of Eqs. (9) and (10). The substitution of Eq. (11) into Eqs. (9) and (10) results in a degenerated tri-linearized equation:
Now, we substitute the basic assumption (6) into Eq.(12), and then separate the obtained equation into two parts:
and
It is clear that Eq. (13) depends on the variables x and t, while Eq. (14) is only of the variables y and t. Now we are in the position to solve these two equations. As indicated in the fourth step, alternatively, we can solve u0 from Eq. (13) rather than p. The result is
Since Eq. (14) is a Riccati equation, its solution can be easily obtained.
Finally, the substitution of the assumption (6) into Eq. (11) gives the multi-linear variable separation solution [
20]:
with p being an arbitrary function of {x, t}, u0 determined by Eq. (15) and q by Eq. (14). It is seen that the quantity η≡−(v + 1) given by Eq. (17) is rightly the universal formula (1).
By using this method, many (2+1)-dimensional mathematical physical models have been solved, such as the NNV equation, the asymmetric NNV (ANNV) equation, the asymmetric DS (ADS) equation, the dispersive long wave equation (DLWE), the Broer–Kaup–Kupershmidt (BKK) system, the higher order BKK system, the non-integrable (2+1)-dimensional KdV equation, the long wave-short wave interaction model (LWSWIM), the Maccari system, the Burgers equation, the 2DsG system, the general (
N +
M)-component AKNS system, and so on [
16,
19,
21–
28] (and references therein). In addition, the method has also been applied to several (1+1)-dimensional systems such as the negative KdV hierarchy, the Ito system, the shallow water wave equations, the long-wave-short-wave resonant interaction equation [
29], etc., (3+1)-dimensional systems such as the Burgers equation [
30], the JM equation [
31], etc., and differential difference systems such as a (2+1)-dimensional special Toda equation [
32], a (2+1)-dimensional differential-difference asymmetric NNV equation [
33], a (1+1)-dimensional differential difference Toda-like equation [
34], etc. It is discovered that the MLVSS for differential-difference systems share a similar form (1) with the only difference that
p (or
q) being a difference function.
3 The first type of generalized multi-linear variable separation approach
The basic MLVSA has been extended in two different ways which could include more low dimensional functions and give more general variable separation solutions. In this section, we review the first type of general MLVSA realized by extending the basic variable separation assumption (6). The method has been applied to the DLWE, the BKK system, the higher order BKK system and the Burgers equation, and so on [
35−
37].
As a comparison, we still use the 2DLWS (9) and (10) as an illustration. Now, to solve the trilinear equation (12), we extend the basic assumption (6) to be
where {qi, i = 0, 1, 2, ..., N}, and {pi, i = 1, 2, ..., N} are functions of {y, t} and {x, t}, respectively. It is easy to find that the extended variable separation ansatz (18) will return back to the basic one (6), when N = 3, q0 =a0, q1 = a1, q2 = a2q, q3 = a3q, p1 = p3 = p, and p2 = 1. Substituting the ansatz (18) into the trilinear equation (12), and then separating the obtained equation gives
where {cij, Cj, i, j = 0, 1, 2, ..., N} are arbitrary functions of t.
Finally, we obtain the general variable separation solution:
and
It is seen that in addition to one (1+1)-dimensional arbitrary function of {
x, t} (one of
u0 and
pi), (
N +1)(
N + 2)−1 arbitrary functions of
t,
cij, and
Cj have been included in the general solution (21) and (22). Furthermore, various arbitrary functions of
y and {
x, t} will appear in the solution (22) after the coupled systems of Eqs. (19) and (20) are solved. However, it is rather difficult to solve the coupled system. Fortunately, one can obtain some results for some simple cases. Forforstance, the following simplest nontrivial case has been utilized to construct abundant nonlinear coherent structures [
35]. That is, fixing
N = 1,
cij =
Ci = 0,
p1 =
p, and
q0→
a0 +
q0, the formula (22) is simplified to
with q0 and q1 being arbitrary functions of y, and p being an arbitrary function of {x, t}. It has been proven that the simplified quantity expressed by Eq. (23) does work for many other known models which allow the universal formula (1).
4 The second type of generalized multi-linear variable separation approach
The second type of general MLVSA has been achieved by expanding the solution by about two functions with each assumed to have the basic variable separation assumption form (6). The method has been applied to nonlinear systems such as the modified NNV (MNNV) system and the 2DsG system [
35].
As an illustration, we take the MNNV system
which is a main member of the MNNV hierarchy associated with the generalized Lam'e system [
38]. By means of Painlev'e analysis, it is found that the MNNV system has the following B¨acklund transformation:
where f, g are two expansion functions of variables{x, y, t}, v1≡v1(x, t), v2≡v2(y, t), and {0, v1 + v2}is a seed solution of the MNNV system. The substitution of Eqs. (26) and (27) into Eqs. (24) and (25) leads to a system of two bilinear equations:
where
Dx,
Dy,
Dt are the Hirota’s bilinear operators[
39].
Now, we take two expansion functions f and g both similar to the basic assumption (6), i.e.,
with p≡p(x, t), q≡q(y, t), and constants ai, bi (i =0, ..., 3). Then substituting Eqs. (30) and (31) into Eqs.(28) and (29) can yield
under the condition
Obviously, from Eq. (32), we can obtain two variable separated equations
where c(t) is an arbitrary function of t. Similarly, it is still very difficult to solve Eqs. (34) and (35) for any fixed v1 and v2. Alternatively, one can solve v1 and v2 from Eqs. (34) and (35) in terms of p and q, respectively,
Finally, the variable separation solution of the MNNV system is obtained
where the functions v1 and v2 are determined by arbitrary functions p and q via Eqs. (36) and (37), respectively, under the constant relation (33).
Remarkably, it is interesting to consider the potentials F (≡−2uxy/σ) and G(≡−2vxy),
where Ua and Ub are just the universal quantity (1) with different parameters. It is revealed from Eqs. (40) and (41) that two universal terms Ua and Ub (each is a solution of the MNNV system) can be combined linearly for the potentials F and G with a necessary condition (33) and the opposite sign of the term Ub.
5 Summary and discussion
In summary, we have reviewed the newly developed multi-linear variable separation approach and its two extended versions. All have been successfully applied to many nonlinear integrable and non-integrable systems in (1+1), (2+1), and (3+1) dimensions, as well as differential-difference equations.
One fundamental finding is that low dimensional functions can exist in the multi-linear variable separation solution and its extended expressions. Furthermore, at least one of them is arbitrary for integrable systems. In this sense, we have proposed a sense of integrability, namely, MLVSA solvability.
Another magnificent finding is that the universal formula and its extended expressions can be used to construct a variety of nonlinear coherent structures even for the multi-valued case, which have been mentioned above. In addition, solitons with chaotic behavior and fractal pattern are also obtained, which indicates that chaos and fractal can enter the integrable systems through characteristic lines or boundaries. Many types of interaction properties for solitary waves and solitons are also discovered.
It is noted that the equivalent variable separation solution has also been obtained by other methods, such as the Darboux transformation method for the NNV[
40], ANNV [
41], and MNNV [
42] systems, the entangled mapping approach and/or the modified extended tanh-function method for (1+1)-dimensional systems like the coupled integrable dispersionless and shallow water wave equations, (1+1)-dimensional ones like the generalized NNV, DS, BKK, etc., and (3+1)-dimensional Burgers system, and so on [
43,
44].
As an extension of the linear variable separation method in the nonlinear case, it is meaningful to see whether the method can be used to solve more systems, and to see whether the method can be further extended to obtain more new solutions.
©Higher Education Press and Springer-Verlag 2009