{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T07:36:42Z","timestamp":1777621002926,"version":"3.51.4"},"reference-count":27,"publisher":"American Mathematical Society (AMS)","issue":"340","license":[{"start":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T00:00:00Z","timestamp":1697155200000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    In this paper, we analyze the first-order implicit-explicit type scheme based on the scalar auxiliary variable (SAV) with divergence-free\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper H Superscript 1\">\n                        <mml:semantics>\n                          <mml:msup>\n                            <mml:mi>H<\/mml:mi>\n                            <mml:mn>1<\/mml:mn>\n                          <\/mml:msup>\n                          <mml:annotation encoding=\"application\/x-tex\">H^1<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    conforming finite element method (FEM) in space for the evolutionary incompressible Navier-Stokes equations at high Reynolds number. The stability and a priori error estimates are given, in which the constants are independent of the Reynolds number. The velocity energy estimate is given without any condition on the time step, however, the a priori error estimates for the velocity are obtained with severe time step restrictions. In addition, a Reynolds-dependent error bound with convergence order of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"k plus 1\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>k<\/mml:mi>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">k+1<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    in space is also obtained for the velocity error in the\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper L squared\">\n                        <mml:semantics>\n                          <mml:msup>\n                            <mml:mi>L<\/mml:mi>\n                            <mml:mn>2<\/mml:mn>\n                          <\/mml:msup>\n                          <mml:annotation encoding=\"application\/x-tex\">L^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    norm with no time step restrictions. Here,\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"k\">\n                        <mml:semantics>\n                          <mml:mi>k<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">k<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    is the polynomial order of the velocity space. Some numerical experiments are carried out to verify the analytical results.\n                  <\/p>","DOI":"10.1090\/mcom\/3790","type":"journal-article","created":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T10:33:04Z","timestamp":1663151584000},"page":"557-582","source":"Crossref","is-referenced-by-count":14,"title":["Analysis of divergence-free \ud835\udc3b\u00b9 conforming FEM with IMEX-SAV scheme for the Navier-Stokes equations at high Reynolds number"],"prefix":"10.1090","volume":"92","author":[{"given":"Yongbin","family":"Han","sequence":"first","affiliation":[]},{"given":"Yanren","family":"Hou","sequence":"additional","affiliation":[]},{"given":"Min","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"key":"1","series-title":"Pure and Applied Mathematics (Amsterdam)","isbn-type":"print","volume-title":"Sobolev spaces","volume":"140","author":"Adams, Robert A.","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/0120441438","edition":"2"},{"issue":"5","key":"2","doi-asserted-by":"publisher","first-page":"2746","DOI":"10.1137\/20M1351230","article-title":"A pressure-robust discretization of Oseen\u2019s equation using stabilization in the vorticity equation","volume":"59","author":"Ahmed, Naveed","year":"2021","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"key":"3","series-title":"Applied Mathematical Sciences","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-5975-0","volume-title":"Mathematical tools for the study of the incompressible Navier-Stokes equations and related models","volume":"183","author":"Boyer, Franck","year":"2013","ISBN":"https:\/\/id.crossref.org\/isbn\/9781461459743"},{"key":"4","series-title":"Texts in Applied Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75934-0","volume-title":"The mathematical theory of finite element methods","volume":"15","author":"Brenner, Susanne C.","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9780387759333","edition":"3"},{"issue":"1","key":"5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/S0036142903438100","article-title":"Pointwise error estimates for finite element solutions of the Stokes problem","volume":"44","author":"Chen, Hongsen","year":"2006","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"key":"6","series-title":"Classics in Applied Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719208","volume-title":"The finite element method for elliptic problems","volume":"40","author":"Ciarlet, Philippe G.","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/0898715148"},{"issue":"2","key":"7","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1007\/s10915-019-00980-9","article-title":"Fully discrete approximations to the time-dependent Navier-Stokes equations with a projection method in time and grad-div stabilization","volume":"80","author":"de Frutos, Javier","year":"2019","journal-title":"J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0885-7474","issn-type":"print"},{"issue":"2","key":"8","doi-asserted-by":"publisher","first-page":"Paper No. 40, 3","DOI":"10.1007\/s10915-021-01551-7","article-title":"Corrigenda: Fully discrete approximations to the time-dependent Navier-Stokes equations with a projection method in time and grad-div stabilization","volume":"88","author":"de Frutos, Javier","year":"2021","journal-title":"J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0885-7474","issn-type":"print"},{"key":"9","doi-asserted-by":"publisher","first-page":"Paper No. 113661, 26","DOI":"10.1016\/j.cma.2020.113661","article-title":"An embedded variable step IMEX scheme for the incompressible Navier-Stokes equations","volume":"376","author":"DeCaria, Victor","year":"2021","journal-title":"Comput. Methods Appl. Mech. Engrg.","ISSN":"https:\/\/id.crossref.org\/issn\/0045-7825","issn-type":"print"},{"key":"10","series-title":"Applied Mathematical Sciences","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4355-5","volume-title":"Theory and practice of finite elements","volume":"159","author":"Ern, Alexandre","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/0387205748"},{"key":"11","doi-asserted-by":"publisher","first-page":"Paper No. 114032, 54","DOI":"10.1016\/j.cma.2021.114032","article-title":"On the convergence order of the finite element error in the kinetic energy for high Reynolds number incompressible flows","volume":"385","author":"Garc\u00eda-Archilla, Bosco","year":"2021","journal-title":"Comput. Methods Appl. Mech. Engrg.","ISSN":"https:\/\/id.crossref.org\/issn\/0045-7825","issn-type":"print"},{"key":"12","doi-asserted-by":"crossref","unstructured":"B. Garcia-Archilla and J. Novo, Robust error bounds for the Navier-Stokes equations using implicit-explicit second order BDF method with variable steps, Preprint,  arXiv:2112.12446, 2021.","DOI":"10.1093\/imanum\/drac058"},{"issue":"316","key":"13","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1090\/mcom\/3346","article-title":"The Scott-Vogelius finite elements revisited","volume":"88","author":"Guzm\u00e1n, Johnny","year":"2019","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"6","key":"14","doi-asserted-by":"publisher","first-page":"2926","DOI":"10.1137\/21M1404144","article-title":"Stability and error analysis of a class of high-order IMEX schemes for Navier-Stokes equations with periodic boundary conditions","volume":"59","author":"Huang, Fukeng","year":"2021","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"key":"15","series-title":"Springer Series in Computational Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45750-5","volume-title":"Finite element methods for incompressible flow problems","volume":"51","author":"John, Volker","year":"2016","ISBN":"https:\/\/id.crossref.org\/isbn\/9783319457499"},{"key":"16","series-title":"Computational Science \\& Engineering","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718904","volume-title":"Introduction to the numerical analysis of incompressible viscous flows","volume":"6","author":"Layton, William","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9780898716573"},{"key":"17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.cma.2016.04.025","article-title":"High order exactly divergence-free hybrid discontinuous Galerkin methods for unsteady incompressible flows","volume":"307","author":"Lehrenfeld, Christoph","year":"2016","journal-title":"Comput. Methods Appl. Mech. Engrg.","ISSN":"https:\/\/id.crossref.org\/issn\/0045-7825","issn-type":"print"},{"issue":"5","key":"18","doi-asserted-by":"publisher","first-page":"2465","DOI":"10.1137\/19M1288267","article-title":"Error analysis of the SAV-MAC scheme for the Navier-Stokes equations","volume":"58","author":"Li, Xiaoli","year":"2020","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"issue":"333","key":"19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1090\/mcom\/3651","article-title":"New SAV-pressure correction methods for the Navier-Stokes equations: stability and error analysis","volume":"91","author":"Li, Xiaoli","year":"2021","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jcp.2019.03.012","article-title":"Numerical approximation of incompressible Navier-Stokes equations based on an auxiliary energy variable","volume":"388","author":"Lin, Lianlei","year":"2019","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"issue":"1","key":"21","doi-asserted-by":"publisher","first-page":"A130--A141","DOI":"10.1137\/16M1103117","article-title":"Towards a unified finite element method for the Stokes equations","volume":"40","author":"Morgan, Hannah","year":"2018","journal-title":"SIAM J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/1064-8275","issn-type":"print"},{"key":"22","doi-asserted-by":"crossref","unstructured":"M. Sch\u00e4fer, S. Turek, F. Durst, E. Krause, and R. Rannacher, Benchmark computations of laminar flow around a cylinder, Flow Simulation with High-Performance Computers II, Springer, 1996, pp. 547\u2013566.","DOI":"10.1007\/978-3-322-89849-4_39"},{"key":"23","unstructured":"J. Sch\u00f6berl, C++ 11 implementation of finite elements in NGSolve, No. 30,Institute for Analysis and Scientific Computing, Vienna University of Technology, 2014."},{"issue":"4","key":"24","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1515\/jnma-2016-1101","article-title":"Pressure-robust analysis of divergence-free and conforming FEM for evolutionary incompressible Navier-Stokes flows","volume":"25","author":"Schroeder, Philipp W.","year":"2017","journal-title":"J. Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1570-2820","issn-type":"print"},{"issue":"1","key":"25","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1051\/m2an\/1985190101111","article-title":"Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials","volume":"19","author":"Scott, L. R.","year":"1985","journal-title":"RAIRO Mod\\'{e}l. Math. Anal. Num\\'{e}r.","ISSN":"https:\/\/id.crossref.org\/issn\/0764-583X","issn-type":"print"},{"key":"26","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1090\/chel\/343","volume-title":"Navier-Stokes equations","author":"Temam, Roger","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/0821827375"},{"issue":"1","key":"27","doi-asserted-by":"publisher","first-page":"Paper No. 1, 20","DOI":"10.1007\/s10915-021-01681-y","article-title":"Unconditional stability and optimal error estimates of Euler implicit\/explicit-SAV scheme for the Navier-Stokes equations","volume":"90","author":"Zhang, Tong","year":"2022","journal-title":"J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0885-7474","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-340\/S0025-5718-2022-03790-X\/S0025-5718-2022-03790-X.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:48:45Z","timestamp":1776833325000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2023-92-340\/S0025-5718-2022-03790-X\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":27,"journal-issue":{"issue":"340","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["S0025-5718-2022-03790-X"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3790","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2022,10,13]]}}}