Traveling Wave Solutions of the Quintic Complex One-Dimensional Ginzburg-Landau Equation ()
1. Introduction
As a partial differential equation (PDE) the quintic complex Ginzburg-Landau equation (QCGLE) is one of the most studied nonlinear equations in physics. Apart from many applications in the natural sciences [1] [2], the equation is interesting in and of itself: as a nonintegrable, nonlinear PDE; it admits a reduction to an autonomous ODE described in the simplest case by introducing the new variable
, where x is a space coordinate and t is time (traveling wave reduction). While integrable PDEs are “easy” to solve by the Inverse Scattering Transform, for nonintegrable PDEs no such method is known to obtain solutions.
Probably, due to this reason, several non-perturbative methods have been proposed to find some particular solutions of (partly) nonintegrable systems (“tanh-method”, “exponential-method”, “Riccati-method”, “Jacobi expansion-method”, ...., see also [3] and references therein). A comprehensive treatment of the QCGLE using Panlevé analysis is presented in [4] [5] [6] [7]. In particular, an algorithm able to provide in closed form all those traveling wave solutions that are elliptic or degenerate elliptic has been applied to the QCGLE (results in [4], Equation (52) and in [5], Section 6).
As a starting point for perturbation calculations or stability analysis exact traveling solutions of nonlinear equations such as (2) below are very useful, however rare. Remarkably, if certain constraints for the parameters are satisfied, solutions can be derived. In [8] [9] [10], special relations between phase and amplitude of the traveling wave are assumed in the solution ansatz, leading to particular analytical solutions. Following this path, we propose a relatively simple (ad hoc) approach which allows us to find exact analytical solutions not known in the relevant literature.
The rest of the paper is organised as follows. In Section 2 we reduce the QCGLE to a system of two ordinary differential equations, specify it for two particular (ad hoc) relations between phase function and amplitude, and describe the procedure to obtain the ansatz parameters
and constraints of these relations. An exact solution together with its dependence on the parameters of the QCGLE is presented in Section 3. For elucidation examples are presented in Section 4. In Section 5, the paper concludes with comments on articles having a certain contact to the present paper and with suggestions for further investigations.
2. Reduction of QCGLE to First Order Nonlinear ODEs
We seek particular (traveling wave) solutions [2] [8] [9] [10] [11]
(1)
where f and
are real-valued, of the QCGLE
(2)
with complex-valued function
and with real dimensionless constants
. As mentioned in the Introduction, Equation (2) has a wide range of applications. Thus the meaning of variables and parameters may be quite different (see [1] [8] and references therein). Usually, x denotes the scaled propagation distance and t the scaled time.
To find real
, together with corresponding assumptions and constraints for their existence, we insert ansatz (1) into Equation (2), set
, introduce
,
, and separate real and imaginary parts. Hence we obtain the system of two ordinary differential equations for functions
and
(3)
(4)
As mentioned above, there is a general method in the literature [5] [12] to find all elliptic solutions of the QCGLE. We note however that the explicit solution obtained by this method (see Equation (52) in [4b]) exists at the price of 5 constraints among the coefficients of the system (3)-(4). Thus it is obvious to try for a different approach. In particular, we seek for solutions
of the system (3)-(4) by assuming [8] [9] [10] two possibilities for
(5)
(6)
where real constants
are to be determined.
We consider the solutions
of the system (3)-(4), with assumptions for
from above, and determine parameters
for both cases (5), (6) separately. In each part (for (5) and for (6)) we derive the solution
and study its properties (disregarding its stability). We note that system (3)-(4) is equivalent to (13)-(14) in [5].
To simplify formulas we use the abbreviations
in what follows.
First, we consider Equations (3), (4) subject to
. Equations (3), (4) read in this case
(7)
(8)
By eliminating
from (7) and (8), we obtain for
(9)
with
(10)
(11)
(12)
Using (9), we get
(13)
Substituting (9) and (13) to the system (7)-(8), we obtain the following equivalent system only in terms of
and the parameters of QCGLE
(14)
and
(15)
In Equations (14)-(15) the coefficients in front of
,
,
as well as free coefficients must be equal to zero, leading to equations which imply
necessarily. With
the system (14)-(15) can be simplified to the following system of six equations:
(16)
(17)
(18)
Combining the first Equation (16) and (10), we obtain
(19)
Furthermore, Equations (16)-(18) are solved by
(20)
Consistency of d’s in the Equation (20) leads to the constraints
(21)
necessary for the existence of solutions d.
Thus, parameters
and
in Equation (9) are expressed according to (19)-(20) and (10)-(12), respectively in terms of the parameters of the QCGLE (with constraint (21)). The solution
of Equation (9) is presented below.
Second, considering the case
, and inserting
into the system (3)-(4), we get
(22)
and
(23)
Eliminating
from (22) and (23),
can be derived as
(24)
Assuming for simplicity
, we get
(25)
and hence
(26)
Substitution of (25) and (26) into system (22)-(23) and considering vanishing coefficients of powers of
, leads to
(27)
(28)
(29)
(30)
where
have been assumed. Parameters
and c must satisfy system (27)-(30). Equation (27) implies
(31)
Solutions of (28) and (29) are
(32)
and
(33)
respectively. Inserting
into (30) and solving for c we get
(34)
Consistency of (32) and (33) yields the constraint
(35)
With (31), (32) (or (33)), (34) all parameters in (25) are determined in terms of the parameters of the QCGLE, so that (25) can be solved for
subject to (35).
3. Traveling Wave Solutions
The nonlinear first order ODEs (9) (with
) and (25) can be solved by standard methods yielding
as an inverse function of an elliptic integral, but not
explicitly. Thus, it is obvious to look for another possibility to find elliptic solutions of (9) and (25). With
according to (9),
necessarily, and hence, taking into account (10)-(12) and (16)-(21), the solution of system (7)-(8) uniquely can be rewritten as
(36)
with
(37)
Thus, Equation (9) (with
) and Equation (36) are equivalent.
Following the same line with
according to (25) (using (22) or (23), (27)-(35)) we obtain (36), and hence equivalence of (25) and (36). The coefficients in (36) are given by
(38)
The solution of (36) is well known (see [13], Equation (17)). With some algebra we get
(39)
where
denotes Weierstrass’ elliptic function with invariants
and
as an integration constant is the intensity
at
. The invariants
can be expressed in terms of the ansatz parameters and the coefficients of the QCGLE. For the case (5) we obtain
(40)
with a given by Equation (10). For case (6) we get
(41)
with
according to Equations (32) or (33) has been used.
Integration of Equations (5) and (6), using Equation (39), yields the phase function
. For case (5) we obtain
(42)
where
given by (37) and (40), respectively and chirp parameter d by (20). Since
in this case F and
are stationary. As is known [8], subject to certain conditions, traveling wave solutions can be obtained from the stationary solutions applying a Galilean transformation (see [8], Equation (53))
to solutions (39) and (42). —We disregard this possibility to find solutions of the QCGLE.
For case (6), integral
with
according to (39), cannot be evaluated in closed form (in general). With respect to the example presented below, for particular
, integration yields a closed form result. If
(see example in Section 4), solution
reads
(43)
and
(44)
where
are given by (37) (
), (40) and by
with c according to (34).
It should be noted that in both cases (40) and (41) the discriminant of
vanishes, so that
degenerates to trigonometric (
) or hyperbolic (
) functions, thus depending on the sign of
in (37) and (38) (see [14], 18.12). Hence,
according to (39) must be rewritten in two versions. In the following, we are preferring to maintain form (39) since it is rather compact and independent on the sign of
.
Summing up, solutions (1) of Equation (2) can be derived if
and
,
, are related by (5) or (6), with
given by (39) subject to certain constraints and conditions for
. It is necessary to check consistency of the results with the initial assumptions
. This will be done in the following.
First, we note for case (5) that
are real (see Equation (10) with
). Chirp parameter d is real and hence
since (20) is satisfied. Constraint (21) is necessary for unique existence of d.
Second, for case (6),
are real (see Equations (37), (40)) if c is real according to Equation (34) and hence
. Thus, real c implies nonnegative radicand in Equation (34). Constraint (35) is necessary for unique
. —We emphasise that real
are important for evaluation of Equations (38), (39).
Third, we note that real
imply real
and
if z is real (see [14], 18.5). Thus,
according to (39), is real, since
due to Equation (38).
Due to the properties of
(poles and periods) and the dependence of the denominator on
, a singularity analysis of
w.r.t.z on the basis of (39) is very difficult. Indeed, what can be stated is that
exhibits only poles w.r.t. z, consistent with a Theorem by Conte and Ng [7]. To conclude, there is consistency between the results obtained and the initial assumptions for
.
As is known [15], that Equation (38) alone is suitable to study the nature of the solution
by considering the graphs
of Equation (38) (denoted as “phase diagram” in the following). Types are depicted in Figure 1.
It is clear that the choice of the intensity
in relation to the zeros of
(
) is essential for the singularity behaviour of
.
must be chosen such that
. In this manner certain
Figure 1. Phase diagrams (types)
according to Equation (37) corresponding to bounded or singular solutions
. Green domains: bounded solutions; red domains: singular solutions. (a)
, periodic
. (b)
, pulse-like
;
, singular. (c)
, pulse-like
. (d)
, kink-like
;
, singular. (e)
, algebraic pulse-like
. (f)
, unbounded
for any
. Comments in the text.
domains are defined (labelled green or red in Figure 1), where
is bounded (in a finite interval) or unbounded (in an infinite interval), respectively. Characterisation in the phase diagram conditions (PDCs) (a)-(f) in the captions of Figure 1 (periodic, pulse-like, kink-like) is well known in the literature [15].
The foregoing results can be summarised as follows. Bounded or unbounded solutions
of Equation (2) exist if
and
,
are related by
or
, if the amplitude
satisfies the ODE
, and if the parameters of the QCGLE satisfy the PDCs associated to Figure 1 together with certain constraints (see, e.g., (21), (35)). The parameter range for existence of these particular solutions is the subspace (in parameter space) defined by the PDCs and the constraints.
4. Examples
To elucidate the foregoing results, we first consider
with
. Needless to say, that if all parameters are prescribed, constraints (21) are not satisfied in general. Due to (21) one of the parameters
cannot be prescribed. As a solution of (21), this parameter must be inserted into (20) leading to (lengthy) expressions for d, hence for
and, finally, to
and
according to (39) and (42), respectively. For simplicity, we assume a particular solution of (21) w.r.t.
and
. If
(45)
the constraint (21)
(where
and
corresponds to sign in (44)) is satisfied and c is real (see Equation (34)), we obtain
(46)
(47)
(48)
Subject to (47) the PDC according to Figures 1(a)-(f) must be evaluated. For instance, parameters
(49)
are consistent with the PDC of Figure 1(a). In this case
(see Figure 2) is periodic with period p (see [14], 18.12.30)
Figure 2. Intensity
according to Equation (37) and parameters (48).
(50)
A plot of
with
according to (42) is shown in Figure 3.
The second case
can be exemplified following the line presented before. If
(51)
constraint (35) is satisfied. Subject to (51), parameters
(52)
are consistent with the PDC of Figure 1(d). Coefficients
and invariants
are given by (37) and (40), respectively. Two field patterns of
are shown in Figure 4(a) and Figure 4(b). We note that the PDC according to Figure 1(d) is the only possible, since
according to (39) imply
, independent on the choice of
. As mentioned above, the unbounded (“spiky”) solution
, depicted in Figure 4(b), appears because
is greater than the double root
of
.
As is known [16] [17] [18] phase diagram analysis is an effective approach to study existence and parameter dependence of the solutions
of the nonlinear ODE (36). For instance, parameters (49) correspond to a physical (bounded and nonnegative) solution
according to (39) and hence to a physical
. The associated PDC together with the corresponding constraint(s) define a subspace and thus a range of parameter variation. The (particular) constraint
Figure 3. Field pattern according to Equation (1) and parameters (48).
is satisfied by (45). Thus the range
is defined by the PDC of Figure 1(a) only. With parameters (see (49))
,
,
,
,
, evaluation of the PDC leads to the range
depicted in Figure 5. With parameters
,
,
,
,
, evaluation of the PDC yields to the range
depicted
Figure 4. Field patterns according to Equation (1) and parameters (51): (a)
; (b)
. Comments in the text.
Figure 5. Parameter region for allowed
according to phase diagram Figure 1(a) and parameters:
.
Figure 6. Parameter region for allowed
according to phase diagram Figure 1(a) and parameters:
.
in Figure 6. Further triples of
can be considered correspondingly. Thus the whole range of parameter variation of (49), associated to solution
, depicted in Figure 3, can be determined. —Needless to say, this kind of considerations also applies to solutions corresponding to Figures 1(b)-(e).
5. Conclusions
In conclusion, we presented an approach to obtain closed-form traveling wave solutions of the QCGLE. The central assumptions are restrictions on the dependence between
and
according to Equations (5) and (6). The solution
is compactly represented by Equation (39) in terms of Weierstrass elliptic function
(disregarding the fact that
is degenerating due to the vanishing discriminant of
). As a consequence, the phase function
can be represented in closed form analytically (see Equations (42) and (44)). The behavior of
is studied by means of a phase diagram approach leading to conditions for “physical” (periodic, pulse-like, kink-like) solutions
as well as to conditions for unbounded (“spiky”) solutions
. In particular, we obtained the remarkable result that no bounded solution exists if the parameters of the QCGLE satisfy the condition
, where
are given by (37) or (38) and irrespective of
. —The phase diagram approach is also suitable to investigate the parameter dependence of solutions (see Section 4).
Finally, we compare our approach with some other methods for getting solutions of the QCGLE.
1) The “simple technique” presented in [8] leads to some results that are consistent with corresponding results above: Assumption (5) in [8] is essentially the same as Equation (5) above. Results (11) and (12) in [8] are the same as (20) and (19) above, respectively. It seems that (14) in [8] is identical with (21) above. Periodic solutions
are not presented in [8], though they are possible solutions of Equation (34) in [8], that has the same structure as Equation (36) above. By using (38) with (10)-(12), it seems that (36) above and (34) in [8] are consistent. Nevertheless,
according to (35) in [8] is not the general solution of Equation (34) in [8].
2) Based on numerical simulations, extreme amplitude solutions of the QCGLE are reported in [19]. Whether they are related to the unbounded solutions above (see Figure 4(b)) is an open question.
3) The particular relations (3.38 a,b), (3.51 a,b), (3.57 a,b) used in [2] lead to exact solutions that describe fronts (kinks), pulses, sources and sinks. Obviously, as in [9], periodic solutions are not presented.
4) In [9], based on a Laurent expansion ansatz and a particular relation between amplitude and phase function (see Equations (12), (14) in [9] ), exact solutions are derived (see Equation (20) in [9] ).
5) In our estimation, even if we take into account recent publications ( [3], and references therein), the most comprehensive general (without particular relations between phase and amplitude) treatment to obtain exact solutions of the QCGLE is presented in [4] (a) [5] ( [11], Equations (33), (34)) ( [4] (b), Equation (52)) [6] ( [7], Equation (50)). Comparing the solutions in [4] (b) and [11] with solutions (39), (42) and (43), (44) above, we first note that the number of constraints are different. Solutions (37), (42) are associated to two constraints as one of the four possibilities of (21); the particular solutions (33), (34) in [11] are connected with 3 and 5 constraints, respectively. As mentioned above, the general solution (52) in [4] (b) exists subject to 5 constraints. With respect to the formal representation of amplitude and phase, we secondly note that results in [4] (b) and [11] are simpler than our results above. The same holds for Equation (50) in [7]. However it seems that—in the general treatment—the question of defining conditions for physical solutions is not addressed. This is not a trivial problem (if, for example, solution (52) in [4] (b) is considered, meromorphic M must be non-negative and
must be real). These requirements must be discussed subject to the (well known) analytical properties of
and
and subject to 5 constraints). —Obviously, the phase diagram approach is suitable not only for studying the parameter dependence of solutions outlined above, but also for specifying the parameters such that solutions (39), (42), (43), (44) and hence
are physical.
6) For the cubic Ginzburg-Landau equation the non-existence of elliptic traveling wave solutions has been proved [20]. So it is obvious to consider our result
above if
. With
we obtained
necessarily, consistent with the proposition in [20]. According to (20), (21) it follows
and hence
. For case
, we assumed
for simplicity, leading to
(see (32), (33)), and
, in contradiction to bounded
.
Summing up, for both cases (5) and (6), our results are consistent with [20]. Without assuming
the question of consistency is open. —With respect to case (6), we conclude, that the non-existence claim in [20] is not valid in the cubic-quintic case.
Directions in which further investigations can go should be indicated. First, it would be interesting to find more relations than (5) and (6) in order to increase the solution set of the QCGLE. Secondly, it would be important to find generalisations for ansatz (5) as well as for (6) by, for example, including a further parameter. Thirdly, if (5) and (6) are modified by “small corrections”, the solutions presented above may be taken as start solutions (different from solutions of the NLSE) for a perturbation approach. Finally, a stability analysis of the solutions found with respect to the parameters of the QCGLE as well as with respect to “small” perturbation of f seems possible.