Error bounds for the finite element approximation of an incompressible material in an unbounded domain

Summary. In this paper we design high-order local artificial boundary conditions and present error bounds for the finite element approximation of an incompressible elastic material in an unbounded domain. The finite element approximation is formulated in a bounded computational domain using a nonlocal approximate artificial boundary condition or a local one. In fact there are a family of nonlocal approximate artificial boundary conditions with increasing accuracy (and computational cost) and a family of local ones for a given artificial boundary. Our error bounds indicate how the errors of the finite element approximations depend on the mesh size, the terms used in the approximate artificial boundary condition and the location of the artificial boundary. Numerical examples of an incompressible elastic material outside a circle in the plane is presented. Numerical results demonstrate the performance of our error bounds. Received August 31, 1998 / Revised version received November 6, 2001 / Published online March 8, 2002     

Uniform,Sobolev extension and quasiconformal circle domains

This paper contributes to the theory of uniform domains and Sobolev extension domains. We present new features of these domains and exhibit numerous relations among them. We examine two types of Sobolev extension domains, demonstrate their equivalence for bounded domains and generalize known sufficient geometric conditions for them. We observe that in the plane essentially all of these domains possess the trait that there is a quasiconformal self-homeomorphism of the extended plane which maps a given domain conformally onto a circle domain. We establish a geometric condition enjoyed by these plane domains which characterizes them among all quasicircle domains having no large and no small boundary components.     

有界星形域上的全纯映照成为星形映照的判别准则

本文讨论从有界星形圆形域和Carathedory完备域到Cn局部双全纯映照成为双全纯星形映照的充分必要条件．     

Analysis of FDTD to UPML for Maxwell equations in polar coordinates

An FDTD system associated with uniaxial perfectly matched layer(UPML) for an electromagnetic scattering problem in two-dimensional space in polar coordinates is considered.Particularly the FDTD system of an initial-boundary value problems of the transverse magnetic(TM) mode to Maxwell’s equations is obtained by Yee’s algorithm,and the open domain of the scattering problem is truncated by a circle with a UPML.Besides,an artificial boundary condition is imposed on the outer boundary of the UPML.Afterwards,stability of the FDTD system on the truncated domain is established through energy estimates by the Gronwall inequality.Numerical experiments are designed to approve the theoretical analysis.     

On Schwarz's domain decomposition methods for elliptic boundary value problems

Summary. We study the additive and multiplicative Schwarz domain decomposition methods for elliptic boundary value problem of order 2 r based on an appropriate spline space of smoothness . The finite element method reduces an elliptic boundary value problem to a linear system of equations. It is well known that as the number of triangles in the underlying triangulation is increased, which is indispensable for increasing the accuracy of the approximate solution, the size and condition number of the linear system increases. The Schwarz domain decomposition methods will enable us to break the linear system into several linear subsystems of smaller size. We shall show in this paper that the approximate solutions from the multiplicative Schwarz domain decomposition method converge to the exact solution of the linear system geometrically. We also show that the additive Schwarz domain decomposition method yields a preconditioner for the preconditioned conjugate gradient method. We tested these methods for the biharmonic equation with Dirichlet boundary condition over an arbitrary polygonal domain using cubic spline functions over a quadrangulation of the given domain. The computer experiments agree with our theoretical results. Received December 28, 1995 / Revised version received November 17, 1998 / Published online September 24, 1999     

On the Bauer's scaled condition number of matrices arising from approximate conformal mapping

Approximation of a conformal mapping of a simply connected domain onto a circle by means of Ritz's method yields a system of linear equations with a Cram matrix. The asymptotic behaviour of the minimal condition of this matrix is studied in dependence on its order.     

On the number of roots of self-inversive polynomials on the complex unit circle

We present a sufficient condition for a self-inversive polynomial to have a fixed number of roots on the complex unit circle. We also prove that these roots are simple when that condition is satisfied. This generalizes the condition found by Lakatos and Losonczi for all the roots of a self-inversive polynomial to lie on the complex unit circle.     

The Dirichlet problem for the Laplace equation in a starlike domain of a Riemann surface

We consider the Dirichlet problem for the Laplace equation in a starlike domain, i.e. a domain which is normal with respect to a suitable polar co-ordinates system. Such a domain can be interpreted as a non-isotropically stretched unit circle. We write down the explicit solution in terms of a Fourier series whose coefficients are determined by solving an infinite system of linear equations depending on the boundary data. Numerical experiments show that the same method works even if the considered starlike domain belongs to a two-fold Riemann surface.     

Error estimates for the finite element approximation of linear elastic equations in an unbounded domain

In this paper we present error estimates for the finite element approximation of linear elastic equations in an unbounded domain. The finite element approximation is formulated on a bounded computational domain using a nonlocal approximate artificial boundary condition or a local one. In fact there are a family of nonlocal approximate boundary conditions with increasing accuracy (and computational cost) and a family of local ones for a given artificial boundary. Our error estimates show how the errors of the finite element approximations depend on the mesh size, the terms used in the approximate artificial boundary condition, and the location of the artificial boundary. A numerical example for Navier equations outside a circle in the plane is presented. Numerical results demonstrate the performance of our error estimates.

     

Pseudo Jordan domains and reflecting Brownian motions

Summary The manifold metric between two points in a planar domain is the minimum of the lengths of piecewiseC ¹ curves in the domain connecting these two points. We define a bounded simply connected planar region to be a pseudo Jordan domain if its boundary under the manifold metric is topologically homeomorphic to the unit circle. It is shown that reflecting Brownian motionX on a pseudo Jordan domain can be constructed starting at all points except those in a boundary subset of capacity zero.X has the expected Skorokhod decomposition under a condition which is satisfied when G has finite 1-dimensional lower Minkowski content.     

Circle boundaries of planar graphs

Letg be an infinite, connected, planar graph with bounded vertex degree, which obeys a strong isoperimetric inequality and which can be embedded in the plane so that each cycle surrounds only finitely many vertices. We investigate a certain class of compactifications ofg; one of which has boundary homemorophic to a circle. We shall show that ifg is a tree or, more generally, ifg is hyperbolic, then this circle boundary supports an integral representation of any given bounded harmonic function. We further show that in the specific case of a triangulation of the plane, the graph is hyperbolic and therefore the Martin boundary is a circle.     

A finite-element capacitance matrix method for exterior Helmholtz problems

Summary. We introduce an algorithm for the efficient numerical solution of exterior boundary value problems for the Helmholtz equation. The problem is reformulated as an equivalent one on a bounded domain using an exact non-local boundary condition on a circular artificial boundary. An FFT-based fast Helmholtz solver is then derived for a finite-element discretization on an annular domain. The exterior problem for domains of general shape are treated using an imbedding or capacitance matrix method. The imbedding is achieved in such a way that the resulting capacitance matrix has a favorable spectral distribution leading to mesh independent convergence rates when Krylov subspace methods are used to solve the capacitance matrix equation. Received May 2, 1995     

Transboundary extremal length

We introduce two basic notions, ‘transboundary extremal length’ and ‘fat sets’, and apply these concepts to the theory of conformal uniformization of multiply connected planar domains. A new short proof is given to Koebe's conjecture in the countable case: every planar domain with countably many boundary components is conformally equivalent to a circle domain. This theorem is further generalized in two direction. We show that the same statement is true for a wide class of domains with uncountably many boundary components, in particular for domains bounded byK-quasicircles and points. Moreover, these domains admit more general uniformizations. For example, every circle domain is conformally equivalent to a domain whose complementary components are heart-shapes and points. Incumbent of the William Z. and Eda Bess Novick Career Development Chair. Supported by NSF grant DMS-9112150.     

A class of quasilinear degenerate elliptic problems

We establish the existence of solutions for a class of quasilinear degenerate elliptic equations. The equations in this class satisfy a structure condition which provides ellipticity in the interior of the domain, and degeneracy only on the boundary. Equations of transonic gas dynamics, for example, satisfy this property in the region of subsonic flow and are degenerate across the sonic surface. We prove that the solution is smooth in the interior of the domain but may exhibit singular behavior at the degenerate boundary. The maximal rate of blow-up at the degenerate boundary is bounded by the “degree of degeneracy” in the principal coefficients of the quasilinear elliptic operator. Our methods and results apply to the problems recently studied by several authors which include the unsteady transonic small disturbance equation, the pressure-gradient equations of the compressible Euler equations, and the singular quasilinear anisotropic elliptic problems, and extend to the class of equations which satisfy the structure condition, such as the shallow water equation, compressible isentropic two-dimensional Euler equations, and general two-dimensional nonlinear wave equations. Our study provides a general framework to analyze degenerate elliptic problems arising in the self-similar reduction of a broad class of two-dimensional Cauchy problems.     

Nombre de rotation presque sûr des endomorphismes du cercle affines par morceaux

We define the almost sure rotation number for some degree one endomorphisms over the circle. It is the rotation number for almost any point of the circle. We describe it for a particular family of expanding piecewise affine endomorphisms. We show that its dependance on the parameters is H?lder for any exposant 0 < α < 1 but in general not Lipschitz. In particular the set of parameters which give an irrational almost sure rotation number has a Hausdorff dimension equal to 1. Received: 16 July 2001     

Bounds on spectral condition numbers of matrices arising in the p-version of the finite element method

Summary. We estimate condition numbers of -version matrices for tensor product elements with two choices of reference element degrees of freedom. In one case (Lagrange elements) the condition numbers grow exponentially in , whereas in the other (hierarchical basis functions based on Tchebycheff polynomials) the condition numbers grow rapidly but only algebraically in . We conjecture that regardless of the choice of basis the condition numbers grow like or faster, where is the dimension of the spatial domain. Received August 8, 1992 / Revised version received March 25, 1994     

线性流量阀内筒孔的设计

从理论上证明了不存在使过流面积与移动距离成线性关系的图形,同时得到了内筒孔形状的特点.并给出了两种具体设计方案.方案I中,简化曲线段设计,直接使每一个曲线段与圆上对应的弧相同,在满足线性区间最大面积达到最大范围的85%的条件下求得内筒孔形状的初始宽度为a=0.372r,这时线性区间达到最大范围区间的77.3%.方案II中用位图离散化表示外筒孔和待设计的内筒孔,用matlab编程模拟两个图形相对运动时过流面积的变化的同时描绘出内筒孔的形状.内筒孔的初始宽度a=0.196r,此时得到的连续线性区间达到最大范围区间的98.55%,线性区间的最大面积达到最大范围的99.02%.文章的最后比较了两种方案的优缺点.     

A robin-neumann problem in bounded domains with splitting boundary

We consider a mixed boundary-value problem for the homogeneous Laplace equation in a bounded domain which boundary splits up into two disjoint smooth components. On the one boundary component we pose a homogeneous Robin condition and an inhomogeneous Neumann condition on the other. We give a weak formulation, interpret this problem as a generalized spectral (eigenvalue) problem in the sense of F.Stummel (cf.[12]) and investigate existence, uniqueness and regularity of weak solutions. This problem is a cut-off version of a basic problem in water-wave theory (cf.Ramm [8], pp.394-395, Simon/Ursell [10] Stoker [11])     

Quasihyperbolic boundary conditions and Poincaré domains

We prove that a domain in whose quasihyperbolic metric satisfies a logarithmic growth condition with coefficient is a (q,p)-\Poincare domain for all p and q satisfying and , where denotes the Sobolev conjugate exponent. An elementary example shows that the given ranges for p and q are sharp. The proof makes use of estimates for a variational capacity. When p=2 we give an application to the solvability of the Neumann problem on domains with irregular boundaries. We also discuss the relationship between this growth condition on the quasihyperbolic metric and the s-John condition. Received: 2 May 2000 / Published online: 17 June 2002     

Partial circle geometries and antiregular quadrangles

A new and rather general definition of circle geometries is given. This definition is such that circle planes and chain spaces are circle geometries. Also the geometry of points and traces of an antiregular quadrangle is a partial circle geometry. Orthogonal quadrangles can then be characterised as those antiregular generalised quadrangles where in the associated partial circle geometry the Miquel condition is satisfied.