arXiv subjects

Assyr Abdulle

Publications and source records attributed to Assyr Abdulle.

At least 19 recordsLinked to original sources

arXiv2022

Convergence analysis of explicit stabilized integrators for parabolic semilinear stochastic PDEs

Explicit stabilized integrators are an efficient alternative to implicit or semi-implicit methods to avoid the severe timestep restriction faced by standard explicit integrators applied to stiff diffusion problems. In this paper, we provide a fully discrete strong convergence analysis of a family of explicit stabilized methods coupled with finite element methods for a class of parabolic semilinear deterministic and stochastic partial differential equations. Numerical experiments including the semilinear stochastic heat equation with space-time white noise confirm the theoretical findings.

math.NA↗

arXiv2022

Eigenfunction martingale estimating functions and filtered data for drift estimation of discretely observed multiscale diffusions

We propose a novel method for drift estimation of multiscale diffusion processes when a sequence of discrete observations is given. For the Langevin dynamics in a two-scale potential, our approach relies on the eigenvalues and the eigenfunctions of the homogenized dynamics. Our first estimator is derived from a martingale estimating function of the generator of the homogenized diffusion process. However, the unbiasedness of the estimator depends on the rate with which the observations are sampled. We therefore introduce a second estimator which relies also on filtering the data and we prove that it is asymptotically unbiased independently of the sampling rate. A series of numerical experiments illustrate the reliability and efficiency of our different estimators.

math.NA↗

arXiv2022

Explicit stabilized multirate method for stiff differential equations

Stabilized Runge-Kutta methods are especially efficient for the numerical solution of large systems of stiff nonlinear differential equations because they are fully explicit. For semi-discrete parabolic problems, for instance, stabilized Runge-Kutta methods overcome the stringent stability condition of standard methods without sacrificing explicitness. However, when stiffness is only induced by a few components, as in the presence of spatially local mesh refinement, their efficiency deteriorates. To remove the crippling effect of a few severely stiff components on the entire system of differential equations, we derive a modified equation, whose stiffness solely depend on the remaining mildly stiff components. By applying stabilized Runge-Kutta methods to this modified equation, we then devise an explicit multirate Runge-Kutta-Chebyshev (mRKC) method whose stability conditions are independent of a few severely stiff components. Stability of the mRKC method is proved for a model problem, whereas its efficiency and usefulness are demonstrated through a series of numerical experiments.

math.NA↗

arXiv2021

A posteriori error analysis of a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations

We introduce a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations. The proposed method is based on a coarse grid and iteratively improves the solution's accuracy by solving local elliptic problems in refined subdomains. For purely diffusion problems, we already proved that this scheme converges under minimal regularity assumptions [A. Abdulle and G.Rosilho de Souza, ESAIM: M2AN, 53(4):1269--1303, 2019]. In this paper, we provide an algorithm for the automatic identification of the local elliptic problems' subdomains employing a flux reconstruction strategy. Reliable error estimators are derived for the local adaptive method. Numerical comparisons with a classical nonlocal adaptive algorithm illustrate the efficiency of the method.

math.NA↗

arXiv2021

Explicit stabilized multirate method for stiff stochastic differential equations

Stabilized explicit methods are particularly efficient for large systems of stiff stochastic differential equations (SDEs) due to their extended stability domain. However, they loose their efficiency when a severe stiffness is induced by very few "fast" degrees of freedom, as the stiff and nonstiff terms are evaluated concurrently. Therefore, inspired by [A. Abdulle, M. J. Grote, and G. Rosilho de Souza, Preprint (2020), arXiv:2006.00744] we introduce a stochastic modified equation whose stiffness depends solely on the "slow" terms. By integrating this modified equation with a stabilized explicit scheme we devise a multirate method which overcomes the bottleneck caused by a few severely stiff terms and recovers the efficiency of stabilized schemes for large systems of nonlinear SDEs. The scheme is not based on any scale separation assumption of the SDE and therefore it is employable for problems stemming from the spatial discretization of stochastic parabolic partial differential equations on locally refined grids. The multirate scheme has strong order 1/2, weak order 1 and its stability is proved on a model problem. Numerical experiments confirm the efficiency and accuracy of the scheme.

math.NA↗

arXiv2021

Optimal explicit stabilized postprocessed $τ$-leap method for the simulation of chemical kinetics

The simulation of chemical kinetics involving multiple scales constitutes a modeling challenge (from ordinary differential equations to Markov chain) and a computational challenge (multiple scales, large dynamical systems, time step restrictions). In this paper we propose a new discrete stochastic simulation algorithm: the postprocessed second kind stabilized orthogonal $τ$-leap Runge-Kutta method (PSK-$τ$-ROCK). In the context of chemical kinetics this method can be seen as a stabilization of Gillespie's explicit $τ$-leap combined with a postprocessor. The stabilized procedure allows to simulate problems with multiple scales (stiff), while the postprocessing procedure allows to approximate the invariant measure (e.g. mean and variance) of ergodic stochastic dynamical systems. We prove stability and accuracy of the PSK-$τ$-ROCK. Numerical experiments illustrate the high reliability and efficiency of the scheme when compared to other $τ$-leap methods.

math.NA↗

arXiv2021

Drift Estimation of Multiscale Diffusions Based on Filtered Data

We study the problem of drift estimation for two-scale continuous time series. We set ourselves in the framework of overdamped Langevin equations, for which a single-scale surrogate homogenized equation exists. In this setting, estimating the drift coefficient of the homogenized equation requires pre-processing of the data, often in the form of subsampling; this is because the two-scale equation and the homogenized single-scale equation are incompatible at small scales, generating mutually singular measures on the path space. We avoid subsampling and work instead with filtered data, found by application of an appropriate kernel function, and compute maximum likelihood estimators based on the filtered process. We show that the estimators we propose are asymptotically unbiased and demonstrate numerically the advantages of our method with respect to subsampling. Finally, we show how our filtered data methodology can be combined with Bayesian techniques and provide a full uncertainty quantification of the inference procedure.

math.NA↗

arXiv2021

An elliptic local problem with exponential decay of the resonance error for numerical homogenization

Numerical multiscale methods usually rely on some coupling between a macroscopic and a microscopic model. The macroscopic model is incomplete as effective quantities, such as the homogenized material coefficients or fluxes, are missing in the model. These effective data need to be computed by running local microscale simulations followed by a local averaging of the microscopic information. Motivated by the classical homogenization theory, it is a common practice to use local elliptic cell problems for computing the missing homogenized coefficients in the macro model. Such a consideration results in a first order error $O(\varepsilon/δ)$, where $\varepsilon$ represents the wavelength of the microscale variations and $δ$ is the size of the microscopic simulation boxes. This error, called "resonance error", originates from the boundary conditions used in the micro-problem and typically dominates all other errors in a multiscale numerical method. Optimal decay of the resonance error remains an open problem, although several interesting approaches reducing the effect of the boundary have been proposed over the last two decades. In this paper, as an attempt to resolve this problem, we propose a computationally efficient, fully elliptic approach with exponential decay of the resonance error.

math.NA↗

arXiv2021

A probabilistic finite element method based on random meshes: Error estimators and Bayesian inverse problems

We present a novel probabilistic finite element method (FEM) for the solution and uncertainty quantification of elliptic partial differential equations based on random meshes, which we call random mesh FEM (RM-FEM). Our methodology allows to introduce a probability measure on standard piecewise linear FEM. We present a posteriori error estimators based uniquely on probabilistic information. A series of numerical experiments illustrates the potential of the RM-FEM for error estimation and validates our analysis. We furthermore demonstrate how employing the RM-FEM enhances the quality of the solution of Bayesian inverse problems, thus allowing a better quantification of numerical errors in pipelines of computations.

math.NA↗

arXiv2021

A parabolic local problem with exponential decay of the resonance error for numerical homogenization

This paper aims at an accurate and efficient computation of effective quantities, e.g., the homogenized coefficients for approximating the solutions to partial differential equations with oscillatory coefficients. Typical multiscale methods are based on a micro-macro coupling, where the macro model describes the coarse scale behaviour, and the micro model is solved only locally to upscale the effective quantities, which are missing in the macro model. The fact that the micro problems are solved over small domains within the entire macroscopic domain, implies imposing artificial boundary conditions on the boundary of the microscopic domains. A naive treatment of these artificial boundary conditions leads to a first order error in $\varepsilon/δ$, where $\varepsilon < δ$ represents the characteristic length of the small scale oscillations and $δ^d$ is the size of micro domain. This error dominates all other errors originating from the discretization of the macro and the micro problems, and its reduction is a main issue in today's engineering multiscale computations. The objective of the present work is to analyze a parabolic approach, first announced in [A. Abdulle, D. Arjmand, E. Paganoni, C. R. Acad. Sci. Paris, Ser. I, 2019], for computing the homogenized coefficients with arbitrarily high convergence rates in $\varepsilon/δ$. The analysis covers the setting of periodic micro structure, and numerical simulations are provided to verify the theoretical findings for more general settings, e.g. random stationary micro structures.

math.NA↗

arXiv2020

Analytical and numerical study of a modified cell problem for the numerical homogenization of multiscale random fields

A central question in numerical homogenization of partial differential equations with multiscale coefficients is the accurate computation of effective quantities, such as the homogenized coefficients. Computing homogenized coefficients requires solving local corrector problems followed by upscaling relevant local data. The most naive way of computing homogenized coefficients is by solving a local elliptic problem, which is known to suffer from the so-called resonance error dominating all other errors inherent in multiscale computations. A far more efficient modelling strategy, based on adding an exponential correction term to the standard local elliptic problem, has recently been proved to result in exponentially decaying error bounds with respect to the size of the local geometry. The questions in relation with the accuracy and computational efficiency of this approach has been previously addressed in the context of periodic homogenization. The present article concerns the extension of mathematical and numerical study of this modified elliptic corrector problem to stochastic homogenization problems. In particular, we assume a stationary, ergodic micro-structure and i) establish the well-posedness of the corrector equation, ii) analyse the bias (or the systematic error) originating from additional exponential correction term in the model. Numerical results corroborating our theoretical findings are presented.

math.NA↗

arXiv2020

Ensemble Kalman filter for multiscale inverse problems

We present a novel algorithm based on the ensemble Kalman filter to solve inverse problems involving multiscale elliptic partial differential equations. Our method is based on numerical homogenization and finite element discretization and allows to recover a highly oscillatory tensor from measurements of the multiscale solution in a computationally inexpensive manner. The properties of the approximate solution are analysed with respect to the multiscale and discretization parameters, and a convergence result is shown to hold. A reinterpretation of the solution from a Bayesian perspective is provided, and convergence of the approximate conditional posterior distribution is proved with respect to the Wasserstein distance. A numerical experiment validates our methodology, with a particular emphasis on modelling error and computational cost.

math.NA↗

arXiv2020

Instabilities and order reduction phenomenon of an interpolation based multirate Runge-Kutta-Chebyshev method

An explicit stabilized additive Runge-Kutta scheme is proposed. The method is based on a splitting of the problem in severely stiff and mildly stiff subproblems, which are then independently solved using a Runge-Kutta-Chebyshev scheme. The number of stages is adapted according to the subproblem's stiffness and leads to asynchronous integration needing ghost values. Whenever ghost values are needed, linear interpolation in time between stages is employed. One important application of the scheme is for parabolic partial differential equations discretized on a nonuniform grid. The goal of this paper is to introduce the scheme and prove on a model problem that linear interpolations trigger instabilities into the method. Furthermore, we show that it suffers from an order reduction phenomenon. The theoretical results are confirmed numerically.

math.NA↗

arXiv2020

Effective models and numerical homogenization for wave propagation in heterogeneous media on arbitrary timescales

A family of effective equations for wave propagation in periodic media for arbitrary timescales $\mathcal{O}(\varepsilon^{-α})$, where $\varepsilon\ll1$ is the period of the tensor describing the medium, is proposed. The well-posedness of the effective equations of the family is ensured without requiring a regularization process as in previous models [A. Benoit and A. Gloria, arXiv:1701.08600, 2017], [G. Allaire, A. Lamacz, and J. Rauch, arXiv:1803.09455, 2018]. The effective solutions in the family are proved to be $\varepsilon$ close to the original wave in a norm equivalent to the $L^\infty(0,\varepsilon^{-α}T;L^2(Ω))$ norm. In addition, a numerical procedure for the computation of the effective tensors of arbitrary order is provided. In particular, we present a new relation between the correctors of arbitrary order, which allows to substantially reduce the computational cost of the effective tensors of arbitrary order. This relation is not limited to the effective equations presented in this paper and can be used to compute the effective tensors of alternative effective models.

math.AP↗

arXiv2020

Random time step probabilistic methods for uncertainty quantification in chaotic and geometric numerical integration

A novel probabilistic numerical method for quantifying the uncertainty induced by the time integration of ordinary differential equations (ODEs) is introduced. Departing from the classical strategy to randomize ODE solvers by adding a random forcing term, we show that a probability measure over the numerical solution of ODEs can be obtained by introducing suitable random time-steps in a classical time integrator. This intrinsic randomization allows for the conservation of geometric properties of the underlying deterministic integrator such as mass conservation, symplecticity or conservation of first integrals. Weak and mean-square convergence analysis are derived. We also analyse the convergence of the Monte Carlo estimator for the proposed random time step method and show that the measure obtained with repeated sampling converges in the mean-square sense independently of the number of samples. Numerical examples including chaotic Hamiltonian systems, chemical reactions and Bayesian inferential problems illustrate the accuracy, robustness and versatility of our probabilistic numerical method.

math.NA↗

arXiv2019

Accelerated convergence to equilibrium and reduced asymptotic variance for Langevin dynamics using Stratonovich perturbations

In this paper we propose a new approach for sampling from probability measures in, possibly, high dimensional spaces. By perturbing the standard overdamped Langevin dynamics by a suitable Stratonovich perturbation that preserves the invariant measure of the original system, we show that accelerated convergence to equilibrium and reduced asymptotic variance can be achieved, leading, thus, to a computationally advantageous sampling algorithm. The new perturbed Langevin dynamics is reversible with respect to the target probability measure and, consequently, does not suffer from the drawbacks of the nonreversible Langevin samplers that were introduced in~[C.-R. Hwang, S.-Y. Hwang-Ma, and S.-J. Sheu, Ann. Appl. Probab. 1993] and studied in, e.g. [T. Lelievre, F. Nier, and G. A. Pavliotis J. Stat. Phys., 2013] and [A. B. Duncan, T. Leli\`evre, and G. A. Pavliotis J. Stat. Phys., 2016], while retaining all of their advantages in terms of accelerated convergence and reduced asymptotic variance. In particular, the reversibility of the dynamics ensures that there is no oscillatory transient behaviour. The improved performance of the proposed methodology, in comparison to the standard overdamped Langevin dynamics and its nonreversible perturbation, is illustrated on an example of sampling from a two-dimensional warped Gaussian target distribution.

math.NA↗

arXiv2019

Exponential decay of the resonance error in numerical homogenization via parabolic and elliptic cell problems

This paper presents two new approaches for finding the homogenized coefficients of multiscale elliptic PDEs. Standard approaches for computing the homogenized coefficients suffer from the so-called resonance error, originating from a mismatch between the true and the computational boundary conditions. Our new methods, based on solutions of parabolic and elliptic cell-problems, result in an exponential decay of the resonance error.

math.NA↗

arXiv2018

A Bayesian numerical homogenization method for elliptic multiscale inverse problems

A new strategy based on numerical homogenization and Bayesian techniques for solving multiscale inverse problems is introduced. We consider a class of elliptic problems which vary at a microscopic scale, and we aim at recovering the highly oscillatory tensor from measurements of the fine scale solution at the boundary, using a coarse model based on numerical homogenization and model order reduction. We provide a rigorous Bayesian formulation of the problem, taking into account different possibilities for the choice of the prior measure. We prove well-posedness of the effective posterior measure and, by means of G-convergence, we establish a link between the effective posterior and the fine scale model. Several numerical experiments illustrate the efficiency of the proposed scheme and confirm the theoretical findings.

math.NA↗