A fast null-space method for the unsteady Stokes equations

Abstract This work is a first taste of using null-space technique to deal with a basic model of unsteady partial differential equations (PDEs), i.e., the unsteady Stokes equations. Any inf–sup stable semi-discretization of the unsteady Stokes equations yields a system of differential–algebraic equations (DAEs), i.e., the unsteady discrete Stokes equations. The exact solution to the unsteady discrete Stokes equations is explicitly constructed with the help of the null-space of the discrete divergence operator and a matrix exponential. In practical implementation, the explicit use of the null-space of the discrete divergence operator is avoided. Therefore, the main workload of solving the unsteady discrete Stokes equations is the matrix exponential vector product. The matrix exponential vector product is written in terms of an integral relation, which is approximated by a linear combination of values of the integrand evaluated at a select number of complex numbers. Each evaluation of the integrand needs to solve a linear system. In numerical experiments, the null-space method outperforms frequently used time-stepping methods in terms of accuracy and computing time.

[1]  L. Trefethen,et al.  The Carathéodory–Fejér Method for Real Rational Approximation , 1983 .

[2]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[3]  Gene H. Golub,et al.  Accelerated Hermitian and skew-Hermitian splitting iteration methods for saddle-point problems , 2007 .

[4]  Gene H. Golub,et al.  Numerical solution of saddle point problems , 2005, Acta Numerica.

[5]  R. Varga,et al.  Chebyshev rational approximations to e−x in [0, +∞) and applications to heat-conduction problems , 1969 .

[6]  Gene H. Golub,et al.  Preconditioned Hermitian and skew-Hermitian splitting methods for non-Hermitian positive semidefinite linear systems , 2004, Numerische Mathematik.

[7]  Nicholas I. M. Gould,et al.  On the Solution of Equality Constrained Quadratic Programming Problems Arising in Optimization , 2001, SIAM J. Sci. Comput..

[8]  Douglas James Implicit Nullspace Iterative Methods for Constrained Least Squares Problems , 1992, SIAM J. Matrix Anal. Appl..

[9]  Gene H. Golub,et al.  Convergence properties of preconditioned Hermitian and skew-Hermitian splitting methods for non-Hermitian positive semidefinite matrices , 2007, Math. Comput..

[10]  Cesar Palencia,et al.  A spectral order method for inverting sectorial Laplace transforms , 2005 .

[11]  Daniel Tuyttens,et al.  On large scale nonlinear Network optimization , 1990, Math. Program..

[12]  Lloyd N. Trefethen,et al.  The Exponentially Convergent Trapezoidal Rule , 2014, SIAM Rev..

[13]  Beresford N. Parlett,et al.  On generalized successive overrelaxation methods for augmented linear systems , 2005, Numerische Mathematik.

[14]  Junfeng,et al.  THE RESTRICTIVELY PRECONDITIONED CONJUGATE GRADIENT METHODS ON NORMAL RESIDUAL FOR BLOCK TWO-BY-TWO LINEAR SYSTEMS , 2008 .

[15]  Z. Bai,et al.  Restrictively preconditioned conjugate gradient methods for systems of linear equations , 2003 .

[16]  Andrew J. Wathen,et al.  Fast iterative solution of stabilised Stokes systems, part I: using simple diagonal preconditioners , 1993 .

[17]  Howard C. Elman,et al.  Finite Elements and Fast Iterative Solvers: with Applications in Incompressible Fluid Dynamics , 2014 .

[18]  A. Wathen,et al.  Fast iterative solution of stabilised Stokes systems part II: using general block preconditioners , 1994 .

[19]  Gene H. Golub,et al.  Hermitian and Skew-Hermitian Splitting Methods for Non-Hermitian Positive Definite Linear Systems , 2002, SIAM J. Matrix Anal. Appl..

[20]  J. C. Dunn Second-Order Multiplier Update Calculations for Optimal Control Problems and Related Large Scale Nonlinear Programs , 1993, SIAM J. Optim..

[21]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[22]  Zeng-Qi Wang,et al.  Restrictive preconditioners for conjugate gradient methods for symmetric positive definite linear systems , 2006 .

[23]  L. Trefethen,et al.  Talbot quadratures and rational approximations , 2006 .