Project supported by the National Natural Science Foundation of China (Grant No. 11401259) and the Fundamental Research Funds for the Central Universities, China (Grant No. JUSRR11407).
In this paper, we propose a variational integrator for nonlinear Schrödinger equations with variable coefficients. It is shown that our variational integrator is naturally multi-symplectic. The discrete multi-symplectic structure of the integrator is presented by a multi-symplectic form formula that can be derived from the discrete Lagrangian boundary function. As two examples of nonlinear Schrödinger equations with variable coefficients, cubic nonlinear Schrödinger equations and Gross–Pitaevskii equations are extensively studied by the proposed integrator. Our numerical simulations demonstrate that the integrator is capable of preserving the mass, momentum, and energy conservation during time evolutions. Convergence tests are presented to verify that our integrator has second-order accuracy both in time and space.
Nonlinear Schrödinger equations have wide applications in many areas such as quantum mechanics, nonlinear optics, [ 1 ] and plasma physics, [ 2 ] etc. Extensive efforts have been devoted to studying the equation theoretically [ 3 ] and numerically, [ 4 – 14 ] due to its broad and important applications. Many cases of practical interest, such as the dispersion-managed optical fibers and soliton lasers, certain inhomogeneous optical fibers, arterial mechanics, and laser-atom interactions, [ 15 – 17 ] lead to nonlinear Schrödinger equations with variable coefficients.
In this paper, we consider nonlinear Schrödinger equations with variable coefficients of the form

Most of the real physical processes with negligible dissipation can be cast in suitable Hamiltonian formulation in phase space with multi-symplectic geometric structure. [ 20 – 24 ] Such an intrinsic geometry structure is preserved by the solution flow of Eq. (
Alternatively, equation (
In coordinates, j 1 ψ is given by x μ ↦ ( x μ , ψ A ( x μ ), ∂ μ ψ A ( x μ )). More details on the notations in Eq. (
It follows from the Legendre transforms [ 25 ] that the Hamiltonian equations (
In addition to the geometric multi-symplectic structure, the nonlinear Schrödinger equation (
Mass conservation
Momentum conservation
Energy conservation
If α ( t ) and β ( t ) are independent of t (i.e., α ( t ) ≡ α and β ( t ) ≡ β ) then
The nonlinear Schrödinger equation has been extensively studied by various numerical methods, such as finite element methods, [ 27 ] finite difference methods, [ 28 ] spectral methods, [ 29 , 30 ] splitting methods, [ 6 , 7 , 18 , 19 , 31 – 33 ] etc. Among these numerical methods of different categories, the multi-symplectic method has attracted special attention for its better numerical stability for long-time computations and perfect performance in preserving the intrinsic properties and conservation laws of nonlinear Schrödinger equations.
As an intrinsic geometric structure of the original system, the multi-symplectic structure, i.e., multi-symplectic conservation law (
Many works have been devoted to the derivation of multi-symplectic numerical methods for nonlinear Schrödinger equations. There are mainly two ways to construct multi-symplectic schemes. One is based on the Hamiltonian point of view. Hong et al. [ 26 , 34 ] proposed a numerical scheme for nonlinear Schrödinger equations with variable coefficients by means of Preissman integrators. For this scheme, they derived a discrete multi-symplectic structure, i.e., discrete multi-symplectic conservation law. [ 21 , 22 ] In addition, they developed the discrete normal conservation law and a global energy transit formula in temporal direction. Chen et al. studied multi-symplectic methods for Hamiltonian equations of nonlinear Schrödinger equations. [ 35 , 36 ] After applying a numerical discretization to Hamiltonian equations, one needs to re-derive multi-symplectic conservation law since it is unclear what is geometrically conserved by this discretization.
Alternatively, the multi-symplectic numerical schemes, based on the Lagrangian viewpoint and variational principle, [ 37 , 38 ] lead in a natural way to multi-symplectic integrators and the discrete multi-symplectic structures at the same time. From the Lagrangian viewpoint, Chen et al. [ 39 , 40 ] have elaborately studied the variational multi-symplectic integrators for the nonlinear Schrödinger equations. By the discrete variational principle with the discrete Lagrangian function, the discrete variational integrator is derived, and the corresponding multi-symplectic form formula, due to Marsden, [ 23 , 24 ] is also obtained from the variational principle.
In our previous work, [ 41 ] we took a new approach to provide a criterion of multi-symplecticity which can be applied to any set of PDEs where a Dirichlet-to-Neumann map can be defined. We defined an analogue of Jacobi’s solution to the Hamilton–Jacobi equation for field theories, and showed that, by taking variational derivatives of this functional, an isotropic submanifold of the space of Cauchy data, described by the so-called multisymplectic form formula, can be obtained as well. A similar framework of generating functions for discrete field theories was presented in the end of the paper.
In this work, we follow this Lagrangian viewpoint to study the multi-symplectic methods for the nonlinear Schrödinger equations with variable coefficients (
Cubic nonlinear Schrödinger equation (cubic NLSE)
Gross–Pitaevskii equation (GPE)
We consider a nonlinear Schrödinger equation with variable coefficients (see Eq. (

Assume that we are given the regular quadrangular mesh in the base space, with mesh lengths Δ x and Δ t . The nodes in this mesh are denoted by ( j , k ) ∈ ℤ × ℤ, corresponding to the points ( x j , t k ) ≔ ( j Δ x , k Δ t ) in ℝ 2 . We denote by the value of the field ψ at the node ( j , k ) by
Now, the discrete Lagrangian L d on




Given a finite subset U ∈ X ☐ of the space of squares, we form the discrete action sum as

We now focus on a particular configuration U , consisting of four adjacent squares, cf. Fig.
By keeping the values of the field on the boundary fixed, and taking variations with respect to
For nonlinear Schrödinger equations with variable coefficients (
We discuss the convergence order of the proposed variational integrator (

We have mentioned in the Introduction section that, the advantages of deriving the multi-symplectic numerical schemes from discrete variational principle are that they are naturally multi-symplectic and the discrete multi-symplectic structures are also generated in the variational principle. It is meaningful to show the multi-symplectic structure of this discrete variational integrator using the definition of boundary Lagrangian.
Because of the square discretization, we here focus on four adjacent squares around


We now derive the discrete multi-symplectic form formula by taking twice the exterior derivative of the boundary Lagrangian L ∂U . By taking the exterior derivative of both sides of Eq. (








We consider a cubic nonlinear Schrödinger equation (cubic NLSE) (
To investigate the numerical convergence of the proposed scheme (
The l ∞ -error and l 2 -error at time t = 1 and the computed convergence orders are listed in Table
![]() | Table 1. The errors and convergence orders of the variational integrator ( |
Figure
The multi-symplectic variational integrator (
Now, we test the numerical conservation property of multi-symplectic variational integrator (
The numerical conservation performances of Eqs. (
For Gross–Pitaevskii equation (GPE) in one dimension, we can consider Eq. (
To verify that the proposed scheme (
Table
![]() | Table 2. The convergence rate in time in the integrator ( |
We also test the discretization error in time. Table
![]() | Table 3. The convergence rate in time in the integrator ( |
From Tables
The lg–lg plot of N ( N = 2 π /d x ) versus the l ∞ -error for GPE is displayed in Fig.
The proposed multi-symplectic variational integrator (
The exact solution of GPE preserves mass, momentum, and energy conservation laws. The discrete version of mass and momentum conservation law are defined as Eqs. (
The numerical performance of proposed scheme (
We have proposed a second-order multi-symplectic variational integrator for nonlinear Schrödinger equations with variable coefficients. The natural multi-symplecticity is presented by a discrete multi-symplectic form formula, which is derived from the discrete Lagrangian boundary function. Cubic nonlinear Schrödinger equations and Gross–Pitaevskii equations have been extensively studied by the proposed integrator, as two examples of nonlinear Schrödinger equations with variable coefficients. Our numerical simulations demonstrate that the integrator is capable of preserving the mass, momentum, and energy conservation during time evolutions. Convergence tests are presented to verify the second-order accuracy both in time and space.
The multi-symplecticity variational integrator is efficient for solving nonlinear Schrödinger equations with variable coefficients. It leads to a good numerical performance in preserving intrinsic properties and conservation laws. We are going to study the second nonlinear Schrödinger equations and the coupled nonlinear Schrödinger equations for future work, try to extend the theory of variational error analysis to the setting of discrete field theories, and prove the convergence of the integrator.
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 | |
18 | |
19 | |
20 | |
21 | |
22 | |
23 | |
24 | |
25 | |
26 | |
27 | |
28 | |
29 | |
30 | |
31 | |
32 | |
33 | |
34 | |
35 | |
36 | |
37 | |
38 | |
39 | |
40 | |
41 | |
42 | |
43 | |
44 |