An Approximate Analytical Solution of the Nonlinear Schrödinger Equation with Harmonic Oscillator Using Homotopy Perturbation Method and Laplace-Adomian Decomposition Method

The Laplace-Adomian Decomposition Method (LADM) and Homotopy Perturbation Method (HPM) are both utilized in this research in order to obtain an approximate analytical solution to the nonlinear Schrödinger equation with harmonic oscillator. Accordingly, nonlinear Schrödinger equation in both one and two dimensions is provided to illustrate the effects of harmonic oscillator on the behavior of the wave function.The available literature does not provide an exact solution to the problem presented in this paper. Nevertheless, approximate analytical solutions are provided in this paper using LADMandHPMmethods, in addition to comparing and analyzing both solutions.


Introduction
The Schrödinger equation is often encountered in many branches of science and engineering, including quantum mechanics, nonlinear optics, plasma physics, hydrodynamics, and superconductivity. It is a mathematical partial differential equation used to describe the motion and behavior change of the physical system over time. In classical mechanics, it plays the role of Newton's law and conservation of energy. In quantum mechanics, we describe systems using wave function. The Schrödinger equation has two "forms"; one is the time-dependent wave equation that describes how the wave function of a particle will evolve in time. The other is the time independent wave equation in which the time dependence has been "removed"; it describes what the allowed energies are of the particle [1,2].
This paper is organized in several sections. The HPM method is briefly explained in "Homotopy Perturbation Method". Then the LADM model is described in the "Laplace-Adomian Decomposition Method". Then in the 2 Advances in Mathematical Physics "One-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator", the solution to the One-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator equation in its nonlinear version is provided with a numerical example. Similarly, the solution of the Two-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator is presented in the "Two-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator". Finally, in the "Conclusion", we summarize our findings and present our final remarks. Since the exact solution to this problem is not available, we compare our numerical results with the results obtained using Mathematica function NDsolve.

Laplace-Adomian Decomposition Method
The Adomian Decomposition Method (ADM) is a method to solve differential equations by expressing the analytic solution in terms of a series. The method separates the linear and nonlinear parts of a differential equation. The nonlinear part can be expressed in terms of what is called Adomian Polynomials [28][29][30]. The initial condition and the terms that contain the independent variables will be used as the initial approximation. Then by means of a recurrence relation, it is possible to find the terms of the series that give the approximate solution of the differential equation.
The Laplace transform is an integral transform that is powerful and useful technique to solve differential equations, which transforms the original differential equation into an algebraic equation.
Below are the definitions of Laplace transform and inverse Laplace transform.
Definition . Given a function ( ) defined for all ≥ 0, the Laplace transform of is the function defined by and the inverse Laplace transform is defined as follows.
Definition . Given a continuous function ( ), if ( ) = L{ ( )}, then ( ) is called the inverse Laplace transform of The Laplace-Adomian Decomposition Method (LADM) was first introduced by Suheil A. Khuri [31] and has been effectively used to find solutions to general nonlinear equations. The added value of this method utilizes the two methods (Laplace Transform and ADM) to obtain the solution for nonlinear equations. Consider the following equation: where = / and = 2 / 2 , and are Linear operators, and is a nonlinear operator.
Laplace-Adomian Decomposition Method consists of applying Laplace transform to both sides of (2) and yields From Laplace transform of first derivative and substituting the initial condition, we get Next step is replacing the wave function by an infinite series of terms to be determined later as per the Adomian Decomposition Method (ADM): and the nonlinear terms are replaced by the series: where Substituting (5) and (6) into (4) and taking inverse Laplace transform, we get

Homotopy Perturbation Method
The Homotopy Perturbation Method (HPM) is a special case of the homotopy analysis method (HAM) [32]. HPM was presented by He [33] in 1999, and is considered as a strong and efficient technique in finding an exact or an approximate analytical solutions to nonlinear equations.
To demonstrate the idea of Homotopy Perturbation Method, we consider the general form nonlinear differential equation with initial conditions of the form [3]: Advances in Mathematical Physics 3 where and are linear and nonlinear operators respectively, ( ) is an analytic function, Γ is the boundary of the domain Ω, and Ψ/ denotes the differentiation of Ψ with respect to .
To apply the Homotopy concept to (10), we construct a suitable Homotopy, that satisfies where ∈ [0, 1] is a parameter which increases from 0 to 1, R represents all real numbers, and Ψ 0 is an initial approximate solution of (10), which satisfies the boundary conditions (11). Clearly, from (13) we have Now, when the value of changes from 0 to 1, V( , ) changes from Ψ 0 to Ψ( ). According to the concept of topology, this is called deformation and (V) − (Ψ 0 ) and (V) − ( ) are called homotopy. If we consider as a small parameter, then applying the original perturbation technique method, we can assume that the solution of (13) can be defined as a power series in : Then the solution Ψ to (10) is obtained as approaches 1: The series in (17) is convergent for most cases, the rate of convergence however is dependent on the nonlinear operator (V) [33]. In the following two sections we apply the above two methods to solve the One-and Two-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator.

One-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator
The nonlinear Schrödinger equation with harmonic oscillator described by Ψ with identical initial condition can be expressed as [20] where Ψ is the wave function, is the mass of the particle, is the imaginary unit to describe motion, and spring constant.
. . LADM. In this section we solve the One-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator (18) using LADM method by first applying Laplace transform to both sides of the equation (18) as follows: From the properties of Laplace transform of the first derivative and substituting the initial conditions (19), (20) becomes Now substituting (5) and (6) into (21), we get By applying inverse Laplace transform to (22) and taking into consideration we have where are the so called Adomian Polynomials of (Ψ 0 , Ψ 1 , Ψ 2 , . . . , Ψ ) to replace Ψ = |Ψ| 2 Ψ = Ψ 2 Ψ and Ψ is the conjugate of Ψ.
The first few terms of the solution are calculated as follows: and hence, the solution to (18) is The graphs of the one-dimensional wave function are shown in Figures 1, 2, 3, and 4. Figure 1 is the graph of the third order approximation for the solution of the real part of the wave function obtained by LADM and HPM. Figure 2 is the graph of the wave function obtained using Mathematica function NDsolve. Figures 3 and 4 show the imaginary part of the solution. We use = = 1 in the calculations.

Two-Dimensional Nonlinear Schrödinger Equation with Harmonic Oscillator
In this section we look at a particle movement in two dimensions, the nonlinear Schrödinger equation with harmonic oscillator when a particle moves in two dimensions with the initial condition can be written as [20] Ψ − 2 Ψ ( , , 0) = ( + ) .
. . LADM. Similar to the one-dimensional, after applying Laplace transform to (36), substituting the initial condition, and making L{Ψ( , , )} the subject, we have Replacing the wave function Ψ( , ) and |Ψ| 2 Ψ in (38) by the infinite series below,respectively, and we get Applying inverse Laplace transform, we have and thus Solving the above system of equations, we get Ψ 0 ( , , ) = ( + ) , 8

Advances in Mathematical Physics
Therefore, the approximate solution can be written as . . HPM. In this section we apply the HPM to solve the two-dimensional equation; first we construct the following suitable homotopy: Using the same steps as in the one-dimensional case, we get the following system of equations: The general ℎ term can be obtained as follows: Therefore, we can now evaluate the solution to the above system of differential equations: Hence, the approximate solution to (36), (37) is The graphs of the solution of the two-dimensional wave function are shown in Figures 5, 6, 7, and 8. Figure 5 is the graph of the third-order approximation for the solution of the real part of the wave function obtained by LADM and HPM. Figure 6 is the graph of the wave function obtained using Mathematica function NDsolve. Figures 7 and 8 show the imaginary part of the solution. We use = = 1 and = 0.1 in the calculations.

Conclusion
In this paper, homotopy perturbation and Laplace-Adomian decomposition methods have proven successful when used to   find the approximate solution to the nonlinear Schrödinger equation with harmonic oscillator in one and in two dimensions. Our theoretical analyses have shown that both methods have given equivalent analytical approximate solutions successfully and efficiently. Comparison between HPM and LADM shows that although the results of these two methods when applied to solve the Schrödinger equation are in good agreement, HPM can overcome the difficulties arising in calculation of Adomian's polynomials. The solutions have been obtained and plotted for the real and imaginary wave function with the effect of adding the harmonic oscillator to the nonlinear Schrödinger equation in one and in two dimensions. HPM and LADM methods numerical results are in agreement with the solution obtained using Mathematica function NDsolve.

Data Availability
No data is involved in this research.