Showing 1–24 of 24 results for author: Rodrigo, C

Oscillation-free numerical schemes for Biot's model and their iterative coupling solution

Authors: Álvaro Pé de la Riva, Francisco J. Gaspar, Xiaozhe Hu, James Adler, Carmen Rodrigo, Ludmil Zikatanov

Abstract: In this work, we present a new stabilization method aimed at removing spurious oscillations in the pressure approximation of Biot's model for poroelasticity with low permeabilities and/or small time steps. We consider different finite-element discretizations and illustrate how not only does such a stabilized scheme provide numerical solutions that are free of non-physical oscillations, but it also… ▽ More In this work, we present a new stabilization method aimed at removing spurious oscillations in the pressure approximation of Biot's model for poroelasticity with low permeabilities and/or small time steps. We consider different finite-element discretizations and illustrate how not only does such a stabilized scheme provide numerical solutions that are free of non-physical oscillations, but it also allows one to iterate the fluid and mechanics problems in a fashion similar to the well-known fixed-stress split method. The resulting solution method is convergent without the necessity for additional terms to stabilize the iteration. Finally, we present numerical results illustrating the robust behavior of both the stabilization and iterative solver with respect to the physical and discretization parameters of the model. △ Less

Submitted 28 July, 2024; originally announced July 2024.

Multigrid solvers for multipoint flux approximations of the Darcy problem on rough quadrilateral grids

Authors: Andrés Arrarás, Francisco J. Gaspar, Laura Portero, Carmen Rodrigo

Abstract: In this work, an efficient blackbox-type multigrid method is proposed for solving multipoint flux approximations of the Darcy problem on logically rectangular grids. The approach is based on a cell-centered multigrid algorithm, which combines a piecewise constant interpolation and the restriction operator by Wesseling/Khalil with a line-wise relaxation procedure. A local Fourier analysis is perfor… ▽ More In this work, an efficient blackbox-type multigrid method is proposed for solving multipoint flux approximations of the Darcy problem on logically rectangular grids. The approach is based on a cell-centered multigrid algorithm, which combines a piecewise constant interpolation and the restriction operator by Wesseling/Khalil with a line-wise relaxation procedure. A local Fourier analysis is performed for the case of a Cartesian uniform grid. The method shows a robust convergence for different full tensor coefficient problems and several rough quadrilateral grids. △ Less

Submitted 9 February, 2024; originally announced February 2024.

MSC Class: 65F10; 65N22; 65N55; 76S05

A model for runway operation decisions with stable queues

Authors: Carlos D. F. J. Bernardes, César Rodrigo

Abstract: The landing and takeoff operations for an airport at any given day are described in terms of the capacity envelopes associated to runway system configurations, of the scheduled flights along the day and of predefined delay tolerances for both types of operations. Assuming the inter-arrival times and service times are random variables with known quadratic ratio of momenta, it is possible to identif… ▽ More The landing and takeoff operations for an airport at any given day are described in terms of the capacity envelopes associated to runway system configurations, of the scheduled flights along the day and of predefined delay tolerances for both types of operations. Assuming the inter-arrival times and service times are random variables with known quadratic ratio of momenta, it is possible to identify a parameter, the stable transit time associated to each service and slot, that measures the performance of the airport along the day. Even though constraints on service rates and definition of transit times are nonlinear, the description of runway system capacity using observed operational throughput control points allows to perform an optimization of the service given by the runway system in the general linear programming framework, minimizing costs associated to delays. △ Less

Submitted 18 October, 2023; originally announced October 2023.

A Local Fourier Analysis for Additive Schwarz Smoothers

Authors: Álvaro Pé de la Riva, Carmen Rodrigo, Francisco J. Gaspar, James H. Adler, Xiaozhe Hu, Ludmil Zikatanov

Abstract: In this work, a local Fourier analysis is presented to study the convergence of multigrid methods based on additive Schwarz smoothers. This analysis is presented as a general framework which allows us to study these smoothers for any type of discretization and problem. The presented framework is crucial in practice since it allows one to know a priori the answer to questions such as what is the si… ▽ More In this work, a local Fourier analysis is presented to study the convergence of multigrid methods based on additive Schwarz smoothers. This analysis is presented as a general framework which allows us to study these smoothers for any type of discretization and problem. The presented framework is crucial in practice since it allows one to know a priori the answer to questions such as what is the size of the patch to use within these relaxations, the size of the overlapping, or even the optimal values for the weights involved in the smoother. Results are shown for a class of additive and restricted additive Schwarz relaxations used within a multigrid framework applied to high-order finite-element discretizations and saddle point problems, which are two of the contexts in which these type of relaxations are widely used. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Cayley-Menger extension of metrics on affine spaces

Authors: Ana Casimiro, Cesar Rodrigo

Abstract: Associated to any affine space A endowed with a metric structure of arbitrary signature we consider the space of affine functionals operating on the space of quadratic functions of A. On this functional space we characterize a symmetric bilinear form derived from the metric structure in a functorial way. We explore the geometrical relations of the relevant objects in this new metric space. Their p… ▽ More Associated to any affine space A endowed with a metric structure of arbitrary signature we consider the space of affine functionals operating on the space of quadratic functions of A. On this functional space we characterize a symmetric bilinear form derived from the metric structure in a functorial way. We explore the geometrical relations of the relevant objects in this new metric space. Their properties encode all characteristics known in the literature for euclidean squared distance matrices, Cayley-Menger matrices and determinants, squared distance coordinate systems, and Lie and Möbius sphere geometries. Birthing this form as Cayley-Menger product, it represents a geometrical foundation unifying results in all these areas, extending them to metric affine spaces or bundles. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 49 pages, 1 figure

MSC Class: 51N10; 15A63; 15B99; 51M04; 51M09

A two level method for isogeometric discretizations

Authors: Álvaro Pé de la Riva, Carmen Rodrigo, Francisco J. Gaspar

Abstract: Isogeometric Analysis (IGA) is a computational technique for the numerical approximation of partial differential equations (PDEs). This technique is based on the use of spline-type basis functions, that are able to hold a global smoothness and allow to exactly capture a wide set of common geometries. The current rise of this approach has encouraged the search of fast solvers for isogeometric discr… ▽ More Isogeometric Analysis (IGA) is a computational technique for the numerical approximation of partial differential equations (PDEs). This technique is based on the use of spline-type basis functions, that are able to hold a global smoothness and allow to exactly capture a wide set of common geometries. The current rise of this approach has encouraged the search of fast solvers for isogeometric discretizations and nowadays this topic is full of interest. In this framework, a desired property of the solvers is the robustness with respect to both the polinomial degree $p$ and the mesh size $h$. For this task, in this paper we propose a two-level method such that a discretization of order $p$ is considered in the first level whereas the second level consists of a linear or quadratic discretization. On the first level, we suggest to apply one single iteration of a multiplicative Schwarz method. The choice of the block-size of such an iteration depends on the spline degree $p$, and is supported by a local Fourier analysis (LFA). At the second level one is free to apply any given strategy to solve the problem exactly. However, it is also possible to get an approximation of the solution at this level by using an $h-$multigrid method. The resulting solver is efficient and robust with respect to the spline degree $p$. Finally, some numerical experiments are given in order to demonstrate the good performance of the proposed solver. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Robust preconditioners for a new stabilized discretization of the poroelastic equations

Authors: James H. Adler, Francisco J. Gaspar, Xiaozhe Hu, Peter Ohm, Carmen Rodrigo, Ludmil T. Zikatanov

Abstract: In this paper, we present block preconditioners for a stabilized discretization of the poroelastic equations developed in [45]. The discretization is proved to be well-posed with respect to the physical and discretization parameters, and thus provides a framework to develop preconditioners that are robust with respect to such parameters as well. We construct both norm-equivalent (diagonal) and fie… ▽ More In this paper, we present block preconditioners for a stabilized discretization of the poroelastic equations developed in [45]. The discretization is proved to be well-posed with respect to the physical and discretization parameters, and thus provides a framework to develop preconditioners that are robust with respect to such parameters as well. We construct both norm-equivalent (diagonal) and field-of-value-equivalent (triangular) preconditioners for both the stabilized discretization and a perturbation of the stabilized discretization that leads to a smaller overall problem after static condensation. Numerical tests for both two- and three-dimensional problems confirm the robustness of the block preconditioners with respect to the physical and discretization parameters. △ Less

Submitted 3 January, 2020; v1 submitted 24 May, 2019; originally announced May 2019.

A parametric acceleration of multilevel Monte Carlo convergence for nonlinear variably saturated flow

Authors: Prashant Kumar, Carmen Rodrigo, Francisco J. Gaspar, Cornelis W. Oosterlee

Abstract: We present a multilevel Monte Carlo (MLMC) method for the uncertainty quantification of variably saturated porous media flow that are modeled using the Richards' equation. We propose a stochastic extension for the empirical models that are typically employed to close the Richards' equations. This is achieved by treating the soil parameters in these models as spatially correlated random fields with… ▽ More We present a multilevel Monte Carlo (MLMC) method for the uncertainty quantification of variably saturated porous media flow that are modeled using the Richards' equation. We propose a stochastic extension for the empirical models that are typically employed to close the Richards' equations. This is achieved by treating the soil parameters in these models as spatially correlated random fields with appropriately defined marginal distributions. As some of these parameters can only take values in a specific range, non-Gaussian models are utilized. The randomness in these parameters may result in path-wise highly nonlinear systems, so that a robust solver with respect to the random input is required. For this purpose, a solution method based on a combination of the modified Picard iteration and a cell-centered multigrid method for heterogeneous diffusion coefficients is utilized. Moreover, we propose a non-standard MLMC estimator to solve the resulting high-dimensional stochastic Richards' equation. The improved efficiency of this multilevel estimator is achieved by parametric continuation that allows us to incorporate simpler nonlinear problems on coarser levels for variance reduction while the target strongly nonlinear problem is solved only on the finest level. Several numerical experiments are presented showing computational savings obtained by the new estimator compared to the original MC estimator. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Geometric multigrid methods for Darcy-Forchheimer flow in fractured porous media

Authors: Andrés Arrarás, Francisco J. Gaspar, Laura Portero, Carmen Rodrigo

Abstract: In this paper, we present a monolithic multigrid method for the efficient solution of flow problems in fractured porous media. Specifically, we consider a mixed-dimensional model which couples Darcy flow in the porous matrix with Forchheimer flow within the fractures. A suitable finite volume discretization permits to reduce the coupled problem to a system of nonlinear equations with a saddle poin… ▽ More In this paper, we present a monolithic multigrid method for the efficient solution of flow problems in fractured porous media. Specifically, we consider a mixed-dimensional model which couples Darcy flow in the porous matrix with Forchheimer flow within the fractures. A suitable finite volume discretization permits to reduce the coupled problem to a system of nonlinear equations with a saddle point structure. In order to solve this system, we propose a full approximation scheme (FAS) multigrid solver that appropriately deals with the mixed-dimensional nature of the problem by using mixed-dimensional smoothing and inter-grid transfer operators. Remarkably, the nonlinearity is localized in the fractures, and no coupling between the porous matrix and the fracture unknowns is needed in the smoothing procedure. Numerical experiments show that the proposed multigrid method is robust with respect to the fracture permeability, the Forchheimer coefficient and the mesh size. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: arXiv admin note: text overlap with arXiv:1811.01264

MSC Class: 65F10; 65N22; 65N55; 76S05

Monolithic mixed-dimensional multigrid methods for single-phase flow in fractured porous media

Authors: Andrés Arrarás, Francisco J. Gaspar, Laura Portero, Carmen Rodrigo

Abstract: This paper deals with the efficient numerical solution of single-phase flow problems in fractured porous media. A monolithic multigrid method is proposed for solving two-dimensional arbitrary fracture networks with vertical and/or horizontal possibly intersecting fractures. The key point is to combine two-dimensional multigrid components (smoother and inter-grid transfer operators) in the porous m… ▽ More This paper deals with the efficient numerical solution of single-phase flow problems in fractured porous media. A monolithic multigrid method is proposed for solving two-dimensional arbitrary fracture networks with vertical and/or horizontal possibly intersecting fractures. The key point is to combine two-dimensional multigrid components (smoother and inter-grid transfer operators) in the porous matrix with their one-dimensional counterparts within the fractures, giving rise to a mixed-dimensional multigrid method. This combination seems to be optimal since it provides an algorithm whose convergence matches the multigrid convergence factor for solving the Darcy problem. Several numerical experiments are presented to demonstrate the robustness of the monolithic mixed-dimensional multigrid method with respect to the permeability of the fractures, the grid size and the number of fractures in the network. △ Less

Submitted 3 November, 2018; originally announced November 2018.

An efficient multigrid solver for isogeometric analysis

Authors: Álvaro Pé de la Riva, Carmen Rodrigo, Francisco J. Gaspar

Abstract: The design of fast solvers for isogeometric analysis is receiving a lot of attention due to the challenge that offers to find an algorithm with a robust convergence with respect to the spline degree. Here, we analyze the application of geometric multigrid methods to this type of discretizations, and we propose a multigrid approach based on overlapping multiplicative Schwarz methods as smoothers. T… ▽ More The design of fast solvers for isogeometric analysis is receiving a lot of attention due to the challenge that offers to find an algorithm with a robust convergence with respect to the spline degree. Here, we analyze the application of geometric multigrid methods to this type of discretizations, and we propose a multigrid approach based on overlapping multiplicative Schwarz methods as smoothers. The size of the blocks considered within these relaxation procedures is adapted to the spline degree. A simple multigrid V-cycle with only one step of pre-smoothing results to be a very efficient algorithm, whose convergence is independent on the spline degree and the spatial discretization parameter. Local Fourier analysis is shown to be very useful for the understanding of the problems encountered in the design of a robust multigrid method for IGA, and it is performed to support the good convergence properties of the proposed solver. In fact, an analysis for any spline degree and an arbitrary size of the blocks within the Schwarz smoother is presented for the one-dimensional case. The efficiency of the solver is also demonstrated through several numerical experiments, including a two-dimensional problem on a nontrivial computational domain. △ Less

Submitted 15 June, 2018; originally announced June 2018.

On local Fourier analysis of multigrid methods for PDEs with jumping and random coefficients

Authors: Prashant Kumar, Carmen Rodrigo, Francisco J. Gaspar, Cornelis W. Oosterlee

Abstract: In this paper, we propose a novel non-standard Local Fourier Analysis (LFA) variant for accurately predicting the multigrid convergence of problems with random and jumping coefficients. This LFA method is based on a specific basis of the Fourier space rather than the commonly used Fourier modes. To show the utility of this analysis, we consider, as an example, a simple cell-centered multigrid meth… ▽ More In this paper, we propose a novel non-standard Local Fourier Analysis (LFA) variant for accurately predicting the multigrid convergence of problems with random and jumping coefficients. This LFA method is based on a specific basis of the Fourier space rather than the commonly used Fourier modes. To show the utility of this analysis, we consider, as an example, a simple cell-centered multigrid method for solving a steady-state single phase flow problem in a random porous medium. We successfully demonstrate the prediction capability of the proposed LFA using a number of challenging benchmark problems. The information provided by this analysis helps us to estimate a-priori the time needed for solving certain uncertainty quantification problems by means of a multigrid multilevel Monte Carlo method. △ Less

Submitted 25 February, 2019; v1 submitted 14 March, 2018; originally announced March 2018.

A parallel-in-time fixed-stress splitting method for Biot's consolidation model

Authors: Manuel Borregales, Kundan Kumar, Florin Adrian Radu, Carmen Rodrigo, Francisco José Gaspar

Abstract: In this work, we study the parallel-in-time iterative solution of coupled flow and geomechanics in porous media, modelled by a two-field formulation of the Biot's equations. In particular, we propose a new version of the fixed stress splitting method, which has been widely used as solution method of these problems. This new approach forgets about the sequential nature of the temporal variable and… ▽ More In this work, we study the parallel-in-time iterative solution of coupled flow and geomechanics in porous media, modelled by a two-field formulation of the Biot's equations. In particular, we propose a new version of the fixed stress splitting method, which has been widely used as solution method of these problems. This new approach forgets about the sequential nature of the temporal variable and considers the time direction as a further direction for parallelization. We present a rigorous convergence analysis of the method and a numerical experiment to demonstrate the robust behaviour of the algorithm. △ Less

Submitted 3 February, 2018; originally announced February 2018.

On the validity of the local Fourier analysis

Authors: Carmen Rodrigo, Francisco J. Gaspar, Ludmil T. Zikatanov

Abstract: Local Fourier analysis (LFA) is a useful tool in predicting the convergence factors of geometric multigrid methods (GMG). As is well known, on rectangular domains with periodic boundary conditions this analysis gives the exact convergence factors of such methods. In this work, using the Fourier method, we extend these results by proving that such analysis yields the exact convergence factors for a… ▽ More Local Fourier analysis (LFA) is a useful tool in predicting the convergence factors of geometric multigrid methods (GMG). As is well known, on rectangular domains with periodic boundary conditions this analysis gives the exact convergence factors of such methods. In this work, using the Fourier method, we extend these results by proving that such analysis yields the exact convergence factors for a wider class of problems. △ Less

Submitted 7 October, 2017; v1 submitted 1 October, 2017; originally announced October 2017.

Using hierarchical matrices in the solution of the time-fractional heat equation by multigrid waveform relaxation

Authors: Xiaozhe Hu, Carmen Rodrigo, Francisco J. Gaspar

Abstract: This work deals with the efficient numerical solution of the time-fractional heat equation discretized on non-uniform temporal meshes. Non-uniform grids are essential to capture the singularities of "typical" solutions of time-fractional problems. We propose an efficient space-time multigrid method based on the waveform relaxation technique, which accounts for the nonlocal character of the fractio… ▽ More This work deals with the efficient numerical solution of the time-fractional heat equation discretized on non-uniform temporal meshes. Non-uniform grids are essential to capture the singularities of "typical" solutions of time-fractional problems. We propose an efficient space-time multigrid method based on the waveform relaxation technique, which accounts for the nonlocal character of the fractional differential operator. To maintain an optimal complexity, which can be obtained for the case of uniform grids, we approximate the coefficient matrix corresponding to the temporal discretization by its hierarchical matrix (${\cal H}$-matrix) representation. In particular, the proposed method has a computational cost of ${\cal O}(k N M \log(M))$, where $M$ is the number of time steps, $N$ is the number of spatial grid points, and $k$ is a parameter which controls the accuracy of the ${\cal H}$-matrix approximation. The efficiency and the good convergence of the algorithm, which can be theoretically justified by a semi-algebraic mode analysis, are demonstrated through numerical experiments in both one- and two-dimensional spaces. △ Less

Submitted 7 May, 2020; v1 submitted 23 June, 2017; originally announced June 2017.

MSC Class: 65F10; 65M22; 65M55

New stabilized discretizations for poroelasticity and the Stokes' equations

Authors: Carmen Rodrigo, Xiaozhe Hu, Peter Ohm, James H. Adler, Francisco J. Gaspar, Ludmil Zikatanov

Abstract: In this work, we consider the popular P1-RT0-P0 discretization of the three-field formulation of Biot's consolidation problem. Since this finite-element formulation does not satisfy an inf-sup condition uniformly with respect to the physical parameters, several issues arise in numerical simulations. For example, when the permeability is small with respect to the mesh size, volumetric locking may o… ▽ More In this work, we consider the popular P1-RT0-P0 discretization of the three-field formulation of Biot's consolidation problem. Since this finite-element formulation does not satisfy an inf-sup condition uniformly with respect to the physical parameters, several issues arise in numerical simulations. For example, when the permeability is small with respect to the mesh size, volumetric locking may occur. Thus, we propose a stabilization technique that enriches the piecewise linear finite-element space of the displacement with the span of edge/face bubble functions. We show that for Biot's model this does give rise to discretizations that are uniformly stable with respect to the physical parameters. We also propose a perturbation of the bilinear form, which allows for local elimination of the bubble functions and provides a uniformly stable scheme with the same number of degrees of freedom as the classical P1-RT0-P0 approach. We prove optimal stability and error estimates for this discretization. Finally, we show that this scheme can also be successfully applied to Stokes' equations, yielding a discrete problem with optimal approximation properties and with minimum number of degrees of freedom (equivalent to a P1-P0 discretization). Numerical tests confirm the theory for both poroelastic and Stokes' test problems. △ Less

Submitted 20 June, 2017; v1 submitted 16 June, 2017; originally announced June 2017.

Robust Block Preconditioners for Biot's Model

Authors: James H. Adler, Francisco J. Gaspar, Xiaozhe Hu, Carmen Rodrigo, Ludmil T. Zikatanov

Abstract: In this paper, we design robust and efficient block preconditioners for the two-field formulation of Biot's consolidation model, where stabilized finite-element discretizations are used. The proposed block preconditioners are based on the well-posedness of the discrete linear systems. Block diagonal (norm-equivalent) and block triangular preconditioners are developed, and we prove that these metho… ▽ More In this paper, we design robust and efficient block preconditioners for the two-field formulation of Biot's consolidation model, where stabilized finite-element discretizations are used. The proposed block preconditioners are based on the well-posedness of the discrete linear systems. Block diagonal (norm-equivalent) and block triangular preconditioners are developed, and we prove that these methods are robust with respect to both physical and discretization parameters. Numerical results are presented to support the theoretical results. △ Less

Submitted 24 May, 2017; originally announced May 2017.

Comments: submitted

Multigrid waveform relaxation for the time-fractional heat equation

Authors: Francisco J. Gaspar, Carmen Rodrigo

Abstract: In this work, we propose an efficient and robust multigrid method for solving the time-fractional heat equation. Due to the nonlocal property of fractional differential operators, numerical methods usually generate systems of equations for which the coefficient matrix is dense. Therefore, the design of efficient solvers for the numerical simulation of these problems is a difficult task. We develop… ▽ More In this work, we propose an efficient and robust multigrid method for solving the time-fractional heat equation. Due to the nonlocal property of fractional differential operators, numerical methods usually generate systems of equations for which the coefficient matrix is dense. Therefore, the design of efficient solvers for the numerical simulation of these problems is a difficult task. We develop a parallel-in-time multigrid algorithm based on the waveform relaxation approach, whose application to time-fractional problems seems very natural due to the fact that the fractional derivative at each spatial point depends on the values of the function at this point at all earlier times. Exploiting the Toeplitz-like structure of the coefficient matrix, the proposed multigrid waveform relaxation method has a computational cost of $O(N M \log(M))$ operations, where $M$ is the number of time steps and $N$ is the number of spatial grid points. A semi-algebraic mode analysis is also developed to theoretically confirm the good results obtained. Several numerical experiments, including examples with non-smooth solutions and a nonlinear problem with applications in porous media, are presented. △ Less

Submitted 24 August, 2017; v1 submitted 18 August, 2016; originally announced August 2016.

A Nonconforming Finite Element Method for the Biot's Consolidation Model in Poroelasticity

Authors: Xiaozhe Hu, Carmen Rodrigo, Francisco J. Gaspar, Ludmil T. Zikatanov

Abstract: A stable finite element scheme that avoids pressure oscillations for a three-field Biot's model in poroelasticity is considered. The involved variables are the displacements, fluid flux (Darcy velocity), and the pore pressure, and they are discretized by using the lowest possible approximation order: Crouzeix-Raviart finite elements for the displacements, lowest order Raviart-Thomas-Nedelec elemen… ▽ More A stable finite element scheme that avoids pressure oscillations for a three-field Biot's model in poroelasticity is considered. The involved variables are the displacements, fluid flux (Darcy velocity), and the pore pressure, and they are discretized by using the lowest possible approximation order: Crouzeix-Raviart finite elements for the displacements, lowest order Raviart-Thomas-Nedelec elements for the Darcy velocity, and piecewise constant approximation for the pressure. Mass lumping technique is introduced for the Raviart-Thomas-Nedelec elements in order to eliminate the Darcy velocity and, therefore, reduce the computational cost. We show convergence of the discrete scheme which is implicit in time and use these types of elements in space with and without mass lumping. Finally, numerical experiments illustrate the convergence of the method and show its effectiveness to avoid spurious pressure oscillations when mass lumping for the Raviart-Thomas-Nedelec elements is used. △ Less

Submitted 1 May, 2016; v1 submitted 9 February, 2016; originally announced February 2016.

MSC Class: 65N30

On a local Fourier analysis for overlapping block smoothers on triangular grids

Authors: Carmen Rodrigo, Francisco J. Gaspar, Francisco J. Lisbona

Abstract: A general local Fourier analysis for overlapping block smoothers on triangular grids is presented. This analysis is explained in a general form for its application to problems with different discretizations. This tool is demonstrated for two different problems: a stabilized linear finite element discretization of Stokes equations and an edge-based discretization of the curl-curl operator by lowest… ▽ More A general local Fourier analysis for overlapping block smoothers on triangular grids is presented. This analysis is explained in a general form for its application to problems with different discretizations. This tool is demonstrated for two different problems: a stabilized linear finite element discretization of Stokes equations and an edge-based discretization of the curl-curl operator by lowest-order Nédélec finite element method. In this latter, special Fourier modes have to be considered in order to perform the analysis. Numerical results comparing two- and three-grid convergence factors predicted by the local Fourier analysis to real asymptotic convergence factors are presented to confirm the predictions of the analysis and show their usefulness. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Symmetry-preserving discretization of variational field theories

Authors: A. C. Casimiro, C. Rodrigo

Abstract: The present paper develops a variational theory of discrete fields defined on abstract cellular complexes. The discrete formulation is derived solely from a variational principle associated to a discrete Lagrangian density on a discrete bundle, and developed up to the notion of symmetries and conservation laws for solutions of the discrete field equations. The notion of variational integrator for… ▽ More The present paper develops a variational theory of discrete fields defined on abstract cellular complexes. The discrete formulation is derived solely from a variational principle associated to a discrete Lagrangian density on a discrete bundle, and developed up to the notion of symmetries and conservation laws for solutions of the discrete field equations. The notion of variational integrator for a Cauchy problem associated to this variational principle is also studied. The theory is then connected with the classical (smooth) formulation of variational field theories, describing a functorial method to derive a discrete Lagrangian density from a smooth Lagrangian density on a Riemannian fibered manifold, so that all symmetries of the Lagrangian turn into symmetries of the corresponding discrete Lagrangian. Elements of the discrete and smooth theories are compared and all sources of error between them are identified. Finally the whole theory is illustrated with the discretization of the classical variational formulation of the kinematics of a Cosserat rod. △ Less

Submitted 29 September, 2015; originally announced September 2015.

MSC Class: 39A12; 49M25; 65D05; 65M22; 74H15; 76M10

Stability and Monotonicity for Some Discretizations of the Biot's Model

Authors: Carmen Rodrigo, Francisco Gaspar, Xiaozhe Hu, Ludmil Zikatanov

Abstract: We consider finite element discretizations of the Biot's consolidation model in poroelasticity with MINI and stabilized P1-P1 elements. We analyze the convergence of the fully discrete model based on spatial discretization with these types of finite elements and implicit Euler method in time. We also address the issue related to the presence of non-physical oscillations in the pressure approximati… ▽ More We consider finite element discretizations of the Biot's consolidation model in poroelasticity with MINI and stabilized P1-P1 elements. We analyze the convergence of the fully discrete model based on spatial discretization with these types of finite elements and implicit Euler method in time. We also address the issue related to the presence of non-physical oscillations in the pressure approximation for low permeabilities and/or small time steps. We show that even in 1D a Stokes-stable finite element pair fails to provide a monotone discretization for the pressure in such regimes. We then introduce a stabilization term which removes the oscillations. We present numerical results confirming the monotone behavior of the stabilized schemes. △ Less

Submitted 29 May, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

A Finite Element Framework for Some Mimetic Finite Difference Discretizations

Authors: Carmen Rodrigo, Francisco Gaspar, Xiaozhe Hu, Ludmil Zikatanov

Abstract: In this work we derive equivalence relations between mimetic finite difference schemes on simplicial grids and modified Nédélec-Raviart-Thomas finite element methods for model problems in $\mathbf{H}(\operatorname{\mathbf{curl}})$ and $H(\operatorname{div})$. This provides a simple and transparent way to analyze such mimetic finite difference discretizations using the well-known results from finit… ▽ More In this work we derive equivalence relations between mimetic finite difference schemes on simplicial grids and modified Nédélec-Raviart-Thomas finite element methods for model problems in $\mathbf{H}(\operatorname{\mathbf{curl}})$ and $H(\operatorname{div})$. This provides a simple and transparent way to analyze such mimetic finite difference discretizations using the well-known results from finite element theory. The finite element framework that we develop is also crucial for the design of efficient multigrid methods for mimetic finite difference discretizations, since it allows us to use canonical inter-grid transfer operators arising from the finite element framework. We provide special Local Fourier Analysis and numerical results to demonstrate the efficiency of such multigrid methods. △ Less

Submitted 15 March, 2015; originally announced March 2015.

Comments: submitted

Local Fourier Analysis of Multigrid Methods with Polynomial Smoothers and Aggressive coarsening

Authors: James Brannick, Xiaozhe Hu, Carmen Rodrigo, Ludmil Zikatanov

Abstract: We focus on the study of multigrid methods with aggressive coarsening and polynomial smoothers for the solution of the linear systems corresponding to finite difference/element discretizations of the Laplace equation. Using local Fourier analysis we determine automatically the optimal values for the parameters involved in defining the polynomial smoothers and achieve fast convergence of cycles wit… ▽ More We focus on the study of multigrid methods with aggressive coarsening and polynomial smoothers for the solution of the linear systems corresponding to finite difference/element discretizations of the Laplace equation. Using local Fourier analysis we determine automatically the optimal values for the parameters involved in defining the polynomial smoothers and achieve fast convergence of cycles with aggressive coarsening. We also present numerical tests supporting the theoretical results and the heuristic ideas. The methods we introduce are highly parallelizable and efficient multigrid algorithms on structured and semi-structured grids in two and three spatial dimensions. △ Less

Submitted 1 December, 2014; v1 submitted 31 October, 2013; originally announced October 2013.

Comments: Submitted to the special issue of "Numerical Mathematics Theory, Methods and Applications" for Weizmann Workshop of Numerical Mathematics: Theory, Methods and Applications