Showing 1–15 of 15 results for author: Chaudhry, J

Adjoint-based A Posteriori Error Analysis for Semi-explicit Index-1 and Hessenberg Index-2 Differential-Algebraic Equations

Authors: Jehanzeb Chaudhry, Owen Lewis, Md Al Amin Molla

Abstract: In this work we develop and analyze adjoint-based analyses for \textit{a posteriori} error estimation for the temporal discretization of differential-algebraic equations (DAEs) of special type: semi-explicit index-1 and Hessenberg index-2. Our technique quantifies the error in a Quantity of Interest (QoI), which is defined as a bounded linear functional of the solution of a DAE. We derive represen… ▽ More In this work we develop and analyze adjoint-based analyses for \textit{a posteriori} error estimation for the temporal discretization of differential-algebraic equations (DAEs) of special type: semi-explicit index-1 and Hessenberg index-2. Our technique quantifies the error in a Quantity of Interest (QoI), which is defined as a bounded linear functional of the solution of a DAE. We derive representations for errors various trypes of QoIs (depending on the entire time interval, final time, algebraic variables, differential variables etc.). We form two analyses: one that defines the adjoint to the DAE system, and one that first converts the DAE to an ODE system and then applies classical \textit{a posteriori} analysis techniques. A number of examples are presented, including nonlinear and non-autonomous DAEs, as well as discretized partial differential-algebraic equations (PDAEs). Numerical results indicate a high degree of accuracy in the error estimation. △ Less

Submitted 4 July, 2025; originally announced July 2025.

Adjoint-based Adaptive Multi-Level Monte Carlo for Differential Equations

Authors: Jehanzeb Chaudhry, Zachary Stevens

Abstract: We present a multi-level Monte Carlo (MLMC) algorithm with adaptively refined meshes and accurately computed stopping-criteria utilizing adjoint-based a posteriori error analysis for differential equations. This is in contrast to classical MLMC algorithms that use either a hierarchy of uniform meshes or adaptively refined meshes based on Richardson extrapolation, and employ a stopping criteria tha… ▽ More We present a multi-level Monte Carlo (MLMC) algorithm with adaptively refined meshes and accurately computed stopping-criteria utilizing adjoint-based a posteriori error analysis for differential equations. This is in contrast to classical MLMC algorithms that use either a hierarchy of uniform meshes or adaptively refined meshes based on Richardson extrapolation, and employ a stopping criteria that relies on assumptions on the convergence rate of the MLMC levels. This work develops two adaptive refinement strategies for the MLMC algorithm. These strategies are based on a decomposition of an error estimate of the MLMC bias and utilize variational analysis, adjoint problems and computable residuals. △ Less

Submitted 6 June, 2022; originally announced June 2022.

On Computing Coercivity Constants in Linear Variational Problems Through Eigenvalue Analysis

Authors: Peter Sentz, Jehanzeb Hameed Chaudhry, Luke N. Olson

Abstract: In this work, we investigate the convergence of numerical approximations to coercivity constants of variational problems. These constants are essential components of rigorous error bounds for reduced-order modeling; extension of these bounds to the error with respect to exact solutions requires an understanding of convergence rates for discrete coercivity constants. The results are obtained by cha… ▽ More In this work, we investigate the convergence of numerical approximations to coercivity constants of variational problems. These constants are essential components of rigorous error bounds for reduced-order modeling; extension of these bounds to the error with respect to exact solutions requires an understanding of convergence rates for discrete coercivity constants. The results are obtained by characterizing the coercivity constant as a spectral value of a self-adjoint linear operator; for several differential equations, we show that the coercivity constant is related to the eigenvalue of a compact operator. For these applications, convergence rates are derived and verified with numerical examples. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 29 pages, 3 figures

Error estimation for the time to a threshold value in evolutionary partial differential equations

Authors: Jehanzeb Chaudhry, Don Estep, Trevor Giannini, Zachary Stevens, Simon Tavener

Abstract: We develop an \textit{a posteriori} error analysis for a numerical estimate of the time at which a functional of the solution to a partial differential equation (PDE) first achieves a threshold value on a given time interval. This quantity of interest (QoI) differs from classical QoIs which are modeled as bounded linear (or nonlinear) functionals {of the solution}. Taylor's theorem and an adjoint-… ▽ More We develop an \textit{a posteriori} error analysis for a numerical estimate of the time at which a functional of the solution to a partial differential equation (PDE) first achieves a threshold value on a given time interval. This quantity of interest (QoI) differs from classical QoIs which are modeled as bounded linear (or nonlinear) functionals {of the solution}. Taylor's theorem and an adjoint-based \textit{a posteriori} analysis is used to derive computable and accurate error estimates in the case of semi-linear parabolic and hyperbolic PDEs. The accuracy of the error estimates is demonstrated through numerical solutions of the one-dimensional heat equation and linearized shallow water equations (SWE), representing parabolic and hyperbolic cases, respectively. △ Less

Submitted 7 June, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

A posteriori error analysis for a space-time parallel discretization of parabolic partial differential equations

Authors: Jehanzeb Chaudhry, Donald Estep, Simon Tavener

Abstract: We construct a space-time parallel method for solving parabolic partial differential equations by coupling the Parareal algorithm in time with overlapping domain decomposition in space. The goal is to obtain a discretization consisting of "local" problems that can be solved on parallel computers efficiently. However, this introduces significant sources of error that must be evaluated. Reformulatin… ▽ More We construct a space-time parallel method for solving parabolic partial differential equations by coupling the Parareal algorithm in time with overlapping domain decomposition in space. The goal is to obtain a discretization consisting of "local" problems that can be solved on parallel computers efficiently. However, this introduces significant sources of error that must be evaluated. Reformulating the original Parareal algorithm as a variational method and implementing a finite element discretization in space enables an adjoint-based a posteriori error analysis to be performed. Through an appropriate choice of adjoint problems and residuals the error analysis distinguishes between errors arising due to the temporal and spatial discretizations, as well as between the errors arising due to incomplete Parareal iterations and incomplete iterations of the domain decomposition solver. We first develop an error analysis for the Parareal method applied to parabolic partial differential equations, and then refine this analysis to the case where the associated spatial problems are solved using overlapping domain decomposition. These constitute our Time Parallel Algorithm (TPA) and Space-Time Parallel Algorithm (STPA) respectively. Numerical experiments demonstrate the accuracy of the estimator for both algorithms and the iterations between distinct components of the error. △ Less

Submitted 13 January, 2022; v1 submitted 31 October, 2021; originally announced November 2021.

Efficient mesh refinement for the Poisson-Boltzmann equation with boundary elements

Authors: Vicente Ramm, Jehanzeb H. Chaudhry, Christopher D. Cooper

Abstract: The Poisson-Boltzmann equation is a widely used model to study the electrostatics in molecular solvation. Its numerical solution using a boundary integral formulation requires a mesh on the molecular surface only, yielding accurate representations of the solute, which is usually a complicated geometry. Here, we utilize adjoint-based analyses to form two goal-oriented error estimates that allows us… ▽ More The Poisson-Boltzmann equation is a widely used model to study the electrostatics in molecular solvation. Its numerical solution using a boundary integral formulation requires a mesh on the molecular surface only, yielding accurate representations of the solute, which is usually a complicated geometry. Here, we utilize adjoint-based analyses to form two goal-oriented error estimates that allows us to determine the contribution of each discretization element (panel) to the numerical error in the solvation free energy. This information is useful to identify high-error panels to then refine them adaptively to find optimal surface meshes. We present results for spheres and real molecular geometries, and see that elements with large error tend to be in regions where there is a high electrostatic potential. We also find that even though both estimates predict different total errors, they have similar performance as part of an adaptive mesh refinement scheme. Our test cases suggest that the adaptive mesh refinement scheme is very effective, as we are able to reduce the error one order of magnitude by increasing the mesh size less than 20\%. This result sets the basis towards efficient automatic mesh refinement schemes that produce optimal meshes for solvation energy calculations. △ Less

Submitted 19 September, 2020; originally announced September 2020.

An a posteriori error analysis for the equations of stationary incompressible magnetohydrodynamics

Authors: J. H. Chaudhry, A. E. Rappaport, J. N. Shadid

Abstract: Magnetohydrodynamics (MHD) is a continuum level model for conducting fluids subject to external magnetic fields, e.g. plasmas and liquid metals. The efficient and robust solution of the MHD system poses many challenges due to it's nonlinear, non self-adjoint, and highly coupled nature. In this paper, we develop a robust and accurate a posteriori error estimate for the numerical solution of the MHD… ▽ More Magnetohydrodynamics (MHD) is a continuum level model for conducting fluids subject to external magnetic fields, e.g. plasmas and liquid metals. The efficient and robust solution of the MHD system poses many challenges due to it's nonlinear, non self-adjoint, and highly coupled nature. In this paper, we develop a robust and accurate a posteriori error estimate for the numerical solution of the MHD equations based on the exact penalty method. The error estimate also isolates particular contributions of error in a quantity of interest (QoI) to inform discretization choices to arrive at accurate solutions. The tools required for these estimates involve duality arguments and computable residuals. △ Less

Submitted 17 December, 2020; v1 submitted 21 April, 2020; originally announced April 2020.

A Least-Squares Finite Element Reduced Basis Method

Authors: Jehanzeb Hameed Chaudhry, Luke N. Olson, Peter Sentz

Abstract: We present a reduced basis (RB) method for parametrized linear elliptic partial differential equations (PDEs) in a least-squares finite element framework. A rigorous and reliable error estimate is developed, and is shown to bound the error with respect to the exact solution of the PDE, in contrast to estimates that measure error with respect to a finite-dimensional (high-fidelity) approximation. I… ▽ More We present a reduced basis (RB) method for parametrized linear elliptic partial differential equations (PDEs) in a least-squares finite element framework. A rigorous and reliable error estimate is developed, and is shown to bound the error with respect to the exact solution of the PDE, in contrast to estimates that measure error with respect to a finite-dimensional (high-fidelity) approximation. It is shown that the first-order formulation of the least-squares finite element is a key ingredient. The method is demonstrated using numerical examples. △ Less

Submitted 23 September, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 25 pages, 10 figures

ACM Class: G.1.8

A posteriori Error Estimation for the Spectral Deferred Correction Method

Authors: Jehanzeb H. Chaudhry, J. B. Collins

Abstract: The spectral deferred correction method is a variant of the deferred correction method for solving ordinary differential equations. A benefit of this method is that is uses low order schemes iteratively to produce a high order approximation. In this paper we consider adjoint-based a posteriori analysis to estimate the error in a quantity of interest of the solution. This error formula is derived b… ▽ More The spectral deferred correction method is a variant of the deferred correction method for solving ordinary differential equations. A benefit of this method is that is uses low order schemes iteratively to produce a high order approximation. In this paper we consider adjoint-based a posteriori analysis to estimate the error in a quantity of interest of the solution. This error formula is derived by first developing a nodally equivalent finite element method to the spectral deferred correction method. The error formula is then split into various terms, each of which characterizes a different component of the error. These components may be used to determine the optimal strategy for changing the method parameters to best improve the error. △ Less

Submitted 6 July, 2020; v1 submitted 6 March, 2020; originally announced March 2020.

Error estimation and uncertainty quantification for first time to a threshold value

Authors: Jehanzeb H. Chaudhry, Donald Estep, Zachary Stevens, Simon J. Tavener

Abstract: Classical a posteriori error analysis for differential equations quantifies the error in a Quantity of Interest (QoI) which is represented as a bounded linear functional of the solution. In this work we consider a posteriori error estimates of a quantity of interest that cannot be represented in this fashion, namely the time at which a threshold is crossed for the first time. We derive two represe… ▽ More Classical a posteriori error analysis for differential equations quantifies the error in a Quantity of Interest (QoI) which is represented as a bounded linear functional of the solution. In this work we consider a posteriori error estimates of a quantity of interest that cannot be represented in this fashion, namely the time at which a threshold is crossed for the first time. We derive two representations for such errors and use an adjoint-based a posteriori approach to estimate unknown terms that appear in our representation. The first representation is based on linearizations using Taylor's Theorem. The second representation is obtained by implementing standard root-finding techniques. We provide several examples which demonstrate the accuracy of the methods. We then embed these error estimates within a framework to provide error bounds on a cumulative distribution function when parameters of the differential equations are uncertain. △ Less

Submitted 6 July, 2020; v1 submitted 29 January, 2020; originally announced January 2020.

A posteriori error analysis for Schwarz overlapping domain decomposition methods

Authors: Jehanzeb Chaudhry, Don Estep, Simon Tavener

Abstract: Domain decomposition methods are widely used for the numerical solution of partial differential equations on high performance computers. We develop an adjoint-based a posteriori error analysis for both multiplicative and additive overlapping Schwarz domain decomposition methods. The numerical error in a user-specified functional of the solution (quantity of interest) is decomposed into contributio… ▽ More Domain decomposition methods are widely used for the numerical solution of partial differential equations on high performance computers. We develop an adjoint-based a posteriori error analysis for both multiplicative and additive overlapping Schwarz domain decomposition methods. The numerical error in a user-specified functional of the solution (quantity of interest) is decomposed into contributions that arise as a result of the finite iteration between the subdomains and from the spatial discretization. The spatial discretization contribution is further decomposed into contributions arising from each subdomain. This decomposition of the numerical error is used to construct a two stage solution strategy that efficiently reduces the error in the quantity of interest by adjusting the relative contributions to the error. △ Less

Submitted 8 October, 2019; v1 submitted 1 July, 2019; originally announced July 2019.

Efficient Distribution Estimation and Uncertainty Quantification for Elliptic Problems on Domains with Stochastic Boundaries

Authors: Jehanzeb H Chaudhry, Nathanial Burch, Donald Estep

Abstract: We study the problem of uncertainty quantification for the numerical solution of elliptic partial differential equation boundary value problems posed on domains with stochastically varying boundaries. We also use the uncertainty quantification results to tackle the efficient solution of such problems. We introduce simple transformations that map a family of domains with stochastic boundaries to a… ▽ More We study the problem of uncertainty quantification for the numerical solution of elliptic partial differential equation boundary value problems posed on domains with stochastically varying boundaries. We also use the uncertainty quantification results to tackle the efficient solution of such problems. We introduce simple transformations that map a family of domains with stochastic boundaries to a fixed reference domain. We exploit the transformations to carry out a prior and a posteriori error analyses and to derive an efficient Monte Carlo sampling procedure. △ Less

Submitted 13 July, 2018; originally announced July 2018.

A Posteriori Analysis and Efficient Refinement Strategies for the Poisson-Boltzmann Equation

Authors: Jehanzeb H. Chaudhry

Abstract: The Poisson-Boltzmann equation (PBE) models the electrostatic interactions of charged bodies such as molecules and proteins in an electrolyte solvent. The PBE is a challenging equation to solve numerically due to the presence of singularities, discontinuous coefficients and boundary conditions. Hence, there is often large error in the numerical solution of the PBE that needs to be quantified. In t… ▽ More The Poisson-Boltzmann equation (PBE) models the electrostatic interactions of charged bodies such as molecules and proteins in an electrolyte solvent. The PBE is a challenging equation to solve numerically due to the presence of singularities, discontinuous coefficients and boundary conditions. Hence, there is often large error in the numerical solution of the PBE that needs to be quantified. In this work, we use adjoint based a posteriori analysis to accurately quantify the error in an important quantity of interest, the solvation free energy, for the finite element solution of the PBE. We identify various sources of error and propose novel refinement strategies based on a posteriori error estimates. △ Less

Submitted 16 July, 2018; v1 submitted 16 February, 2017; originally announced February 2017.

Error Estimation for Multi-Stage Runge-Kutta IMEX Schemes

Authors: Jehanzeb H. Chaudhry, J. B. Collins, John N. Shadid

Abstract: Implicit-Explicit (IMEX) schemes are widely used for time integration methods for approximating solutions to a large class of problems. In this work, we develop accurate a posteriori error estimates of a quantity of interest for approximations obtained from multi-stage IMEX schemes. This is done by first defining a finite element method that is nodally equivalent to an IMEX scheme, then using typi… ▽ More Implicit-Explicit (IMEX) schemes are widely used for time integration methods for approximating solutions to a large class of problems. In this work, we develop accurate a posteriori error estimates of a quantity of interest for approximations obtained from multi-stage IMEX schemes. This is done by first defining a finite element method that is nodally equivalent to an IMEX scheme, then using typical methods for adjoint-based error estimation. The use of a nodally equivalent finite element method allows a decomposition of the error into multiple components, each describing the effect of a different portion of the method on the total error in a quantity of interest. △ Less

Submitted 18 October, 2016; v1 submitted 28 September, 2015; originally announced September 2015.

Numerical method for Darcy flow derived using Discrete Exterior Calculus

Authors: Anil N. Hirani, Kalyana B. Nakshatrala, Jehanzeb H. Chaudhry

Abstract: We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedral meshes. DEC is a coordinate invariant discretization, in that it does not dep… ▽ More We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedral meshes. DEC is a coordinate invariant discretization, in that it does not depend on the embedding of the simplices or the whole mesh. We start by rewriting the governing equations of Darcy flow using the language of exterior calculus. This yields a formulation in terms of flux differential form and pressure. The numerical method is then derived by using the framework provided by DEC for discretizing differential forms and operators that act on forms. We also develop a discretization for spatially dependent Hodge star that varies with the permeability of the medium. This also allows us to address discontinuous permeability. The matrix representation for our discrete non-homogeneous Hodge star is diagonal, with positive diagonal entries. The resulting linear system of equations for flux and pressure are saddle type, with a diagonal matrix as the top left block. The performance of the proposed numerical method is illustrated on many standard test problems. These include patch tests in two and three dimensions, comparison with analytically known solution in two dimensions, layered medium with alternating permeability values, and a test with a change in permeability along the flow direction. We also show numerical evidence of convergence of the flux and the pressure. A convergence experiment is also included for Darcy flow on a surface. A short introduction to the relevant parts of smooth and discrete exterior calculus is included in this paper. We also include a discussion of the boundary condition in terms of exterior calculus. △ Less

Submitted 31 August, 2011; v1 submitted 19 October, 2008; originally announced October 2008.

Comments: Added numerical experiment for flow on a surface. Other small changes in meshing related comments

Report number: UIUCDCS-R-2008-2937 MSC Class: 65N30; 76S05 (Primary); 53-04; 55-04 (Secondary)