1. Introduction
In a previous paper [
1], we introduced an improved approach to the rather classical method for solving nonlinear second-order differential equations, based on the use of the first derivative as a new variable and on the investigation of the resulting first-order equation in this new variable [
2]. Despite the apparent simplification generated via the reduction of the differentiability order, the method is not easy to apply, as it leads to an Abel-type equation [
3]. Precisely to overcome this situation, the approach we proposed, named the attached flow method, contains an additional step: a forced decomposition of the term in the equation that does not contain derivatives. To be very specific, we consider a rather wide class of second-order equations, the reaction–diffusion equation:
Equation (
1) is the explicit form of the ordinary differential equation generated after applying the wave transformation
to the general nonlinear diffusion–convection–reaction equation with functional coefficients. In the
space defined by the coordinates
, such an equation can be written as follows:
It is a general equation describing nonlinear phenomena from various fields, such as nonlinear optics [
4], plasma physics [
5,
6], or heat and fluids diffusion [
7]. From mathematical point of view, there are many interesting approaches related to the stability and convergence analysis of this
equation, to its variational structure, or to a positivity-preserving and energy-stable operator splitting scheme [
8,
9].
As we are now interested in the traveling waves solutions, we will consider here exclusively the
Equation (
1).
In [
1], we imposed
,
, and
to be monomials, with
, while
had the freedom to be a polynomial with minimum and maximum degrees in
u denoted as
, respectively
. How the method works was illustrated for the following cases: (i)
,
,
; (ii)
,
,
, and
; (iii) none of the coefficients are vanishing, but
becomes a monomial. The case when
is the only vanishing coefficient was only announced as requiring special precautions, with the mention that it would be addressed later. The approach of this case represents the main objective of the current paper.
The paper is structured as follows: after these introductory notes, the attached flow method is revised in the second section. The third section is devoted to the presentation of a specific case of (
1) with
, a new version of the generalized Dodd–Bulough–Mikhailov (gDBM) equation that, to avoid the solving difficulties, includes a simple translation of the variable. How the attached flow method has to be applied to this model will be investigated in the fourth section of the paper, while the last section will present a synthesis of the reported results with some supplementary comments on the method. We do not claim to report new DBM solutions here; the real objective of the work is to see, using this new gDBM as a toy model, how the general algorithm of the attached flow method should be applied to equations in this class.
2. Basic Facts on the Attached Flow Method
Let us now summarize the key aspects presented in [
1] for the attached flow method. Starting from a general nonlinear second-order differential equation of reaction–diffusion type [
10], the method supposes two reductions: (i) the reduction in the differentiability order by defining the first derivative of the variable [
11,
12] as a new variable called the flow, and (ii) the reduction in the nonlinearity degree by decomposing the derivative-free term so that the flow appears explicitly in it [
1]. The reduction in the nonlinearity avoids reaching an Abel-type equation, which is difficult to solve analytically [
11]. The previous two reductions lead to a simpler equation that, in our approach, is easily solved using specific balancing rules. This supplementary balancing makes the attached flow method very effective in looking for analytic solutions that, in other previous approaches, appear in complicated integral forms and need full effort to be obtained.
Explicitly, the method is based on three main requirements:
- -
The variable must supplementarily satisfy a flow equation of the following form:
Relation (
3) represents the classic requirement for reducing the differentiability order recommended in textbooks. It transforms (
1) in a particular case of the second kind of Abel equation in the variable
:
- -
The flow must be connected with via a forced decomposition of the following form:
This is the novelty proposed by us, and it aims to avoid the direct solving of Equation (
4) that usually only has implicit solutions. The relation (
5) transforms (
1) into the following first-order differential equation:
- -
The two functions from (
5),
and
, are considered polynomials of the following form:
The summation limits in (
7) are established through a balancing procedure, imposing the requirement to compensate the different powers of
u in relations (
5) and (
6).
The steps in solving (
1) now become the following: (i) to determine the flow
and (ii) to find the solution
by integrating (
3). The first step is supposed to consider (
7) in Equations (
5) and (
6) and to determine the possible form of
via an adequate balancing procedure.
Two important clarifications need to be made at this point:
- -
It is clear that the decomposition (
5) is not unique. Various solutions can be generated, supposing
and
as polynomials with degrees running from unit to unit, between {
and
}, respectively {
and
}. However, a single decomposition proves to be compatible with solving a certain nonlinear model. It is established in the attached flow approach through a specific balancing process, another element of originality of the method.
- -
In general {} are constant coefficients. In specific cases that will be mentioned below, we will be obliged to consider them as functions of the independent variable:
In these cases, the flow Equation (
3) will become the following:
With (
8), the reduced Equation (
6) becomes the following:
With these remarks in mind, let us now return to the problem of determining the flow,
. This is now equivalent to determining the coefficients
, and
, the maximum, and, respectively, the minimum degrees in
u from (
7) or (
8). The relation (
5) imposes, as necessary but not sufficient conditions, the following requirements:
The requirement for mutual compensation of the terms with different powers in
u that appear in (
6) leads to an additional set of algebraic relations that, in principle, suggests the admissible forms of the flow
or more precisely leads to the following conclusions on the maximal degrees in
u of the flow
[
1]:
These degrees are not compulsory integers. How exactly the mechanism is functioning will be illustrated in the fourth section of the paper with a specific sub-equation of (
1) with
, namely the gDBM equation.
3. The DBM Model as a Reaction–Diffusion Equation
As announced, the aim of this article is to show how the attached flow as a solving method can be applied on reaction–diffusion equations of the form (
1) with
. To be very specific, we will illustrate this using the DBM model, important in many problems from nonlinear optics, hydrodynamics, or quantum field theory. Despite numerous studies on the DBM equation and the various techniques used for solving it, the model is surprisingly rich, and depending on the number of parameters each approach introduces in the study, new classes of solutions can be generated. An important note has to be made here: there are maybe dozens of recent papers claiming that new DBM solutions have been obtained, but in many cases, these apparently “new” solutions are nothing more than solutions expressed as slightly different mathematical expressions belonging to already known classes of solutions. This is one of the current errors pointed out in [
13], and this is why, to avoid misunderstandings, we have already stated that we will not introduce new solutions in this paper, but will only illustrate how the attached flow method can be used in the case of the DBM equation. A possible classification of the DBM solutions is suggested in [
14].
In the
space of the coordinates {
}, the DBM model is described by a function,
, which satisfies the following equation:
At the classical level, (
12) is known as a nonlinear integrable model describing both classical and quantum propagation phenomena. In the quantum context, the equation appears as the Bullough–Dodd model for scalar fields [
15], and it is equivalent to an affine Toda field with zero curvature representation in twisted affine Kac–Moody algebras [
16]. This feature assures the existence of soliton-like solutions.
Equation (
12) can be included, in turn, in a more general equation, the generalized Tzitzeica–Dodd–Bullough–Mikhailov (gTDBM) equation [
17]:
From this form, we can recover not only the simple DBM Equation (
12) but also other interesting models, such as, for example, the
- or
–Gordon equations [
18] and the Liouville equation, corresponding to
.
Due to the non-polynomial form of (
13), special techniques have to be applied in order to determine its solutions. The classical approach consists of using the transformation
with the master Equation (
12) taking the following form:
Equation (
14) contains four parameters: the real parameters
respectively, the integers
. This number can be reduced using suitable choices. We will discuss here various reduced equations with fewer parameters. The starting point will be a slightly different form of the previous equation, usually called the generalized DBM equation [
14]. It corresponds to the following choices:
,
, choices that lead to the following:
This will be the main equation considered in this paper, to which we will apply the attached flow. The method allows the traveling wave solutions to be found, and it supposes, as a first step to transform (
15) into a nonlinear ordinary differential equation (NODE) by taking into consideration the wave transformation,
. With it and using the notations
, Equation (
15) can be written as follows:
A first remark is that the DBM model (
12) corresponds to (
16) with
and
:
A second remark is that (
16) can be generalized by including a translation of the dependent variable:
The main equation to be studied becomes the following:
where
m is the nonlinearity order,
p and
q are the constant coefficients of the free derivative term,
V is the wave velocity, and
k is the translation constant.
Equation (
19) is what we will understand here by the generalized Dodd–Bullough–Mikhailov equation. In its version with
, it was intensively studied before; see, for example, [
17]. This version includes what is called the DBM equation as the particular case,
. The translation with
is what our paper proposes as a novelty, and as we will see, it is essential to finding the minimal degree n(f) for the flow (
7).
By translating the variable, the supplementary term breaks the initial symmetry between the minimal degrees of and , making possible , a key fact in solving the problem with our method. The derivative-free term generated in the same process now contains a full spectrum of powers in u and those terms, together with derivative ones, allow the solving of the reduced equation: compatible expressions for the two functions may be generated now, when the specific balancing of the attached flow approach is applied. We will discuss in the next section how this can be done and what the results are when nonlinearities given via are considered.
Let us mention that the DBM equation has been solved so far with various other methods. The simplest approaches tend to use a predefined form of solutions, as in [
19] or [
20], where the tanh method is applied. More generally, traveling wave solutions for DBM have been generated via different methods belonging to the auxiliary equation technique: the
-expansion [
21], the functional expansion [
22], or the sub-equation technique, considering the elliptic Jacobi as an auxiliary equation [
15]. Soliton and compacton-like solutions were generated in [
23] with the exponential function method, or in [
24] with the generalized Kudryashov method and an improved F-expansion method. Other investigations were based on the truncated Painlevé expansion [
25], Darboux transformation [
26], or integral bifurcation [
17]. Analytic solutions for DBM were reported in [
27] using Lax operators, an approach that, together with Hirota’s method, provides important tools for investigating the complete integrability of nonlinear models [
28,
29]. An invariant group of solutions could also be obtained using the symmetry reduction method [
30]. In [
31] the DBM equation was approached based on the first integral method, the closest approach to the attached flow that we will use here.
4. Solving DBM with Attached Flows
Let us consider now how the gDBM Equation (
19) could be solved directly using the attached flow method. As it has the form of the generalized reaction–diffusion Equation (
1), we can transfer the results mentioned for this last equation in
Section 2 from above. It is simple to see that the following applies:
So,
is a polynomial with
, and
is a monomial with
, while
is a polynomial with
and
. We have a case where
and
from (
11), so the general theory gives the following:
The reduced Equation (
6) becomes the following:
An important remark is that
and
are multiples of
, integers only when
m is even. The minimal degrees also satisfy the constraint (
10) with
, so the following applies:
As we consider
, we conclude that
. More precisely,
if and only if
. The flow
to be attached to (
19) will be given by (
7), but its expansion essentially depends on the considered value of
m. For convenience, we will choose the following notations:
Similarly, we will consider
, given through the following:
The previous relations have to make compatible Equations (
5) and (
6), equations that, for gDBM, have the following specific form:
Using the suitable expressions of
and
from above in these last two equations and asking for the canceling of the coefficients of various powers of
u, we get an algebraic system that allows us to determine the coefficients
and
. We will see that very important are the last coefficients, {
} for
and, respectively, {
} for
, and the last equations lead to the following relations among them:
Conclusion: To make the large number of mathematical derivations clearer, we can synthesize the flowchart that is used in the attached flow method to solve the gDBM equation:
We start from the gTDBM Equation (
13) and transform it into (
15) via an adequate change in the variable and choice of parameters.
The PDE (
15) is reduced to the ODE (
16) using the wave variable.
The translation (
18) leads to Equation (
19), which will be studied for various values of
m.
We apply the first specific ingredient of the attached flow approach: the decomposition of
, as in (
5). The gDBM Equation (
19) takes the reduced form (
22).
We apply the second ingredient of the attached flow: a balancing procedure that leads to explicit forms of
and
, which depend on
m: (i) if
m is even, with (
24) and (
26); (ii) if
m is odd, with (
25) and (
27).
We use these expressions to find the solutions of (
19) for
, …,
4.1. Solutions for
Let us consider first that
, so the equation to be solved is as follows:
In this case, using (
25) and (
27) in (
28), respectively (
29), will yield the following:
with the following compatibility condition:
In conclusion, the gDBM equation can be solved for
using the attached flow method. A translation with
k, given by (
33), is required. The equation accepts, in this case, a solution of the following form:
We can see from (
33) that
when
. No translation is needed in this case. Otherwise, the values of
k are influenced by the values of
q and
p. As
the specific form of the final parabolic solution (
34) depends on the parametric errors induced via
q and
V.
4.2. Solutions for
When we consider
in (
19), the equation we have to solve will be as follows:
As
, we have the following:
. A direct check shows that trying to apply the aforementioned solving procedure considering
as constants leads us to incompatibilities. It is not possible in this case to determine
and
in the form (
7) with
and
as simple constants due to the fact that the first two terms,
and
, from the reduced Equation (
22) cancel each other and lead to
, incompatible with the decomposition
. For the procedure to work, we must now consider a flow with an explicit dependence on the independent variable,
, as in (
8). We have to apply the method of the attached flow with variable coefficients for
f and
h. We will consider the following:
Using these expressions in the decomposition
and in the reduced Equation (
22), we generate a system of equations that allows, in principle, for finding the functions
and the compatible values of the parameters
. From the decomposition
, we get relations allowing to express
in terms of
:
Introducing these expressions in (
35) and canceling the coefficients of various powers of
u, we get the following compatibility conditions:
Conclusion: In the case of
, the generalized DBM equation takes the form (
35). It has a nontrivial solution for
and
, with the corresponding attached flow that solves the equation being as follows:
By integrating the flow equation, we get the following solution for the gDBM equation:
Remark: Numerical computations show that nontrivial solutions could be also obtained for
, but around
only. Equation (
35) could also admit a nontrivial solution for
if
p and
q also become functions of the independent variable
. In this case, the problem of the parametric errors becomes important and has to be properly considered.
4.3. Solutions for
In the case of
, using (
10) and (
11), we conclude that
and
. For the minimal degrees, as
, we get
and
. We are in a situation where the degrees of
and
are no longer integers. We will consider the following:
We impose the compatibility conditions (
28) and (
29), and we get the following algebraic system:
with the coefficients
given via the following:
These relations are compatible with the following:
We conclude that applying the attached flow method to the generalized DBM Equation (
19) in the case of
asks for a translation,
with
. Depending on the values of the other parameters, the following solutions can be generated:
- (i)
For and , we get periodic solutions:
- (ii)
For and , the solutions are hyperbolic:
- (iii)
For , we get a rational solution:
Let us mention that all of these solutions were obtained and reported in [
14] but using other numerical methods, not directly as here. The solutions are influenced by different choices of
q and
p. Other interesting numerical experiments on the DBM equation and the influence of the parameters on the solutions are included in [
32,
33]. As a numerical example, if
and
, the hyperbolic solution could become a harmonic one, and vice versa. So, the parameter values can strongly affect the types of solutions.
4.4. Solutions for
Let now us consider Equation (
19) with
. The general relation (
24) leads us to the idea that the flow should have the following form:
The compatibility of (
28) and (
29) can be obtained if and only if
. The coefficients
from (
39) satisfy, in this case, the following constraints:
As an explicit expression of the flow, we can use the following:
We can generate various numerical experiments using the previous expression to integrate the flow Equation (
40):
- -
For and , the solutions are periodic:
- -
For and , the solutions are hyperbolic:
- -
For , the solution is rational:
4.5. Solution for
Let us now consider that
in (
19). We have, in the case of (
25), the flow given by the following:
The complementary function
will be as follows:
The compatibility of the previous expressions with (
28) leads to the following algebraic system:
The compatibility with (
29) provides other supplementary requirements:
Direct computations show that the only case of the compatibility of (
44) and (
45) is for
. In this case,
, and the solution has the following form:
Remark: Let us note that, as in the case of
, for any
the gDBM equation may admit analytic solutions for
only. This is somehow related to the fact that the compatibility conditions that must be imposed lead to algebraic equations of orders higher than 5 and there are no general numerical formulas that provide analytic solutions expressed in radicals. In fact, as Abel and Ruffini established long ago [
34,
35], such formulas exist up to
, not for quintic equations. These last equations could have solutions in terms of elliptic functions [
36] or as very complicated expressions of no practical interest.
5. Comments on the Method and Results
This paper has dealt with applying the method of the attached flow proposed in [
1] to a particular case of the reaction–diffusion Equation (
1), namely the case of
. The key aspects of the attached flow method applied to a general equation of the form (
1) is the decomposition
, where
represents the flow satisfying the equation
. The advantage of this decomposition is that it is always feasible, it brings the equation to the reduced form (
6), and it allows the flow to be determined as polynomials of the form (
7). The extreme values of the degrees,
and
, are obtained via other important aspects of the method: the introduction of gradation rules and the requirement that terms of the same power in
u compensate each other. The graduation rules seem to introduce restrictions, being applicable only to equations with polynomial coefficients, but most models of physical interest, defined in various space–time dimensions [
37], belong to this category. More sophisticated graduations appear when multidifferential complexes are considered [
38,
39].
In the case of gDBM Equation (
16), the balancing requirement leads to a system of algebraic equations that must be solved. The graduation rules show us that, for some values of
m, compatibility problems could appear in
, and as a novelty brought about via the paper, a translation,
, was taken into account so that we studied Equation (
19):
Moreover, only for
, that is, the differentiability order of gDMB, the compatibility in the highest degree,
, asks for a dependency of
in the flow equation, which could be written in the general form as follows:
where
represents the Kronecker symbol.
The gDBM Equation (
19) was written with five parameters: two real parameters,
p and
q, the wave velocity,
V and two others of special interest in our study:
m—the degree of nonlinearity of the free term, and the translation parameter
k. Let us summarize the main solvable cases and the parametric error influence we have reported here, based on various numerical experiments. If we consider
, the equation can be solved directly for any value of
m, and its general solution does not depend on
k. For
,
, the solution behaves as follows:
As we can see, a special situation appears for
, and it is due to the fact that gDBM is a second-order differential equation. Trying to apply the attached flow in this case, we needed to consider flows of the form (
8), depending explicitly on the independent variable,
.
For , depending on m, we obtained solutions with or without translations. Practically, no translation is necessary for and a translation, , is required for . For , our method allowed us to find solutions in the case of only. For , the system of algebraic equations to be solved contains an equation of the degree of 5, whose roots cannot be expressed with radicals. It cannot be compatibilized with the other equations of the system. This impossibility of compatibilization is valid for any , so all these equations cannot be analytically solved, not because of the attached flow method but, rather, due to the Abel–Ruffini theorem.