We extend the framework of a posteriori error estimation by preconditioning in [Li, Y., Zikatanov, L.: Computers \& Mathematics with Applications. \textbf{91}, 192-201 (2021)] and derive new a posteriori error estimates for H(curl)-elliptic two-phase interface problems. The proposed error estimator provides two-sided bounds for the discretization error and is robust with respect to coefficient variation under mild assumptions. For H(curl) problems with constant coefficients, the performance of this estimator is numerically compared with the one analyzed in [Schöberl, J.: Math.~Comp. \textbf{77}(262), 633-649 (2008)].
We present a local construction of H(curl)-conforming piecewise polynomials satisfying a prescribed curl constraint. We start from a piecewise polynomial not contained in the H(curl) space but satisfying a suitable orthogonality property. The procedure employs minimizations in vertex patches and the outcome is, up to a generic constant independent of the underlying polynomial degree, as accurate as the best-approximations over the entire local versions of H(curl). This allows to design guaranteed, fully computable, constant-free, and polynomial-degree-robust a posteriori error estimates of Pra…
We study extensions of piecewise polynomial data prescribed in a patch of tetrahedra sharing an edge. We show stability in the sense that the minimizers over piecewise polynomial spaces with prescribed tangential component jumps across faces and prescribed piecewise curl in elements are subordinate in the broken energy norm to the minimizers over the broken H(curl) space with the same prescriptions. Our proofs are constructive and yield constants independent of the polynomial degree. We then detail the application of this result to the a posteriori error analysis of the curl-curl problem discr…
In this paper, we propose a new family of H(curl^2)-conforming elements for the quad-curl eigenvalue problem in 2D. The accuracy of this family is one order higher than that in [32]. We prove a priori and a posteriori error estimates. The a priori estimate of the eigenvalue with a convergence order 2(s-1) is obtained if the eigenvector u\in H^{s+1}(Ω). For the a posteriori estimate, by analyzing the associated source problem, we obtain lower and upper bounds for the eigenvector in an energy norm and an upper bound for the eigenvalues. Numerical examples are presented for validation.
We introduce two a posteriori error estimators for Nédélec finite element discretizations of the curl-curl problem. These estimators pertain to a new Prager-Synge identity and an associated equilibration procedure. They are reliable and efficient, and the error estimates are polynomial-degree-robust. In addition, when the domain is convex, the reliability constants are fully computable. The proposed error estimators are also cheap and easy to implement, as they are computed by solving divergence-constrained minimization problems over edge patches. Numerical examples highlight our key findings,…
We derive a posteriori error estimates for a semi-discrete finite element approximation of a nonlinear eddy current problem arising from applied superconductivity, known as the $p$-curl problem. In particular, we show the reliability for non-conforming Nédélec elements based on a residual type argument and a Helmholtz-Weyl decomposition of $W^p_0(\text{curl};Ω)$. As a consequence, we are also able to derive an a posteriori error estimate for a quantity of interest called the AC loss. The nonlinearity for this form of Maxwell's equation is an analogue of the one found in the $p$-Laplacian. It i…
In this paper, we design the first residual type a posteriori error estimator for mixed interior penalty discontinuous Galerkin method for the H(curl)-elliptic problems. Then we prove that our residual based a posteriori error indicator is both reliable and efficient. At last, we present some numerical experiments to validate the performance of the indicator within an adaptive mesh refinement procedure.
$\boldsymbol{H}(\textbf{curl})$-reconstruction of piecewise polynomial fields with application to $hp$-a posteriori nonconforming error analysis for Maxwell's equations
This paper addresses the nonlinear elliptic curl-curl equation with uncertainties in the material law. It is frequently employed in the numerical evaluation of magnetostatic fields, where the uncertainty is ascribed to the so-called B-H curve. A truncated Karhunen-Loève approximation of the stochastic B-H curve is presented and analyzed with regard to monotonicity constraints. A stochastic non-linear curl-curl formulation is introduced and numerically approximated by a finite element and collocation method in the deterministic and stochastic variable, respectively. The stochastic regularity is…
In this paper, we design and analysis a modified weak Galerkin (MWG) finite element method for $\boldsymbol{H}(\mathrm{curl})-$elliptic problem. We first introduce a new discrete weak curl operator and the MWG finite element space. The modified weak Galerkin method does not require the penalty parameter by comparing with traditional DG methods. We prove optimal error estimates in energy norm. At last, we provide the numerical results to confirm these theoretical results.
In this paper, we study the convergence of adaptive mixed interior penalty discontinuous Galerkin method for H(curl)-elliptic problems. We first get the mixed model of H(curl)-elliptic problem by introducing a new intermediate variable. Then we discuss the continuous variational problem and discrete variational problem, which based on interior penalty discontinuous Galerkin approximation. Next, we construct the corresponding posteriori error indicator, and prove the contraction of the summation of the energy error and the scaled error indicator. At last, we confirm and illustrate the theoretic…
Finite element approximation to a decoupled formulation for the quad--curl problem is studied in this paper. The difficulty of constructing elements with certain conformity to the quad--curl problems has been greatly reduced. For convex domains, where the regularity assumption holds for Stokes equation, the approximation to the curl of the true solution has quadratic order of convergence and first order for the energy norm. If the solution shows singularity, an a posterior error estimator is developed and a separate marking adaptive finite element procedure is proposed, together with its conve…
This paper presents a study of large linear systems resulting from the regular $B$-splines finite element discretization of the $\bm{curl}-\bm{curl}$ and $\bm{grad}-div$ elliptic problems on unit square/cube domains. We consider systems subject to both homogeneous essential and natural boundary conditions. Our objective is to develop a preconditioning strategy that is optimal and robust, based on the Auxiliary Space Preconditioning method proposed by Hiptmair et al. \cite{hiptmair2007nodal}. Our approach is demonstrated to be robust with respect to mesh size, and we also show how it can be com…
We prove that the minimizer in the Nédélec polynomial space of some degree p > 0 of a discrete minimization problem performs as well as the continuous minimizer in H(curl), up to a constant that is independent of the polynomial degree p. The minimization problems are posed for fields defined on a single non-degenerate tetrahedron in R^3 with polynomial constraints enforced on the curl of the field and its tangential trace on some faces of the tetrahedron. This result builds upon [L. Demkowicz, J. Gopalakrishnan, J. Schöberl SIAM J. Numer. Anal. 47 (2009), 3293--3324] and [M. Costabel, A. McInt…
In this article, we develop and analyze a finite element method with the first family Nédélec elements of the lowest degree for solving a Maxwell interface problem modeled by a $\mathbf{H}(\text{curl})$-elliptic equation on unfitted meshes. To capture the jump conditions optimally, we construct and use $\mathbf{H}(\text{curl})$ immersed finite element (IFE) functions on interface elements while keep using the standard Nédélec functions on all the non-interface elements. We establish a few important properties for the IFE functions including the unisolvence according to the edge degrees of free…
Residual-based a posteriori error estimation for the Maxwell's eigenvalue problem
Dipartimento di Matematica “F. Casorati” Università degli studi di Pavia（帕维亚大学）；DICATAM Università degli Studi di Brescia（布雷西亚大学）；CI 2 MA Departamento de Ingeniería Matemática Universidad de Concepción（康塞普西翁大学）
Robust residual-based a posteriori error estimators for mixed finite element methods for fourth order elliptic singularly perturbed problems
Chongqing Jiaotong University（重庆交通大学）；Texas A&M International University (TAMIU)（德克萨斯A&M国际大学）；Beijing Computational Science Research Center（北京计算科学研究中心）；Wayne State University（韦恩州立大学）
We present a priori and a posteriori error analysis of a high order hybridizable discontinuous Galerkin (HDG) method applied to a semi-linear elliptic problem posed on a piecewise curved, non polygonal domain. We approximate $Ω$ by a polygonal subdomain $Ω_h$ and propose an HDG discretization, which is shown to be optimal under mild assumptions related to the non-linear source term and the distance between the boundaries of the polygonal subdomain $Ω_h$ and the true domain $Ω$. Moreover, a local non-linear post-processing of the scalar unknown is proposed and shown to provide an additional ord…
We propose an a posteriori error estimator for high-order $p$- or $hp$-finite element discretizations of selfadjoint linear elliptic eigenvalue problems that is appropriate for estimating the error in the approximation of an eigenvalue cluster and the corresponding invariant subspace. The estimator is based on the computation of approximate error functions in a space that complements the one in which the approximate eigenvectors were computed. These error functions are used to construct estimates of collective measures of error, such as the Hausdorff distance between the true and approximate c…
We present a posteriori error analysis in the supremum norm for the symmetric interior penalty discontinuous Galerkin method for the elliptic obstacle problem. We construct discrete barrier functions based on appropriate corrections of the conforming part of the solution that is obtained via a constrained averaging operator. The corrector function accounts properly for the non-conformity of the approximation and it is estimated by direct use of the Green's function of the unconstrained elliptic problem. The use of the continuous maximum principle guarantees the validity of the analysis without…
We consider a linear elliptic partial differential equation (PDE) with a generic uniformly bounded parametric coefficient. The solution to this PDE problem is approximated in the framework of stochastic Galerkin finite element methods. We perform a posteriori error analysis of Galerkin approximations and derive a reliable and efficient estimate for the energy error in these approximations. Practical versions of this error estimate are discussed and tested numerically for a model problem with non-affine parametric representation of the coefficient. Furthermore, we use the error reduction indica…
Parametric elliptic reconstructions and a posteriori error estimates for parabolic partial differential equations with small randomness in a Robin boundary condition
Chalmers University of Technology and University of Gothenburg（查尔姆斯理工大学和哥德堡大学）
This paper is devoted to the theoretical and numerical study of an optimal design problem in high-temperature superconductivity (HTS). The shape optimization problem is to find an optimal superconductor shape which minimizes a certain cost functional under a given target on the electric field over a specific domain of interest. For the governing PDE-model, we consider an elliptic curl-curl variational inequality (VI) of the second kind with an L1-type nonlinearity. In particular, the non-smooth VI character and the involved H(curl)-structure make the corresponding shape sensitivity analysis ch…
Mixed-dimensional elliptic equations exhibiting a hierarchical structure are commonly used to model problems with high aspect ratio inclusions, such as flow in fractured porous media. We derive general abstract estimates based on the theory of functional a posteriori error estimates, for which guaranteed upper bounds for the primal and dual variables and two-sided bounds for the primal-dual pair are obtained. We improve on the abstract results obtained with the functional approach by proposing four different ways of estimating the residual errors based on the extent the approximate solution ha…
The nonconforming virtual element method (NCVEM) for the approximation of the weak solution to a general linear second-order non-selfadjoint indefinite elliptic PDE in a polygonal domain is analyzed under reduced elliptic regularity. The main tool in the a priori error analysis is the connection between the nonconforming virtual element space and the Sobolev space $H^1_0(Ω)$ by a right-inverse $J$ of the interpolation operator $I_h$. The stability of the discrete solution allows for the proof of existence of a unique discrete solution, of a discrete inf-sup estimate and, consequently, for opti…
Conforming and Non-Conforming Functional A Posteriori Error Estimates for Elliptic Boundary Value Problems in Exterior Domains: Theory and Numerical Tests
We present a framework that relates preconditioning with a posteriori error estimates in finite element methods. In particular, we use standard tools in subspace correction methods to obtain reliable and efficient error estimators. As a simple example, we recover the classical residual error estimators for the second order elliptic equations.
We design an adaptive unfitted finite element method on the Cartesian mesh with hanging nodes. We derive an hp-reliable and efficient residual type a posteriori error estimate on K-meshes. A key ingredient is a novel hp-domain inverse estimate which allows us to prove the stability of the finite element method under practical interface resolving mesh conditions and also prove the lower bound of the hp a posteriori error estimate. Numerical examples are included.
This paper proposes a method for rigorously analyzing the sign-change structure of solutions of elliptic partial differential equations subject to one of the three types of homogeneous boundary conditions: Dirichlet, Neumann, and mixed. Given explicitly estimated error bounds between an exact solution $ u $ and a numerically computed approximate solution $ \hat{u} $, we evaluate the number of sign-changes of $ u $ (the number of nodal domains) and determine the location of zero level-sets of $ u $ (the location of the nodal line). We apply this method to the Dirichlet problem of the Allen-Cahn…
