We consider an uncoupled, modular regularization algorithm for approximation of the Navier-Stokes equations. The method is: Step 1.1: Advance the NSE one time step, Step 1.1: Regularize to obtain the approximation at the new time level. Previous analysis of this approach has been for specific time stepping methods in Step 1.1 and simple stabilizations in Step 1.1. In this report we extend the mathematical support for uncoupled, modular stabilization to (i) the more complex and better performing BDF2 time discretization in Step 1.1, and (ii) more general (linear or nonlinear) regularization operators in Step 1.1. We give a complete stability analysis, derive conditions on the Step 1.1 regularization operator for which the combination has good stabilization effects, characterize the numerical dissipation induced by Step 1.1, prove an asymptotic error estimate incorporating the numerical error of the method used in Step 1.1 and the regularizations consistency error in Step 1.1 and provide numerical tests.

Classification: 35Q30, 76F65

Keywords: modular regularization, BDF2 time discretization, Navier-Stokes equations, turbulence, finite element method

@article{M2AN_2014__48_3_765_0, author = {Layton, William and Mays, Nathaniel and Neda, Monika and Trenchea, Catalin}, title = {Numerical analysis of modular regularization methods for the BDF2 time discretization of the Navier-Stokes equations}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique}, publisher = {EDP-Sciences}, volume = {48}, number = {3}, year = {2014}, pages = {765-793}, doi = {10.1051/m2an/2013120}, zbl = {1293.35210}, mrnumber = {3264334}, language = {en}, url = {http://www.numdam.org/item/M2AN_2014__48_3_765_0} }

Layton, William; Mays, Nathaniel; Neda, Monika; Trenchea, Catalin. Numerical analysis of modular regularization methods for the BDF2 time discretization of the Navier-Stokes equations. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Volume 48 (2014) no. 3, pp. 765-793. doi : 10.1051/m2an/2013120. http://www.numdam.org/item/M2AN_2014__48_3_765_0/

[1] Deconvolution of subgrid scales for the simulation of shock-turbulence interaction, in Direct and Large Eddys Simulation III, edited by N.S.P. Voke and L. Kleiser. Kluwer, Dordrecht (1999) 201.

and ,[2] Deconvolution methods for subgrid-scale approximation in large-eddy simulation, Modern Simulation Strategies for Turbulent Flow, edited by R.T. Edwards (2001).

and ,[3] A subgrid-scale deconvolution approach for shock capturing. J. Comput. Phys. 178 (2002) 391-426. | MR 1899182 | Zbl 1139.76319

and ,[4] On a higher order accurate fully discrete Galerkin approximation to the Navier-Stokes equations. Math. Comput. 39 (1982) 339-375. | MR 669634 | Zbl 0503.76038

, and ,[5] Analytical and numerical results for the rational large eddy simulation model. J. Math. Fluid Mech. 9 (2007) 44-74. | MR 2305825 | Zbl 1151.76414

, and ,[6] On the large eddy simulation of the Taylor-Green vortex. J. Math. Fluid Mech. 7 (2005) S164-S191. | MR 2192847 | Zbl 1067.76049

,[7] Two comments on filtering (artificial viscosity) for Chebyshev and Legendre spectral and spectral element methods: preserving boundary conditions and interpretation of the filter as a diffusion. J. Comput. Phys. 143 (1998) 283-288. | MR 1624716 | Zbl 0920.65046

,[8] The mathematical theory of finite element methods, vol. 15 of Texts in Applied Mathematics. Springer-Verlag, New York (1994). | MR 1278258 | Zbl 0804.65101

and ,[9] Spectral methods, Evolution to complex geometries and applications to fluid dynamics. Scientific Computation. Springer, Berlin (2007). | MR 2340254 | Zbl 1093.76002

, , and ,[10] Numerical solution for the Navier-Stokes equations. Math. Comput. 22 (1968) 745-762. | Zbl 0198.50103

,[11] On the accuracy of the finite element method plus time relaxation. Math. Comput. 79 (2010) 619-648. | MR 2600537 | Zbl 1201.65168

and ,[12] Investigation of a shape optimization algorithm for turbulent flows, tech. rep., Argonne National Lab, report number ANL/MCS-P1101-1003 (2002). Available at http://www-fp.mcs.anl.gov/division/publications/.

,[13] Space averaged Navier Stokes equations in the presence of walls. Ph.D. thesis, University of Pittsburgh (2004). | MR 2706558

,[14] On the Stolz-Adams deconvolution model for the large-eddy simulation of turbulent flows. SIAM J. Math. Anal. 37 (2006) 1890-1902. | MR 2213398 | Zbl 1128.76029

and ,[15] Error of the two-step BDF for the incompressible Navier-Stokes problem. M2AN: M2AN 38 (2004) 757-764. | Numdam | MR 2104427 | Zbl 1076.76054

,[16] Numerical analysis of a higher order time relaxation model of fluids. Int. J. Numer. Anal. Model. 4 (2007) 648-670. | MR 2344062 | Zbl 1242.76061

, and ,[17] Numerical analysis of filter based stabilization for evolution equations. SINUM 50 (2012) 2307-2335. | MR 3022220 | Zbl 1255.76021

, and ,[18] Filter-based stabilization of spectral element methods. C. R. Acad. Sci. Paris Sér. I Math. 332 (2001) 265-270. | MR 1817374 | Zbl 0990.76064

and ,[19] Large eddy simulation for compressible flows. Sci. Comput. Springer, Berlin (2009). | MR 2542010 | Zbl 1179.76005

, and ,[20] Finite element approximation of the Navier-Stokes equations, in vol. 749 of Lect. Notes Math. Springer-Verlag, Berlin (1979). | MR 548867 | Zbl 0413.65081

and ,[21] Finite element methods for viscous incompressible flows, A guide to theory, practice, and algorithms. Computer Science and Scientific Computing. Academic Press Inc., Boston, MA (1989). | MR 1017032 | Zbl 0697.76031

,[22] Freefem++, webpage: http://www.freefem.org.

and ,[23] Finite-element approximation of the nonstationary Navier-Stokes problem. IV. Error analysis for second-order time discretization. SIAM J. Numer. Anal. 27 (1990) 353-384. | MR 1043610 | Zbl 0694.76014

and ,[24] Large eddy simulation of turbulent incompressible flows, Analytical and numerical results for a class of LES models, in vol. 34 of Lect. Notes Comput. Sci. Engrg. Springer-Verlag, Berlin (2004). | MR 2018955 | Zbl 1035.76001

,[25] Analysis of numerical errors in large eddy simulation. SIAM J. Numer. Anal. 40 (2002) 995-1020. | MR 1949402 | Zbl 1026.76028

and ,[26] Superconvergence of finite element discretization of time relaxation models of advection. BIT 47 (2007) 565-576. | MR 2338532 | Zbl 1129.65061

,[27] The interior error of van Cittert deconvolution is optimal. Appl. Math. 12 (2012) 88-93. | MR 2988222 | Zbl 1268.47017

,[28] Helicity and energy conservation and dissipation in approximate deconvolution LES models of turbulence. Adv. Appl. Fluid Mech. 4 (2008) 1-46. | MR 2488583 | Zbl 1176.76046

, , and ,[29] Truncation of scales by time relaxation. J. Math. Anal. Appl. 325 (2007) 788-807. | MR 2270051 | Zbl 1167.76338

and ,[30] Modular nonlinear filter stabilization of methods for higher Reynolds numbers flow. J. Math. Fluid Mech. (2011) 1-30. | MR 2925112 | Zbl 1294.76197

, and ,[31] Explicitly uncoupled VMS stabilization of fluid flow. Comput. Methods Appl. Mech. Engrg. 200 (2011) 3183-3199. | MR 2844045 | Zbl 1230.76048

, and ,[32] An explicit filtering method for large eddy simulation of compressible flows. Phys. Fluids 15 (2003). | Zbl 1186.76355

, , , and ,[33] Filtering techniques for complex geometry fluid flows. Commun. Numer. Methods Engrg. 15 (1999) 9-18. | MR 1671621 | Zbl 0931.76067

and ,[34] Convergence of extrapolated BDF2 finite element schemes for unsteady penetrative convection model. Numer. Funct. Anal. Optim. 33 (2011) 48-79. | MR 2870491 | Zbl 1237.76074

,[35] Extending hydrodynamics via the regularization of the Chapman-Enskog expansion. Phys. Rev. A 40 (1989) 7193. | MR 1031939

,[36] Benchmark computations of laminar flow around cylinder, in Flow Simulation with High-Performance Computers II, vol. 52. Edited by H. EH. Vieweg (1996) 547-566. | Zbl 0874.76070

and ,[37] The regularized Chapman-Enskog expansion for scalar conservation laws. Arch. Rat. Mech. Anal. 119 (1992) 95. | MR 1176360 | Zbl 0793.76005

and ,[38] Existence theory of abstract approximate deconvolution models of turbulence. Ann. Univ. Ferrara Sez. VII Sci. Mat. 54 (2008) 145-168. | MR 2403379 | Zbl 1191.76058

,[39] On the approximate deconvolution procedure for LES. Phys. Fluids, II (1999) 1699-1701. | Zbl 1147.76506

and ,[40] An approximate deconvolution model for large eddy simulation with application to wall-bounded flows. Phys. Fluids 13 (2001) 997-1015. | Zbl 1184.76530

, and ,[41] The approximate deconvolution model for LES of compressible flows and its application to shock-turbulent-boundary-layer interaction. Phys. Fluids 13 (2001) 2985. | Zbl 1184.76531

, and ,[42] The approximate deconvolution model for compressible flows: isotropic turbulence and shock-boundary-layer interaction,Advances in LES of Complex Flows, in vol. 65 of Fluid Mechanics and Its Applications. Edited by R. Friedrich and W. Rodi. Springer, Netherlands (2002) 33-47. | Zbl 1088.76022

, and ,[43] Comparison of some upwind-biased high-order formulations with a second-order central-difference scheme for time integration of the incompressible Navier-Stokes equations. Comput. Fluids 25 (1996) 647-665. | MR 1416431 | Zbl 0888.76061

,[44] On decay of vortices in a viscous fluid. Phil. Mag. 46 (1923) 671-674. | JFM 49.0607.02

,[45] Mechanism of the production of small eddies from large ones, Proc. Royal Soc. London Ser. A 158 (1937) 499-521. | JFM 63.1358.03

and ,[46] Large-eddy simulation on general geometries using compact differencing and filtering schemes, AIAA Paper (2002) 2002-288.

and ,[47] An efficient second order in time scheme for approximating long time statistical properties of the two dimensional Navier-Stokes equations. Numer. Math. 121 (2012) 753-779. | MR 2945615 | Zbl pre06065309

,[48] Applied functional analysis, vol. 108 of Appl. Math. Sci. Springer-Verlag, New York (1995). | MR 1347692 | Zbl 0834.46003

,