Abstract
We apply continuous and discontinuous Galerkin time discretization together with standard finite element method for space discretization to the heat equation. For the numerical solution arising from these discretizations we present a guaranteed and fully computable a posteriori error upper bound. Moreover, we present local asymptotic efficiency estimate of this bound.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Posteriori Error
- Discontinuous Galerkin Method
- Posteriori Error Estimate
- Discrete Solution
- Standard Finite Element Method
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
We consider the heat equation, which represents a model problem to more general linear parabolic problems. We discretize this problem by standard finite element method in space and by either continuous or discontinuous Galerkin method in time.
Recently, time discretizations of Galerkin type start to be very popular. They represent higher order and very robust schemes for solving ordinary differential equations. When combined with classical Galerkin space discretizations, e.g. with finite element method (FEM), it is possible to analyze the complete discretization in a unified framework. For a survey about Galerkin time discretizations see [1] and [2]. A nice result presenting the connection of these discretizations to classical Runge–Kutta methods can be found in [8].
In this paper we shall focus on a posteriori error analysis of proposed problem. Our aim is to present a guaranteed, cheap and fully computable upper bound to chosen error measure that provides local efficiency at least asymptotically. To achieve these properties we use the technique of so-called equilibrated flux reconstruction, see e.g. [5]. We have been influenced by [4], where lower order time discretizations are considered, and by [2], where Galerkin time discretizations are analyzed and nodal superconvergence is derived via a posteriori error estimates.
2 Continuous Problem
Let Ω ⊂ R d (d = 1, 2, 3) be a bounded polyhedral domain with Lipschitz continuous boundary ∂ Ω and T > 0. Let us consider the following initial–boundary value problem
We assume that the right-hand side f ∈ C(0, T, L 2(Ω)) and the initial condition u 0 ∈ L 2(Ω).
Let (. , . ) and ∥ . ∥ be the L 2(Ω)-scalar product and norm, respectively. Let us denote the time derivative \(u^{{\prime}} = \frac{\partial u} {\partial t}\). We define spaces X = L 2(0, T, H 0 1(Ω)) and
It is well known that the spaces Y and Y 0 are subsets of C([0, T], L 2(Ω)).
Definition 1
We call u ∈ Y 0 the weak solution of problem ( 1), if
We assume that there exists a unique weak solution of problem ( 3).
3 Discretization
We consider a space partition \(\mathcal{T}_{h}\) consisting of a finite number of closed, d -dimensional simplices K with mutually disjoint interiors and covering \(\overline{\varOmega }\), i.e. \(\overline{\varOmega } = \cup _{K\in \mathcal{T}_{h}}K\). We assume conforming properties, i.e. neighbouring elements share an entire edge or face. We set h K = diam(K) and h = max K h K . By ρ K we denote the radius of the largest d-dimensional ball inscribed into K. We assume shape regularity of elements, i.e. h K ∕ρ K ≤ C for all \(K \in \mathcal{T}_{h}\), where the constant does not depend on \(\mathcal{T}_{h}\) for h ∈ (0, h 0).
We set the space for the semidiscrete solution
where P p(K) denotes the space of polynomials up to the degree p ≥ 1 on K. We define Π Ω p: H 0 1(Ω) → X h to be the L 2-orthogonal projection.
In order to discretize problem ( 3) in time, we consider a time partition 0 = t 0 < t 1 < … < t r = T with time intervals I m = (t m−1, t m ), time steps τ m = | I m | = t m − t m−1 and τ = max m = 1, …, r τ m . Let (. , . ) K, m and (. , . ) K be the local L 2-scalar products over K × I m and K, respectively, and ∥ . ∥ K, m be the local L 2(K × I m )-norm. In the forthcoming discretization process we will assume two variants of the time discretization, the conforming and the nonconforming one. In the conforming case, the approximate solution will be sought in the spaces of piecewise polynomial functions
and in the nonconforming case in the space
The spaces Y 0h τ and X h τ represent natural discrete spaces to Y 0 and X, respectively. The space Y 0h τ consists of functions that are one degree higher in time than the functions from the space X h τ. On the other hand the functions from Y 0h τ are continuous with respect to time with fixed starting value at 0. Altogether, both these spaces have the same dimension r(q + 1) dim X h .
For a function v ∈ X h τ we define the one–sided limits
and the jumps
We omit the subscript ± for continuous functions v ∈ Y, since v(t m ±) = v(t m ).
Now, we are able to formulate two variants of discrete schemes – the conforming version:
Definition 2
We say that the function u h τ ∈ Y 0h τ is the discrete solution of problem ( 3) obtained by time continuous Galerkin – finite element method (cG–FEM), if the following conditions are satisfied
and the nonconforming version:
Definition 3
We say that the function u h τ ∈ X h τ is the discrete solution of problem ( 3) obtained by time discontinuous Galerkin – finite element method (dG–FEM), if the following conditions are satisfied
It is evident that the exact solution u ∈ Y 0 defined by ( 3) satisfies both relations ( 9) and ( 10).
The methods ( 9) and ( 10) can be viewed as a generalization of classical one–step methods for parabolic problems. It is possible to show that setting q = 0, i.e. piecewise linear continuous approximation in time for cG–FEM or piecewise constant approximation in time for dG–FEM, is equivalent (up to suitable quadrature of the right–hand side) to Crank–Nicolson, resp. backward Euler method, in time and FEM in space.
4 A Posteriori Error Analysis
In this section we shall propose suitable error measure and derive a posteriori error estimate of this measure.
4.1 Error Measure
Let d K, m > 0 be an arbitrary parameter associated with space-time element K × I m , e.g. d K, m 2 = h K 2 +τ m 2 or d K, m = 1 or d K, m = h K or d K, m 2 = (h K −2 +τ m −2)−1. Let us define the space
of piecewise continuous functions with respect to time. We define the norm
Since Y τ ⊂ X, we gain from ( 3) that the exact solution u ∈ Y satisfies
The existence of the solution u of problem ( 13) comes clearly from the existence of the solution of problem ( 3). We shall focus on uniqueness of the solution of problem ( 13). Let us assume that there exists another solution u 1 ∈ Y τ of problem ( 13). After subtracting the equation for u from the equation for u 1 and setting v = 2(u − u 1) we gain
Summing this relation over m = 1, …, r and using the fact u − 0 = u 0 = u 1− 0 we gain
which implies u = u 1.
It is natural to define error measure EST for both variants of discretization as residual of ( 13)
for w ∈ X h τ.
It is possible to show that the uniqueness of the solution of problem ( 13) implies that EST(u h τ) = 0, if and only if u h τ is equal to the exact solution u.
4.2 Reconstruction of the Solution with Respect to Time
Since the exact solution u ∈ Y 0 ⊂ C([0, T], L 2(Ω)), i.e. u is continuous in time and u(0) = u 0, we will reconstruct the discrete solution u h τ in such a way, that the reconstruction satisfies these properties too. For conforming variant of discretization (cG-FEM) this task is easier, since the solution is already continuous in time, but the initial condition can still be violated. For nonconforming version we need to reconstruct for both reasons.
Let r m ∈ P q+1(I m ) be the right Radau polynomial on I m , i.e. r m (t m−1) = 1, r m (t m ) = 0 and r m is orthogonal to P q−1. Then there exists a polynomial reconstruction R h τ = R h τ(u h τ) for both variants of discretization such that
Since the cG-FEM solution u h τ is continuous in time, the reconstruction R h τ is equal to u h τ except I 1. It is still necessary to reconstruct the discrete initial condition Π Ω p u 0 on I 1, see ( 8).
The resulting function R h τ is continuous in time and satisfies the initial condition, i.e. R h τ ∈ Y 0. Moreover,
Such a reconstruction is used to show the equivalence among Radau IIA Runge–Kutta method, Radau collocation method and discontinuous Galerkin method. For the details see, e.g. [6] and [7]. Such a reconstruction is also used for proving a posteriori nodal superconvergence in [2].
4.3 Reconstruction of the Solution with Respect to Space
It is possible to show that the exact solution satisfies ∇u ∈ L 2(0, T, H(div)). Since ∇u h τ ∉ L 2(0, T, H(div)) in general, we reconstruct also ∇u h τ. Let
RTN p (K) be the Raviar-Thomas-Nedelec space of order p, i.e. RTN p (K) = P p (K)d + xP p (K). Let us denote the patch \(\mathcal{T}_{a} =\bigcup _{a\in K}K\) of vertex a. Then we can define RTN spaces on \(\mathcal{T}_{a}\)
Let us denote by \(P_{{\ast}}^{p}(\mathcal{T}_{a})\) piecewise polynomials of order p for a ∈ ∂ Ω. Moreover, \(P_{{\ast}}^{p}(\mathcal{T}_{a})\) consists of functions with zero mean value for a ∉ ∂ Ω. Let us denote ψ a piecewise linear “hat” function associated with vertex a with ψ(a) = 1, ψ = 0 on \(\partial \mathcal{T}_{a}\).
We formulate space–time version of patch–wise reconstruction from [3]. We seek \(\sigma _{a}^{\tau }\vert _{\mathcal{T}_{a}\times I_{m}} \in P^{q}(I_{m},RTN_{p}^{N,0}(\mathcal{T}_{a}))\) and \(r_{a}^{\tau } \in P^{q}(I_{m},P_{{\ast}}^{p}(\mathcal{T}_{a}))\) such that
Then
The reconstructions σ a τ and σ h τ, exist and satisfy
4.4 Upper Error Bound
In this section we will present a posteriori upper bound for EST(u h τ), i.e. we will present the estimate of EST(u h τ) in terms of data f and u 0, discrete solution u h τ (both versions of time discretizations are covered) and functions R h τ and σ h τ that are derived and easily computable from the discrete solution u h τ.
Theorem 4 (Upper error bound)
Let u ∈ Y 0 be the solution of (3) and u h τ ∈ X h τ be arbitrary. Let R h τ be the reconstructions obtained from u h τ by (17) and σ h τ be the reconstruction obtained from u h τ by (20) and (21) . Then
The proof of Theorem 4 is a straightforward application of ( 17) and ( 22), but it is quite long. For this reason we omit it.
4.5 Asymptotic Lower Error Bound
The goal of this section is to show that the local individual terms from a posteriori estimate ( 23) are locally effective, i.e. provide a local lower bound to EST(u h τ), at least in asymptotic sense.
To be able to apply the result in a local way, we need following notation. Let \(\mathcal{T}_{K}\) be a patch consisting of elements surrounding K and K itself. Let \(M \subset \overline{\varOmega }\), e.g. M = K or \(M = \mathcal{T}_{K}\). We define local version of space Y τ
and local version of EST(w)
For the purpose of the effectivity analysis let us assume that f is a space–time polynomial. Otherwise, it is necessary to deal with the classical oscillation term.
Theorem 5 (Local effectivity estimate)
Let u ∈ Y 0 be the solution of (3) and u h τ ∈ X h τ be arbitrary. Let R h τ be the reconstructions obtained from u h τ by (17) and σ h τ be the reconstruction obtained from u h τ by (20) and (21) . Let f be a space–time polynomial. Then there exists a constant C > 0 such that
The proof of Theorem 5 is very technical and quite long. For these reasons we shall skip it in this paper.
References
G. Akrivis, C. Makridakis, R.H. Nochetto, Optimal order a posteriori error estimates for a class of Runge-Kutta and Galerkin methods. Numer. Math. 114 (1), 133–160 (2009)
G. Akrivis, C. Makridakis, R.H. Nochetto, Galerkin and Runge-Kutta methods: unified formulation, a posteriori error estimates and nodal superconvergence. Numer. Math. 118 (3), 429–456 (2011)
D. Braess, J. Schőberl, Equilibrated residual error estimator for edge elements. Math. Comput. 77 (262), 651–672 (2008)
V. Dolejší, A. Ern, M. Vohralík., A framework for robust a posteriori error control in unsteady nonlinear advection-diffusion problems. SIAM J. Numer. Anal. 51 (2), 773–793 (2013)
A. Ern, M. Vohralík. Polynomial-degree-robust a posteriori estimates in a unified setting for conforming, nonconforming, discontinuous Galerkin, and mixed discretizations. SIAM J. Numer. Anal. 53 (2), 1058–1081 (2015)
E. Hairer, S.P. Norsett, G. Wanner. Solving Ordinary Differential Equations I, Nonstiff Problems. Springer Series in Computational Mathematics, vol. 8 (Springer, Berlin/Heidelberg/New York, 2000)
E. Hairer, G. Wanner. Solving Ordinary Differential Equations II, Stiff and Differential-Algebraic Problems (Springer, Berlin, 2002)
B.L. Hulme One-step piecewise polynomial Galerkin methods for initial value problems. Math. Comput. 26, 415–426 (1972)
Acknowledgements
This research was supported by the project GA UK No. 92315 of the Charles University in Prague (F. Roskovec) and by the Grant No. 13-00522S of the Czech Science Foundation (V. Dolejší, M. Vlasák).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Dolejší, V., Roskovec, F., Vlasák, M. (2016). A Posteriori Error Estimates for Nonstationary Problems. In: Karasözen, B., Manguoğlu, M., Tezer-Sezgin, M., Göktepe, S., Uğur, Ö. (eds) Numerical Mathematics and Advanced Applications ENUMATH 2015. Lecture Notes in Computational Science and Engineering, vol 112. Springer, Cham. https://doi.org/10.1007/978-3-319-39929-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-39929-4_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39927-0
Online ISBN: 978-3-319-39929-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)