PORTUGALIAE MATHEMATICA ISSN 0032-5155 VOLUME 41 FASCICULO 1-4 19) 8 2 Edicao da SOCIEDADE PORTUGUESA DE MATEMATICA PORTUGALIAE MATHEMATICA Av. da Republica, 37-4.° 1000 LISBOA—PORTUGALPORTUGALIAE MATHEMATICA Vol. 41 Fase. 1-4~ 1982 COMPORTEMENT, LORSQUE T > + 0, DES SOLUTIONS FORTES DES EQUATIONS DE NAVIER-STOKES DANS UN OUVERT BORNE REGULIER DE IR*, N= 2 OU 3 C, GUILLOPE Analyse Numérique et Fonctionnelle CN.RS., E.R.A. 297 et Université Paris-Sud Batiment 425 - 91400 Orsay (France) Alla mémoire du Professeur J. Sebastido e Silva Summary The aim of this lecture is to review some results concerning the long- time behaviour of strong solutions to Navier-Stokes equations in a regular bounded domain of IR®, N = 2 or 3. We first study the case where the solution is defined, bounded from (t,, + ee) into the Sobolev space H'(Q)*: this assumption is satisfied, if the applied forces are bounded in L{Q)’, in space dimension N = 2, and, under some stability condition, in space dimension N = 3. We show that such a solution is bounded in every H"(Q)*, for meiN. As a consequence of this boundedness property and of the backward uniqueness, we obtain that any invariant functional set (or attractor set) (cf. C. Foias — R. Temam [3)) is made of é functions if the applied forces are 7” and time-independent We then study the particular case of null driving forces (or - that is the same case ~ of potential forces). In relation with the C. Foias - J. C. Saut recent work (2}, (14), we show that every function a decreases in all HQ), meIN, exactly like an exponential function, as t goes to + oo Complete proofs, which are quite technical, will appear in forthcoming papers (14), [5). Introduction Dans cet exposé, nous présentons quelques résultats récents concer- nant le comportement, lorsque t > + 0, des solutions des équations de Na- vier-Stokes dans un ouvert régulier borné Q de RX, N= 2 ou 3 Received July 26, 1982.438 C, GUILLOPE Nous étudions d’abord le cas oii la solution est définie. bornée de (t,. + co) dans espace HQ): cette hypothese est vérifice, si la force appliquée est bornée dans LQ)’, en dimension d'espace N = 2 ct, sous certaines con- ditions de stabilité, en dimension d’espace N = 3. Une telle solution est alors bornée dans les espaces H")*, pour tout meN (cf. Théoréme 2.1). Une propriété de régularité des ensembles fonctionnels invariants (ou at- tracteurs), bornés dans H'(Q)*, en est déduite: cette propriéte est similaire A celle obtenue pour les solutions stationnaires ou périodiques en temps des équations de Navier-Stokes. Puis, nous étudions le cas od les forces appliquées sont nulles (ou, ce qui revient au méme, dérivent un potentiel). Les résultats que nous prée- sentons ici sont trés liés 4 ceux obtenus recemment parC, Foiaset J.C. Saut aap. Les démonstrations, assez techniques, de ces résultats seront develop- pées dans des articles 4 paraitre ultéricurement (4). (5D. Plan 1. Préliminaires 2. Estimations des solutions fortes bornées dans V (f quelconque) 3. Etude du cas ot f = 0. 1. Préliminaires 1.1. Nous désignons par 2 un ouvert borne deIR®, N = 2 ou 3, de fron- tigre de classe % *, Q étant situé localement d'un seul coté de T. Nous notons IL4Q) = L4Q), HQ) = HYQ)* Pespace de Sobolev ordre seiR construit sur L4Q). Nous notons H ladhérence de 7 = {ue DQ), div w= O}dansiLX), VP'adhérence de — dansill'(Q), V’son dual, || la norme dans ILXQ), |] + || la norme du gradient dans (L42). Nous considérons les opérateurs suivants (cf. par exemple [12] ou [1 5) ~ P, la projection orthogonale de IL(Q) sur Hy _A'= —P.A, opérateur de Stokes, autoadjoint, non borné dans H, de domaine D(A) = VOIH*Q), — B, Fopérateur bilinéaire continu de V x V dans V‘, défini, pour u. veV x V, par: = Df wu Divwidx, Wwe.