In this paper a new mathematical and computational framework for boundary value problems described by self-adjoint differential operators is presented. In this framework, numerically computed solutions, when converged, possess the same degree of global smoothness in terms of differentiability up to any desired order as the theoretical solutions. This is accomplished using spaces Ĥk,p that contain basis functions of degree p and order k - 1 (or the order of the space k). It is shown that the order of space k is an intrinsically important independent parameter in all finite element computational processes in addition to the discretization characteristic length h and the degree of basis functions p when the theoretical solutions are analytic. Thus, in all finite element computations, all quantities of interest (e.g., quadratic functional, error or residual functional, norms and seminorms, error norms, etc.) are dependent on h, p as well as k. Therefore, for fixed h and p, convergence of the finite element process can also be investigated by changing k, hence k-convergence and thus the k-version of finite element method. With h, p, and k as three independent parameters influencing all finite element processes, we now have k, hk, pk, and hpk versions of finite element methods. The issue of minimally conforming finite element spaces is reexamined and it is demonstrated that the definition of currently believed minimally conforming space which permit weak convergence of the highest-order derivatives of the dependent variables appearing in the bilinear form is not justifiable mathematically or from physics view point. A new criterion is proposed for establishing the minimally conforming spaces which is more in agreement with the physics and mathematics of the BVP. Significant features and merits of the proposed mathematical and computational framework are presented, discussed, illustrated, and substantiated mathematically as well as numerically with the Galerkin and least-squares finite element formulations for self-adjoint boundary-value problems.
Read full abstract