Next Article in Journal
Ekeland Variational Principle in the Variable Exponent Sequence Spaces p(·)
Next Article in Special Issue
Limiting Values and Functional and Difference Equations
Previous Article in Journal
Improved Initialization of the EM Algorithm for Mixture Model Parameter Estimation

Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

# Efficient Computation of the Nonlinear Schrödinger Equation with Time-Dependent Coefficients

Institute of Artificial Intelligence, School of Computer Science and Informatics, De Montfort University, Leicester LE1 9BH, UK
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(3), 374; https://doi.org/10.3390/math8030374
Submission received: 11 February 2020 / Revised: 1 March 2020 / Accepted: 4 March 2020 / Published: 7 March 2020
(This article belongs to the Special Issue Nonlinear Equations: Theory, Methods, and Applications)

## Abstract

:
Motivated by the limited work performed on the development of computational techniques for solving the nonlinear Schrödinger equation with time-dependent coefficients, we develop a modified Runge–Kutta pair with improved periodicity and stability characteristics. Additionally, we develop a modified step size control algorithm, which increases the efficiency of our pair and all other pairs included in the numerical experiments. The numerical results on the nonlinear Schrödinger equation with a periodic solution verified the superiority of the new algorithm in terms of efficiency. The new method also presents a good behaviour of the maximum absolute error and the global norm in time, even after a high number of oscillations.

## 1. Introduction

We consider the following dimensionless form of the nonlinear Schrödinger (NLS) equation:
$i ∂ ψ ∂ t + a ( t ) ∂ 2 ψ ∂ x 2 + b ( t ) | ψ | 2 ψ = 0 .$
Equation (1) represents atomic Bose–Einstein condensates (BECs), where $ψ$ represents the mean-field function of the matter-wave, t is the time and x the longitudinal coordinate. Furthermore, Equation (1) can also be applied in the context of nonlinear optics [1], for the study of optical beams, in which case, $ψ$ represents the complex electric field envelope, t is the propagation distance and x is the transverse coordinate [2,3]. The varying coefficients $a ( t )$ and $b ( t )$ denote the dispersion and nonlinearity, respectively.
The solution $ψ ( x , t )$ of Equation (1) satisfies the global norm conservation law [4]:
$E ( ψ ) = ∫ R | ψ ( x , t ) | 2 d x = constant .$
The analytical solution of the NLS with varying coefficients has attracted great interest in the recent past (e.g., see [5,6,7] or more recent works in [8,9,10,11] and references therein). Additionally, the computation of the NLS is a critical part of the verification process of the analytical theories. This has been achieved in the case of non-varying coefficients, with success for a large number of comparative numerical algorithms [12,13,14,15,16].
Other work performed on the computation of NLS with varying coefficients is limited, especially when they have a periodic/oscillatory behaviour in time. In the work of Serkin and Hasegawa in [17], a set of new soliton solutions of the NLS are found, which allow the investigation of special cases. Some of these introduce solitary solutions with periodic-oscillatory nature and are investigated by Hong and Liu in [4], along with a conservation law for a varying-coefficient NLS. On the other hand, Tang et al. create a predictor-corrector method for the NLS with varying coefficients in [18].
In general, for initial/boundary problems that present a periodic/oscillatory behaviour, a very popular and efficient computational approach is using the method of lines, where the numerical algorithm used for the time integration is specifically designed for this behaviour. Among these time steppers, very wide-spread are the ones with variable coefficients, such as phase-fitted and/or amplification-fitted, trigonometrically-fitted etc. (e.g., [19,20,21,22,23,24,25]). This approach requires a well-defined dominant frequency of the oscillations along the propagation coordinate and, when this is not the case, they under-perform. A different approach is to construct optimised numerical methods that have constant coefficients, which do not rely on the knowledge of the frequencies of the problem (e.g., [26,27,28,29,30,31]). Following these techniques, no fitting is performed. Instead, properties such as the phase-lag, commonly also referred to as dispersion error, and the amplification-error, commonly also referred to as dissipation error, are optimised.
Another methodology that is used along with single-step methods is the step size control, which allows the method to automatically adjust the step size and thus reduce the computation effort [19,20,21,22,23,26,29,31,32,33,34,35,36]. For some types of methods, the local error estimation can be performed using an embedded estimator, which has many advantages over other techniques, such as extrapolation [32]. For Runge–Kutta (RK) methods, this estimation can be very cheap computationally, since a second approximation is performed using the same internal stages of the method, with negligible additional cost.
In this article, we construct an explicit 6(4)-order, eight-stage Runge–Kutta pair with constant coefficients that has increased phase-lag and amplification-error orders and stability intervals. The values of the coefficients have deliberately chosen to have similar orders of magnitude, to minimise the round-off error. Additionally, the low-order method is developed with similar stability characteristics to the high-order one, to improve the local error estimation for extreme step sizes. For a complete list of the criteria satisfied, see Section 3.
Additionally, we develop a modified step size control algorithm, specifically designed for the NLS equation, which increases the efficiency of our pair and all other pairs included in the numerical experiments. For its development, see Section 4.
The structure of this paper is as follows:
• in Section 2 required basic theory concepts are reported;
• Section 3 shows the construction and the analysis of the new RK pair;
• in Section 4 we present the new modified step size control algorithm;
• in Section 5 we present the numerical experiments on the NLS;
• in Section 6 we discuss conclusions.

## 2. Theory

#### 2.1. Explicit Runge–Kutta Pairs

A Runge–Kutta method is considered an extension of the Euler method that provides a more accurate approximation by the use of additional derivative evaluations. To achieve a certain algebraic order p, then the following set of equations must hold $y ( n ) ( x ) = y n ( n ) ( x ) , n = 1 , 2 , ⋯ , p$, where y and $y n$ are the theoretical and numerical solutions, respectively.
For the numerical solution of Equation (1), let $( x , t ) ∈ [ x L , x R ] × [ 0 , T ]$. If $y m n + 1$ and $y ^ m n + 1$ denote approximations of $ψ ( x m , t n + 1 )$, where $x m = x L + m Δ x$, $m = 0 , 1 , … , M − 1$, $t n + 1 = t n + h , n = 0 , 1 , … , N − 1$, then an $s −$stage embedded $q ( p ) s$ Runge–Kutta pair is presented in Equation (3) and consists of two methods of different orders: the high-order $( c , A , b )$ and the low-order $( c , A , b ^ )$ of orders q and p, respectively, with $p < q$:
$y m n + 1 = y m n + h ∑ i = 1 s b i k i y ^ m n + 1 = y m n + h ∑ i = 1 s b ^ i k i k i = f ( t n + c i h , y m n + h ∑ j = 1 i − 1 a i j k j ) , i = 1 , … , s o r c A b b ^ ,$
where $A = [ a i j ]$, $b = [ b i ]$, $b ^ = [ b ^ i ]$, $c = [ c i ]$, $i = 1 , 2 , … , s$ and $j = 1 , 2 , … , i − 1$ are the coefficient matrices, h is the step size and f is defined in $y ′ = f ( x , y )$.
The values of y and $y ^$ are yielded by the high- and low-order methods respectively. $y ^$ only contributes to the local truncation error estimation (the step size control is discussed in Section 4).
According to rooted tree analysis [37], there are 37 equations that must be satisfied to obtain a Runge–Kutta method of sixth algebraic order:
$∑ i = 1 s b i = 1 , ∑ i = 1 s b i c i = 1 2 , ∑ i = 1 s b i c i 2 = 1 3 , ∑ i , j = 1 s b i a i j c j = 1 6 , ∑ i = 1 s b i c i 3 = 1 4 , ∑ i , j = 1 s b i c i a i j c j = 1 8 , ∑ i , j = 1 s b i a i j c j 2 = 1 12 , ∑ i , j , k = 1 s b i a i j a j k c k = 1 24 , ∑ i = 1 s b i c i 4 = 1 5 , ∑ i , j = 1 s b i c i 2 a i j c j = 1 10 , ∑ i , j = 1 s b i c i a i j c j 2 = 1 15 , ∑ i , j , k = 1 s b i c i a i j a j k c k = 1 30 , ∑ i , j = 1 s b i a i j c j 3 = 1 20 , ∑ i , j , k = 1 s b i a i j c j a j k c k = 1 40 , ∑ i , j , k = 1 s b i a i j a j k c k 2 = 1 60 , ∑ i , j , k , l = 1 s b i a i j a j k a k l c l = 1 120 , ∑ i , j , k = 1 s b i a i j c j a i k c k = 1 20 , ∑ i = 1 s b i c i 5 = 1 6 , ∑ i , j = 1 s b i c i 3 a i j c j = 1 12 , ∑ i , j = 1 s b i c i 2 a i j c j 2 = 1 18 , ∑ i , j , k = 1 s b i c i a i j c j a i k c k = 1 24 , ∑ i , j , k = 1 s b i c i 2 a i j a j k c k = 1 36 , ∑ i , j = 1 s b i c i a i j c j 3 = 1 24 , ∑ i , j , k = 1 s b i c i a i j c j a j k c k = 1 48 , ∑ i , j , k = 1 s b i a i j c j a i k c k 2 = 1 36 , ∑ i , j , k , l = 1 s b i c i a i j a j k a k l c l = 1 144 , ∑ i , j , k , l = 1 s b i a i j c j a i k a k l c l = 1 72 , ∑ i , j , k = 1 s b i c i a i j a j k c k 2 = 1 72 , ∑ i , j = 1 s b i a i j c j 4 = 1 30 , ∑ i , j , k = 1 s b i a i j c j 2 a j k c k = 1 60 , ∑ i , j , k = 1 s b i a i j c j a j k c k 2 = 1 90 , ∑ i , j , k , l = 1 s b i a i j c j a j k a k l c l = 1 180 , ∑ i , j , k , l = 1 s b i a i j a j k c k a j l c l = 1 120 , ∑ i , j , k = 1 s b i a i j a j k c k 3 = 1 120 , ∑ i , j , k , l = 1 s b i a i j a j k c k a k l c l = 1 240 , ∑ i , j , k , l = 1 s b i a i j a j k a k l c l 2 = 1 360 , ∑ i , j , k , l , m = 1 s b i a i j a j k a k l a l m c m = 1 720 .$
Additionally, equations $c i = ∑ j = 1 s a i j , i = 1 , … , s$ should hold.

#### 2.2. Phase-Lag and Stability

When dealing with initial value problems of oscillatory/periodic nature, it is critical to optimise the numerical method for solving these exact problems. This, however, is often very complicated or even impossible, due to the complexity of the problem, in addition to having developed a very problem-specific algorithm with limited applications. An efficient way to produce methods that are optimised for periodic problems is to deal with a test problem that has similar behaviour but at the same time is simple enough to produce useful results. One test problem that possesses such properties is
$y ′ = i ω y , y ( 0 ) = y 0 ω , y 0 ∈ R ,$
with exact solution $y ( t ) = y 0 e i ω t$, which represents the circular orbit on the complex plane and $ω$ its frequency.
Equation (5) solved numerically by the RK high-order method of Equation (3) yields the solution $y m n + 1 = R n y m n$, where $R ( v ) = A s ( v 2 ) + i v B s ( v 2 )$ is called the stability polynomial, $v = ω h$ and $A s , B s$ are polynomials in $v 2$. The exact solution of Equation (5) satisfies the relation $y ˜ ( t n + 1 ) = y ˜ ( t n ) e i v n$. For a generic $v = v n$, since $| e i v | = 1$ and $arg ( e i v ) = v$ we have:
Definition 1.
[38] For the s-stage Runge–Kutta method of Equation (3), $ϕ ( v ) = v − arg [ R ( v ) ]$ and $a ( v ) = 1 − | R ( v ) |$ are called the phase-lag or dispersion error and the amplification error or dissipative error, respectively. A method has dispersive order m and dissipative order r if $ϕ ( v ) = O ( v m + 1 )$ and $a ( v ) = O ( v r + 1 )$.
The phase-lag measures the error of the angle and the amplification error measures the error of the radius, as the numerical method approximates the circular orbit of Equation (5).
Definition 2.
[26] For the Runge–Kutta method of Equation (3), if $| R ( i v I ) | < 1$ and $| R ( v I + ϵ ) | > 1$, for every $v ∈ I I$ and every suitably small positive ϵ, then the imaginary stability interval is $I I = ( 0 , v I )$.
Definition 3.
For the method of Equation (3), if $| R ( v R ) | < 1$ and $| R ( v R − ϵ ) | > 1$, for every $v ∈ I R$ and every suitably small positive ϵ, then the real stability interval is $I R = ( v R , 0 )$.
Definition 4.
The stability region is defined as the set $S = z ∈ C : | R ( z ) | < 1$.

## 3. Construction and Analysis

For the construction of the new pair, we satisfy the following criteria:
• Sixth algebraic order, which implies the 37 equations of Equation (4) for the algebraic conditions and 7 additional equations for the eight internal stages [37].
• Constant coefficients, since no dominant frequency exists for different values of x, as observed in Figure 1.
• Maximised phase-lag and amplification-error orders m and r of Definition 1, for improved behaviour when solving Equation (1) with periodic/oscillatory solutions.
• Maximised real stability interval, based on Definition 4.
• Coefficients with similar orders of magnitude, to minimise the round-off error.
• Low-order method with similar stability characteristics to the high-order one, to improve the local error estimation for extreme step sizes.
From a number of solutions that satisfy the restrictions of criteria (1) and (2), we select the one that maximises the order of phase-lag and amplification-error, i.e., criterion (3), maximises the real stability interval, i.e., criterion (4) and finally selects the values of coefficients to have similar orders of magnitude, i.e., criterion (5), in this order. Additionally, we chose the coefficients $b ^$ of the low-order method, as presented in the last row of Table 1, to satisfy criterion (6).
The stability regions of both high-order and low-order methods of the new pair, based on Definition 4, are presented in Figure 2. The real stability intervals of the high-order and low-order methods are ($− 4.31 , 0$) and ($− 4.25 , 0$) respectively. This satisfies criterion (6). The phase-lag orders of the new pair, based on Definition 1, are 8(4), while the amplification-error orders are 9(5). The coefficients of the new RK pair are presented in Table 1.

## 4. A Modified Step Size Control Algorithm

There are various algorithms regarding the selection of the step size, when a local error estimation is known (see e.g., [32] and references therein). The most well-known is the following:
Provided a step size $h n$, each subsequent step size $h n + 1$ of the pair in Equation (3) is determined by
$h n + 1 = min max h o p t , h n r m a x , h n r m a x , w h e r e h o p t = 0.9 h n T O L E S T h g 1 p + 1 a n d$
$E S T = max m | y ^ m n − y m n | , m = 0 , 1 , … M − 1 , g = 0 , a n d r m a x = 2 .$
$T O L$ represents the tolerance or maximum allowed local error. If $E S T < T O L$, then the step is accepted and the solution advances, otherwise the step is rejected and then repeated with a new step size given by Equation (6).
Here, we introduce a modification of the above algorithm, to include the difference of the squares as the local error estimation. For the pair of Equation (3), since $q ⩾ p + 1$, we have:
$y ^ m n = ψ ( x m , t n ) + C h p + 1 + O h p + 2$
and
$y m n = ψ ( x m , t n ) + D h p + 2 + O h p + 3$
The nature of NLS suggests the use of
$y ^ m n 2 − y m n 2 ≃ ψ ( x m , t n ) + C h p + 1 2 − ψ ( x m , t n ) + D h p + 2 2 = ψ 2 ( x m , t n ) + 2 ψ ( x m , t n ) C h p + 1 + C 2 h 2 p + 2 − ψ 2 ( x m , t n ) − 2 ψ ( x m , t n ) D h p + 2 − D h 2 p + 4 = 2 ψ ( x m , t n ) C h p + 1 + O ( h p + 2 ) ≃ 2 ψ ( x m , t n ) C h p + 1 .$
This means that $C h p + 1 ≃ y ^ m n 2 − y m n 2 2 ψ ( x m , t n ) ≃ y ^ m n 2 − y m n 2 2 y m n$
Based on this, for Equation (6) we select
$E S T = max m y ^ m n 2 − y m n 2 2 y m n , m = 0 , 1 , … M − 1 , g = 2 , a n d r m a x = 2 .$
The efficiency of this modification is presented in Section 5.1.

## 5. Numerical Experiments

For Equation (1), we chose $a = 1 2 cos t a n d b = cos t sin t + 3$, as selected in [4,18]. A periodically solitary solution to the aforementioned problem is
$ψ ( x , t ) = 1 sin t + 3 sech x sin t + 3 exp i x 2 − 1 2 sin t + 6 ,$
as proved in [17]. For the computation of this problem, we chose the method of lines. Regarding the semi-discretisation of the term $∂ 2 ψ ∂ x 2$, we chose a 20th order symmetric central finite difference scheme to diminish the effects of numerical dispersion. In order to further minimise the error due to the semi-discretisation, we also choose a wide lattice $x ∈ − 150 , 150$, with $Δ x = 0.1$. The numerical solution of $ψ ( x , t ) 2$ versus the coordinates x and t, when solved by method of Table 1, is presented in Figure 3, where we only present the solution for $x ∈ − 20 , 20$. The behaviour of the real and imaginary parts of the solution does not follow the behaviour of the magnitude $ψ ( x , t ) 2$, because different dominant frequencies appear for different values of x, as can be observed in Figure 1. For this reason, we chose to develop a method with constant coefficients.

#### 5.1. Modified Step Size Control

The advantage of the modification of the step size control presented in Equation (10) as compared to the widely used Equation (7) can be observed in Figure 4 for $t ∈ [ 0 , 30 π ]$. We observe an increase in efficiency among all three pairs compared (solid versus dashed line) when using the modified versus the original step size control algorithm. Additionally, the new pair is still the most efficient among all pairs when the modified step size control algorithm is used.

#### 5.2. Results

The compared methods and their properties are presented in Table 2.
The efficiency of all compared methods in terms of the maximum absolute global norm error versus the function evaluations is presented in Figure 5 for $t ∈ [ 0 , 30 π ]$. For each algorithm, the most efficient step size control is used, if applicable, which for all embedded pairs is the modified algorithm presented in Equation (10). Otherwise, a constant step is used.
Furthermore, the maximum absolute error of the solution and of its square versus t are presented in Figure 6 and Figure 7 respectively, for $t ∈ [ 0 , 300 π ]$. The maximum absolute error of the solution versus x is shown in Figure 8 and, finally, the error of the global norm is presented in Figure 9 and is measured by applying the Simpson rule on the conservation law, i.e., Equation (2), and evaluating the difference $E ψ ( x , t ) − E ψ ( x , 0 )$.

## 6. Conclusions

We carefully selected a set of criteria for the construction of a new Runge–Kutta pair for the efficient computation of the nonlinear Schrödinger equation with varying coefficients. Then, from a plethora of solutions that satisfy the restrictions, we chose the one that optimises a set of properties in a way that follows the procedure of Section 3. Thus, we have developed an explicit 6(4)-order, eight-stage Runge–Kutta pair that has maximised phase-lag and amplification-error orders, for improved behaviour when solving the NLS with periodic/oscillatory solutions and constant coefficients, since the problem does not exhibit a dominant frequency. The stability characteristics were chosen so that the high-order method has a maximised real stability interval and that the low-order method has similar stability characteristics as the high-order one, to improve the local error estimation for extreme step sizes. Furthermore, the values of the RK coefficients have deliberately chosen to have similar orders of magnitude, to minimise the round-off error.
We compared the new RK method to other methods of the literature on a case of the NLS with a periodic-oscillatory solution. The numerical results verified the superiority of the new algorithm in terms of efficiency. The new method also presented a good behaviour of the maximum absolute error and the global norm in time, even after a high number of oscillations.
Additionally, we have developed a modified step size control algorithm, which was applied to the new pair as well as to other pairs of the literature. The results showed increased efficiency of all pairs included in the numerical experiments, compared to what the original step size control algorithm produced. The new RK pair was still the most efficient one among all pairs when using the modified step size control algorithm.

## Author Contributions

Conceptualisation, A.A.K. and Z.A.A.; formal analysis, A.A.K.; investigation, A.A.K.; methodology, A.A.K. and Z.A.A.; Verification, A.A.K., S.C.-D., F.C. and Z.A.A.; writing—original draft, A.A.K., S.C.-D., F.C. and Z.A.A.; writing—review and editing, A.A.K., S.C.-D., F.C. and Z.A.A. All authors contributed to the draft of the manuscript, read and approved its final version. All authors have read and agreed to the published version of the manuscript.

## Funding

This research received no external funding.

## Acknowledgments

We thank the anonymous referees for their fruitful comments and remarks.

## Conflicts of Interest

The authors declare no conflict of interest.

## Notation

 Nonlinear Schrödinger equation $ψ ( x , t )$ mean-field matter wave function/complex electric field envelope t time/propagation distance x longitudinal coordinate/transverse coordinate $a ( t )$ dispersion $b ( t )$ nonlinearity $E ( ψ )$ global norm Runge–Kutta methods $y ( x )$ theoretical solution $y n ( x )$ numerical solution h step size $q , p$ low and high algebraic orders $y m n$, $y ^ m n$ low-order and high-order approximations of $ψ ( x m , t n )$ $a i j , b i , b ^ i , c i$ Runge–Kutta coefficients $A , b , b ^ , c$ Runge–Kutta coefficient matrices $E S T$ local error estimation $T O L$ tolerance Phase-lag and stability $ω$ frequency $R ( v )$ stability polynomial $I I$ imaginary stability interval $I R$ real stability interval

## References

1. Moloney, J.V.; Newell, A.C. Nonlinear optics. Phys. D Nonlinear Phenom. 1990, 44, 1–37. [Google Scholar] [CrossRef]
2. Pitaevskii, L.; Stringari, S. Bose-Einstein Condensation; Oxford University Press: Oxford, UK, 2003. [Google Scholar]
3. Malomed, B. Multi-Component Bose-Einstein Condensates: Theory. In Emergent Nonlinear Phenomena in Bose-Einstein Condensates: Theory and Experiment; Springer: Berlin/Heidelberg, Germany, 2008; pp. 287–305. [Google Scholar] [CrossRef]
4. Hong, J.; Liu, Y. A novel numerical approach to simulating nonlinear Schrödinger equations with varying coefficients. Appl. Math. Lett. 2003, 16, 759–765. [Google Scholar] [CrossRef] [Green Version]
5. Zhong, W.P.; Belić, M.; Zhang, Y. Second-order rogue wave breathers in the nonlinear Schrödinger equation with quadratic potential modulated by a spatially-varying diffraction coefficient. Opt. Express 2015, 23, 3708–3716. [Google Scholar] [CrossRef] [PubMed]
6. Kengne, E. Analytical solutions of nonlinear Schrödinger equation with distributed coefficients. Chaos Solitons Fractals 2014, 61, 56–68. [Google Scholar] [CrossRef]
7. Amador, G.; Colon, K.; Luna, N.; Mercado, G.; Pereira, E.; Suazo, E. On Solutions for Linear and Nonlinear Schrödinger Equations with Variable Coefficients: A Computational Approach. Symmetry 2016, 8, 38. [Google Scholar] [CrossRef] [Green Version]
8. Obaidat, S.; Mesloub, S. A New Explicit Four-Step Symmetric Method for Solving Schrödinger’s Equation. Mathematics 2019, 7, 1124. [Google Scholar] [CrossRef] [Green Version]
9. Benia, Y.; Ruggieri, M.; Scapellato, A. Exact Solutions for a Modified Schrödinger Equation. Mathematics 2019, 7, 908. [Google Scholar] [CrossRef] [Green Version]
10. Polyanin, A.D. Comparison of the Effectiveness of Different Methods for Constructing Exact Solutions to Nonlinear PDEs. Generalizations and New Solutions. Mathematics 2019, 7, 386. [Google Scholar] [CrossRef] [Green Version]
11. Chen, J.; Zhang, Q. Ground State Solution of Pohozaev Type for Quasilinear Schrödinger Equation Involving Critical Exponent in Orlicz Space. Mathematics 2019, 7, 779. [Google Scholar] [CrossRef] [Green Version]
12. Tsitoura, F.; Anastassi, Z.A.; Marzuola, J.L.; Kevrekidis, P.G.; Frantzeskakis, D.J. Dark solitons near potential and nonlinearity steps. Phys. Rev. A 2016, 94, 063612. [Google Scholar] [CrossRef] [Green Version]
13. Lyu, P.; Vong, S. A linearized and second-order unconditionally convergent scheme for coupled time fractional Klein-Gordon-Schrödinger equation. Numer. Methods Partial Differ. Equ. 2018, 34, 2153–2179. [Google Scholar] [CrossRef]
14. Jiang, C.; Cai, W.; Wang, Y. Optimal error estimate of a conformal Fourier pseudo-spectral method for the damped nonlinear Schrödinger equation. Numer. Methods Partial Differ. Equ. 2018, 34, 1422–1454. [Google Scholar] [CrossRef]
15. Liao, F.; Zhang, L.; Hu, X. Conservative finite difference methods for fractional Schrödinger–Boussinesq equations and convergence analysis. Numer. Methods Partial Differ. Equ. 2019, 35, 1305–1325. [Google Scholar] [CrossRef]
16. Malomed, B.A.; Stepanyants, Y.A. The inverse problem for the Gross–Pitaevskii equation. Chaos 2010, 20, 013130. [Google Scholar] [CrossRef] [Green Version]
17. Serkin, V.N.; Hasegawa, A. Novel Soliton Solutions of the Nonlinear Schrödinger Equation Model. Phys. Rev. Lett. 2000, 85, 4502–4505. [Google Scholar] [CrossRef]
18. Tang, C.; Zhang, F.; Yan, H.Q.; Chen, Z.Q.; Luo, T. Three-Step Predictor-Corrector of Exponential Fitting Method for Nonlinear Schrödinger Equations. Commun. Theor. Phys. 2005, 44, 435–439. [Google Scholar] [CrossRef]
19. Kosti, A.A.; Anastassi, Z.A.; Simos, T.E. Construction of an optimized explicit Runge–Kutta–Nyström method for the numerical solution of oscillatory initial value problems. Comput. Math. Appl. 2011, 61, 3381–3390. [Google Scholar] [CrossRef] [Green Version]
20. Kosti, A.A.; Anastassi, Z.A.; Simos, T.E. An optimized explicit Runge–Kutta–Nyström method for the numerical solution of orbital and related periodical initial value problems. Comput. Phys. Commun. 2012, 183, 470–479. [Google Scholar] [CrossRef]
21. Anastassi, Z.A.; Kosti, A.A. A 6(4) optimized embedded Runge–Kutta–Nyström pair for the numerical solution of periodic problems. J. Comput. Appl. Math. 2015, 275, 311–320. [Google Scholar] [CrossRef]
22. Kosti, A.A.; Anastassi, Z.A. Explicit almost P-stable Runge–Kutta–Nyström methods for the numerical solution of the two-body problem. Comput. Appl. Math. 2015, 34, 647–659. [Google Scholar] [CrossRef]
23. Demba, M.; Senu, N.; Ismail, F. A 5(4) Embedded Pair of Explicit Trigonometrically-Fitted Runge–Kutta–Nyström Methods for the Numerical Solution of Oscillatory Initial Value Problems. Math. Comput. Appl. 2016, 21, 46. [Google Scholar] [CrossRef] [Green Version]
24. Ahmad, N.A.; Senu, N.; Ismail, F. Phase-Fitted and Amplification-Fitted Higher Order Two-Derivative Runge-Kutta Method for the Numerical Solution of Orbital and Related Periodical IVPs. Math. Probl. Eng. 2017, 2017, 1871278. [Google Scholar] [CrossRef]
25. Simos, T.E.; Papakaliatakis, G. Modified Runge–Kutta Verner methods for the numerical solution of initial and boundary-value problems with engineering applications. Appl. Math. Model. 1998, 22, 657–670. [Google Scholar] [CrossRef]
26. Tsitouras, C.; Simos, T.E. Optimized Runge–Kutta pairs for problems with oscillating solutions. J. Comput. Appl. Math. 2002, 147, 397–409. [Google Scholar] [CrossRef] [Green Version]
27. Triantafyllidis, T.V.; Anastassi, Z.A.; Simos, T.E. Two optimized Runge-Kutta methods for the solution of the Schrödinger equation. MATCH Commun. Math. Comput. Chem. 2008, 60, 3. [Google Scholar]
28. Kosti, A.A.; Anastassi, Z.A.; Simos, T.E. An optimized explicit Runge-Kutta method with increased phase-lag order for the numerical solution of the Schrödinger equation and related problems. J. Math. Chem. 2010, 47, 315. [Google Scholar] [CrossRef]
29. Papageorgiou, G.; Tsitouras, C.; Papakostas, S.N. Runge-Kutta pairs for periodic initial value problems. Computing 1993, 51, 151–163. [Google Scholar] [CrossRef]
30. Berland, J.; Bogey, C.; Bailly, C. Low-dissipation and low-dispersion fourth-order Runge–Kutta algorithm. Comput. Fluids 2006, 35, 1459–1463. [Google Scholar] [CrossRef]
31. Tsitouras, C. A parameter study of explicit Runge-Kutta pairs of orders 6(5). Appl. Math. Lett. 1998, 11, 65–69. [Google Scholar] [CrossRef] [Green Version]
32. Shampine, L.F. Error estimation and control for ODEs. J. Sci. Comput. 2005, 25, 3–16. [Google Scholar] [CrossRef]
33. Auzinger, W.; Kassebacher, T.; Koch, O.; Thalhammer, M. Adaptive splitting methods for nonlinear Schrödinger equations in the semiclassical regime. Numer. Alg. 2016, 72, 1–35. [Google Scholar] [CrossRef] [Green Version]
34. Auzinger, W.; Hofstätter, H.; Koch, O.; Thalhammer, M. Defect-Based Local Error Estimators for Splitting Methods, with Application to Schrödinger Equations, Part III. J. Comput. Appl. Math. 2015, 273, 182–204. [Google Scholar] [CrossRef]
35. Thalhammer, M.; Abhau, J. A numerical study of adaptive space and time discretisations for Gross–Pitaevskii equations. J. Comput. Phys. 2012, 231, 6665–6681. [Google Scholar] [CrossRef] [PubMed] [Green Version]
36. Balac, S.; Fernandez, A. Mathematical analysis of adaptive step-size techniques when solving the nonlinear Schrödinger equation for simulating light-wave propagation in optical fibers. Opt. Commun. 2014, 329, 1–9. [Google Scholar] [CrossRef] [Green Version]
37. Butcher, J.C. Trees and numerical methods for ordinary differential equations. Numer. Alg. 2010, 53, 153–170. [Google Scholar] [CrossRef]
38. Popelier, P.L.; Simos, T.E.; Wilson, S. Chemical Modelling: Applications and Theory; Royal Society of Chemistry: London, UK, 2000; Volume 1. [Google Scholar]
Figure 1. Real part $ℜ ψ ( x , t )$, showing different frequencies for various values of x.
Figure 1. Real part $ℜ ψ ( x , t )$, showing different frequencies for various values of x.
Figure 2. Stability regions of both high-order and low-order methods of the new Runge–Kutta (RK) pair of Table 1.
Figure 2. Stability regions of both high-order and low-order methods of the new Runge–Kutta (RK) pair of Table 1.
Figure 3. Numerical solution of $ψ ( x , t ) 2$ versus x and t.
Figure 3. Numerical solution of $ψ ( x , t ) 2$ versus x and t.
Figure 4. Maximum absolute global norm error versus the function evaluations for the pairs PL8-AE9 (Table 1) (■), Papageorgiou et al. [29] (●) and Fehlberg [37] (▲). For each of the three pairs, Var II (solid line —) denotes the modified step size control algorithm described with Equation (10), while Var I (dashed line – –) denotes the original method in Equation (7).
Figure 4. Maximum absolute global norm error versus the function evaluations for the pairs PL8-AE9 (Table 1) (■), Papageorgiou et al. [29] (●) and Fehlberg [37] (▲). For each of the three pairs, Var II (solid line —) denotes the modified step size control algorithm described with Equation (10), while Var I (dashed line – –) denotes the original method in Equation (7).
Figure 5. Maximum absolute global norm error versus the function evaluations for all compared methods in Table 2.
Figure 5. Maximum absolute global norm error versus the function evaluations for all compared methods in Table 2.
Figure 6. The maximum absolute error of the solution $max m y m n − ψ ( x m , t n )$ versus t.
Figure 6. The maximum absolute error of the solution $max m y m n − ψ ( x m , t n )$ versus t.
Figure 7. The maximum absolute error of the square of the solution $max m y m n 2 − ψ ( x m , t n ) 2$ versus t.
Figure 7. The maximum absolute error of the square of the solution $max m y m n 2 − ψ ( x m , t n ) 2$ versus t.
Figure 8. The maximum absolute error of the solution $max n y m n − ψ ( x m , t n )$ versus x.
Figure 8. The maximum absolute error of the solution $max n y m n − ψ ( x m , t n )$ versus x.
Figure 9. The global norm error $E ψ ( x , t ) − E ψ ( x , 0 )$ versus t.
Figure 9. The global norm error $E ψ ( x , t ) − E ψ ( x , 0 )$ versus t.
Table 1. The Butcher tableau of the new 6(4)8 Runge–Kutta pair.
Table 1. The Butcher tableau of the new 6(4)8 Runge–Kutta pair.
 0 $1 15$ $1 15$ $1 5$ $− 1 10$ $3 10$ $1 3$ $62 − 5 65 126$ $− 55 + 5 65 84$ $125 − 5 65 252$ $2 5$ $249 − 15 65 350$ $− 141 + 9 65 140$ $89 − 3 65 140$ $3 50$ $3 5$ $192 − 7 65 350$ $− 687 + 9 65 700$ $1019 + 37 65 700$ $− 324 + 18 65 175$ $50 + 2 65 35$ $4 5$ $− 2047 + 90 65 1750$ $591 − 27 65 350$ $285 + 18 65 700$ $− 1071 1000$ $21 50$ $21 40$ 1 $396 − 15 65 119$ $− 1020 + 45 65 238$ $225 − 30 65 476$ $− 3261 952$ $225 34$ $− 375 136$ $125 119$ b $5 96$ 0 $125 288$ $− 81 112$ $125 144$ 0 $625 2016$ $17 288$ $b ^$ $5 96$ 0 $383 960$ $− 333 640$ $947 1440$ $101 1920$ $3 10$ $17 288$
Table 2. Properties of the compared methods. H: High order, L: Low order (- means no step size control), S: Stages, PL: Phase-Lag order, AE: Amplification-Error order, IR: Real Stability Interval, II: Imaginary Stability Interval.
Table 2. Properties of the compared methods. H: High order, L: Low order (- means no step size control), S: Stages, PL: Phase-Lag order, AE: Amplification-Error order, IR: Real Stability Interval, II: Imaginary Stability Interval.
H(L)SPLAEIRII
PL8-AE9 (Table 1)6(4)889−4.313.39
Papageorgiou [29]6(5)81011−4.513.06
Triantafyllidis [27]6(-)8107−4.513.06
Fehlberg [37]6(5)867−4.061.30
Kosti [28]5(-)685−3.830.002
Dormand [37]5(4)765−3.300.99

## Share and Cite

MDPI and ACS Style

Kosti, A.A.; Colreavy-Donnelly, S.; Caraffini, F.; Anastassi, Z.A. Efficient Computation of the Nonlinear Schrödinger Equation with Time-Dependent Coefficients. Mathematics 2020, 8, 374. https://doi.org/10.3390/math8030374

AMA Style

Kosti AA, Colreavy-Donnelly S, Caraffini F, Anastassi ZA. Efficient Computation of the Nonlinear Schrödinger Equation with Time-Dependent Coefficients. Mathematics. 2020; 8(3):374. https://doi.org/10.3390/math8030374

Chicago/Turabian Style

Kosti, Athinoula A., Simon Colreavy-Donnelly, Fabio Caraffini, and Zacharias A. Anastassi. 2020. "Efficient Computation of the Nonlinear Schrödinger Equation with Time-Dependent Coefficients" Mathematics 8, no. 3: 374. https://doi.org/10.3390/math8030374

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.