Wong Chak-fu. / "September 2004." / Thesis (Ph.D.)--Chinese University of Hong Kong, 2004. / Includes bibliographical references (p. 451-475). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Mode of access: World Wide Web. / Abstracts in English and Chinese.

Guo Zhenhua. / "June 2003." / Thesis (Ph.D.)--Chinese University of Hong Kong, 2003. / Includes bibliographical references (p. 79-84). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Mode of access: World Wide Web. / Abstracts in English and Chinese.

Orientador: Paulo Fernando de Arruda Mancera / Banca: Helenice de Oliveira Florentino Silva / Banca: Valdemir Garcia Ferreira / Resumo: Considera-se a construção de métodos compacto e não compacto de quarta ordem para resolver numericamente as equações de Navier-Stokes na formulação função corrente em uma malha uniforme. Aplica-se esses métodos de alta ordem em um canal-tipo estenose e o conjunto das equações não lineares resultantes da discretização é resolvido pelo método de Newton. Erros RMS e máximo, bem como linhas de corrente são apresentados / Abstract: This work considers the development of compact and wide fourth-order schemes for solving the Navier-Stokes equations in the streamfunction formulation on a uniform grid. These high order schemes are applied in a stenosis channel-type and the set of nonlinear equations resulting from the discretization is solved by Newton's method. The RMS and maximum errors, and also the streamlines are shown / Mestre

Neste trabalho desenvolvemos um algoritmo para a geração de malhas quadtree com o objetivo de utilizá-las na simulação de escoamento de fluidos, onde muitas vezes faz-se necessário o uso de malhas finas. A idéia central da geração das malhas quadtree está baseada na estrutura de árvore quaternária em que cada nodo possui quatro filhos. Assim uma estrutura de árvore está associada a uma malha que pode ter espaçamento uniforme ou refinamento em regiões específicas. Para evitar problemas de discretização, uma malha quadtree deve satisfazer um critério chamado de balanceamento e este é tratado de forma detalhada no desenvolvimento do trabalho. Podemos destacar também outro ponto importantíssimo na implementação de malhas quadtree, que é a busca de vizinhos dos nodos. Além disso apresentamos a discretização dos operadores em diferenças finitas, que é feita a partir do conhecimento dos vizinhos dos quadrantes da malha e de técnicas de interpolação. A ordem do método é verificada a partir de testes com a equação do calor, tanto para malhas uniformes quanto para malhas com níveis de refinamento diferenciados e concluímos, assim, que o método desenvolvido e apresentado é satisfatório. / In this work we developed an algorithm to generate meshes quadtree in order to use them to simulate uid ow, which often makes it necessary to use ne meshes. The central idea of the generation of quadtree meshes is based on the quaternary structure of the tree, where each node has four children, and thus a tree structure is associated with a mesh that can be evenly or locally re ned. To avoid problems of discretization, a quadtree mesh must satisfy a criterion called the balancing and this is addressed in detail in the development of this work. We also highlight another important point in the implementation of quadtree meshes, which is the search for neighboring nodes. Additionally, we present the nite di erences discretization of operators, which uses the knowledge of the mesh quadrant neighboors and interpolation techniques. The order of the method is checked by tests with the heat equation for both uniform meshes and for meshes with di erent levels of re nement and we conclude that method here presented is satisfactory.

Dans cette thèse, nous nous intéressons à deux approximations hyperboliques des équations de Navier-Stokes incompressibles en dimensions 2 et 3 d'espace. Dans un premier temps, on considère une perturbation hyperbolique de l'équation de la chaleur, introduite par Cattaneo en 1949, pour remédier au paradoxe de la propagation instantanée de cette équation. En 2004, Brenier, Natalini et Puel remarquent que la même perturbation, qui consiste à rajouter ε∂tt à l'équation, intervient en relaxant les équations d'Euler. En dimension 2, les auteurs montrent que, pour des sonnées régulières et sous certaines hypothèses de petitesse, la solution globale de la perturbation converge vers l'unique solution globale de (NS). En 2007, Paicu et Raugel améliorent les résultats de [BNP] en étendant la théorie à la dimension 3 et en prenant des données beaucoup moins régulières. Nous avons obtenu des résultats de convergence, avec données de régularité quasi-critique, qui complètent et prolongent ceux de [BNP] et [PR]. La seconde approximation que l'on considère est un nouveau modèle hyperbolique à vitesse de propagation finie. Ce modèle est obtenu en pénalisant la contrainte d'incompressibilité dans la perturbation de Cattaneo. Nous démontrons que les résultats d'existence globale et de convergence du précédent modèle sont encore vérifiés pour celui-ci. / In this work, we are interested in two hyperbolic approximations of the 2D and 3D Navier-Stokes equations. The first model we consider comes from Cattaneo's hyperbolic perturbation of the heat equation to obtain a finite speed of propagation equation. Brenier, Natalini and Puel studied the same perturbation as a relaxed version of the 2D Euler equations and proved that the solution to this relaxation converges towards the solution to (NS) with smooth data, provided some smallness assumptions. Later, Paicu and Raugel improved their results, extending the theory to the 3D setting and requiring significantly less regular data. Following [BNP] and [PR], we prove global existence and convergence results with quasi-critical regularity assumptions on the initial data. In the second part, we introduce a new hyperbolic model with finite speed of propagation, obtained by penalizing the incompressibility constraint in Cattaneo's perturbation. We prove that the same global existence and convergence results hold for this model as well as for the first one.

Tese de doutoramento. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2009

Dans cette thèse, nous étudions des modèles mathématiques concernant certains problèmes d'écoulement de fluide à densité variable. Le premier chapitre résume l'ensemble de la thèse et se concentre sur les résultats obtenus, la nouveauté et la comparaison avec la littérature existante. Dans le deuxième chapitre, nous étudions la stabilisation locale des équations non homogènes de Navier-Stokes dans un canal 2d autour du flot de Poiseuille. Nous concevons un contrôle feedback de la vitesse qui agit sur l'entrée du domaine de sorte que la vitesse et la densité du fluide soient stabilisées autour du flot de Poiseuille, à condition que la densité initiale soit donnée par une constante additionnée d'une perturbation dont le support se situe loin du bord latéral du canal. Dans le troisième chapitre, nous étudions un système couplant les équations de Navier-Stokes compressibles à une structure élastique située à la frontière du domaine fluide. Nous prouvons l'existence locale de solutions solides pour ce système couplé. Dans le quatrième chapitre, notre objectif est d'étudier la nulle- contrôlabilité d'un problemè d'interaction fluide-structure linéarisé dans un canal bi dimensional. L'écoulement du fluide est ici modélisé par les équations de Navier-Stokes compressibles. En ce qui concerne la structure, nous considérons une poutre de type Euler-Bernoulli amortie située sur une partie du bord. Dans ce chapitre, nous établissons une inégalité d'observabilité pour le problème considéré d'interaction fluid-structure linéarisé qui constitue le premier pas vers la preuve de la nulle contrôlabilité du système. / In this thesis we study mathematical models concerning some fluid flow problems with variable density. The first chapter is a summary of the entire thesis and focuses on the results obtained, novelty and comparison with the existing literature. In the second chapter we study the local stabilization of the non-homogeneous Navier-Stokes equations in a 2d channel around Poiseuille flow. We design a feedback control of the velocity which acts on the inflow boundary of the domain such that both the fluid velocity and density are stabilized around Poiseuille flow provided the initial density is given by a constant added with a perturbation, such that the perturbation is supported away from the lateral boundary of the channel. In the third chapter we prove the local in time existence of strong solutions for a system coupling the compressible Navier-Stokes equations with an elastic structure located at the boundary of the fluid domain. In the fourth chapter our objective is to study the null controllability of a linearized compressible fluid structure interaction problem in a 2d channel where the structure is elastic and located at the fluid boundary. In this chapter we establish an observability inequality for the linearized fluid structure interaction problem under consideration which is the first step towards the direction of proving the null controllability of the system.

Abstract not available

A parallel numerical method has been implemented for solving the Navier Stokes equations on Cartesian and non-orthogonal meshes. To ensure the accuracy of the code first, second and third order differencing schemes, with and without flux-limiters, have been implemented and tested. The most computationally expensive task in the code is the solution of linear equations, and a number of linear solvers have been tested to determine the most efficient. Krylov space, incomplete factorisation, and other iterative and direct solvers from the literature have been implemented, and have been compared with a novel black-box multigrid linear solver that has been developed both as a solver and as a preconditioner for the Krylov space methods. To further reduce execution time the code was parallelised, after a series of experiments comparing the suitability of different parallelisation techniques and computer architectures for the Navier Stokes solver. The code has been applied to the solution of two classes of problem. Two natural convection flows were studied, with an initial study of two dimensional Rayleigh Benard convection being followed by a study of a transient three dimensional flow, in both cases the results being compared with experiment. The second class of problems modelled were free surface flows. A two dimensional free surface driven cavity, and a two dimensional flume flow were modelled, the latter being compared with analytic theory. Finally a three dimensional ship flow was modelled, with the flow about a Wigley hull being simulated for a range of Reynolds and Froude numbers.

Cette thèse développe des méthodes d'ondelettes originales en vue de simuler des écoulements incompressibles.<br />Nous commencerons par présenter une certaine manière de concevoir le phénomène de la turbulence dans les fluides, puis nous ferons une introduction à la théorie des ondelettes.<br />Dans le but de construire des ondelettes 2D et 3D adaptées aux écoulements fluides, nous reprenons en les enrichissant les travaux de P-G Lemarié-Rieusset et K. Urban sur les ondelettes à divergence nulle. Nous mettons en évidence l'existence d'algorithmes rapides associés.<br />Par la suite, nous démontrons qu'il est possible d'utiliser ces ondelettes à divergence nulle pour définir la décomposition de Helmholtz d'un champ de vecteurs 2D ou 3D quelconque. Cette décomposition est définie par un algorithme itératif dont nous prouvons la convergence pour des ondelettes particulières. L'optimisation de la convergence fait ensuite l'objet d'une étude poussée.<br />Tous ces ingrédients permettent de définir une nouvelle méthode de résolution des équations de Navier-Stokes incompressible, dont nous prouvons la faisabilité sur un cas test.<br />On applique également la décomposition en ondelettes à divergence nulle à l'analyse de champs d'écoulements turbulents 2D et 3D, ainsi qu'à la compression dans une méthode d'Extraction de Structures Cohérentes.