Abstract
This paper provides mathematical analysis of an elementary fully discrete finite difference method applied to inhomogeneous (i.e., non-constant density and viscosity) incompressible Navier–Stokes system on a bounded domain. The proposed method is classical in the sense that it consists of a version of the Lax–Friedrichs explicit scheme for the transport equation and a version of Ladyzhenskaya’s implicit scheme for the Navier–Stokes equations. Under the condition that the initial density profile is strictly away from zero, the scheme is proven to be strongly convergent to a weak solution (up to a subsequence) within an arbitrary time interval, which can be seen as a proof of existence of a weak solution to the system. The results contain a new Aubin–Lions–Simon type compactness method with an interpolation inequality between strong norms of the velocity and a weak norm of the product of the density and velocity.
Similar content being viewed by others
Notes
Throughout this paper, convergence of a numerical scheme to a weak solution of (1.1) means convergence up to a subsequence (due to an open problem on the uniqueness in three space-dimensions).
The author is grateful to one of the reviewers for pointing out the reference.
References
Antontsev, S.N., Kazhikhov, A.V.: Mathematical Questions of the Dynamics of Nonhomogeneous Fluids (Russian), Lecture Notes. Novosibirsk State University (1973)
Chorin, A.J.: On the convergence of discrete approximations to the Navier–Stokes equations. Math. Comput. 23, 341–353 (1969)
Danchin, R., Mucha, P.: The incompressible Navier–Stokes equations in vacuum. Commun. Pure Appl. Math. 72(7), 1351–1385 (2019)
DiPerna, R.J., Lions, P.-L.: Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. 98(3), 511–547 (1989)
Feireisl, E., Karper, T., Michálek, M.: Convergence of a numerical method for the compressible Navier–Stokes system on general domains. Numer. Math. 134(4), 667–704 (2016)
Gallouët, T., Herbin, R., Latché, J.-C., Maltese, D.: Convergence of the MAC scheme for the compressible stationary Navier–Stokes equations. Math. Comput. 87(311), 1127–1163 (2018)
Guermond, J.-L., Salgado, A.J.: Error analysis of a fractional time-stepping technique for incompressible flows with variable density. SIAM J. Numer. Anal. 49(3), 917–944 (2011)
Hošek, R., She, B.: Stability and consistency of a finite difference scheme for compressible viscous isentropic flow in multi-dimension. J. Numer. Math. 26(3), 111–140 (2018)
Karper, T.K.: A convergent FEM-DC method for the compressible Navier–Stokes equations. Numer. Math. 125, 441–510 (2013)
Kazhikhov, A.V.: Solvability of the initial-boundary value problem for the equations of the motion of an inhomogeneous viscous incompressible fluid. Dokl. Akad. Nauk SSSR 216, 1008–1010 (1974). (Russian)
Kim, J.U.: Weak solutions of an initial-boundary value problem for an incompressible viscous fluid with nonnegative density. SIAM J. Math. Anal. 18(1), 89–96 (1987)
Krzywicki, A., Ladyzhenskaya, O.A.: The method of nets for non-stationary Navier–Stokes equations. Trudy Mat. Inst. Steklov. 92, 93–99 (1966)
Kuroki, H., Soga, K.: On convergence of Chorin’s projection method to a Leray–Hopf weak solution. Numer. Math. 146, 401–433 (2020)
Ladyzhenskaya, O.A.: The Mathematical Theory of Viscous Incompressible Flow, 2nd English edn. Math. Appl., 2. Gordon and Breach, New York (1969)
Lions, J.-L.: On some questions in boundary value problems of mathematical physics. Contemporary developments in continuum mechanics and partial differential equations. In: Proceedings of International Symposium on Inst. Mat., Univ. Fed. Rio de Janeiro, Rio de Janeiro, 1977, pp. 284–346. North-Holland Mathematics Studies 30. North-Holland, Amsterdam-New York (1978)
Lions, P. L.: Mathematical topics in fluid mechanics. Vol. 1. Incompressible models, Oxford Lecture Series in Mathematics and its Applications, 3. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York (1996)
Liu, C., Walkington, N.J.: Convergence of numerical approximations of the incompressible Navier–Stokes equations with variable density and viscosity. SIAM J. Numer. Anal. 45(3), 1287–1304 (2007)
Maeda, M., Soga, K.: More on convergence of Chorin’s projection method for incompressible Navier–Stokes equations. J. Math. Fluid Mech. 24(2), 41 (2022)
Simon, J.: Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure. SIAM J. Math. Anal. 21(5), 1093–1117 (1990)
Soga, K.: Finite difference methods for linear transport equations with Sobolev velocity fields. Preprint (arXiv:2209.10594)
Temam, R.: Sur l’approximation de la solution des équations de Navier–Stokes par la méthode des pas fractionnaires. II. (French). Arch. Ration. Mech. Anal. 33, 377–385 (1969)
Temam, R.: Navier–Stokes Equations: Theory and Numerical Analysis. North-Holland, Amsterdam (1979)
Tenan, J.: Weak transport equation on a bounded domain: stability theory aprés DiPerna–Lions. Preprint (arXiv:2103.09695)
Vrabie, I.I.: \(C^0\)-Semigroups and Applications. North-Holland Mathematics Studies, North-Holland Publishing Co., Amsterdam (2003)
Acknowledgements
This paper was written during author’s one-year research stay in Fachbereich Mathematik, Technische Universität Darmstadt, Germany, with the grant Fukuzawa Fund (Keio Gijuku Fukuzawa Memorial Fund for the Advancement of Education and Research). The author expresses special thanks to Professor Dieter Bothe for his kind hosting in TU-Darmstadt. The author is supported by JSPS Grant-in-aid for Young Scientists #18K13443 and JSPS Grants-in-Aid for Scientific Research (C) #22K03391.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Soga, K. Mathematical analysis of a finite difference method for inhomogeneous incompressible Navier–Stokes equations. Numer. Math. (2024). https://doi.org/10.1007/s00211-024-01421-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00211-024-01421-y