Neste trabalho estudamos a existência de soluções de equações do tipo Navier-Stokes com retardo na força externa e no termo n~ao linear. Usando a teoria de semigrupos estudamos a existência de soluções para um problema da forma \'d. SUP. dt u(t) - v\'delta\'u(t) + (F(t, \'u IND.t\'). abla)u(t) + abla p = g(t, \'u IND.t\'), em \'OMEGA\' x (0, T), div u(t) = 0 em \'OMEGA\' x (0, T), u(0, x) = \'u POT.0 (x) x PERTENCE a \' OMEGA\', u(t, x) = 0 t > 0, X \'PERTENCE A\' \' PARTIAL\' \'OMEGA\', u(t, x) =\\phi (t, x) t \'PERTENCE A\' (- \'INFINITO\', 0) x \'PERTENCE A\' \'OMEGA\', onde F9t, \'uIND.t) = INT.IND.t SUP. -\' INFINITO\' \' ALFA1(s-t)u(s)ds + u(t-r), g(t, \'u IND.t\') = INT. SUP. t IND. - INFINITO \'BETA\' (s-t)u(s)ds. Similarmente, usando a tecnica de aproximac~oes de Galerkin, estudamos o problema anterior com F(.) e g(.) dadas por f(t; \'u INDS.t\') = u(t-r(t)); e g(t; \'u IND.t\') = G(u(t-\'rô\' (t))), para alguma função G apropriada. Neste caso, também estudamos a estabilidade de soluções estacionarias / In this work we stuy the existence of solutions for a Navier-Stokes typt equations with delay in the external force and in the nonlinear term. Using the semi-group theory we study the existence of solution for a problem in the form \'d. SUP. dt u(t) - v\'delta\'u(t) + (F(t, \'u IND.t\'). abla)u(t) + abla p = g(t, \'u IND.t\'), ijn \'OMEGA\' x (0, T), div u(t) = 0 in \'OMEGA\' x (0, T), u(0, x) = \'u POT.0 (x) x \'IT BELONGS \' OMEGA\', u(t, x) = 0 t > 0, X \'IT BELONGS\' \'PARTIAL\' \'OMEGA\', u(t, x) =\\phi (t, x) t \'IT BELONGS\' (- \'INFINITY\', 0) x \'IT BELONGS\' \'OMEGA\', where F(t, \'u .t) = INT.IND.t SUP. -\' INFINITY\' \' ALFA(s-t)u(s)ds + u(t-r), g(t, \'u IND.t\') = INT. SUP. t IND. - INFINITY \'BETA\' (s-t)u(s)ds. On another hand using the Galerkin appreoximations method we study the same with F(.) e g(.) given by f(t; \'u INDS.t\') = u(t-r(t)); and g(t; \'u IND.t\') = G(u(t-\'rô\' (t))), for some G appropriated. In thiis case, we study also the stability of stanionary solutions

No description available.

Neste trabalho estudamos a existência de soluções de equações do tipo Navier-Stokes com retardo na força externa e no termo n~ao linear. Usando a teoria de semigrupos estudamos a existência de soluções para um problema da forma \'d. SUP. dt u(t) - v\'delta\'u(t) + (F(t, \'u IND.t\'). abla)u(t) + abla p = g(t, \'u IND.t\'), em \'OMEGA\' x (0, T), div u(t) = 0 em \'OMEGA\' x (0, T), u(0, x) = \'u POT.0 (x) x PERTENCE a \' OMEGA\', u(t, x) = 0 t > 0, X \'PERTENCE A\' \' PARTIAL\' \'OMEGA\', u(t, x) =\\phi (t, x) t \'PERTENCE A\' (- \'INFINITO\', 0) x \'PERTENCE A\' \'OMEGA\', onde F9t, \'uIND.t) = INT.IND.t SUP. -\' INFINITO\' \' ALFA1(s-t)u(s)ds + u(t-r), g(t, \'u IND.t\') = INT. SUP. t IND. - INFINITO \'BETA\' (s-t)u(s)ds. Similarmente, usando a tecnica de aproximac~oes de Galerkin, estudamos o problema anterior com F(.) e g(.) dadas por f(t; \'u INDS.t\') = u(t-r(t)); e g(t; \'u IND.t\') = G(u(t-\'rô\' (t))), para alguma função G apropriada. Neste caso, também estudamos a estabilidade de soluções estacionarias / In this work we stuy the existence of solutions for a Navier-Stokes typt equations with delay in the external force and in the nonlinear term. Using the semi-group theory we study the existence of solution for a problem in the form \'d. SUP. dt u(t) - v\'delta\'u(t) + (F(t, \'u IND.t\'). abla)u(t) + abla p = g(t, \'u IND.t\'), ijn \'OMEGA\' x (0, T), div u(t) = 0 in \'OMEGA\' x (0, T), u(0, x) = \'u POT.0 (x) x \'IT BELONGS \' OMEGA\', u(t, x) = 0 t > 0, X \'IT BELONGS\' \'PARTIAL\' \'OMEGA\', u(t, x) =\\phi (t, x) t \'IT BELONGS\' (- \'INFINITY\', 0) x \'IT BELONGS\' \'OMEGA\', where F(t, \'u .t) = INT.IND.t SUP. -\' INFINITY\' \' ALFA(s-t)u(s)ds + u(t-r), g(t, \'u IND.t\') = INT. SUP. t IND. - INFINITY \'BETA\' (s-t)u(s)ds. On another hand using the Galerkin appreoximations method we study the same with F(.) e g(.) given by f(t; \'u INDS.t\') = u(t-r(t)); and g(t; \'u IND.t\') = G(u(t-\'rô\' (t))), for some G appropriated. In thiis case, we study also the stability of stanionary solutions

Doctor en Ciencias de la Ingeniería, Mención Modelación Matemática / This thesis is focused on the Navier{Stokes system for incompressible uids with either Dirichlet or nonlinear Navier{slip boundary conditions. For these systems, we exploit some ideas in the context of the control theory and inverse source problems. The thesis is divided in three parts. In the rst part, we deal with the local null controllability for the Navier{Stokes system with nonlinear Navier{slip conditions, where the internal controls have one vanishing component. The novelty of the boundary conditions and the new estimates with respect to the pressure term, has allowed us to extend previous results on controllability for the Navier{ Stokes system. The main ingredients to build our result are the following: a new regularity result for the linearized system around the origin, and a suitable Carleman inequality for the adjoint system associated to the linearized system. Finally, xed point arguments are used in order to conclude the proof. In the second part, we deal with an inverse source problem for the N- dimensional Stokes system from local and missing velocity measurements. More precisely, our main result establishes a reconstruction formula for the source F(x; t) = (t)f(x) from local observations of N ����� 1 components of the velocity. We consider that f(x) is an unknown vectorial function, meanwhile (t) is known. As a consequence, the uniqueness is achieved for f(x) in a suitable Sobolev space. The main tools are the following: connection between null controllability and inverse problems throughout a result on null controllability for the N- dimensional Stokes system with N ����� 1 scalar controls, spectral analysis of the Stokes operator and Volterra integral equations. We also implement this result and present several numerical experiments that show the feasibility of the proposed recovering formula. Finally, the last chapter of the thesis presents a partial result of stability for the Stokes system when we consider a source F(x; t) = R(x; t)g(x), where R(x; t) is a known vectorial function and g(x) is unknown. This result involves the Bukhgeim-Klibanov method for solving inverse problems and some topics in degenerate Sobolev spaces.

A numerical simulation of steady and unsteady two-dimensional flows past cylinder with dimples based on highly accurate pseudospectral method is the subject of the present thesis. The vorticity-streamfunction formulation of two-dimensional incompressible Navier-Stokes equations with no-slip boundary conditions is used. The system is formulated on a unit disk using curvilinear body fitted coordinate system. Key issues of the curvilinear coordinate transformation are discussed, to show its importance in properly defined node distribution. For the space discretization of the governing system the Fourier-Chebyshev pseudospectral approximation on a unit disk is implemented. To handle the singularity at the pole of the unit disk the approach of defining the computational grid proposed by Fornberg was implemented. Two algorithms for solving steady and unsteady problems are presented. For steady flow simulations the non-linear time-independent Navier-Stokes problem is solved using the Newton's method. For the time-dependent problem the semi-implicit third order Adams-Bashforth/Backward Differentiation scheme is used. In both algorithms the fully coupled system with two no-slip boundary conditions is solved. Finally numerical result for both steady and unsteady solvers are presented. A comparison of results for the smooth cylinder with those from other authors shows good agreement. Spectral accuracy is demonstrated using the steady solver. / February 2007

Thèse doctorat : Mécanique des fluides : La Rochelle : 2004. / Bibliogr. p. 223-229.

Thèse de doctorat : Mécanique et énergétique : INPL : 2008. / Titre provenant de l'écran-titre.

No description available.

No description available.

A numerical simulation of steady and unsteady two-dimensional flows past cylinder with dimples based on highly accurate pseudospectral method is the subject of the present thesis. The vorticity-streamfunction formulation of two-dimensional incompressible Navier-Stokes equations with no-slip boundary conditions is used. The system is formulated on a unit disk using curvilinear body fitted coordinate system. Key issues of the curvilinear coordinate transformation are discussed, to show its importance in properly defined node distribution. For the space discretization of the governing system the Fourier-Chebyshev pseudospectral approximation on a unit disk is implemented. To handle the singularity at the pole of the unit disk the approach of defining the computational grid proposed by Fornberg was implemented. Two algorithms for solving steady and unsteady problems are presented. For steady flow simulations the non-linear time-independent Navier-Stokes problem is solved using the Newton's method. For the time-dependent problem the semi-implicit third order Adams-Bashforth/Backward Differentiation scheme is used. In both algorithms the fully coupled system with two no-slip boundary conditions is solved. Finally numerical result for both steady and unsteady solvers are presented. A comparison of results for the smooth cylinder with those from other authors shows good agreement. Spectral accuracy is demonstrated using the steady solver.