Showing 1–45 of 45 results for author: Guzmán, J

Implicit-explicit Crank-Nicolson scheme for Oseen's equation at high Reynolds number

Authors: Erik Burman, Deepika Garg, Johnny Guzman

Abstract: In this paper we continue the work on implicit-explicit (IMEX) time discretizations for the incompressible Oseen equations that we started in \cite{BGG23} (E. Burman, D. Garg, J. Guzmàn, {\emph{Implicit-explicit time discretization for Oseen's equation at high Reynolds number with application to fractional step methods}}, SIAM J. Numer. Anal., 61, 2859--2886, 2023). The pressure velocity coupling… ▽ More In this paper we continue the work on implicit-explicit (IMEX) time discretizations for the incompressible Oseen equations that we started in \cite{BGG23} (E. Burman, D. Garg, J. Guzmàn, {\emph{Implicit-explicit time discretization for Oseen's equation at high Reynolds number with application to fractional step methods}}, SIAM J. Numer. Anal., 61, 2859--2886, 2023). The pressure velocity coupling and the viscous terms are treated implicitly, while the convection term is treated explicitly using extrapolation. Herein we focus on the implicit-explicit Crank-Nicolson method for time discretization. For the discretization in space we consider finite element methods with stabilization on the gradient jumps. The stabilizing terms ensures inf-sup stability for equal order interpolation and robustness at high Reynolds number. Under suitable Courant conditions we prove stability of the implicit-explicit Crank-Nicolson scheme in this regime. The stabilization allows us to prove error estimates of order $O(h^{k+\frac12} + τ^2)$. Here $h$ is the mesh parameter, $k$ the polynomial order and $τ$ the time step. Finally we discuss some fractional step methods that are implied by the IMEX scheme. Numerical examples are reported comparing the different methods when applied to the Navier-Stokes' equations. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: 33 pages

A second-order correction method for loosely coupled discretizations applied to parabolic-parabolic interface problems

Authors: Erik Burman, Rebecca Durst, Miguel A. Fernández, Johnny Guzmán, Si**g Liu

Abstract: We consider a parabolic-parabolic interface problem and construct a loosely coupled prediction-correction scheme based on the Robin-Robin splitting method analyzed in [J. Numer. Math., 31(1):59--77, 2023]. We show that the errors of the correction step converge at $\mathcal O((Δt)^2)$, under suitable convergence rate assumptions on the discrete time derivative of the prediction step, where $Δt$ st… ▽ More We consider a parabolic-parabolic interface problem and construct a loosely coupled prediction-correction scheme based on the Robin-Robin splitting method analyzed in [J. Numer. Math., 31(1):59--77, 2023]. We show that the errors of the correction step converge at $\mathcal O((Δt)^2)$, under suitable convergence rate assumptions on the discrete time derivative of the prediction step, where $Δt$ stands for the time-step length. Numerical results are shown to support our analysis and the assumptions. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Estimates of discrete time derivatives for the parabolic-parabolic Robin-Robin coupling method

Authors: Erik Burman, Rebecca Durst, Miguel A. Fernández, Johnny Guzmán, Si**g Liu

Abstract: We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [J. Numer. Math., 31(1):59--77, 2023] for a parabolic-parabolic interface problem and prove estimates for the discrete time derivatives of the scalar field in different norms. When the interface is flat and perpendicular to two of the edges of the domain we prove error estimates in the $H^2$-norm. Suc… ▽ More We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [J. Numer. Math., 31(1):59--77, 2023] for a parabolic-parabolic interface problem and prove estimates for the discrete time derivatives of the scalar field in different norms. When the interface is flat and perpendicular to two of the edges of the domain we prove error estimates in the $H^2$-norm. Such estimates are key ingredients to analyze a defect correction method for the parabolic-parabolic interface problem. Numerical results are shown to support our findings. △ Less

Submitted 1 April, 2024; originally announced April 2024.

The Johnson-Mercier elasticity element in any dimensions

Authors: Jay Gopalakrishnan, Johnny Guzman, Jeonghun J. Lee

Abstract: Mixed methods for linear elasticity with strongly symmetric stresses of lowest order are studied in this paper. On each simplex, the stress space has piecewise linear components with respect to its Alfeld split (which connects the vertices to barycenter), generalizing the Johnson-Mercier two-dimensional element to higher dimensions. Further reductions in the stress space in the three-dimensional c… ▽ More Mixed methods for linear elasticity with strongly symmetric stresses of lowest order are studied in this paper. On each simplex, the stress space has piecewise linear components with respect to its Alfeld split (which connects the vertices to barycenter), generalizing the Johnson-Mercier two-dimensional element to higher dimensions. Further reductions in the stress space in the three-dimensional case (to 24 degrees of freedom per tetrahedron) are possible when the displacement space is reduced to local rigid displacements. Proofs of optimal error estimates of numerical solutions and improved error estimates via postprocessing and the duality argument are presented. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 31 pages

MSC Class: 65N12; 65N15; 65N30

Discrete Elasticity Exact Sequences on Worsey-Farin Splits

Authors: Sining Gong, Jay Gopalakrishnan, Johnny Guzmán, Michael Neilan

Abstract: We construct conforming finite element elasticity complexes on Worsey-Farin splits in three dimensions. Spaces for displacement, strain, stress, and the load are connected in the elasticity complex through the differential operators representing deformation, incompatibility, and divergence. For each of these component spaces, a corresponding finite element space on Worsey-Farin meshes is exhibited… ▽ More We construct conforming finite element elasticity complexes on Worsey-Farin splits in three dimensions. Spaces for displacement, strain, stress, and the load are connected in the elasticity complex through the differential operators representing deformation, incompatibility, and divergence. For each of these component spaces, a corresponding finite element space on Worsey-Farin meshes is exhibited. Unisolvent degrees of freedom are developed for these finite elements, which also yields commuting (cochain) projections on smooth functions. A distinctive feature of the spaces in these complexes is the lack of extrinsic supersmoothness at subsimplices of the mesh. Notably, the complex yields the first (strongly) symmetric stress finite element with no vertex or edge degrees of freedom in three dimensions. Moreover, the lowest order stress space uses only piecewise linear functions which is the lowest feasible polynomial degree for the stress space. △ Less

Submitted 19 August, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Gluing data for factorization monoids and vertex ind-schemes

Authors: Juan Guzmán

Abstract: We give an explicit description of factorization algebras over the affine line, constructing them from the gluing data determined by its corresponding OPE algebra. We then generalize this construction to factorization monoids, obtaining a description of them in terms of a non-linear version of OPE algebras which we call OPE monoids. In the translation equivariant setting this approach allows us to… ▽ More We give an explicit description of factorization algebras over the affine line, constructing them from the gluing data determined by its corresponding OPE algebra. We then generalize this construction to factorization monoids, obtaining a description of them in terms of a non-linear version of OPE algebras which we call OPE monoids. In the translation equivariant setting this approach allows us to define vertex ind-schemes, which we interpret as a conformal analogue of the notion of Lie group, since we show that their linearizations yield vertex algebras and that their Zariski tangent spaces are Lie conformal algebras. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: 31 pages, 1 figure. Parts of this article used to be section 7 of arXiv:2004.02991v1, but it was extensively modified by the passage to algebraic geometry and its inclusion in the framework of Beilinson and Drinfeld's theory of chiral and factorization algebras

MSC Class: 17B69; 81R10

Continuous Interior Penalty stabilization for divergence-free finite element methods

Authors: Gabriel R. Barrenechea, Erik Burman, Ernesto Cáceres, Johnny Guzmán

Abstract: In this paper we propose, analyze, and test numerically a pressure-robust stabilized finite element for a linearized problem in incompressible fluid mechanics, namely, the steady Oseen equation with low viscosity. Stabilization terms are defined by jumps of different combinations of derivatives for the convective term over the element faces of the triangulation of the domain. With the help of thes… ▽ More In this paper we propose, analyze, and test numerically a pressure-robust stabilized finite element for a linearized problem in incompressible fluid mechanics, namely, the steady Oseen equation with low viscosity. Stabilization terms are defined by jumps of different combinations of derivatives for the convective term over the element faces of the triangulation of the domain. With the help of these stabilizing terms, and the fact the finite element space is assumed to provide a point-wise divergence-free velocity, an $\mathcal O\big(h^{k+\frac12}\big)$ error estimate in the $L^2$-norm is proved for the method (in the convection-dominated regime), and optimal order estimates in the remaining norms of the error. Numerical results supporting the theoretical findings are provided. △ Less

Submitted 9 November, 2022; v1 submitted 12 May, 2022; originally announced May 2022.

Comments: 3 figures, 23 pages

MSC Class: 65N30; 65N12; 76D07

A Note on the Shape Regularity of Worsey-Farin Splits

Authors: Sining Gong, Johnny Guzmán, Michael Neilan

Abstract: We prove three-dimensional Worsey-Farin refinements inherit their parent triangulations' shape-regularity. We prove three-dimensional Worsey-Farin refinements inherit their parent triangulations' shape-regularity. △ Less

Submitted 6 January, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Convergence of Lagrange Finite Element Methods for Maxwell Eigenvalue Problem in 3D

Authors: Daniele Boffi, Sining Gong, Johnny Guzmán, Michael Neilan

Abstract: We prove convergence of the Maxwell eigenvalue problem using quadratic or higher Lagrange finite elements on Worsey-Farin splits in three dimensions. To do this, we construct two Fortin-like operators to prove uniform convergence of the corresponding source problem. We present numerical experiments to illustrate the theoretical results. We prove convergence of the Maxwell eigenvalue problem using quadratic or higher Lagrange finite elements on Worsey-Farin splits in three dimensions. To do this, we construct two Fortin-like operators to prove uniform convergence of the corresponding source problem. We present numerical experiments to illustrate the theoretical results. △ Less

Submitted 22 April, 2022; originally announced April 2022.

MSC Class: 65N30

On the Fast Direct Solution of a Preconditioned Electromagnetic Integral Equation

Authors: Davide Consoli, Clément Henry, Alexandre Dély, Lyes Rahmouni, John Erik Ortiz Guzman, Tiffany L. Chhim, Simon B. Adrian, Adrien Merlini, Francesco P. Andriulli

Abstract: This work presents a fast direct solver strategy for electromagnetic integral equations in the high-frequency regime. The new scheme relies on a suitably preconditioned combined field formulation and results in a single skeleton form plus identity equation. This is obtained after a regularization of the elliptic spectrum through the extraction of a suitably chosen equivalent circulant problem. The… ▽ More This work presents a fast direct solver strategy for electromagnetic integral equations in the high-frequency regime. The new scheme relies on a suitably preconditioned combined field formulation and results in a single skeleton form plus identity equation. This is obtained after a regularization of the elliptic spectrum through the extraction of a suitably chosen equivalent circulant problem. The inverse of the system matrix is then obtained by leveraging the Woodbury matrix identity, the low-rank representation of the extracted part of the operator, and fast circulant algebra yielding a scheme with a favorable complexity and suitable for the solution of multiple right-hand sides. Theoretical considerations are accompanied by numerical results both of which are confirming and showing the practical relevance of the newly developed scheme. △ Less

Submitted 4 April, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Loosely coupled, non-iterative time-splitting scheme based on Robin-Robin coupling: unified analysis for parabolic/parabolic and parabolic/hyperbolic problems

Authors: Erik Burman, Rebecca Durst, Miguel Fernández, Johnny Guzmán

Abstract: We present a loosely coupled, non-iterative time-splitting scheme based on Robin-Robin coupling conditions. We apply a novel unified analysis for this scheme applied to both a Parabolic/Parabolic coupled system and a Parabolic/Hyperbolic coupled system. We show for both systems that the scheme is stable, and the error converges as $\mathcal{O}\big(Δt \sqrt{T +\log{\frac{1}{Δt}}}\big)$, where $Δt$… ▽ More We present a loosely coupled, non-iterative time-splitting scheme based on Robin-Robin coupling conditions. We apply a novel unified analysis for this scheme applied to both a Parabolic/Parabolic coupled system and a Parabolic/Hyperbolic coupled system. We show for both systems that the scheme is stable, and the error converges as $\mathcal{O}\big(Δt \sqrt{T +\log{\frac{1}{Δt}}}\big)$, where $Δt$ is the time step △ Less

Submitted 15 October, 2021; originally announced October 2021.

Low-order divergence-free approximations for the Stokes problem on Worsey-Farin and Powell-Sabin splits

Authors: Maurice Fabien, Johnny Guzman, Michael Neilan, Ahmed Zytoon

Abstract: We derive low-order, inf-sup stable and divergence-free finite element approximations for the Stokes problem using Worsey-Farin splits in three dimensions and Powell-Sabin splits in two dimensions. The velocity space simply consists of continuous, piecewise linear polynomials, where as the pressure space is a subspace of piecewise constants with weak continuity properties at singular edges (3D) an… ▽ More We derive low-order, inf-sup stable and divergence-free finite element approximations for the Stokes problem using Worsey-Farin splits in three dimensions and Powell-Sabin splits in two dimensions. The velocity space simply consists of continuous, piecewise linear polynomials, where as the pressure space is a subspace of piecewise constants with weak continuity properties at singular edges (3D) and singular vertices (2D). We discuss implementation aspects that arise when coding the pressure space, and in particular, show that the pressure constraints can be enforced at an algebraic level. △ Less

Submitted 19 May, 2021; originally announced May 2021.

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.

MSC Class: 65N30

Implicit-explicit multistep formulations for finite element discretisations using continuous interior penalty

Authors: Erik Burman, Johnny Guzman

Abstract: We consider a finite element method with symmetric stabilisation for the discretisation of the transient convection--diffusion equation. For the time-discretisation we consider either the second order backwards differentiation formula or the Crank-Nicolson method. Both the convection term and the associated stabilisation are treated explicitly using an extrapolated approximate solution. We prove s… ▽ More We consider a finite element method with symmetric stabilisation for the discretisation of the transient convection--diffusion equation. For the time-discretisation we consider either the second order backwards differentiation formula or the Crank-Nicolson method. Both the convection term and the associated stabilisation are treated explicitly using an extrapolated approximate solution. We prove stability of the method and the $τ^2 + h^{p+{\frac12}}$ error estimates for the $L^2$-norm under either the standard hyperbolic CFL condition, when piecewise affine ($p=1$) approximation is used, or in the case of finite element approximation of order $p \ge 1$, a stronger, so-called $4/3$-CFL, i.e. $τ\leq C h^{4/3}$. The theory is illustrated with some numerical examples. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Estimation of the continuity constants for Bogovskiĭ and regularized Poincaré integral operators

Authors: Johnny Guzman, Abner J. Salgado

Abstract: We study the dependence of the continuity constants for the regularized Poincaré and Bogovskiĭ integral operators acting on differential forms defined on a domain $Ω$ of $\mathbb{R}^n$. We, in particular, study the dependence of such constants on certain geometric characteristics of the domain when these operators are considered as map**s from (a subset of) $L^2(Ω,Λ^\ell)$ to… ▽ More We study the dependence of the continuity constants for the regularized Poincaré and Bogovskiĭ integral operators acting on differential forms defined on a domain $Ω$ of $\mathbb{R}^n$. We, in particular, study the dependence of such constants on certain geometric characteristics of the domain when these operators are considered as map**s from (a subset of) $L^2(Ω,Λ^\ell)$ to $H^1(Ω,Λ^{\ell-1})$, $\ell \in \{1, \ldots, n\}$. For domains $Ω$ that are star shaped with respect to a ball $B$ we study the dependence of the constants on the ratio $diam(Ω)/diam(B)$. A program on how to develop estimates for higher order Sobolev norms is presented. The results are extended to certain classes of unions of star shaped domains. △ Less

Submitted 8 October, 2020; originally announced October 2020.

MSC Class: 42B20; 42B37; 35S05; 35C15; 53A45; 58J10; 65M60

A discrete elasticity complex on three-dimensional Alfeld splits

Authors: Snorre H. Christiansen, Jay Gopalakrishnan, Johnny Guzmán, Kaibo Hu

Abstract: We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham compl… ▽ More We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham complexes, and smoother finite element differential forms. △ Less

Submitted 16 September, 2020; originally announced September 2020.

Exact sequences on Worsey-Farin Splits

Authors: Johnny Guzman, Anna Lischke, Michael Neilan

Abstract: We construct several smooth finite element spaces defined on three--dimensional Worsey--Farin splits. In particular, we construct $C^1$, $H^1(\curl)$, and $H^1$-conforming finite element spaces and show the discrete spaces satisfy local exactness properties. A feature of the spaces is their low polynomial degree and lack of extrinsic supersmoothness at sub-simplices of the mesh. In the lowest orde… ▽ More We construct several smooth finite element spaces defined on three--dimensional Worsey--Farin splits. In particular, we construct $C^1$, $H^1(\curl)$, and $H^1$-conforming finite element spaces and show the discrete spaces satisfy local exactness properties. A feature of the spaces is their low polynomial degree and lack of extrinsic supersmoothness at sub-simplices of the mesh. In the lowest order case, the last two spaces in the sequence consist of piecewise linear and piecewise constant spaces, and are suitable for the discretization of the (Navier-)Stokes equation. △ Less

Submitted 9 July, 2021; v1 submitted 12 August, 2020; originally announced August 2020.

Hybridization and postprocessing in finite element exterior calculus

Authors: Gerard Awanou, Maurice Fabien, Johnny Guzmán, Ari Stern

Abstract: We hybridize the methods of finite element exterior calculus for the Hodge-Laplace problem on differential $k$-forms in $\mathbb{R}^n$. In the cases $k = 0$ and $k = n$, we recover well-known primal and mixed hybrid methods for the scalar Poisson equation, while for $0 < k < n$, we obtain new hybrid finite element methods, including methods for the vector Poisson equation in $n = 2$ and $n = 3$ di… ▽ More We hybridize the methods of finite element exterior calculus for the Hodge-Laplace problem on differential $k$-forms in $\mathbb{R}^n$. In the cases $k = 0$ and $k = n$, we recover well-known primal and mixed hybrid methods for the scalar Poisson equation, while for $0 < k < n$, we obtain new hybrid finite element methods, including methods for the vector Poisson equation in $n = 2$ and $n = 3$ dimensions. We also generalize Stenberg postprocessing from $k = n$ to arbitrary $k$, proving new superconvergence estimates. Finally, we discuss how this hybridization framework may be extended to include nonconforming and hybridizable discontinuous Galerkin methods. △ Less

Submitted 6 October, 2021; v1 submitted 31 July, 2020; originally announced August 2020.

Comments: 30 pages; v2: major revisions to reduce length (cut review material from Section 2, eliminated Sections 3.4-3.5, fewer numerical experiments in Section 7), new results on trace norms (Lemma 2.3) and well-posedness (Theorem 3.4), and minor edits

MSC Class: 65N30 (Primary) 58A14 (Secondary)

A pressure-robust discretization of Oseen's equation using stabilization in the vorticity equation

Authors: Naveed Ahmed, Gabriel R. Barrenechea, Erik Burman, Johnny Guzmán, Alexander Linke, Christian Merdon

Abstract: Discretization of Navier-Stokes' equations using pressure-robust finite element methods is considered for the high Reynolds number regime. To counter oscillations due to dominating convection we add a stabilization based on a bulk term in the form of a residual-based least squares stabilization of the vorticity equation supplemented by a penalty term on (certain components of) the gradient jump ov… ▽ More Discretization of Navier-Stokes' equations using pressure-robust finite element methods is considered for the high Reynolds number regime. To counter oscillations due to dominating convection we add a stabilization based on a bulk term in the form of a residual-based least squares stabilization of the vorticity equation supplemented by a penalty term on (certain components of) the gradient jump over the elements faces. Since the stabilization is based on the vorticity equation, it is independent of the pressure gradients, which makes it pressure-robust. Thus, we prove pressure-independent error estimates in the linearized case, known as Oseen's problem. In fact, we prove an $O(h^{k+\frac12})$ error estimate in the $L^2$-norm that is known to be the best that can be expected for this type of problem. Numerical examples are provided that, in addition to confirming the theoretical results, show that the present method compares favorably to the classical residual-based SUPG stabilization. △ Less

Submitted 8 July, 2020; originally announced July 2020.

MSC Class: 65N30; 76D07

Fully discrete loosely coupled Robin-Robin scheme for incompressible fluid-structure interaction: stability and error analysis

Authors: Erik Burman, Rebecca Durst, Miguel A. Fernández, Johnny Guzmán

Abstract: We consider a fully discrete loosely coupled scheme for incompressible fluid-structure interaction based on the time semi-discrete splitting method introduced in {\emph{[Burman, Durst \& Guzmán, arXiv:1911.06760]}}. The splittling method uses a Robin-Robin type coupling that allows for a segregated solution of the solid and the fluid systems, without inner iterations. For the discretisation in spa… ▽ More We consider a fully discrete loosely coupled scheme for incompressible fluid-structure interaction based on the time semi-discrete splitting method introduced in {\emph{[Burman, Durst \& Guzmán, arXiv:1911.06760]}}. The splittling method uses a Robin-Robin type coupling that allows for a segregated solution of the solid and the fluid systems, without inner iterations. For the discretisation in space we consider piecewise affine continuous finite elements for all the fields and ensure the inf-sup condition by using a Brezzi-Pitkäranta type pressure stabilization. The interfacial fluid-stresses are evaluated in a variationally consistent fashion, that is shown to admit an equivalent Lagrange multiplier formulation. We prove that the method is unconditionally stable and robust with respect to the amount of added-mass in the system. Furthermore, we provide an error estimate that shows the error in the natural energy norm for the system is $\mathcal O\big(\sqrt{T}(\sqrt{Δt} + h)\big)$ where $T$ is the final time, $Δt$ the time-step length and $h$ the space discretization parameter. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Formal vertex laws associated to Lie conformal algebras

Authors: Carina Boyallian, Juan Guzmán

Abstract: We introduce several definitions within the framework of vertex and conformal algebras which are analogous to some important concepts of the classical Lie theory. Most importantly, we define formal vertex laws, which correspond to the notion of formal group law. We prove suitable vertex/conformal versions of a number of classical results such as the Milnor-Moore theorem, Cartier duality, and the e… ▽ More We introduce several definitions within the framework of vertex and conformal algebras which are analogous to some important concepts of the classical Lie theory. Most importantly, we define formal vertex laws, which correspond to the notion of formal group law. We prove suitable vertex/conformal versions of a number of classical results such as the Milnor-Moore theorem, Cartier duality, and the equivalence between formal group laws and Lie algebras. △ Less

Submitted 20 September, 2022; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 21 pages, published version. Removed sections 7 and 8 of the first version, which were reworked in terms of algebraic geometry in a new article, also submitted today

MSC Class: 17B69; 81T40

Journal ref: J. Math. Phys 63 (2022) 071701

Convergence of Lagrange finite elements for the Maxwell Eigenvalue Problem in 2D

Authors: Daniele Boffi, Johnny Guzman, Michael Neilan

Abstract: We consider finite element approximations of the Maxwell eigenvalue problem in two dimensions. We prove, in certain settings, convergence of the discrete eigenvalues using Lagrange finite elements. In particular, we prove convergence in three scenarios: piecewise linear elements on Powell--Sabin triangulations, piecewise quadratic elements on Clough--Tocher triangulations, and piecewise quartics (… ▽ More We consider finite element approximations of the Maxwell eigenvalue problem in two dimensions. We prove, in certain settings, convergence of the discrete eigenvalues using Lagrange finite elements. In particular, we prove convergence in three scenarios: piecewise linear elements on Powell--Sabin triangulations, piecewise quadratic elements on Clough--Tocher triangulations, and piecewise quartics (and higher) elements on general shape-regular triangulations. We provide numerical experiments that support the theoretical results. The computations also show that, on general triangulations, the eigenvalue approximations are very sensitive to nearly singular vertices, i.e., vertices that fall on exactly two "almost" straight lines. △ Less

Submitted 16 February, 2021; v1 submitted 18 March, 2020; originally announced March 2020.

Obtaining higher-order Galerkin accuracy when the boundary is polygonally approximated

Authors: Todd Dupont, Johnny Guzman, Ridgway Scott

Abstract: We study two techniques for correcting the geometrical error associated with domain approximation by a polygon. The first was introduced some time ago \cite{bramble1972projection} and leads to a nonsymmetric formulation for Poisson's equation. We introduce a new technique that yields a symmetric formulation and has similar performance. We compare both methods on a simple test problem. We study two techniques for correcting the geometrical error associated with domain approximation by a polygon. The first was introduced some time ago \cite{bramble1972projection} and leads to a nonsymmetric formulation for Poisson's equation. We introduce a new technique that yields a symmetric formulation and has similar performance. We compare both methods on a simple test problem. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 15 pages

MSC Class: 65N30

Stability and error analysis of a splitting method using Robin-Robin coupling applied to a fluid-structure interaction problem

Authors: Erik Burman, Rebecca Durst, Johnny Guzman

Abstract: We analyze a splitting method for a canonical fluid structure interaction problem. The splittling method uses a Robin-Robin boundary condition, explicit strategy. We prove the method is stable and, furthermore, we provide an error estimate that shows the error at the final time $T$ is $O(\sqrt{TΔt})$ where $Δt$ is the time step. We analyze a splitting method for a canonical fluid structure interaction problem. The splittling method uses a Robin-Robin boundary condition, explicit strategy. We prove the method is stable and, furthermore, we provide an error estimate that shows the error at the final time $T$ is $O(\sqrt{TΔt})$ where $Δt$ is the time step. △ Less

Submitted 21 April, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: 9 pages, 1 figure

MSC Class: 65M12

Well-posedness and H(div)-conforming finite element approximation of a linearised model for inviscid incompressible flow

Authors: Gabriel Barrenechea, Erik Burman, Johnny Guzmàn

Abstract: We consider a linearised model of incompressible inviscid flow. Using a regularisation based on the Hodge Laplacian we prove existence and uniqueness of weak solutions for smooth domains. The model problem is then discretised using H(div)-conforming finite element methods, for which we prove error estimates for the velocity approximation in the $L^2$-norm of order $O(h^{k+\frac12})$. We also prove… ▽ More We consider a linearised model of incompressible inviscid flow. Using a regularisation based on the Hodge Laplacian we prove existence and uniqueness of weak solutions for smooth domains. The model problem is then discretised using H(div)-conforming finite element methods, for which we prove error estimates for the velocity approximation in the $L^2$-norm of order $O(h^{k+\frac12})$. We also prove error estimates for the pressure error in the $L^2$-norm. △ Less

Submitted 6 December, 2019; v1 submitted 12 July, 2019; originally announced July 2019.

MSC Class: 35Q35; 76M10; 65N12; 65N15

New stability estimates for an unfitted finite element method for two-phase Stokes problem

Authors: Ernesto Cáceres, Johnny Guzmán, Maxim Olshanskii

Abstract: The paper addresses stability and finite element analysis of the stationary two-phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is… ▽ More The paper addresses stability and finite element analysis of the stationary two-phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is extended to the approximation of the two-phase Stokes problem by a finite element method. In the method considered, the interface between the phases does not respect the underlying triangulation, which put the finite element method into the class of unfitted discretizations. The finite element error estimates are proved with constants independent of viscosity. Numerical experiments supporting the theoretical results are provided. △ Less

Submitted 21 April, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Exact sequences on Powell-Sabin splits

Authors: J. Guzman, A. Lischke, M. Neilan

Abstract: We construct smooth finite elements spaces on Powell-Sabin triangulations that form an exact sequence. The first space of the sequence coincides with the classical $C^1$ Powell-Sabin space, while the others form stable and divergence-free yielding pairs for the Stokes problem. We develop degrees of freedom for these spaces that induce projections that commute with the differential operators. We construct smooth finite elements spaces on Powell-Sabin triangulations that form an exact sequence. The first space of the sequence coincides with the classical $C^1$ Powell-Sabin space, while the others form stable and divergence-free yielding pairs for the Stokes problem. We develop degrees of freedom for these spaces that induce projections that commute with the differential operators. △ Less

Submitted 10 April, 2019; originally announced April 2019.

On a Lie algebraic structure associated with a non-linear dynamical system

Authors: José Ramón Guzmán

Abstract: A family of Lie algebras of minimal dimension associated with vector fields that define a non-linear dynamical system is calculated. These Lie algebras contain the Heinsenberg algebra. An element that distinguishes these vector fields is called evapotranspiration function. This function can be calculated solving equations in partial derivatives that arise in determining the Heinsenberg algebra. Us… ▽ More A family of Lie algebras of minimal dimension associated with vector fields that define a non-linear dynamical system is calculated. These Lie algebras contain the Heinsenberg algebra. An element that distinguishes these vector fields is called evapotranspiration function. This function can be calculated solving equations in partial derivatives that arise in determining the Heinsenberg algebra. Using Kozsul homology for this Lie algebras, Euler characteristic is calculated. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Exact smooth piecewise polynomial sequences on Alfeld splits

Authors: Guosheng Fu, Johnny Guzman, Michael Neilan

Abstract: We develop exact piecewise polynomial sequences on Alfeld splits in any spatial dimension and any polynomial degree. An Alfeld split of a simplex is obtained by connecting the vertices of an $n$-simplex with its barycenter. We show that, on these triangulations, the kernel of the exterior derivative has enhanced smoothness. Byproducts of this theory include characterizations of discrete divergence… ▽ More We develop exact piecewise polynomial sequences on Alfeld splits in any spatial dimension and any polynomial degree. An Alfeld split of a simplex is obtained by connecting the vertices of an $n$-simplex with its barycenter. We show that, on these triangulations, the kernel of the exterior derivative has enhanced smoothness. Byproducts of this theory include characterizations of discrete divergence-free subspaces for the Stokes problem, commutative projections, and simple formulas for the dimensions of smooth polynomial spaces. △ Less

Submitted 16 July, 2018; originally announced July 2018.

Cubic Lagrange elements satisfying exact incompressibility

Authors: Johnny Guzman, Ridgway Scott

Abstract: We prove that an analog of the Scott-Vogelius finite elements are inf-sup stable on certain nondegenerate meshes for piecewise cubic velocity fields. We also characterize the divergence of the velocity space on such meshes. In addition, we show how such a characterization relates to the dimension of C^1 piecewise quartics on the same mesh. We prove that an analog of the Scott-Vogelius finite elements are inf-sup stable on certain nondegenerate meshes for piecewise cubic velocity fields. We also characterize the divergence of the velocity space on such meshes. In addition, we show how such a characterization relates to the dimension of C^1 piecewise quartics on the same mesh. △ Less

Submitted 2 December, 2017; originally announced December 2017.

Comments: 32 pages

MSC Class: 65; 65N30

Inf-sup stable finite elements on barycentric refinements producing divergence--free approximations in arbitrary dimensions

Authors: Johnny Guzman, Michael Neilan

Abstract: We construct several stable finite element pairs for the Stokes problem on barycentric refinements in arbitrary dimensions. A key feature of the spaces is that the divergence maps the discrete velocity space onto the the discrete pressure space; thus, when applied to models of incompressible flows, the pairs yield divergence-free velocity approximations. The key result is a local inf-sup stability… ▽ More We construct several stable finite element pairs for the Stokes problem on barycentric refinements in arbitrary dimensions. A key feature of the spaces is that the divergence maps the discrete velocity space onto the the discrete pressure space; thus, when applied to models of incompressible flows, the pairs yield divergence-free velocity approximations. The key result is a local inf-sup stability that holds for any dimension and for any polynomial degree. With this result, we construct global divergence-free and stable pairs in arbitrary dimension and for any polynomial degree. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Analysis of the finite element method for the Laplace--Beltrami equation on surfaces with regions of high curvature using graded meshes

Authors: Johnny Guzman, Alexandre Madureira, Marcus Sarkis, Shawn Walker

Abstract: We derive error estimates for the piecewise linear finite element approximation of the Laplace--Beltrami operator on a bounded, orientable, $C^3$, surface without boundary on general shape regular meshes. As an application, we consider a problem where the domain is split into two regions: one which has relatively high curvature and one that has low curvature. Using a graded mesh we prove error est… ▽ More We derive error estimates for the piecewise linear finite element approximation of the Laplace--Beltrami operator on a bounded, orientable, $C^3$, surface without boundary on general shape regular meshes. As an application, we consider a problem where the domain is split into two regions: one which has relatively high curvature and one that has low curvature. Using a graded mesh we prove error estimates that do not depend on the curvature on the high curvature region. Numerical experiments are provided. △ Less

Submitted 11 May, 2017; originally announced May 2017.

The Scott-Vogelius finite elements revisited

Authors: Johnny Guzman, Ridgway Scott

Abstract: We prove that the Scott-Vogelius finite elements are inf-sup stable on shape-regular meshes for piecewise quartic velocity fields and higher ($k \ge 4$). We prove that the Scott-Vogelius finite elements are inf-sup stable on shape-regular meshes for piecewise quartic velocity fields and higher ($k \ge 4$). △ Less

Submitted 28 April, 2017; originally announced May 2017.

Comments: 5 figures, 16 pages

Inf-sup stability of geometrically unfitted Stokes finite elements

Authors: Johnny Guzmán, Maxim Olshanskii

Abstract: The paper shows an inf-sup stability property for several well-known 2D and 3D Stokes elements on triangulations which are not fitted to a given smooth or polygonal domain. The property implies stability and optimal error estimates for a class of unfitted finite element methods for the Stokes and Stokes interface problems, such as Nitsche-XFEM or cutFEM. The error analysis is presented for the Sto… ▽ More The paper shows an inf-sup stability property for several well-known 2D and 3D Stokes elements on triangulations which are not fitted to a given smooth or polygonal domain. The property implies stability and optimal error estimates for a class of unfitted finite element methods for the Stokes and Stokes interface problems, such as Nitsche-XFEM or cutFEM. The error analysis is presented for the Stokes problem. All assumptions made in the paper are satisfied once the background mesh is shape-regular and fine enough. △ Less

Submitted 20 April, 2017; v1 submitted 31 May, 2016; originally announced May 2016.

Robust flux error estimation of an unfitted Nitsche method for high-contrast interface problems

Authors: Erik Burman, Johnny Guzman, Manuel A. Sanchez, Marcus Sarkis

Abstract: We prove an optimal error estimate for the flux variable for a stabilized unfitted Nitsche finite element method applied to an elliptic interface problem with discontinuous constant coefficients. Our result shows explicitly that this error estimate is totally independent of the diffusion coefficients We prove an optimal error estimate for the flux variable for a stabilized unfitted Nitsche finite element method applied to an elliptic interface problem with discontinuous constant coefficients. Our result shows explicitly that this error estimate is totally independent of the diffusion coefficients △ Less

Submitted 15 October, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: 10 pages

MSC Class: 65N30; 65N15

On the cop number of generalized Petersen graphs

Authors: Taylor Ball, Robert W. Bell, Jonathan Guzman, Madeleine Hanson-Colvin, Nikolas Schonscheck

Abstract: We show that the cop number of every generalized Petersen graph is at most 4. The strategy is to play a modified game of cops and robbers on an infinite cyclic covering space where the objective is to capture the robber or force the robber towards an end of the infinite graph. We prove that finite isometric subtrees are 1-guardable and apply this to determine the exact cop number of some families… ▽ More We show that the cop number of every generalized Petersen graph is at most 4. The strategy is to play a modified game of cops and robbers on an infinite cyclic covering space where the objective is to capture the robber or force the robber towards an end of the infinite graph. We prove that finite isometric subtrees are 1-guardable and apply this to determine the exact cop number of some families of generalized Petersen graphs. We also extend these ideas to prove that the cop number of any connected I-graph is at most 5. △ Less

Submitted 15 September, 2015; originally announced September 2015.

Comments: 12 pages, 5 figures

MSC Class: 05C57

Chip-firing on general invertible matrices

Authors: Johnny Guzman, Caroline Klivans

Abstract: We propose a generalization of the graphical chip-firing model allowing for the redistribution dynamics to be governed by any invertible integer matrix while maintaining the long term critical, superstable, and energy minimizing behavior of the classical model. We propose a generalization of the graphical chip-firing model allowing for the redistribution dynamics to be governed by any invertible integer matrix while maintaining the long term critical, superstable, and energy minimizing behavior of the classical model. △ Less

Submitted 18 August, 2015; originally announced August 2015.

A finite element method for high-contrast interface problems with error estimates independent of contrast

Authors: Johnny Guzman, Manuel A. Sanchez, Marcus Sarkis

Abstract: We define a new finite element method for a steady state elliptic problem with discontinuous diffusion coefficients where the meshes are not aligned with the interface. We prove optimal error estimates in the $L^2$ norm and $H^1$ weighted semi-norm independent of the contrast between the coefficients. Numerical experiments validating our theoretical findings are provided. We define a new finite element method for a steady state elliptic problem with discontinuous diffusion coefficients where the meshes are not aligned with the interface. We prove optimal error estimates in the $L^2$ norm and $H^1$ weighted semi-norm independent of the contrast between the coefficients. Numerical experiments validating our theoretical findings are provided. △ Less

Submitted 15 October, 2016; v1 submitted 14 July, 2015; originally announced July 2015.

Comments: 33 pages 5 figures

Higher-order finite element methods for elliptic problems with interfaces

Authors: Johnny Guzman, Manuel A. Sanchez, Marcus Sarkis

Abstract: We present higher-order piecewise continuous finite element methods for solving a class of interface problems in two dimensions. The method is based on correction terms added to the right-hand side in the standard variational formulation of the problem. We prove optimal error estimates of the methods on general quasi-uniform and shape regular meshes in maximum norms. In addition, we apply the meth… ▽ More We present higher-order piecewise continuous finite element methods for solving a class of interface problems in two dimensions. The method is based on correction terms added to the right-hand side in the standard variational formulation of the problem. We prove optimal error estimates of the methods on general quasi-uniform and shape regular meshes in maximum norms. In addition, we apply the method to a Stokes interface problem, adding correction terms for the velocity and the pressure, obtaining optimal convergence results. △ Less

Submitted 16 May, 2015; originally announced May 2015.

Comments: 26 pages, 6 figures. An earlier version of this paper appeared on November 13, 2014 in http://www.brown.edu/research/projects/scientific-computing/reports/2014

MSC Class: 65N30; 65N15

Discrete Extension Operators for Mixed finite element spaces on locally refined meshes

Authors: Mark Ainsworth, Johnny Guzmán, Francisco-Javier Sayas

Abstract: The existence of uniformly bounded discrete extension operators is established for conforming Raviart-Thomas and Nédélec discretisations of $H(div)$ and $H(curl)$ on locally refined partitions of a polyhedral domain into tetrahedra. The existence of uniformly bounded discrete extension operators is established for conforming Raviart-Thomas and Nédélec discretisations of $H(div)$ and $H(curl)$ on locally refined partitions of a polyhedral domain into tetrahedra. △ Less

Submitted 2 March, 2015; v1 submitted 20 June, 2014; originally announced June 2014.

Chip-firing and energy minimization on M-matrices

Authors: Johnny Guzmán, Caroline Klivans

Abstract: We consider chip-firing dynamics defined by arbitrary M-matrices. M-matrices generalize graph Laplacians and were shown by Gabrielov to yield avalanche finite systems. Building on the work of Baker and Shokrieh, we extend the concept of energy minimizing chip configurations. Given an M-matrix, we show that there exists a unique energy minimizing configuration in each equivalence class defined by t… ▽ More We consider chip-firing dynamics defined by arbitrary M-matrices. M-matrices generalize graph Laplacians and were shown by Gabrielov to yield avalanche finite systems. Building on the work of Baker and Shokrieh, we extend the concept of energy minimizing chip configurations. Given an M-matrix, we show that there exists a unique energy minimizing configuration in each equivalence class defined by the matrix. We define the class of $z$-superstable configurations which satisfy a strictly stronger stability requirement than superstable configurations (equivalently $G$-parking functions or reduced divisors). We prove that for any M-matrix, the $z$-superstable configurations coincide with the energy minimizing configurations. Moreover, we prove that the $z$-superstable configurations are in simple duality with critical configurations. Thus for all avalanche-finite systems (including all directed graphs with a global sink) there exist unique critical, energy minimizing and $z$-superstable configurations. The critical configurations are in simple duality with energy minimizers which coincide with $z$-superstable configurations. △ Less

Submitted 21 November, 2014; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: 11 pages, revised version, to appear in JCTA

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.

Comments: 16 pages, 7 figures, 5 tables; version 2 has minor stylistic corrections, corresponds to version to appear in Transactions of the AMS 2014

MSC Class: Primary 58A10; 65N30; Secondary 39A12; 57Q55; 58A14

Journal ref: Trans. Amer. Math. Soc. 366 (2014) 5487-5502

Convergence Analysis of the Lowest Order Weakly Penalized Adaptive Discontinuous Galerkin Methods

Authors: Thirupathi Gudi, Johnny Guzmán

Abstract: In this article, we prove convergence of the weakly penalized adaptive discontinuous Galerkin methods. Unlike other works, we derive the contraction property for various discontinuous Galerkin methods only assuming the stabilizing parameters are large enough to stabilize the method. A central idea in the analysis is to construct an auxiliary solution from the discontinuous Galerkin solution by a s… ▽ More In this article, we prove convergence of the weakly penalized adaptive discontinuous Galerkin methods. Unlike other works, we derive the contraction property for various discontinuous Galerkin methods only assuming the stabilizing parameters are large enough to stabilize the method. A central idea in the analysis is to construct an auxiliary solution from the discontinuous Galerkin solution by a simple post processing. Based on the auxiliary solution, we define the adaptive algorithm which guides to the convergence of adaptive discontinuous Galerkin methods. △ Less

Submitted 11 September, 2012; originally announced September 2012.

Journal ref: ESAIM: M2AN 48 (2014) 753-764

A Note on the Ladyzenskaja-Babuska-Brezzi Condition

Authors: Abner J. Salgado, Johnny Guzman, Francisco-Javier Sayas

Abstract: The analysis of finite-element-like Galerkin discretization techniques for the stationary Stokes problem relies on the so-called LBB condition. In this work we discuss equivalent formulations of the LBB condition. The analysis of finite-element-like Galerkin discretization techniques for the stationary Stokes problem relies on the so-called LBB condition. In this work we discuss equivalent formulations of the LBB condition. △ Less

Submitted 8 March, 2012; originally announced March 2012.

MSC Class: 6D07; 65M60; 65M12

Local energy estimates for the finite element method on sharply varying grids

Authors: Alan Demlow, Johnny Guzman, Alfred H. Schatz

Abstract: Local energy error estimates for the finite element method for elliptic problems were originally proved in 1974 by Nitsche and Schatz. These estimates show that the local energy error may be bounded by a local approximation term, plus a global "pollution" term that measures the influence of solution quality from outside the domain of interest and is heuristically of higher order. However, the or… ▽ More Local energy error estimates for the finite element method for elliptic problems were originally proved in 1974 by Nitsche and Schatz. These estimates show that the local energy error may be bounded by a local approximation term, plus a global "pollution" term that measures the influence of solution quality from outside the domain of interest and is heuristically of higher order. However, the original analysis of Nitsche and Schatz is restricted to quasi-uniform grids. We present local a priori energy estimates that are valid on shape regular grids, an assumption which allows for highly graded meshes and which much more closely matches the typical practical situation. Our chief technical innovation is an improved superapproximation result. △ Less

Submitted 15 August, 2008; originally announced August 2008.

MSC Class: 65N30