Volume 48, Number 3, May-June 2014
|Page(s)||875 - 894|
|Published online||24 April 2014|
Space-time variational saddle point formulations of Stokes and Navier–Stokes equations∗
Seminar for Applied Mathematics, ETH Zürich,
2 Korteweg-de Vries Institute for Mathematics, University of Amsterdam, P.O. Box 94248, 1090 GE Amsterdam, The Netherlands
Revised: 1 August 2013
The instationary Stokes and Navier−Stokes equations are considered in a simultaneously space-time variational saddle point formulation, so involving both velocities u and pressure p. For the instationary Stokes problem, it is shown that the corresponding operator is a boundedly invertible linear mapping between H1 and H'2, both Hilbert spaces H1 and H2 being Cartesian products of (intersections of) Bochner spaces, or duals of those. Based on these results, the operator that corresponds to the Navier−Stokes equations is shown to map H1 into H'2, with a Fréchet derivative that, at any (u,p) ∈ H1, is boundedly invertible. These results are essential for the numerical solution of the combined pair of velocities and pressure as function of simultaneously space and time. Such a numerical approach allows for the application of (adaptive) approximation from tensor products of spatial and temporal trial spaces, with which the instationary problem can be solved at a computational complexity that is of the order as for a corresponding stationary problem.
Mathematics Subject Classification: 35A15 / 35Q30 / 76D05 / 76D07 / 76M30
Key words: Instationary Stokes and Navier−Stokes equations / space-time variational saddle point formulation / well-posed operator equation
© EDP Sciences, SMAI, 2014
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.