- Research
- Open access
- Published:
A new approach to convergence analysis of linearized finite element method for nonlinear hyperbolic equation
Boundary Value Problems volume 2019, Article number: 48 (2019)
Abstract
We study a new way to convergence results for a nonlinear hyperbolic equation with bilinear element. Such equation is transformed into a parabolic system by setting the original solution u as \(u_{t}=q\). A linearized backward Euler finite element method (FEM) is introduced, and the splitting skill is exploited to get rid of the restriction on the ratio between h and τ. The boundedness of the solutions about the time-discrete system in \(H^{2}\)-norm is proved skillfully through temporal error. The spatial error is derived without the mesh-ratio, where some new techniques are utilized to deal with the problems caused by the new parabolic system. The final unconditional optimal error results of u and q are deduced at the same time. Finally, a numerical example is provided to support the theoretical analysis. Here h is the subdivision parameter, and τ is the time step.
1 Introduction
Consider the following nonlinear hyperbolic equation:
where \(\varOmega\subset\mathbb{R}^{2}\) is a rectangle with boundary ∂Ω parallel to the coordinate axes, \(0< T<\infty\), \(X=(x, y)\), and \(a(u)\) and \(f(u)\) are known smooth functions on \(\mathbb{R}\), for which we assume that \(0< a_{0} \leq a(u)\leq a_{1}\).
A nonlinear hyperbolic equation is a kind of important problems on nonlinear vibration, the permeation fluid mechanics, and so on. Indeed, such partial differential equations (PDEs) have attracted lots of attention to various methods, especially numerical methods. For example, the two-grid method was studied for solving a type of nonlinear hyperbolic equations, and the error estimate in \(H^{1}\)-norm was deduced in [1]. Newton’s modified method was utilized to a nonlinear wave equation depending on different norms of the initial conditions in [2], and optimal error results were given in the \(L^{2}\)- and \(H^{1}\)-norms. The interpolation theory and integral identity skill were used to obtain a superclose result for the nonlinear hyperbolic equations with nonlinear boundary condition in [3]. Moreover, the global superconvergence was also obtained through the interpolated postprocessing technique. The Galerkin alternating-direction method was applied to a three-dimensional nonlinear hyperbolic equation in [4], and the error estimates in the \(H^{1}\)- and \(L^{2}\)-norms were deduced. A mixed FEM was discussed in [5] and [6], and optimal error estimates were derived.
The inverse inequality is usually employed to discuss the boundedness of numerical solution \(U_{h}^{n}\) in a nonlinear evolution equation, and such an issue usually results in some time-step restrictions, such as \(\tau=O(h)\), \(h^{r}=O(\tau)\) (\(1\leq r\leq k+1\), \(k\geq0\)), and \(\tau=O(h^{2})\) in [4] and [6], respectively. To get rid of such a restriction, [7, 8] took advantage of a special inequality for getting unconditional superclose results for nonlinear Sobolev equations. In [9] a corresponding time-discrete system to split the error into two parts, the temporal error and the spatial error, is introduced. Then the spatial error leads to the unconditional boundedness of a numerical solution in the \(L^{\infty}\)-norm. Subsequently, this so-called splitting technique was also applied to the other nonlinear parabolic type equations in [10,11,12,13,14,15,16,17,18]. Later, in [19] and [20] a second-order scheme for the nonlinear hyperbolic equation and the unconditional superconvergence analysis by using the splitting skill were given. It can be seen that constructing a linearized form for a nonlinear hyperbolic equation is not an easy task in comparison with nonlinear parabolic equations. In fact, there are lots of literature referring to parabolic equations [21,22,23,24]. In [24] a special technique to change sine-Gordon equation into a parabolic system through \(u_{t}=q\) was used, and optimal order error estimates of the Crank–Nicolson fully discrete scheme were obtained.
Inspired by [24], in this paper, we consider the unconditional convergent estimates for (1), which is a much more general nonlinear model than that in [24], with a bilinear element. First of all, we change a nonlinear hyperbolic equation into a nonlinear parabolic system. Such a practice can be used to avoid the difficulty in constructing a linearized scheme for a nonlinear hyperbolic equation and also give the error analysis for u and \(q=u_{t}\) at the same time. Then we develop a linearized backward Euler FE scheme for the nonlinear parabolic system and apply the idea of splitting technique in [10,11,12,13,14,15,16,17,18,19,20] to split the error into the temporal and spatial errors. We obtain a temporal error, which implies the regularities of the solutions about the time-discrete equations. The spatial error result is exploited to get rid of the restriction on the ratio between h and τ. The unconditional optimal error results of u and q are simultaneously deduced. Note that, differently from [17, 18], we utilize some new tricks such as rewriting some error terms, the new mean-value technique, and some other skills to handle new difficulties brought by the special nonlinear parabolic system during the process. Further, the results in this paper also hold for linear conforming triangular elements but do not hold for some other particular elements; for example, the biquadratic finite element for \(\Delta v_{h}|_{k}=0\) cannot be true, where \(v_{h}\) belongs to the FE space. Some numerical results in the last section also show the validity of the theoretical analysis.
Throughout this paper, we denote the natural inner production in \(L^{2}(\varOmega)\) by \((\cdot,\cdot)\) and the norm by \(\|\cdot\|_{0}\), and let \(H_{0}^{1}(\varOmega)=\{u\in H^{1}(\varOmega):u|_{\partial\varOmega}=0\}\). Further, we use the classical Sobolev spaces \(W^{m,p}(\varOmega)\), \(1\leq p\leq\infty\), denoted by \(W^{m,p}\), with norm \(\|\cdot\|_{m,p}\). When \(p=2\), we simply write \(\|\cdot\|_{m,p}\) as \(\|\cdot\|_{m}\). Besides, we define the space \(L^{p}(a,b;Y)\) with norm \(\|f\|_{L^{p}(a,b;Y)}=(\int_{a}^{b}\|f(\cdot,t)\| _{Y}^{p}\,dt)^{\frac{1}{p}}\), and if \(p=\infty\), the integral is replaced by the essential supremum.
2 Conforming FE approximation scheme
Let Ω be a rectangle in the \((x,y)\) plane with edges parallel to the coordinate axes, and let \(\varGamma_{h}\) be a regular rectangular subdivision. Given \(K\in\varGamma_{h}\), let the four vertices and edges be \(a_{i}\), \(i=1\sim4\), and \(l_{i}=\overline{a_{i}a_{i+1}}\), \(i=1\sim4\pmod{4}\), respectively. Let \(V_{h}\) be the usual bilinear FE space, and let \(V_{h0}=\{v_{h}\in V_{h}, v_{h}|_{\partial\varOmega}=0\}\). Also, it can be found in [25] that if \(u\in H^{2}(\varOmega)\), then
where \(I_{h}\) be the so-called Ritz projection operator on \(V_{h0}\).
Set \(\{t_{n}:t_{n}=n\tau;0\leq n\leq N\}\) be a uniform partition of \([0,T]\) with time step \(\tau=T/N\). We denote \(\sigma^{n}=\sigma(X,t_{n})\). For a sequence of functions \(\{\sigma^{n}\}_{n=0}^{N}\), we denote \(\bar{\partial }_{t}\sigma^{n}=\frac{\sigma^{n}-\sigma^{n-1}}{\tau}\), \(n=1,2,\ldots,N\). With these notations, setting \(u_{t}=q\), the weak form of (1) is seeking \(u,q \in H_{0}^{1}(\varOmega)\) such that, for all \(v\in H_{0}^{1}(\varOmega)\),
where
We develop the linearized Galerkin FEM to problem (3): seek \(U_{h}^{n},Q_{h}^{n}\in V_{h0} \) such that
where \(U_{h}^{0}=I_{h}u_{0}\) and \(Q_{h}^{0}=I_{h}u_{1}\). A well-known consequence is that the linear system (4) may always be solved for \(U_{h}^{n}\) and \(Q_{h}^{n}\); see [26].
3 Error estimates for the time-discrete system
To get rid of the ratio restriction between h and τ, we introduce a time-discrete system as follows:
The existence and uniqueness of solutions for this linear elliptic system (5) are obvious. To show the unconditional results, the regularities of \(U^{n}\) and \(Q^{n}\) are inevitable, and we therefore need some estimates for \(u^{n}-U^{n}\) and \(q^{n}-Q^{n}\). In what follows, we set \(e^{n}\triangleq u^{n}-U^{n}\), \(\delta^{n}\triangleq q^{n}-Q^{n} \) (\(n=1,2,\ldots, N\)), analyze the temporal errors and give the regularity results for \(U^{n}\) and \(Q^{n}\). It is easy to see that \(e^{0}=\delta^{0}=0\).
Theorem 1
Let \(u^{m}\) and \(U^{m}\) (\(m=0,1,2,\ldots, N\)) be solutions of (1) and (5), respectively, \(u,q\in L^{2}(0,T;H^{3}(\varOmega))\), \(u_{t},q_{t}\in L^{\infty }(0,T;H^{2}(\varOmega))\), and \(u_{tt}\in L^{2}(0,T;L^{2}(\varOmega))\). Then for \(m=1,\ldots, N\), there exists \(\tau_{0}\) such that when \(\tau\leq\tau _{0}\), we have
where \(C_{0}\) is a positive constant independent of m, h, and τ.
Proof
Setting \(K_{0}\triangleq1+\max_{1\leq m\leq N}(\|u^{m}\|_{0,\infty}+\sqrt {\tau}(\sum_{i=1}^{m}\|\bar{\partial}_{t}u^{i}\|_{0,\infty}^{2})^{\frac{1}{2}})\), we begin to prove (6)–(7) by mathematical induction. When \(m=1\), by (1) and (5) we have the error equation
With \(\delta^{0}=0\), multiplying the second equation of (8) by \(\Delta \delta^{1}\) and integrating it over Ω, we get
Further, since \(e^{1}\in H^{2}(\varOmega)\cap H_{0}^{1}(\varOmega)\), using the first equation of (8), we get
Thus there exist positive constants \(\tau_{1}\), \(\tau_{2}\), \(C_{1}\), \(C_{2}\) such that when \(\tau\leq\tau_{1}\), we have
which implies
where \(\tau\leq\tau_{2}\leq1/CC_{1}\).
By mathematical induction we assume that (6) and (7) hold for \(m\leq n-1\). Then there exists \(\tau_{3}\) such that
where \(\tau\leq\tau_{3}=\min\{1/2CC_{0},1/4C^{2}C_{0}^{2}\}\).
Then we begin to prove (6) and (7) for \(m=n\). Subtracting (5) from (1), we obtain
Multiplying the second equation of (15) by \(\Delta\delta^{n}\) and integrating, we get
Observe that \((a(U^{n-1})\tau\sum_{i=1}^{n}\Delta\delta^{i},\Delta\delta ^{n})\) cannot be bounded directly; we rewrite it as
Then we have
In what follows, we will bound \(A_{i}\), \(i=2\sim10\), one by one. Note the particularity of \(\Delta\delta^{n}\) on the left-hand side, so we have to use new ways to handle \(\Delta\delta^{n}\) on the right-hand side instead of applying the Young inequality directly. In view of Green’s formula, it follows that
where \(\mu_{1}^{n-1}=U^{n-1}+\lambda_{1}^{n-1} e^{n-1}\) and \(0<\lambda^{n-1}_{1}<1\).
For \(A_{2} \sim A_{8}\), \(A_{10}\), it is not so obvious to be dealt with. We choose to rewrite \(\Delta\delta^{n}\) by \(\tau\sum_{i=1}^{n}\Delta\bar{\partial}_{t}\delta ^{i}\) and then try to transfer τ from one side in the inner product to the other; more precisely,
Similarly,
For \(A_{2}\), we rewrite it as follows:
In view of the embedding theorem, this yields
To get round the need of \(U^{i}\in H^{3}(\varOmega)\), \(i=1,2,\ldots, n-1\), we split \(U^{i}\), \(i=1,2,\ldots, n-1\), into two parts; with inductive assumption (14), it reduces to
Similarly, we have
We split \(A_{3}\) as
We can see that
Since
where
and
we see that
whence
Rewriting \(A_{5}\), \(A_{6}\), \(A_{8}\), with (17), we obtain
and
Finally, \(A_{7}\) can be bounded as
Moreover, because
we have
Summing this inequality from 2 to n, we get
Due to
after obvious estimates and a kickback of \(\tau\sum_{i=1}^{n}\|\nabla \delta^{i}\|_{0}^{2}\), together with our earlier estimate for \(n=1\), we obtain
Here by (18) we have
and, further,
Then we conclude that there exist \(\tau_{4}\), \(\tau_{5}\), \(C_{3}\), \(C_{4}\) such that when \(\tau\leq\tau_{4}\), we have
which leads to
where \(\tau\leq\tau_{5}=\min\{1/2CC_{3},1/4C^{2}C_{3}^{2}\}\). Clearly, \(C_{3}, C_{4}\) have nothing to do with \(C_{0}\), and thus (6) and (7) hold for \(m=n\) if we take \(C_{0}\geq\sum_{i=1}^{4}C_{i}\) and \(\tau_{0}\leq \min_{1\leq\tau\leq5}\tau_{i}\). Then the induction is closed. The proof is completed. □
Remark 1
The special method used to tackle the left-hand side of (16) is important to deduce the regularities of \(U^{n}\) and \(Q^{n}\) in the \(H^{2}\)-norm. Further, the terms including \(\Delta\delta^{n}\) on the right-hand side needs innovative technologies to treat.
4 Error estimates for spatial-discrete system and optimal error results
In this section, we will establish τ-independent optimal error results for \(u^{n}\) and \(q^{n}\) through the spatial results. We decompose the errors as follows:
and we are now ready for the unconditional spatial results.
Theorem 2
Let \(u^{m}\) and \(U_{h}^{m}\) be solutions of (3) and (4), respectively, for \(m=1,2,\ldots, N\). Under the conditions of Theorem 1, there exist \(\tau _{0}',h_{0}'\) such that, for \(\tau\leq\tau_{0}'\) and \(h\leq h_{0}'\), we have
and
Proof
Before discussing (27) and (28), we shall pause to give the results
by mathematical induction, where \(C_{0}'\) is a positive constant independent of m, τ, and h. Since \(\|I_{h}U^{m}\|_{0,\infty}+\sqrt{\tau}(\sum_{i=2}^{m}\|\bar{\partial }_{t}I_{h}U^{i}\|_{0,\infty}^{2})^{\frac{1}{2}}\leq C\), let \(K_{0}'\triangleq 1+\|I_{h}U^{m}\|_{0,\infty}+\sqrt{\tau}\times (\sum_{i=2}^{m}\|\bar{\partial }_{t}I_{h}U^{i}\|_{0,\infty}^{2})^{\frac{1}{2}}\). We begin with \(m=1\):
Taking \(v_{h}=\theta^{1}\) in (30), we get
It is easy to see that
Denoting \(\overline{\gamma(X)}|_{K}=\frac{1}{|K|}\int_{K}\gamma(X)\, dX\) and then using the mean-value technique, we obtain
By Theorem 1 we have
Allocating all the estimates obtained, we have
Thus there exist \(\tau_{1}', \tau_{2}', h_{1}', h_{2}', C_{1}'\) such that, for \(\tau\leq\tau_{1}'\) and \(h\leq h_{1}'\), we have
which implies
where \(h\leq h_{2}'\leq1/2CC_{1}'\) and \(\tau\leq\tau_{2}'\leq1/2CC_{1}'\).
By mathematical induction we assume that (29) holds for \(m\leq n-1\). Then there exist \(\tau_{3}'\) and \(h_{3}'\) such that
where \(h\leq h_{3}'\leq1/4CC_{0}'\) and \(\tau\leq\tau_{3}'\leq 1/6(CC_{0}')^{2}\).
Then we prove that (29) also holds for \(m=n\). By (4) and (5) we derive the error equations
For \(v_{h}=\theta^{n}\) in the second equation of (36), we have
and hence we find
Obviously,
Similarly to the proof of \(A_{2}\sim A_{8}\) and \(A_{10}\), we rewrite \(\theta^{n}\) by \(\tau\sum_{i=1}^{n}\bar{\partial}_{t} \theta^{i}\) and then try to transfer τ from one side to the other in the inner product. For simplicity and concreteness, with the help of (2), we show that
where \(\mu_{4}^{n-1}=U_{h}^{n-2}+\tau\lambda_{4}^{n-1}\bar{\partial }_{t}U_{h}^{n-1}\) and \(0< \lambda_{4}^{n-1}< 1\). Again transferring τ from one part of the inner product to the other, we have
We split \(B_{31}\) and \(B_{32}\) and estimate them as follows:
Then we have
Note that
where
and
Rewriting \(B_{4}\) and splitting it into several parts, we obtain
It is obvious that
Because
where
and
it follows that
The fourth part of \(B_{4}\) can be found:
where \(\mu_{8}^{n-1}=U^{n-1}+\lambda_{8}^{n-1}(U_{h}^{n-1}-U^{n-1})\) and \(0<\lambda_{8}^{n-1}<1\).
On one hand,
On the other hand,
Now we make use of the mean-value technique:
Since \(Q^{n}\in H^{2}\), we cannot use the mean-value of \(\nabla Q^{n}\) directly as before, thus with the first equation of (36), we try to tackle it as follows:
Because \(\Delta\theta^{i}|_{K}=0\), with the help of Theorem 1, we have
Further,
Similarly, we have
Thus we have
By a similar method we have
Altogether,
with \(\theta^{1}\) estimated earlier. Using the Gronwall lemma, we have
Again using the first equation of (36) with \(v_{h}=\bar{\partial}_{t}\xi ^{n}\), for \(\xi^{n}\), we obtain
which implies
or
Then there exist \(\tau_{4}'\), \(\tau_{5}'\), \(h_{4}'\), \(h_{5}'\), \(C_{2}'\) such that, for \(\tau\leq\tau_{4}'\) and \(h\leq h_{4}'\), we have
from which we deduce
where \(h\leq h_{5}'\leq1/2CC_{2}'\) and \(\tau\leq\tau_{5}'\leq 1/4(CC_{2}')^{2}\). Clearly, \(C_{2}'\) has nothing to do with \(C_{0}'\), and thus (29) holds for \(m=n\) if we take \(C_{0}'\geq\sum_{i=1}^{2}C_{i}'\), \(\tau _{0}'\leq\min_{1\leq\tau\leq5}\tau_{i}'\), and \(h_{0}'\leq\min_{1\leq\tau\leq5}h_{i}'\). Then the induction is closed.
The desired estimate for \(u^{n}\) and \(q^{n}\) in (27) and (28) are thus consequences of (29) combined with the triangle inequality. The proof is completed. □
Remark 2
It is precious to point out that to avoid the restriction involved by the regularities of \(Q^{n}\), we try to use the new mean-value technique in the proof of \(D_{1}\sim D_{3}\).
Remark 3
It can be seen that (27) and (28) do not hold for the elements dissatisfying (42), such as the biquadratic finite element.
5 Numerical results
In this section, we consider the hyperbolic equation
with \(\varOmega=[0, 1]\times[0, 1]\), \(a(u)=\sin u+0.1\), \(f(u)=u^{2}\), and \(g(X,t)\) chosen corresponding to the exact solution \(u=e^{t}xy(1-x)(1-y)\). Setting \(q=u_{t}\), (49) is changed into a parabolic system. A uniform rectangular partition with \(m+1\) nodes in each direction is used in our computation. We solve the system by the linearized Galerkin method with bilinear element.
To confirm our error analysis for (27) and (28), we choose \(\tau=5h^{2}\) for the backward Euler FEM with bilinear FE. Therefore, from our theoretical analysis, the \(L^{2}\)-norm errors for u and q are \(O(h^{2}+\tau)\sim O(h^{2})\), and the \(H^{1}\)-norm errors for u and q are \(O(h+\tau)\sim O(h)\). We present the numerical results with respect to time \(t=0.25, 0.5, 0.75, 1.0\) in Tables 1–4, respectively. It can be seen that \(\|u^{n}-U_{h}^{n}\|_{0}\) and \(\|q^{n}-Q_{h}^{n}\|_{0}\) are convergent at rate \(O(h^{2})\) and \(\| u^{n}-U_{h}^{n}\|_{1}\) and \(\|q^{n}-Q_{h}^{n}\|_{1}\) are convergent at rate \(O(h)\), which indicate the optimal convergence rates of the methods. Further, to show the unconditional convergence results, we test the FEM with \(h=1/160\) and the large time steps \(\tau=h, 5h, 10h, 20h, 40h\), respectively. We present the numerical results in Tables 5–6, which suggest that the scheme is stable for large time steps. All these results are in good agreement with our theoretical analysis.
6 Conclusion
In this paper, we have established unconditional error estimates for a nonlinear hyperbolic equation. A striking feature of our analysis is that we transform the nonlinear hyperbolic equation into a parabolic system. Then a linearized backward Euler FEM is constructed for the nonlinear parabolic equation. It is shown in this paper that such an idea avoids the difficulty in constructing a linearized first-order scheme for a nonlinear hyperbolic equation, and we can also give the error analysis for u and \(q = u_{t}\) at the same time. Splitting skill is exploited to derive the final unconditional convergent results. Some special methods are utilized to derive the boundedness of the solutions about the time-discrete system in \(H^{2}\)-norm, which may play a crucial role for getting rid of the restriction on the ratio between h and τ. Since the new parabolic system caused lots of problems for our the spatial errors analysis, several new techniques, such as rewriting the error equations, are introduced. It should be noted that the results in this paper also hold for linear conforming triangular elements but not hold for some other particular elements, such as the biquadratic finite element.
Abbreviations
- FEM:
-
finite element method
- PDEs:
-
partial differential equations
References
Chen, C., Liu, W.: A two-grid method for finite volume element approximations of second-order nonlinear hyperbolic equations. J. Comput. Appl. Math. 233(11), 2975–2984 (2010)
Rincon, M., Quintino, N.: Numerical analysis and simulation for a nonlinear wave equation. J. Comput. Appl. Math. 296, 247–264 (2016)
Shi, D., Li, Z.: Superconvergence analysis of the finite element method for nonlinear hyperbolic equations with nonlinear boundary condition. Appl. Math. J. Chin. Univ. Ser. A 23(4), 455–462 (2008)
Lai, X., Yuan, Y.: Galerkin alternating-direction method for a kind of three-dimensional nonlinear hyperbolic problems. Comput. Math. Appl. 57(3), 384–403 (2009)
Zhou, Z., Wang, W., Chen, H.: An \(H^{1}\)-Galerkin expanded mixed finite element approximation of second-order nonlinear hyperbolic equations. Abstr. Appl. Anal. 2013, Article ID 657952 (2013)
Chen, Y., Huang, Y.: The full-discrete mixed finite element methods for nonlinear hyperbolic equations. Commun. Nonlinear Sci. Numer. Simul. 3(3), 152–155 (1998)
Shi, D., Yan, F., Wang, J.: Unconditional superconvergence analysis of a new mixed finite element method for nonlinear Sobolev equation. Appl. Math. Comput. 274(1), 182–194 (2016)
Shi, D., Wang, J., Yan, F.: Unconditional superconvergence analysis of an \(H^{1}\)-Galerkin mixed finite element method for nonlinear Sobolev equations. Numer. Methods Partial Differ. Equ. 34(1), 145–166 (2018)
Li, B., Sun, W.: Unconditional convergence and optimal error estimates of a Galerkin-mixed FEM for incompressible miscible flow in porous media. SIAM J. Numer. Anal. 51(4), 1959–1977 (2013)
Wang, J.: A new error analysis of Crank–Nicolson Galerkin FEMs for a generalized nonlinear Schrödinger equation. J. Sci. Comput. 60(2), 390–407 (2014)
Wang, J., Si, Z., Sun, W.: A new error analysis of characteristics-mixed FEMs for miscible displacement in porous media. SIAM J. Numer. Anal. 52(6), 3000–3020 (2013)
Gao, H.: Optimal error analysis of Galerkin FEMs for nonlinear Joule heating equations. J. Sci. Comput. 58(3), 627–647 (2014)
Li, B., Gao, H., Sun, W.: Unconditionally optimal error estimates of a Crank–Nicolson Galerkin method for the nonlinear thermistor equations. SIAM J. Numer. Anal. 52(2), 933–954 (2014)
Gao, H.: Unconditional optimal error estimates of BDF–Galerkin FEMs for nonlinear thermistor equations. J. Sci. Comput. 66(2), 504–527 (2016)
Si, Z., Wang, J., Sun, W.: Unconditional stability and error estimates of modified characteristics FEMs for the Navier–Stokes equations. Numer. Math. 134(1), 139–161 (2016)
Shi, D., Wang, J.: Unconditional superconvergence analysis of a Crank–Nicolson Galerkin FEM for nonlinear Schrödinger equation. J. Sci. Comput. 72(3), 1093–1118 (2017)
Shi, D., Wang, J., Yan, F.: Unconditional superconvergence analysis for nonlinear parabolic equation with \(EQ _{1}^{\mathrm{rot}}\) nonconforming finite element. J. Sci. Comput. 70(1), 85–111 (2017)
Shi, D., Wang, J.: Unconditional superconvergence analysis of conforming finite element for nonlinear parabolic equation. Appl. Math. Comput. 294, 216–226 (2017)
Shi, D., Wang, J.: Unconditional superconvergence analysis for nonlinear hyperbolic equation with nonconforming finite element. Appl. Math. Comput. 305, 1–16 (2017)
Shi, D., Wang, J.: Unconditional superconvergence analysis of a linearized Galerkin FEM for nonlinear hyperbolic equations. Comput. Math. Appl. 74(4), 634–651 (2017)
Jung, C.Y., Park, E., Temam, R.: Boundary layer analysis of nonlinear reaction–diffusion equations in a smooth domain. Adv. Nonlinear Anal. 6(3), 277–300 (2017)
Grabowski, P.: Small-gain theorem for a class of abstract parabolic systems. Opusc. Math. 38(5), 651–680 (2018)
Strani, M.: Semigroup estimates and fast–slow dynamics in parabolic–hyperbolic systems. Adv. Nonlinear Anal. 7(1), 117–138 (2018)
Shi, D., Pei, L.: Nonconforming quadrilateral finite element method for a class of nonlinear sine-Gordon equations. Appl. Math. Comput. 219, 9447–9460 (2013)
Lin, Q., Lin, J.: Finite Element Methods: Accuracy and Improvement. Science Press, Beijing (2006)
Thomée, V.: Galerkin Finite Element Methods for Parabolic Problems. Springer Series in Computational Mathematics. Springer, Berlin (2000)
Acknowledgements
The authors would like to thank the referees for their valuable suggestions, which helped to improve this work.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (No. 11671369), the Doctoral Starting Foundation of Pingdingshan University (No. PXY-BSQD-2019001), and the University Cultivation Foundation of Pingdingshan (No. PXY-PYJJ-2019006).
Author information
Authors and Affiliations
Contributions
JW carried out theoretical calculation, participated in the design of the study, and drafted the manuscript. LG participated in its design and helped to draft the manuscript. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 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
Cite this article
Wang, J., Guo, L. A new approach to convergence analysis of linearized finite element method for nonlinear hyperbolic equation. Bound Value Probl 2019, 48 (2019). https://doi.org/10.1186/s13661-019-1161-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1161-9