On the coupled BEM and FEM for a nonlinear exterior Dirichlet problem in R2

Summary In this paper we apply the coupling of boundary integral and finite element methods to solve a nonlinear exterior Dirichlet problem in the plane. Specifically, the boundary value problem consists of a nonlinear second order elliptic equation in divergence form in a bounded inner region, and the Laplace equation in the corresponding unbounded exterior region, in addition to appropriate boundary and transmission conditions. The main feature of the coupling method utilized here consists in the reduction of the nonlinear exterior boundary value problem to an equivalent monotone operator equation. We provide sufficient conditions for the coefficients of the nonlinear elliptic equation from which existence, uniqueness and approximation results are established. Then, we consider the case where the corresponding operator is strongly monotone and Lipschitz-continuous, and derive asymptotic error estimates for a boundary-finite element solution. We prove the unique solvability of the discrete operator equations, and based on a Strang type abstract error estimate, we show the strong convergence of the approximated solutions. Moreover, under additional regularity assumptions on the solution of the continous operator equation, the asymptotic rate of convergenceO (h) is obtained.The first author's research was partly supported by the U.S. Army Research Office through the Mathematical Science Institute of Cornell University, by the Universidad de Concepción through the Facultad de Ciencias, Dirección de Investigación and Vicerretoria, and by FONDECYT-Chile through Project 91-386.     

The finite element method with non-uniform mesh sizes applied to the exterior Helmholtz problem

Summary The finite element method with non-uniform mesh sizes is employed to approximately solve Helmholtz type equations in unbounded domains. The given problem on an unbounded domain is replaced by an approximate problem on a bounded domain with the radiation condition replaced by an approximate radiation boundary condition on the artificial boundary. This approximate problem is then solved using the finite element method with the mesh graded systematically in such a way that the element mesh sizes are increased as the distance from the origin increases. This results in a great reduction in the number of equations to be solved. It is proved that optimal error estimates hold inL ²,H ¹ andL , provided that certain relationships hold between the frequency, mesh size and outer radius.     

A MIXED-FEM AND BEM COUPLING FOR A TWO-DIMENSIONAL EDDY CURRENT PROBLEM

We study in this paper the electromagnetic field generated in an infinite cylindrical conductor by an alternating current density. The resulting interface problem (see [1] Bossavit, A. 1993. Électromagnétisme, en vue de la modélisation Paris Berlin Heidelberg: Springer-Verlag.  [Google Scholar]) between the metal and the dielectric medium is treated by a mixed-FEM and BEM coupling method. We prove that our BEM-FEM formulation is well posed and leads to a convergent Galerkin method with optimal error estimates. Furthermore, we introduce a fully discrete version of our Galerkin scheme based on simple quadrature formulas. We show that, if the parameter of discretization is sufficiently small, the fully discrete method is well posed and the error estimates remain unaltered.     

Asymptotic expansions and extrapolations of eigenvalues for the stokes problem by mixed finite element methods

This paper derives a general procedure to produce an asymptotic expansion for eigenvalues of the Stokes problem by mixed finite elements. By means of integral expansion technique, the asymptotic error expansions for the approximations of the Stokes eigenvalue problem by Bernadi–Raugel element and _Q2-_P1$Q_2-P_1$ element are given. Based on such expansions, the extrapolation technique is applied to improve the accuracy of the approximations.     

Solution of exterior problem using ellipsoidal artificial boundary

In this paper, we present a general ellipsoidal artificial boundary method for three-dimensional exterior problem. The exact artificial boundary condition, which is expressed explicitly by the series concerning the ellipsoidal harmonic functions, is derived and then an equivalent problem in a bounded domain is presented. The error estimates show that the convergence rate depends on the mesh parameter, the number of terms used in the exact artificial boundary condition, and the location of the artificial boundary.     

Analysis of one-dimensional Helmholtz equation with PML boundary

In this paper, the linear conforming finite element method for the one-dimensional Bérenger's PML boundary is investigated and well-posedness of the given equation is discussed. Furthermore, optimal error estimates and stability in the L²$L^2$ or H¹$H^1$-norm are derived under the assumption that h$h$, h²ω²$h^2{\omega }^2$ and h²ω³$h^2{\omega }^3$ are sufficiently small, where h$h$ is the mesh size and ω$\omega$ denotes a fixed frequency. Numerical examples are presented to validate the theoretical error bounds.     

Error analysis of an enhanced DtN-FE method for exterior scattering problems

In this work we analyze the convergence of the high-order Enhanced DtN-FEM algorithm, described in our previous work (Nicholls and Nigam, J. Comput. Phys. 194:278–303, 2004), for solving exterior acoustic scattering problems in . This algorithm consists of using an exact Dirichlet-to-Neumann (DtN) map on a hypersurface enclosing the scatterer, where the hypersurface is a perturbation of a circle, and, in practice, the perturbation can be very large. Our theoretical work had shown the DtN map was analytic as a function of this perturbation. In the present work, we carefully analyze the error introduced by virtue of using this algorithm. Specifically, we give a full account of the error introduced by truncating the DtN map at a finite order in the perturbation expansion, and study the well-posedness of the associated formulation. During computation, the Fourier series of the Dirichlet data on the artificial boundary must be truncated. To deal with the ensuing loss of uniqueness of solutions, we propose a modified DtN map, and prove well-posedness of the resulting problem. We quantify the spectral error introduced due to this truncation of the data. The key tools in the analysis include a new theorem on the analyticity of the DtN map in a suitable Sobolev space, and another on the perturbation of non-self-adjoint Fredholm operators.     

The convergence of a direct BEM for the plane mixed boundary value problem of the Laplacian

Summary In this paper the convergence analysis of a direct boundary elecment method for the mixed boundary value problem for Laplace equation in a smooth plane domain is given. The method under consideration is based on the collocation solution by constant elements of the corresponding system of boundary integral equations. We prove the convergence of this method, provide asymptotic error estimates for the BEM-solution and give some numerical examples.     

Wavelet moment method for the Cauchy problem for the Helmholtz equation

The paper is concerned with the problem of reconstruction of acoustic or electromagnetic field from inexact data given on an open part of the boundary of a given domain. A regularization concept is presented for the moment problem that is equivalent to a Cauchy problem for the Helmholtz equation. A method of regularization by projection with application of the Meyer wavelet subspaces is introduced and analyzed. The derived formula, describing the projection level in terms of the error bound of the inexact Cauchy data, allows us to prove the convergence and stability of the method.     

Asymptotic estimation for the condition numbers in BEM

Summary. We apply the boundary element methods (BEM) to the interior Dirichlet problem of the two dimensional Laplace equation, and its discretization is carried out with the collocation method using piecewise linear elements. In this paper, some precise asymptotic estimations for the discretization matrix (where denotes the division number) are investigated. We show that the maximum norm of and the condition number of have the forms: and , respectively, as , where the constants and are explicitly given in the proof. Although these estimates indicate illconditionedness of this numerical computation, the -convergence of this scheme with maximum norm is proved as an application of the main results. Received January 25, 1993 / Revised version received March 13, 1995     

Block iterative solvers for higher order finite volume methods

Recently, new higher order finite volume methods (FVM) were introduced in [Z. Cai, J. Douglas, M. Park, Development and analysis of higher order finite volume methods over rectangles for elliptic equations, Adv. Comput. Math. 19 (2003) 3-33], where the linear system derived by the hybridization with Lagrange multiplier satisfying the flux consistency condition is reduced to a linear system for a pressure variable by an appropriate quadrature rule. We study the convergence of an iterative solver for this linear system. The conjugate gradient (CG) method is a natural choice to solve the system, but it seems slow, possibly due to the non-diagonal dominance of the system. In this paper, we propose block iterative methods with a reordering scheme to solve the linear system derived by the higher order FVM and prove their convergence. With a proper ordering, each block subproblem can be solved by fast methods such as the multigrid (MG) method. The numerical experiments show that these block iterative methods are much faster than CG.     

A fictitious domain approach to the numerical solution of PDEs in stochastic domains

We present an efficient method for the numerical realization of elliptic PDEs in domains depending on random variables. Domains are bounded, and have finite fluctuations. The key feature is the combination of a fictitious domain approach and a polynomial chaos expansion. The PDE is solved in a larger, fixed domain (the fictitious domain), with the original boundary condition enforced via a Lagrange multiplier acting on a random manifold inside the new domain. A (generalized) Wiener expansion is invoked to convert such a stochastic problem into a deterministic one, depending on an extra set of real variables (the stochastic variables). Discretization is accomplished by standard mixed finite elements in the physical variables and a Galerkin projection method with numerical integration (which coincides with a collocation scheme) in the stochastic variables. A stability and convergence analysis of the method, as well as numerical results, are provided. The convergence is “spectral” in the polynomial chaos order, in any subdomain which does not contain the random boundaries.     

Galerkin and subspace decomposition methods in space and time for the Navier-Stokes equations

The Galerkin method and the subspace decomposition method in space and time for the two-dimensional incompressible Navier-Stokes equations with the H²-initial data are considered. The subspace decomposition method consists of splitting the approximate solution as the sum of a low frequency component discretized by the small time step Δt and a high frequency one discretized by the large time step pΔt with p>1. The H²-stability and L²-error analysis for the subspace decomposition method are obtained. Finally, some numerical tests to confirm the theoretical results are provided.     

Nonconforming mixed finite element approximation to the stationary Navier-Stokes equations on anisotropic meshes

The main aim of this paper is to study the error estimates of a rectangular nonconforming finite element for the stationary Navier-Stokes equations under anisotropic meshes. That is, the nonconforming rectangular element is taken as approximation space for the velocity and the piecewise constant element for the pressure. The convergence analysis is presented and the optimal error estimates both in a broken H¹-norm for the velocity and in an L²-norm for the pressure are derived on anisotropic meshes.     

On local convergence of a symmetric semi-discrete scheme for an abstract analogue of the Kirchhoff equation

The present work considers a nonlinear abstract hyperbolic equation with a self-adjoint positive definite operator, which represents a generalization of the Kirchhoff string equation. A symmetric three-layer semi-discrete scheme is constructed for an approximate solution of a Cauchy problem for this equation. Value of the gradient in the nonlinear term of the scheme is taken at the middle point. It makes possible to find an approximate solution at each time step by inverting the linear operator. Local convergence of the constructed scheme is proved. Numerical calculations for different model problems are carried out using this scheme.     

Biorthogonal wavelet approximation for the coupling of FEM-BEM

Summary. We apply multiscale methods to the coupling of finite and boundary element methods to solve an exterior Dirichlet boundary value problem for the two dimensional Poisson equation. Adopting biorthogonal wavelet matrix compression to the boundary terms with N degrees of freedom, we show that the resulting compression strategy fits the optimal convergence rate of the coupling Galerkin methods, while the number of nonzero entries in the corresponding stiffness matrices is considerably smaller than . Received December 3, 1999 / Revised version received September 22, 2000 / Published online December 18, 2001     

On the approximation of unstable parametric minimal surfaces

We prove optimal convergence results for discrete approximations to (possibly unstable) minimal surfaces. This appears to be the first class of results of this type for geometric objects solving a highly non-linear geometric variational problem. We introduce a number of new techniques which we expect will be of use in other geometric problems. The theoretical approximation results are confirmed by numerical test computations.     

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.     

Parameter estimation for the stochastically perturbed Navier-Stokes equations

We consider a parameter estimation problem of determining the viscosity ν of a stochastically perturbed 2D Navier-Stokes system. We derive several different classes of estimators based on the first N Fourier modes of a single sample path observed on a finite time interval. We study the consistency and asymptotic normality of these estimators. Our analysis treats strong, pathwise solutions for both the periodic and bounded domain cases in the presence of an additive white (in time) noise.