zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
The attractors for the nonhomogeneous nonautonomous Navier–Stokes equations. (English) Zbl 1111.35042

The authors consider the inhomogeneous Navier-Stokes equations

u t -νΔu+(u)u+p=fdivu=0onΩ,u=φonΩ,Ω 2 (1)

on a bounded Lipschitz domain Ω in 2 . One assumes

f=f(x,t) loc 2 ((0,T),E),φ 2 (Ω)(2)

where E=dom(A 1 4 ), with A=-P Δ the Stokes operator associated with (1). The aim is to prove the existence of a global attractor for (1). To do so, the authors need several preparatory steps. First, using a suitable background flow ψ, eq. (1) is transformed into a new one, based on Dirichlet boundary conditions, i.e.:

v t +νAv+B(v,v)+B(v,ψ)+B(ψ,v)=P(f+νF)-B(ψ,ψ)(3)

where F is an additional force term induced by the background flow ψ. In order to prove the existence of an attractor for (3), the authors have to rely on work of V. V. Chepyzhov and M. I. Vishik [Am. Math. Soc. Colloq. Publ. 49, 363 p. (2002; Zbl 0986.35001)]; they introduce a number of notions and discuss their properties. Thus one has the notion of indexed process {U σ (t,τ)tτ,τ,σΣ} where Σ is the index space (a metric space), σ the symbol of the process and {U σ (t,τ)} a family of mappings on a Banach space E such that

U(t,s)U(s,τ)=U(t,τ),U(τ,τ)=Id,tsτ,τ·

In terms of this notion, the relevant topological concepts such as absorbing set, ω-limit set, uniform attractor etc. are introduced, and some of their properties summarized. Criteria (Thms. 4.1, 4.2) for the existence of a uniform attractor are given. Finally, the index space is made precise: it is based on the translates (T h f)(s)=f(h+s) induced by the exterior force f in (1) resp. (3). In the main section 6 the existence of a uniform attractor in the sense of Chepyzhov and Vishik (loc. cit.) is proved. First, it is noted that existence of global solutions of (3) is guaranteed by a Galerkin method; for details the reader is referred to R. M. Brown, P. A. Perry, and Zh. Shen [Indiana Univ. Math. J. 49, 81–112 (2000; Zbl 0969.35105)] where a proof in a comparable situation is given. Then one proceeds to the proof of the main Theorem 6.1 which asserts the existence of a uniform attractor for (3). The proof involves lengthy estimates, based in part on the paper of Brown, Perry, Shen (loc. cit.). Theorem 6.2 finally asserts that if f(x,s) is translation compact in D(A -1 4 ) then the attractor in question is compact.

MSC:
35Q30Stokes and Navier-Stokes equations
37L30Attractors and their dimensions, Lyapunov exponents
76D05Navier-Stokes equations (fluid dynamics)