Pointwise a posteriori error estimates for monotone semi-linear equations

We derive upper and lower a posteriori estimates for the maximum norm error in finite element solutions of monotone semi-linear equations. The estimates hold for Lagrange elements of any fixed order, non-smooth nonlinearities, and take numerical integration into account. The proof hinges on constructing continuous barrier functions by correcting the discrete solution appropriately, and then applying the continuous maximum principle; no geometric mesh constraints are thus required. Numerical experiments illustrate reliability and efficiency properties of the corresponding estimators and investigate the performance of the resulting adaptive algorithms in terms of the polynomial order and quadrature.     

The discrete maximum principle for Galerkin solutions of elliptic problems

This paper provides an equivalent characterization of the discrete maximum principle for Galerkin solutions of general linear elliptic problems. The characterization is formulated in terms of the discrete Green’s function and the elliptic projection of the boundary data. This general concept is applied to the analysis of the discrete maximum principle for the higher-order finite elements in one-dimension and to the lowest-order finite elements on simplices of arbitrary dimension. The paper surveys the state of the art in the field of the discrete maximum principle and provides new generalizations of several results.     

An interpolation matched interface and boundary method for elliptic interface problems

An interpolation matched interface and boundary (IMIB) method with second-order accuracy is developed for elliptic interface problems on Cartesian grids, based on original MIB method proposed by Zhou et al. [Y. Zhou, G. Wei, On the fictious-domain and interpolation formulations of the matched interface and boundary method, J. Comput. Phys. 219 (2006) 228-246]. Explicit and symmetric finite difference formulas at irregular grid points are derived by virtue of the level set function. The difference scheme using IMIB method is shown to satisfy the discrete maximum principle for a certain class of problems. Rigorous error analyses are given for the IMIB method applied to one-dimensional (1D) problems with piecewise constant coefficients and two-dimensional (2D) problems with singular sources. Comparison functions are constructed to obtain a sharp error bound for 1D approximate solutions. Furthermore, we compare the ghost fluid method (GFM), immersed interface method (IIM), MIB and IMIB methods for 1D problems. Finally, numerical examples are provided to show the efficiency and robustness of the proposed method.     

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.     

Convergent discretizations for the Nernst–Planck–Poisson system

We propose and compare two classes of convergent finite element based approximations of the nonstationary Nernst–Planck–Poisson equations, whose constructions are motivated from energy versus entropy decay properties for the limiting system. Solutions of both schemes converge to weak solutions of the limiting problem for discretization parameters tending to zero. Our main focus is to study qualitative properties for the different approaches at finite discretization scales, like conservation of mass, non-negativity, discrete maximum principle, decay of discrete energies, and entropies to study long-time asymptotics.     

Discrete maximum principle for FE solutions of the diffusion-reaction problem on prismatic meshes

In this paper we analyse the discrete maximum principle (DMP) for a stationary diffusion-reaction problem solved by means of prismatic finite elements. We derive geometric conditions on the shape parameters of the prismatic partitions which guarantee validity of the DMP. The presented numerical tests show the sharpness of the obtained conditions.     

Error analysis of upwind‐discretizations for the steady‐state incompressible Navier–Stokes equations

Within the framework of finite element methods, the paper investigates a general approximation technique for the nonlinear convective term of the Navier–Stokes equations. The approach is based on an upwind method of finite volume type. It is proved that the discrete convective term satisfies a well‐known collection of sufficient conditions for convergence of the finite element solution. This revised version was published online in June 2006 with corrections to the Cover Date.     

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.     

A locking-free nonconforming triangular element for planar elasticity with pure traction boundary condition

A new nonconforming triangular element for the equations of planar linear elasticity with pure traction boundary conditions is considered. By virtue of construction of the element, the discrete version of Korn’s second inequality is directly proved to be valid. Convergence rate of the finite element methods is uniformly optimal with respect to λ. Error estimates in the energy norm and L²-norm are O(h²) and O(h³), respectively.     

An algorithm using the finite volume element method and its splitting extrapolation

This paper is to present a new efficient algorithm by using the finite volume element method and its splitting extrapolation. This method combines the local conservation property of the finite volume element method and the advantages of splitting extrapolation, such as a high order of accuracy, a high degree of parallelism, less computational complexity and more flexibility than a Richardson extrapolation. Because the splitting extrapolation formulas only require us to solve a set of smaller discrete subproblems on different coarser grids in parallel instead of on the globally fine grid, a large scale multidimensional problem is turned into a set of smaller discrete subproblems. Additionally, this method is efficient for solving interface problems if we regard the interfaces of the problems as the interfaces of the initial domain decomposition.     

A weak discrete maximum principle for hp-FEM

In this paper, we prove a new discrete maximum principle (DMP) for the one-dimensional Poisson equation discretized by the hp-FEM. While the DMP for piecewise-linear elements is a classical result from the 1970s, no extensions to hp-FEM are available to the present day. Due to a negative result by Höhn and Mittelmann from 1981, related to quadratic Lagrange elements, it was long assumed that higher-order finite elements do not satisfy discrete maximum principles. In this paper we explain why it is not possible to make a straightforward extension of the classical DMP to the higher-order case, and we propose stronger assumptions on the right-hand side under which an extension is possible.     

Finite element approximation of a problem with a nonlinear Newton boundary condition

The paper is concerned with the study of an elliptic boundary value problem with a nonlinear Newton boundary condition. The existence and uniqueness of the solution of the continuous problem is established with the aid of the monotone operator theory. The main attention is paid to the investigation of the finite element approximation using numerical integration for the computation of nonlinear boundary integrals. The solvability of the discrete finite element problem is proved and the convergence of the approximate solutions to the exact one is analysed. Received April 15, 1996 / Revised version received November 22, 1996     

Finite element simulations of window Josephson junctions

This paper deals with the numerical simulation of the steady state two dimensional window Josephson junctions by finite element method. The model is represented by a sine-Gordon type composite PDE problem. Convergence and error analysis of the finite element approximation for this semilinear problem are presented. An efficient and reliable Newton-preconditioned conjugate gradient algorithm is proposed to solve the resulting nonlinear discrete system. Regular solution branches are computed using a simple continuation scheme. Numerical results associated with interesting physical phenomena are reported. Interface relaxation methods, which by taking advantage of special properties of the composite PDE, can further reduce the overall computational cost are proposed. The implementation and the associated numerical experiments of a particular interface relaxation scheme are also presented and discussed.     

On the existence of maximum principles in parabolic finite element equations

In 1973, H. Fujii investigated discrete versions of the maximum principle for the model heat equation using piecewise linear finite elements in space. In particular, he showed that the lumped mass method allows a maximum principle when the simplices of the triangulation are acute, and this is known to generalize in two space dimensions to triangulations of Delauney type. In this note we consider more general parabolic equations and first show that a maximum principle cannot hold for the standard spatially semidiscrete problem. We then show that for the lumped mass method the above conditions on the triangulation are essentially sharp. This is in contrast to the elliptic case in which the requirements are weaker. We also study conditions for the solution operator acting on the discrete initial data, with homogeneous lateral boundary conditions, to be a contraction or a positive operator.

     

A defect-correction method for unsteady conduction-convection problems II: Time discretization

In this paper, a fully discrete defect-correction mixed finite element method (MFEM) for solving the non-stationary conduction-convection problems in two dimension, which is leaded by combining the Back Euler time discretization with the two-step defect correction in space, is presented. In this method, we solve the nonlinear equations with an added artificial viscosity term on a finite element grid and correct these solutions on the same grid using a linearized defect-correction technique. The stability and the error analysis are derived. The theory analysis shows that our method is stable and has a good convergence property. Some numerical results are also given, which show that this method is highly efficient for the unsteady conduction-convection problems.     

Discrete Hodge operators

Summary. Many linear boundary value problems arising in computational physics can be formulated in the calculus of differential forms. Discrete differential forms provide a natural and canonical approach to their discretization. However, much freedom remains concerning the choice of discrete Hodge operators, that is, discrete analogues of constitutive laws. A generic discrete Hodge operator is introduced and it turns out that most finite element and finite volume schemes emerge as its specializations. We reap the possibility of a unified convergence analysis in the framework of discrete exterior calculus. Received November 26, 1999 / Revised version received November 2, 2000 / Published online May 30, 2001     

Effect of numerical integration for elliptic obstacle problems

Summary. An elliptic obstacle problem is approximated by piecewise linear finite elements with numerical integration on the penalty and forcing terms. This leads to diagonal nonlinearities and thereby to a practical scheme. Optimal error estimates in the maximum norm are derived. The proof is based on constructing suitable super and subsolutions that exploit the special structure of the penalization, and using quite precise pointwise error estimates for an associated linear elliptic problem with quadrature via the discrete maximum principle. Received March 19, 1993     

Additive Schwarz methods for thep-version finite element method

Summary In this paper, we study some additive Schwarz methods (ASM) for thep-version finite element method. We consider linear, scalar, self adjoint, second order elliptic problems and quadrilateral elements in the finite element discretization. We prove a constant bound independent of the degreep and the number of subdomainsN, for the condition number of the ASM iteration operator. This optimal result is obtained first in dimension two. It is then generalized to dimensionn and to a variant of the method on the interface. Numerical experiments confirming these results are reported. As is the case for other additive Schwarz methods, our algorithms are highly parallel and scalable.This work was supported in part by the Applied Math. Sci. Program of the U.S. Department of Energy under contract DE-FG02-88ER25053 and, in part, by the National Science Foundation under Grant NSF-CCR-9204255     

Biquadratic finite volume element methods based on optimal stress points for parabolic problems

In this paper, the semi-discrete and full discrete biquadratic finite volume element schemes based on optimal stress points for a class of parabolic problems are presented. Optimal order error estimates in H¹ and L² norms are derived. In addition, the superconvergences of numerical gradients at optimal stress points are also discussed. A numerical experiment confirms some results of theoretical analysis.