Skip to main content
Log in

Mathematical analysis of a finite difference method for inhomogeneous incompressible Navier–Stokes equations

  • Published:
Numerische Mathematik Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. 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).

  2. The author is grateful to one of the reviewers for pointing out the reference.

References

  1. Antontsev, S.N., Kazhikhov, A.V.: Mathematical Questions of the Dynamics of Nonhomogeneous Fluids (Russian), Lecture Notes. Novosibirsk State University (1973)

    Google Scholar 

  2. Chorin, A.J.: On the convergence of discrete approximations to the Navier–Stokes equations. Math. Comput. 23, 341–353 (1969)

    Article  MathSciNet  Google Scholar 

  3. Danchin, R., Mucha, P.: The incompressible Navier–Stokes equations in vacuum. Commun. Pure Appl. Math. 72(7), 1351–1385 (2019)

    Article  MathSciNet  Google Scholar 

  4. DiPerna, R.J., Lions, P.-L.: Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. 98(3), 511–547 (1989)

    Article  MathSciNet  Google Scholar 

  5. 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)

    Article  MathSciNet  Google Scholar 

  6. 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)

    Article  MathSciNet  Google Scholar 

  7. 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)

    Article  MathSciNet  Google Scholar 

  8. 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)

    Article  MathSciNet  Google Scholar 

  9. Karper, T.K.: A convergent FEM-DC method for the compressible Navier–Stokes equations. Numer. Math. 125, 441–510 (2013)

    Article  MathSciNet  Google Scholar 

  10. 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)

  11. 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)

    Article  MathSciNet  Google Scholar 

  12. Krzywicki, A., Ladyzhenskaya, O.A.: The method of nets for non-stationary Navier–Stokes equations. Trudy Mat. Inst. Steklov. 92, 93–99 (1966)

    MathSciNet  Google Scholar 

  13. Kuroki, H., Soga, K.: On convergence of Chorin’s projection method to a Leray–Hopf weak solution. Numer. Math. 146, 401–433 (2020)

    Article  MathSciNet  Google Scholar 

  14. Ladyzhenskaya, O.A.: The Mathematical Theory of Viscous Incompressible Flow, 2nd English edn. Math. Appl., 2. Gordon and Breach, New York (1969)

  15. 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)

  16. 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)

  17. 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)

    Article  MathSciNet  Google Scholar 

  18. 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)

    Article  MathSciNet  Google Scholar 

  19. Simon, J.: Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure. SIAM J. Math. Anal. 21(5), 1093–1117 (1990)

    Article  MathSciNet  Google Scholar 

  20. Soga, K.: Finite difference methods for linear transport equations with Sobolev velocity fields. Preprint (arXiv:2209.10594)

  21. 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)

    Article  Google Scholar 

  22. Temam, R.: Navier–Stokes Equations: Theory and Numerical Analysis. North-Holland, Amsterdam (1979)

    Google Scholar 

  23. Tenan, J.: Weak transport equation on a bounded domain: stability theory aprés DiPerna–Lions. Preprint (arXiv:2103.09695)

  24. Vrabie, I.I.: \(C^0\)-Semigroups and Applications. North-Holland Mathematics Studies, North-Holland Publishing Co., Amsterdam (2003)

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Kohei Soga.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00211-024-01421-y

Mathematics Subject Classification

Navigation