Searcharxiv⌕ Search

arXiv subjects

Johnny Guzmán

Publications and source records attributed to Johnny Guzmán.

At least 19 recordsLinked to original sources

Low-regularity finite element elasticity complexes with hybridizable stresses on tetrahedral Alfeld splits

Finite element elasticity complexes of low regularity are constructed on tetrahedral Alfeld splits. In comparison with existing three-dimensional elasticity complexes on such splits, the complexes constructed here lower both the Sobolev regularity and the polynomial degrees, while ending in a hybridizable $H({\rm div};\mathbb S)$-conforming symmetric stress space with no vertex degrees of freedom. The construction is obtained from local Bernstein-Gelfand-Gelfand arguments applied to polynomial de Rham complexes on the Alfeld split. Two local polynomial elasticity complexes are proved: an $H^2$-$H^1({\rm inc})$ complex and a lower-regularity $H^1({\rm curl})$-$H({\rm inc}^+)$ complex. Their bubble subcomplexes and dimension formulas are derived. These local exact sequences lead to unisolvent finite elements for the displacement and incompatibility spaces and to global finite element subcomplexes of the corresponding elasticity sequences. In the lowest-order $H^1({\rm curl})$-$H({\rm inc}^+)$ finite element complex, the $H({\rm inc}^+;\mathbb S)$-conforming tensor space is piecewise cubic. At the same order, the terminal stress-displacement pair recovers the Johnson-Mercier-Křížek element, while the construction covers higher-order hybridizable symmetric stresses for all $k\ge1$. A second family gives a low-regularity $H^1$-$H({\rm inc})$ finite element complex for the standard elasticity sequence for all $k\ge2$. Commuting interpolation diagrams are established for both global complexes.

math.NA↗

A local Fortin projection for the Scott-Vogelius elements on general meshes

We construct a local Fortin projection for the Scott-Vogelius finite element pair for polynomial degree $k \ge 4$ on general shape-regular triangulations in two dimensions. In particular, the triangulation may contain singular vertices. In addition to preserving the divergence in the dual of the pressure space, the projection preserves discrete boundary data and satisfies local stability estimates.

math.NA↗

A Framework for Analysis of DEC Approximations to Hodge-Laplacian Problems using Generalized Whitney Forms

We provide a framework for interpreting Discrete Exterior Calculus (DEC) numerical schemes in terms of Finite Element Exterior Calculus (FEEC). We demonstrate the equivalence of cochains on primal and dual meshes with Whitney and generalized Whitney forms which allows us to analyze DEC approximations using tools from FEEC. We demonstrate the applicability of our framework by rigorously proving convergence with rates for the Hodge-Laplacian problem in full $k$-form generality on well-centered meshes. We also provide numerical results illustrating optimality of our derived convergence rates. Moreover, we demonstrate how superconvergence phenomena can be explained in our framework with corresponding numerical results.

math.NA↗

Bounded, Commuting, Discrete-trace Preserving Projections

We construct bounded, commuting projections for the three-dimensional de Rham complex with the additional property that the projections preserve the trace of functions/fields if the latter is a piecewise polynomial in the appropriate trace space. The projections are locally defined and stable in the graph norm. More precisely, the part of the graph norm involving the exterior derivative only involves the oscillation of this derivative in a narrow strip of elements touching the boundary and weighted by the local mesh size. Moreover, the projections are $L^2$-stable locally when acting on functions/fields whose exterior derivative is a piecewise polynomial in the appropriate space. We present two salient applications of the present bounded, commuting, discrete-trace preserving projections: the construction of stable liftings of piecewise polynomial data and an optimality result on the discrete versus continuous extension of piecewise polynomial data.

math.NA↗

Discrete Poincare and Bogovskii operators on cochains and Whitney forms

Smooth Poincare operators are a tool used to show the vanishing of smooth de Rham cohomology on contractible manifolds and have found use in the analysis of finite element methods based on the Finite Element Exterior Calculus (FEEC). We construct analogous discrete Poincare operators acting on cochains and Whitney forms. We provide explicit, constructive realizations of these operators under various assumptions on the underlying domain or simplicial complex. In particular, we provide simple constructions for the discrete Poincare operators on simplicial complexes which are collapsible and those with underlying domain being star-shaped with respect to a point. We then provide more abstract constructions on simplicial complexes which are discrete contractible and domains which are Lipschitz contractible. We also modify the discrete Poincare operator on star-shaped domains to construct a discrete Bogovskii operator which satisfies the requisite homotopy identity while preserving homogeneous boundary conditions. Applications arise in the construction of discrete scalar and vector potentials and in the discrete wedge product of Discrete Exterior Calculus (DEC).

math.NA↗

Discrete Poincaré inequalities: a review on proofs, equivalent formulations, and behavior of constants

We investigate discrete Poincaré inequalities on piecewise polynomial subspaces of the Sobolev spaces H(curl) and H(div) in three space dimensions. We characterize the dependence of the constants on the continuous-level constants, the shape regularity and cardinality of the underlying tetrahedral mesh, and the polynomial degree. One important focus is on meshes being local patches (stars) of tetrahedra from a larger tetrahedral mesh. We also review various equivalent results to the discrete Poincaré inequalities, namely stability of discrete constrained minimization problems, discrete inf-sup conditions, bounds on operator norms of piecewise polynomial vector potential operators (Poincaré maps), and existence of graph-stable commuting projections.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

Discrete Elasticity Exact Sequences on Worsey-Farin Splits

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.

math.NA↗

Continuous Interior Penalty stabilization for divergence-free finite element methods

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.

math.NA↗

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

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.

math.NA↗

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

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

math.NA↗

Hybridization and postprocessing in finite element exterior calculus

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.

math.NA↗

A discrete elasticity complex on three-dimensional Alfeld splits

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗