Abstract
This paper presents derivation of a priori error estimates and convergence rates of finite element processes for boundary value problems (BVPs) described by self adjoint, non-self adjoint, and nonlinear differential operators. A posteriori error estimates are discussed in context with local approximations in higher order scalar product spaces. A posteriori error computational framework (without the knowledge of theoretical solution) is presented for all BVPs regardless of the method of approximation employed in constructing the integral form. This enables computations of local errors as well as the global errors in the computed finite element solutions. The two most significant and essential aspects of the research presented in this paper that enable all of the features described above are: 1) ensuring variational consistency of the integral form(s) resulting from the methods of approximation for self adjoint, non-self adjoint, and nonlinear differential operators and 2) choosing local approximations for the elements of a discretization in a subspace of a higher order scalar product space that is minimally conforming, hence ensuring desired global differentiability of the approximations over the discretizations. It is shown that when the theoretical solution of a BVP is analytic, the a priori error estimate (in the asymptotic range, discussed in a later section of the paper) is independent of the method of approximation or the nature of the differential operator provided the resulting integral form is variationally consistent. Thus, the finite element processes utilizing integral forms based on different methods of approximation but resulting in VC integral forms result in the same a priori error estimate and convergence rate. It is shown that a variationally consistent (VC) integral form has best approximation property in some norm, conversely an integral form with best approximation property in some norm is variationally consistent. That is best approximation property of the integral form and the VC of the integral form is equivalent, one cannot exist without the other, hence can be used interchangeably. Dimensional model problems consisting of diffusion equation, convection-diffusion equation, and Burgers equation described by self adjoint, non-self adjoint, and nonlinear differential operators are considered to present extensive numerical studies using Galerkin method with weak form (GM/WF) and least squares process (LSP) to determine computed convergence rates of various error norms and present comparisons with the theoretical convergence rates.
Highlights
It is well recognized that in finite element computations there are three independent parameters: characteristic length of the discretization h, degree of approximation p, and the order k of the scalar product space. h and p have been well known for quite some time but introduction of k as an additional independent parameter in finite element computations is rather recent
We present numerical studies related to the computation of a priori error estimates and convergence rates for BVPs described by self adjoint, non-self adjoint, and non-linear differential operators in which Variationally Consistent (VC) integral forms are constructed using Galerkin method (GM)/WF for BVP described by self adjoint differential operators and using least squares method or process (LSP) for BVPs described by all three classes of differential operators
We have considered a priori and a posteriori error estimations, a posteriori error computation, and convergence rates of the finite element computations for BVPs described by self-adjoint, non-self-adjoint, and nonlinear differential operators
Summary
It is well recognized that in finite element computations there are three independent parameters: characteristic length of the discretization h, degree of approximation p, and the order k of the scalar product space. h and p have been well known for quite some time but introduction of k as an additional independent parameter in finite element computations is rather recent. If the differential operator contains highest order derivatives of the dependent variables of orders 2m , the approximation of the solutions of the BVP must at least be of class C2m i.e. of global differentiability of order 2m in order for this approximation to be admissible in the BVP in the pointwise sense. This requires that the order k of the approximation space must at least be 2m + 1 i.e. We have h-, p-, k-versions of the finite element processes and associated convergences and convergence rates
Published Version (Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have