Abstract
The variational principle is used to construct a multi-symplectic structure of the generalized KdV-type equation. Accordingly, the local energy conservation law, the local momentum conservation law, and the Cartan form of the generalized KdV-type equation are given. An explicit multi-symplectic scheme for the generalized KdV equation based on the Fourier pseudo-spectral method and the symplectic Euler scheme is constructed. Through a numerical examination, the explicit multi-symplectic Fourier pseudo-spectral scheme for the generalized KdV equation not only preserve the discrete global energy conservation law and the global momentum conservation law with high accuracy, but show long-time numerical stability as well.
Similar content being viewed by others
Introduction
In this paper, we aim to study the generalized KdV-type equation in the form
where f and g are smooth functions.
When f(u) = αuλ and g(ux) = δux, Eq. (1.1) reduces to the generalized KdV equation
where α,δ, and λ are arbitrary constants.
Setting λ = 1, Eq. (1.2) reduces to the KdV equation1,2
Setting λ = 2, Eq. (1.2) reduces to the mKdV equation1,2
The KdV equation is originally used to describe long waves propagating in a channel. The KdV equation can also describes the propagation of plasma waves in a dispersive medium2,3. The KdV equation and the mKdV equation are most popular soliton equations which have been extensively studied2,4,5,6,7,8,9,10,11, because these two equations possess many interesting properties of mechanism and geometry12. Based on the homogeneous balance of undetermined coefficients method (HBUCM)13,14, Yang et al.13 proposed the definition and a multi-symplectic structure of the generalized KdV-type equation. Obviously, the KdV equation, the mKdV equation and the generalized KdV equation are special cases of the generalized KdV-type equation.
To understand the mechanism of complex physical phenomena, we should obtain solutions of the generalized KdV-type equation. There are some methods to obtain exact solutions, such as the first integral method15, the (G′/G)-expansion method9, the homogeneous balance method16, the modified simple equation method17, simplified Hirota’s method18, and so on. However, the generalized KdV-type equation is a nonlinear partial differential equation (NLPDE), it is difficult to obtain the exact solutions or there is no exact solution. In these cases, it is natural to resort to the numerical methods13. A large amount of numerical methods have been applied on the KdV equation and the mKdV equation in the last few years, including quintic B-Spline basis functions19, finite difference scheme20, symplectic method12, multi-symplectic Preissmann box scheme6, multi-symplectic box schemes21, and so on.
Many physical properties of a system are closely related to the geometric structure of the equation22. This naturally requires that numerical methods can preserve exactly geometric structure during the simulation. Multi-symplectic method possesses the stability and effectiveness, and can preserve the multi-symplectic structure of the Hamiltonian system14,23. In the present paper, a multi-symplectic structure of the generalized KdV-type equation is given by the variational principle. To obtain a multi-symplectic structure of the generalized KdV-type equation based on variational principle, we need to cast Eq. (1.1) into a system of equations. Therefore, it will be helpful to give a detailed derivation of a multi-symplectic structure for the generalized KdV-type equation since this derivation will provide some guiding principles in finding multi-symplectic structures for other NLPDEs.
We also consider a multi-symplectic Fourier pseudo-spectral discretization for Eq. (1.2) and demonstrate its convergence by simulating the evolution of the soliton. The remainder of this paper is organized as follows. In section 2, a multi-symplectic structure of the generalized KdV-type equation is derived based on the variational principle. An explicit multi-symplectic Fourier pseudo-spectral scheme for the generalized KdV equation is given in section 3. In section 4, the solitary wave behaviors of the generalized KdV equation are simulated. In section 5, some conclusions are given.
Multi-Symplectic Structure of The Generalized Kdv-Type Equation Based on The Variational Principle
In this section, a multi-symplectic structure of the generalized KdV-type equation is given by the variational principle. The covariant configuration space for Eq. (1.1) is denoted by X × U, where X = (x, t) represents the space of independent variables and U = (ϕ, u, v, ω, σ) represents the space of dependent variables. The internal variables ϕ, u, v, ω, and σ are defined to construct a multi-symplectic structure of the generalized KdV-type equation. The first order prolongation of X × U is defined to be U(1) = X × U × U1, where U1 = (ϕ, u, v, ω, σ, ϕx, ux, vx, ωx, σx, ϕt, ut, vt, ωt, σt) represents the space consisting of the first order partial derivatives. Let ς: X → U be a smooth function and we suppose ς ∈ H2[X] × H2[X], where H2[X] is the second order Sobolev space defined on X. Then, its first prolongation is denoted by \({\mathrm{pr}}^{1}\varsigma =(\varphi ,u,v,\omega ,\sigma ,{\varphi }_{x},{u}_{x},{v}_{x},{\omega }_{x},{\sigma }_{x},{\varphi }_{t},{u}_{t},{v}_{t},{\omega }_{t},{\sigma }_{t})\). The Lagrangian density for Eq. (1.1) is
where
Corresponding to the Lagrangian density (2.2), the action functional is defined by
where ς ∈ H2[M] × H2[M] and M is an open set in X.
Let V be a vector field on X × U with the form
The flow exp(βV) of the vector field V is a one-parameter transformation group of X × U. The map ς: M → U and a family of maps \(\tilde{\varsigma }:\tilde{{M}}\to U\) depend on the parameter β. Now, the variation of the action functional (2.1) is calculated as follows:
where
If ξ, η, τ, ϕ, ϑ, ρ, and γ have compact support on M, then B = 0. In this case, with the requirement of δS = 0 and from Eq. (2.5), the variation ξ yields the local energy conservation law
and the variation η yields the local momentum conservation law
where E, F, I, and G are same as to Eq. (2.8).
For a conservative L, i.e., one that does not depend on x and t explicitly, Eqs (2.9) and (2.10) become the local energy conservation law and the local momentum conservation law, respectively5.
The variations τ, ϕ, ϑ, ρ, and γ yield the Euler-Lagrange equation
If the condition that ξ, η, τ, σ, θ, ϑ, and ς having compact support on M is not imposed, then from the boundary integral B, the Cartan form can be defined as
which satisfies (denote the interior product and pull back mapping as ⌋ and ()*)
The multi-symplectic form of the generalized KdV-type equation is defined to be
Remark 1
Equation (2.11) is equivalent to a multi-symplectic structure of generalized KdV-type Eq. (1.1) as follows:
where
and Hamiltonian function \(S({\boldsymbol{z}})=u\omega +2\sigma v-2\int g(v)dv+2\iint f(u){d}^{2}u.\)
Remark 2.
The multi-symplectic structure (2.15) is identical to the results by using the HBUCM13. Moreover, the Cartan form of the generalized KdV-type equation can be obtained by the variational principle.
Remark 3.
Obviously, a multi-symplectic structure of the generalized KdV Eq. (1.2) is
or
where
and Hamiltonian function \(S({\boldsymbol{z}})=\frac{2\alpha {u}^{\lambda +2}}{({\lambda }^{2}+3\lambda +2)}+\delta {v}^{2}+u\omega \).
According to the multi-symplectic theory presented by Bridges24,25,26,27, the multi-symplectic conservation law in the wedge product form, the local energy conservation law and the local momentum conservation law for the generalized KdV Eq. (1.2) are as follows:
where
Explicit Multi-Symplectic Fourier Pseudo-Spectral Method For The Generalized Kdv Equation
In order to derive the algorithms conveniently, we introduce some notations: xi = xL + ih, tj = jτ (i = 0, 1,…, N − 1; j = 0,1, …), where \(h=\frac{{x}_{R}-{x}_{L}}{N}=\frac{L}{N}\) and τ are spatial and temporal step lengths, the indexes i and j denote the discrete space and time dimensions. Denote uij as the approximate value of u(xi, tj). As we know, the first-order differential operator ∂x yields the Fourier spectral differentiation matrix D. Here, D is an N×N anti-symmetry matrix with elements (N is an even number)
where r = 1,2, …, N and s = 1, 2,…, N represent column and row of the matrix D, and \(\mu =\frac{2\pi }{L}\). For more details, one can consult refs. 11,28 and references therein.
Using the notations
and discretizing the multi-symplectic structure of the generalized KdV Eq. (2.17) with the Fourier pseudo-spectral method in the space domain, the discrete form of the generalized KdV Eq. (1.2) can be obtained as follows:
Theorem 1.
The Fourier pseudo-spectral semi-discretization (3.3) has N semi-discrete multi-symplectic conservation laws
where \({{\boldsymbol{\chi }}}_{i}=\frac{1}{2}d{{\boldsymbol{z}}}_{i}\wedge {\boldsymbol{M}}d{{\boldsymbol{z}}}_{i},{{\boldsymbol{\zeta }}}_{i}=\frac{1}{2}d{{\boldsymbol{z}}}_{i}\wedge {\boldsymbol{K}}d{{\boldsymbol{z}}}_{i},{{\boldsymbol{z}}}_{i}={[{u}_{i},{\phi }_{i},{\omega }_{i},{\rho }_{i},{v}_{i}]}^{{\rm{T}}},\) index i represent i th equation and is from 1 to N.
Proof.
Equation (3.3) can be re-written as a compact form
The variational equation associated with Eq. (3.5) is
Taking the wedge product with \(d{{\boldsymbol{z}}}_{i}\) on both sides of Eq. (3.6) and noticing
thus, we show the N semi-discrete multi-symplectic conservation laws.
Because D is anti-symmetry and \({{\boldsymbol{\zeta }}}_{i,k}={{\boldsymbol{\zeta }}}_{k,i}\), summing Eq. (3.6) over the spatial index yields
which implies conservation of the total symplecticity over time. Thus, it is natural to integrate with respect to time by using a symplectic integrator13,29.
Discretizing Eq. (3.3) with respect to the time domain by the symplectic Euler scheme yields
where \({\delta }_{t}^{+}\) and \({\delta }_{t}^{-}\) are the forward and backward difference operators, respectively:
and \({{\boldsymbol{M}}}_{+}\) and \({{\boldsymbol{M}}}_{-}\) are the matrices splitting for the symplectic structure matrix \({\boldsymbol{M}}\),
The matrix splitting of \({\boldsymbol{M}}\) is not unique13,29. Here, taking \({{\boldsymbol{M}}}_{+}\) as an upper triangle matrix
an efficient stable explicit scheme for the generalized KdV Eq. (1.2) is obtained as follows:
Eliminating the auxiliary variables and re-writing the equations, a compact form is obtained as follows:
where i is spatial index and D3 = D · D · D.
Theorem 2.
The discrete scheme (3.13) has N full-discrete multi-symplectic conservation laws
where \({{\boldsymbol{\chi }}}_{i}^{j}=\frac{1}{2}d{{\boldsymbol{z}}}_{i}^{j}\wedge {{\boldsymbol{M}}}_{+}d{{\boldsymbol{z}}}_{i}^{j+1},{{\boldsymbol{\zeta }}}_{k}^{j}=\frac{1}{2}d{{\boldsymbol{z}}}_{i}^{j}\wedge {\boldsymbol{K}}d{{\boldsymbol{z}}}_{k}^{j},\) index i representation i th equation.
Proof
From theorem 1 and Eqs (3.6) and (3.13) can be re-written as a compact form
The variational equation associated with Eq. (3.16) is
Taking the wedge product with \(d{{\boldsymbol{z}}}_{i}^{j}\) on both sides of Eq. (3.17) and noticing
then, the N full-discrete multi-symplectic conservation laws are verified13,29.
Numerical Experiment
In this section, we conduct a typical numerical experiment for the scheme (3.14) to verify the theoretical conclusions, including the accuracy, the ability to preserve the local energy conservation law and the local momentum conservation law of the generalized KdV Eq. (1.2) for long-time integration.
Applying the Riccati-Bernoulli sub-ODE method30 to the generalized KdV Eq. (1.2), has an exact solution as follows:
where A is an arbitrary constant.
Inserting the parameters \(\lambda =\sqrt{2},\alpha =1,\delta =1\) and \(A=2\) into Eq. (1.2), we obtain
which has the exact traveling wave solution (set \(\lambda =\sqrt{2},\alpha =1,\delta =1\) and A = 2 in Eq. (3.19))
The space interval is \([{x}_{L},{x}_{R}]=[-\,20,40]\) with the periodic boundary condition
and the initial condition
We fix the space step \(h=0.2\) and the time step \(\tau =1\times {10}^{-4}\) for the scheme (3.14). Based on the multi-symplectic theory of Bridges24,25,26,27, the global energy E(t) and the global momentum I(t) of the generalized KdV Eq. (3.20) with the periodic boundary condition (3.22) and the initial condition (3.23) are written as
Accordingly, Ej and Ij, which denote the discrete global energy and the global momentum on the jth time level, are written as
The errors of the discrete global energy conservation law Error E and the global momentum conservation law Error I on the jth time level are defined as follows:
where \({E}^{0}\) and \({I}^{0}\) are the initial value of the discrete global energy and the global momentum.
Now we define the error as follows:
Applying the scheme (3.14) to simulate the generalized KdV Eq. (3.20) with the periodic boundary condition (3.22) and the initial conditions (3.23) up to t = 20, three-dimensional waveform figure of numerical solutions (Fig. 1a (t = 1) and Fig. 1b (t = 20)), two-dimensional waveform figure of numerical solutions (Fig. 2a (t = 1) and Fig. 2b (t = 20)), three-dimensional error figure (Fig. 3a), two-dimensional error figure (Fig. 3b), the global energy error figure (Fig. 4a) and the global momentum error figure (Fig. 4b) are obtained as follows:
Figure 1 shows that waveform of numerical solutions does not change with time by applying the multi-symplectic Fourier pseudo-spectral method to Eq. (3.20). It indicates that the basic geometric properties of Eq. (3.20) can be well maintained by the numerical soliton solutions. From Fig. 2a,b, u decreases gradually and tends to zero with \(x\to \infty \), which is consistent with the exact solution (3.21), and the numerical solutions nearly overlap the exact solution, which implies high accuracy of the multi-symplectic Fourier pseudo-spectral scheme. From the Fig. 3a,b, it is shown that the errors between the exact solution and the numerical solution are up to 10−9, and the errors are mainly from the boundary conditions. From Fig. 4a,b, the multi-symplectic Fourier pseudo-spectral method to the generalized KdV equation can well maintain two important geometric properties of the system, which are the global energy conservation law and the global momentum conservation law. Obviously, when we take 10−5 time steps, the multi-symplectic Fourier pseudo-spectral method to the generalized KdV equation can preserve the discrete global energy conservation law and global momentum conservation law quite well, which implies long-time numerical stability of the multi-symplectic pseudo-spectral method.
Conclusions
The generalized KdV-type equation, which can degenerate to the mKdV equation and the generalized KdV equation, is given. The variational principle is successfully used to establish a multi-symplectic structure for the KdV-type equation. Based on the variational principle, we also obtain the multi-symplectic structure, local energy conservation law and local momentum conservation law of the generalized KdV-type equation, which are identical to the results by using the HBUCM6,13. An explicit multi-symplectic scheme for the generalized KdV equation based on the Fourier pseudo-spectral method and the symplectic Euler scheme are constructed. Through a numerical examination, the explicit multi-symplectic Fourier pseudo-spectral scheme for the generalized KdV equation not only preserve the discrete global energy conservation law and the global momentum conservation law with high accuracy, but show long-time numerical stability as well.
The performance of variational principle is found to be simple and efficient. Moreover, similar to the process of the generalized KdV-type equation, multi-symplectic structures of some NLPDEs can be obtained.
References
Wadati, M. The modified Korteweg-de Vries equation. Journal of the Physical Society of Japan. 34(5), 1289–1296, https://doi.org/10.1143/JPSJ.34.1289 (1973).
Yan, J. L., Zhang, Q., Zhang, Z. Y. & Liang, D. A new high-order energy-preserving scheme for the modified Korteweg-de Vries equation. Numerical Algorithms 74(3), 659–674, https://doi.org/10.1007/s1107 (2016).
Kenig, C. E., Ponce, G. & Vega, L. Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle. Communications on Pure and Applied Mathematics 46(4), 527–620, https://doi.org/10.1002/cpa.3160460405 (1993).
Hu, W. P., Deng, Z. C., Qin, Y. Y. & Zhang, W. R. Multi-symplectic method for the generalized (2 + 1)-dimensional KdV-mKdV equation. Acta Mechanica Sinica 28(3), 793–800, https://doi.org/10.1007/s10409-012-0070-2 (2012).
Osman, M. S. & Wazwaz, A. M. An efficient algorithm to construct multi-soliton rational solutions of the (2 + 1)-dimensional KdV equation with variable coefficients. Applied Mathematics and Computation 321, 282–289, https://doi.org/10.1016/j.amc.2017.10.042 (2018).
Guo, F. Second order conformal multi-symplectic method for the damped Korteweg-de Vries equation. Chinese Physics B 28(5), 050201, https://doi.org/10.1088/1674-1056/28/5/050201 (2019).
Gardner, C. S., Greene, J. M., Kruskal, M. D. & Miura, R. M. Method for solving the Korteweg-deVries equation. Physical Review Letters 19(19), 1095–1097, https://doi.org/10.1103/PhysRevLett.19.1095 (1967).
Wahlquist, H. D. & Estabrook, F. B. Bäcklund transformation for solutions of the Korteweg-de Vries equation. Physical Review Letters 31, 1386–1390, https://doi.org/10.1103/PhysRevLett.31.1386 (1973).
Wang, M. L., Li, X. Z. & Zhang, J. L. The (G′/G)-expansion method and traveling wave solutions of nonlinear evolution equations in mathematical physics. Physics Letters A 372, 417–423, https://doi.org/10.1016/j.physleta.2007.07.051 (2008).
Hirota, R. Exact solution of the Korteweg-de Vries equation for multiple collisions of solitons. Physics Review Letters 27, 1192–1194, https://doi.org/10.1103/PhysRevLett.27.1192 (1971).
Wang, Y. S. & Hong, J. L. Multi-symplectic algorithms for Hamiltonian partial differential equations. Communication on Applied Mathematics and Computation 27, 163–230, https://doi.org/10.3969/j.issn.1006-6330.2013.02.001 (2013).
Dutykh, D., Chhay, M. & Fedele, F. Geometric numerical schemes for the KdV equation. Computational Mathematics and Mathematical Physics 53(2), 221–236, https://doi.org/10.1134/S0965542513020103 (2013).
Yang, X. F., Deng, Z. C., Li, Q. J. & Wei, Y. Exact solutions and multi-symplectic structure of the generalized KdV-type equation. Advances in Difference Equations, 271, https://doi.org/10.1186/s13662-015-0611-7 (2015)
Yang, X. F., Deng, Z. C., Li, Q. J. & Wei, Y. Exact combined traveling wave solutions and multi-symplectic structure of the variant Boussinesq-Whitham-Broer-Kaup type equations. Communications in Nonlinear Science and Numerical Simulation 36, 1–13, https://doi.org/10.1016/j.cnsns.2015.11.015 (2016).
Akram, G. & Mahak, N. Analytical solution of the Korteweg-de Vries equation and microtubule equation using the first integral method. Optical and Quantum Electronics 50, 145, https://doi.org/10.1007/s11082-018-1401-8 (2018).
Abdelsalam, U. M., Allehiany, F. M., Moslem, W. M. & El-Labany, S. K. Nonlinear structures for extended Korteweg-de Vries equation in multicomponent plasma. Pramana 86(3), 581–597, https://doi.org/10.1007/s12043-015-0990-z (2015).
Khan, K., Akbar, M. A. & Islam, S. M. R. Exact solutions for (1 + 1)-dimensional nonlinear dispersive modified Benjamin-Bona-Mahony equation and coupled Klein-Gordon equations. SpringerPlus 3(1), 724, https://doi.org/10.1186/2193-1801-3-724 (2014).
Wazwaz, A. M. The simplified Hirota’s method for studying three extended higher-order KdV-type equations. Journal of Ocean Engineering and Science 1(3), 181–185, https://doi.org/10.1016/j.joes.2016.06.003 (2016).
Karakoc, S. B. G. & Ak, T. Numerical simulation of dispersive shallow water waves with Rosenau-KdV equation. International Journal of Advances in Applied Mathematics and Mechanics 3(3), 32–40, https://doi.org/10.1140/epjp/i2016-16356-3 (2016).
Wang, X. F. & Dai, W. Z. A conservative fourth-order stable finite difference scheme for the generalized Rosenau-KdV equation in both 1D and 2D. Journal of Computational and Applied Mathematics 355, 310–331, https://doi.org/10.1016/j.cam.2019.01.041 (2019).
Ascher, U. M. & McLachlan, R. I. Multisymplectic box schemes and the Korteweg-de Vries equation. Applied Numerical Mathematics 48(3), 255–269, https://doi.org/10.1016/j.apnum.2003.09.002 (2004).
Razafindralandy, D., Hamdouni, A. & Chhay, M. A review of some geometric integrators. Advanced Modeling and Simulation in Engineering Sciences 5(1), 16, https://doi.org/10.1186/s40323-018-0110-y (2018).
Song, M., Qian, X., Zhang, H. & Song, S. Hamiltonian boundary value method for the nonlinear Schrödinger equation and the Korteweg-de Vries equation. Advances in Applied Mathematics and Mechanics 9(4), 868–886, https://doi.org/10.4208/aamm.2015.m1356 (2017).
Bridges, T. J. & Reich, S. Multi-symplectic integrators: numerical schemes for Hamiltonian PDEs that conserve symplecticity. Physics Letters A 284, 184–193, https://doi.org/10.1016/S0375-9601(01)00294-8 (2001).
Bridges, T. J. & Reich, S. Numerical methods for Hamiltonian PDEs. Journal of Physics A: Mathematical and General 39, 5287–5320, https://doi.org/10.1088/0305-4470/39/19/S02 (2006).
Reich, S. Multi-symplectic Runge-Kutta collocation methods for Hamiltonian wave equations. Journal of Computational Physics 157, 473–499, https://doi.org/10.1006/jcph.1999.6372 (2000).
Moore, B. E. & Reich, S. Multi-symplectic integration methods for Hamiltonian PDEs. Future Generation Computer Systems 19, 395–402, https://doi.org/10.1016/S0167-739X(02)00166-8 (2003).
Chen, J. B. A multi-symplectic pseudospectral method for seismic modeling. Applied Mathematics and Computation 186, 1612–1616, https://doi.org/10.1016/j.amc.2006.08.071 (2007).
Lv, Z. Q., Xue, M. & Wang, Y. S. A new multi-symplectic scheme for the KdV equation. Chinese Physics Letters 28, 060205, https://doi.org/10.1088/0256-307X/28/6/060205 (2011).
Yang, X. F., Deng, Z. C. & Wei, Y. A Riccati-Bernoulli sub-ODE method for nonlinear partial differential equations and its application. Advances in Difference Equations, 117, https://doi.org/10.1186/s13662-015-0452-4 (2015)
Acknowledgements
The research is supported by the A Project of Shandong Province Higher Educational Science and Technology Program (J18KB100, J18KA217), the Doctoral Research Foundation of Jining Medical University (2017JYQD22, 2018JYQD03), NSFC cultivation project of Jining Medical University (JYP2018KJ15), Chinese Universities Scientific Fund (2452017373), and the Doctoral Research Foundation of Northwest A&F University (2452017007).
Author information
Authors and Affiliations
Contributions
Yi Wei analyzed and interpreted the data, and wrote the manuscript; Xing-Qiu Zhang, Zhu-Yan Shao, Jian-Qiang Gao, and Xiao-Feng Yang designed and optimized the algorithm and program. All authors read the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wei, Y., Zhang, XQ., Shao, ZY. et al. Multi-symplectic integrator of the generalized KdV-type equation based on the variational principle. Sci Rep 9, 15883 (2019). https://doi.org/10.1038/s41598-019-52419-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-019-52419-8
- Springer Nature Limited
This article is cited by
-
Multi-symplectic quasi-interpolation method for the KdV equation
Computational and Applied Mathematics (2022)