Dissertation
Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results
Abstract
In the theory of the Navier-Stokes equations, the proofs of some basic known results, like for example the uniqueness of solutions to the stationary Navier-Stokes equations under smallness assumptions on the data or the stability of certain time discretization schemes, actually only use a small range of properties and are therefore valid in a more general context. This observation leads us to introduce the concept of SST spaces, a generalization of the functional setting for the Navier-Stokes equations. It allows us to prove (by means of counterexamples) that several uniqueness and stability conjectures that are still open in the case of the Navier-Stokes equations have a negative answer in the larger class of SST spaces, thereby showing that proof strategies used for a number of classical results are not sufficient to affirmatively answer these open questions. More precisely, in the larger class of SST spaces, non-uniqueness phenomena can be observed for the implicit Euler scheme, for two nonlinear versions of the Crank-Nicolson scheme, for the fractional step theta scheme, and for the SST-generalized stationary Navier-Stokes equations. As far as stability is concerned, a linear version of the Euler scheme, a nonlinear version of the Crank-Nicolson scheme, and the fractional step theta scheme turn out to be non-stable in the class of SST spaces. The positive results established in this thesis include the generalization of classical uniqueness and stability results to SST spaces, the uniqueness of solutions (under smallness assumptions) to two nonlinear versions of the Euler scheme, two nonlinear versions of the Crank-Nicolson scheme, and the fractional step theta scheme for general SST spaces, the second order convergence of a version of the Crank-Nicolson scheme, and a new proof of the first order convergence of the implicit Euler scheme for the Navier-Stokes equations. For each convergence result, we provide conditions on the data that guarantee the existence of nonstationary solutions satisfying the regularity assumptions needed for the corresponding convergence theorem. In the case of the Crank-Nicolson scheme, this involves a compatibility condition at the corner of the space-time cylinder, which can be satisfied via a suitable prescription of the initial acceleration.
In der Theorie der Navier-Stokes-Gleichungen greifen die Beweise einiger grundlegender bekannter Resultate, wie z.B. der Eindeutigkeit von Lösungen der stationären Navier-Stokes-Gleichungen unter Kleinheitsannahmen an die Daten oder der Stabilität einiger Zeitdiskretisierungsschemata, auf einen bei genauerem Hinsehen nur kleinen Vorrat an Eigenschaften zurück und sind daher in einem allgemeineren Rahmen gültig. Diese Feststellung veranlasst uns zur Einführung des Begriffs der SST-Räume, einer Verallgemeinerung des funktionalanalytischen Rahmens für die Navier-Stokes-Gleichungen. Er versetzt uns in die Lage, anhand von Gegenbeispielen zu beweisen, dass verschiedene Eindeutigkeits- und Stabilitätsvermutungen, die im Falle der Navier-Stokes-Gleichungen noch offen sind, in der größeren Klasse der SST-Räume falsch sind und damit zu zeigen, dass die für eine Reihe von klassischen Resultaten verwendeten Beweisstrategien zur positiven Beantwortung dieser offenen Fragen nicht ausreichen. Genauer gesagt treten Nichteindeutigkeitsphänomene in der größeren Klasse der SST-Räume beim impliziten Euler-Schema, bei zwei nichtlinearen Versionen des Crank-Nicolson-Schemas, beim Fractional-Step-Theta-Schema und bei den SST-verallgemeinerten stationären Navier-Stokes-Gleichungen auf. Was Stabilität betrifft, erweisen sich eine lineare Version des Euler-Schemas, eine nichtlineare Version des Crank-Nicolson-Schemas und das Fractional-Step-Theta-Schema in der Klasse der SST-Räume als nicht stabil. Zu den in der Dissertation gezeigten positiven Resultaten gehören die Verallgemeinerung klassischer Eindeutigkeits- und Stabilitätsresultate auf SST-Räume, die Eindeutigkeit (unter Kleinheitsannahmen) von Lösungen zweier nichtlinearer Versionen des Euler-Schemas, zweier nichtlinearer Versionen des Crank-Nicolson-Schemas und des Fractional-Step-Theta-Schemas für allgemeine SST-Räume, die Konvergenz zweiter Ordnung einer Version des Crank-Nicolson-Schemas und ein neuer Beweis der Konvergenz erster Ordnung des impliziten Euler-Schemas für die Navier-Stokes-Gleichungen. Zu jedem Konvergenzresultat geben wir Bedingungen an die Daten an, die die Existenz nichtstationärer Lösungen mit der für den jeweiligen Konvergenzsatz benötigten Regularität sichern. Im Falle des Crank-Nicolson-Schemas zählen dazu auch Kompatibilitätsbedingungen an den Ecken des Raum-Zeit-Zylinders, die durch geeignetes Vorschreiben einer Anfangsbeschleunigung erfüllt werden können.
Citation
@phdthesis{urn:nbn:de:hebis:34-2014112846541,
author={Zanger, Florian},
title={Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results},
school={Kassel, Universität, FB 10, Mathematik und Naturwissenschaften},
month={11},
year={2014}
}
0500 Oax 0501 Text $btxt$2rdacontent 0502 Computermedien $bc$2rdacarrier 1100 2014$n2014 1500 1/eng 2050 ##0##urn:nbn:de:hebis:34-2014112846541 3000 Zanger, Florian 4000 Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results / Zanger, Florian 4030 4060 Online-Ressource 4085 ##0##=u http://nbn-resolving.de/urn:nbn:de:hebis:34-2014112846541=x R 4204 \$dDissertation 4170 5550 {{Navier-Stokes-Gleichung}} 5550 {{Finite-Differenzen-Methode}} 7136 ##0##urn:nbn:de:hebis:34-2014112846541
2014-11-28T08:31:16Z 2014-11-28T08:31:16Z 2014-11-28 urn:nbn:de:hebis:34-2014112846541 http://hdl.handle.net/123456789/2014112846541 eng Urheberrechtlich geschützt https://rightsstatements.org/page/InC/1.0/ Navier-Stokes equations Navier-Stokes-Gleichungen SST spaces SST-Räume finite difference methods Finite-Differenzen-Verfahren time discretization Zeitdiskretisierung stability Stabilität non-stability Nichtstabilität non-uniqueness Nichteindeutigkeit non-existence Nichtexistenz counterexamples Gegenbeispiele convergence Konvergenz error bounds Fehlerschranken Euler scheme Euler-Schema Euler method Euler-Verfahren Crank-Nicolson scheme Crank-Nicolson-Schema Crank-Nicolson method Crank-Nicolson-Verfahren fractional step theta scheme Fractional-Step-Theta-Schema fractional step theta method Fractional-Step-Theta-Verfahren nonlinearity Nichtlinearität partial differential equations partielle Differentialgleichungen compatibility condition Kompatibilitätsbedingung sharp Hölder inequalities scharfe Hölder-Ungleichungen approximation Approximation PDE time stepping schemes 510 Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results Dissertation In the theory of the Navier-Stokes equations, the proofs of some basic known results, like for example the uniqueness of solutions to the stationary Navier-Stokes equations under smallness assumptions on the data or the stability of certain time discretization schemes, actually only use a small range of properties and are therefore valid in a more general context. This observation leads us to introduce the concept of SST spaces, a generalization of the functional setting for the Navier-Stokes equations. It allows us to prove (by means of counterexamples) that several uniqueness and stability conjectures that are still open in the case of the Navier-Stokes equations have a negative answer in the larger class of SST spaces, thereby showing that proof strategies used for a number of classical results are not sufficient to affirmatively answer these open questions. More precisely, in the larger class of SST spaces, non-uniqueness phenomena can be observed for the implicit Euler scheme, for two nonlinear versions of the Crank-Nicolson scheme, for the fractional step theta scheme, and for the SST-generalized stationary Navier-Stokes equations. As far as stability is concerned, a linear version of the Euler scheme, a nonlinear version of the Crank-Nicolson scheme, and the fractional step theta scheme turn out to be non-stable in the class of SST spaces. The positive results established in this thesis include the generalization of classical uniqueness and stability results to SST spaces, the uniqueness of solutions (under smallness assumptions) to two nonlinear versions of the Euler scheme, two nonlinear versions of the Crank-Nicolson scheme, and the fractional step theta scheme for general SST spaces, the second order convergence of a version of the Crank-Nicolson scheme, and a new proof of the first order convergence of the implicit Euler scheme for the Navier-Stokes equations. For each convergence result, we provide conditions on the data that guarantee the existence of nonstationary solutions satisfying the regularity assumptions needed for the corresponding convergence theorem. In the case of the Crank-Nicolson scheme, this involves a compatibility condition at the corner of the space-time cylinder, which can be satisfied via a suitable prescription of the initial acceleration. In der Theorie der Navier-Stokes-Gleichungen greifen die Beweise einiger grundlegender bekannter Resultate, wie z.B. der Eindeutigkeit von Lösungen der stationären Navier-Stokes-Gleichungen unter Kleinheitsannahmen an die Daten oder der Stabilität einiger Zeitdiskretisierungsschemata, auf einen bei genauerem Hinsehen nur kleinen Vorrat an Eigenschaften zurück und sind daher in einem allgemeineren Rahmen gültig. Diese Feststellung veranlasst uns zur Einführung des Begriffs der SST-Räume, einer Verallgemeinerung des funktionalanalytischen Rahmens für die Navier-Stokes-Gleichungen. Er versetzt uns in die Lage, anhand von Gegenbeispielen zu beweisen, dass verschiedene Eindeutigkeits- und Stabilitätsvermutungen, die im Falle der Navier-Stokes-Gleichungen noch offen sind, in der größeren Klasse der SST-Räume falsch sind und damit zu zeigen, dass die für eine Reihe von klassischen Resultaten verwendeten Beweisstrategien zur positiven Beantwortung dieser offenen Fragen nicht ausreichen. Genauer gesagt treten Nichteindeutigkeitsphänomene in der größeren Klasse der SST-Räume beim impliziten Euler-Schema, bei zwei nichtlinearen Versionen des Crank-Nicolson-Schemas, beim Fractional-Step-Theta-Schema und bei den SST-verallgemeinerten stationären Navier-Stokes-Gleichungen auf. Was Stabilität betrifft, erweisen sich eine lineare Version des Euler-Schemas, eine nichtlineare Version des Crank-Nicolson-Schemas und das Fractional-Step-Theta-Schema in der Klasse der SST-Räume als nicht stabil. Zu den in der Dissertation gezeigten positiven Resultaten gehören die Verallgemeinerung klassischer Eindeutigkeits- und Stabilitätsresultate auf SST-Räume, die Eindeutigkeit (unter Kleinheitsannahmen) von Lösungen zweier nichtlinearer Versionen des Euler-Schemas, zweier nichtlinearer Versionen des Crank-Nicolson-Schemas und des Fractional-Step-Theta-Schemas für allgemeine SST-Räume, die Konvergenz zweiter Ordnung einer Version des Crank-Nicolson-Schemas und ein neuer Beweis der Konvergenz erster Ordnung des impliziten Euler-Schemas für die Navier-Stokes-Gleichungen. Zu jedem Konvergenzresultat geben wir Bedingungen an die Daten an, die die Existenz nichtstationärer Lösungen mit der für den jeweiligen Konvergenzsatz benötigten Regularität sichern. Im Falle des Crank-Nicolson-Schemas zählen dazu auch Kompatibilitätsbedingungen an den Ecken des Raum-Zeit-Zylinders, die durch geeignetes Vorschreiben einer Anfangsbeschleunigung erfüllt werden können. open access Zanger, Florian Kassel, Universität, FB 10, Mathematik und Naturwissenschaften Varnhorn, Werner (Prof. Dr.) Picard, Rainer (Prof. Dr.) 35Q30 65M12 65M15 76D05 76M20 76M30 Navier-Stokes-Gleichung Finite-Differenzen-Methode 2014-07-24
The following license files are associated with this item:
:Urheberrechtlich geschützt