 Research
 Open Access
 Published:
Numerical method and convergence order for secondorder impulsive differential equations
Advances in Difference Equations volume 2019, Article number: 260 (2019)
Abstract
This paper is devoted to the numerical scheme for the impulsive differential equations. The main idea of this method is, for the first time, to establish a broken reproducing kernel space that can be used in pulse models. Then the uniform convergence of the numerical solution is proved, and the time consuming Schmidt orthogonalization process is avoided. The proposed method is proved to be stable and have the secondorder convergence. The algorithm is proved to be feasible and effective through some numerical examples.
Introduction
Pulse boundary value problems occur in many applications: population dynamics [1], physics, chemistry [2], irregular geometries and interface problems [3,4,5], signal processing [6, 7]. The research on the impulsive differential equations with all kinds of boundary value is much more active in recent years. However, only in the last few decades has the attention been paid to the theory and numerical analysis of IDEs. All kinds of methods have been widely used to study the existence of solutions for impulsive problems [8,9,10,11,12]. Many researchers have extensively studied the numerical methods of impulsive differential equations. Berenguer [13] provide a collagetype theorem for impulsive differential equations with inverse boundary conditions. Epshteyn [14, 15] solved the highorder differential equations with interface conditions based on Difference Potentials approach for the variable coefficient. Hossainzadeh [16] applied the Adomian Decomposition Method(ADM) for solving firstorder impulsive differential equations. Zhang [17] researched numerical solutions to the firstorder impulsive differential equations by collocation methods. Zhang [18] analyzed a class of linear impulsive delay differential equation by asymptotic stability. Impulsive differential equation is a mathematical form of problems in many application fields, how to solve the impulsive differential equation accurately is very important.
In this paper, we consider the following secondorder impulsive differential equations (IDEs for short):
where \(\Delta u ' ( c ) = u ' ( c^{+} )  u' ( c^{} )\), \(\alpha _{3}\) and \(\alpha _{4}\) are not at the same time as 0. \(a_{i} ( x )\) and \(f ( x )\) are known function, \(\alpha _{j} \in \mathbb{R}\), \(j=1,2, 3, 4\). In this paper, only one pulse point is considered, by that analogy, the algorithm can also be applied to multiple pulse points.
As known to all, the reproducing kernel method is a powerful tool to solve differential equations [19,20,21,22,23]. However, the reproducing kernel space is smooth, in order to solve the impulsive differential equation, for the first time, we propose a broken reproducing kernel space.
The aim of this paper is to derive the numerical solutions of Eq. (1) in Sect. 1. In Sect. 2, we introduce the reproducing kernel space for solving problems. Some primary results are analyzed in Sect. 3. The numerical algorithm and convergence order of approximate solution is presented in Sect. 4. In Sect. 5, the presented algorithms are applied to some numerical experiments. Then we end with some conclusions in Sect. 6.
The reproducing kernel method
The application of reproducing kernel method in the boundary value problems has been developed by many researchers, because this method is easy to obtain the exact solution with the series form and get approximate solution with higher precision [19, 20]. However, this method required the exact solution to be smooth, this leads to the fact that IDEs cannot be solved directly in the reproducing kernel space.
In this paper, the traditional reproducing kernel space is dealt with delicately, the space has been broken into two spaces that each one is smooth reproducing kernel space, so we can use this space to solve IDEs. We assume that Eq. (1) have a unique solution.
The traditional reproducing kernel space
 •:

The reproducing kernel space \(W_{2}^{3} [a, c]\) is defined as follows:

\(W_{2}^{3} [ a, c ] = \{u(x)\mid u^{\prime \prime } \text{ is an absolutely continuous real value funcion}, {u}''' \in L^{2} [a, c] \}\) [20] (\(W_{a}^{3}\) for short).

 •:

The reproducing kernel space \(W_{2}^{1} [a, c]\) is defined as follows:

\(W_{2}^{1} [ a, c ] = \{u(x)\mid u \text{ is an absolutely continuous real value funcion}, {u}'\in L^{2} [a, c] \}\) [20] (\(W_{a}^{1}\) for short).

The reproducing kernel spaces are \(W_{a}^{3} \) and \(W_{a}^{1} \) with reproducing kernel \(R_{t}^{0} (x) \) and \(r_{t}^{0} (x)\), respectively.
In the same way, the reproducing kernel spaces are \(W_{2}^{3} [c, b]\) (\(W_{b}^{3} \) for short) and \(W_{2}^{1} [c, b]\) (\(W_{b}^{1} \) for short) with reproducing kernel \(R_{t}^{1} (x) \) and \(r_{t}^{1} (x)\), respectively.
The reproducing kernel space with piecewise smooth
In this paper, consider that the exact solution of Eq. (1) is not a smooth function, so, we connected two reproducing kernel spaces on both sides of the impulsive point, we call it the broken reproducing kernel space.
Definition 2.1
The linear space \(W_{2, c}^{3} \) is defined as
Every \(u(x)\in W_{2, c}^{3} [a,b] \) has the following form:
where \(u_{0} (x)\in W_{a}^{3}\), \(u_{1} (x)\in W_{b}^{3}\).
Theorem 2.1
Assuming that the inner product and norm in \(W_{2, c}^{3} [a,b] \) are given by
then the space \(W_{2, c}^{3} [a,b] \) is an inner space.
Proof
For any \(u,v,w\in W_{2, c}^{3} [a,b]\),
We can prove that Eq. (2) satisfies the other requirements of the inner product space. □
Theorem 2.2
The space \(W_{2, c}^{3} [a,b] \) is a Hilbert space.
Proof
Suppose that \(\{ u_{n} (x)\}_{n=1}^{\infty }\) is a Cauchy sequence in \(W_{2, c}^{3} [a,b]\), however,
so, \(\{ u_{0, n} (x)\}_{n=1}^{\infty }\) and \(\{ u_{1, n} (x)\}_{n=1} ^{\infty }\) are Cauchy sequences in \(W_{a}^{3}\) and \(W_{b}^{3}\), respectively.
So, there are two functions \(g_{0} (x)\in W_{a}^{3}\), \(g_{1} (x) \in W_{b}^{3}\), and
Let
By Definition 2.1, \(g(x)\in W_{2, c}^{3} [a,b]\), and
So, the space \(W_{2, c}^{3} [a,b] \) is a Hilbert space. □
Theorem 2.3
The space \(W_{2, c}^{3} [a,b] \) is a reproducing kernel space with the reproducing kernel function
Proof
Consider arbitrary \(u(x)\in W_{2, c}^{3} [a,b]\).
If \(t\in [ a,c )\), \(\langle u(x), R_{t} ( x ) \rangle _{W_{2, c}^{3}} = \langle u_{0} (x), R _{t}^{0} ( x ) \rangle _{W_{a}^{3}} + \langle u _{1} (x), 0 \rangle _{W_{b}^{3}} = u_{0} (t)\).
If \(t\in [c,b]\), \(\langle u(x), R_{t} ( x ) \rangle _{W_{2, c}^{3}} = \langle u_{0} (x), 0 \rangle _{W_{a} ^{3}} + \langle u_{1} (x), R_{t}^{1} ( x ) \rangle _{W_{b}^{3}} = u_{1} (t)\).
In conclusion, for every \(u(x)\in W_{2, c}^{3} [a,b]\), it follows that
□
Similarly, the reproducing kernel space \(W_{2, c}^{1} [a,b] \) is defined as
and it has the reproducing kernel function
In order to solve Eq. (1), we introduce a linear operator \(\mathbb{L}: W_{2, c}^{3} [a,b]\rightarrow W_{2, c}^{1} [a,b]\),
By Ref. [20], it is easy to prove that \(\mathbb{L}\) is a bounded operator.
Then Eq. (1) can be transformed into the following form:
Primary result
In this section, the approximate solution of Eq. (6) is presented in the reproducing kernel space \(W_{2, c}^{3} [a,b]\). And the convergence of the approximate solution is proved, discuss the approximate solution of the situation and the range of error.
We make \(\{ x_{i} \}_{i=1}^{\infty }\) is a dense point set that removed the point c on the interval \([a, b]\), put
and
where \(\mathbb{L}^{*} \) is the adjoint operator of \(\mathbb{L}\).
Let \(S_{n} =\operatorname{span}\{ \{ \psi _{i} (x) \}_{i=1}^{n} \cup \{ \emptyset _{j} (x) \}_{j=1}^{4} \}\). Then we can obtain \(S_{n} \in W_{2, c}^{3} [a,b]\).
The orthogonal projection operator are denoted by \(\mathbb{P}_{n}: W _{2, c}^{3} [a,b]\rightarrow S_{n}\).
Theorem 3.1
\(\psi _{i} ( x ) =\mathbb{L} R_{x} ( x_{i} )\), \(i=1, 2,\ldots \) .
Proof
□
Theorem 3.2
For each fixed n, \(\{ \psi _{i} (x) \} _{i=1}^{n} \cup \{ \emptyset _{j} (x) \}_{j=1}^{4}\) is linearly independent in \(W_{2, c}^{3} [a,b]\).
Proof
Let
 •:

Consider
$$\begin{aligned}& h ( t ) \in W_{2, c}^{3} [ a,b ], \quad \textstyle\begin{cases} \mathbb{L} h=0, \quad t\in [a,b]\backslash \{ c\}, \\ h ( a ) = \alpha _{1}, \quad\quad h ( b ) = \alpha _{2}, \\ \Delta h ' ( c ) = \alpha _{3}, \quad\quad \Delta h ( c ) = \alpha _{4}, \end{cases}\displaystyle \end{aligned}$$then
$$\begin{aligned} 0&= \Biggl\langle h ( t ), \sum_{i=1}^{n} \lambda _{i} \psi _{i} ( t ) + \sum _{j=1}^{4} k_{j} \emptyset _{j} ( t ) \Biggr\rangle \\ &= \sum_{i=1}^{n} \lambda _{i} \bigl\langle h ( t ), \mathbb{L}^{*} r_{x_{i}} ( t ) \bigr\rangle + k_{1} \bigl\langle h ( t ), R_{a} ( t ) \bigr\rangle + k_{2} \bigl\langle h ( t ), R_{b} ( t ) \bigr\rangle \\ &\quad\quad{} + k_{3} \biggl\langle h ( t ), \frac{\partial R_{x} ( t )}{\partial t} \bigg\vert _{t= c^{+}}  \frac{\partial R_{x} ( t )}{\partial t} \bigg\vert _{t= c^{}} \biggr\rangle + k_{4} \bigl\langle h ( t ), R_{c^{+}} ( t )  R_{c^{}} ( t ) \bigr\rangle \\ &= \sum_{i=1}^{n} \lambda _{i} \mathbb{L} h ( x_{i} ) + k _{1} h ( a ) + k_{2} h ( b ) + k_{3} \bigl( h ' \bigl( c^{+} \bigr)  h ' \bigl( c^{} \bigr) \bigr) + k _{4} \bigl( h \bigl( c^{+} \bigr) h \bigl( c^{} \bigr) \bigr) \\ &= k_{3}. \end{aligned}$$Similarly, we have \(k_{1} =0\), \(k_{2} =0\), \(k_{4} =0\).
 •:

Consider
$$\begin{aligned}& f_{j} ( t ) \textstyle\begin{cases} =0, & t= x_{1}, x_{2},\ldots, x_{j1}, x_{j+1},\ldots, x_{n}, \\ \neq 0, &\text{others}, \end{cases}\displaystyle \quad f_{j} ( t ) \in W_{2, c}^{1} [ a,b ], \end{aligned}$$take \(v_{j} ( t ) \in W_{2, c}^{3} [ a,b ] \) make
$$ \textstyle\begin{cases} \mathbb{L} v_{j} ( t ) = f_{j} ( t ),\quad t \in [a,b]\backslash \{ c\}, \\ v_{j} ( a ) =0, \quad\quad v_{j} ( b ) =0. \end{cases} $$
So, \(\lambda _{j} =0\), \(j=1, 2,\ldots,n\). □
Theorem 3.3
If \(u\in W_{2, c}^{3} [ a,b ]\) is the solution of Eq. (6), then \(u_{n} =\mathbb{P}_{n} u\) satisfies the following:
Proof
Supposing \(u(x)\) is a solution of Eq. (6), there
and
Similarly, we have
So, \(\mathbb{P}_{n} u\) is the solution of Eq. (7). □
In fact, \(u_{n} (x)\) is an approximate solution of the exact solution.
Theorem 3.4
If \(u\in W_{2, c}^{3} [ a,b ]\) is the solution of Eq. (6), put \(u_{n} =\mathbb{P}_{n} u\in S_{n}\) then \(u_{n} \) converges uniformly to u.
Proof
□
Similarly, we can prove that if \(t\in [ a,c ]\) and \([ c,b ]\), respectively, then \(u_{n}^{(i)}\) converges uniformly to \(u^{(i)}\), \(i=1,2\).
In order to analyze the convergence order of the algorithm proposed in this section, we derive the following lemma.
Lemma 3.1
([20])
If \(u_{n} =\mathbb{P}_{n} u\) is the approximate solution of \(\mathbb{L} u=f(x)\), \(\mathbb{ L}: W_{2}^{3} [a,b]\rightarrow W_{2}^{1} [a,b]\) is a linear operator, then
Theorem 3.5
The approximate solution \(u_{n} =\mathbb{P}_{n} u\) of Eq. (6) converges to its exact solution u with not less than secondorder convergence.
Proof
By Definition 2.1, we get
In addition, \(u_{n} =\mathbb{P}_{n} u\) is converges uniformly to u by Theorem 3.4. So, there are \(u_{0,n}\) and \(u_{1,n}\) satisfying the following expressions:
So, \(\Vert u_{0} ( x )  u_{0,n} (x) \Vert _{W_{a}^{3}} ^{2} \rightarrow 0\), \(\Vert u_{1} ( x )  u_{1,n} (x) \Vert _{W_{b}^{3}}^{2} \rightarrow 0\).
Note that \(u_{0,n} (x)\) is the approximate solution of \(\mathbb{L} u=f(x)\) in reproducing kernel space \(W_{a}^{3}\), take advantage of Lemma 3.1, we have
Similarly, we have \(\vert u_{1} (x) u_{1,n} (x) \vert \leq M_{1} h^{2}\).
For any \(x\in [a,b]\)
Here h is stepsize on the interval \([ a,b ]\), \(M_{0}\), \(M_{1}\), \(M_{2}\) are constants. Therefore, \(u_{n}\) converges to u not less than the secondorder convergence. □
Furthermore, the following rate of convergence formulas can be obtained:
By the results of this section, the exact solution of Eq. (6) can be expressed as
Numerical algorithm
In this section, the numerical algorithm for the approximate solution \(u_{n}\) is given. Now, the solution \(u_{n}\) of Eq. (7) is the approximate solution of Eq. (1). As \(u_{n} \in S_{n}\), so
To obtain the approximate solution \(u_{n}\), we only need to obtain the coefficients of each \(\psi _{i} ( x )\), \(i=1,2,\ldots,n\) and \(\emptyset _{j} ( x )\), \(j=1,2,3,4\). Use \(\psi _{i} ( x )\) and \(\emptyset _{j} ( x )\) to do the inner products with both sides of Eq. (9), we have
This is the system of linear equations of \(\lambda _{i}\), \(k_{j}\), \(i=1,2,\ldots,n\), \(j=1,2,3,4\).
Let
Consider that \(\{ \psi _{i} (x) \}_{i=1}^{n} \cup \{ \emptyset _{j} (x) \}_{j=1}^{4}\) is linearly independent in \(W_{2, c}^{3} [ a,b ]\); therefore, \(G^{1}\) exists. Then we have
Numerical examples
In this section, the method proposed in this paper is applied to some impulsive differential equations to evaluate the approximate solution. In Examples 1–3, the reproducing space is \(W_{2, c}^{3} [ 0,1 ]\). We compare the numerical results with the other methods discussed in [13, 14]. Finally, the results show that our algorithm is practical and remarkably effective.
Example 1
(Ref. [13])
Consider the linear impulsive differential equation
The exact solution
The numerical results are given in Table 1, where the rate of convergence \(\mathit{C.R}= \log _{2} \frac{ \vert u(x) u_{n} (x) \vert }{ \vert u(x) u_{2n} (x) \vert }\), from the comparison with method in [13], we confirm that our algorithm satisfies Theorem 3.5. It shown that the present method can produce a more accurate approximate solution.
Example 2
(Ref. [13])
Consider the following equation with two pulse points:
The exact solution
In Fig. 1, the red dotted line is the numerical solution and the black line is the exact solution. Figure 2 shows the absolute error \(\vert u ( x )  u_{n} (x) \vert \) when \(n=33\). Table 2 shows comparison of the absolute errors between our method and other methods. All graphs and tables show that our method is effective as we expect. It is worth noting that the approximate solutions of Example 1 and Example 2 are only proved norm of convergence to the exact solutions (see [13]). But, the approximate solutions of this paper are proved uniformly converges to \(u ( x )\).
Example 3
(Ref. [14])
Consider the following impulsive equation with variable coefficients:
subject to the boundary and interface conditions:
The exact solution
Table 3 lists the absolute error and the rate of convergence C.R to Example 3, from the illustrative tables, we conclude that when truncation limit n is increased we can obtain a good accuracy. It shows that the proposed approach is very stable and effective.
The proposed method not only can solve Eq. (1) of impulsive differential equation, but also can solve highorder impulsive differential equations and complex boundary value problems of pulse. The theory and algorithm is similar, we use the following example to prove the effectiveness of the algorithm.
Example 4
Consider the thirdorder linear impulsive differential equation
Here
The exact solution
In the Example 4, the reproducing space is \(W_{2, c}^{4} [ 2,2 ]\). Table 4 shows the absolute errors and convergence order of our method in different cases. In Figs. 3–6, the red dotted line is the numerical solution \(u_{n}^{ ( i )} (x)\) and the black line is the exact solution \(u^{ ( i )} ( x )\), \(i=0, 1,2,3\).
Conclusion
In this paper, it is the first time to apply the reproducing kernel method to solve the impulsive differential equations. A broken reproducing kernel space is cleverly built, the reproducing space are reasonably simple because the author did not consider the complicated boundary conditions, and avoid the time consuming Schmidt orthogonalization process, and the approximate solution we get is no less than the secondorder convergence. In Sect. 5, Numerical examples, we do four experiments with the new algorithm, and make a comparison with other algorithms. In fact, this technique can be extended to other class of impulsive boundary value problems. Although we just considered one pulse point in our presentation, by that analogy, the algorithm can also be applied to multiple pulse points. From the illustrative tables and figures, we find that the algorithm is remarkably accurate and effective as expected.
References
 1.
Bainov, D.D., Dishliev, A.B.: Population dynamics control in regard to minimizing the time necessary for the regeneration of a biomass taken away from the population. Appl. Math. Comput. 39(1), 37–48 (1990)
 2.
Bainov, D.D., Simenov, P.S.: Systems with Impulse Effect Stability Theory and Applications. Ellis Horwood, Chichester (1989)
 3.
LeVeque, R.J., Li, Z.: Immersed interface methods for Stokes flow with elastic boundaries or surface tension. SIAM J. Sci. Comput. 18(3), 709–735 (2012)
 4.
Huang, Y., Forsyth, P.A., Labahn, G.: Inexact arithmetic considerations for direct control and penalty methods: American options under jump diffusion. Appl. Numer. Math. 72(2), 33–51 (2013)
 5.
Liu, X.D., Sideris, T.C.: Convergence of the ghost fluid method for elliptic equations with interfaces. Math. Comput. 72(244), 1731–1746 (2013)
 6.
Cao, S., Xiao, Y., Zhu, H.: Linearized alternating directions method for \(l(1)\)norm inequality constrained \(l(1)\)norm minimization. Appl. Numer. Math. 85, 142–153 (2014)
 7.
Candes, E.J., Romberg, J., Tao, T.: Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information. IEEE Trans. Inf. Theory 52(2), 489–509 (2006)
 8.
Wang, Q., Wang, M.: Existence of solution for impulsive differential equations with indefinite linear part. Appl. Math. Lett. 51, 41–47 (2016)
 9.
Rehman, M.U., Eloe, P.W.: Existence and uniqueness of solutions for impulsive fractional differential equations. Appl. Math. Comput. 224(4), 422–431 (2013)
 10.
Jankowski, T.: Positive solutions to second order fourpoint boundary value problems for impulsive differential equations. Appl. Math. Comput. 202(2), 550–561 (2008)
 11.
Bogun, I.: Existence of weak solutions for impulsiveLaplacian problem with superlinear impulses. Nonlinear Anal., Real World Appl. 13(6), 2701–2707 (2012)
 12.
Wang, J.R., Zhou, Y., Lin, Z.: On a new class of impulsive fractional differential equations. Appl. Math. Comput. 242, 649–657 (2014)
 13.
Berenguer, M.I., Kunze, H., Torre, D.L., Galan, M.R.: Galerkin method for constrained variational equations and a collagebased approach to related inverse problems. J. Comput. Appl. Math. 292, 67–75 (2016)
 14.
Epshteyn, Y., Phippen, S.: Highorder difference potentials methods for 1D elliptic type models. Appl. Numer. Math. 93, 69–86 (2015)
 15.
Epshteyn, Y.: Algorithms composition approach based on difference potentials method for parabolic problems communications. Commun. Math. Sci. 12(4), 723–755 (2014)
 16.
Hossainzadeh, H., Afrouzi, G., Yazdani, A.: Application of Adomian decomposition method for solving impulsive differential equations. J. Math. Comput. Sci. 2(4), 672–681 (2011)
 17.
Zhang, Z., Liang, H.: Collocation methods for impulsive differential equations. Appl. Math. Comput. 228(228), 336–348 (2014)
 18.
Zhang, G.L., Song, M.H., Liu, M.Z.: Asymptotic stability of a class of impulsive delay differential equations. J. Appl. Math. 10, 487–505 (2012)
 19.
Cui, M., Lin, Y.: Nonlinear Numerical Analysis in the Reproducing Kernel Space. Nova Science Publishers, New York (2009)
 20.
Wu, B., Lin, Y.: Application of the Reproducing Kernel Space. Science Press (2012)
 21.
Zhao, Z., Lin, Y., Niu, J.: Convergence order of the reproducing kernel method for solving boundary value problems. Math. Model. Anal. 21(4), 466–477 (2016)
 22.
Mei, L., Jia, Y., Lin, Y.: Simplified reproducing kernel method for impulsive delay differential equations. Appl. Math. Lett. 83, 123–129 (2018)
 23.
Xu, M., Zhao, Z., Lin, Y.: A simplified reproducing kernel method for 1D elliptic type interface problems. J. Comput. Appl. Math. 351, 29–40 (2019)
Acknowledgements
The authors are grateful for the comments of the referee, which have improved the exposition of this paper.
Availability of data and materials
All data generated or analyzed during this study are included in this published article.
Funding
This work has been supported by 2018KQNCX338, a Young Innovative Talents Program in Universities and Colleges of Guangdong Province, and XT201803, a Scientific ResearchInnovation Team Project at Zhuhai Campus, Beijing Institute of Technology.
Author information
Affiliations
Contributions
LM conceived of the study, designed the study and collected the literature. HS proved the convergence of the algorithm. YL reviewed the full text. All authors were involved in writing the manuscript. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Liangcai Mei.
Ethics declarations
Ethics approval and consent to participate
I declare that the papers submitted are the results of research by all of our authors.
Competing interests
The authors declare that no competing interests exist.
Consent for publication
The author agrees to publish it in this journal.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.
About this article
Received
Accepted
Published
DOI
Keywords
 Impulsive differential equations
 Broken reproducing kernel space
 Convergence order
 Numerical algorithm