Zur numerischen Lösung des ersten biharmonischen Randwertproblems

Summary The system of equations resulting from a mixed finite element approximation of the first biharmonic boundary value problem is solved by various preconditioned Uzawa-type iterative methods. The preconditioning matrices are based on simple finite element approximations of the Laplace operator and some factorizations of the corresponding matrices. The most efficient variants of these iterative methods require asymptoticallyO(h ^–0,5In ^–1) iterations andO(h ^–p–0,5In ^–1) arithmetic operations only, where denotes the relative accuracy andh is a mesh-size parameter such that the number of unknowns grows asO(h ^–p ),h0.

     

B-spline collocation for solution of two-point boundary value problems

A numerical method based on B-spline is developed to solve the general nonlinear two-point boundary value problems up to order 6. The standard formulation of sextic spline for the solution of boundary value problems leads to non-optimal approximations. In order to derive higher orders of accuracy, high order perturbations of the problem are generated and applied to construct the numerical algorithm. The error analysis and convergence properties of the method are studied via Green’s function approach. O(h⁶) global error estimates are obtained for numerical solution of these classes of problems. Numerical results are given to illustrate the efficiency of the proposed method. Results of numerical experiments verify the theoretical behavior of the orders of convergence.     

Fast Fourier Transform Solvers and Preconditioners for Quadratic Spline Collocation

Quadratic Spline Collocation (QSC) methods of optimal order of convergence have been recently developed for the solution of elliptic Partial Differential Equations (PDEs). In this paper, linear solvers based on Fast Fourier Transforms (FFT)are developed for the solution of the QSC equations. The complexity of the FFT solvers is O(N ² log N), where N is the gridsize in one dimension. These direct solvers can handle PDEs with coefficients in one variable or constant, and Dirichlet, Neumann, alternating Dirichlet-Neumann or periodic boundary conditions, along at least one direction of a rectangular domain. General variable coefficient PDEs are handled by preconditioned iterative solvers. The preconditioner is the QSC matrix arising from a constant coefficient PDE. The convergence analysis of the preconditioner is presented. It is shown that, under certain conditions, the convergence rate is independent of the gridsize. The preconditioner is solved by FFT techniques, and integrated with one-step or acceleration methods, giving rise to asymptotically almost optimal linear solvers, with complexity O(N ² log N). Numerical experiments verify the effectiveness of the solvers and preconditioners, even on problems more general than the analysis assumes. The development and analysis of FFT solvers and preconditioners is extended to QSC equations corresponding to systems of elliptic PDEs.     

A Priori Error Estimates for Finite Element Methods for H (2,1)-Elliptic Equations

The convergence of finite element methods for linear elliptic boundary value problems of second and forth order is well understood. In this article, we introduce finite element approximations of some linear semi-elliptic boundary value problem of mixed order on a two-dimensional rectangular domain Q. The equation is of second order in one direction and forth order in the other and appears in the optimal control of parabolic partial differential equations if one eliminates the control and the state (or the adjoint state) in the first order optimality conditions. We establish a regularity result and estimate for the finite element error of conforming approximations of this equation. The finite elements in use have a tensor product structure, in one dimension we use linear, quadratic or cubic Lagrange elements in the other dimension cubic Hermite elements. For these elements, we prove the error bound O(h ² + τ ^k ) in the energy norm and O((h ² + τ ^k )(h ² + τ)) in the L ²(Q)-norm.     

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.     

Asymptotic expansions andL ∞-error estimates for mixed finite element methods for second order elliptic problems

Summary Asymptotic expansions for mixed finite element approximations of the second order elliptic problem are derived and Richardson extrapolation can be applied to increase the accuracy of the approximations. A new procedure, which is called the error corrected method, is presented as a further application of the asymptotic error expansion for the first order BDM approximation of the scalar field. The key point in deriving the asymptotic expansions for the error is an establishment ofL ¹-error estimates for mixed finite element approximations for the regularized Green's functions. As another application of theL ¹-error estimates for the regularized Green's functions, we shall present maximum norm error estimates for mixed finite element methods for second order elliptic problems.     

Superconvergence analysis of approximate boundary-flux calculations

Summary Certain projection post-processing techniques have been proposed for computing the boundary flux for two-dimensional problems (e.g., see Carey, et al. [5]). In a series of numerical experiments on elliptic problems they observed that these post-processing formulas for approximate fluxes were almost (O(h ²)-accurate for linear triangular elements. In this paper we prove that the computed boundary flux isO(h ² ln 1/h)-accurate in the maximum norm for the partial method of [5]. If the solutionuH ³() then the boundary flux error isO(h ^3/2) in theL ²-norm.     

Correction of finite element estimates for Sturm-Liouville eigenvalues

Summary It is shown that a simple asymptotic correction technique of Paine, de Hoog and Anderssen reduces the error in the estimate of thekth eigenvalue of a regular Sturm-Liouville problem obtained by the finite element method, with linear hat functions and mesh lengthh, fromO(k ⁴ h ²) toO(k h ²). The result still holds when the matrix elements are evaluated by Simpson's rule, but if the trapezoidal rule is used the error isO(k ² h ²). Numerical results demonstrate the usefulness of the correction even for low values ofk.     

Correction of finite element eigenvalues for problems with natural or periodic boundary conditions

Recent results of Andrew and Paine for a regular Sturm-Liouville problem with essential boundary conditions are extended to problems with natural or periodic boundary conditions. These results show that a simple asymptotic correction technique of Paine, de Hoog and Anderssen reduces the error in the estimate of thekth eigenvalue obtained by the finite element method, with linear hat functions and mesh lengthh, fromO(k ⁴ h ²) toO(kh ²). Numerical results show the correction to be useful even for low values ofk.     

Optimal error estimate and superconvergence of the DG method for first-order hyperbolic problems

We consider the original discontinuous Galerkin method for the first-order hyperbolic problems in d-dimensional space. We show that, when the method uses polynomials of degree k, the L₂-error estimate is of order k+1 provided the triangulation is made of rectangular elements satisfying certain conditions. Further, we show the O(h^2k+1)-order superconvergence for the error on average on some suitably chosen subdomains (including the whole domain) and their outflow faces. Moreover, we also establish a derivative recovery formula for the approximation of the convection directional derivative which is superconvergent with order k+1.     

A P0–P0 weak Galerkin finite element method for solving singularly perturbed reaction–diffusion problems

This paper investigates the lowest-order weak Galerkin finite element (WGFE) method for solving reaction–diffusion equations with singular perturbations in two and three space dimensions. The system of linear equations for the new scheme is positive definite, and one might readily get the well-posedness of the system. Our numerical experiments confirmed our error analysis that our WGFE method of the lowest order could deliver numerical approximations of the order O(h^1/2) and O(h) in H¹ and L² norms, respectively.     

An <Emphasis Type="BoldItalic">O</Emphasis>(<Emphasis Type="BoldItalic">h</Emphasis><Superscript><Emphasis Type="Bold">6</Emphasis></Superscript>) numerical solution of general nonlinear fifth-order two point boundary value problems

A sixth-order numerical scheme is developed for general nonlinear fifth-order two point boundary-value problems. The standard sextic spline for the solution of fifth order two point boundary-value problems gives only O(h ²) accuracy and leads to non-optimal approximations. In order to derive higher orders of accuracy, high order perturbations of the problem are generated and applied to construct the numerical algorithm. O(h ⁶) global error estimates obtained for these problems. The convergence properties of the method is studied. This scheme has been applied to the system of nonlinear fifth order two-point boundary value problem too. Numerical results are given to illustrate the efficiency of the proposed method computationally. Results from the numerical experiments, verify the theoretical behavior of the orders of convergence.     

Solving Fredholm integral equations by approximating kernels by spline quasi-interpolants

We study two methods for solving a univariate Fredholm integral equation of the second kind, based on (left and right) partial approximations of the kernel K by a discrete quartic spline quasi-interpolant. The principle of each method is to approximate the kernel with respect to one variable, the other remaining free. This leads to an approximation of K by a degenerate kernel. We give error estimates for smooth functions, and we show that the method based on the left (resp. right) approximation of the kernel has an approximation order O(h ⁵) (resp. O(h ⁶)). We also compare the obtained formulae with projection methods.     

A NONCONFORMING QUADRILATERAL FINITE ELEMENT APPROXIMATION TO NONLINEAR SCHRDINGER EQUATION

In this article, a nonconforming quadrilateral element(named modified quasiWilson element) is applied to solve the nonlinear schr¨odinger equation(NLSE). On the basis of a special character of this element, that is, its consistency error is of order O(h~3) for broken H1-norm on arbitrary quadrilateral meshes, which is two order higher than its interpolation error, the optimal order error estimate and superclose property are obtained. Moreover,the global superconvergence result is deduced with the help of interpolation postprocessing technique. Finally, some numerical results are provided to verify the theoretical analysis.     

Convergence estimates for an higher order optimized Schwarz method for domains with an arbitrary interface

Optimized Schwarz methods form a class of domain decomposition methods for the solution of elliptic partial differential equations. Optimized Schwarz methods employ a first or higher order boundary condition along the artificial interface to accelerate convergence. In the literature, the analysis of optimized Schwarz methods relies on Fourier analysis and so the domains are restricted to be regular (rectangular). In this paper, we express the interface operator of an optimized Schwarz method in terms of Poincare-Steklov operators. This enables us to derive an upper bound of the spectral radius of the operator arising in this method of 1−O(h^1/4) on a class of general domains, where h is the discretization parameter. This is the predicted rate for a second order optimized Schwarz method in the literature on rectangular subdomains and is also the observed rate in numerical simulations.     

Interior penalty method for the indefinite time-harmonic Maxwell equations

Summary In this paper, we introduce and analyze the interior penalty discontinuous Galerkin method for the numerical discretization of the indefinite time-harmonic Maxwell equations in the high-frequency regime. Based on suitable duality arguments, we derive a-priori error bounds in the energy norm and the L²-norm. In particular, the error in the energy norm is shown to converge with the optimal order (h^min{s,}) with respect to the mesh size h, the polynomial degree , and the regularity exponent s of the analytical solution. Under additional regularity assumptions, the L²-error is shown to converge with the optimal order (h⁺¹). The theoretical results are confirmed in a series of numerical experiments.Supported by the EPSRC (Grant GR/R76615).Supported by the Swiss National Science Foundation under project 21-068126.02.Supported in part by the Natural Sciences and Engineering Council of Canada.     

Preconditioning nonconforming finite element methods for treating Dirichlet boundary conditions. II

Summary This work deals with theH ¹ condition numbers and the distribution of theB _h singular values of the preconditioned operators {B _h ^–1 A _h }_{0, whereA h andB h are finite element discretizations of second order elliptic operators,A andB respectively.B is also assumed to be self-adjoint and positive definite. For conforming finite elements, Parter and Wong have shown that the singular values cluster in a positive finite interval. Goldstein also has derived results on the spectral distribution ofB h ^–1 A h using a different approach. As a generalization of the results of Parter and Wong, the current work includes nonconforming finite element methods which deal with Dirichlet boundary conditions. It will be shown that, in this more general setting, the singular values also cluster in a positive finite interval. In particular, if the leading part ofB is the same as the leading part ofA, then the singular values cluster about the point {1}. Two specific methods are given as applications of this theory. They are the penalty method of Babuka and the method of nearly zero boundary conditions of Nitsche. Finally, it will be shown that the same results can be proven by an approach generalized from the work of Goldstein.This research was supported by the National Science Foundation under grant number DMS-8913091.}     

PreconditioningP 1 nonconforming finite elements: Condition numbers and singular value distributions

Summary This work deals with the condition numbers and the distribution of theB _h singular values of the preconditioned operators {B _h ^–1 A _h }_{0, whereA h andB h are discretizations of second order elliptic operatorsA andB usingP 1 nonconforming finite elements of Crouzeix and Raviart.B is also assumed to be self-adjoint and positive definite. For conforming finite elements, Parter and Wong have shown that the singular values cluster in a positive finite interval. These reults are being extended to the aforementioned nonconforming finite elements. It will be shown that, for quasiuniform grids, theB h singular values are bounded above and below by positive constants which are independent of the grid sizeh. Moreover, they also cluster in a smaller but usually estimable interval. Issues of implementation are also discussed.This research was supported by the National Science Foundation under grant number DMS-8913091}     

Characteristics difference method for incompressible miscible flow in porous media

Two-phase ,incompressible miscible flow in porous media is governed by a system ofnonlinear partial differential equations. The pressure equation ,which is e11iptic in appearance ,isdiseretizod by a standard five-points difference method, The concentration equation is treated byan impliclt finite difference method that appbes a form of the method of characterlstics to thetransport terms. A class of biquadlatle interpolation is introduced for the method of chracteristics.Convergence rate is proved to be O(△t h^2)。     

<Emphasis Type="Italic">hp</Emphasis>-Discontinuous Galerkin methods for strongly nonlinear elliptic boundary value problems

In this paper, we have analyzed a one parameter family of hp-discontinuous Galerkin methods for strongly nonlinear elliptic boundary value problems with Dirichlet boundary conditions. These methods depend on the values of the parameter , where θ = + 1 corresponds to the nonsymmetric and θ = −1 corresponds to the symmetric interior penalty methods when and f(u,∇u) = −f, that is, for the Poisson problem. The error estimate in the broken H ¹ norm, which is optimal in h (mesh size) and suboptimal in p (degree of approximation) is derived using piecewise polynomials of degree p ≥ 2, when the solution . In the case of linear elliptic problems also, this estimate is optimal in h and suboptimal in p. Further, optimal error estimate in the L ² norm when θ = −1 is derived. Numerical experiments are presented to illustrate the theoretical results. Supported by DST-DAAD (PPP-05) project.