| Citation: | Hongjian Wang, Shengkun Li. NUMERICAL ANALYSIS OF A BDF2 FINITE ELEMENT SCHEME FOR NAVIER-STOKES-ALPHA MODEL[J]. Journal of Applied Analysis & Computation, 2027, 17(1): 87-104. doi: 10.11948/20250384 |
In this paper, we study a second-order backward difference formula (BDF2) scheme for the Navier-Stokes-alpha model. We combine a stabilized finite element discretization in space with the BDF2 method in time to obtain a fully discrete approximation. A complete numerical analysis is presented, establishing unconditional stability and deriving optimal-order error estimates for the scheme. Numerical experiments are provided to verify the theoretical results and to illustrate the effectiveness of the proposed approach.
| [1] | R. A. Adams and J. J. F. Fournier, Sobolev Spaces, Elsevier, Amsterdam, 2003. |
| [2] | M. Akbas, S. Kaya and L. G. Rebholz, On the stability at all times of linearly extrapolated BDF2 timestepping for multiphysics incompressible flow problems, Numer. Meth. Part. D. E., 2017, 33(4), 999–1017. doi: 10.1002/num.22061 |
| [3] | G. Akrivis and B. Y. Li, Error estimates for fully discrete BDF finite element approximations of the Allen–Cahn equation, IMA J. Numer. Anal., 2021, 42(1), 363–391. |
| [4] | B. García-Archilla and J. Novo, Robust error bounds for the Navier–Stokes equations using implicit-explicit second-order BDF method with variable steps, IMA J. Numer. Anal., 2023, 43(5), 2892–2933. doi: 10.1093/imanum/drac058 |
| [5] | S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, Springer, New York, 2008. |
| [6] | J. S. Dokken, A. Johansson, A. Massing and S. W. Funke, A multimesh finite element method for the Navier–Stokes equations based on projection methods, Comput. Methods Appl. Mech. Engrg., 2020, 368, 113129. doi: 10.1016/j.cma.2020.113129 |
| [7] | E. Fried and M. E. Gurtin, Turbulent kinetic energy and a possible hierarchy of length scales in a generalization of the Navier-Stokes $\alpha$ theory, Phys. Rev. E, 2007, 75(5), 056306. doi: 10.1103/PhysRevE.75.056306 |
| [8] | M. Germano, Differential filters for the large eddy numerical simulation of turbulent flows, Phys. Fluids, 1986, 29(6), 1755–1757. doi: 10.1063/1.865649 |
| [9] | V. Girault and P. A. Raviart, Finite Element Methods for Navier-Stokes Equations: Theory and Algorithms, Springer-Verlag, New York, 1986. |
| [10] | J. L. Guermond, J. T. Oden and S. Prudhomme, An interpretation of the Navier–Stokes-alpha model as a frame-indifferent Leray regularization, Physica D, 2003, 177(1–4), 23–30. |
| [11] | F. Hecht, New development in FreeFem++, J. Numer. Math., 2012, 20(3–4), 1–14. |
| [12] | J. G. Heywood and R. Rannacher, Finite-element approximation of the nonstationary Navier–Stokes problem. Part IV: Error analysis for second-order time discretization, SIAM J. Numer. Anal., 1990, 27(2), 353–384. doi: 10.1137/0727022 |
| [13] | S. Kaya and C. C. Manica, Convergence analysis of the finite element method for a fundamental model in turbulence, Math. Models Methods Appl. Sci., 2012, 22(11), 1250033. doi: 10.1142/S0218202512500339 |
| [14] | A. N. Kolmogorov, The local structure of turbulence in incompressible viscous fluid for very large Reynolds numbers, Proc. R. Soc. Lond. A: Math. Phy., 1991, 434(1890), 9–13. doi: 10.1098/rspa.1991.0075 |
| [15] | W. Layton, C. C. Manica, M. Neda and L. G. Rebholz, Numerical analysis and computational comparisons of the NS-alpha and NS-omega regularizations, Comput. Methods Appl. Mech. Engrg., 2010, 199(13–16), 916–931. |
| [16] | W. Layton, L. Rebholz and M. Sussman, Energy and helicity dissipation rates of the NS-alpha and NS-alpha-deconvolution models, IMA J. Appl. Math., 2010, 75(1), 56–74. doi: 10.1093/imamat/hxp034 |
| [17] |
W. Layton, I. Stanculescu and C. Trenchea, Theory of the NS-$\omega$ model: A complement to the NS-$\alpha$ model, Commun. Pur. Appl. Anal., 2011, 10(6), 1763–1777. doi: 10.3934/cpaa.2011.10.1763
CrossRef $\omega$ model: A complement to the NS- |
| [18] | M. Lesieur, O. Métais and P. Comte, Large-Eddy Simulations of Turbulence, Cambridge university press, Cambridge, 2005. |
| [19] | Y. Li and R. An, Error analysis of an unconditionally stable BDF2 finite element scheme for the incompressible flows with variable density, J. Sci. Comput., 2023, 95(3), 73. doi: 10.1007/s10915-023-02205-6 |
| [20] | Y. Li, J. Li, L. Q. Mei and Y. P. Li, Mixed stabilized finite element methods based on backward difference/Adams–Bashforth scheme for the time-dependent variable density incompressible flows, Comput. Math. Appl., 2015, 70(10), 2575–2588. doi: 10.1016/j.camwa.2015.09.021 |
| [21] | X. Li, J. Shen and Z. Liu, New SAV-pressure correction methods for the Navier-Stokes equations: Stability and error analysis, Math. Comp., 2022, 91(333), 141–167. |
| [22] | H. L. Liao and Z. M. Zhang, Analysis of adaptive BDF2 scheme for diffusion equations, Math. Comp., 2021, 90(329), 1207–1226. |
| [23] |
E. Lunasin, S. Kurien, M. A. Taylor and E. S. Titi, A study of the Navier–Stokes-$\alpha$ model for two-dimensional turbulence, J. Turbul., 2007, 8, N30. doi: 10.1080/14685240701439403
CrossRef $\alpha$ model for two-dimensional turbulence" target="_blank">Google Scholar |
| [24] |
W. W. Miles and L. G. Rebholz, An enhanced-physics-based scheme for the NS-$\alpha$ turbulence model, Numer. Meth. Part. D. E., 2010, 26(6), 1530–1555. doi: 10.1002/num.20509
CrossRef $\alpha$ turbulence model" target="_blank">Google Scholar |
| [25] | S. S. Ravindran, A second-order backward difference time-stepping scheme for penalized Navier–Stokes equations modeling filtration through porous media, Numer. Meth. Part. D. E., 2016, 32(2), 681–705. doi: 10.1002/num.22029 |
| [26] |
L. Rebholz and F. Tone, Long-time $H^ 1$-stability of BDF2 time stepping for 2D Navier–Stokes equations, Appl. Math. Lett., 2023, 141, 108624. doi: 10.1016/j.aml.2023.108624
CrossRef $H^1$-stability of BDF2 time stepping for 2D Navier–Stokes equations" target="_blank">Google Scholar |
| [27] | Y. Rong and J. A. Fiordilino, Numerical analysis of a BDF2 modular grad–div stabilization method for the Navier–Stokes equations, J. Sci. Comput., 2020, 82(3), 66. doi: 10.1007/s10915-020-01165-5 |
| [28] | J. Wang, M. Li and Y. Zhang, Superconvergence analysis of BDF-Galerkin FEM for nonlinear Schrödinger equation, Numer. Algorithms, 2022, 89(1), 195–222. doi: 10.1007/s11075-021-01111-y |
Two-dimensional channel flow over a step, coarse mesh.
Two-dimensional channel flow over a step, fine mesh.
Navier-Stokes equations on the fine mesh, T=40,
NS-alpha model on the coarse mesh, T=40,