Research Article | Open Access

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

**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 [11–21] 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 where 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 , where is an arbitrary constant, (1) can be written in the following nonlinear ordinary differential equation (ODE):
where the prime denotes the derivation with respect to .

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

*Step 3. *We introduced new independent variables
which leads a system of nonlinear ODEs

*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 .

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

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

Theorem 2 (Hilbert-Nullstellensatz theorem). *Let be a field and an algebraic closure of .*(1)*Every ideal of not containing 1 admits at least one zero in . *(2)*Let , be two elements of ; for the set of polynomials of zero at to be identical with the set of polynomials of zero at it is necessary and sufficient that there exists a -automorphism of such that for .*(3)*For an ideal of to be maximal, it is necessary and sufficient that there exists an in such that is the set of polynomials of to be zero at .*(4)*For a polynomial of to be zero on the set of zeros in of an ideal of , it is necessary and sufficient that there exists an integer such that .*

#### 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 where is dimensionless variable, is the propagation coordinate, , and 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 , and the wave variable , , where,, and are arbitrary constants, (7) changes into a system of ordinary differential equations as follows: where prime denotes the derivative with respect to the same variable .

Using (4) and (5a) and (5b), we can getAccording to the first integral method, we suppose that and are nontrivial solutions of (9a) and (9b) and is an irreducible polynomial in the complex domain such that where are polynomials of and .

Equation (10) is called the first integral to (9a) and (9b). Due to the division theorem, there exists a polynomial in the complex domain such that Here, we have considered two different cases, assuming that and in (10).

*Case 1. *Suppose that , by equating the coefficients of on both sides of (11), we haveSince are polynomials, then from (12a) we have deduced that is constant and . For simplicity, we have .

Balancing the degrees of and , we have concluded that only. Suppose that and , we find
where is an arbitrary integration constant.

Substituting , , and for (12c) and setting all the coefficients of powers to be zero, we have obtained a system of nonlinear algebraic equations and by solving it, we have obtained
Using the conditions (14) in (10), we obtain
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
respectively, where is an arbitrary integration constant.

*Case 2. *Assume that , by equating the coefficients of on both sides of (11), we haveSince, are polynomials, then from (17a) it can be deduced that is a constant and . For simplicity, let us suppose that . Balancing the degrees of and it can be concluded that only.

In this case, let us assume that and , then we find and as follows:where , and are arbitrary integration constants.

Substituting , , , and for (17d) and setting all the coefficients of powers to be zero, then we have obtained a system of nonlinear algebraic equations and by solving it, we getUsing the conditions (19a) and (19b) in (10), we have obtained 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 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 where is a real function and , , , , , , , and 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 where is a real function. For convenience, let where and are real constants and . 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: Integrating (25) once, with respect to , we have where is an arbitrary integration constant. Since the same function satisfies (26) and (27), we have obtained the following constraint condition: Using (4) and (5a) and (5b), we can getAccording to the first integral method, we suppose that and are nontrivial solutions of (29a) and (29b) and is an irreducible polynomial in the complex domain such that where are polynomials of and .

Equation (30) is called the first integral to (29a) and (29b). Due to the division theorem, there exists a polynomial in the complex domain such that In this example, we have taken two different cases, assuming that and in (30).

*Case 3. *Suppose that , by equating the coefficients of on both sides of (31), we haveSince are polynomials, then from (32a) it can be deduced that is constant and . For simplicity, it was taken .

Balancing the degrees of and , it can be concluded that only. Suppose that , and , then we find
where is an arbitrary integration constant.

Substituting , , and in (32c) and setting all the coefficients of powers to be zero, we have obtained a system of nonlinear algebraic equations and by solving it, we obtainUsing the conditions (34a) and (34b) in (30), we obtain
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
where is an arbitrary integration constant.

*Case 4. *Suppose that , by equating the coefficients of on both sides of (31), we haveSince are polynomials, then from (38a) it can be deduced that is a constant and . For simplicity, we have taken . Balancing the degrees of and we have concluded that only.

In this case, it was assumed that and ; then we find and as follows:where , and are arbitrary integration constants.

Substituting , , , and for (38d) and setting all the coefficients of powers to be zero, a system of nonlinear algebraic equations was obtained and by solving it, we gotUsing the conditions (40a) and (40b) in (30), we obtain
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
respectively, where 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 [33–39] reads

where is slowly varying envelope of the electric field, the subscripts and are the spatial and temporal partial derivative in retard time coordinates, and , , , , 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 [33–39]. 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 where , , , , are constants. Substituting (45) into (44) yields a complex ODE of , the real and imaginary parts of which, respectively, It is easy to see that (46) becomes an equation under the constraint conditions Using (4) and (5a) and (5b), we can getAccording to the first integral method, we suppose that and are nontrivial solutions of (49a) and (49b) and is an irreducible polynomial in the complex domain such that where are polynomials of and .

Equation (50) is called the first integral to (49a) and (49b) due to the division theorem, there exists a polynomial in the complex domain such that In this example, we take two different cases, assuming that and in (50).

*Case 5. *Suppose that , by equating the coefficients of on both sides of (51), we haveSince are polynomials, then from (52a) it was deduced that is constant and . For simplicity, take .

Balancing the degrees of and , it was concluded that only. Suppose that and , then we find where is an arbitrary integration constant.

Substituting , , and in (52c) and setting all the coefficients of powers to be zero, then we have obtained a system of nonlinear algebraic equations and by solving it, we obtain Using the conditions (54) in (50), we obtain 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 respectively, where and is an arbitrary integration constant.

*Case 6. *Suppose that , by equating the coefficients of on both sides of (51), we haveSince are polynomials, then from (58a) it was deduced that is a constant and . For simplicity, we have taken . Balancing the degrees of and we conclude that only.

In this case, it was assumed that and ; then we find and as follows:where , and are arbitrary integration constants.

Substituting , , , and into (58d) and setting all the coefficients of powers to be zero, a system of nonlinear algebraic equations was obtained and by solving it, we getUsing the conditions (60a) in (50), we obtain 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 respectively.

Similarly, in the case of (60b), from (50), we get 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 respectively, where is as defined in (57) and 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.

#### References

- A.-L. Guo and J. Lin, “Exact solutions of $(2+1)$-dimensional HNLS equation,”
*Communications in Theoretical Physics*, vol. 54, no. 3, pp. 401–406, 2010. View at: Publisher Site | Google Scholar | MathSciNet - A.-M. Wazwaz, “Solitary wave solutions of the generalized shallow water wave (GSWW) equation by Hirota's method, tanh-coth method and Exp-function method,”
*Applied Mathematics and Computation*, vol. 202, no. 1, pp. 275–286, 2008. View at: Publisher Site | Google Scholar | MathSciNet - J.-H. He and L.-N. Zhang, “Generalized solitary solution and compacton-like solution of the Jaulent-Miodek equations using the Exp-function method,”
*Physics Letters A*, vol. 372, no. 7, pp. 1044–1047, 2008. View at: Publisher Site | Google Scholar | MathSciNet - A.-M. Wazwaz, “The tanh and the sine-cosine methods for a reliable treatment of the modified equal width equation and its variants,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 11, no. 2, pp. 148–160, 2006. View at: Publisher Site | Google Scholar | MathSciNet - A.-M. Wazwaz, “Solitary wave solutions for modified forms of Degasperis-Procesi and Camassa-Holm equations,”
*Physics Letters A*, vol. 352, no. 6, pp. 500–504, 2006. View at: Publisher Site | Google Scholar | MathSciNet - E. Fan, “Extended tanh-function method and its applications to nonlinear equations,”
*Physics Letters A*, vol. 277, no. 4-5, pp. 212–218, 2000. View at: Publisher Site | Google Scholar | MathSciNet - M. A. Abdou, “The extended tanh method and its applications for solving nonlinear physical models,”
*Applied Mathematics and Computation*, vol. 190, no. 1, pp. 988–996, 2007. View at: Publisher Site | Google Scholar | MathSciNet - R. Conte and M. Musette, “Link between solitary waves and projective Riccati equations,”
*Journal of Physics A*, vol. 25, no. 21, pp. 5609–5623, 1992. View at: Google Scholar | MathSciNet - D. C. Lu and B. J. Hong, “New exact solutions for the (2+1)-dimensional generalized Broer-Kaup system,”
*Applied Mathematics and Computation*, vol. 199, no. 2, pp. 572–580, 2008. View at: Google Scholar - Z. Feng, “The first-integral method to study the Burgers-Korteweg-de Vries equation,”
*Journal of Physics A*, vol. 35, no. 2, pp. 343–349, 2002. View at: Publisher Site | Google Scholar | MathSciNet - Z. S. Feng and X. H. Wang, “The first integral method to the two-dimensional Burgers-KdV equation,”
*Physics Letters A*, vol. 308, pp. 173–178, 2002. View at: Google Scholar - Z. Feng, S. Zheng, and D. Y. Gao, “Traveling wave solutions to a reaction-diffusion equation,”
*Zeitschrift für Angewandte Mathematik und Physik*, vol. 60, no. 4, pp. 756–773, 2009. View at: Publisher Site | Google Scholar | MathSciNet - Z. Feng and R. Knobel, “Traveling waves to a Burgers-Korteweg-de Vries-type equation with higher-order nonlinearities,”
*Journal of Mathematical Analysis and Applications*, vol. 328, no. 2, pp. 1435–1450, 2007. View at: Publisher Site | Google Scholar | MathSciNet - K. R. Raslan, “The first integral method for solving some important nonlinear partial differential equations,”
*Nonlinear Dynamics*, vol. 53, no. 4, pp. 281–286, 2008. View at: Publisher Site | Google Scholar | MathSciNet - S. Abbasbandy and A. Shirzadi, “The first integral method for modified Benjamin-Bona-Mahony equation,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 15, no. 7, pp. 1759–1764, 2010. View at: Publisher Site | Google Scholar | MathSciNet - F. Tascan, A. Bekir, and M. Koparan, “Travelling wave solutions of nonlinear evolution equations by using the first integral method,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 14, no. 5, pp. 1810–1815, 2009. View at: Publisher Site | Google Scholar - I. Aslan, “Exact and explicit solutions to nonlinear evolution equations using the division theorem,”
*Applied Mathematics and Computation*, vol. 217, no. 20, pp. 8134–8139, 2011. View at: Publisher Site | Google Scholar | MathSciNet - S. I. A. El-Ganaini, “Travelling wave solutions to the generalized Pochhammer-Chree (PC) equations using the first integral method,”
*Mathematical Problems in Engineering*, vol. 2011, Article ID 629760, 13 pages, 2011. View at: Publisher Site | Google Scholar | MathSciNet - M. F. El-Sabbagh and S. El-Ganaini, “New exact travelling wave solutions of the generalized Zakharov system via distinct methods,”
*International Mathematical Forum*, vol. 7, pp. 2191–2204, 2012. View at: Google Scholar - S. El-Ganaini, “Exact solutions of the equation of one-dimensional motion of a pion meson particle in an atom using two different approaches,”
*Advanced Studies in Theoretical Physics*, vol. 6, no. 17–20, pp. 843–854, 2012. View at: Google Scholar - M. F. El-Sabbagh and S. I. El-Ganaini, “The first integral method and its applications to nonlinear equations,”
*Applied Mathematical Sciences*, vol. 6, no. 77–80, pp. 3893–3906, 2012. View at: Google Scholar | MathSciNet - K. R. Raslan, “The first integral method for solving some important nonlinear partial differential equations,”
*Nonlinear Dynamics*, vol. 53, no. 4, pp. 281–286, 2008. View at: Publisher Site | Google Scholar | MathSciNet - T. R. Ding and C. Z. Li,
*Ordinary Differential Equations*, Peking University Press, Peking, China, 1996. - N. Bourbaki,
*Commutative Algebra*, Addison-Wesley, Paris, France, 1972. - S.P. Gorz, P.K. Ockaert, P. Emplit, and M. Haelterman, “Oscillatory neck instability of spatial bright solitons in hyperbolic systems,”
*Physical Review Letters*, vol. 102, no. 13, pp. 134101–134104, 2009. View at: Publisher Site | Google Scholar - S. P. Gorz and M. Haelterman, “Ultrafast transverse undulation of self-trapped laser beams,”
*Optics Express*, vol. 16, p. 16935, 2008. View at: Publisher Site | Google Scholar - B. K. Tan and R. S. Wu, “Nonlinear Rossby waves and their interactions. I. Collision of envelope solitary Rossby waves,”
*Science in China B*, vol. 36, no. 11, pp. 1367–1380, 1993. View at: Google Scholar | MathSciNet - X.-Y. Tang and P. K. Shukla, “Lie symmetry analysis of the quantum Zakharov equations,”
*Physica Scripta*, vol. 76, no. 6, pp. 665–668, 2007. View at: Publisher Site | Google Scholar | MathSciNet - B. Li, “A generalized sub-equation expansion method and its application to the nonlinear schrödinger equation in inhomogeneous optical fiber media,”
*International Journal of Modern Physics C*, vol. 18, no. 7, pp. 1187–1201, 2007. View at: Publisher Site | Google Scholar - Z. Yan, “Envelope exact solutions for the generalized nonlinear Schrödinger equation with a source,”
*Journal of Physics*, vol. 39, no. 24, pp. L401–L406, 2006. View at: Publisher Site | Google Scholar | MathSciNet - M. A. Abdou, “New exact travelling wave solutions for the generalized nonlinear Schroedinger equation with a source,”
*Chaos, Solitons & Fractals*, vol. 38, no. 4, pp. 949–955, 2008. View at: Publisher Site | Google Scholar | MathSciNet - M. Y. Moghaddam, A. Asgari, and H. Yazdani, “Exact travelling wave solutions for the generalized nonlinear Schrödinger (GNLS) equation with a source by extended tanh-coth, sine-cosine and exp-function methods,”
*Applied Mathematics and Computation*, vol. 210, no. 2, pp. 422–435, 2009. View at: Publisher Site | Google Scholar | MathSciNet - Z. Y. Yan, “Generalized method and its application in the higher-order nonlinear Schrodinger equation in nonlinear optical fibres,”
*Chaos, Solitons and Fractals*, vol. 16, no. 5, pp. 759–766, 2003. View at: Publisher Site | Google Scholar | MathSciNet - H. Y. Zhi, X. Q. Zhao, and H. Q. Zhang, “New expansion algorithm of three Riccati equations and its applications in nonlinear mathematical physics equations,”
*Chinese Physics*, vol. 14, no. 7, pp. 1296–1302, 2005. View at: Publisher Site | Google Scholar - S. L. Palacios, A. Guinea, J. M. Fernández-Díaz, and R. D. Crespo, “Dark solitary waves in the nonlinear Schrödinger equation with third order dispersion, self-steepening, and self-frequency shift,”
*Physical Review E*, vol. 60, no. 1, pp. R45–R47, 1999. View at: Google Scholar - Z. H. Li, L. Li, H. P. Tian, and G. Zhou, “New types of solitary wave solutions for the higher order nonlinear Schrödinger equation,”
*Physical Review Letters*, vol. 84, no. 18, pp. 4096–4099, 2000. View at: Google Scholar - J. P. Tian, H. P. Tian, Z. H. Li, L. Kang, and G. Zhou, “An inter-modulated solitary wave solution for the higher order nonlinear Schrödinger equation,”
*Physica Scripta*, vol. 67, no. 4, pp. 325–328, 2003. View at: Publisher Site | Google Scholar - M. Gedalin, T. C. Scott, and Y. B. Band, “Optical solitary waves in the higher order nonlinear Schrödinger equation,”
*Physical Review Letters*, vol. 78, no. 3, pp. 448–451, 1997. View at: Google Scholar - C. Liu, “Exact solutions for the higher-order nonlinear Schördinger equation in nonlinear optical fibres,”
*Chaos, Solitons and Fractals*, vol. 23, no. 3, pp. 949–955, 2005. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2013 Shoukry Ibrahim Atia El-Ganaini. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.