A Nonconforming Finite Element Method for Fourth Order Curl Equations in R^3
The Pennsylvania State University（宾夕法尼亚州立大学）；University of Maryland, College Park（马里兰大学帕克分校）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
In this paper we present a nonconforming finite element method for solving fourth order curl equations in three dimensions arising from magnetohydrodynamics models. We show that the method has an optimal error estimate for a model problem involving both curl^2 and curl^4 operators. The element has a very small number of degrees of freedom and it imposes the inter-element continuity along the tangential direction which is appropriate for the approximation of magnetic fields. We also provide explicit formulae of basis functions for this element.
We propose and analyze a new family of nonconforming finite elements for the three-dimensional quad-curl problem. The proposed finite element spaces are subspaces of $\pmb{H}(\mathrm{curl})$, but not of $\pmb{H}(\mathrm{grad}~\mathrm{curl})$, which are different from the existing nonconforming ones. The well-posedness of the discrete problem is proved and optimal error estimates in discrete $\pmb{H}(\mathrm{grad}~\mathrm{curl})$ norm, $\pmb{H}(\mathrm{curl})$ norm and $\pmb{L}^2$ norm are derived. Numerical experiments are provided to illustrate the good performance of the method and confirm o…
In this paper, we develop two fully nonconforming (both H(grad curl)-nonconforming and H(curl)-nonconforming) finite elements on cubical meshes which can fit into the Stokes complex. The newly proposed elements have 24 and 36 degrees of freedom, respectively. Different from the fully H(grad curl)-nonconforming tetrahedral finite elements in [9], the elements in this paper lead to a robust finite element method to solve the singularly perturbed quad-curl problem. To confirm this, we prove the optimal convergence of order $O(h)$ for a fixed parameter $ε$ and the uniform convergence of order $O(h…
Two nonconforming finite element Stokes complexes starting from the conforming Lagrange element and ending with the nonconforming $P_1$-$P_0$ element for the Stokes equation in three dimensions are constructed. And commutative diagrams are also shown by combining nonconforming finite element Stokes complexes and interpolation operators. The lower order $\boldsymbol H(\textrm{grad}\textrm{curl})$-nonconforming finite element only has $14$ degrees of freedom, whose basis functions are explicitly given in terms of the barycentric coordinates. The $\boldsymbol H(\textrm{grad}\textrm{curl})$-noncon…
We introduce and analyze a robust nonconforming finite element method for a three dimensional singularly perturbed quad-curl model problem. For the solution of the model problem, we derive proper a priori bounds, based on which, we prove that the proposed finite element method is robust with respect to the singular perturbation parameter $\varepsilon$ and the numerical solution is uniformly convergent with order $h^{1/2}$. In addition, we investigate the effect of treating the second boundary condition weakly by Nitsche's method. We show that such a treatment leads to sharper error estimates t…
Robust mixed finite element methods are developed for a quad-curl singular perturbation problem. Lower order H(grad curl)-nonconforming but H(curl)-conforming finite elements are constructed, which are extended to nonconforming finite element Stokes complexes and the associated commutative diagrams. Then H(grad curl)-nonconforming finite elements are employed to discretize the quad-curl singular perturbation problem, which possess the sharp and uniform error estimates with respect to the perturbation parameter. The Nitsche's technique is exploited to achieve the optimal convergence rate in the…
An hp-version interior penalty discontinuous Galerkin (IPDG) method under nonconforming meshes is proposed to solve the quad-curl eigenvalue problem. We prove well-posedness of the numerical scheme for the quad-curl equation and then derive an error estimate in a mesh-dependent norm, which is optimal with respect to h but has different p-version error bounds under conforming and nonconforming tetrahedron meshes. The hp-version discrete compactness of the DG space is established for the convergence proof. The performance of the method is demonstrated by numerical experiments using conforming/no…
$\boldsymbol{H}(\textbf{curl})$-reconstruction of piecewise polynomial fields with application to $hp$-a posteriori nonconforming error analysis for Maxwell's equations
Inria（法国国家信息与自动化研究所）；CERMICS, ENPC, Institut Polytechnique de Paris, CNRS（巴黎高等土木工程学校、巴黎理工学院、法国国家科学研究中心计算数学与计算机科学中心）
We present a class of nonconforming virtual element methods for general fourth order partial differential equations in two dimensions. We develop a generic approach for constructing the necessary projection operators and virtual element spaces. Optimal error estimates in the energy norm are provided for general linear fourth order problems with varying coefficients. We also discuss fourth order perturbation problems and present a novel nonconforming scheme which is uniformly convergent with respect to the perturbation parameter without requiring an enlargement of the space. Numerical tests are…
In this paper, we study least-squares finite element methods (LSFEM) for general second-order elliptic equations with nonconforming finite element approximations. The equation may be indefinite. For the two-field potential-flux div LSFEM with Crouzeix-Raviart (CR) element approximation, we present three proofs of the discrete solvability under the condition that mesh size is small enough. One of the proof is based on the coerciveness of the original bilinear form. The other two are based on the minimal assumption of the uniqueness of the solution of the second-order elliptic equation. A counte…
The fully nonconforming virtual element method for biharmonic problems
Politecnico di Milano（米兰理工大学）；Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）；Istituto di Matematica Applicata e Tecnologie Informatiche - CNR（意大利国家研究委员会应用数学与信息技术研究所）
A Morley-Wang-Xu (MWX) element method with a simply modified right hand side is proposed for a fourth order elliptic singular perturbation problem, in which the discrete bilinear form is standard as usual nonconforming finite element methods. The sharp error analysis is given for this MWX element method. And the Nitsche's technique is applied to the MXW element method to achieve the optimal convergence rate in the case of the boundary layers. An important feature of the MWX element method is solver-friendly. Based on a discrete Stokes complex in two dimensions, the MWX element method is decoup…
In this paper, we consider a cubic $H^2$ nonconforming finite element scheme $B_{h0}^3$ which does not correspond to a locally defined finite element with Ciarlet$'$s triple but admit a set of local basis functions. For the first time, we deduce and write out the expression of basis functions explicitly. Distinguished from the most nonconforming finite element methods, $(δΔ_h\cdot,Δ_h\cdot)$ with non-constant coefficient $δ>0$ is coercive on the nonconforming $B_{h0}^3$ space which makes it robust for numerical discretization. For fourth order eigenvalue problem, the $B_{h0}^3$ scheme can prov…
This article is concerned with the nonconforming finite element method for distributed elliptic optimal control problems with pointwise constraints on the control and gradient of the state variable. We reduce the minimization problem into a pure state constraint minimization problem. In this case, the solution of the minimization problem can be characterized as fourth-order elliptic variational inequalities of the first kind. To discretize the control problem we have used the bubble enriched Morley finite element method. To ensure the existence of the solution to discrete problems three bubble…
We develop a stable finite difference method for the elastic wave equation in bounded media, where the material properties can be discontinuous at curved interfaces. The governing equation is discretized in second order form by a fourth or sixth order accurate summation-by-parts operator. The mesh size is determined by the velocity structure of the material, resulting in nonconforming grid interfaces with hanging nodes. We use order-preserving interpolation and the ghost point technique to couple adjacent mesh blocks in an energy-conserving manner, which is supported by a fully discrete stabil…
Lower-order $P_2$ finite elements are popular for solving fourth-order elliptic PDEs when the solution has limited regularity. A priori and a posteriori error estimates for von Karman equations are considered in Carstensen et al. (2019, 2020) with respect to different mesh dependent norms which involve different jump and penalization terms. This paper addresses the question, whether they are comparable with respect to a common norm. This article establishes that the errors for the quadratic symmetric interior discontinuous Galerkin, $C^0$ interior penalty and nonconforming Morley finite elemen…
Asymptotic expansions are derived for eigenvalues produced by both the Crouzeix-Raviart element and the enriched Crouzeix--Raviart element. The expansions are optimal in the sense that extrapolation eigenvalues based on them admit a fourth order convergence provided that exact eigenfunctions are smooth enough. The major challenge in establishing the expansions comes from the fact that the canonical interpolation of both nonconforming elements lacks a crucial superclose property, and the nonconformity of both elements. The main idea is to employ the relation between the lowest-order mixed Ravia…
In this paper, a piecewise quadratic nonconforming finite element method on rectangular grids for a fourth-order elliptic singular perturbation problem is presented. This proposed method is robustly convergent with respect to the perturbation parameter. Numerical results are presented to verify the theoretical findings. The new method uses piecewise quadratic polynomials, and is of the lowest degree possible. Optimal order approximation property of the finite element space is proved by means of a locally-averaged interpolation operator newly constructed. This interpolator, however, is not a pr…
We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is enforcing the jump conditions in a least squares sense. This concept requires computing integrals over sections of the interface, which is a challenge in 3-D when only an implicit representation of t…
Convergence and optimality of the adaptive Morley element method
LMAM and School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Institute of Computational Mathematics, Chinese Academy of Sciences（中国科学院计算数学研究所）；The School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Department of Mathematics, Pennsylvania State University（宾夕法尼亚州立大学数学系）
The paper presents a finite element scheme for the elastic transmission eigenvalue problem written as a fourth order eigenvalue problem. The scheme uses piecewise cubic polynomials and obtains optimal convergence rate. Compared with other low-degree and nonconforming finite element schemes, the scheme inherits the continuous bilinear form which does not need extra stabilizations and is thus simple to implement.
Isogeometric Analysis generalizes classical finite element analysis and intends to integrate it with the field of Computer-Aided Design. A central problem in achieving this objective is the reconstruction of analysis-suitable models from Computer-Aided Design models, which is in general a non-trivial and time-consuming task. In this article, we present a novel spline construction, that enables model reconstruction as well as simulation of high-order PDEs on the reconstructed models. The proposed almost-$C^1$ are biquadratic splines on fully unstructured quadrilateral meshes (without restrictio…
The Hessian discretisation method (HDM) for fourth order linear elliptic equations provides a unified convergence analysis framework based on three properties namely coercivity, consistency, and limit-conformity. Some examples that fit in this approach include conforming and nonconforming finite element methods, finite volume methods and methods based on gradient recovery operators. A generic error estimate has been established in $L^2$, $H^1$ and $H^2$-like norms in literature. In this paper, we establish improved $L^2$ and $H^1$ error estimates in the framework of HDM and illustrate it on va…
This paper focusses on the von Kármán equations for the moderately large deformation of a very thin plate with the convex obstacle constraint leading to a coupled system of semilinear fourth-order obstacle problem and motivates its nonconforming Morley finite element approximation. The first part establishes the well-posedness of the von Kármán obstacle problem and also discusses the uniqueness of the solution under an a priori and an a posteriori smallness condition on the data. The second part of the article discusses the regularity result of Frehse from 1971 and combines it with the regular…
Decoupling of Mixed Methods Based on Generalized Helmholtz Decompositions
Department of Mathematics, University of California at Irvine（加州大学尔湾分校数学系）；School of Mathematics, Shanghai University of Finance and Economics（上海财经大学数学学院）
In recent papers the author introduced a simple alternative to isoparametric finite elements of the n-simplex type, to enhance the accuracy of approximations of second-order boundary value problems with Dirichlet conditions, posed in smooth curved domains. This technique is based upon trial-functions consisting of piecewise polynomials defined on straight-edged triangular or tetrahedral meshes, interpolating the Dirichlet boundary conditions at points of the true boundary. In contrast the test-functions are defined upon the standard degrees of freedom associated with the underlying method for …
