Painlevé Analysis for ( 2 + 1 ) Dimensional Non-Linear Schrödinger Equation

This paper investigates a real version of a (2 + 1) dimensional nonlinear Schrödinger equation through adoption of Painlevé test by means of which the (2 + 1) dimensional nonlinear Schrödinger equation is studied according to the Weiss et al. method and Kruskal’s simplification algorithms. According to Painlevé test, it is found that the number of arbitrary functions required for explaining the Cauchy-Kovalevskaya theorem exist. Finally, the associated Bäcklund transformation and bilinear form is directly obtained from the Painlevé test.


Introduction
One of the most powerful nonlinear equations that has been discussed and used in different field of physics is the Non-linear Schrödinger equation (NLSE) in ( 2+ 1) dimension.The structure and integrability of (2 + 1) dimensional equations have received considerable attention in the last few years [1] [2].Non-linear Schrödinger type equations are a particular case of interest.These equations were discovered by Calogero [3] and then discussed by Zakharov [4].The geometrical properties of these equations have been studied [5].
Historically, more and more problems involved nonlinearity; much attention had been paid to the integrability of nonlinear models.Close relationships were observed between Painlevé test and the integrability of non-linear Partial Differential Equations (PDEs).Therefore it carries significant importance to investigate whether the non-linear PDEs have the Painlevé characteristics.In order to verify this proposition various methods have been historically used by researchers like Ablowitz-Ramani-Segur (ARS) method [6], the Weiss-Tabor-Carnevale (WTC) method [7], the Kruskal simplification method [8], Conte invariant method [9] and Pickering approach method [10].
Various methods have verified Painlevé property but the Kruskal's simplification and the Weiss-Tabor-Carnevale (WTC) methods are frequently employed for this verification.WTC method is significantly helpful in Painlevé test where non-linear PDEs are involved as tests of symmetry, Hirota's method of bilinear forms and special solutions.However, this is less significant when applied to the coupled equation system or equation where high resonance is observable.This study proposes another prospective approach i.e. to apply WTC method with Kruskal's simplification for verification of Painlevé test.
By observing chaotic behavior of certain systems and their non-integrability, significant advancement had been observed with respect to research on the integrability of non-linear PDEs thus leading to analysis of manifold classes of equations employing Painlevé test as a base [11] [12] [13].Painlevé test had being used in various situations, although was neither observed as a necessity nor a condition for integrability of PDEs.The current study proposes a Painleve test analysis using (2 + 1) dimensions, for testing the integrability of Non-linear Schrödinger equation (NLSE).It was observed that such approach could satisfy requirements of Cauchy-Kovalevskaya theorem while providing satisfactory results.
The (2 + 1) dimensional NLSE under taken in this study is: 0, z xx yy q q q qS q p µ δ In Equation (1), S is called a forcing term which shows the real quantity and

Painlevé Analysis
Painlevé test is frequently used to determine integrability of non-linear equations.A PDE which lacks any movable dimension (Algebraic or Logarithmic) is called Painlevé-type (P-type) [14].An ordinary differential equation (ODE) carries movable singularities without having movable branch points which place the same ODE into P-type equations.P-test to analyze the singularities structure for ODE was explained by Ablowitz et al. [15], further extended by Weiss-Tabor-Carnevale (WTC) to PDE [16] the method provides a great basis for investigation of integrability of various non-linear equations.A brief procedure for WTC is explained below.
Firstly, perform the leading order analysis, secondly, identify resonance position of arbitrary functions as per Laurent series and finally, existence of a significant number of arbitrary functions are verified without the introduction of movable critical manifold.

(2 + 1) Dimensional Non-Linear Schrodinger Equation
In this paper the Painlevé test is performed for (2 + 1) dimensional non-linear Schrödinger equation Equation (1) as described in three steps constituting the Kruskal's simplification algorithms such as determination of leading order, determination of resonance position and verification of the resonance conditions.

Leading Order Analysis
For estimation of leading singularity let's suppose that: whereas ( ) will be all negative integers, ( ) p q s all are functions of ( ) , y z .The same assumption were used by Jimbo et al. [17] and Goldstein & Infeld [18] the same were previously proposed in private communication by M. Kruskal [19].As per original explanation of Weiss et al., [17] ξ is a function of ( ) , , x y z .Substituting Equation (2) in Equ- ation (1) followed by balancing the leading term of ξ , and considering that these exponents will be all negative integers, get the only possible values i.e.According to the condition ( )

Determine the Resonance Position
As per WTC method, the system of Equation (1) which could satisfy the Painlevé test with the general solution is presented as: This equation contains six arbitrary functions with , , p q s in addition to the increasing function ξ , where the final solution is a single value regarding the arbitrary movable non-characteristic singular manifold as shown in the Laurent series.Now substituting Equation (2), Equation (3) and Equation (4) into Equation (1) and equating the coefficients of ( ) , , where

Coefficient of Expansion at the Resonance Position
Resonance at first position i = −1 is observed to relate the arbitrary singularity manifold ξ .For the Equation (1) to pass the Painlevé test, it is required that second resonance position at i = 0, third at i = 2, fourth & fifth at i = 3, 3 and sixth at i = 4 be identically satisfied.We utilize the Kruskal's simplification for verification of resonance conditions, such as x g y z p p y z q q y z s s y z ξ = + = = = (7)   With the resolution of Equation ( 7), Equation ( 3) is decreased to ( ) Case a: For i = −1.
This point to the arbitrariness of ( ) Case b: For i = 0.This point to the arbitrariness of 0 p or 0 q (See Equation ( 3)) Case c: For i = 1, Equating the coefficients of ( ) ) 1 yy z y z yy y y y y g g g g g q q g g p q g µ µ ) Eliminating the coefficients of ( ) z y yy q g q p q p q q s q s p q q δ δ From Equation (8) it is observed that Equation ( 15) is identically satisfied viva Equation ( 8) and (12).
And hence there are only two Equations ( 13) and ( 14) for three unknown variables 2 p , 2 q and 2 s which clarifies that one of them is arbitrary.Therefore the resonance condition at i = 2 is satisfied.Case e: For i = 3 (double resonance).
By collecting the coefficients of ( ) , , ξ ξ ξ − and according to Equation (8)   we get, 2 0 y yy z y y yy z g p g q p q p g s p p g p q p p q p s q p p p 2 0 y yy z y y yy z g q g q p q p g s q q g q p q s q p q s p q q q µ δ δ δ δ δ Obviously due to Equation ( 12), Equation ( 18) is identically satisfied.Now we solve 3 s from Equation ( 17) we get, ( z y yy t yy y y s p p g p g q p q p g s p q p s q p p p p g q p Now putting Equation ( 19) into Equation ( 17) and using Equations ( 10)-( 14), we find that Equation ( 17) is satisfied identically, which shows that 3 p and 3 q must be arbitrary if 3 s is determined by Equation ( 19).Hence the resonance condition at i = 3 is satisfied.Case f: for i = 4.
Vanishing the coefficients of ( ) g p p q p s q p g g p p g p p q p s q p p q p s p q q p p µ δ δ δ δ δ δ g q q p q s q p g g q q g q q p q s q p q p q s p q q p q µ δ δ q p p q p q p q pq f s s f s f s Firstly we simplify Equations ( 20) and (21) for 4 p and 4 q and then putting into Equation ( 22) according to Equations (8) (10) (11) (13) (14), and (19) we can find that Equation ( 22) is identically satisfied.
So any one of 4 p , 4 q and 4 s is arbitrary.Therefore the resonance condi- tion at i = 4 is also satisfied.
Hence we proved that the Equation (1) satisfies the Painlevé test.

Associated Bäcklund Transformation
To construct the Bäcklund transformation of Equation ( 1), let us truncate the Laurent series at the constant level term to give , , p p x y z = , ( ) , , q q x y z = and ( ) , , s s x y z = .
where the pair of functions ( )

Bilinear Form
In order to derive the Hirota's bilinear form we consider the vacuum solutions in Equation ( 23) then we have This suggest that we take the Hirota's bilinear transformation in the form ( ) In Equation (25) U, V and W are functions of variables x, y and z where U is a real function and V, W are complex functions.Using Equation ( 25) and the Hirota's bilinear operator Equation (24), Equation ( 1) can be transforming into bilinear forms as, ( ) x y Here D is called the bilinear operator defined by [20].
The power-series can be further used with the bilinear form obtained in this paper to construct a soliton solution by expanding the dependent variables.

Conclusions
A demonstration on the system which passes the Painlevé test is presented in this paper and further explained that the system has multi-linear variable solutions having arbitrary function, also the associated Bäcklund transformation and bilinear form are obtained directly from the Painlevé test.
The analysis points that our equation having six positions of resonance at i = −1, 0, 2, 3, 3, 4, there are six arbitrary functions at these resonance positions.
Therefore our equation conform the Painlevé criterion of integrability as explained in Cauchy-Kovalevskaya theorem.However, there is one further proposition of this paper that Painlevé analysis cannot be used to derive the Lax pair because in the case of coupled system there is still no specialized method for derivation of the Lax pair for coupled non-linear equations.
That value at which the determinant of the system matrix vanishes is called resonance position.It is establish that