Showing 1–48 of 48 results for author: Calo, V M

Generalised Soft Finite Element Method for Elliptic Eigenvalue Problems

Authors: Jipei Chen, Victor M. Calo, Quanling Deng

Abstract: The recently proposed soft finite element method (SoftFEM) reduces the stiffness (condition numbers), consequently improving the overall approximation accuracy. The method subtracts a least-square term that penalizes the gradient jumps across mesh interfaces from the FEM stiffness bilinear form while maintaining the system's coercivity. Herein, we present two generalizations for SoftFEM that aim t… ▽ More The recently proposed soft finite element method (SoftFEM) reduces the stiffness (condition numbers), consequently improving the overall approximation accuracy. The method subtracts a least-square term that penalizes the gradient jumps across mesh interfaces from the FEM stiffness bilinear form while maintaining the system's coercivity. Herein, we present two generalizations for SoftFEM that aim to improve the approximation accuracy and further reduce the discrete systems' stiffness. Firstly and most naturally, we generalize SoftFEM by adding a least-square term to the mass bilinear form. Superconvergent results of rates $h^6$ and $h^8$ for eigenvalues are established for linear uniform elements; $h^8$ is the highest order of convergence known in the literature. Secondly, we generalize SoftFEM by applying the blended Gaussian-type quadratures. We demonstrate further reductions in stiffness compared to traditional FEM and SoftFEM. The coercivity and analysis of the optimal error convergences follow the work of SoftFEM. Thus, this paper focuses on the numerical study of these generalizations. For linear and uniform elements, analytical eigenpairs, exact eigenvalue errors, and superconvergent error analysis are established. Various numerical examples demonstrate the potential of generalized SoftFEMs for spectral approximation, particularly in high-frequency regimes. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Adaptive Deep Fourier Residual method via overlapping domain decomposition

Authors: Jamie M. Taylor, Manuela Bastidas, Victor M. Calo, David Pardo

Abstract: The Deep Fourier Residual (DFR) method is a specific type of variational physics-informed neural networks (VPINNs). It provides a robust neural network-based solution to partial differential equations (PDEs). The DFR strategy is based on approximating the dual norm of the weak residual of a PDE. This is equivalent to minimizing the energy norm of the error. To compute the dual of the weak residual… ▽ More The Deep Fourier Residual (DFR) method is a specific type of variational physics-informed neural networks (VPINNs). It provides a robust neural network-based solution to partial differential equations (PDEs). The DFR strategy is based on approximating the dual norm of the weak residual of a PDE. This is equivalent to minimizing the energy norm of the error. To compute the dual of the weak residual norm, the DFR method employs an orthonormal spectral basis of the test space, which is known for rectangles or cuboids for multiple function spaces. In this work, we extend the DFR method with ideas of traditional domain decomposition (DD). This enables two improvements: (a) to solve problems in more general polygonal domains, and (b) to develop an adaptive refinement technique in the test space using a Dofler marking algorithm. In the former case, we show that under non-restrictive assumptions we retain the desirable equivalence between the employed loss function and the H1-error, numerically demonstrating adherence to explicit bounds in the case of the L-shaped domain problem. In the latter, we show how refinement strategies lead to potentially significant improvements against a reference, classical DFR implementation with a test function space of significantly lower dimensionality, allowing us to better approximate singular solutions at a more reasonable computational cost. △ Less

Submitted 10 January, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Adaptive stabilized finite elements via residual minimization onto bubble enrichments

Authors: José G. Hasbani, Paulina Sepúlveda, Ignacio Muga, Victor M. Calo, Sergio Rojas

Abstract: The Adaptive Stabilized Finite Element method (AS-FEM) developed in Calo et. al. combines the idea of the residual minimization method with the inf-sup stability offered by the discontinuous Galerkin (dG) frameworks. As a result, the discretizations deliver stabilized approximations and residual representatives in the dG space that can drive automatic adaptivity. We generalize AS FEM by considerin… ▽ More The Adaptive Stabilized Finite Element method (AS-FEM) developed in Calo et. al. combines the idea of the residual minimization method with the inf-sup stability offered by the discontinuous Galerkin (dG) frameworks. As a result, the discretizations deliver stabilized approximations and residual representatives in the dG space that can drive automatic adaptivity. We generalize AS FEM by considering continuous test spaces; thus, we propose a residual minimization method on a stable Continuous Interior Penalty (CIP) formulation that considers a C0-conforming trial FEM space and a test space based on the enrichment of the trial space by bubble functions. In our numerical experiments, the test space choice results in a significant reduction of the total degrees of freedom compared to the dG test spaces of Calo et. al. that converge at the same rate. Moreover, as trial and test spaces are C0-conforming, implementing a full dG data structure is unnecessary, simplifying the method's implementation considerably and making it appealing for industrial applications, see Labanda et. al. △ Less

Submitted 31 March, 2023; originally announced March 2023.

SoftIGA: soft isogeometric analysis

Authors: Quanling Deng, Pouria Behnoudfar, Victor M. Calo

Abstract: We extend the softFEM idea to isogeometric analysis (IGA) to reduce the stiffness (consequently, the condition numbers) of the IGA discretized problem. We refer to the resulting approximation technique as softIGA. We obtain the resulting discretization by first removing the IGA spectral outliers to reduce the system's stiffness. We then add high-order derivative-jump penalization terms (with negat… ▽ More We extend the softFEM idea to isogeometric analysis (IGA) to reduce the stiffness (consequently, the condition numbers) of the IGA discretized problem. We refer to the resulting approximation technique as softIGA. We obtain the resulting discretization by first removing the IGA spectral outliers to reduce the system's stiffness. We then add high-order derivative-jump penalization terms (with negative penalty parameters) to the standard IGA bilinear forms. The penalty parameter seeks to minimize spectral/dispersion errors while maintaining the coercivity of the bilinear form. We establish dispersion errors for both outlier-free IGA (OF-IGA) and softIGA elements. We also derive analytical eigenpairs for the resulting matrix eigenvalue problems and show that the stiffness and condition numbers of the IGA systems significantly improve (reduce). We prove a superconvergent result of order $h^{2p+4}$ for eigenvalues where $h$ characterizes the mesh size and $p$ specifies the order of the B-spline basis functions. To illustrate the main idea and derive the analytical results, we focus on uniform meshes in 1D and tensor-product meshes in multiple dimensions. For the eigenfunctions, softIGA delivers the same optimal convergence rates as the standard IGA approximation. Various numerical examples demonstrate the advantages of softIGA over IGA. △ Less

Submitted 10 October, 2022; v1 submitted 4 August, 2022; originally announced August 2022.

Performance of Refined Isogeometric Analysis in Solving Quadratic Eigenvalue Problems

Authors: Ali Hashemian, Daniel Garcia, David Pardo, Victor M. Calo

Abstract: Certain applications that analyze damping effects require the solution of quadratic eigenvalue problems (QEPs). We use refined isogeometric analysis (rIGA) to solve quadratic eigenproblems. rIGA discretization, while conserving desirable properties of maximum-continuity isogeometric analysis (IGA), reduces the interconnection between degrees of freedom by adding low-continuity basis functions. Thi… ▽ More Certain applications that analyze damping effects require the solution of quadratic eigenvalue problems (QEPs). We use refined isogeometric analysis (rIGA) to solve quadratic eigenproblems. rIGA discretization, while conserving desirable properties of maximum-continuity isogeometric analysis (IGA), reduces the interconnection between degrees of freedom by adding low-continuity basis functions. This connectivity reduction in rIGA's algebraic system results in faster matrix LU factorizations when using multifrontal direct solvers. We compare computational costs of rIGA versus those of IGA when employing Krylov eigensolvers to solve quadratic eigenproblems arising in 2D vector-valued multifield problems. For large problem sizes, the eigencomputation cost is governed by the cost of LU factorization, followed by costs of several matrix-vector and vector-vector multiplications, which correspond to Krylov projections. We minimize the computational cost by introducing C^0 and C^1 separators at specific element interfaces for our rIGA generalizations of the curl-conforming Nedelec and divergence-conforming Raviart-Thomas finite elements. Let p be the polynomial degree of basis functions; the LU factorization is up to O((p-1)^2) times faster when using rIGA compared to IGA in the asymptotic regime. Thus, rIGA theoretically improves the total eigencomputation cost by O((p-1)^2) for sufficiently large problem sizes. Yet, in practical cases of moderate-size eigenproblems, the improvement rate deteriorates as the number of computed eigenvalues increases because of multiple matrix-vector and vector-vector operations. Our numerical tests show that rIGA accelerates the solution of quadratic eigensystems by O(p-1) for moderately sized problems when we seek to compute a reasonable number of eigenvalues. △ Less

Submitted 28 December, 2021; originally announced December 2021.

An explicit predictor/multicorrector time marching with automatic adaptivity for finite-strain elastodynamics

Authors: Nicolas A. Labanda, Pouria Behnoudfar, Victor M. Calo

Abstract: We propose a time-adaptive predictor/multi-corrector method to solve hyperbolic partial differential equations, based on the generalized-$α$ scheme that provides user-control on the numerical dissipation and second-order accuracy in time. Our time adaptivity uses an error estimation that exploits the recursive structure of the variable updates. The predictor/multicorrector method explicitly update… ▽ More We propose a time-adaptive predictor/multi-corrector method to solve hyperbolic partial differential equations, based on the generalized-$α$ scheme that provides user-control on the numerical dissipation and second-order accuracy in time. Our time adaptivity uses an error estimation that exploits the recursive structure of the variable updates. The predictor/multicorrector method explicitly updates the equation system but computes the residual of the system implicitly. We analyze the method's stability and describe how to determine the parameters that ensure high-frequency dissipation and accurate low-frequency approximation. Subsequently, we solve a linear wave equation, followed by non-linear finite strain deformation problems with different boundary conditions. Thus, our method is a straightforward, stable and computationally efficient approach to simulate real-world engineering problems. Finally, to show the performance of our method, we provide several numerical examples in two and three dimensions. These challenging tests demonstrate that our predictor/multicorrector scheme dynamically adapts to sudden energy releases in the system, capturing impacts and boundary shocks. The method efficiently and stably solves dynamic equations with consistent and under-integrated mass matrices conserving the linear and angular momenta as well as the system's energy for long-integration times. △ Less

Submitted 10 October, 2022; v1 submitted 12 November, 2021; originally announced November 2021.

Comments: Journal of Computational Physics (accepted)

A spatio-temporal adaptive phase-field fracture method

Authors: Nicolas A. Labanda, Luis Espath, Victor Manuel Calo

Abstract: We present an energy-preserving mechanic formulation for dynamic quasi-brittle fracture in an Eulerian-Lagrangian formulation, where a second-order phase-field equation controls the damage evolution. The numerical formulation adapts in space and time to bound the errors, solving the mesh-bias issues these models typically suffer. The time-step adaptivity estimates the temporal truncation error of… ▽ More We present an energy-preserving mechanic formulation for dynamic quasi-brittle fracture in an Eulerian-Lagrangian formulation, where a second-order phase-field equation controls the damage evolution. The numerical formulation adapts in space and time to bound the errors, solving the mesh-bias issues these models typically suffer. The time-step adaptivity estimates the temporal truncation error of the partial differential equation that governs the solid equilibrium. The second-order generalized-$α$ time-marching scheme evolves the dynamic system. We estimate the temporal error by extrapolating a first-order approximation of the present time-step solution using previous ones with backward difference formulas; the estimate compares the extrapolation with the time-marching solution. We use an adaptive scheme built on a residual minimization formulation in space. We estimate the spatial error by enriching the discretization with elemental bubbles; then, we localize an error indicator norm to guide the mesh refinement as the fracture propagates. The combined space and time adaptivity allows us to use low-order linear elements in problems involving complex stress paths. We efficiently and robustly use low-order spatial discretizations while avoiding mesh bias in structured and unstructured meshes. We demonstrate the method's efficiency with numerical experiments that feature dynamic crack branching, where the capacity of the adaptive space-time scheme is apparent. The adaptive method delivers accurate and reproducible crack paths on meshes with fewer elements. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: Preprint

Efficient multi-level hp-finite elements in arbitrary dimensions

Authors: Philipp Kopp, Ernst Rank, Victor M. Calo, Stefan Kollmannsberger

Abstract: We present an efficient algorithmic framework for constructing multi-level hp-bases that uses a data-oriented approach that easily extends to any number of dimensions and provides a natural framework for performance-optimized implementations. We only operate on the bounding faces of finite elements without considering their lower-dimensional topological features and demonstrate the potential of th… ▽ More We present an efficient algorithmic framework for constructing multi-level hp-bases that uses a data-oriented approach that easily extends to any number of dimensions and provides a natural framework for performance-optimized implementations. We only operate on the bounding faces of finite elements without considering their lower-dimensional topological features and demonstrate the potential of the presented methods using a newly written open-source library. First, we analyze a Fichera corner and show that the framework does not increase runtime and memory consumption when compared against the classical p-version of the finite element method. Then, we compute a transient example with dynamic refinement and derefinement, where we also obtain the expected convergence rates and excellent performance in computing time and memory usage. △ Less

Submitted 25 September, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Journal ref: Computer Methods in Applied Mechanics and Engineering, Volume 401, Part B, 1 November 2022, 115575

Explicit high-order generalized-$α$ methods for isogeometric analysis of structural dynamics

Authors: Pouria Behnoudfar, Gabriele Loli, Alessandro Reali, Giancarlo Sangalli, Victor M. Calo

Abstract: We propose a new family of high-order explicit generalized-$α$ methods for hyperbolic problems with the feature of dissipation control. Our approach delivers $2k,\, \left(k \in \mathbb{N}\right)$ accuracy order in time by solving $k$ matrix systems explicitly and updating the other $2k$ variables at each time-step. The user can control the numerical dissipation in the discrete spectrum's high-freq… ▽ More We propose a new family of high-order explicit generalized-$α$ methods for hyperbolic problems with the feature of dissipation control. Our approach delivers $2k,\, \left(k \in \mathbb{N}\right)$ accuracy order in time by solving $k$ matrix systems explicitly and updating the other $2k$ variables at each time-step. The user can control the numerical dissipation in the discrete spectrum's high-frequency regions by adjusting the method's coefficients. We study the method's spectrum behaviour and show that the CFL condition is independent of the accuracy order. The stability region remains invariant while we increase the accuracy order. Next, we exploit efficient preconditioners for the isogeometric matrix to minimize the computational cost. These preconditioners use a diagonal-scaled Kronecker product of univariate parametric mass matrices; they have a robust performance with respect to the spline degree and the mesh size, and their decomposition structure implies that their application is faster than a matrix-vector product involving the fully-assembled mass matrix. Our high-order schemes require simple modifications of the available implementations of the generalized-$α$ method. Finally, we present numerical examples demonstrating the methodology's performance regarding single- and multi-patch IGA discretizations. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Higher-order generalized-$α$ methods for parabolic problems

Authors: Pouria Behnoudfar, Quanling Deng, Victor M. Calo

Abstract: We propose a new class of high-order time-marching schemes with dissipation user-control and unconditional stability for parabolic equations. High-order time integrators can deliver the optimal performance of highly-accurate and robust spatial discretizations such as isogeometric analysis. The generalized-$α$ method delivers unconditional stability and second-order accuracy in time and controls th… ▽ More We propose a new class of high-order time-marching schemes with dissipation user-control and unconditional stability for parabolic equations. High-order time integrators can deliver the optimal performance of highly-accurate and robust spatial discretizations such as isogeometric analysis. The generalized-$α$ method delivers unconditional stability and second-order accuracy in time and controls the numerical dissipation in the discrete spectrum's high-frequency region. Our goal is to extend the generalized-$alpha$ methodology to obtain a high-order time marching methods with high accuracy and dissipation in the discrete high-frequency range. Furthermore, we maintain the stability region of the original, second-order generalized-$alpha$ method foe the new higher-order methods. That is, we increase the accuracy of the generalized-$α$ method while keeping the unconditional stability and user-control features on the high-frequency numerical dissipation. The methodology solve $k>1, k\in \mathbb{N}$ matrix problems and updates the system unknowns, which correspond to higher-order terms in Taylor expansions to obtain $(3/2k)^{th}$-order method for even $k$ and $(3/2k+1/2)^{th}$-order for odd $k$. A single parameter $ρ^\infty$ controls the dissipation, and the update procedure follows the formulation of the original second-order method. Additionally, we show that our method is A-stable and setting $ρ^\infty=0$ allows us to obtain an L-stable method. Lastly, we extend this strategy to analyze the accuracy order of a generic method. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Extended Larché--Cahn framework for reactive Cahn--Hilliard multicomponent systems

Authors: Santiago P. Clavijo, Luis Espath, Victor M. Calo

Abstract: At high temperature and pressure, solid diffusion and chemical reactions between rock minerals lead to phase transformations. Chemical transport during uphill diffusion causes phase separation, that is, spinodal decomposition. Thus, to describe the coarsening kinetics of the exsolution microstructure, we derive a thermodynamically consistent continuum theory for the multicomponent Cahn--Hilliard e… ▽ More At high temperature and pressure, solid diffusion and chemical reactions between rock minerals lead to phase transformations. Chemical transport during uphill diffusion causes phase separation, that is, spinodal decomposition. Thus, to describe the coarsening kinetics of the exsolution microstructure, we derive a thermodynamically consistent continuum theory for the multicomponent Cahn--Hilliard equations while accounting for multiple chemical reactions and neglecting deformations. Our approach considers multiple balances of microforces augmented by multiple constituent content balance equations within an extended Larché--Cahn framework. As for the Larché--Cahn framework, we incorporate into the theory the Larché--Cahn derivatives with respect to the phase fields and their gradients. We also explain the implications of the resulting constrained gradients of the phase fields in the form of the gradient energy coefficients. Moreover, we derive a configurational balance that includes all the associated configurational fields in agreement with the Larché--Cahn framework. We study phase separation in a three-component system whose microstructural evolution depends upon the reaction-diffusion interactions and to analyze the underlying configurational fields. This simulation portrays the interleaving between the reaction and diffusion processes and how the configurational tractions drive the motion of interfaces. △ Less

Submitted 4 January, 2021; originally announced January 2021.

An automatic-adaptivity stabilized finite element method via residual minimization for heterogeneous, anisotropic advection-diffusion-reaction problems

Authors: Roberto J. Cier, Sergio Rojas, Victor M. Calo

Abstract: In this paper, we describe a stable finite element formulation for advection-diffusion-reaction problems that allows for robust automatic adaptive strategies to be easily implemented. We consider locally vanishing, heterogeneous, and anisotropic diffusivities, as well as advection-dominated diffusion problems. The general stabilized finite element framework was described and analyzed in arXiv:1907… ▽ More In this paper, we describe a stable finite element formulation for advection-diffusion-reaction problems that allows for robust automatic adaptive strategies to be easily implemented. We consider locally vanishing, heterogeneous, and anisotropic diffusivities, as well as advection-dominated diffusion problems. The general stabilized finite element framework was described and analyzed in arXiv:1907.12605v3 for linear problems in general, and tested for pure advection problems. The method seeks for the discrete solution through a residual minimization process on a proper stable discontinuous Galerkin (dG) dual norm. This technique leads to a saddle-point problem that delivers a stable discrete solution and a robust error estimate that can drive mesh adaptivity. In this work, we demonstrate the efficiency of the method in extreme scenarios, delivering stable solutions. The quality and performance of the solutions are comparable to classical discontinuous Galerkin formulations in the respective discrete space norm on each mesh. Meanwhile, this technique allows us to solve on coarse meshes and adapt the solution to achieve a user-specified solution quality. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Incompressible flow modeling using an adaptive stabilized finite element method based on residual minimization

Authors: Felix Kyburg, Sergio Rojas, Victor M. Calo

Abstract: We model incompressible flows with an adaptive stabilized finite element method Stokes flows, which solves a discretely stable saddle-point problem to approximate the velocity-pressure pair. Additionally, this saddle-point problem delivers a robust error estimator to guide mesh adaptivity. We analyze the accuracy of different discrete velocity-pressure pairs of continuous finite element spaces, wh… ▽ More We model incompressible flows with an adaptive stabilized finite element method Stokes flows, which solves a discretely stable saddle-point problem to approximate the velocity-pressure pair. Additionally, this saddle-point problem delivers a robust error estimator to guide mesh adaptivity. We analyze the accuracy of different discrete velocity-pressure pairs of continuous finite element spaces, which do not necessarily satisfy the discrete inf-sup condition. We validate the framework's performance with numerical examples. △ Less

Submitted 18 November, 2020; originally announced November 2020.

MSC Class: 65N12; 65N30; 76M10

Refined isogeometric analysis for generalized Hermitian eigenproblems

Authors: Ali Hashemian, David Pardo, Victor M. Calo

Abstract: We use the refined isogeometric analysis (rIGA) to solve generalized Hermitian eigenproblems $({Ku=λMu})$. The rIGA framework conserves the desirable properties of maximum-continuity isogeometric analysis (IGA) discretizations while reducing the computation cost of the solution through partitioning the computational domain by adding zero-continuity basis functions. As a result, rIGA enriches the a… ▽ More We use the refined isogeometric analysis (rIGA) to solve generalized Hermitian eigenproblems $({Ku=λMu})$. The rIGA framework conserves the desirable properties of maximum-continuity isogeometric analysis (IGA) discretizations while reducing the computation cost of the solution through partitioning the computational domain by adding zero-continuity basis functions. As a result, rIGA enriches the approximation space and decreases the interconnection between degrees of freedom. We compare computational costs of rIGA versus those of IGA when employing a Lanczos eigensolver with a shift-and-invert spectral transformation. When all eigenpairs within a given interval ${[λ_s,λ_e]}$ are of interest, we select several shifts ${σ_k\in[λ_s,λ_e]}$ using a spectrum slicing technique. For each shift $σ_k$, the cost of factorization of the spectral transformation matrix ${K-σ_k M}$ drives the total computational cost of the eigensolution. Several multiplications of the operator matrices ${(K-σ_k M)^{-1} M}$ by vectors follow this factorization. Let $p$ be the polynomial degree of basis functions and assume that IGA has maximum continuity of ${p-1}$, while rIGA introduces $C^0$ separators to minimize the factorization cost. For this setup, our theoretical estimates predict computational savings to compute a fixed number of eigenpairs of up to ${O(p^2)}$ in the asymptotic regime, that is, large problem sizes. Yet, our numerical tests show that for moderately-sized eigenproblems, the total computational cost reduction is $O(p)$. Nevertheless, rIGA improves the accuracy of every eigenpair of the first $N_0$ eigenvalues and eigenfunctions. Here, we allow $N_0$ to be as large as the total number of eigenmodes of the original maximum-continuity IGA discretization. △ Less

Submitted 17 September, 2020; originally announced September 2020.

A fully-coupled framework for solving Cahn-Hilliard Navier-Stokes equations: Second-order, energy-stable numerical methods on adaptive octree based meshes

Authors: Makrand A Khanwale, Kumar Saurabh, Milinda Fernando, Victor M. Calo, James A. Rossmanith, Hari Sundar, Baskar Ganapathysubramanian

Abstract: We present a fully-coupled, implicit-in-time framework for solving a thermodynamically-consistent Cahn-Hilliard Navier-Stokes system that models two-phase flows. In this work, we extend the block iterative method presented in Khanwale et al. [\textit{Simulating two-phase flows with thermodynamically consistent energy stable Cahn-Hilliard Navier-Stokes equations on parallel adaptive octree based me… ▽ More We present a fully-coupled, implicit-in-time framework for solving a thermodynamically-consistent Cahn-Hilliard Navier-Stokes system that models two-phase flows. In this work, we extend the block iterative method presented in Khanwale et al. [\textit{Simulating two-phase flows with thermodynamically consistent energy stable Cahn-Hilliard Navier-Stokes equations on parallel adaptive octree based meshes}, J. Comput. Phys. (2020)], to a fully-coupled, provably second-order accurate scheme in time, while maintaining energy-stability. The new method requires fewer matrix assemblies in each Newton iteration resulting in faster solution time. The method is based on a fully-implicit Crank-Nicolson scheme in time and a pressure stabilization for an equal order Galerkin formulation. That is, we use a conforming continuous Galerkin (cG) finite element method in space equipped with a residual-based variational multiscale (RBVMS) procedure to stabilize the pressure. We deploy this approach on a massively parallel numerical implementation using parallel octree-based adaptive meshes. We present comprehensive numerical experiments showing detailed comparisons with results from the literature for canonical cases, including the single bubble rise, Rayleigh-Taylor instability, and lid-driven cavity flow problems. We analyze in detail the scaling of our numerical implementation. △ Less

Submitted 13 August, 2022; v1 submitted 13 September, 2020; originally announced September 2020.

Comments: 55 pages, 18 figures, 3 tables, version accepted in Computer Physics Communications

Journal ref: Computer Physics Communications, (2022) 108501

Adaptive stabilized finite elements: Continuation analysis of compaction banding in geomaterials

Authors: Roberto J. Cier, Thomas Poulet, Sergio Rojas, Victor M. Calo, Manolis Veveakis

Abstract: Under compressive creep, visco-plastic solids experiencing internal mass transfer processes have been recently proposed to accommodate singular cnoidal wave solutions, as material instabilities at the stationary wave limit. These instabilities appear when the loading rate is significantly faster than the capability of the material to diffuse internal perturbations and lead to localized failure fea… ▽ More Under compressive creep, visco-plastic solids experiencing internal mass transfer processes have been recently proposed to accommodate singular cnoidal wave solutions, as material instabilities at the stationary wave limit. These instabilities appear when the loading rate is significantly faster than the capability of the material to diffuse internal perturbations and lead to localized failure features (e.g., cracks and compaction bands). This type of solution, generally found in fluids, has strong nonlinearities and periodic patterns. Due to the singular nature of the solutions, the applicability of the theory is currently limited. Additionally, effective numerical tools require proper regularization to overcome the challenges that singularity induces. We focus on the numerical treatment of the governing equation using a nonlinear approach building on a recent adaptive stabilized finite element method. This method provides a residual representation to drive adaptive mesh refinement, a particularly useful feature for the problem at hand. We compare against analytical and standard finite element solutions to demonstrate the performance of our approach. We then investigate the sensitivity of the diffusivity ratio, main parameter of the problem, and identify multiple possible solutions, with multiple stress peaks. Finally, we show the evolution of the spacing between peaks for all solutions as a function of that parameter. △ Less

Submitted 4 August, 2020; originally announced August 2020.

A nonlinear weak constraint enforcement method for advection-dominated diffusion problems

Authors: Roberto J. Cier, Sergio Rojas, Victor M. Calo

Abstract: We devise a stabilized method to weakly enforce bound constraints in the discrete solution of advection-dominated diffusion problems. This method combines a nonlinear penalty formulation with a discontinuous Galerkin-based residual minimization method. We illustrate the efficiency of this scheme for both uniform and adaptive meshes through proper numerical examples. We devise a stabilized method to weakly enforce bound constraints in the discrete solution of advection-dominated diffusion problems. This method combines a nonlinear penalty formulation with a discontinuous Galerkin-based residual minimization method. We illustrate the efficiency of this scheme for both uniform and adaptive meshes through proper numerical examples. △ Less

Submitted 23 November, 2020; v1 submitted 4 August, 2020; originally announced August 2020.

Goal-oriented adaptivity for a conforming residual minimization method in a dual discontinuous Galerkin norm

Authors: Sergio Rojas, David Pardo, Pouria Behnoudfar, Victor M. Calo

Abstract: We propose a goal-oriented mesh-adaptive algorithm for a finite element method stabilized via residual minimization on dual discontinuous-Galerkin norms. By solving a saddle-point problem, this residual minimization delivers a stable continuous approximation to the solution on each mesh instance and a residual projection onto a broken polynomial space, which is a robust error estimator to minimize… ▽ More We propose a goal-oriented mesh-adaptive algorithm for a finite element method stabilized via residual minimization on dual discontinuous-Galerkin norms. By solving a saddle-point problem, this residual minimization delivers a stable continuous approximation to the solution on each mesh instance and a residual projection onto a broken polynomial space, which is a robust error estimator to minimize the discrete energy norm via automatic mesh refinement. In this work, we propose and analyze a goal-oriented adaptive algorithm for this stable residual minimization. We solve the primal and adjoint problems considering the same saddle-point formulation and different right-hand sides. By solving a third stable problem, we obtain two efficient error estimates to guide goal-oriented adaptivity. We illustrate the performance of this goal-oriented adaptive strategy on advection-diffusion-reaction problems. △ Less

Submitted 17 December, 2020; v1 submitted 17 July, 2020; originally announced July 2020.

MSC Class: 65N12; 65N30; 76M10

Error Control and Loss Functions for the Deep Learning Inversion of Borehole Resistivity Measurements

Authors: M. Shahriari, D. Pardo, J. A. Rivera, C. Torres-Verdín, A. Picon, J. Del Ser, S. Ossandón, V. M. Calo

Abstract: Deep learning (DL) is a numerical method that approximates functions. Recently, its use has become attractive for the simulation and inversion of multiple problems in computational mechanics, including the inversion of borehole logging measurements for oil and gas applications. In this context, DL methods exhibit two key attractive features: a) once trained, they enable to solve an inverse problem… ▽ More Deep learning (DL) is a numerical method that approximates functions. Recently, its use has become attractive for the simulation and inversion of multiple problems in computational mechanics, including the inversion of borehole logging measurements for oil and gas applications. In this context, DL methods exhibit two key attractive features: a) once trained, they enable to solve an inverse problem in a fraction of a second, which is convenient for borehole geosteering operations as well as in other real-time inversion applications. b) DL methods exhibit a superior capability for approximating highly-complex functions across different areas of knowledge. Nevertheless, as it occurs with most numerical methods, DL also relies on expert design decisions that are problem specific to achieve reliable and robust results. Herein, we investigate two key aspects of deep neural networks (DNNs) when applied to the inversion of borehole resistivity measurements: error control and adequate selection of the loss function. As we illustrate via theoretical considerations and extensive numerical experiments, these interrelated aspects are critical to recover accurate inversion results. △ Less

Submitted 28 May, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Fast isogeometric solvers for hyperbolic wave propagation problems

Authors: Marcin Los, Pouria Behnoudfar, Maciej Paszynski, Victor Manuel Calo

Abstract: We use the alternating direction method to simulate implicit dynamics. ur spatial discretization uses isogeometric analysis. Namely, we simulate a (hyperbolic) wave propagation problem in which we use tensor-product B-splines in space and an implicit time marching method to fully discretize the problem. We approximate our discrete operator as a Kronecker product of one-dimensional mass and stiffne… ▽ More We use the alternating direction method to simulate implicit dynamics. ur spatial discretization uses isogeometric analysis. Namely, we simulate a (hyperbolic) wave propagation problem in which we use tensor-product B-splines in space and an implicit time marching method to fully discretize the problem. We approximate our discrete operator as a Kronecker product of one-dimensional mass and stiffness matrices. As a result of this algebraic transformation, we can factorize the resulting system of equations in linear (i.e., O(N)) time at each step of the implicit method. We demonstrate the performance of our method in the model P-wave propagation problem. We then extend it to simulate the linear elasticity problem once we decouple the vector problem using alternating triangular methods. We proof theoretically and experimentally the unconditional stability of both methods. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Comments: 22 pages, 6 figures

Split generalized-$α$ method: A linear-cost solver for a modified generalized-method for multi-dimensional second-order hyperbolic systems

Authors: Pouria Behnoudfar, Quanling Deng, Victor M. Calo

Abstract: We propose a variational splitting technique for the generalized-$α$ method to solve hyperbolic partial differential equations. We use tensor-product meshes to develop the splitting method, which has a computational cost that grows linearly with respect to the total number of degrees of freedom for multi-dimensional problems. We consider standard $C^0$ finite elements as well as smoother B-splines… ▽ More We propose a variational splitting technique for the generalized-$α$ method to solve hyperbolic partial differential equations. We use tensor-product meshes to develop the splitting method, which has a computational cost that grows linearly with respect to the total number of degrees of freedom for multi-dimensional problems. We consider standard $C^0$ finite elements as well as smoother B-splines in isogeometric analysis for the spatial discretization. We also study the spectrum of the amplification matrix to establish the unconditional stability of the method. We then show that the stability behavior affects the overall behavior of the integrator on the entire interval and not only at the limits $0$ and $\infty$. We use various examples to demonstrate the performance of the method and the optimal approximation accuracy. For the numerical tests, we compute the $L_2$ and $H^1$ norms to show the optimal convergence of the discrete method in space and second-order accuracy in time. △ Less

Submitted 11 November, 2019; originally announced November 2019.

An adaptive stabilized conforming finite element method via residual minimization on dual discontinuous Galerkin norms

Authors: Victor M. Calo, Alexandre Ern, Ignacio Muga, Sergio Rojas

Abstract: We design and analyze a new adaptive stabilized finite element method. We construct a discrete approximation of the solution in a continuous trial space by minimizing the residual measured in a dual norm of a discontinuous test space that has inf-sup stability. We formulate this residual minimization as a stable saddle-point problem which delivers a stabilized discrete solution and a residual repr… ▽ More We design and analyze a new adaptive stabilized finite element method. We construct a discrete approximation of the solution in a continuous trial space by minimizing the residual measured in a dual norm of a discontinuous test space that has inf-sup stability. We formulate this residual minimization as a stable saddle-point problem which delivers a stabilized discrete solution and a residual representation that drives the adaptive mesh refinement. Numerical results on an advection-reaction model problem show competitive error reduction rates when compared to discontinuous Galerkin methods on uniformly refined meshes and smooth solutions. Moreover, the technique leads to optimal decay rates for adaptive mesh refinement and solutions having sharp layers. △ Less

Submitted 22 December, 2019; v1 submitted 29 July, 2019; originally announced July 2019.

MSC Class: 65N12; 65N30; 76M10

Isogeometric Residual Minimization Method (iGRM) with Direction Splitting Preconditoner for Stationary Advection-Diffusion Problems

Authors: Victor M Calo, Marcin Łoś, Quanling Deng, Ignacio Muga, Maciej Paszynski

Abstract: In this paper, we introduce the isoGeometric Residual Minimization (iGRM) method. The method solves stationary advection-dominated diffusion problems. We stabilize the method via residual minimization. We discretize the problem using B-spline basis functions. We then seek to minimize the isogeometric residual over a spline space built on a tensor product mesh. We construct the solution over a smoo… ▽ More In this paper, we introduce the isoGeometric Residual Minimization (iGRM) method. The method solves stationary advection-dominated diffusion problems. We stabilize the method via residual minimization. We discretize the problem using B-spline basis functions. We then seek to minimize the isogeometric residual over a spline space built on a tensor product mesh. We construct the solution over a smooth subspace of the residual. We can specify the solution subspace by reducing the polynomial order, by increasing the continuity, or by a combination of these. The Gramm matrix for the residual minimization method is approximated by a weighted H1 norm, which we can express as Kronecker products, due to the tensor-product structure of the approximations. We use the Gramm matrix as a preconditional which can be applied in a computational cost proportional to the number of degrees of freedom in 2D and 3D. Building on these approximations, we construct an iterative algorithm. We test the residual minimization method on several numerical examples, and we compare it to the Discontinuous Petrov-Galerkin (DPG) and the Streamline Upwind Petrov-Galerkin (SUPG) stabilization methods. The iGRM method delivers similar quality solutions as the DPG method, it uses smaller grids, it does not require breaking of the spaces, but it is limited to tensor-product meshes. The computational cost of the iGRM is higher than for SUPG, but it does not require the determination of problem specific parameters. △ Less

Submitted 16 December, 2020; v1 submitted 16 June, 2019; originally announced June 2019.

Comments: 27 pages, 4 figures

Journal ref: Computer Methods in Applied Mechanics and Engineering, Volume 373, 1 January 2021, 113214

Higher-order generalized-$α$ methods for hyperbolic problems

Authors: Pouria Behnoudfar, Quanling Deng, Victor M. Calo

Abstract: The generalized-$α$ time-marching method provides second-order accuracy in time and controls the numerical dissipation in the high-frequency region of the discrete spectrum. This method includes a wide range of time integrators. We increase the order of accuracy of the method while keeping the unconditional stability and the user-control on the high-frequency numerical dissipation. The dissipation… ▽ More The generalized-$α$ time-marching method provides second-order accuracy in time and controls the numerical dissipation in the high-frequency region of the discrete spectrum. This method includes a wide range of time integrators. We increase the order of accuracy of the method while keeping the unconditional stability and the user-control on the high-frequency numerical dissipation. The dissipation is controlled by a single parameter as in the original method. Our high-order schemes require simple modifications of the available implementations of the generalized-$α$ method. △ Less

Submitted 14 June, 2019; originally announced June 2019.

High-order generalized-$α$ methods

Authors: Quanling Deng, Pouria Behnoudfar, Victor M. Calo

Abstract: The generalized-$α$ method encompasses a wide range of time integrators. The method possesses high-frequency dissipation while minimizing unwanted low-frequency dissipation and the numerical dissipation can be controlled by the user. The method is unconditionally stable and is of second-order accuracy in time. We extend the second-order generalized-$α$ method to third-order in time while the numer… ▽ More The generalized-$α$ method encompasses a wide range of time integrators. The method possesses high-frequency dissipation while minimizing unwanted low-frequency dissipation and the numerical dissipation can be controlled by the user. The method is unconditionally stable and is of second-order accuracy in time. We extend the second-order generalized-$α$ method to third-order in time while the numerical dissipation can be controlled in a similar fashion. We establish that the third-order method is unconditionally stable. We discuss a possible path to the generalization to higher order schemes. All these high-order schemes can be easily implemented into programs that already contain the second-order generalized-$α$ method. △ Less

Submitted 14 February, 2019; originally announced February 2019.

Residual minimization for isogeometric analysis in reduced and mixed forms

Authors: Victor M. Calo, Quanling Deng, Sergio Rojas, Albert Romkes

Abstract: Most variational forms of isogeometric analysis use highly-continuous basis functions for both trial and test spaces. For a partial differential equation with a smooth solution, isogeometric analysis with highly-continuous basis functions for trial space results in excellent discrete approximations of the solution. However, we observe that high continuity for test spaces is not necessary. In this… ▽ More Most variational forms of isogeometric analysis use highly-continuous basis functions for both trial and test spaces. For a partial differential equation with a smooth solution, isogeometric analysis with highly-continuous basis functions for trial space results in excellent discrete approximations of the solution. However, we observe that high continuity for test spaces is not necessary. In this work, we present a framework which uses highly-continuous B-splines for the trial spaces and basis functions with minimal regularity and possibly lower order polynomials for the test spaces. To realize this goal, we adopt the residual minimization methodology. We pose the problem in a mixed formulation, which results in a system governing both the solution and a Riesz representation of the residual. We present various variational formulations which are variationally-stable and verify their equivalence numerically via numerical tests. △ Less

Submitted 11 February, 2019; originally announced February 2019.

A variationally separable splitting for the generalized-$α$ method for parabolic equations

Authors: Pouria Behnoudfar, Victor M. Calo, Quanling Deng, Peter D. Minev

Abstract: We present a variationally separable splitting technique for the generalized-$α$ method for solving parabolic partial differential equations. We develop a technique for a tensor-product mesh which results in a solver with a linear cost with respect to the total number of degrees of freedom in the system for multi-dimensional problems. We consider finite elements and isogeometric analysis for the s… ▽ More We present a variationally separable splitting technique for the generalized-$α$ method for solving parabolic partial differential equations. We develop a technique for a tensor-product mesh which results in a solver with a linear cost with respect to the total number of degrees of freedom in the system for multi-dimensional problems. We consider finite elements and isogeometric analysis for the spatial discretization. The overall method maintains user-controlled high-frequency dissipation while minimizing unwanted low-frequency dissipation. The method has second-order accuracy in time and optimal rates ($h^{p+1}$ in $L^2$ norm and $h^p$ in $L^2$ norm of $\nabla u$) in space. We present the spectrum analysis on the amplification matrix to establish that the method is unconditionally stable. Various numerical examples illustrate the performance of the overall methodology and show the optimal approximation accuracy. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Automatic Variationally Stable Analysis for FE Computations: An Introduction

Authors: Victor M. Calo, Albert Romkes, Eirik Valseth

Abstract: We introduce an automatic variationally stable analysis (AVS) for finite element (FE) computations of scalar-valued convection-diffusion equations with non-constant and highly oscillatory coefficients. In the spirit of least squares FE methods, the AVS-FE method recasts the governing second order partial differential equation (PDE) into a system of first-order PDEs. However, in the subsequent deri… ▽ More We introduce an automatic variationally stable analysis (AVS) for finite element (FE) computations of scalar-valued convection-diffusion equations with non-constant and highly oscillatory coefficients. In the spirit of least squares FE methods, the AVS-FE method recasts the governing second order partial differential equation (PDE) into a system of first-order PDEs. However, in the subsequent derivation of the equivalent weak formulation, a Petrov-Galerkin technique is applied by using different regularities for the trial and test function spaces. We use standard FE approximation spaces for the trial spaces, which are C0, and broken Hilbert spaces for the test functions. Thus, we seek to compute pointwise continuous solutions for both the primal variable and its flux (as in least squares FE methods), while the test functions are piecewise discontinuous. To ensure the numerical stability of the subsequent FE discretizations, we apply the philosophy of the discontinuous Petrov-Galerkin (DPG) method by Demkowicz and Gopalakrishnan, by invoking test functions that lead to unconditionally stable numerical systems (if the kernel of the underlying differential operator is trivial). In the AVS-FE method, the discontinuous test functions are ascertained per the DPG approach from local, decoupled, and well-posed variational problems, which lead to best approximation properties in terms of the energy norm. We present various 2D numerical verifications, including convection-diffusion problems with highly oscillatory coefficients and extremely high Peclet numbers, up to a billion. These show the unconditional stability without the need for any upwind schemes nor any other artificial numerical stabilization. The results are not highly diffused for convection-dominated problems ... △ Less

Submitted 13 April, 2019; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: Preprint submitted to Lecture Notes in Computational Science and Engineering, Springer Verlag

Variational Formulations for Explicit Runge-Kutta Methods

Authors: Judit Muñoz-Matute, David Pardo, Victor M. Calo, Elisabete Alberdi

Abstract: Variational space-time formulations for Partial Differential Equations have been of great interest in the last decades. While it is known that implicit time marching schemes have variational structure, the Galerkin formulation of explicit methods in time remains elusive. In this work, we prove that the explicit Runge-Kutta methods can be expressed as discontinuous Petrov-Galerkin methods both in s… ▽ More Variational space-time formulations for Partial Differential Equations have been of great interest in the last decades. While it is known that implicit time marching schemes have variational structure, the Galerkin formulation of explicit methods in time remains elusive. In this work, we prove that the explicit Runge-Kutta methods can be expressed as discontinuous Petrov-Galerkin methods both in space and time. We build trial and test spaces for the linear diffusion equation that lead to one, two, and general stage explicit Runge-Kutta methods. This approach enables us to design explicit time-domain (goal-oriented) adaptive algorithms △ Less

Submitted 20 June, 2018; originally announced June 2018.

PetIGA-MF: a multi-field high-performance toolbox for structure-preserving B-splines spaces

Authors: A. F. Sarmiento, A. M. A. Cortes, D. A. Garcia, L. Dalcin, N. Collier, V. M. Calo

Abstract: We describe the development of a high-performance solution framework for isogeometric discrete differential forms based on B-splines: PetIGA-MF. Built on top of PetIGA, PetIGA-MF is a general multi-field discretization tool. To test the capabilities of our implementation, we solve different viscous flow problems such as Darcy, Stokes, Brinkman, and Navier-Stokes equations. Several convergence benc… ▽ More We describe the development of a high-performance solution framework for isogeometric discrete differential forms based on B-splines: PetIGA-MF. Built on top of PetIGA, PetIGA-MF is a general multi-field discretization tool. To test the capabilities of our implementation, we solve different viscous flow problems such as Darcy, Stokes, Brinkman, and Navier-Stokes equations. Several convergence benchmarks based on manufactured solutions are presented assuring optimal convergence rates of the approximations, showing the accuracy and robustness of our solver. △ Less

Submitted 28 February, 2016; originally announced February 2016.

Gauss-Galerkin quadrature rules for quadratic and cubic spline spaces and their application to isogeometric analysis

Authors: Michael Bartoň, Victor Manuel Calo

Abstract: We introduce Gaussian quadrature rules for spline spaces that are frequently used in Galerkin discretizations to build mass and stiffness matrices. By definition, these spaces are of even degrees. The optimal quadrature rules we recently derived [5] act on spaces of the smallest odd degrees and, therefore, are still slightly sub-optimal. In this work, we derive optimal rules directly for even-degr… ▽ More We introduce Gaussian quadrature rules for spline spaces that are frequently used in Galerkin discretizations to build mass and stiffness matrices. By definition, these spaces are of even degrees. The optimal quadrature rules we recently derived [5] act on spaces of the smallest odd degrees and, therefore, are still slightly sub-optimal. In this work, we derive optimal rules directly for even-degree spaces and therefore further improve our recent result. We use optimal quadrature rules for spaces over two elements as elementary building blocks and use recursively the homotopy continuation concept described in [6] to derive optimal rules for arbitrary admissible number of elements. We demonstrate the proposed methodology on relevant examples, where we derive optimal rules for various even-degree spline spaces. We also discuss convergence of our rules to their asymptotic counterparts, these are the analogues of the midpoint rule of Hughes et al. [16], that are exact and optimal for infinite domains. △ Less

Submitted 3 February, 2016; originally announced February 2016.

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

Multiscale stabilization for convection-dominated diffusion in heterogeneous media

Authors: Victor M. Calo, Eric T. Chung, Yalchin Efendiev, Wing Tat Leung

Abstract: We develop a Petrov-Galerkin stabilization method for multiscale convection-diffusion transport systems. Existing stabilization techniques add a limited number of degrees of freedom in the form of bubble functions or a modified diffusion, which may not sufficient to stabilize multiscale systems. We seek a local reduced-order model for this kind of multiscale transport problems and thus, develop a… ▽ More We develop a Petrov-Galerkin stabilization method for multiscale convection-diffusion transport systems. Existing stabilization techniques add a limited number of degrees of freedom in the form of bubble functions or a modified diffusion, which may not sufficient to stabilize multiscale systems. We seek a local reduced-order model for this kind of multiscale transport problems and thus, develop a systematic approach for finding reduced-order approximations of the solution. We start from a Petrov-Galerkin framework using optimal weighting functions. We introduce an auxiliary variable to a mixed formulation of the problem. The auxiliary variable stands for the optimal weighting function. The problem reduces to finding a test space (a reduced dimensional space for this auxiliary variable), which guarantees that the error in the primal variable (representing the solution) is close to the projection error of the full solution on the reduced dimensional space that approximates the solution. To find the test space, we reformulate some recent mixed Generalized Multiscale Finite Element Methods. We introduce snapshots and local spectral problems that appropriately define local weight and trial spaces. In particular, we use energy minimizing snapshots and local spectral decompositions in the natural norm associated with the auxiliary variable. The resulting spectral decomposition adaptively identifies and builds the optimal multiscale space to stabilize the system. We discuss the stability and its relation to the approximation property of the test space. We design online basis functions, which accelerate convergence in the test space, and consequently, improve stability. We present several numerical examples and show that one needs a few test functions to achieve an error similar to the projection error in the primal variable irrespective of the Peclet number. △ Less

Submitted 22 September, 2015; originally announced September 2015.

Gaussian quadrature for splines via homotopy continuation: rules for $C^2$ cubic splines

Authors: Michael Bartoň, Victor Manuel Calo

Abstract: We introduce a new concept for generating optimal quadrature rules for splines. Given a target spline space where we aim to generate an optimal quadrature rule, we build an associated source space with known optimal quadrature and transfer the rule from the source space to the target one, preserving the number of quadrature points and therefore optimality. The quadrature nodes and weights are, con… ▽ More We introduce a new concept for generating optimal quadrature rules for splines. Given a target spline space where we aim to generate an optimal quadrature rule, we build an associated source space with known optimal quadrature and transfer the rule from the source space to the target one, preserving the number of quadrature points and therefore optimality. The quadrature nodes and weights are, considered as a higher-dimensional point, a zero of a particular system of polynomial equations. As the space is continuously deformed by modifying the source knot vector, the quadrature rule gets updated using polynomial homotopy continuation. For example, starting with $C^1$ cubic splines with uniform knot sequences, we demonstrate the methodology by deriving the optimal rules for uniform $C^2$ cubic spline spaces where the rule was only conjectured heretofore. We validate our algorithm by showing that the resulting quadrature rule is independent of the path chosen between the target and the source knot vectors as well as the source rule chosen. △ Less

Submitted 17 May, 2015; originally announced May 2015.

Gaussian quadrature rules for $C^1$ quintic splines

Authors: Michael Bartoň, Rachid Ait-Haddou, Victor Manuel Calo

Abstract: We provide explicit expressions for quadrature rules on the space of $C^1$ quintic splines with uniform knot sequences over finite domains. The quadrature nodes and weights are derived via an explicit recursion that avoids an intervention of any numerical solver and the rule is optimal, that is, it requires the minimal number of nodes. For each of $n$ subintervals, generically, only two nodes are… ▽ More We provide explicit expressions for quadrature rules on the space of $C^1$ quintic splines with uniform knot sequences over finite domains. The quadrature nodes and weights are derived via an explicit recursion that avoids an intervention of any numerical solver and the rule is optimal, that is, it requires the minimal number of nodes. For each of $n$ subintervals, generically, only two nodes are required which reduces the evaluation cost by $2/3$ when compared to the classical Gaussian quadrature for polynomials. Numerical experiments show fast convergence, as $n$ grows, to the "two-third" quadrature rule of Hughes et al. for infinite domains. △ Less

Submitted 3 March, 2015; originally announced March 2015.

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

Strain-minimising Stream Surfaces

Authors: Michael Bartoň, Jiří Kosinka, Victor M. Calo

Abstract: We study the problem of finding strain-minimising stream surfaces in a divergence-free vector field. These surfaces are generated by motions of seed curves that propagate through the field in a strain minimising manner, i.e., they move without stretching or shrinking, preserving the length of their arbitrary arc. In general fields, such curves do not exist. However, the divergence-free constraint… ▽ More We study the problem of finding strain-minimising stream surfaces in a divergence-free vector field. These surfaces are generated by motions of seed curves that propagate through the field in a strain minimising manner, i.e., they move without stretching or shrinking, preserving the length of their arbitrary arc. In general fields, such curves do not exist. However, the divergence-free constraint gives rise to these 'strain-free' curves that are locally arc-length preserving when infinitesimally propagated. Several families of strain-free curves are identified and used as initial guesses for stream surface generation. These surfaces are subsequently globally optimised to obtain the best strain-minimising stream surfaces in a given divergence-free vector field. Our algorithm was tested on benchmark datasets, proving its applicability to incompressible fluid flow simulations, where our strain-minimising stream surfaces realistically reflect the flow of a flexible univariate object. △ Less

Submitted 5 November, 2014; originally announced November 2014.

Explicit Gaussian quadrature rules for cubic splines with non-uniform knot sequences

Authors: Rachid Ait-Haddou, Michael Bartoň, Victor Manuel Calo

Abstract: We provide explicit expressions for quadrature rules on the space of $C^1$ cubic splines with non-uniform, symmetrically stretched knot sequences. The quadrature nodes and weights are derived via an explicit recursion that avoids an intervention of any numerical solver and the rule is optimal, that is, it requires minimal number of nodes. Numerical experiments validating the theoretical results an… ▽ More We provide explicit expressions for quadrature rules on the space of $C^1$ cubic splines with non-uniform, symmetrically stretched knot sequences. The quadrature nodes and weights are derived via an explicit recursion that avoids an intervention of any numerical solver and the rule is optimal, that is, it requires minimal number of nodes. Numerical experiments validating the theoretical results and the error estimates of the quadrature rules are also presented. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Asymptotic Expansions for High-Contrast Linear Elasticity

Authors: Leonardo A. Poveda, Sebastian Huepo, Victor M. Calo, Juan Galvis

Abstract: We study linear elasticity problems with high contrast in the coefficients using asymptotic limits recently introduced. We derive an asymptotic expansion to solve heterogeneous elasticity problems in terms of the contrast in the coefficients. We study the convergence of the expansion in the $H^1$ norm. We study linear elasticity problems with high contrast in the coefficients using asymptotic limits recently introduced. We derive an asymptotic expansion to solve heterogeneous elasticity problems in terms of the contrast in the coefficients. We study the convergence of the expansion in the $H^1$ norm. △ Less

Submitted 9 March, 2015; v1 submitted 1 October, 2014; originally announced October 2014.

Localized Harmonic Characteristic Basis Functions for Multiscale Finite Element Methods

Authors: Leonardo A. Poveda, Sebastian Huepo, Victor M. Calo, Juan Galvis

Abstract: We solve elliptic systems of equations posed on highly heterogeneous materials. Examples of this class of problems are composite structures and geological processes. We focus on a model problem which is a second-order elliptic equation with discontinuous coefficients. These coefficients represent the conductivity of a composite material. We assume a background with low conductivity that contains i… ▽ More We solve elliptic systems of equations posed on highly heterogeneous materials. Examples of this class of problems are composite structures and geological processes. We focus on a model problem which is a second-order elliptic equation with discontinuous coefficients. These coefficients represent the conductivity of a composite material. We assume a background with low conductivity that contains inclusions with different thermal properties. Under this scenario we design a multiscale finite element method to efficiently approximate solutions. The method is based on an asymptotic expansions of the solution in terms of the ratio between the conductivities. The resulting method constructs (locally) finite element basis functions (one for each inclusion). These bases that generate the multiscale finite element space where the approximation of the solution is computed. Numerical experiments show the good performance of the proposed methodology. △ Less

Submitted 9 December, 2015; v1 submitted 1 October, 2014; originally announced October 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1410.1015

Randomized Oversampling for Generalized Multiscale Finite Element Methods

Authors: Victor M. Calo, Y. Efendiev, Juan Galvis, Guanglian Li

Abstract: In this paper, we study the development of efficient multiscale methods for flows in heterogeneous media. Our approach uses the Generalized Multiscale Finite Element (GMsFEM) framework. The main idea of GMsFEM is to approximate the solution space locally using a few multiscale basis functions. This is typically achieved by selecting an appropriate snapshot space and a local spectral decomposition,… ▽ More In this paper, we study the development of efficient multiscale methods for flows in heterogeneous media. Our approach uses the Generalized Multiscale Finite Element (GMsFEM) framework. The main idea of GMsFEM is to approximate the solution space locally using a few multiscale basis functions. This is typically achieved by selecting an appropriate snapshot space and a local spectral decomposition, e.g., the use of oversampled regions in order to achieve an efficient model reduction. However, the successful construction of snapshot spaces may be costly if too many local problems need to be solved in order to obtain these spaces. In this paper, we show that this efficiency can be achieved using a moderate quantity of local solutions (or snapshot vectors) with random boundary conditions on oversampled regions with zero forcing. Motivated by the randomized algorithm presented in [19], we consider a snapshot space which consists of harmonic extensions of random boundary conditions defined in a domain larger than the target region. Furthermore, we perform an eigenvalue decomposition in this small space. We study the application of randomized sampling for GMsFEM in conjunction with adaptivity, where local multiscale spaces are adaptively enriched. Convergence analysis is provided. We present representative numerical results to validate the method proposed. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Global-Local Nonlinear Model Reduction for Flows in Heterogeneous Porous Media

Authors: Manal Alotaibi, Victor M. Calo, Yalchin Efendiev, Juan Galvis, Mehdi Ghommem

Abstract: In this paper, we combine discrete empirical interpolation techniques, global mode decomposition methods, and local multiscale methods, such as the Generalized Multiscale Finite Element Method (GMsFEM), to reduce the computational complexity associated with nonlinear flows in highly-heterogeneous porous media. To solve the nonlinear governing equations, we employ the GMsFEM to represent the soluti… ▽ More In this paper, we combine discrete empirical interpolation techniques, global mode decomposition methods, and local multiscale methods, such as the Generalized Multiscale Finite Element Method (GMsFEM), to reduce the computational complexity associated with nonlinear flows in highly-heterogeneous porous media. To solve the nonlinear governing equations, we employ the GMsFEM to represent the solution on a coarse grid with multiscale basis functions and apply proper orthogonal decomposition on a coarse grid. Computing the GMsFEM solution involves calculating the residual and the Jacobian on the fine grid. As such, we use local and global empirical interpolation concepts to circumvent performing these computations on the fine grid. The resulting reduced-order approach enables a significant reduction in the flow problem size while accurately capturing the behavior of fully-resolved solutions. We consider several numerical examples of nonlinear multiscale partial differential equations that are numerically integrated using fully-implicit time marching schemes to demonstrate the capability of the proposed model reduction approach to speed up simulations of nonlinear flows in high-contrast porous media. △ Less

Submitted 3 July, 2014; originally announced July 2014.

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

PetIGA: A Framework for High-Performance Isogeometric Analysis

Authors: Lisandro Dalcin, Nathan Collier, Philippe Vignal, Adriano M. A. Cortes, V. M. Calo

Abstract: We present PetIGA, a code framework to approximate the solution of partial differential equations using isogeometric analysis. PetIGA can be used to assemble matrices and vectors which come from a Galerkin weak form, discretized with Non-Uniform Rational B-spline basis functions. We base our framework on PETSc, a high-performance library for the scalable solution of partial differential equations,… ▽ More We present PetIGA, a code framework to approximate the solution of partial differential equations using isogeometric analysis. PetIGA can be used to assemble matrices and vectors which come from a Galerkin weak form, discretized with Non-Uniform Rational B-spline basis functions. We base our framework on PETSc, a high-performance library for the scalable solution of partial differential equations, which simplifies the development of large-scale scientific codes, provides a rich environment for prototyping, and separates parallelism from algorithm choice. We describe the implementation of PetIGA, and exemplify its use by solving a model nonlinear problem. To illustrate the robustness and flexibility of PetIGA, we solve some challenging nonlinear partial differential equations that include problems in both solid and fluid mechanics. We show strong scaling results on up to 4096 cores, which confirm the suitability of PetIGA for large scale simulations. △ Less

Submitted 28 July, 2015; v1 submitted 20 May, 2013; originally announced May 2013.

Analysis of the Discontinuous Petrov-Galerkin Method with Optimal Test Functions for the Reissner-Mindlin Plate Bending Model

Authors: Victor M. Calo, Nathaniel O. Collier, Antti H. Niemi

Abstract: We analyze the discontinuous Petrov-Galerkin (DPG) method with optimal test functions when applied to solve the Reissner-Mindlin model of plate bending. We prove that the hybrid variational formulation underlying the DPG method is well-posed (stable) with a thickness-dependent constant in a norm encompassing the $L_2$-norms of the bending moment, the shear force, the transverse deflection and the… ▽ More We analyze the discontinuous Petrov-Galerkin (DPG) method with optimal test functions when applied to solve the Reissner-Mindlin model of plate bending. We prove that the hybrid variational formulation underlying the DPG method is well-posed (stable) with a thickness-dependent constant in a norm encompassing the $L_2$-norms of the bending moment, the shear force, the transverse deflection and the rotation vector. We then construct a numerical solution scheme based on quadrilateral scalar and vector finite elements of degree $p$. We show that for affine meshes the discretization inherits the stability of the continuous formulation provided that the optimal test functions are approximated by polynomials of degree $p+3$. We prove a theoretical error estimate in terms of the mesh size $h$ and polynomial degree $p$ and demonstrate numerical convergence on affine as well as non-affine mesh sequences. △ Less

Submitted 25 January, 2013; originally announced January 2013.

Mode Decomposition Methods for Flows in High-Contrast Porous Media. Part II. Local-Global Approach

Authors: Mehdi Ghommem, Michael Presho, Victor M. Calo, Yalchin Efendiev

Abstract: In this paper, we combine concepts of the generalized multiscale finite element method and mode decomposition methods to construct a robust local-global approach for model reduction of flows in high-contrast porous media. This is achieved by implementing proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) techniques on a coarse grid. The resulting reduced-order approach enab… ▽ More In this paper, we combine concepts of the generalized multiscale finite element method and mode decomposition methods to construct a robust local-global approach for model reduction of flows in high-contrast porous media. This is achieved by implementing proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) techniques on a coarse grid. The resulting reduced-order approach enables a significant reduction in the flow problem size while accurately capturing the behavior of fully resolved solutions. We consider a variety of high-contrast coefficients and present the corresponding numerical results to illustrate the effectiveness of the proposed technique. This paper is a continuation of the first part where we examine the applicability of POD and DMD to derive simplified and reliable representations of flows in high-contrast porous media. In the current paper, we discuss how these global model reduction approaches can be combined with local techniques to speed-up the simulations. The speed-up is due to inexpensive, while sufficiently accurate, computations of global snapshots. △ Less

Submitted 24 January, 2013; originally announced January 2013.

The cost of continuity: performance of iterative solvers on isogeometric finite elements

Authors: Nathan Collier, Lisandro Dalcin, David Pardo, V. M. Calo

Abstract: In this paper we study how the use of a more continuous set of basis functions affects the cost of solving systems of linear equations resulting from a discretized Galerkin weak form. Specifically, we compare performance of linear solvers when discretizing using $C^0$ B-splines, which span traditional finite element spaces, and $C^{p-1}$ B-splines, which represent maximum continuity. We provide th… ▽ More In this paper we study how the use of a more continuous set of basis functions affects the cost of solving systems of linear equations resulting from a discretized Galerkin weak form. Specifically, we compare performance of linear solvers when discretizing using $C^0$ B-splines, which span traditional finite element spaces, and $C^{p-1}$ B-splines, which represent maximum continuity. We provide theoretical estimates for the increase in cost of the matrix-vector product as well as for the construction and application of black-box preconditioners. We accompany these estimates with numerical results and study their sensitivity to various grid parameters such as element size $h$ and polynomial order of approximation $p$. Finally, we present timing results for a range of preconditioning options for the Laplace problem. We conclude that the matrix-vector product operation is at most $\slfrac{33p^2}{8}$ times more expensive for the more continuous space, although for moderately low $p$, this number is significantly reduced. Moreover, if static condensation is not employed, this number further reduces to at most a value of 8, even for high $p$. Preconditioning options can be up to $p^3$ times more expensive to setup, although this difference significantly decreases for some popular preconditioners such as Incomplete LU factorization. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Asymptotic expansions for high-contrast elliptic equations

Authors: Victor M. Calo, Yalchin Efendiev, Juan Galvis

Abstract: In this paper, we present a high-order expansion for elliptic equations in high-contrast media. The background conductivity is taken to be one and we assume the medium contains high (or low) conductivity inclusions. We derive an asymptotic expansion with respect to the contrast and provide a procedure to compute the terms in the expansion. The computation of the expansion does not depend on the co… ▽ More In this paper, we present a high-order expansion for elliptic equations in high-contrast media. The background conductivity is taken to be one and we assume the medium contains high (or low) conductivity inclusions. We derive an asymptotic expansion with respect to the contrast and provide a procedure to compute the terms in the expansion. The computation of the expansion does not depend on the contrast which is important for simulations. The latter allows avoiding increased mesh resolution around high conductivity features. This work is partly motivated by our earlier work in \cite{ge09_1} where we design efficient numerical procedures for solving high-contrast problems. These multiscale approaches require local solutions and our proposed high-order expansion can be used to approximate these local solutions inexpensively. In the case of a large-number of inclusions, the proposed analysis can help to design localization techniques for computing the terms in the expansion. In the paper, we present a rigorous analysis of the proposed high-order expansion and estimate the remainder of it. We consider both high and low conductivity inclusions. △ Less

Submitted 14 April, 2012; originally announced April 2012.

Journal ref: Math. Models Methods Appl. Sci. 24, 465 (2014)

Computational complexity and memory usage for multi-frontal direct solvers in structured mesh finite elements

Authors: Nathan Collier, David Pardo, Maciej Paszynski, Victor M. Calo

Abstract: The multi-frontal direct solver is the state-of-the-art algorithm for the direct solution of sparse linear systems. This paper provides computational complexity and memory usage estimates for the application of the multi-frontal direct solver algorithm on linear systems resulting from B-spline-based isogeometric finite elements, where the mesh is a structured grid. Specifically we provide the esti… ▽ More The multi-frontal direct solver is the state-of-the-art algorithm for the direct solution of sparse linear systems. This paper provides computational complexity and memory usage estimates for the application of the multi-frontal direct solver algorithm on linear systems resulting from B-spline-based isogeometric finite elements, where the mesh is a structured grid. Specifically we provide the estimates for systems resulting from $C^{p-1}$ polynomial B-spline spaces and compare them to those obtained using $C^0$ spaces. △ Less

Submitted 8 April, 2012; originally announced April 2012.

Comments: 8 pages, 2 figures

Gradient-based estimation of Manning's friction coefficient from noisy data

Authors: Victor M. Calo, Nathan Collier, Matthias Gehre, Bangti Jin, Hany Radwan

Abstract: We study the numerical recovery of Manning's roughness coefficient for the diffusive wave approximation of the shallow water equation. We describe a conjugate gradient method for the numerical inversion. Numerical results for one-dimensional model are presented to illustrate the feasibility of the approach. Also we provide a proof of the differentiability of the weak form with respect to the coeff… ▽ More We study the numerical recovery of Manning's roughness coefficient for the diffusive wave approximation of the shallow water equation. We describe a conjugate gradient method for the numerical inversion. Numerical results for one-dimensional model are presented to illustrate the feasibility of the approach. Also we provide a proof of the differentiability of the weak form with respect to the coefficient as well as the continuity and boundedness of the linearized operator under reasonable assumptions using the maximal parabolic regularity theory. △ Less

Submitted 8 April, 2012; originally announced April 2012.

Comments: 19 pages, 3 figures

Automatically Stable Discontinuous Petrov-Galerkin Methods for Stationary Transport Problems: Quasi-Optimal Test Space Norm

Authors: Antti H. Niemi, Nathaniel O. Collier, Victor M. Calo

Abstract: We investigate the application of the discontinuous Petrov-Galerkin (DPG) finite element framework to stationary convection-diffusion problems. In particular, we demonstrate how the quasi-optimal test space norm can be utilized to improve the robustness of the DPG method with respect to vanishing diffusion. We numerically compare coarse-mesh accuracy of the approximation when using the quasi-optim… ▽ More We investigate the application of the discontinuous Petrov-Galerkin (DPG) finite element framework to stationary convection-diffusion problems. In particular, we demonstrate how the quasi-optimal test space norm can be utilized to improve the robustness of the DPG method with respect to vanishing diffusion. We numerically compare coarse-mesh accuracy of the approximation when using the quasi-optimal norm, the standard norm, and the weighted norm. Our results show that the quasi-optimal norm leads to more accurate results on three benchmark problems in two spatial dimensions. We address the problems associated to the resolution of the optimal test functions with respect to the quasi-optimal norm by studying their convergence numerically. In order to facilitate understanding of the method, we also include a detailed explanation of the methodology from the algorithmic point of view. △ Less

Submitted 9 January, 2012; originally announced January 2012.