-
Local $L^2$-bounded commuting projections in FEEC
Authors:
Douglas N. Arnold,
Johnny Gúzman
Abstract:
We construct local projections into canonical finite element spaces that appear in the finite element exterior calculus. These projections are bounded in $L^2$ and commute with the exterior derivative.
We construct local projections into canonical finite element spaces that appear in the finite element exterior calculus. These projections are bounded in $L^2$ and commute with the exterior derivative.
△ Less
Submitted 31 March, 2021;
originally announced April 2021.
-
The landscape law for tight binding Hamiltonians
Authors:
Douglas N. Arnold,
Marcel Filoche,
Svitlana Mayboroda,
Wei Wang,
Shiwen Zhang
Abstract:
The present paper extends the landscape theory pioneered in [FM, ADFJM2, DFM] to the tight-binding Schrödinger operator on $\Z^d$. In particular, we establish upper and lower bounds for the integrated density of states in terms of the counting function based upon the localization landscape.
The present paper extends the landscape theory pioneered in [FM, ADFJM2, DFM] to the tight-binding Schrödinger operator on $\Z^d$. In particular, we establish upper and lower bounds for the integrated density of states in terms of the counting function based upon the localization landscape.
△ Less
Submitted 8 June, 2021; v1 submitted 8 January, 2021;
originally announced January 2021.
-
Sharp estimates for the integrated density of states in Anderson tight-binding models
Authors:
Perceval Desforges,
Svitlana Mayboroda,
Shiwen Zhang,
Guy David,
Douglas N. Arnold,
Wei Wang,
Marcel Filoche
Abstract:
Recent work [G. David, M. Filoche, and S. Mayboroda, arXiv:1909.10558[Adv. Math. (to be published)]] has proved the existence of bounds from above and below for the Integrated Density of States (IDOS) of the Schrödinger operator throughout the spectrum, called the landscape law. These bounds involve dimensional constants whose optimal values are yet to be determined. Here, we investigate the accur…
▽ More
Recent work [G. David, M. Filoche, and S. Mayboroda, arXiv:1909.10558[Adv. Math. (to be published)]] has proved the existence of bounds from above and below for the Integrated Density of States (IDOS) of the Schrödinger operator throughout the spectrum, called the landscape law. These bounds involve dimensional constants whose optimal values are yet to be determined. Here, we investigate the accuracy of the landscape law in 1D and 2D tight-binding Anderson models, with binary or uniform random distributions. We show, in particular, that in 1D, the IDOS can be approximated with high accuracy through a single formula involving a remarkably simple multiplicative energy shift. In 2D, the same idea applies but the prefactor has to be changed between the bottom and top parts of the spectrum.
△ Less
Submitted 18 July, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Complexes from complexes
Authors:
Douglas N. Arnold,
Kaibo Hu
Abstract:
This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a systematic procedure which, starting from well-understood differential complexes such as the de Rham complex, derives new complexes and deduces the properties of the ne…
▽ More
This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a systematic procedure which, starting from well-understood differential complexes such as the de Rham complex, derives new complexes and deduces the properties of the new complexes from the old. We relate the cohomology of the output complex to that of the input complexes and show that the new complex has closed ranges, and, consequently, satisfies a Hodge decomposition, Poincaré type inequalities, well-posed Hodge-Laplacian boundary value problems, regular decomposition, and compactness properties on general Lipschitz domains.
△ Less
Submitted 25 January, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
The Hellan-Herrmann-Johnson method with curved elements
Authors:
Douglas N. Arnold,
Shawn W. Walker
Abstract:
We study the finite element approximation of the Kirchhoff plate equation on domains with curved boundaries using the Hellan-Herrmann-Johnson (HHJ) method. We prove optimal convergence on domains with piecewise $C^{k+1}$ boundary for $k \geq 1$ when using a parametric (curved) HHJ space. Computational results are given that demonstrate optimal convergence and how convergence degrades when curved t…
▽ More
We study the finite element approximation of the Kirchhoff plate equation on domains with curved boundaries using the Hellan-Herrmann-Johnson (HHJ) method. We prove optimal convergence on domains with piecewise $C^{k+1}$ boundary for $k \geq 1$ when using a parametric (curved) HHJ space. Computational results are given that demonstrate optimal convergence and how convergence degrades when curved triangles of insufficient polynomial degree are used. Moreover, we show that the lowest order HHJ method on a polygonal approximation of the disk does not succumb to the classic Babuška paradox, highlighting the geometrically non-conforming aspect of the HHJ method.
△ Less
Submitted 25 July, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Localization of eigenfunctions via an effective potential
Authors:
Douglas N. Arnold,
Guy David,
Marcel Filoche,
David Jerison,
Svitlana Mayboroda
Abstract:
We consider the localization of eigenfunctions for the operator $L=-\mbox{div} A \nabla + V$ on a Lipschitz domain $Ω$ and, more generally, on manifolds with and without boundary. In earlier work, two authors of the present paper demonstrated the remarkable ability of the landscape, defined as the solution to $Lu=1$, to predict the location of the localized eigenfunctions. Here, we explain and jus…
▽ More
We consider the localization of eigenfunctions for the operator $L=-\mbox{div} A \nabla + V$ on a Lipschitz domain $Ω$ and, more generally, on manifolds with and without boundary. In earlier work, two authors of the present paper demonstrated the remarkable ability of the landscape, defined as the solution to $Lu=1$, to predict the location of the localized eigenfunctions. Here, we explain and justify a new framework that reveals a richly detailed portrait of the eigenfunctions and eigenvalues. We show that the reciprocal of the landscape function, $1/u$, acts as an effective potential. Hence from the single measurement of $u$, we obtain, via $1/u$, explicit bounds on the exponential decay of the eigenfunctions of the system and estimates on the distribution of eigenvalues near the bottom of the spectrum. (This version strengthens and simplifies the results of the first one by replacing a global bi-Lipschitz hypothesis on the domain with a local bi-Lipschitz hypothesis. It improves on the second version by adding pictures and numerical examples. This version is identical to the third version; all that is changed is to correct some tex mistakes in symbols in this abstract. There are no changes to the paper itself.)
△ Less
Submitted 3 October, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Finite element exterior calculus with lower-order terms
Authors:
Douglas N. Arnold,
Lizao Li
Abstract:
The scalar and vector Laplacians are basic operators in physics and engineering. In applications, they show up frequently perturbed by lower-order terms. The effect of such perturbations on mixed finite element methods in the scalar case is well-understood, but that in the vector case is not. In this paper, we first show that surprisingly for certain elements there is degradation of the convergenc…
▽ More
The scalar and vector Laplacians are basic operators in physics and engineering. In applications, they show up frequently perturbed by lower-order terms. The effect of such perturbations on mixed finite element methods in the scalar case is well-understood, but that in the vector case is not. In this paper, we first show that surprisingly for certain elements there is degradation of the convergence rates with certain lower-order terms even when both the solution and the data are smooth. We then give a systematic analysis of lower-order terms in mixed methods by extending the Finite Element Exterior Calculus (FEEC) framework, which contains the scalar, vector Laplacian, and many other elliptic operators as special cases. We prove that stable mixed discretization remains stable with lower-order terms for sufficiently fine discretization. Moreover, we derive sharp improved error estimates for each individual variable. In particular, this yields new results for the vector Laplacian problem which are useful in applications such as electromagnetism and acoustics modeling. Further our results imply many previous results for the scalar problem and thus unifies them all under the FEEC framework.
△ Less
Submitted 25 February, 2016; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Effective confining potential of quantum states in disordered media
Authors:
Douglas N. Arnold,
Guy David,
David Jerison,
Svitlana Mayboroda,
Marcel Filoche
Abstract:
The amplitude of localized quantum states in random or disordered media may exhibit long range exponential decay. We present here a theory that unveils the existence of an effective potential which finely governs the confinement of these states. In this picture, the boundaries of the localization subregions for low energy eigenfunctions correspond to the barriers of this effective potential, and t…
▽ More
The amplitude of localized quantum states in random or disordered media may exhibit long range exponential decay. We present here a theory that unveils the existence of an effective potential which finely governs the confinement of these states. In this picture, the boundaries of the localization subregions for low energy eigenfunctions correspond to the barriers of this effective potential, and the long range exponential decay characteristic of Anderson localization is explained as the consequence of multiple tunneling in the dense network of barriers created by this effective potential. Finally, we show that the Weyl's formula based on this potential turns out to be a remarkable approximation of the density of states for a large variety of one-dimensional systems, periodic or random.
△ Less
Submitted 2 February, 2016; v1 submitted 11 May, 2015;
originally announced May 2015.
-
Mixed methods for elastodynamics with weak symmetry
Authors:
Douglas N. Arnold,
Jeonghun J. Lee
Abstract:
We analyze the application to elastodynamic problems of mixed finite element methods for elasticity with weak symmetry. Our approach leads to a semidiscrete method which consists of a system of ordinary differential equations without algebraic constraints. Our error analysis, which is based on a new elliptic projection operator, applies to several mixed finite element spaces developed for elastost…
▽ More
We analyze the application to elastodynamic problems of mixed finite element methods for elasticity with weak symmetry. Our approach leads to a semidiscrete method which consists of a system of ordinary differential equations without algebraic constraints. Our error analysis, which is based on a new elliptic projection operator, applies to several mixed finite element spaces developed for elastostatics. The error estimates we obtain are robust for nearly incompressible materials.
△ Less
Submitted 21 December, 2013;
originally announced December 2013.
-
Mixed finite elements for elasticity on quadrilateral meshes
Authors:
Douglas N. Arnold,
Gerard Awanou,
Weifeng Qiu
Abstract:
We present stable mixed finite elements for planar linear elasticity on general quadrilateral meshes. The symmetry of the stress tensor is imposed weakly and so there are three primary variables, the stress tensor, the displacement vector field, and the scalar rotation. We develop and analyze a stable family of methods, indexed by an integer $r \geq 2$ and with rate of convergence in the $L^2$ nor…
▽ More
We present stable mixed finite elements for planar linear elasticity on general quadrilateral meshes. The symmetry of the stress tensor is imposed weakly and so there are three primary variables, the stress tensor, the displacement vector field, and the scalar rotation. We develop and analyze a stable family of methods, indexed by an integer $r \geq 2$ and with rate of convergence in the $L^2$ norm of order $r$ for all the variables. The methods use Raviart-Thomas elements for the stress, piecewise tensor product polynomials for the displacement, and piecewise polynomials for the rotation. We also present a simple first order element, not belonging to this family. It uses the lowest order BDM elements for the stress, and piecewise constants for the displacement and rotation, and achieves first order convergence for all three variables.
△ Less
Submitted 19 April, 2014; v1 submitted 28 June, 2013;
originally announced June 2013.
-
Finite element differential forms on curvilinear cubic meshes and their approximation properties
Authors:
Douglas N. Arnold,
Daniele Boffi,
Francesca Bonizzoni
Abstract:
We study the approximation properties of a wide class of finite element differential forms on curvilinear cubic meshes in n dimensions. Specifically, we consider meshes in which each element is the image of a cubical reference element under a diffeomorphism, and finite element spaces in which the shape functions and degrees of freedom are obtained from the reference element by pullback of differen…
▽ More
We study the approximation properties of a wide class of finite element differential forms on curvilinear cubic meshes in n dimensions. Specifically, we consider meshes in which each element is the image of a cubical reference element under a diffeomorphism, and finite element spaces in which the shape functions and degrees of freedom are obtained from the reference element by pullback of differential forms. In the case where the diffeomorphisms from the reference element are all affine, i.e., mesh consists of parallelotopes, it is standard that the rate of convergence in L2 exceeds by one the degree of the largest full polynomial space contained in the reference space of shape functions. When the diffeomorphism is multilinear, the rate of convergence for the same space of reference shape function may degrade severely, the more so when the form degree is larger. The main result of the paper gives a sufficient condition on the reference shape functions to obtain a given rate of convergence.
△ Less
Submitted 30 April, 2014; v1 submitted 28 December, 2012;
originally announced December 2012.
-
On the consistency of the combinatorial codifferential
Authors:
Douglas N. Arnold,
Richard S. Falk,
Johnny Guzmán,
Gantumur Tsogtgerel
Abstract:
In 1976, Dodziuk and Patodi employed Whitney forms to define a combinatorial codifferential operator on cochains, and they raised the question whether it is consistent in the sense that for a smooth enough differential form the combinatorial codifferential of the associated cochain converges to the exterior codifferential of the form as the triangulation is refined. In 1991, Smits proved this to b…
▽ More
In 1976, Dodziuk and Patodi employed Whitney forms to define a combinatorial codifferential operator on cochains, and they raised the question whether it is consistent in the sense that for a smooth enough differential form the combinatorial codifferential of the associated cochain converges to the exterior codifferential of the form as the triangulation is refined. In 1991, Smits proved this to be the case for the combinatorial codifferential applied to 1-forms in two dimensions under the additional assumption that the initial triangulation is refined in a completely regular fashion, by dividing each triangle into four similar triangles. In this paper we extend Smits's result to arbitrary dimensions, showing that the combinatorial codifferential on 1-forms is consistent if the triangulations are uniform or piecewise uniform in a certain precise sense. We also show that this restriction on the triangulations is needed, giving a counterexample in which a different regular refinement procedure, namely Whitney's standard subdivision, is used. Further, we show by numerical example that for 2-forms in three dimensions, the combinatorial codifferential is not consistent even for the most regular subdivision process.
△ Less
Submitted 4 February, 2014; v1 submitted 18 December, 2012;
originally announced December 2012.
-
Nonconforming tetrahedral mixed finite elements for elasticity
Authors:
Douglas N. Arnold,
Gerard Awanou,
Ragnar Winther
Abstract:
This paper presents a nonconforming finite element approximation of the space of symmetric tensors with square integrable divergence, on tetrahedral meshes. Used for stress approximation together with the full space of piecewise linear vector fields for displacement, this gives a stable mixed finite element method which is shown to be linearly convergent for both the stress and displacement, and w…
▽ More
This paper presents a nonconforming finite element approximation of the space of symmetric tensors with square integrable divergence, on tetrahedral meshes. Used for stress approximation together with the full space of piecewise linear vector fields for displacement, this gives a stable mixed finite element method which is shown to be linearly convergent for both the stress and displacement, and which is significantly simpler than any stable conforming mixed finite element method. The method may be viewed as the three-dimensional analogue of a previously developed element in two dimensions. As in that case, a variant of the method is proposed as well, in which the displacement approximation is reduced to piecewise rigid motions and the stress space is reduced accordingly, but the linear convergence is retained.
△ Less
Submitted 21 May, 2013; v1 submitted 23 October, 2012;
originally announced October 2012.
-
Finite element exterior calculus for parabolic problems
Authors:
Douglas N. Arnold,
Hongtao Chen
Abstract:
In this paper, we consider the extension of the finite element exterior calculus from elliptic problems, in which the Hodge Laplacian is an appropriate model problem, to parabolic problems, for which we take the Hodge heat equation as our model problem. The numerical method we study is a Galerkin method based on a mixed variational formulation and using as subspaces the same spaces of finite eleme…
▽ More
In this paper, we consider the extension of the finite element exterior calculus from elliptic problems, in which the Hodge Laplacian is an appropriate model problem, to parabolic problems, for which we take the Hodge heat equation as our model problem. The numerical method we study is a Galerkin method based on a mixed variational formulation and using as subspaces the same spaces of finite element differential forms which are used for elliptic problems. We analyze both the semidiscrete and a fully-discrete numerical scheme.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Spaces of finite element differential forms
Authors:
Douglas N. Arnold
Abstract:
We discuss the construction of finite element spaces of differential forms which satisfy the crucial assumptions of the finite element exterior calculus, namely that they can be assembled into subcomplexes of the de Rham complex which admit commuting projections. We present two families of spaces in the case of simplicial meshes, and two other families in the case of cubical meshes. We make use of…
▽ More
We discuss the construction of finite element spaces of differential forms which satisfy the crucial assumptions of the finite element exterior calculus, namely that they can be assembled into subcomplexes of the de Rham complex which admit commuting projections. We present two families of spaces in the case of simplicial meshes, and two other families in the case of cubical meshes. We make use of the exterior calculus and the Koszul complex to define and understand the spaces. These tools allow us to treat a wide variety of situations, which are often treated separately, in a unified fashion.
△ Less
Submitted 27 November, 2012; v1 submitted 9 August, 2012;
originally announced August 2012.
-
Finite element differential forms on cubical meshes
Authors:
Douglas N. Arnold,
Gerard Awanou
Abstract:
We develop a family of finite element spaces of differential forms defined on cubical meshes in any number of dimensions. The family contains elements of all polynomial degrees and all form degrees. In two dimensions, these include the serendipity finite elements and the rectangular BDM elements. In three dimensions they include a recent generalization of the serendipity spaces, and new H(curl) an…
▽ More
We develop a family of finite element spaces of differential forms defined on cubical meshes in any number of dimensions. The family contains elements of all polynomial degrees and all form degrees. In two dimensions, these include the serendipity finite elements and the rectangular BDM elements. In three dimensions they include a recent generalization of the serendipity spaces, and new H(curl) and H(div) finite element spaces. Spaces in the family can be combined to give finite element subcomplexes of the de Rham complex which satisfy the basic hypotheses of the finite element exterior calculus, and hence can be used for stable discretization of a variety of problems. The construction and properties of the spaces are established in a uniform manner using finite element exterior calculus.
△ Less
Submitted 29 July, 2013; v1 submitted 11 April, 2012;
originally announced April 2012.
-
Mathematicians take a stand
Authors:
Douglas N. Arnold,
Henry Cohn
Abstract:
We survey the reasons for the ongoing boycott of the publisher Elsevier. We examine Elsevier's pricing and bundling policies, restrictions on dissemination by authors, and lapses in ethics and peer review, and we conclude with thoughts about the future of mathematical publishing.
We survey the reasons for the ongoing boycott of the publisher Elsevier. We examine Elsevier's pricing and bundling policies, restrictions on dissemination by authors, and lapses in ethics and peer review, and we conclude with thoughts about the future of mathematical publishing.
△ Less
Submitted 20 June, 2012; v1 submitted 5 April, 2012;
originally announced April 2012.
-
Mixed finite element approximation of the vector Laplacian with Dirichlet boundary conditions
Authors:
Douglas N. Arnold,
Richard S. Falk,
Jay Gopalakrishnan
Abstract:
We consider the finite element solution of the vector Laplace equation on a domain in two dimensions. For various choices of boundary conditions, it is known that a mixed finite element method, in which the rotation of the solution is introduced as a second unknown, is advantageous, and appropriate choices of mixed finite element spaces lead to a stable, optimally convergent discretization. Howeve…
▽ More
We consider the finite element solution of the vector Laplace equation on a domain in two dimensions. For various choices of boundary conditions, it is known that a mixed finite element method, in which the rotation of the solution is introduced as a second unknown, is advantageous, and appropriate choices of mixed finite element spaces lead to a stable, optimally convergent discretization. However, the theory that leads to these conclusions does not apply to the case of Dirichlet boundary conditions, in which both components of the solution vanish on the boundary. We show, by computational example, that indeed such mixed finite elements do not perform optimally in this case, and we analyze the suboptimal convergence that does occur. As we indicate, these results have implications for the solution of the biharmonic equation and of the Stokes equations using a mixed formulation involving the vorticity.
△ Less
Submitted 16 September, 2011;
originally announced September 2011.
-
The serendipity family of finite elements
Authors:
Douglas N. Arnold,
Gerard Awanou
Abstract:
We give a new, simple, dimension-independent definition of the serendipity finite element family. The shape functions are the span of all monomials which are linear in at least s-r of the variables where s is the degree of the monomial or, equivalently, whose superlinear degree (total degree with respect to variables entering at least quadratically) is at most r. The degrees of freedom are given b…
▽ More
We give a new, simple, dimension-independent definition of the serendipity finite element family. The shape functions are the span of all monomials which are linear in at least s-r of the variables where s is the degree of the monomial or, equivalently, whose superlinear degree (total degree with respect to variables entering at least quadratically) is at most r. The degrees of freedom are given by moments of degree at most r-2d on each face of dimension d. We establish unisolvence and a geometric decomposition of the space.
△ Less
Submitted 3 January, 2011;
originally announced January 2011.
-
Nefarious Numbers
Authors:
Douglas N. Arnold,
Kristine K. Fowler
Abstract:
We investigate the journal impact factor, focusing on the applied mathematics category. We discuss impact factor manipulation and demonstrate that the impact factor gives an inaccurate view of journal quality, which is poorly correlated with expert opinion.
We investigate the journal impact factor, focusing on the applied mathematics category. We discuss impact factor manipulation and demonstrate that the impact factor gives an inaccurate view of journal quality, which is poorly correlated with expert opinion.
△ Less
Submitted 17 November, 2010; v1 submitted 1 October, 2010;
originally announced October 2010.
-
Stability of Lagrange elements for the mixed Laplacian
Authors:
Douglas N. Arnold,
Marie E. Rognes
Abstract:
The stability properties of simple element choices for the mixed formulation of the Laplacian are investigated numerically. The element choices studied use vector Lagrange elements, i.e., the space of continuous piecewise polynomial vector fields of degree at most r, for the vector variable, and the divergence of this space, which consists of discontinuous piecewise polynomials of one degree low…
▽ More
The stability properties of simple element choices for the mixed formulation of the Laplacian are investigated numerically. The element choices studied use vector Lagrange elements, i.e., the space of continuous piecewise polynomial vector fields of degree at most r, for the vector variable, and the divergence of this space, which consists of discontinuous piecewise polynomials of one degree lower, for the scalar variable. For polynomial degrees r equal 2 or 3, this pair of spaces was found to be stable for all mesh families tested. In particular, it is stable on diagonal mesh families, in contrast to its behaviour for the Stokes equations. For degree r equal 1, stability holds for some meshes, but not for others. Additionally, convergence was observed precisely for the methods that were observed to be stable. However, it seems that optimal order L2 estimates for the vector variable, known to hold for r>3, do not hold for lower degrees.
△ Less
Submitted 20 July, 2009;
originally announced July 2009.
-
Finite element exterior calculus: from Hodge theory to numerical stability
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de Rham cohomology and Hodge theory are key tools for the continuous problem. Aft…
▽ More
This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of partial differential equations that are related to differential complexes so that de Rham cohomology and Hodge theory are key tools for the continuous problem. After a brief introduction to finite element methods, the discretization methods we consider, we develop an abstract Hilbert space framework for analyzing stability and convergence. In this framework, the differential complex is represented by a complex of Hilbert spaces and stability is obtained by transferring Hodge theoretic structures from the continuous level to the discrete. We show stable discretization is achieved if the finite element spaces satisfy two hypotheses: they form a subcomplex and there exists a bounded cochain projection from the full complex to the subcomplex. Next, we consider the most canonical example of the abstract theory, in which the Hilbert complex is the de Rham complex of a domain in Euclidean space. We use the Koszul complex to construct two families of finite element differential forms, show that these can be arranged in subcomplexes of the de Rham complex in numerous ways, and for each construct a bounded cochain projection. The abstract theory therefore applies to give the stability and convergence of finite element approximations of the Hodge Laplacian. Other applications are considered as well, especially to the equations of elasticity. Background material is included to make the presentation self-contained for a variety of readers.
△ Less
Submitted 26 August, 2009; v1 submitted 23 June, 2009;
originally announced June 2009.
-
Geometric decompositions and local bases for spaces of finite element differential forms
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields, frequently referred to as Raviart-Thomas, Brezzi-Douglas-Marini, and Nedelec spaces. In the present paper, we derive geometric decompositions of these spaces…
▽ More
We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields, frequently referred to as Raviart-Thomas, Brezzi-Douglas-Marini, and Nedelec spaces. In the present paper, we derive geometric decompositions of these spaces which lead directly to explicit local bases for them, generalizing the Bernstein basis for ordinary Lagrange finite elements. The approach applies to both families of finite element spaces, for arbitrary polynomial degree, arbitrary order of the differential forms, and an arbitrary simplicial triangulation in any number of space dimensions. A prominent role in the construction is played by the notion of a consistent family of extension operators, which expresses in an abstract framework a sufficient condition for deriving a geometric decomposition of a finite element space leading to a local basis.
△ Less
Submitted 6 June, 2008;
originally announced June 2008.
-
Mixed finite element methods for linear elasticity with weakly imposed symmetry
Authors:
Douglas N. Arnold,
Richard S. Falk,
Ragnar Winther
Abstract:
In this paper, we construct new finite element methods for the approximation of the equations of linear elasticity in three space dimensions that produce direct approximations to both stresses and displacements. The methods are based on a modified form of the Hellinger--Reissner variational principle that only weakly imposes the symmetry condition on the stresses. Although this approach has been…
▽ More
In this paper, we construct new finite element methods for the approximation of the equations of linear elasticity in three space dimensions that produce direct approximations to both stresses and displacements. The methods are based on a modified form of the Hellinger--Reissner variational principle that only weakly imposes the symmetry condition on the stresses. Although this approach has been previously used by a number of authors, a key new ingredient here is a constructive derivation of the elasticity complex starting from the de Rham complex. By mimicking this construction in the discrete case, we derive new mixed finite elements for elasticity in a systematic manner from known discretizations of the de Rham complex. These elements appear to be simpler than the ones previously derived. For example, we construct stable discretizations which use only piecewise linear elements to approximate the stress field and piecewise constant functions to approximate the displacement field.
△ Less
Submitted 18 January, 2007;
originally announced January 2007.
-
Finite elements for symmetric tensors in three dimension
Authors:
Douglas N. Arnold,
Gerard Awanou,
Ragnar Winther
Abstract:
We construct finite element subspaces of the space of symmetric tensors with square-integrable divergence on a three-dimensional domain. These spaces can be used to approximate the stress field in the classical Hellinger--Reissner mixed formulation of the elasticty equations, when standard discontinous finite element spaces are used to approximate the displacement field. These finite element spa…
▽ More
We construct finite element subspaces of the space of symmetric tensors with square-integrable divergence on a three-dimensional domain. These spaces can be used to approximate the stress field in the classical Hellinger--Reissner mixed formulation of the elasticty equations, when standard discontinous finite element spaces are used to approximate the displacement field. These finite element spaces are defined with respect to an arbitrary simplicial triangulation of the domain, and there is one for each positive value of the polynomial degree used for the displacements. For each degree, these provide a stable finite element discretization. The construction of the spaces is closely tied to discretizations of the elasticity complex, and can be viewed as the three-dimensional analogue of the triangular element family for plane elasticity previously proposed by Arnold and Winther.
△ Less
Submitted 15 May, 2007; v1 submitted 18 January, 2007;
originally announced January 2007.
-
Boundary conditions for the Einstein-Christoffel formulation of Einstein's equations
Authors:
Douglas N. Arnold,
Nicolae Tarfulea
Abstract:
Specifying boundary conditions continues to be a challenge in numerical relativity in order to obtain a long time convergent numerical simulation of Einstein's equations in domains with artificial boundaries. In this paper, we address this problem for the Einstein--Christoffel (EC) symmetric hyperbolic formulation of Einstein's equations linearized around flat spacetime. First, we prescribe simp…
▽ More
Specifying boundary conditions continues to be a challenge in numerical relativity in order to obtain a long time convergent numerical simulation of Einstein's equations in domains with artificial boundaries. In this paper, we address this problem for the Einstein--Christoffel (EC) symmetric hyperbolic formulation of Einstein's equations linearized around flat spacetime. First, we prescribe simple boundary conditions that make the problem well posed and preserve the constraints. Next, we indicate boundary conditions for a system that extends the linearized EC system by including the momentum constraints and whose solution solves Einstein's equations in a bounded domain.
△ Less
Submitted 1 November, 2006;
originally announced November 2006.
-
Differential complexes and numerical stability
Authors:
Douglas N. Arnold
Abstract:
Differential complexes such as the de Rham complex have recently come to play an important role in the design and analysis of numerical methods for partial differential equations. The design of stable discretizations of systems of partial differential equations often hinges on capturing subtle aspects of the structure of the system in the discretization. In many cases the differential geometric…
▽ More
Differential complexes such as the de Rham complex have recently come to play an important role in the design and analysis of numerical methods for partial differential equations. The design of stable discretizations of systems of partial differential equations often hinges on capturing subtle aspects of the structure of the system in the discretization. In many cases the differential geometric structure captured by a differential complex has proven to be a key element, and a discrete differential complex which is appropriately related to the original complex is essential. This new geometric viewpoint has provided a unifying understanding of a variety of innovative numerical methods developed over recent decades and pointed the way to stable discretizations of problems for which none were previously known, and it appears likely to play an important role in attacking some currently intractable problems in numerical PDE.
△ Less
Submitted 30 November, 2002;
originally announced December 2002.
-
New first-order formulation for the Einstein equations
Authors:
A. M. Alekseenko,
D. N. Arnold
Abstract:
We derive a new first-order formulation for Einstein's equations which involves fewer unknowns than other first-order formulations that have been proposed. The new formulation is based on the 3+1 decomposition with arbitrary lapse and shift. In the reduction to first order form only 8 particular combinations of the 18 first derivatives of the spatial metric are introduced. In the case of lineari…
▽ More
We derive a new first-order formulation for Einstein's equations which involves fewer unknowns than other first-order formulations that have been proposed. The new formulation is based on the 3+1 decomposition with arbitrary lapse and shift. In the reduction to first order form only 8 particular combinations of the 18 first derivatives of the spatial metric are introduced. In the case of linearization about Minkowski space, the new formulation consists of symmetric hyperbolic system in 14 unknowns, namely the components of the extrinsic curvature perturbation and the 8 new variables, from whose solution the metric perturbation can be computed by integration.
△ Less
Submitted 16 May, 2004; v1 submitted 21 October, 2002;
originally announced October 2002.
-
Approximation by quadrilateral finite elements
Authors:
Douglas N. Arnold,
Daniele Boffi,
Richard S. Falk
Abstract:
We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then transformed to a space of functions on each convex quadrilateral element via a bilinear isomorphism of the square onto the element. It is known that for affine…
▽ More
We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then transformed to a space of functions on each convex quadrilateral element via a bilinear isomorphism of the square onto the element. It is known that for affine isomorphisms, a necessary and sufficient condition for approximation of order r+1 in L2 and order r in H1 is that the given space of functions on the reference element contain all polynomial functions of total degree at most r. In the case of bilinear isomorphisms, it is known that the same estimates hold if the function space contains all polynomial functions of separate degree r. We show, by means of a counterexample, that this latter condition is also necessary. As applications we demonstrate degradation of the convergence order on quadrilateral meshes as compared to rectangular meshes for serendipity finite elements and for various mixed and nonconforming finite elements.
△ Less
Submitted 3 May, 2000;
originally announced May 2000.
-
Adaptive Finite Elements and Colliding Black Holes
Authors:
Douglas N. Arnold,
Arup Mukherjee,
Luc Pouly
Abstract:
According to the theory of general relativity, the relative acceleration of masses generates gravitational radiation. Although gravitational radiation has not yet been detected, it is believed that extremely violent cosmic events, such as the collision of black holes, should generate gravity waves of sufficient amplitude to detect on earth. The massive Laser Interferometer Gravitational-wave Obs…
▽ More
According to the theory of general relativity, the relative acceleration of masses generates gravitational radiation. Although gravitational radiation has not yet been detected, it is believed that extremely violent cosmic events, such as the collision of black holes, should generate gravity waves of sufficient amplitude to detect on earth. The massive Laser Interferometer Gravitational-wave Observatory, or LIGO, is now being constructed to detect gravity waves. Consequently there is great interest in the computer simulation of black hole collisions and similar events, based on the numerical solution of the Einstein field equations. In this note we introduce the scientific, mathematical, and computational problems and discuss the development of a computer code to solve the initial data problem for colliding black holes, a nonlinear elliptic boundary value problem posed in an unbounded three dimensional domain which is a key step in solving the full field equations. The code is based on finite elements, adaptive meshes, and a multigrid solution process. Here we will particularly emphasize the mathematical and algorithmic issues arising in the generation of adaptive tetrahedral meshes.
△ Less
Submitted 15 September, 1997;
originally announced September 1997.