Abstract

In this paper, by applying the Jacobian ellipse function method, we obtain a group of periodic traveling wave solution of coupled KdV equations. Furthermore, by the implicit function theorem, the relation between some wave velocity and the solution’s period is researched. Lastly, we show that this type of solution is orbitally stable by periodic perturbations of the same wavelength as the underlying wave.

1. Introduction

In fluid mechanics of the density stratification, the mechanism of propagation of nonlinear long wave is being researched by physicists and mathematicians. This wave usually appears in the lakes, fjords, and temperature jump layer in the coastal waters. Generally, the KdV equation is often used to describe the wave of this type when the depth of fluid is much shorter than the length of it. Moreover, weak interactions occur in the internal of the nonlinear long waves when wave phase speeds are unequal. In this case, each wave satisfies a KdV equation, and the interaction among waves could be depicted by the phase shift. However, strong interactions occur when these wave phase speeds are nearly equal although the waves belong to different modes. This case is described by a coupled Korteweg-de Vries equations, which has the following form: where , , , , , and are real constants with positive and . Here, and are real-valued functions, , .

System (1) was derived from Gear and Grimshaw [1]. Due to its significant physical meaning, many scholars at home and abroad carried out relevant research about these equations and obtained some results. As in [2], Marshall et al. have proved that (1) is globally well-posed when the initial data is rough. Moreover, Bona et al. also considered the similar question (for details, please see [3]).

Recently, a number of researchers are interested in the theory of stability of the Korteweg-de Vries equation. For example, in [4], Linares and Pazotob considered the exponential stabilization with an initial boundary value problem for following the Korteweg-de Vries equation, which has the following form: When , system (2) was shown to be exponentially stable. In [5], Russell and Zhang studied the KdV equation with the periodic boundary conditions, as follows:

Here, . It was shown that if , then (3) was locally exponentially stable.

Furthermore, in [6], Bona et al. researched this type KdV equation with an initial boundary problem which posed in a quarter plane and appended a damping term, as follows:

They obtain such a result that the time-periodic solution of (4) is either locally or globally exponentially stable in H^s(R⁺) when or , respectively.

In recent decades, an extensive development of stability theory about solitary waves solutions has been obtained by Benjamin, Bona, Weinstein, Grillakis, and Strauss [7–12].

In [13], Pava considered a modified Korteweg-de Vries equation, which has the following form: where , . By applying the Lyapunov stability method ([10]), he gave an important conclusion that the periodic traveling solution of (5) is orbitally stable in energy space .

In this paper, I am interested in the existence of a smooth periodic solution and the orbital stability of the solution of a coupled Korteweg-de Vries (equation (1)).

Our paper is organized as follows. In Section 2, we applied the Jacobian ellipse function method to obtain a class of smooth cnoidal wave solution for system (1). Section 3 is devoted to studying the relation in a neighborhood of the relevant wave velocity between the period of above cnoidal wave solution and wave velocity. In Section 4, we present the orbital stability theory for the cnoidal wave solutions of system (1).

2. The Periodic Solution for the Coupled Korteweg-de Vries Equations

In this section, by implying the Jacobian ellipse function method, we will show the existence of a class of smooth cnoidal wave solution for system (1).

Firstly, we suppose that system (1) possesses solitary wave solution of the following form: where is a traveling wave speed.

By substituting (6) into (1), we get

Next, we study the form the solution of system (1).

Let , so that we have

Integrating (8), where is a positive integration constant.

Multiply (9) by and integrate its equation, and we obtain

Here, is an integration constant.

By further calculating, (10) converts

Besides, , , , and satisfy the following relation:

Let , , and ; hence, (11) can be written as where and .

Furthermore, we define a new function , satisfying the relation

Substituting (14) into (13), through a tedious calculation, we get that

Here,

By (15) and the definition of [14], we obtain that

So that

Furthermore, has fundamental period , i.e., and is the complete elliptic integral of the first kind, so and this traveling wave solution have a fundamental period T, as follows:

System (1) has the following exact periodic solution:

3. The Periodic Property of the Exact Periodic Solution of the Coupled KdV Equations

In this section, by the implicit function theorem, the function relation between the period of the periodic solution of system (1) and wave velocity is obtained.

From η₁,η₂, and , k² can be rewritten as

Therefore,

From (12), we can obtain that so that .

If it exists a fixed and satisfies , there is a function relation in neighborhoods of and of .

Theorem 1. If a fixed and satisfies , there is a neighborhood of , a neighborhood of α_3,0, and a unique smooth function , , , where .

Proof. The idea and method are derived from [13]. Let Now we define by Moreover, are continuous in . Then, we will prove that .
Obviously, By [15], (12), and (20), we can obtain that Hence, . By the implicit function theorem, we can obtain that neighborhood of , neighborhood of , and smooth function , s.t. , so that .
This completes the proof.

4. The Stability of the Periodic Traveling Wave Solution of the Coupled KdV Equations

In this section, we devote to researching the nonlinear stability of the periodic traveling wave solution of system (1), which is as follows:

4.1. Definition (Orbital Stability)

A periodic traveling wave solution of system (1) is orbitally stable. If every and there exists a , then the following assumption holds: If is a solution of system (1) with , every satisfies

Otherwise, the solution is unstable.

We will apply the method which was established and developed by Angulo and Natali in [16] to show the orbital stability of the above periodic traveling wave solution for the coupled KdV equation (1).

Initially, system (1) can be expressed as an abstract Hamiltonian system form with and is conserved quantity.

Moreover, the coupled KdV equation (1) possesses the conserved quantity

and denote the variational derivative of and , respectively.

Next, we introduce an operator and a scalar function , respectively.

To be more precise, we have the following set of conditions which guarantees the stability of the periodic traveling solution of system (1): (i)It exists a nontrivial smooth curve of periodic traveling solution for system (1). Moreover, there are functionals and which are conserved for system (1)(ii)(iii)The operator has a unique negative eigenvalue, which is simple. Furthermore, The remainder of the spectrum consists of a discrete and positive set of eigenvalues(iv) is positive in a neighborhood of .

Next, we focus on verifying these conditions hold. Firstly, in Section 2, we have obtained that system (1) exists a periodic traveling solution (19) and conserves quantities and . Therefore, condition (i) holds. Moreover, substituting (19) into , we can easily get that

Hence, condition (ii) holds.

Next, we study the spectral properties associated to the linear operator determined by the periodic solution . We will show that the spectrum of has simple negative eigenvalue, zero is simple eigenvalue, and the rest of the spectrum are away from zero.

In the first place, we calculate the quadratic form of the operator , for , by

It represents the quadratic form of the operator

From (8), we can get that , so that zero is an eigenvalue whose eigenfunction is . We will give the behavior of the eigenvalues related to operator in the following theorem.

Theorem 2. Let be the cnoidal periodic traveling wave solution given by (17), then operator defined in with domain has one simple negative eigenvalue, zero is simple eigenvalue, and the rest of spectrum are away from zero.

Proof. The idea and method are derived from [13, 17].
In fact, is a self-adjoint operator. Since is compactly embedded in , operator has a compact resolvent, so that the essential spectrum of is an empty set, and the discrete spectrum of operator consists of isolated eigenvalues with finite algebraic multiplicities. Consequently, operator has only point spectrum. Because , by the oscillation theorem in [18], the eigenvalue zero is the second or third eigenvalue of . Next, we will prove that zero is the second one.
The periodic eigenvalue problem associated with (37) is given by Let . We get the equivalent of problem (38): Here, . Moreover, (39) with the Jacobian form is the Lam’e differential equation. According to the Floquet theory, we can get that (39) has two intervals of instability, so that the first three eigenvalues of (39) are simple.
By some tedious computation, we obtain that is a negative eigenvalue; is a zero eigenvalue, is a positive eigenvalue.
This completes the proof.

Furthermore, let us consider the eigenvalue equation: where . It is clear that the smallest eigenvalue associated with operator is negative. Now, we will show that the next eigenvalue of is , which is simple. The third eigenvalue, , is strictly positive. By min−max characterization in [19], we have that where , . If we consider , we can get that so that .

Next, we prove that . Through taking the two-dimensional subspace spanned by () and ( 0), since , therefore, where the third eigenvalue related to is obviously positive.

So, we deduce that operator has one negative eigenvalue and one zero eigenvalue, and the rest of the spectrum is positive and bounded away from zero, which proves the condition (iii) holds.

In the following, we will prove . In fact,

Furthermore, where