Rate of convergence of regularization procedures and finite element approximations for the total variation flow

Summary We derive rates of convergence for regularization procedures (characterized by a parameter ) and finite element approximations of the total variation flow, which arises from image processing, geometric analysis and materials sciences. Practically useful error estimates, which depend on only in low polynomial orders, are established for the proposed fully discrete finite element approximations. As a result, scaling laws which relate mesh parameters to the regularization parameter are also obtained. Numerical experiments are provided to validate the theoretical results and show efficiency of the proposed numerical methods.     

Stabilized discontinuous finite element approximations for Stokes equations

In this paper, we derive two stabilized discontinuous finite element formulations, symmetric and nonsymmetric, for the Stokes equations and the equations of the linear elasticity for almost incompressible materials. These methods are derived via stabilization of a saddle point system where the continuity of the normal and tangential components of the velocity/displacements are imposed in a weak sense via Lagrange multipliers. For both methods, almost all reasonable pair of discontinuous finite element spaces can be used to approximate the velocity and the pressure. Optimal error estimate for the approximation of both the velocity of the symmetric formulation and pressure in L²$L^2$ norm are obtained, as well as one in a mesh-dependent norm for the velocity in both symmetric and nonsymmetric formulations.     

Convergence of a finite element method for non-parametric mean curvature flow

Summary. Convergence for the spatial discretization by linear finite elements of the non-parametric mean curvature flow is proved under natural regularity assumptions on the continuous solution. Asymptotic convergence is also obtained for the time derivative which is proportional to mean curvature. An existence result for the continuous problem in adequate spaces is included. Received September 30, 1993     

A posteriori error estimates for mixed finite element approximations of elliptic problems

We derive residual based a posteriori error estimates of the flux in L ²-norm for a general class of mixed methods for elliptic problems. The estimate is applicable to standard mixed methods such as the Raviart–Thomas–Nedelec and Brezzi–Douglas–Marini elements, as well as stabilized methods such as the Galerkin-Least squares method. The element residual in the estimate employs an elementwise computable postprocessed approximation of the displacement which gives optimal order.     

Superconvergence of new mixed finite element spaces

In this paper we prove some superconvergence of a new family of mixed finite element spaces of higher order which we introduced in [ETNA, Vol. 37, pp. 189-201, 2010]. Among all the mixed finite element spaces having an optimal order of convergence on quadrilateral grids, this space has the smallest unknowns. However, the scalar variable is only suboptimal in general; thus we have employed a post-processing technique for the scalar variable. As a byproduct, we have obtained a superconvergence on a rectangular grid. The superconvergence of a velocity variable naturally holds and can be shown by a minor modification of existing theory, but that of a scalar variable requires a new technique, especially for k=1. Numerical experiments are provided to support the theory.     

Error estimates of the lumped mass finite element method for semilinear elliptic problems

We are concerned with the semilinear elliptic problems. We first investigate the L²-error estimate for the lumped mass finite element method. We then use the cascadic multigrid method to solve the corresponding discrete problem. On the basis of the finite element error estimates, we prove the optimality of the proposed multigrid method. We also report some numerical results to support the theory.     

Finite element approximations to surfaces of prescribed variable mean curvature

We give an algorithm for finding finite element approximations to surfaces of prescribed variable mean curvature, which span a given boundary curve. We work in the parametric setting and prove optimal estimates in the H¹ norm. The estimates are verified computationally.     

A unifying theory of a posteriori finite element error control

Summary Residual-based a posteriori error estimates are derived within a unified setting for lowest-order conforming, nonconforming, and mixed finite element schemes. The various residuals are identified for all techniques and problems as the operator norm |||| of a linear functional of the formin the variable of a Sobolev space V. The main assumption is that the first-order finite element space is included in the kernel Ker of . As a consequence, any residual estimator that is a computable bound of |||| can be used within the proposed frame without further analysis for nonconforming or mixed FE schemes. Applications are given for the Laplace, Stokes, and Navier-Lamè equations.Supported by the DFG Research Center Matheon Mathematics for key technologies in Berlin.     

Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

In this paper, we discuss with guaranteed a priori and a posteriori error estimates of finite element approximations for not necessarily coercive linear second order Dirichlet problems. Here, ‘guaranteed’ means we can get the error bounds in which all constants included are explicitly given or represented as a numerically computable form. Using the invertibility condition of concerning elliptic operator, guaranteed a priori and a posteriori error estimates are formulated. This kind of estimates plays essential and important roles in the numerical verification of solutions for nonlinear elliptic problems. Several numerical examples that confirm the actual effectiveness of the method are presented.     

Two-scale composite finite element method for Dirichlet problems on complicated domains

In this paper, we define a new class of finite elements for the discretization of problems with Dirichlet boundary conditions. In contrast to standard finite elements, the minimal dimension of the approximation space is independent of the domain geometry and this is especially advantageous for problems on domains with complicated micro-structures. For the proposed finite element method we prove the optimal-order approximation (up to logarithmic terms) and convergence estimates valid also in the cases when the exact solution has a reduced regularity due to re-entering corners of the domain boundary. Numerical experiments confirm the theoretical results and show the potential of our proposed method.     

Iterative schemes for mixed finite element methods with applications to elasticity and compressible flow problems

Summary Iterative schemes for mixed finite element methods are proposed and analyzed in two abstract formulations. The first one has applications to elliptic equations and incompressible fluid flow problems, while the second has applications to linear elasticity and compressible Stokes problems. These schemes are constructed through iteratively penalizing the mixed finite element scheme, of which iterated penalty method and augmented Lagrangian method are special cases. Convergence theorems are demonstrated in abstract formulations in Hilbert spaces, and applications to individual physical problems are considered as examples. Theoretical analysis and computational experiments both show that the proposed schemes have very fast convergence; a few iterations are normally enough to reduce the iterative error to a prescribed precision. Numerical examples with continuous and discontinuous coefficients are presented.     

A trapping principle and convergence result for finite element approximate solutions of steady reaction/diffusion systems

We consider nonlinear elliptic systems, with mixed boundary conditions, on a convex polyhedral domain Ω ⊂ R ^N . These are nonlinear divergence form generalizations of Δu = f(·, u), where f is outward pointing on the trapping region boundary. The motivation is that of applications to steady-state reaction/diffusion systems. Also included are reaction/diffusion/convection systems which satisfy the Einstein relations, for which the Cole-Hopf transformation is possible. For maximum generality, the theory is not tied to any specific application. We are able to demonstrate a trapping principle for the piecewise linear Galerkin approximation, defined via a lumped integration hypothesis on integrals involving f, by use of variational inequalities. Results of this type have previously been obtained for parabolic systems by Estep, Larson, and Williams, and for nonlinear elliptic equations by Karátson and Korotov. Recent minimum and maximum principles have been obtained by Jüngel and Unterreiter for nonlinear elliptic equations. We make use of special properties of the element stiffness matrices, induced by a geometric constraint upon the simplicial decomposition. This constraint is known as the non-obtuseness condition. It states that the inward normals, associated with an arbitrary pair of an element’s faces, determine an angle with nonpositive cosine. Drăgănescu, Dupont, and Scott have constructed an example for which the discrete maximum principle fails if this condition is omitted. We also assume vertex communication in each element in the form of an irreducibility hypothesis on the off-diagonal elements of the stiffness matrix. There is a companion convergence result, which yields an existence theorem for the solution. This entails a consistency hypothesis for interpolation on the boundary, and depends on the Tabata construction of simple function approximation, based on barycentric regions. This work was supported by the National Science Foundation under grant DMS-0311263.     

Adaptive multilevel finite element approximations of semilinear elliptic boundary value problems

Summary. In this paper we consider two aspects of the problem of designing efficient numerical methods for the approximation of semilinear boundary value problems. First we consider the use of two and multilevel algorithms for approximating the discrete solution. Secondly we consider adaptive mesh refinement based on feedback information from coarse level approximations. The algorithms are based on an a posteriori error estimate, where the error is estimated in terms of computable quantities only. The a posteriori error estimate is used for choosing appropriate spaces in the multilevel algorithms, mesh refinements, as a stopping criterion and finally it gives an estimate of the total error. Received April 8, 1997 / Revised version received July 27, 1998 / Published online September 24, 1999     

Nonconforming inf-sup conditions for finite element approximations

Nonconforming approximations are considered. Abstract error estimates for nonconforming finite element methods are derived using generalized stability results. Several applications are discussed with the emphasis on the various versions of the finite element method.     

A fully discrete numerical scheme for weighted mean curvature flow

Summary. We analyze a fully discrete numerical scheme approximating the evolution of n–dimensional graphs under anisotropic mean curvature. The highly nonlinear problem is discretized by piecewise linear finite elements in space and semi–implicitly in time. The scheme is unconditionally stable und we obtain optimal error estimates in natural norms. We also present numerical examples which confirm our theoretical results. Received October 2, 2000 / Published online July 25, 2001     

An approximation of incompressible miscible displacement in porous media by mixed finite element method and characteristics-mixed finite element method

An approximation scheme is defined for incompressible miscible displacement in porous media. This scheme is constructed by using two methods. Standard mixed finite element is used for the Darcy velocity equation. A characteristics-mixed finite element method is presented for the concentration equation. Characteristic approximation is applied to handle the convection part of the concentration equation, and a lowest-order mixed finite element spatial approximation is adopted to deal with the diffusion part. Thus, the scalar unknown concentration and the diffusive flux can be approximated simultaneously. In order to derive the optimal L²$L^2$-norm error estimates, a post-processing step is included in the approximation to the scalar unknown concentration. This scheme conserves mass globally; in fact, on the discrete level, fluid is transported along the approximate characteristics. Numerical experiments are presented finally to validate the theoretical analysis.     

Boundary Lagrange multipliers in finite element methods: Error analysis in natural norms

Summary A finite element procedure for circumventing the Babuka-Brezzi condition in mixed formulations with Lagrange multipliers defined on the boundary is presented. Residual terms constructed from the Euler-Lagrange equations are added to the classical Galerkin formulation in order to attain coercivity in a mesh-dependent norm. Convergence is proven for the primal variable and the multiplier in the natural mesh-independent norm of the problem, generalizing results of a previous paper.     

Error analysis of mixed finite element methods for wave propagation in double negative metamaterials

In this paper, we develop both semi-discrete and fully discrete mixed finite element methods for modeling wave propagation in three-dimensional double negative metamaterials. Optimal error estimates are proved for Nédélec spaces under the assumption of smooth solutions. To our best knowledge, this is the first error analysis obtained for Maxwell's equations when metamaterials are involved.     

Bernoulli jets and the zero mean curvature equation

We consider an elliptic PDE problem related with fluid mechanics. We show that level sets of rescaled solutions satisfy the zero mean curvature equation in a suitable weak viscosity sense. In particular, such level sets cannot be touched from below (above) by a convex (concave) paraboloid in a suitably small neighborhood.