1: \documentclass{article}
2:
3: \newtheorem{theorem}{Theorem}
4: \newtheorem{definition}{Definition}
5: \newtheorem{lemma}[theorem]{Lemma}
6: \newtheorem{rem}{Remark}
7: \newtheorem{pro}[theorem]{Proposition}
8: \newtheorem{con}[theorem]{Conjecture}
9: \newtheorem{alg}{Algorithm}
10:
11:
12: \def\rep#1{\mbox{$\langle#1\rangle$}}
13: \newfont{\bbc}{msbm10}
14: \def\Bbb#1{\hbox{{\bbc #1}}}
15: %\newcommand{\Bbb }{\cal }
16: \newcommand{\inte }{{\rm int}\,}
17: \newcommand{\diam }{\,{\rm diam}\,}
18: \newcommand{\cl }{{\rm cl}\,}
19: \newcommand{\sgn }{{\rm sgn}\,}
20: \newcommand{\bd }{\partial}
21: \newcommand{\im }{\mbox{Im} \,}
22: \newcommand{\ind }{\mbox{ind} \,}
23:
24:
25: %\newcommand{\qed}{$\Box$}
26: \def\qed{{\hfill{\vrule height5pt width3pt depth0pt}\medskip}}
27:
28: \begin{document}
29: \begin{center}
30: \LARGE{\bf Trapping regions and an ODE-type proof of the
31: existence and uniqueness theorem for Navier-Stokes equations with
32: periodic boundary conditions on the plane }
33:
34:
35: \vskip 0.5cm
36:
37: Piotr Zgliczynski\footnote{Research supported in part by Polish KBN
38: grant 2P03A 011 18. %grant z Mrozkiem
39: } \\
40:
41:
42: \vskip 0.5cm
43:
44: \today
45:
46: \end{center}
47: \begin{center}
48: Jagiellonian University, Institute of Mathematics, \\ Reymonta 4,
49: 30-059 Krak\'ow, Poland \\ e-mail: zgliczyn@im.uj.edu.pl \\ AND \\
50: Indiana University, Department of Mathematics, \\ 831 E Third
51: Street, Bloomington, IN 47405, USA \\ e-mail: pzgliczy@indiana.edu
52:
53: \end{center}
54:
55:
56:
57:
58: \begin{abstract}
59: Using ODE-methods and trapping regions derived by Mattingly and Sinai
60: we give a new proof of the existence and uniqueness of solutions
61: to Navier-Stokes equations with periodic boundary conditions on
62: the plane.
63: \end{abstract}
64:
65: \vskip 0.5cm 2000 MSC numbers: 35Q30, 76D03, 34G20
66:
67: \vskip 0.5cm Keywords: Navier-Stokes equations, Galerkin
68: projections
69:
70: \section{Introduction.}
71:
72: The goal of this paper to present self-contained account of the
73: ODE-type proofs from \cite{ES,MS,S} of the existence and
74: uniqueness of the Navier-Stokes systems with periodic boundary
75: conditions on the plane. Mattingly and Sinai called their proof
76: elementary (see title of \cite{MS}), but their proof was ODE-type
77: (elementary in their sense) only up to the moment of getting the
78: trapping regions for all Galerkin projections, but to pass to the
79: limit with the dimensions of Galerkin projections they invoked the
80: now standard results from \cite{CF,DG,T} (which are not
81: elementary in any sense), which are usually not mastered by the
82: researchers working in dynamics of ODE's, to which this note is
83: mainly addressed. Here we fill-in this gap by giving ODE-type
84: arguments, which allow to pass to the limit. Using ODE-type
85: estimates based on the logarithmic norms we also obtained
86: uniqueness and an estimate for the Lipschitz constant of evolution
87: induced by the Navier-Stokes equations . In fact we have proved
88: that on the trapping region we have semidynamical system. The
89: results we prove here are well known for Navier-Stokes system in
90: 2D (see for example \cite{FT,ES,K,DT}), but the method of getting
91: estimates on Galerkin projections presented in section
92: \ref{sec:limitlogn} appears to be new.
93:
94: Another goal of this paper is to prepare the ground for the
95: rigorous study of the dynamics of the Navier-Stokes equations with
96: periodic boundary conditions. The trapping regions described here
97: are particular examples of the self-consistent apriori bounds
98: introduced in \cite{ZM} for the rigorous study of the dynamics of
99: the dissipative PDE's.
100:
101: A few words about a general construction of the paper: In sections
102: \ref{sec:NSE} and \ref{sec:trap} we recall the results from
103: \cite{ES,MS,S} about the trapping regions. Sections
104: \ref{sec:limit} and \ref{sec:limitlogn} contain ODE-type proofs of
105: the convergence of the Galerkin scheme on trapping regions. The
106: remaining sections contain the existence results for the
107: Navier-Stokes equations on the plane and the Sannikov and Kaloshin
108: \cite{S} result in the dimension three.
109:
110: \input feq.tex
111:
112: \input ms.tex
113:
114: \input limit.tex
115:
116: \input limlogn.tex
117:
118: \input exproof.tex
119:
120: \input sankal.tex
121:
122: %\input derf.tex
123:
124:
125:
126: \begin{thebibliography}{ZZZ}
127:
128: \bibitem[CF]{CF} P.\ Constantin and C.\ Foias, {\em Navier-Stokes
129: Equations}, Univeristy of Chicago Press, Chicago 1988
130:
131: \bibitem[DG]{DG} C.\ Doering and J.D. Gibbon, {\em Applied analysis
132: of the Navier-Stokes equations.} Cambridge Text in Applied
133: Mathematics. Cambridge University Press, Cambridge 1995
134:
135: \bibitem[DT]{DT} C.\ Doering and E. \ Titi ,
136: Exponential decay rate of the power spectrum for solutions of
137: the Navier-Stokes equations. {\em Phys. Fluids}, 7(6),
138: 1384--1390, 1995
139:
140: \bibitem[ES]{ES} W.\ E and Y. Sinai, New results in mathematical and statistical hydrodynamics.
141: (Russian) {\em Uspekhi Mat. Nauk} 55 (2000), no. 4(334), 25--58.
142:
143: \bibitem[FT]{FT} C. \ Foias and R. \ Temam,
144: Gevrey Class Regularity for the Solutions of the Navier-Stokes
145: Equations, {\em Journal of Functional Analysis}, Vol. 87, No. 2,
146: 1989, 359--369,
147:
148: \bibitem[HNW]{HNW} E.\ Hairer, S.P.\ N\o rsett and G.\ Wanner,
149: {\em Solving Ordinary Differential Equations I, Nonstiff
150: Problems}, Springer-Verlag, Berlin Heidelberg 1987.
151:
152: \bibitem[K]{K} H.-O.\ Kreiss, {\em Fourier expansions of the
153: solutions of the Navier-Stokes equations and their exponential
154: decay rate.} in {\em Analyse mathématique et applications,}
155: 245--262, Gauthier-Villars, Montrouge, 1988.
156:
157:
158: \bibitem[MS]{MS} J.\ Mattingly and Y. Sinai,
159: An Elementary Proof of the Existence and Uniqueness Theorem for
160: Navier-Stokes Equations, {\em Comm. in Contemporary Mathematics}
161: vol. 1 n4, 1999, 497--516
162:
163: \bibitem[QSS]{QSS} A.\ Quarteroni, R. \ Sacco and F.\ Saleri,
164: {\em Numerical Mathematics}, Texts in Applied Mathematics, 37,
165: Springer
166:
167: \bibitem[S]{S} Y. Sannikov, Mathematical Problems Related to
168: Navier-Stokes Equations, {\em Thesis, Princeton University}
169:
170: \bibitem[Si]{Si} Y. Sinai, Navier-Stokes System with Periodic
171: Boundary Conditions, {\em Regular \& Chaotic Dynamics}, v.4, n2,
172: 1999, 3--15
173:
174: \bibitem[T]{T} R.\ Temam, {\em Navier-Stokes equations: Theory and numerical
175: analysis,} vol. 2 of {\em Studies in Mathematics and its Applications.}
176: North-Holland Publishing Co., Amsterdam-New York, revised
177: edition 1979
178:
179:
180: \bibitem[ZM]{ZM} P.\ Zgliczynski and K.\ Mischaikow, {Rigorous Numerics for Partial
181: Differential Equations: the Kuramoto-Sivashinsky equation.} {\em preprint,
182: http://www.im.uj.edu.pl/\~{}zgliczyn}
183:
184:
185:
186: \end{thebibliography}
187:
188:
189: \end{document}
190: