Este trabalho consiste de duas partes. Na primeira, estendemos o resultado de Braz e Silva e Zingano [2], [3] sobre soluções u(•; t) ε C°([0; T[;Lp(Rn)) de equações de advecção-difusão em meios heterogêneos para classes mais gerais de equações parabólicas, aplicando os resultados nas equações de Navier-Stokes incompressíveis no plano formuladas em termos da vorticidade do escoamento. Em particular, estabelecemos estimativas mostrando o decaimento em certas normas do campo de velocidade u(•; t) em caso de escoamentos de energia infinita. Na segunda parte, consideramos as equações de Navier-Stokes em dimensão n = 2; 3 examinando soluções u(•; t) de energia finita. Inicialmente, obtemos uma nova derivação, mais simples, do resultado obtido originalmente por Kato [20] estabelecendo o decaimento assintótico (t → ∞) de ||u(•; t)||L²(Rn), para estados iniciais u0 ε H¹(Rn) (com divergente nulo) arbitrários. Na linha deste argumento obtemos uma formula»c~ao mais forte dos resultados fundamentais de Wiegner [36] relacionando u(•; t) com soluções evΔtu0 da equação do calor, adaptando o método recentemente introduzido em [22], [23] para a derivação destes resultados. O método de [22], [23] também é utilizado para estabelecermos (dimensão n=3) que, ocorrendo "blow- up"de u(•; t) em tempo finito t*, necessariamente t* < 0:159||u0||4Lp(Rn)º-5, sendo ν a viscosidade dinãmica do escoamento. / In the first part of the this work, we extend results by Braz e Silva e Zingano [2], [3] concerning Lp solutions u(•; t) ε C°([0; T[;Lp(Rn)) of advection-dicusion equations in heterogeneous media to broader classes of quasilinear parabolic equations, applying the results to incompressible Navier-Stokes flows in the plane by way of the vorticity formulation. In particular, we obtain some decay rates (as t → ∞) for certain norms of the velocity field u(•; t) in case of flow with infinity energy. In the second part, we consider the Navier-Stokes equations in dimension n = 2; 3 and examine solutions u(•; t) with finite energy. First, we give a new (and simpler) derivation of the time asymptotic result originally obtained by Kato [20] and Masuda [28] showing the decay of the L2 norm of divergence-free, finite- energy solutions. Following these footsteps, we give a stronger formulation of the fundamental results obtained by Wiegner [36] relating the velocity field u(•; t) to solutions evΔtu0 of the heat equation, adapting the approach introduced in [22], [23] for the derivation of Wiergner's results. The analysis in [22], [23] is also used to obtain an interesting bound for the blow-up time t* in 3-D flows, in case solutions cease to be smooth: one must have t* < 0:159||u0||4Lp(Rn)º-5, where v is the dynamic viscosity.

Neste trabalho estuda-se analiticamente um modelo de turbulência com condições de fronteira 2¼-periódicas. Para isso, considera-se uma família de modelos de Simulação em Grandes Escalas (LES) que é baseada na deconvolução aproximada de Van Cittert, onde especifica-se o filtro diferencial e suas propriedades. Para conhecer melhor os modelos de fecho, especifica-se os requisitos para um modelo de fecho ser satisfatório. Define-se uma norma e mostra-se que esta é equivalente à norma L2, sendo usada no estudo da estabilidade (solução satisfazendo uma desigualdade de energia) e da existência de soluções fracas do modelo. Para mostrar a existência de soluções, além de usar a norma definida neste trabalho, usa-se o método de Faedo-Galerkin e a propriedade antissimétrica pertinente ao termo não linear do modelo. / In this work we study analytically a model of turbulence with 2¼- periodic boundary conditions. To that end, we consider a family of Large Eddy Simulation (LES) models based on the van Cittert approximate deconvolution procedure, and we also specify a differential filter and its properties. To learn more about the closure models, we specify the requirements of a satisfactory closure model. We define a norm which is shown to be equivalent to the L2-norm and is used to study stability (solutions satisfy an energy inequality) and existence of weak solutions of the model. To show the existence of solutions, we use the Faedo-Galerkin method and the model’s nonlinear term skew-symmetry property.

Neste trabalho, discutimos o movimento de uma macromolécula carregada em um fluido ionizado. A interação do campo elétrico é descrita pela equação de Poisson-Boltzmann acoplada às equações governantes para a dinâmica do fluido e às equações dinâmicas da partícula. Uma formulação fraca é introduzida no caso em que o domínio ocupado pelo fluido é finito e um teorema de existência de soluções fracas, local em tempo, é estabelecido. Dois modelos são considerados: fluxos não-estacionários e estacionários. No primeiro caso, a hidrodinâmica do sistema é governada pelas equações de Navier-Stokes, considerando-se um termo forçante relacionado ao potencial elétrico; no segundo caso, uma velocidade de deslizamento, a qual depende não linearmente sobre os potenciais, é introduzida como uma condição de contorno para um problema estacionário de Stokes. O caso de um fluido ocupando uma região infinita é também discutido supondo-se uma hipótese de aproximação sobre o campo elétrico.

The marker and cell method is an efficient co-volume technique suitable for the solution of incompressible flows using a Cartesian mesh. For flows around complex geometries the use of an unstructured mesh is desirable. For geometric flexibility an unstructured mesh implementation is desirable. A co-volume technique requires a dual orthogonal mesh, in the triangular case the Delaunay-Voronoi dual provides the means for determining this dual orthogonal mesh in an unstructured mesh framework. Certain mesh criteria must be placed on the Delaunay-Voronoi to ensure it meets the dual orthogonal requirements. The two dimensional extension of the marker and cell method to an unstructured framework is presented. The requirements of the mesh are defined and methods in their production are discussed. Initially an explicit time stepping scheme is implemented which allows efficient simulation of incompressible fluid flow problems. Limitations of the explicit time stepping scheme that were discovered, mean that high Reynolds number flows that require the use of stretched meshes cannot produce solutions in a reasonable time period. A semi-implicit time stepping routine removes this limitation allowing these types of flows to be successfully modelled. To validate the solvers accuracy and demonstrate its performance, a number of test cases are presented. These include the lid driven cavity, flow over a backward facing step, inviscid flow around a circular cylinder, unsteady flow around a circular cylinder, flow around an SD7003 aerofoil, flow around a NACA0012 aerofoil and flow around a multi element aerofoil. The investigation although revealing a high dependence on the quality of the mesh still demonstrates that accurate results can be obtained efficiently. The efficiency is demonstrated by comparison to the in-house 2D incompressible finite volume solver for flow around a circular cylinder. For this case the unstructured MAC method produced a solution four times faster than the finite volume code.

O estudo das equações de Navier-Stokes desperta interesse dos estudiosos da área da análise numérica, visto que a partir destas pode-se determinar os campos de velocidade e pressão de um escoamento. Com estas equações também pode-se aproximar coeficientes aerodinâmicos, fato de grande interesse nas indústria automobilística e aeronáutica. Por isso, propõe-se estudar a aproximação das equações de Navier Stokes via o método de elementos finitos, que tem se mostrado um bom método de resolução de problemas envolvendo fiuidos. Estudam-se métodos de linearização do termo convectivo. Apresentam-se três propostas de métodos de discretização temporal para as equações dadas. Através da análise de erro e taxas de convergência para problemas com solução exata conhecida, comparam-se diferentes espaços de discretização espacial e diferentes métodos de discretização temporal. Introduz-se um modelo de regularização e através do cálculo dos coeficientes de arrasto e sustentação comprova-se a sua efetividade (no sentido de que ele permite trabalhar com malhas mais grossas, mas ainda obter soluções comparáveis àquelas obtidas por DNS). / The study of the Navier-Stokes equations arouses interest of researchers in the area of numerical analysis, since from these one can determine the velocity and pressure fields of a fiow. These equations approach aerodynamic coefficients, a fact of great interest in the aeronautical and automotive industries. Therefore, we propose to study an approximation of the Navier Stokes equations through the finite element method, which has shown to be a good method for solving problems involving fiuids. Ve study methods of linearizing the convective term, and present three methods for time discretization. Through error analysis and convergence rates for problems with known exact solution, we compare different spatial and time discretization methods. By calculating the drag and lift coefficients around a cilinder we confirm the effectiveness of the Leray-deconvolution model in comparison to direct simulation (DNS) for solving problems with coarser meshes.

Neste trabalho, consideramos um problema de valor inicial e de fronteira, semelhante ao sistema de equações de Navier-Stokes, que descreve o movimento de um meio granular com densidade constante. Utilizando o método de Galerkin: provamos a existência de soluções fracas em espaços de Sobolev. / In this work, we consider an initial-boundary value problem similar to the Navier-Stokes system of equations describing the motion of a granulated medium with constant density. We prove, using Galerkin method, the existence of weak solutions in Sobolev spaces.

Consideramos o problema de Stokes em regiões com cilindros semi-infinitos conectados por um domínio limitado qualquer. Além das condições iniciais e de contorno, é imposto uma condição sobre o comportamento da pressão quando |x| → +∞. Apresentamos um problema proposto por D. Koch envolvendo tais situações e formulamos o problema em regiões mais gerais. Técnicas usadas na resolução do conhecido problema de Leray permitem a demonstração da existência de soluções para o problema variacional. / We consider the Stokes’ problem in regions with cylindrical outlets to infinity connected by an arbitrary bounded domain. We impose an additional condition about the pressure behavior as |x| → +∞, in addition to the usual initial and boundary conditions over the velocity field. We present a problem proposed by D. Koch concerning such regions and conditions, and we formulate it in terms of more general ones. The techniques used in the well-known Leray’s problem allow the demonstration of the existence of solutions to the variational problem.

Neste trabalho estuda-se analiticamente um modelo de turbulência com condições de fronteira 2¼-periódicas. Para isso, considera-se uma família de modelos de Simulação em Grandes Escalas (LES) que é baseada na deconvolução aproximada de Van Cittert, onde especifica-se o filtro diferencial e suas propriedades. Para conhecer melhor os modelos de fecho, especifica-se os requisitos para um modelo de fecho ser satisfatório. Define-se uma norma e mostra-se que esta é equivalente à norma L2, sendo usada no estudo da estabilidade (solução satisfazendo uma desigualdade de energia) e da existência de soluções fracas do modelo. Para mostrar a existência de soluções, além de usar a norma definida neste trabalho, usa-se o método de Faedo-Galerkin e a propriedade antissimétrica pertinente ao termo não linear do modelo. / In this work we study analytically a model of turbulence with 2¼- periodic boundary conditions. To that end, we consider a family of Large Eddy Simulation (LES) models based on the van Cittert approximate deconvolution procedure, and we also specify a differential filter and its properties. To learn more about the closure models, we specify the requirements of a satisfactory closure model. We define a norm which is shown to be equivalent to the L2-norm and is used to study stability (solutions satisfy an energy inequality) and existence of weak solutions of the model. To show the existence of solutions, we use the Faedo-Galerkin method and the model’s nonlinear term skew-symmetry property.

Consideramos o problema de Stokes em regiões com cilindros semi-infinitos conectados por um domínio limitado qualquer. Além das condições iniciais e de contorno, é imposto uma condição sobre o comportamento da pressão quando |x| → +∞. Apresentamos um problema proposto por D. Koch envolvendo tais situações e formulamos o problema em regiões mais gerais. Técnicas usadas na resolução do conhecido problema de Leray permitem a demonstração da existência de soluções para o problema variacional. / We consider the Stokes’ problem in regions with cylindrical outlets to infinity connected by an arbitrary bounded domain. We impose an additional condition about the pressure behavior as |x| → +∞, in addition to the usual initial and boundary conditions over the velocity field. We present a problem proposed by D. Koch concerning such regions and conditions, and we formulate it in terms of more general ones. The techniques used in the well-known Leray’s problem allow the demonstration of the existence of solutions to the variational problem.

Neste trabalho, discutimos o movimento de uma macromolécula carregada em um fluido ionizado. A interação do campo elétrico é descrita pela equação de Poisson-Boltzmann acoplada às equações governantes para a dinâmica do fluido e às equações dinâmicas da partícula. Uma formulação fraca é introduzida no caso em que o domínio ocupado pelo fluido é finito e um teorema de existência de soluções fracas, local em tempo, é estabelecido. Dois modelos são considerados: fluxos não-estacionários e estacionários. No primeiro caso, a hidrodinâmica do sistema é governada pelas equações de Navier-Stokes, considerando-se um termo forçante relacionado ao potencial elétrico; no segundo caso, uma velocidade de deslizamento, a qual depende não linearmente sobre os potenciais, é introduzida como uma condição de contorno para um problema estacionário de Stokes. O caso de um fluido ocupando uma região infinita é também discutido supondo-se uma hipótese de aproximação sobre o campo elétrico.