Volume 2013, Issue 1 349173
Research Article
Open Access

The First Integral Method to the Nonlinear Schrodinger Equations in Higher Dimensions

Shoukry Ibrahim Atia El-Ganaini

Corresponding Author

Shoukry Ibrahim Atia El-Ganaini

Mathematics Department, Faculty of Science, Damanhour University, Bahira 22514, Egypt damanhour.edu.eg

Mathematics Department, Faculty of Science and Humanity Studies at Al-Quwaiaiah, Shaqra University, Al-Quwaiaiah 11971, Saudi Arabia su.edu.sa

Search for more papers by this author
First published: 18 February 2013
Citations: 16
Academic Editor: Elena Litsyn

Abstract

The first integral method introduced by Feng is adopted for solving some important nonlinear partial differential equations, including the (2 + 1)-dimensional hyperbolic nonlinear Schrodinger (HNLS) equation, the generalized nonlinear Schrodinger (GNLS) equation with a source, and the higher-order nonlinear Schrodinger equation in nonlinear optical fibers. This method provides polynomial first integrals for autonomous planar systems. Through the established first integrals, exact traveling wave solutions are formally derived in a concise manner.

1. Introduction

It is well known that nonlinear complex physical phenomena are related to nonlinear partial differential equations (NLPDEs) which are involved in many fields from physics to biology, chemistry, mechanics, etc. As mathematical models of the phenomena, the investigation of exact solutions of NLPDEs will help us to understand these phenomena better. Many effective methods for obtaining exact solutions of NLPDEs have been established and developed, such as the Lie point symmetries method [1], the exp-function method [2, 3], the sine-cosine method [4, 5], the extended tanh-coth method [6, 7], the projective Riccati equation method [8, 9], and so on.

The first integral method was first proposed by Feng in [10] in solving Burgers-KdV equation which is based on the ring theory of commutative algebra. Recently, this useful method has been widely used by many such as in [1121] and by the references therein. In Section 2, we have described this method for finding exact travelling wave solutions of nonlinear evolution equations. In Section 3, we have illustrated this method in detail with the (2+1)-dimensional hyperbolic nonlinear Schrodinger (HNLS) equation, the generalized nonlinear Schrodinger (GNLS) equation with a source, and the higher-order nonlinear Schrodinger equation in nonlinear optical fibers. In Section 4, we have given some conclusions.

2. The First Integral Method

Consider a general nonlinear PDE in the form
(1)
where P is a polynomial in its arguments.

Raslan in [22] has summarized the first integral method in the following steps.

Step 1. Using a wave variable ξ = xct + ε, where ε is an arbitrary constant, (1) can be written in the following nonlinear ordinary differential equation (ODE):

(2)
where the prime denotes the derivation with respect to ξ.

Step 2. Assume that the solution of ODE (2) can be written as

(3)

Step 3. We introduced new independent variables

(4)
which leads a system of nonlinear ODEs
(5a)
(5b)

Step 4. According to the qualitative theory of ODEs [23], if we can find the integrals to (5a) and (5b) under the same conditions, then the general solution to (5a) and (5b) can be found directly. However, in general, it is really difficult to realize this even for one first integral, because for a given plane autonomous system, there is no systematic theory that can tell us how to find its first integrals, nor is there a logical way for telling us what these first integrals are.

We will apply the division theorem to obtain one first integral to (5a) and (5b) which reduces (2) to a first-order integrable ODE.

An exact solution to (1) is then obtained by solving this equation.

Let us now recall the division theorem for two variables in the complex domain C(w, z).

Theorem 1 (division theorem). Suppose that P(w, z) and Q(w, z) are polynomials in C(w, z), and P(w, z) is irreducible in C(w, z). If Q(w, z) vanishes at all zero points of P(w, z), then there exists a polynomial G(w, z) in C(w, z) such that

(6)

The division theorem follows immediately from the Hilbert-Nullstellensatz Theorem [24].

Theorem 2 (Hilbert-Nullstellensatz theorem). Let k be a field and L an algebraic closure of k.

  • (1)

    Every ideal γ of k[X1, …, Xn] not containing 1 admits at least one zero in Ln.

  • (2)

    Let x = (x1, …, xn), y = (y1, …, yn) be two elements of Ln; for the set of polynomials of k[X1, …, Xn] zero at x to be identical with the set of polynomials of k[X1, …, Xn] zero at y it is necessary and sufficient that there exists a k-automorphism s of L such that yi = s  (xi) for 1 ≤ in.

  • (3)

    For an ideal α of k[X1, …, Xn] to be maximal, it is necessary and sufficient that there exists an x in Ln such that α is the set of polynomials of k[X1, …, Xn] to be zero at x.

  • (4)

    For a polynomial Q of k[X1, …, Xn] to be zero on the set of zeros in Ln of an ideal γ of k[X1, …, Xn], it is necessary and sufficient that there exists an integer m≻0 such that Qmγ.

3. Applications

In this section, we have investigated three NPDEs using the first integral method for the first time.

3.1. The (2+1)-Dimensional Hyperbolic Nonlinear Schrodinger Equation

Let us consider the (2+1)-dimensional hyperbolic nonlinear Schrodinger (HNLS) equation [25] which reads
(7)
where x is dimensionless variable, y is the propagation coordinate, , and t is the time. The above equation can be derived from optics [26] and large-scale Rossby waves [27]. Various types of NLS or HNLS equations describing time and space evolutions of slowly varying envelopes have wide applications in various branches of physics [28, 29].
By considering the transformations u(x, y, t) = φ(ξ)exp  (iη), and the wave variable ξ = x + ayct + ς, η = mx + ny + wt + ε, where,  ς, and ε are arbitrary constants, (7) changes into a system of ordinary differential equations as follows:
(8)
where prime denotes the derivative with respect to the same variable ξ.
Using (4) and (5a) and (5b), we can get
(9a)
(9b)
According to the first integral method, we suppose that X(ξ) and Y(ξ) are nontrivial solutions of (9a) and (9b) and is an irreducible polynomial in the complex domain C[X, Y] such that
(10)
where ai(X),  (i = 0, 1, 2, …, m) are polynomials of X and am(X) ≠ 0.
Equation (10) is called the first integral to (9a) and (9b). Due to the division theorem, there exists a polynomial h(X) + g(X)Y in the complex domain C[X, Y] such that
(11)
Here, we have considered two different cases, assuming that m = 1 and m = 2 in (10).

Case 1. Suppose that m = 1, by equating the coefficients of Yi (i = 2, 1, 0) on both sides of (11), we have

(12a)
(12b)
(12c)
Since ai(X)(i = 0,1) are polynomials, then from (12a) we have deduced that a1(X) is constant and g(X) = 0. For simplicity, we have a1(X) = 1.

Balancing the degrees of h(X) and a0(X), we have concluded that deg (h(X)) = 1 only. Suppose that h(X) = AX + B and A ≠ 0, we find a0(X)

(13)
where D is an arbitrary integration constant.

Substituting a0(X), a1(X), and h(X) for (12c) and setting all the coefficients of powers X to be zero, we have obtained a system of nonlinear algebraic equations and by solving it, we have obtained

(14)
Using the conditions (14) in (10), we obtain
(15)
respectively.

Combining (15) with (9a), we have obtained the exact solutions to (9a) ad (9b). The exact traveling wave solutions to the (2+1)-dimensional hyperbolic nonlinear Schrodinger equation (7) can be written as

(16)
respectively, where ξ0 is an arbitrary integration constant.

Case 2. Assume that m = 2, by equating the coefficients of Yi(  i = 3, 2, 1, 0  ) on both sides of (11), we have

(17a)
(17b)
(17c)
(17d)
Since, ai(X)  (i = 0,1, 2) are polynomials, then from (17a) it can be deduced that a2(X) is a constant and g(X) = 0. For simplicity, let us suppose that a2(X) = 1. Balancing the degrees of h(X) and a0(X) it can be concluded that deg (h(X)) = 1 only.

In this case, let us assume that h(X) = AX + B and A ≠ 0, then we find a1(X) and a0(X) as follows:

(18a)
(18b)
where A, B, D, and F are arbitrary integration constants.

Substituting a0(X), a1(X), a2(X), and h(X) for (17d) and setting all the coefficients of powers X to be zero, then we have obtained a system of nonlinear algebraic equations and by solving it, we get
(19a)
(19b)
Using the conditions (19a) and (19b) in (10), we have obtained
(20)
Combining (20) with (9a) we have obtained the exact solutions to (9a) and (9b) and hence the exact traveling wave solutions to the (2+1)-dimensional hyperbolic nonlinear Schrodinger equation (7) can be written as
(21)
(22)
Comparing these results with the results obtained in [1], it can be seen that the solutions here are new.

3.2. The Generalized Nonlinear Schrodinger (GNLS) Equation with a Source

Let us Consider the generalized nonlinear Schrodinger (GNLS) equation with a source [30, 31], in the form
(23)
where ξ = α(xvt) is a real function and a, b, c, d, k, α, v, and w are all real.

The GNLS equation (23) plays an important role in many nonlinear sciences. It arises as an asymptotic limit for a slowly varying dispersive wave envelope in a nonlinear medium. For example, its significant application in optical soliton communication plasma physics has been proved.

Furthermore, the GNLS equation enjoys many remarkable properties (e.g., bright and dark soliton solutions, Lax pair, Liouvile integrability, inverse scattering transformation, conservation laws, Backlund transformation, etc.).

We have considered a plane wave transformation in the form
(24)
where ψ(ξ) is a real function. For convenience, let χ = βξ + x0 where β and x0 are real constants and ξ = α(xvt) + ς. Then by replacing (23) and its appropriate derivatives in (22) and separating the real and imaginary parts of the result, we have obtained the following two ordinary differential equations:
(25)
(26)
Integrating (25) once, with respect to ξ, we have
(27)
where M is an arbitrary integration constant. Since the same function ψ(ξ) satisfies (26) and (27), we have obtained the following constraint condition:
(28)
Using (4) and (5a) and (5b), we can get
(29a)
(29b)
According to the first integral method, we suppose that X(ξ) and Y(ξ) are nontrivial solutions of (29a) and (29b) and is an irreducible polynomial in the complex domain C[X, Y] such that
(30)
where ai(X),  (i = 0,1, 2, …, m) are polynomials of X and am(X) ≠ 0.
Equation (30) is called the first integral to (29a) and (29b). Due to the division theorem, there exists a polynomial h(X) + g(X)Y in the complex domain C[X, Y] such that
(31)
In this example, we have taken two different cases, assuming that m = 1 and m = 2 in (30).

Case 3. Suppose that m = 1, by equating the coefficients of Yi (i = 2, 1, 0) on both sides of (31), we have

(32a)
(32b)
(32c)
Since ai(X) (i = 0,1) are polynomials, then from (32a) it can be deduced that a1(X) is constant and g(X) = 0. For simplicity, it was taken a1(X) = 1.

Balancing the degrees of h(X) and a0(X), it can be concluded that deg (h(X)) = 1 only. Suppose that h(X) = AX + B, and A ≠ 0, then we find

(33)
where D is an arbitrary integration constant.

Substituting a0(X), a1(X), and h(X) in (32c) and setting all the coefficients of powers X to be zero, we have obtained a system of nonlinear algebraic equations and by solving it, we obtain

(34a)
(34b)
Using the conditions (34a) and (34b) in (30), we obtain
(35)
respectively.

Combining (35) with (29a), the exact solutions to (29a) and (29b) were obtained and then the exact traveling wave solutions to the generalized nonlinear Schrodinger (GNLS) equation with a source (23) can be written as

(36)
(37)
where ξ0 is an arbitrary integration constant.

Case 4. Suppose that m = 2, by equating the coefficients of Yi (i = 3,2, 1,0) on both sides of (31), we have

(38a)
(38b)
(38c)
(38d)
Since ai(X) (i = 0,1, 2) are polynomials, then from (38a) it can be deduced that a2(X) is a constant and g(X) = 0. For simplicity, we have taken a2(X) = 1. Balancing the degrees of h(X) and a0(X) we have concluded that deg (h(X)) = 1 only.

In this case, it was assumed that h(X) = AX + B and A ≠ 0; then we find a1(X) and a0(X) as follows:

(39a)
(39b)
where A, B, D, and F are arbitrary integration constants.

Substituting a0(X), a1(X), a2(X), and h(X) for (38d) and setting all the coefficients of powers X to be zero, a system of nonlinear algebraic equations was obtained and by solving it, we got

(40a)
(40b)
Using the conditions (40a) and (40b) in (30), we obtain
(41)
respectively. Combining (41) with (29a) we have obtained the exact solutions to (29a) and (29b) and thus the exact traveling wave solutions to the generalized nonlinear Schrodinger (GNLS) equation with a source (23) can be written as
(42)
(43)
respectively, where ξ0 is an arbitrary integration constant.

Equations (36)-(37) and (42)-(43) are new types of exact traveling wave solutions to the generalized nonlinear Schrodinger (GNLS) equation with a source (23). It could not be obtained by the methods presented in [32].

3.3. The Higher-Order Nonlinear Schrodinger Equation in Nonlinear Optical Fibers

The higher-order nonlinear Schrodinger equation describing propagation of ultrashort pulses in nonlinear optical fibers [3339] reads
(44)

where ψ is slowly varying envelope of the electric field, the subscripts z and t are the spatial and temporal partial derivative in retard time coordinates, and α1, α2, α3, α4, α5 are the real parameters related to the group velocity dispersion (GVD), self-phase modulation (SPM), third-order dispersion (TOD), and self-steepening and self-frequency shift arising from simulated Raman scattering, respectively. Some properties of the equation, as well as many versions of it have been studied [3339]. Up to now, the bright, dark and the combined bright and dark solitary waves and periodic waves were found of (43) and its special case.

To seek traveling wave solutions of (44), we make the gauge transformation
(45)
where β, k, ω, λ, ε are constants. Substituting (45) into (44) yields a complex ODE of φ(ξ), the real and imaginary parts of which, respectively,
(46)
It is easy to see that (46) becomes an equation
(47)
under the constraint conditions
(48)
Using (4) and (5a) and (5b), we can get
(49a)
(49b)
According to the first integral method, we suppose that X(ξ) and Y(ξ) are nontrivial solutions of (49a) and (49b) and is an irreducible polynomial in the complex domain C[X, Y] such that
(50)
where ai(X),  (i = 0,1, 2, …, m) are polynomials of X and am(X) ≠ 0.
Equation (50) is called the first integral to (49a) and (49b) due to the division theorem, there exists a polynomial h(X) + g(X)Y in the complex domain C[X, Y] such that
(51)
In this example, we take two different cases, assuming that m = 1 and m = 2 in (50).

Case 5. Suppose that m = 1, by equating the coefficients of Yi (i = 2,1, 0) on both sides of (51), we have

(52a)
(52b)
(52c)
Since ai(X) (i = 0,1) are polynomials, then from (52a) it was deduced that a1(X) is constant and g(X) = 0. For simplicity, take a1(X) = 1.

Balancing the degrees of  h(X) and a0(X), it was concluded that deg (h(X)) = 1 only. Suppose that h(X) = AX + B and A ≠ 0, then we find
(53)
where D is an arbitrary integration constant.
Substituting a0(X), a1(X), and h(X) in (52c) and setting all the coefficients of powers X to be zero, then we have obtained a system of nonlinear algebraic equations and by solving it, we obtain
(54)
Using the conditions (54) in (50), we obtain
(55)
respectively.
Combining (55) with (49a), the exact solutions to (49a) and (49b) were obtained and then the exact traveling wave solutions to the higher-order nonlinear Schrodinger equation in nonlinear optical fibers can be written as
(56)
respectively, where
(57)
and ξ0 is an arbitrary integration constant.

Case 6. Suppose that m = 2, by equating the coefficients of Yi (i = 3,2, 1,0) on both sides of (51), we have

(58a)
(58b)
(58c)
(58d)
Since ai(X) (i = 0,1, 2) are polynomials, then from (58a) it was deduced that a2(X) is a constant and g(X) = 0. For simplicity, we have taken a2(X) = 1. Balancing the degrees of h(X) and a0(X) we conclude that deg (h(X)) = 1 only.

In this case, it was assumed that h(X) = AX + B and A ≠ 0; then we find a1(X) and a0(X) as follows:
(59a)
(59b)
where A, B, D, and F are arbitrary integration constants.
Substituting a0(X), a1(X), a2(X), and h(X) into (58d) and setting all the coefficients of powers X to be zero, a system of nonlinear algebraic equations was obtained and by solving it, we get
(60a)
(60b)
Using the conditions (60a) in (50), we obtain
(61)
respectively. Combining (61) with (49a), the exact solutions to (49a) and (49b) were obtained and thus the exact traveling wave solutions to the higher-order nonlinear Schrodinger equation in nonlinear optical fibers (44) can be written as
(62)
respectively.
Similarly, in the case of (60b), from (50), we get
(63)
respectively. Combining (63) with (49a), the exact solutions to (49a) and (49b) were obtained and thus the exact traveling wave solutions to the higher-order nonlinear Schrodinger equation in nonlinear optical fibers (44) can be written as
(64)
(65)
respectively, where p is as defined in (57) and ξ0 is an arbitrary integration constant.

Comparing these results with Liu’s results [39], it can be seen that the solutions here are new.

4. Conclusion

Searching for first integrals of nonlinear ODEs is one of the most important problems since they permit us to solve a nonlinear differential equation by quadratures. Applying the first integral method, which is based on the ring theory of commutative algebra, some new exact traveling wave solutions to the (2+1)-dimensional hyperbolic nonlinear Schrodinger (HNLS) equation, generalized nonlinear Schrodinger (GNLS) equation with a source and higher-order nonlinear Schrodinger equation in nonlinear optical fibers were established.

These solutions may be important for the explanation of some practical physical problems.

The first integral method described herein is not only efficient but also has the merit of being widely applicable.

Therefore, this method can be applied to other nonlinear evolution equations and this will be done elsewhere.

Acknowledgment

The author would like to thank the referees for their useful comments which led to some improvements of the current paper.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.