Existence of Solitary Waves in a Perturbed KdV-mKdV Equation

In this paper, we establish the existence of a solitary wave in a KdV-mKdV equation with dissipative perturbation by applying the geometric singular perturbation technique and Melnikov function. *e distance of the stable manifold and unstable manifold is computed to show the existence of the homoclinic loop for the related ordinary differential equation systems on the slowmanifold, which implies the existence of a solitary wave for the KdV-mKdV equation with dissipative perturbation.


Introduction
KdV-mKdV equation plays a most important role in soliton physics and appears in many practical scenarios such as thermal pulse and wave propagation of the bound particle [1]. Recently, many mathematicians are interested in studying traveling wave solutions for the KdV-mKdV equation, and there are many tools to find the traveling wave solutions, such as the inverse scattering method [2], the double subequation method [3], the sine-cosine method [4,5], the Darboux transformation [6], the Exp-expansion method [7,8], and the bifurcation method of dynamic systems [9]. KdV-mKdV equation is one of the most popular soliton equations; therefore, there were widely related investigations in [10][11][12][13][14]. On the contrary, based on the relationship between the solitary wave solution and the homoclinic orbit of the associated ordinary differential equations, Fan and Tian [15] proved that the solitary wave persists the singularly perturbed mKdV-KS equation from the geometric singular perturbation point of view, when the perturbation parameter is suitably small. Mansour proved the existence of traveling wave solutions of some singular perturbed equations [16] by using the geometric singular perturbation theory. Yan et al. [17] investigated a perturbed generalized KdV equation. ey proved the existence of solitary waves and periodic waves by applying the geometric singular perturbation theory and the regular perturbation analysis for a Hamiltonian system. Solitary waves are a special form of ultrashort pulses, which maintain a constant shape, amplitude, and velocity during their propagation. From the point of view of physics, solitary wave is a special product of the nonlinear effects of matter. Mathematically, it is a class of stable, energy-finite, nondispersive solutions of some nonlinear partial differential equations. As the particular characteristics of the solitary wave, we shall use Fenichel persistence theorem [18,19] to study the existence of the solution for the singularly perturbed KdV-mKdV equation in this paper.
where p, q ∈ Z + and p < q, not studied by the same method before. We try to investigate the existence problem of solitary wave solutions of (1) by using the geometric singular perturbation technique.

Fenichel Theory
In this section, we review the necessary theory that we will use for our discussion. We take the exposition in Christopher [19]. For details, one can resort to Fenichel [18] or Jones [19]. Geometric singular perturbation theory was first given by Fenichel and is often referred to as Fenichel theory. A comprehensive overview of the theory, as well as new proofs of many theorems and detailed examples of applications, was given by Jones [19].
Consider the standard fast-slow system: where · is the derivative to t, 0 < ε ≪ 1 is a real parameter, . . , g n g ) T ∈ R n g , n f + n g � n, max‖ _ f‖ � max‖ _ g‖, and f corresponds to fast directions and g corresponds to slow directions. f, g are C ∞ on the set U × V, where U ⊂ R n and V is an open interval containing 0. Assume that, for ε � 0, the system has a compact normal hyperbolic manifold M 0 which contained in the set f(x, y, 0) � 0. e manifold M 0 is hyperbolic normally if the linearization of (2) at each point in M 0 has exactly n g eigenvalues with zero real part, where n g is the dimension of the center point.
Fenichel's Persistence eorem 1. Under the assumption described above, if ε > 0 is small sufficiently, there exists a function M ε defined on D such that the manifold M ε is invariant locally under the flow of (2). Moreover, M ε is C r -smooth for any r < + ∞, and M ε is when ε ≠ 0, systems (2) and (3) are equivalent, system (2) is called the fast system, and system (3) is called the slow system. Geometric singular perturbation theory exploits a differential equation's geometric structures, such as its slow (center) manifolds and their fast stable and unstable fibers.

Singular Perturbation Analysis to the KdV-mKdV Equation
For a given constant c > 0, substituting (1), it reduces to an ordinary differential equation Under the condition of u( ± ∞) � 0, u ′ ( ± ∞) � 0, and u ″ ( ± ∞) � 0, integrating this equation, and setting the integral constant to be zero, we have is called a kink (antikink) wave solution. A solitary wave solution corresponds to a homoclinic orbit of (5), a kink (antikink) wave solution corresponds to a heteroclinic orbit of (5), and a periodic orbit corresponds to a periodic traveling wave solution of (5).
ODE (5) can be given as System (6) is obviously formulated on a slow time scale because of the location of the small parameter ε. e corresponding fast system is Generally, system (6) is referred to as the slow system since the time scale ξ is slow. And system (7) is referred to as the fast system since the time scale σ is fast. e two systems are equivalent when ε > 0.
In this section, we will find the equilibrium points of system (7) and determine the local behavior in the neighborhood of these equilibria. Let z � (u, v, w) T and System (7) can be formulated as ere are q + 1 equilibria satisfying G(Z, c, ε) � 0, that is, en, the characteristic equation for A 0 is det(A 0 − λI) � − λ 3 − λ 2 − ε 2 λ + ε 2 c, and the discriminant of the above equation is D(c, ε) � ε 2 [− 4ε 4 + (1 − 18c − 27c 2 )ε 2 + 4c]; it means D(c, ε) < 0 for any positive c and ε, and matrix A 0 has two conjugate complex and one real eigenvalues λ 1 , λ 2 , λ 3 . By the Viete theorem, λ 1 , λ 2 , and λ 3 will satisfy 2 Journal of Mathematics It is easy to know that if λ 3 > 0, both complex eigenvalues λ 1 and λ 2 have a negative real part. So, the stable subspace at Z 0 , named as E S (Z 0 ), is two-dimensional for all positive c and ε. And E U (Z 0 ), the unstable subspace at Z 0 , is one-dimensional. Let W S (Z 0 ) and W U (Z 0 ) be the local stable and unstable manifolds, respectively. By dynamical linearization theory, it holds that Dim(W S (Z 0 )) � 2 and Dim(W U (Z 0 )) � 1. As Dim(W S (Z 0 )) + Dim(W U (Z 0 )) � 3 in R 3 , it is not enough to prove that a homoclinic orbit and periodic orbit exist. We shall solve this question in the next section.

Persistence of Solitary Waves
Setting ε � 0, (7) has Jacobian Since M 0 can be characterized as the graph of a function, we have that where g depends on ε smoothly and satisfies g(u, v, 0) � cu − (1/p + 1)u p+1 − (1/q + 1)u q+1 . erefore, (6) can be reduced to the following differential equation on M ε : which has the limiting form on M 0 of Since M 0 is smooth, the vector field in (6) is smooth, and M ε can be characterized as the graph of a function; we can expand g (u, v, w) in ε for ε > 0 sufficiently small, that is, Substituting (16) into the last equation of slow system (6) and comparing coefficients of ε yield In the following, we will check whether there exists a homoclinic orbit with small ε or not. From the original equations, we find the origin is a critical point for (6), and it is still a critical point and must belong to M ε ; thus, we shall hunt for the orbits homoclinic to the origin O. e critical point O can be construed as a surface of critical points, noted as S, which is parameterized by c and ε; it is said that S � (u(c, ε), v(c, ε)), and it spans an unstable manifold W u (S) and a stable manifold W s (S). When ε � 0, W u (S) and W s (S) intersect in a curve, which is the curve (homoclinic orbits) we are hunting for, denoted by Γ. erefore, under the condition v � 0, for η 1 � h + (c, ε) and η 2 � h − (c, ε), we parameterize W u (S) and W s (S) near the intersection away from the critical point, respectively.
Define d(c, ε) � h + (c, ε) − h − (c, ε) and observe the zeros of d. e number of zeros of d corresponds to the number of homoclinic orbits. Since there are homoclinic orbits independent on c when ε � 0, we have d(c, 0) � 0, and d(c, ε) � d(c, 0) + εd(c, 0). e Melnikov function is given by For ε � 0, define the parameter equation of Γ as follows:

Conclusion
e perturbed KdV-mKdV equation is considered by using the geometric singular perturbation theory, and the existence of solitary waves has been proved for sufficiently small perturbing parameters. We have proved the persistence of the slow manifold under perturbation, and then we have constructed the wave as homoclinic orbits in the transverse intersection of appropriate stable and unstable manifolds in this slow manifold. It is a pity that the geometric singular perturbation theory cannot give an explicit expression for the proved solitary wave solution. However, the introduced method should have wide applicability to persistence questions for the solitary wave solution of many other perturbed equations; it may be an interesting work in the future.

Data Availability
All the underlying data supporting the results of our study can be found from the corresponding author upon request.

Conflicts of Interest
e authors declare that there are no conflicts of interest.