Abstract
In this paper we consider the semi-discretization in space of a first order scalar transport equation. For the space discretization we use standard continuous finite elements with a stabilization consisting of a penalty on the jump of the gradient over element faces. We recall some global error estimates for smooth and rough solutions and then prove a new local error estimate for the transient linear transport equation. In particular we show that for the stabilized method the effect of non-smooth features in the solution decay exponentially from the space time zone where the solution is rough so that smooth features will be transported unperturbed. Locally the L2-norm error converges with the expected order \(O(h^{k+\frac 12})\), if the exact solution is locally smooth. We then illustrate the results numerically. In particular we show the good local accuracy in the smooth zone of the stabilized method and that the standard Galerkin fails to approximate a solution that is smooth at the final time if underresolved features have been present in the solution at some time during the evolution.
Similar content being viewed by others
1 Introduction
The discretization of transport problems has traditionally been dominated by discontinuous Galerkin methods or finite volume methods, typically of low order, since the continuous Galerkin method is known to have robustness problems for first order partial differential equations (see [23, Chapter 5]), or convection–diffusion equations in the convection dominated regime. In certain situations the use of high order continuous Galerkin methods is appealing, for instance in the case of convection–diffusion equations, in particular where the diffusion is nonlinear, or more complex situations such as large eddy simulation of turbulent flows, where the pressure-velocity coupling can be decoupled using a pressure projection method and the convective part handled explicitly. In such situations, if continuous finite element spaces are used, one must resort to a stabilized method to avoid a reduction of accuracy due to spurious oscillations. There is a very wide literature on stabilized methods and for an overview of the topic see for example [24]. In the high order case, the Spectral Vanishing Velocity method has been a popular choice [34,35,36], but other methods have also been designed to work for high order, see the discussion in [17]. In this work we will focus on the continuous interior penalty (CIP) stabilization, that was shown to allow for close to hp-optimal error estimates in the high Peclet regime in [10]. Recently [37] this method was applied to under resolved simulations of turbulent flows using high order polynomial approximation and shown to perform very well in this context. Therein an eigenanalysis was performed which showed that the CIP finite element method has similar advantageous dispersion properties as the discontinuous Galerkin method (see also the report [19]) and in the computations it was verified that its numerical dissipation was less important than that of the spectral vanishing viscosity.
Ideally stability of the finite element method should match that of the continuous problem. This is typically, by and large, true for elliptic pde, but much harder to achieve in the hyperbolic case. Indeed, this would mean satisfaction of a discrete maximum principle and stability and error estimates in L1. Both which typically remain open questions. Herein we will only consider the stability in the L2-norm for continuous finite element approximations and linear symmetric stabilization of gradient penalty type applied to the transient scalar, linear first order equation. The analysis will mainly focus on semi discretization in space on periodic domains, but the extension to the fully discrete case and weakly imposed boundary conditions will be sketched. The classical estimate for smooth solutions that is proven for stabilized finite element methods is on the form
where C(u) is a constant that depends on Sobolev norms of the exact solution and on equation data, h is the mesh-size and k the polynomial order. This estimate that is suboptimal by \(h^{\frac 12}\) is known to be sharp on general meshes [38] (see also [7] for the sharpness of the estimate for the CIP method). The continuous Galerkin method without stabilization, however, only admits a bound of order hk. The lost factor \(h^{\frac 12}\) is of little consequence for smooth solutions, and high polynomial order. However for low polynomial order or rough solutions it becomes significant. In Section 4 below, we prove this type of error estimate and some variations in weak norm for rough solutions. This analysis uses ideas from [9, 12]. Some remarks on the time discretization will be added in Section 4.2. In particular we will point out the situations where the stabilization actually improves the stability of time stepping methods.
The estimate (1.1) is a weak result, but it has become a proxy for stronger estimates that give convergence also of the material derivative (see [13, 27] and Theorem 2 below) and importantly, local estimates, using weighted norms, well known in the stationary case [14, 28, 32, 33]. In the context of time dependent problems such a weighted estimate takes the form
where Dm is a multi-index differential operator of order m and the ϖ is a weight function that is aligned with the characteristics and decays exponentially away from some zone of interest. This means that if ϖ = 1 in some zone where the solution is smooth the influence of locally large derivatives and underresolution at some distance d from this zone will be damped with a factor \(e^{-d/\sqrt {h}}\). We prove such an estimate in Section 5 for the space semi-discretized stabilized formulation. To the best of my knowledge there are no previous such estimates for continuous finite element methods using symmetric stabilization. For earlier works on Streamline Upwind Petrov–Galerkin methods (SUPG) in this direction see [20, 44]. The approach in [44] relies strongly on the space time finite element discretisation and an additional artificial viscosity term and in [20] the authors consider the SUPG method together with a first order backward differentiation in time, on a form that can not easily be extended to higher order time-discretizations. In neither case can the arguments be applied independently of the time discretization. In this paper we apply the ideas from [14] where weighted estimates were proved for the stationary convection–diffusion equation with CIP-stabilization and [16], where they were applied to an inverse boundary value problem subject to a convection–diffusion equation. The result is presented in detail for the semi-discretized case only, but the extension to standard stable time discretizations is sketched. The results can also be extended to the case of convection–diffusion equations with Neumann conditions on the outflow boundary, by straightforward addition of the diffusive terms and following the argument of [14].
In the numerical section (Section 6) we will illustrate this localization property of the error and show that it is not shared by the standard (unstabilized) Galerkin finite element method. Indeed, as we shall see, without stabilization Galerkin FEM fails to approximate even smooth solutions satisfactory in case the solution has had non-smooth features at any time during the computation. Indeed it appears that the standard Galerkin method does not propagate underresolved features of the solution with the right speed, making it impossible for the method to evacuate high frequency content from the computational domain. For the stabilized method on the other hand the weighted estimate (1.2) guarantees that smooth components of the solution are untainted by spurious high frequency content at all times, since perturbations are damped exponentially when crossing the characteristics.
2 Model Problem and Finite Element Discretization
We will discuss a first order hyperbolic problem in a periodic domain, Ω = [−L,L]n, where n ≥ 1 is the space dimension. Let \(\boldsymbol {\beta } \in C^{0}([0,T];[C^{m}(\bar {\varOmega })]^{n})\), m ≥ 1, be a periodic vector field satisfying ∇⋅β = 0 and consider the first order hyperbolic problem
For smooth data β, u0 and f there exists a unique solution by the method of characteristics, but the problem admits a unique solution also for more rough data [26]. The solution satisfies the following regularity estimate (a proof of this can be obtained after minor modifications of [5, Lemma 2]),
Below we will always assume that β is smooth enough for (2.3) to hold. The constant Cβ grows exponentially in time, with coefficient dependent on the sup-norm of β, and its derivatives of order up to j. Below the notation \(\beta _{\infty } = \sup _{x \in \bar {\varOmega }}|\boldsymbol {\beta }(x)|\) will be used. The L2-norm over a domain X ⊂Ω will be denoted by \(\|\cdot \|_{X} = (\cdot ,\cdot )_{X}^{\frac 12}\), where \((\cdot ,\cdot )_{X}^{\frac 12}\) is the L2-scalar product over X, also \(\|\cdot \|_{\infty }\) will denote the norm on \(C^{0}(\bar {\varOmega })\).
Let \(\{\mathcal {T}\}_{h}\) be a family of shape regular decompositions of Ω in simplices S, \(\mathcal {T} = \{S\}\), indexed by the (uniform) mesh size h. Let \(\mathcal {F}\) denote the set of faces of \(\mathcal {T}\). C will denote a generic constant that can have different value at each appearance, but is always independent of the mesh-parameter h. Now define the finite element space
where \(\mathbb {P}_{k}(S)\) denotes the set of polynomials of degree less than or equal to k on S and \(H^{1}_{per}({\varOmega })\) denotes the set of periodic functions in H1 on Ω. We may then write a semi-discretization in space, for t > 0 find uh(t) ∈ Vh, with uh(0) = πhu0, such that
where F(vh) := (f,vh)Ω. Above πh denotes the L2-projection onto the finite element space Vh. For all v ∈ L2(Ω), πhv ∈ Vh satisfies
It is well known that on locally quasi-uniform meshes the L2-projection satisfies the approximation bound,
The formulation (2.4) defines a dynamical system that admits a unique solution for m ≥ 0 using standard techniques. Taking vh = uh in (2.4) and integrating in time we see that (2.4) satisfies the bound (2.3) with j = 0
Since ∇⋅β = 0 the bound holds with \(C_{\beta } = T^{\frac 12}\). Actually a stronger results holds for the L2-norm when the norm on f is weakened. Indeed one may use that
to show that
However (2.3) does not hold for uh for j = 1. A natural question to ask is then if the solution to (2.4) gives any control of the derivatives. In case f ∈ L2((0,T);Ω) the immediate control offered by (2.1) is \({\mathscr{L}} u\in L^{2}((0,T);{\varOmega })\), that is the material derivative is bounded in L2. For (2.4) we get the corresponding bound \(\pi _{h} {\mathscr{L}} u_{h}\in L^{2}((0,T);{\varOmega })\). Since \({\mathscr{L}} u_{h}\) may be discontinuous over element faces (due to the presence of derivatives in space) and Vh ∈ C0(Ω), we see that \(\pi _{h} {\mathscr{L}} u_{h} \ne {\mathscr{L}} u_{h}\). It follows that not even this weakest measure of derivatives of u is controlled by (2.4). However since we are looking for control in a discrete space we can use norm equivalence on discrete spaces in the form of the inverse inequality [3, Lemma 4.5.3],
and observing that ∂tuh ∈ Vh, we see that
Combining (2.7) with the bound (2.5)
So the constant in the control of the material derivative grows as O(h− 1) under mesh refinement. Hence there is no improvement compared to obtaining an H1 estimate by combining the L2-stability of (2.5) with (2.6).
The rationale for the addition of stabilizing terms is to improve the control of derivatives of uh. As an example of stabilization we here propose the gradient penalty term, introduced in [21] and shown to result in improved robustness and error estimates for convection dominated flows in [15],
where \(\left <u,v\right >_{F} = {\int \limits }_{F} uv ~\mathrm {d} s\), \([\![\nabla v_{h}]\!]\vert _{F} = \nabla v_{h}\vert _{F \cap \partial S_{1}} \cdot n_{1} +\nabla v_{h}\vert _{F \cap \partial S_{2}} \cdot n_{2}\) for \(F = \bar S_{1} \cap \bar S_{2}\) and n1 and n2 denote the outward pointing normals of the simplices S1 and S2 respectively. To reduce the amount of crosswind diffusion the |β| factor may be replaced by |β ⋅ n|. Define the stabilization semi norm by
Also recall the following inverse inequality
which is a consequence of the scaled trace inequality, [3, Theorem 1.6.6],
and (2.6).
The enhanced control of derivatives offered by this stabilization term can be expressed as
This is an immediate consequence of the local estimate of [10, Lemma 5.3] and local approximation of β using lowest order Raviart–Thomas functions (for details see the discussion [13, Page 4]). In particular this implies (since ∂tuh ∈ Vh) that
It follows that when the finite element method has the additional stability offered by the operator s, the constant in the bound for \({\mathscr{L}} u_{h}\) will grow at the rate \(O(h^{-\frac 12})\) under mesh refinement. Therefore we propose the stabilized method, find uh(t) ∈ Vh, with uh(0) = πhu0, such that
for γ > 0. Clearly for γ = 0 we recover the standard Galerkin method.
Remark 1
Although we only consider continuous FEM below all the results holds true for dG methods if the standard Galerkin method (without stabilization) is replaced by the standard dG method with central flux and the stabilized finite element method is replaced by the standard dG method with upwind flux. There is indeed a common misconception that the enhanced stability of the dG methods (space discretization) is due to the discontinuity of the element. The discontinuity only allows for the improved control of the material derivative if there is sufficent control on the solution jump. This can be introduced through upwind fluxes, or otherwise. Indeed it is easy to see that the upwind flux formulation is obtained from the central flux formulation by adding the following stabilization term [4]
where [⋅] simply denotes the jump of the function over the element face F. In general the full jump needs to be penalized, but the minimal stabilization needed to make the dG method satisfy the bound (2.12) depends on the mesh geometry and the polynomial order [6, 39].
3 Stability Estimate of the Finite Element Method
Here we will formalize the discussion of the previous section to obtain a stability estimate that will be useful for the subsequent error analysis. First define the operator norms
With these definitions the arguments discussed in the previous section may be written as follows.
Theorem 1
Let uh solve (2.13) with γ > 0 then for all τ ∈ [0,T]
where Cβ = O(γ− 1 + T).
Proof
First take vh = uh in (2.13) to obtain using the skew symmetry of the convective operator
and therefore after integration in time over (0,τ)
Using the arithmetic-geometric inequality \(ab \leq \frac 12 a^{2} + \frac 12 b^{2}\) it follows that \(\|F\|_{h} (\|u_{h}(t)\|_{{\varOmega }} + |u_{h}(t)|_{s}) \leq (\gamma ^{-1} +T) \|F\|_{h}^{2} + \frac 12 T^{-1} \|u_{h}(t)\|^{2}_{{\varOmega }}+\gamma \frac 12 |u_{h}(t)|_{s}^{2}\) leading to
By Gronwall’s inequality we have
We may then bound
which concludes the proof. □
For the material derivative we can prove the similar bound
Corollary 1
Let uh solve (2.13) with γ > 0 then there holds
where \(\zeta (\gamma ) = \gamma ^{\frac 12} + \gamma ^{-\frac 12}\).
Proof
To bound the term T1 we use the formulation (2.13) to obtain
For the first term on the right hand side we see that using the first definition of (3.1) and the stability of the L2-projection there holds
For the second term we use (2.9) and the L2-stability of the projection to get
Observe that in the last inequality a factor \(h^{\frac 12}\) is lost due to the application of (2.9). Collecting these bounds we see that
To bound T2 we note that by the definition of the L2-projection \(\|h^{\frac 12}(I - \pi _{h}) {\mathscr{L}} u_{h}\|_{{\varOmega }} \leq \|h^{\frac 12}({\mathscr{L}} u_{h} - v_{h})\|_{{\varOmega }} \) for all vh ∈ Vh and apply (2.11) and the fact that ∂tuh ∈ Vh, leading to
The claim follows by the bounds on T1 and T2 and the result of Theorem 1. □
Remark 2
Observe that the presence of both positive and negative powers of γ in ζ, shows that the estimate degenerates both for vanishing stabilization and for too strong stabilization. If γ goes to infinity the solution has to become C1 and the solution will in this case coincide with the standard Galerkin approximation in the C1-subspace, which is unstable, see discussion in [18].
4 Error Estimates for the Stabilized Formulation (2.13)
Using the stability estimates of Theorem 1 it is straightforward to derive the error estimate (1.1) for smooth solutions. Below we will also use Corollary 1 to obtain an optimal order O(hk) error estimate for the material derivative.
Then we will assume that f ∈ L2(0,T;Ω) in (2.3) so that we only have u ∈ L2(0,T;Ω). In this case we will show that the stabilized finite element method still converges in a weaker norm.
Theorem 2
Let u0 ∈ Hk+ 1(Ω), f ∈ L2(0,T;Hk+ 1(Ω)), let u be the solution of (2.1) and uh the solution of (2.13). Then there holds, for all T > 0
and
where \(\zeta (\gamma ) := \gamma ^{\frac 12} + \gamma ^{-\frac 12}\) and Cβ depends on \(\beta _{\infty }\) and \(\|\nabla \boldsymbol {\beta }\|_{\infty }\) and T.
Proof
This result is a consequence of the stability of Theorem 1, the consistency and (2.11). It is standard material (see [24, Section 76.4]) however for completeness we include the short proof.
Using standard approximation estimates there holds [10, Lemma 5.6]
Hence by applying a triangle inequality we only need to consider the discrete error eh = πhu − uh. Injecting it in (2.1) and using (2.13) we see that
with Fπ(vh) = (∂t(πhu − u),vh)Ω + (β ⋅∇(πhu − u),vh)Ω + γs(πhu,vh). Applying Theorem 1 we see that
By the definition of uh(0), eh(0) = 0. Since ∂tπhu = πh∂tu we have using L2-orthogonality and intergration by parts
It now follows using the Cauchy–Schwarz inequality, (2.11) and (4.1) and recalling that under the regularity assumptions on data u(t) ∈ H2(Ω), that
The first claim then follows after an application of (2.3).
For the second inequality we apply Corollary 1 to see that, since eh(0) = 0,
It follows that we only need to bound F in the stronger topology ∥⋅∥0 to conclude. Using the Cauchy–Schwarz inequality and the inverse inequalities (2.6) and (2.9)
It follows from (4.1) that
Combining this bound for ∥F∥0 with the bound (4.2) in (4.3) we see that
and we conclude using the approximation bound
and the triangle inequality. □
Remark 3
Note that the error estimate on the material derivative is optimal compared with the approximation properties of the finite element space. In the corresponding analysis for (2.4) only ∥F∥0 may be used for the upper bound in Theorem 1, resulting in a bound that is suboptimal by \(O(h^{\frac 12})\).
4.1 Rough Solutions: Convergence in Weak Norms
Assume now that we have f ∈ L2((0,T);Ω) in (2.13) and u0 ∈ L2(Ω). Then u ∈ L2((0,T);Ω) is the best we can hope for, making the error estimates of Theorem 2 invalid. However if we estimate the error in a weaker norm, we can still obtain an error bound with convergence order, provided a stabilized method is used. For \(\psi \in H^{1}_{per}({\varOmega })\) consider the adjoint problem
This problem admits a unique solution and by (2.3)
Let \(V:= H^{1}_{per} ({\varOmega })\) and introduce the dual norm
where \(\left <v,w\right >_{V^{\prime },V}\) is a space duality pairing that we can identify with the L2-scalar product for v ∈ L2(Ω). We now proceed using duality to prove an a posteriori bound
Proposition 1 (A posteriori error bound)
Let u be the solution of (2.1) with f ∈ L2(0,T;Ω) and u0 ∈ L2(Ω) and uh the solution of (2.13), with γ ≥ 0. Then there holds, for all T > 0 and for all ψ ∈ V,
Proof
Using the adjoint equation and integration by parts we see that for any \(\psi \in H^{1}_{per}({\varOmega })\),
Considering the terms of the right hand side we see that
and
It follows that
We end the proof by applying the stability (4.4). □
Remark 4
A posteriori error estimates in negative norms for stationary first order pde was introduced in [30] and the case of transient problems using stabilized FEM in [9]. Observe that this a posteriori error estimate can not in general be sharp, indeed for a smooth solution, by Theorem 2 we get O(hk+ 1) convergence in the dual norm. This follows by observing that since we may take vh = ∂tuh and \(f = {\mathscr{L}} u\),
and then applying the second bound of Theorem 2. We see that compared to the L2-estimate we have lost another power \(h^{\frac 12}\). Sharp residual type a posteriori error estimates in the L2-norm for transport equations in dimension > 1, so far to the best of my knowledge, have only been obtained under a saturation assumption and using a stabilized finite element method, or a dG method with upwind flux [8].
Theorem 3 (A priori error estimate for rough solutions)
Let u be the solution of (2.1) with f ∈ L2(0,T;L2(Ω)) and u0 ∈ L2(Ω) and uh that of (2.13) with γ > 1. Then there holds
with \(\zeta (\gamma ) = \gamma ^{\frac 12} + \gamma ^{-\frac 12}\).
Proof
By definition
Applying Proposition 1 we see that, after a Cauchy–Schwarz inequality in time, for any T > 0,
Then noting that by (2.11) there holds
we see that all the a posteriori terms depending on uh are either on the form |uh|s or on the form \(\|u_{h}\|^{2}_{{\varOmega }}\) and we conclude by applying Theorem 1. □
4.2 Time Discretization and Stabilized Methods
As a rule of thumb any time integrator with non-trivial imaginary stability boundary extending into the complex plane will be stable and accurate in the sense (1.1), possibly under a CFL condition depending on β and γ. In particular any time discretization method allowing for a time discrete version of an energy estimate of the type in Theorem 1 may be applied and will lead to optimal error estimates similar to those above. This includes all A-stable schemes, backward differentiation methods of first and second order, the Crank–Nicolson method. Explicit methods with good stability properties such as explicit strongly stable Runge–Kutta (RK) methods of order higher than, or equal to, 3 are stable [12, 40,41,42,43]. Similar stability results are expected to hold for Adams–Bashforth (AB) methods of order 3, 4, 7, 8 under standard hyperbolic CFL, δt ≤ Coh, where δt denotes the timestep and Co the Courant number. See for instance [31] for a discussion of time-discretization of advection–diffusion equation, [25] for a discussion of the stability boundaries of AB methods and [13] for numerical experiments using AB3. All these methods are energy stable regardless of whether or not stabilization is added. The second order RK method is energy stable under hyperbolic CFL only for piecewise affine approximation and with added stabilization of the form (2.8) [12] (for dG FEM and affine approximation upwind stabilization must be added [42]). In the general case (no stabilization, higher polynomial approximation) the RK2 method is stable only under a slightly more strict CFL condition, indeed one needs to assume \(dt \leq Co h^{\frac 43}\), with Co fixed, but small enough. This condition is the same for both cG and dG methods (see [12, 42]). Recently an analysis of the second order backward differentiation formula and the Crank–Nicolson method (AB2) with convection extrapolated to second order from previous time steps was proposed for the discretization of (2.13) [13]. It was shown that these schemes are stable under similar conditions as the RK2 scheme. Such multi step schemes are particularly appealing in the context of IMEX methods for convection–diffusion and hence provide a one-stage alternative to the RK2 IMEX method analysed in [11].
5 Weighted Error Estimates
In this section we will consider the slightly more technically advanced case of weighted estimates. The idea is to show that stabilization makes information follow the characteristics similarly as in the physics. This means that for solutions with a localized sharp layer, the dependence of a local error in the smooth zone on the regularity of the exact solution decreases exponentially with the distance to the singularity. Hence locally large gradients in the solution can not destroy the solution globally. This is not the case for approximations produced using cG FEM without stabilization. These results touch at the very essence of stabilized FEM, unfortunately their proofs are quite technical and therefore these results in my opinion have received less attention than they deserve. Here we try to give the simplest possible exposition of these ideas, without striving for optimality of exponential decay or generality of meshes. We let the domain be infinite (\(L = \infty \)) and let u0 have compact support. To simplify the discussion assume that β ≡ ex, where ex is the Cartesian unit vector in the x-direction, so that β ⋅∇u = ∂xu. Since here \(\beta _{\infty } = 1\), below the dependence on the speed will not be tracked. First the case of a globally smooth solution will be considered (Theorem 4). The objective is to obtain an estimate for the error in some subdomain Ω0(t) ⊂Ω defined as
for some x0 ∈Ω and some r0 > 0. The derivatives of u are assumed to be moderate in a neighbourhood of Ω0 and we will prove that the accuracy in this subdomain is independent of large derivatives in other parts of the domain, provided they are sufficiently far away, relative to the mesh size. This is achieved using weights so that the effect of portions of the domain where locally the Sobolev norm is large decays exponentially with the distance to Ω0. Then we will show how the arguments of the smooth case can be used to prove accuracy in Ω0 in the case where the solution is locally only L2 in the far field (Corollary 2). The key message is that the local accuracy of the approximation depends only on the local smoothness of the exact solution and that perturbations due to roughness in the solution is exponentially damped, except along characteristics. Finally we will discuss how the arguments can be extended to bounded domains with weakly imposed boundary condition and time discretization.
Let φ ∈ Ck+ 1(Ω) be a smooth positive function defined using polar/spherical coordinates, depending only on r(x) = |x0 −x|, with \(\varphi ^{\prime }(r) \leq 0\), φ(r) = 1, r ≤ r0, \(\varphi (r) \sim \exp (-(r-r_{0})/\sigma )\), r > r0, with \(\sigma = K\sqrt {h}\), K > 1, and for some C > 0,
Remark 5
For the case k = 1 we only require φ ∈ C1(Ω). An example of such a function with r0 = 1 and σ = 5 is given in Fig. 1 for illustration.
Define ϖ(x,t) = φ(r(x −βt)) then, since ϖ follows the characteristics \({\mathscr{L}} \varpi = 0\), and
where the derivatives are taken with respect to space or time. The objective is to prove stability and error estimates in the weighted norm
The same notation will be used occasionally below with different weight functions. The rationale for the design of the weight function is that for all \(v \in L^{\infty }(0,T;L^{2}({\varOmega }))\) with \({\mathscr{L}} v \in L^{2}(0,T;{\varOmega })\), by partial integration in space and time,
and
there holds
Hence
and therefore the following stability is satisfied by the continuous equation, (2.1), ∀σ > 0,
from which we conclude
This relation expresses that the solution is transported along the characteristics. The influence across characteristics will be damped exponentially as \(\exp (-d/\sigma )\). However in the continuous case, since the bound holds for all σ > 0 the cut-off is sharp.
The aim is to make the error analysis for the solution of (2.13) reproduce this type of localization. For the purposes of analysis we introduce the weighted stabilization operator
and note that s(vh,ϖ2wh) = sϖ(vh,wh). Also recall the following weighted versions of (2.11) from [14, Lemma 3.1, equation (3.1) and (3.2)], here \(\boldsymbol {\beta }_{0}\vert _{S} \in \mathbb {R}^{n}\) is some piecewise constant per element,
and
The second bound differs from the bound in [14], since there the derivative of vh appears in the second term of the right hand side. The proof however is similar. For completeness we detail it in ??. We will need to use approximation in the weighted norm and therefore collect some results on the L2-projection in the following lemmas. The first one is taken from [2] and we refer to this reference for the proof. The following two are variations on results from [14] and for completeness we give the proofs in ??. We note that all the above inequalities hold both for the weight ϖ and ϖ− 1, since by the construction of the weight,
It follows that (5.1) is satisfied also for ϖ− 1.
Lemma 1 (Stability L 2-projection)
Let πh denote the L2-projection onto Vh. Then, if ϕ is a function satisfying
for some ν > 0, sufficiently small then there holds
and
Proof
The estimates (5.5)–(5.7) are taken verbatim from [2, bounds (1.7)–(1.9)] (see also [22, Appendix]). □
The above stability estimates allows us to prove bounds on the L2-error in the weighted norm.
Lemma 2 (Weighted approximation)
Let πh denote the L2-projection onto Vh. Then for \(h^{\frac 12}/K\) sufficiently small and Iδ = [t − δt,t + δt] ∩ [0,T] with \(\delta t \in \mathbb {R}^{+}\), \(\delta t \sim h\), there holds
and
For the analysis we also need the following interpolation estimates on weighted discrete functions.
Lemma 3 (Super approximation)
Let vh ∈ Vh. Assume that \(h^{\frac 12}/K\) is sufficiently small. Then there holds
and
We will now derive a weighted stability estimate for the finite element formulation (2.13). First use similar arguments as for (5.2) to obtain for any vh ∈ C1(0,T;Vh),
and, since ϖ ∈ C1(Ω) we see that
Therefore,
However, since ϖ2vh∉Vh the equality can not be used directly for the finite element formulation. We need to show that stability similar to (5.13) can be obtained by testing by some interpolant of ϖ2vh.
Proposition 2 (Weighted stability)
Let γ > 0, K > 1. Assume that \(h^{\frac 12}/K\) is sufficiently small. For all vh ∈ C1(0,T;Vh) there holds
where wh = πhϖ2vh and the constant \(C \sim \gamma + \gamma ^{-1}\).
Proof
Starting from the equality (5.13) we add and subtract the finite element formulation tested with some function wh,
We choose wh = πh(ϖ2vh) to obtain, for an arbitrary yh ∈ Vh
Considering the stabilization term we see that
Using the arithmetic-geometric inequality ab ≤ (2𝜖)− 1a2 + (𝜖2− 1)b2, to split the terms in the right hand side, with 𝜖 = 2 in (5.14), we obtain
We need to bound the contributions T1, T2 and T3 in terms of the quantities of the left hand side and ∥vh∥ϖ. Using (5.11) immediately yields
By distribution of the integrals over the faces on simplices, splitting the jumps on the contributions from the two sides and applying (5.12) there holds
Finally for the term T3 apply the weighted stabilization bound (5.3), with β0 ≡ ex, where ex is the Cartesian unit vector in the x-direction
Collecting the bounds for T1-T3 and choosing 𝜖 = (2Cws)− 1 we see that
□
Theorem 4
Assume that the hypothesis of Proposition 2 are satisfied. Let \(u \in L^{\infty }(0,T; H^{k+1}({\varOmega }))\) be the solution of (2.1) and uh the solution of (2.13). Then for all T > 0 there holds
The constant CK grows exponentially in time with coefficient proportional to (γ + γ− 1)K− 2.
First note that we may split the error as \(u - u_{h} = \underbrace {u - \pi _{h} u}_{=-\eta } + \underbrace {\pi _{h} u - u_{h}}_{=e_{h}}\) and by (5.9),
By the triangle inequality we only need to prove the bound on ∥eh(⋅,T)∥ϖ.
Using the stability of Proposition 2 we see that, since eh(⋅,0) = 0,
with wh = πh(ϖ2eh). Now observe that the following consistency property holds
and hence
This leads to a perturbation equation on the form
Considering the first term of the second integral in the right hand side we have using that time derivation and the L2-projection commute and the L2-orthogonality of η
Here we used the inequality ab ≤ 4− 1a2 + b2 and that by the triangle inequality followed by the bounds (5.11), and (5.4) there holds
For the last term in the right hand side of (5.15) we have
Applying the bound (5.12) to each term of the jump separately in the last term in the right hand side and collecting the estimates it follows that
Applying this bound in (5.15) we have
Since the solution is assumed regular, \(u(\cdot ,t) \in H^{\frac 32+\epsilon }({\varOmega })\), 𝜖 > 0 we have \(|\pi _{h} u_{h}|^{2}_{s,\varpi } = |\eta |^{2}_{s,\varpi }\). Applying Lemma 2 yields
The claim now follows by an application of Gronwall’s inequality.
5.1 Discussion of Estimates for Rough Solutions
Consider the following subsets of Ω, Ω0(t) := {x ∈Ω : ϖ(x,t) = 1} and Ωp(t) := {x ∈Ω : ϖ(x,t) ≤ hp,p > 0}. Then denoting d = dist(Ω0,Ωp) it follows by the construction of ϖ that
and the following bound holds
It follows that Dk+ 1u can be large, O(h−p), in Ωp without destroying the solution in Ω0. To apply the argument to u0 that is only piecewise in Hk+ 1 one can use the weighted L2-stability in the error analysis above and still obtain estimates. We present a sketch of this result in a corollary.
Corollary 2
Assume that the hypothesis of Proposition 2 are satisfied. Let p = k + 1. Assume that \(u \in L^{\infty }(0,T;L^{2}({\varOmega }))\), with \(u\vert _{{\varOmega } \setminus {\varOmega }_{p}} \in H^{k+1}({\varOmega } \setminus {\varOmega }_{p})\), for all t ∈ [0,T] is the solution of (2.1) and uh the solution of (2.13). Then there holds (omitting for simplicity the dependence on γ).
Proof
The proof follows that of Theorem 4 closely. We only need to substitute the L2-projection for an interpolant with more local properties before applying approximation. Let the domain Ωp,ih(t) be defined by the union of all the elements that intersect Ωp(T) and an integer i layers of nearest neighbours. The norm over Ωp,ih(t) will be denoted \(\|\cdot \|_{{\varOmega }_{p,ih}}\). Let Ch denote the Clément interpolant defined using local projections. It is well known [23, Lemma 1.127] that if for a given \(S \in \mathcal {T}\), ΔS denotes the set of simplices sharing at least one vertex with S and for a face F, ΔF denotes the set of simplices sharing at least one vertex with F, then
It is then straightforward to use the approximation properties of Ch in Ω ∖Ωp,1h and the local stability of Ch in Ωp,1h to show the estimates
and
For the second inequality we divide |Chu(⋅,t)|s,ϖ into the sum over faces in Ω ∖Ωp,1h and Ωp,1h. The two different sets are treated differently. For faces in Ω ∖Ωp,1h we proceeded as usual using that \(u(\cdot ,t)\vert _{{\varOmega }\setminus {\varOmega }_{p}} \in H^{\frac 32+\epsilon }({\varOmega }\setminus {\varOmega }_{p})\) and apply the local approximation properties on faces of Ch (second inequality of (5.17)). For faces in Ωp,1h we can not use approximation and instead apply (2.10) and (2.6). We also used that \(\varpi \vert _{{\varOmega }_{p,1h}} \leq C h^{p}\) by construction. Observe that by the weighted L2-stability (5.5) we have
and hence as before we only need to prove the bound for ∥eh(⋅,T)∥ϖ. The inequality (5.16) still holds. To conclude we observe that using (5.20)
By combining the inequality
(that is immediate by (2.10), (2.6) and (5.8)) with (5.20) we also have
We conclude as before after applying (5.18) and (5.19) in (5.21) and (5.22). □
5.2 Time Discretization and Weakly Imposed Boundary Conditions
In practice and in the numerical section below of course we need to include boundary conditions and time discretizations in the above arguments. Depending on the time-discretization this can be a challenging exercise, but we will here focus on the 𝜃-scheme and the main steps of its analysis using the ideas above in the case of the backward Euler scheme (𝜃 = 1). Boundary conditions are imposed weakly using the standard upwind technique known from discontinuous Galerkin methods. We consider a polygonal domain Ω and denote its boundary by Γ := ∂Ω with outward pointing normal n. We decompose Γ into an inflow part
and an outflow part Γ+ := ∂Ω ∖Γ−. The space Vh will here denote the standard finite element space of continuous piecewise polynomial functions, without boundary conditions defined on \(\mathcal {T}\). We are now interested in the the solution of (2.1) with the additional inflow boundary condition
where \(g \in L^{2}(0,T;L^{2}_{\beta \cdot n}({\Gamma }_{-}))\) with \(L^{2}_{\boldsymbol {\beta } \cdot n}({\Gamma }_{-}) := \{ v:{\Gamma }_{-} \mapsto \mathbb {R}: \||\boldsymbol {\beta }\cdot n|^{\frac 12} v\|_{L^{2}({\Gamma }_{-})} < \infty \}\). We will assume that the g, Γ− and Γ+ are such that the exact solution is smooth enough for our purposes. The timestep δt := T/N for some \(N \in \mathbb {N}^{+}\) will be assumed to satisfy δt ≤ Ch for some C > 0, and the discrete solution \(u_{h} := \{{u_{h}^{n}}\}_{n=0}^{N}\) collects the finite element approximations on the discrete time levels tn = nδt. The so-called 𝜃-scheme takes the form: find \({u_{h}^{n}} \in V_{h}\) such that for \( n = 1,2,3 {\dots } N\),
where \(u_{h}^{n_{\theta }} := \theta {u_{h}^{n}} + (1-\theta ) u_{h}^{n-1}\), \(g^{n_{\theta }} := g(\cdot , t^{n}+\theta \delta t)\), \(f^{n_{\theta }}:=f(\cdot , t^{n}+\theta \delta t)\),
and \({u_{h}^{0}} = \pi _{h} u_{0}\). Compared to the time continuous analysis we have two additional points to study
-
1.
the time discrete character of the equation,
-
2.
the boundary penalty term.
We recall that the theta scheme includes the well-known backward Euler scheme (𝜃 = 1) and the Crank–Nicolson scheme (𝜃 = 1/2). A complete analysis of the 𝜃 scheme is beyond the scope of the present paper. To give some insight in the validity of the above arguments in the fully discrete case we will show the modifications necessary to prove Proposition 2 in the time discrete case with weakly imposed boundary conditions, for 𝜃 = 1. Theorem 4 then follows using the arguments above and standard truncation error analysis. We will then show numerically that also the Crank–Nicolson scheme enjoys the local accuracy property. For further evidence of the local accuracy property we refer to [12, Section 5.2 and Fig. 1] for examples using explicit Runge–Kutta methods and [13, Section 6] for examples using explicit extrapolated multistep methods. For the analysis we need the following Lemma the proof of which is given in the ??.
Lemma 4
Let ϖn(x) = ϖ(x,tn), where ϖ is a weightfunction satisfying (5.1) and vh ∈ Vh, then for δt small enough there holds
The following weighted L2-stability estimate is the key ingredient of the analysis of the fully discrete scheme.
Proposition 3
Consider the scheme (5.23) with 𝜃 = 1, then assuming δt < 1 small enough there holds, with \({w_{h}^{n}} = \pi _{h} \varpi ^{2} {v_{h}^{n}}\),
The constant CK grows exponentially in time with exponential coefficient 1/K2.
Proof
First we observe that using standard partial integration and ∇⋅β = 0 we have
As a consequence
We also have
It follows that
Identifying the terms in the right hand side that do not have a sign we see that we need to control
We rewrite the first term
For the first term on the right hand side we develop a2 − b2 = (a + b)(a − b) and apply Cauchy–Schwarz inequality and the arithmetic-geometric inequality, followed by Lemma 4 and the inequality (5.8) to obtain the bound
Considering the remaining terms, using the relation \({\mathscr{L}} \varpi ^{2} = 0\), and applying once again Lemma 4, yields the bound
Taking 𝜖 sufficiently small so that C𝜖/2 ≤ 1/4 it follows that
Proceeding as before we add and subtract \({w_{h}^{n}} := \pi _{h} ({\varpi ^{2}_{n}} {v^{n}_{h}})\) in the right slot of the bilinear forms of the right hand side
Only the term introduced for the weak imposition of boundary conditions differs from the time-continuous analysis. For this term we observe that
For the second term on the right hand side we have the bound
This follows by applying the trace inequality (2.10), the properties of ϖ and the inequality (5.11). Proceeding as in the time-continuous case we then obtain the bound
Choosing δt sufficiently small the term \(\delta t C K^{-2} \|{v_{h}^{N}}\|_{\varpi _{N}}^{2}\) in the right hand side can be absorbed in the left hand side and we conclude by an application of the discrete Gronwall’s inequality. □
Remark 6
A consequence of the previous analysis is that the proposed method can be used in the context of problems, where the boundary or initial data is unknown or partially known. Assume for example that g is unknown and replaced by zero. Then, since the effect of the erroneous boundary condition is damped exponentially for non-characteristic directions, the solution can still be approximated with good accuracy in subsets Ω0 whose domain of dependence is sufficiently far from the boundary. Similarly if the initial data is unknown in some parts of the domain, the solution will still remain accurate in subdomains where the initial data in the domain of dependence is known. This result is a time-dependent analogue to the analysis of [16].
6 Numerical Examples
All numerical examples were produced using the package FreeFEM++ [29]. The method (5.23) is considered with 𝜃 = 1/2, corresponding to the second order Crank–Nicolson scheme. This choice was made to minimize the perturbation of the global energy estimate by the time-discretization. The consistent mass matrix is used and exact quadrature is applied to all the forms. We first consider transport in the disc \({\varOmega }:= \{(x,y) \in \mathbb {R}^{2} : x^{2}+y^{2} < 1\}\) under the velocity field β = (y,−x). Approximations are computed on a series of unstructured meshes. We set f = 0 and consider two different functions u0 as initial data. One is smooth
and one is rough
The velocity field simply turns the disc with the initial data and one full turn is computed so that the final solution should be equal to the initial data. Two numerical experiments are considered where the solution is approximated for the initial data u0 and \(u_{0} + \tilde u_{0}\).
We report the global error in the material derivative over the space time domain, the global L2-norm of the error at the final time, and in the case where both the rough and the smooth initial data are combined, the error obtained in the smooth part, i.e. the L2-norm over {(x,y) ∈Ω : x > 0}. The discretization parameters for piecewise affine (P1 below) approximation have been chosen as \(dt = \tfrac 12 h = \pi /nele\), where nele is the number of cell faces on the disc perimeter. For piecewise quadratic (P2 below) approximation h = 2π/nele and \(dt = \tfrac 12 h^{\frac 32}\), to make the error of the time and space discretization similar. In the left panel of Fig. 2 the smooth and rough initial data, interpolated on a very fine mesh, are presented. In the middle panel the solution after one turn without stabilization and in the right panel the solution after one turn with stabilization for P1, on the mesh resolution nele = 80 are reported. We see that the sharp layers are smeared on this coarse mesh when the stabilized method is used, but contrary to the unstabilized case the smooth part of the solution is accurately captured.
In Fig. 3 the convergence of stabilized and unstabilized methods with P1 and P2 elements are compared for the smooth initial data. We observe that when the solution is globally smooth both methods perform well in the L2-norm. Nevertheless, the improvement of the convergence rate for the stabilized method is clearly visible for both approximation spaces, both in the L2-error and in the material derivative. The results when part of the solution is rough (initial data from Fig. 2, left plot) are reported in Fig. 4. Note that both methods have similar global error in the L2-norm. The stabilized method on the other hand still has optimal convergence in the part where the solution is smooth, in accordance with the theory of Section 5. Its material derivative is also more stable under refinement. The unstabilized method has equally poor convergence in the smooth and in the rough part of the solution.
6.1 An Example with Inflow and Outflow and Weakly Imposed Boundary Conditions
Here we consider transport in the unit square with β = (1,0)T. We use a structured mesh with nele cell faces on the side of the square. The initial data consists of a cylinder of radius r = 0.2 centered in the middle of the square and a Gaussian centered on the left boundary (see Fig. 5, left plot). The exact shapes are the same as those of the previous example. The solution is approximated over the time interval (0,1] so that the cylinder leaves the domain at t = 0.7 and at t = 1 the Gaussian is centered on the right boundary. The time dependent inflow boundary condition u = g on Γ− is imposed weakly as described in (5.23) (g is chosen as the trace of the known exact solution). In Fig. 5, the final time approximation is reported in the middle plot without stabilization and the in right plot with stabilization. Observe that from t = 0.7 the solution is smooth. Nevertheless the unstabilized Galerkin method fails to produce an accurate approximation of the smooth final time solution. Spurious oscillations from the discontinuity have spread over the whole computational domain and remain also when the rough part of the solution has left. The convergence of the L2-error at final times for the stabilized and unstabilized approaches is shown in Fig. 6 (h = 1/nele, nele = 40,80,160,320). We see that for the stabilized method both the P1 and P2 approximations have optimal convergence to the smooth solution. The unstabilized method converges approximately as \(O(h^{\frac 12})\) in both cases and its material derivative diverges.
6.2 Long Term Stability
To see the effect of perturbations on the solution for long time we revisit the computational example of the previous section, but extend the time interval to (0,3). The cylinder leaves the domain at t = 0.7 and at the final time the solution is very small. One would then expect the error of the method to go to zero with machine precision, since the solution to approximate is very close to the trivial zero solution. In Fig. 7 the global L2-norm is reported, for two consecutive meshes (nele = 40 and nele = 80) and both the stabilized (full line) and the unstabilized (dashed line) methods. In the stabilized case the improvement of the approximation at t = 0.7, when the cylinder leaves the domain, is clearly visible and the solution also improves as the Gaussian is evacuated. We see convergence to zero at machine precision of the error and also convergence under mesh refinement. In the unstabilized case the change at time t = 0.7 is barely visible, the error decreases only very slowly in time and not noticeably under mesh refinement. Similarly as in the previous example, we conclude that the standard Galerkin method with weakly imposed boundary conditions in our simulations fails to evacuate the high frequency perturbations produced by the discontinuous initial data on the two meshes considered.
Code Availability
Codes used to produce approximate solutions can be made available upon reasonable request.
References
Bertoluzza, S: The discrete commutator property of approximation spaces. C. R. Acad. Sci. Paris Sr. I Math. 329, 1097–1102 (1999)
Boman, M: Estimates for the l2-projection onto continuous finite element spaces in a weighted lp-norm. BIT Number. Math. 46, 249–260 (2006)
Brenner, SC, Scott, LR: The Mathematical Theory of Finite Element Methods, 3rd edn. Texts in Applied Mathematics, vol. 15. Springer, New York (2008)
Brezzi, F, Marini, LD, Süli, E: Discontinuous Galerkin methods for first-order hyperbolic problems. Math. Models Methods Appl. Sci. 14, 1893–1903 (2004)
Burman, E, Gillissen, JJJ, Oksanen, L: Stability estimate for scalar image velocimetry. arXiv:2008.09451 (2020)
Burman, E, Stamm, B: Minimal stabilization for discontinuous Galerkin finite element methods for hyperbolic problems. J. Sci. Comput. 33, 183–208 (2007)
Burman, E: A unified analysis for conforming and nonconforming stabilized finite element methods using interior penalty. SIAM J. Numer. Anal. 43, 2012–2033 (2005)
Burman, E: A posteriori error estimation for interior penalty finite element approximations of the advection-reaction equation. SIAM J. Numer. Anal. 47, 3584–3607 (2009)
Burman, E: Robust error estimates in weak norms for advection dominated transport problems with rough data. Math. Models Methods Appl. Sci. 24, 2663–2684 (2014)
Burman, E, Ern, A: Continuous interior penalty hp-finite element methods for advection and advection-diffusion equations. Math. Comput. 76, 1119–1140 (2007)
Burman, E, Ern, A: Implicit-explicit Runge–Kutta schemes and finite elements with symmetric stabilization for advection-diffusion equations. ESAIM Math. Model. Numer. Anal. 46, 681–707 (2012)
Burman, E, Ern, A, Fernández, MA: Explicit Runge–Kutta schemes and finite elements with symmetric stabilization for first-order linear PDE systems. SIAM J. Numer. Anal. 48, 2019–2042 (2010)
Burman, E, Guzmán, J: Implicit-explicit multistep formulations for finite element discretisations using continuous interior penalty. arXiv:2012.05727. ESAIM Math. Model. Numer. Anal. (to appear) (2020)
Burman, E, Guzmán, J, Leykekhman, D: Weighted error estimates of the continuous interior penalty method for singularly perturbed problems. IMA J. Numer. Anal. 29, 284–314 (2009)
Burman, E, Hansbo, P: Edge stabilization for Galerkin approximations of convection–diffusion–reaction problems. Comput. Methods Appl. Mech. Eng. 193, 1437–1453 (2004)
Burman, E, Nechita, M, Oksanen, L: A stabilized finite element method for inverse problems subject to the convection-diffusion equation, II: convection-dominated regime. arXiv:2006.13201 (2020)
Burman, E, Quarteroni, A, Stamm, B: Stabilization strategies for high order methods for transport dominated problems. Boll. Unione Mat. Ital. Ser. (9) 1, 57–77 (2008)
Burman, E, Quarteroni, A, Stamm, B: Interior penalty continuous and discontinuous finite element approximations of hyperbolic equations. J. Sci. Comput. 43, 293–312 (2010)
Moura, R.C., da Silva, A.F.C., Burman, E., Sherwin, S.J.: Eigenanalysis of gradient-jump penalty (GJP) stabilisation for CG. Technical report. https://doi.org/10.13140/RG.2.2.32887.85924 (2020)
de Frutos, J, García-Archilla, B, Novo, J: Local error estimates for the SUPG method applied to evolutionary convection–reaction–diffusion equations. J. Sci. Comput. 66, 528–554 (2016)
Douglas, J, Dupont, T: Interior penalty procedures for elliptic and parabolic Galerkin methods. In: Glowinski, R, Lions, JL (eds.) Computing Methods in Applied Sciences (Second International Symposium, Versailles, 1975). Lecture Notes in Physics, vol. 58, pp 207–216. Springer, Berlin (1976)
Eriksson, K, Johnson, C: Adaptive finite element methods for parabolic problems. II. Optimal error estimates in \(l_{\infty }l_{2}\) and \(l_{\infty } l_{\infty }\). SIAM J. Numer. Anal. 32, 706–740 (1995)
Ern, A, Guermond, J-L: Theory and Practice of Finite Elements. Applied Mathematical Sciences, vol. 159. Springer, New York (2004)
Ern, A, Guermond, J-L: Finite Elements, vol. III. Springer, Cham (2021)
Ghrist, ML, Fornberg, B, Reeger, JA: Stability ordinates of Adams predictor-corrector methods. BIT Numer. Math. 55, 733–750 (2015)
Girault, V, Scott, LR: On a time-dependent transport equation in a Lipschitz domain. SIAM J. Math. Anal. 42, 1721–1731 (2010)
Guermond, J-L: Subgrid stabilization of Galerkin approximations of linear contraction semi-groups of class c0 in Hilbert spaces. Numer. Methods Partial Differ. Equ. 17, 1–25 (2001)
Guzmán, J: Local analysis of discontinuous Galerkin methods applied to singularly perturbed problems. J. Numer. Math. 14, 41–56 (2006)
Hecht, F: New development in FreeFem++. J. Numer. Math. 20, 251–265 (2013)
Houston, P, Mackenzie, JA, Süli, E., Warnecke, G: A posteriori error analysis for numerical approximations of Friedrichs systems. Numer. Math. 82, 433–470 (1999)
Hundsdorfer, W, Verwer, J: Numerical Solution of Time-Dependent Advection-Diffusion-Reaction Equations. Springer Series in Computational Mathematics, vol. 33. Springer, Berlin (2003)
Johnson, C, Schatz, AH, Wahlbin, LB: Crosswind smear and pointwise errors in streamline diffusion finite element methods. Math. Comput. 49, 25–38 (1987)
Johnson, C, Nävert, U, Pitkäranta, J: Finite element methods for linear hyperbolic problems. Comput. Methods Appl. Mech. Eng. 45, 285–312 (1984)
Karamanos, G. -S., Karniadakis, GE: A spectral vanishing viscosity method for large-eddy simulations. J. Comput. Phys. 163, 22–50 (2000)
Maday, Y, Tadmor, E: Analysis of the spectral vanishing viscosity method for periodic conservation laws. SIAM J. Numer. Anal. 26, 854–870 (1989)
Moura, RC, Aman, M, Peiró, J, Sherwin, SJ: Spatial eigenanalysis of spectral/hp continuous Galerkin schemes and their stabilisation via DG-mimicking spectral vanishing viscosity for high Reynolds number flows. J. Comput. Phys. 406, 109112 (2020)
Moura, RC, Cassinelli, A, da Silva, A.F.C., Burman, E, Sherwin, SJ: Gradient jump penalty stabilisation of spectral/hp element discretisation for under-resolved turbulence simulations. Comput. Methods Appl. Mech. Eng. 388, 114200 (2022)
Peterson, TE, Shuster, DB: Non-optimal behaviour of finite element methods for first order hyperbolic problems. Appl. Math. Comput. Sci. 5, 579–596 (1995)
Wang, H, Liu, Y, Zhang, Q, Shu, C-W: Local discontinuous Galerkin methods with implicit-explicit time-marching for time-dependent incompressible fluid flow. Math. Comput. 88, 91–121 (2019)
Xu, Y, Shu, C-W, Zhang, Q: Error estimate of the fourth-order Runge–Kutta discontinuous Galerkin methods for linear hyperbolic equations. SIAM J. Numer. Anal. 58, 2885–2914 (2020)
Xu, Y, Zhang, Q, Shu, C-W, Wang, H: The l2-norm stability analysis of Runge–Kutta discontinuous Galerkin methods for linear hyperbolic equations. SIAM J. Numer. Anal. 57, 1574–1601 (2019)
Zhang, Q, Shu, C-W: Error estimates to smooth solutions of Runge–Kutta discontinuous Galerkin methods for scalar conservation laws. SIAM J. Numer. Anal. 42, 641–666 (2004)
Zhang, Q, Shu, C-W: Stability analysis and a priori error estimates of the third order explicit Runge–Kutta discontinuous Galerkin method for scalar conservation laws. SIAM J. Numer. Anal. 48, 1038–1063 (2010)
Zhou, GH: A local l2-error analysis of the streamline diffusion method for nonstationary convection-diffusion systems. RAIRO Model. Math. Anal. Numér. 29, 577–603 (1995)
Funding
The author acknowledges funding from EPSRC grants EP/P01576X/1 and EP/T033126/1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Availability of data and material
The data used to produce figures can be made available upon reasonable request.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Dedicated to Professor Alfio Quarteroni on his 70th birthday.
Appendix
Appendix
Here we give the proofs of the approximation results for the L2-projection, Lemmas 2 and 3 and finally the weighted discrete interpolation result (5.4).
First we give a simple super approximation result for the Lagrange interpolant ih that will be useful for the proofs of inequalities (5.11) and (5.12). For a general discussion of discrete commutator properties we refer to [1].
Lemma 5
Let \(\phi \in W^{k+1,\infty }({\varOmega })\) satisfying (5.1) with K > 1 and h < 1. Then for \(h^{\frac 12}/K\) sufficiently small, there holds for all vh ∈ Vh, \(S \in \mathcal {T}\),
Proof
By the approximation properties of ih there holds
Using the product rule and the fact that Dk+ 1vh = 0 since \(v_{h} \vert _{S} \in \mathbb {P}_{k}(S)\), we see that
By applying the inverse inequality (2.6) repeatedly the derivatives on vh can be eliminated at the price of factors of the inverse of h,
Using the bound (5.1) it then follows that
Where we used the assumption that h < 1 and K > 1 in the last inequality. Combining the bounds (6.2), (6.3) and (6.4) it follows that
The claim now follows by applying (5.8). □
Proof
(Lemma 2) First note that by the construction of ϖ there holds
and we see that we may apply (5.5)–(5.7) with ϕ = ϖ for \( (C \sqrt {h}/K)\) small enough. □
Proof of (5.8).
To prove (5.8), consider a triangle S, assume that the max value in \(\max \limits _{(x,t) \in S\times I_{\delta }} \varpi (x,t)\) is taken at (x∗,t∗) ∈ S × Iδ. Then
for any \(\tilde t \in I_{\delta }\). Assuming that \(C h^{\frac 12} K^{-1} \leq \frac 12\) we see that
Proof of (5.9).
For the proof of (5.9) first apply the stabilities (5.5)–(5.6). For the L2-norm this yields
Then apply interpolation locally and (5.8).
The claim follows by summing over \(S \in \mathcal {T}\). The bound on the H1-norm is identical.
Proof of (5.10).
The stabilization operator is defined by the sum of the jumps of the gradient over the faces of the element. The first step is to split that jump using the triangle inequality over each face. Given a face F = ∂S1 ∩ ∂S2 for elements S1 and S2 this takes the form.
By breaking up the jumps on the contributions from respective element faces in this was we have
Now apply the trace inequality (2.10) on each element to see that
For the first term in the right hand side add and subtract ihu, split it using a triangle inequality and use an inverse inequality in one of the terms and interpolation in the other to see that
It follows using (5.8) that
The claim now follows by applying (5.9) to the second term of the right hand side.
Proof
(Lemma 3) □
Proof of (5.11).
To prove (5.11) recall that
and we may apply (5.5) with ϕ = ϖ− 1 to get
Consider one simplex S, take out the weight and then apply Lemma 5 followed by (5.8)
Finally take the square of both sides and sum over the simplices. The H1-norm estimate follows using similar arguments.
Proof of (5.12).
For the inequality (5.12) we consider one element of the sum and apply the trace inequality (2.10),
In the first term, add and subtract ∇ih(ϖ2vh) and use the triangle inequality followed by an inverse inequality to obtain
For the first term in the right hand side we use Lemma 5, with s = 2,
To bound the second term we use (5.8), sum over \(S \in \mathcal {T}\) and use the stability of the L2-projection (5.6) to get
We see that after summation over S the second term in the right hand side of (6.5) also is on this form.
On every S take out the factor \(\max \limits _{x \in S} \varpi ^{-1}\) and apply Lemma 5 followed by (5.8) to arrive at
which together with (6.6), summed over S, concludes the proof of (5.12).
Proof
(Inequality (5.4)). For simplicity consider the form β ⋅∇uh = ∂xuh. Using the product rule ∂x(ϖ2vh) = (∂xϖ2)vh + ϖ2∂xvh and the triangle inequality it follows that
Noting that by the L2-stability of πh, the bound of ϖ, Lemma 5, (5.1) and (5.8)
It only remains to bound the second term of (6.7). We add and subtract π0ϖ2 defined by
and use the triangle inequality to obtain
First, for T3, observe that by the stability of the L2-projection (5.5) we have
so only T1 and T2 need to be bounded. For T1, by the approximation \(\|\varpi ^{2} - \pi _{0} \varpi ^{2}\|_{L^{\infty }(S)} \leq C h^{\frac 12}/K \|\varpi \|_{L^{\infty }(S)}^{2}\) and applying (5.8) repeatedly, we have for one simplex S,
Taking the square of both sides and summing over all simplices yields the bound for T1,
Finally for the term T2 we use (5.3) with β0 = (π0ϖ2)ex. This leads to
Adding and subtracting ϖ2 and using the triangle inequality and the fact that ϖ2 is smooth leads to
For the second term of the right hand side consider the boundary of one triangle and apply the trace inequality (2.10), followed by the approximation of π0 to get
The last step followed using the inverse inequality (2.6) and (5.8). Proceeding by applying the previous bound to all triangle faces, it follows that
where the last step follows using (5.8). The proof is now finished by collecting the bounds (6.8)–(6.9). □
Proof
(Lemma 4). Using δt ≤ Ch and (5.1) there holds
For the second inequality we applied (5.8) elementwise and then upper bounded \(\min \limits _{t \in [t_{n-1},t_{n}]} \|v_{h} \varpi (\cdot ,t)\|_{S}\) by \(\|v_{h}\|_{\varpi _{n}}\). For the bound of the second term observe that, estimating
and then applying (5.1) repeatedly with l = 1 and 2, to show
It follows that for all \(S \in \mathcal {T}\),
Applying (5.8) we conclude that
□
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burman, E. Weighted Error Estimates for Transient Transport Problems Discretized Using Continuous Finite Elements with Interior Penalty Stabilization on the Gradient Jumps. Vietnam J. Math. 50, 833–866 (2022). https://doi.org/10.1007/s10013-022-00550-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-022-00550-x
Keywords
- Continuous Galerkin
- Stability
- Scalar hyperbolic transport equations
- Initial-boundary value problem
- Stabilized methods