This thesis is concerned with the further development and analysis of a class of Computational Fluid Dynamics (CFD) methods for the numerical simulation of compressible flows on unstructured grids, known as Residual Distribution (RD).<p>The RD method constitutes a class of discretization schemes for hyperbolic systems <p>of conservation laws, which forms an attractive alternative to the more classical Finite Volume methods, particularly since it allows better representation of the flow physics by genuinely multi-dimensional upwinding and offers second-order accuracy on a compact stencil.<p><p>Despite clear advantages of RD schemes, they also have some unexpected anomalies in common with Finite Volume methods and an attempt to resolve them is presented. The most notable anomaly is the violation of the entropy condition, which as a consequence allows unphysical expansion shocks to exist in the numerical solution. In the thesis the genuinely multi-dimensional character of this anomaly is analyzed and a multi-dimensional entropy fix is presented and shown to avoid expansion shocks. Another infamous anomaly is the carbuncle phenomenon, an instability observed in many numerical solutions with strong shocks, such as the bow shock on a blunt body in hypersonic flow. The occurence of the carbuncle phenomenon with RD methods is analyzed and a novel formulation for a shock fix, based on an anisotropic diffusion term added in the shock layer, is presented and shown to cure the anomaly in 2D and 3D hypersonic flow problems.<p><p>In the present work an effort has been made also to an objective and quantitative assessment of the merits of the RD method for typical aerodynamical engineering applications, such as the transonic flow over airfoils and wings.<p>Validation examples including inviscid, laminar as well as high Reynolds number turbulent flows <p>and comparisons against results from state-of-the-art Finite Volume methods are presented.<p>It is shown that the second-order multi-dimensional upwind RD schemes have an accuracy which is at least as good as second-order FV methods using dimension-by-dimension upwinding and that their main advantage lies in providing excellent monotone shock capturing. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

The topic of this thesis is the interaction between gas jet flow and a liquid film dragged by a solid substrate. This method, known as jet-wiping, is used in several industrial processes. Hot-dip galvanization of steel strips is an important application, where jet wiping is used to control the thickness of the liquid zinc that is applied on a continuous steel substrate. Unsteady phenomena in the process lead to the creation of waves on the liquid film, which is known as undulation. This unwanted phenomenon deteriorates the quality of the final product.<p>The aim of the current study is to identify the causes of the undulation and propose possible solutions to tackle the problem. This is achieved through studying the hydrodynamic interaction between the gas jet flow and the liquid film. Experiments on a laboratory test facility and numerical simulations with 3 different Computational Fluid Dynamics (CFD) codes are employed for that purpose. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

These thesis review some recent results on the construction of very high order multidimensional upwind schemes for the solution of steady and unsteady conservation laws on unstructured triangular grids.<p>We also consider the extension to the approximation of solutions to conservation laws containing second order dissipative terms. To build this high order schemes we use a subtriangulation of the triangular Pk elements where we apply the distribution used for a P1 element.<p>This manuscript is divided in two parts. The first part is dedicated to the design of the high order schemes for scalar equations and focus more on the theoretical design of the schemes. The second part deals with the extension to system of equations, in particular we will compare the performances of 2nd, 3rd and 4th order schemes.<p><p>The first part is subdivided in four chapters:<p>The aim of the second chapter is to present the multidimensional upwind residual distributive schemes and to explain what was the status of their development at the beginning of this work.<p>The third chapter is dedicated to the first contribution: the design of 3rd and 4th order quasi non-oscillatory schemes.<p>The fourth chapter is composed of two parts: we start by understanding the non-uniformity of the accuracy of the 2nd order schemes for advection-diffusion problem. To solve this issue we use a Finite Element hybridisation.<p>This deep study of the 2nd order scheme is used as a basis to design a 3rd order scheme for advection-diffusion.<p>Finally, in the fifth chapter we extend the high order quasi non-oscillatory schemes to unsteady problems.<p>In the second part, we extend the schemes of the first part to systems of equations as follows:<p>The sixth chapter deals with the extension to steady systems of hyperbolic equations. In particular, we discuss how to solve some issues such as boundary conditions and the discretisation of curved geometries.<p>Then, we look at the performance of 2nd and 3rd order schemes on viscous flow.<p>Finally, we test the space-time schemes on several test cases. In particular, we will test the monotonicity of the space-time non-oscillatory schemes and we apply residual distributive schemes to acoustic problems. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

In this doctoral work, we adress various problems arising when dealing with multi-physical simulations using a segregated (non-monolithic) approach. We concentrate on a few specific problems and focus on the solution of aeroelastic <p>flutter for linear elastic structures in compressible fl<p>ows, conjugate heat transfer for re-entry vehicles including thermo-chemical reactions and finally, industrial electro-chemical plating processes which often include<p>stiff source terms. These problems are often solved using specifically developed<p>solvers, but these cannot easily be reused for different purposes. We have therefore considered the development of a <p>flexible and reusable software platform for the simulation of multi-physics problems. We have based this<p>development on the COOLFluiD framework developed at the von Karman Institute in collaboration with a group of partner institutions.<p>For the solution of fl<p>uid fl<p>ow problems involving compressible <p>flows, we have used the Finite Volume method and we have focused on the application of the method to moving and deforming computational domains using the Arbitrary Lagrangian Eulerian formulation. Validation on a series of testcases (including turbulent flows) is shown. In parallel, novel time integration<p>methods have been derived from two popular time discretization methods.<p>They allow to reduce the computational effort needed for unsteady fl<p>ow computations.<p>Good numerical properties have been obtained for both methods.<p>For the computations on deforming domains, a series of mesh deformation techniques are described and compared. In particular, the effect of the stiffness definition is analyzed for the Solid material analogy technique. Using<p>the techniques developed, large movements can be obtained while preserving a good mesh quality. In order to account for very large movements for which mesh deformation techniques lead to badly behaved meshes, remeshing is also considered.<p>We also focus on the numerical discretization of a class of physical models that are often associated with <p>fluid fl<p>ows in coupled problems. For the elliptic problems considered here (elasticity, heat conduction and electrochemical<p>potential problems), the implementation of a Finite Element solver is presented. Standard techniques are described and applied for a variety of problems, both steady and unsteady.<p>Finally, we discuss the coupling of the <p>fluid flow solver with the finite element solver for a series of applications. We concentrate only on loosely and strongly coupled algorithms and the issues associated with their use and implementation. The treatment of non-conformal meshes at the interface between two coupled computational domains is discussed and the problem<p>of the conservation of global quantities is analyzed. The software development of a <p>flexible multi-physics framework is also detailed. Then, several coupling algorithms are described and assessed for testcases in aeroelasticity and conjugate heat transfer showing the integration of the <p>fluid and solid solvers within a multi-physics framework. A novel strongly coupled algorithm, based on a Jacobian-Free Newton-Krylov method is also presented and applied to stiff coupled electrochemical potential problems. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Au cours des dernières décennies, des progrès remarquables ont été réalisés au niveau de la simulation d’écoulements sanguins dans des modèles anatomiques réalistes construits à partir de données d'imagerie médicale 3D en vue de simulation hémodynamique et physiologique 3D à grande échelle. Alors que les modèles anatomiques précis sont d'une importance primordiale pour simuler le flux sanguin, des conditions aux limites réalistes sont également importantes surtout lorsqu’il s’agit de calculer des champs de vitesse et de pression. La première cible de cette thèse était d'étudier l'analyse de convergence des inconnus pour différents types de conditions aux limites permettant un cadre flexible par rapport au type de données d'entrée (vitesse, pression, débit, ...). Afin de faire face au grand coût informatique associé, nécessitant un calcul haute performance, nous nous sommes intéressés à comparer les performances de deux préconditionneurs par blocs; le preconditionneur LSC (Least-Squared Commutator et le preconditionneur PCD (Pressure Convection Diffusion). Dans le cadre de cette thèse, nous avons implémenté ce dernier dans la bibliothèque Feel++. Dans le but de traiter l'interaction fluide-structure, nous nous sommes focalisés sur l'approximation de la force exercée par le fluide sur la structure, un champ essentiel intervenant dans la condition de continuité pour assurer le couplage du modèle de fluide avec le modèle de structure. Enfin, afin de valider nos choix numériques, deux cas tests ont été réalisés et une comparaison avec les données expérimentales et numériques a été établie et validée (le benchmark FDA et le benchmark Phantom). / Towards a large scale 3D computational model of physiological hemodynamics, remarkable progress has been made in simulating blood flow in realistic anatomical models constructed from three-dimensional medical imaging data in the past few decades. When accurate anatomic models are of primary importance in simulating blood flow, realistic boundary conditions are equally important in computing velocity and pressure fields. Thus, the first target of this thesis was to investigate the convergence analysis of the unknown fields for various types of boundary conditions allowing for a flexible framework with respect to the type of input data (velocity, pressure, flow rate, ...). In order to deal with the associated large computational cost, requiring high performance computing, we were interested in comparing the performance of two block preconditioners; the least-squared commutator preconditioner and the pressure convection diffusion preconditioner. We implemented the latter, in the context of this thesis, in the Feel++ library. With the purpose of handling the fluid-structure interaction, we focused of the approximation of the force exerted by the fluid on the structure, a field that is essential while setting the continuity condition to ensure the coupling of the fluid model with the structure model. Finally, in order to assess our numerical choices, two benchmarks (the FDA benchmark and the Phantom benchmark) were carried out, and a comparison with respect to experimental and numerical data was established and validated.

La piscine fait partie des établissements publics les plus fréquentés dans notre société. En effet, il ne s’agit pas uniquement d’un lieu de pratique d'activités physiques, mais également un espace de détente, de jeu, d’éducation et de lien familial. Il est de toute évidence essentiel, de fournir un environnement intérieur confortable et sain pour ses occupants. Cependant, en raison de sa dimension, son besoin excessif en énergie et la complexité des phénomènes physiques évoluant à l’intérieur, il est difficile de parvenir à un équilibre optimum entre : qualité de l’air intérieur, confort thermique des occupants et efficacité énergique du bâtiment. Il faut pour cela, parvenir à une description des mécanismes qui façonnent la structure de l’écoulement de l’air par une analyse profonde de ces phénomènes qui sont à l'origine des transferts de chaleur et de masse mis en jeu à l’intérieur. Ainsi, l’objectif visé de cette thèse est de présenter une étude numérique thermo aéraulique, par CFD en régime stationnaire et transitoire, qui permet d’évaluer le comportement dynamique, thermique et thermodynamique des différents phénomènes physiques qui évoluent à l’intérieur de la piscine intérieure semi-olympique de l’université Bishop’s (Sherbrooke, Canada) afin d’améliorer la qualité de l’air intérieur et le confort thermique ainsi que son rendement énergétique. Les simulations sont réalisées avec le logiciel libre OpenFOAM en utilisant une approche RANS. Une étude thermo-aéraulique par CFD a d’abord été réalisée sur une cavité rectangulaire avec plancher chauffé, afin d’appréhender les simulations thermo aérauliques. Cela a abouti à la détermination de la meilleure configuration d’aération pour une qualité de l’air et un confort thermique optimum. Plusieurs simulations CFD du flux d'air tridimensionnel avec transfert de chaleur et de masse ont été aussi effectuées ultérieurement pour la piscine, afin d’évaluer les effets des conditions climatiques extérieures et ceux des nageurs sur l'atmosphère intérieure. En adoptant plusieurs modèles de turbulence de type RANS, la comparaison des résultats obtenus avec les données expérimentales de référence a permis de valider le code OpenFOAM. Les données expérimentales ont été recueillies au préalable au sein de la piscine de l’Université Bishop’s à l’aide d’un dispositif conçu et adapté aux conditions internes propre à la piscine et qui est équipé de plusieurs capteurs pour la mesure de : température, humidité relative et vitesse. Enfin, une étude thermo-aéraulique de la piscine en régime turbulent transitoire pour une durée de 24 heures pour les jours typiques d'été et d'hiver a été réalisée afin de prédire l’évolution de la distribution des paramètres tels que la vitesse, la température et l'humidité relative. Une analyse statistique a permis de montrer que les conditions climatiques extérieures n'ont pas d'effet sur l'environnement interne de celle-ci. D’ailleurs, sa très bonne isolation thermique démontrée par un calcul détaillé des pertes thermiques à travers son enveloppe confirme ce constat. D’autre part, l’évaluation de la qualité de l'air intérieur et le confort thermique des occupants a révélé que ces derniers sont inacceptables. Suite auxquels, un ajustement des paramètres de conditionnement de l’air a été apporté pour fin d’amélioration. / Abstract : The swimming pool is one of the most popular public establishments in our society and is not just a place for physical activities but also a space for relaxation, play, education and family ties. It is therefore important to ensure a healthy and comfortable indoor environment for the occupants. However, given the size, energy requirement and complexity of the physical phenomena that take place within such space, it is difficult to achieve an optimum balance between interior air quality, thermal comfort of occupants and energy efficiency of the building. This requires a description of the mechanisms, which determine the structure of the airflow by a profound analysis of these phenomena, which are the origin of the heat and mass transfers involved inside such spaces. The objective of this thesis is to present a numerical thermo-ventilation study using CFD (computational fluid dynamic) in stationary and transient regime that allows to evaluate the dynamic, thermal and thermodynamic behaviors of the various phenomena that take place inside the semi-Olympic closed swimming pool at Bishop's University (Sherbrooke, Qc, Canada). The aim is to improve the indoor air quality and thermal comfort of occupants as well as its energy efficiency. The simulations are carried out using OpenFOAM (Open Field Operation and Manipulation) using a Reynolds-Averaged Navier-Stokes (RANS) approach. To do this, a CFD thermo-ventilation study was first carried out on a rectangular cavity with heated floor in order to understand the thermo-ventilation simulations. This has led to the determination of the best ventilation configuration for optimum air quality and thermal comfort. Several CFD simulations of the three-dimensional airflow with heat and mass transfer were also carried out later for the indoor swimming pool to evaluate the effects of outdoor climatic conditions and swimmers on the indoor atmosphere of the pool. By adopting several RANS turbulence models, the comparison of the results obtained with the experimental data allowed to validate the OpenFOAM code. The experimental data were collected in the pool at Bishop's University using a device designed and adapted to the pool’s internal conditions. The devise is equipped with several sensors to measure temperature, relative humidity and velocity. Finally, a thermo-ventilation study of the swimming pool in transient turbulent regime for a duration of 24 hours for typical days of summer and winter was conducted in order to predict the distribution of the various parameters such as velocity, temperature and relative humidity. A statistical analysis showed that the external climatic conditions have no effect on the internal environment of the swimming pool. Moreover, its good thermal insulation demonstrated by a detailed calculation of the thermal losses through building envelope confirms this observation. On the other hand, the evaluation of the indoor air quality and the thermal comfort of occupants revealed that the conditions inside the pool are unacceptable. After which, an adjustment of the air conditioning parameters was made for improvements.

Cette thèse est consacrée à l'étude théorique de quelques modèles d'évolution non-linéaires issus de la mécanique des fluides. Nous distinguons trois parties indépendantes. La première partie de la thèse traite essentiellement de l'existence des poches de tourbillon en rotation uniforme (appelées aussi V-states) pour un modèle quasi-géostrophique non visqueux. Notre étude est répartie sur deux chapitres où les poches présentent des structures topologiques différentes. Dans le premier chapitre nous étudions le cas simplement connexe et nous validons l'existence de ces structures dans un voisinage du tourbillon de Rankine en utilisant des techniques de bifurcation. Dans le deuxième chapitre nous abordons le cas doublement connexe où la poche admet un seul trou. Plus précisément, proche d'un anneau donné, nous décrivons cette famille par des branches dénombrables bifurquant de cet anneau à certaines valeurs explicites des vitesses angulaires liées aux fonctions de Bessel. Notre étude théorique a été complétée par des simulations numériques portant sur les V-states limites et un bon nombre de constatations ont été formulées ouvrant la porte à de nouvelles perspectives de recherche. La seconde partie concerne l'étude du problème de Cauchy pour le système de Boussinesq non visqueux 2D avec des données initiales de type Yudovich. Le problème est dans un certain sens critique à cause de quelques termes comportant la transformée de Riesz dans la formulation tourbillon-densité. Nous donnons une réponse positive pour une sous-classe comprenant les poches de tourbillon régulières et singulières. Dans la dernière partie nous analysons le problème de la limite incompressible pour les équations d'Euler isentropiques 2D associées à des données initiales très mal préparées et pour lesquelles les tourbillons ne sont pas forcément bornés mais appartiennent plutôt à des espaces de type ''BMO'' à poids. On utilise principalement deux ingrédients: d'un côté les estimations de Strichartz pour contrôler la partie acoustique. D'un autre côté, on se sert de la structure de transport compressible du tourbillon et on démontre une estimation de propagation linéaire dans l'esprit d'un travail récent de Bernicot et Keraani mené dans le cas incompressible. / In this dissertation, we are concerned with the study of some non-linear evolution models arising in fluid mechanics. We distinguish three independent parts. The first part of the thesis deals with the existence of the rotating vortex patches (called also V-states) for an inviscid quasi-geostrophic model. Our study is divided into two chapters dealing with different topological structures of the V-states. In the first chapter we study the simply connected case and we prove the existence of such structures in a neighborhood of the Rankine vortices by using the bifurcation theory. In the second chapter we discuss the doubly connected case where the patches admit only one hole. More precisely, close to a given annulus we describe this family by countable branches bifurcating from this annulus at some explicit angular velocities related to Bessel functions of the first kind. Our theoretical study was completed by numerical simulations on the limiting V-states and a number of interesting numerical observation were formulated opening new research perspectives. The second part of the thesis concerns the local well-posedness theory for the inviscid Boussinesq system with rough initial data. The problem is in some sense critical due to some terms involving Riesz transforms in the vorticity-density formulation. We give a positive answer for a special sub-class of Yudovich data including smooth and singular vortex patches. In the last part we address the problem of the incompressible limit for the 2D isentropic fluids associated to ill-prepared initial data and for which the vortices are not necessarily bounded and belong to some weighted BMO spaces. We mainly use two ingredients: On one hand, the Strichartz estimates to control the acoustic part and prove that it does not contribute for low Mach number. On the other hand, we use the transport compressible structure of the vorticity and we establish a linear propagation estimate in the spirit of a recent work of Bernicot and Keraani conducted in the incompressible case. The first part of the thesis deals with the existence of the rotating vortex patches (called also V-states) for an inviscid quasi-geostrophic model. Our study is divided into two chapters dealing with different topological structures of the V-states. In the first chapter we study the simply connected case and we prove the existence of such structures in a neighborhood of the Rankine vortices by using the bifurcation theory. In the second chapter we discuss the doubly connected case where the patches admit only one hole. More precisely, close to a given annulus we describe this family by countable branches bifurcating from this annulus at some explicit angular velocities related to Bessel functions of the first kind. Our theoretical study was completed by numerical simulations on the limiting V-states and a number of interesting numerical observation were formulated opening new research perspectives. The second part of the thesis concerns the local well-posedness theory for the inviscid Boussinesq system with rough initial data. The problem is in some sense critical due to some terms involving Riesz transforms in the vorticity-density formulation. We give a positive answer for a special sub-class of Yudovich data including smooth and singular vortex patches. In the last part we address the problem of the incompressible limit for the 2D isentropic fluids associated to ill-prepared initial data and for which the vortices are not necessarily bounded and belong to some weighted BMO spaces. We mainly use two ingredients: On one hand, the Strichartz estimates to control the acoustic part and prove that it does not contribute for low Mach number. On the other hand, we use the transport compressible structure of the vorticity and we establish a linear propagation estimate in the spirit of a recent work of Bernicot and Keraani conducted in the incompressible case.

L'objectif du présent mémoire est de clarifier l'influence qu'ont sur la solution divers paramètres de calcul couramment utilisés en mécanique des fluides numérique, dans le but d'améliorer la prédiction de l'écoulement dans les aspirateurs de turbines hydrauliques. Pour y arriver, la résolution eulérienne des équations de Navier-Stokes est faite par une approche RAXS à l'aide du logiciel commercial ANSYS CFX. Pour les trois cas tests sélectionnés, la turbulence est modélisée à l'aide des modèles à deux équations k ? e ou SST. Les résultats principaux font ressortir très clairement l'impact de la composante radiale de la vitesse ainsi que des quantités turbulentes imposées sur la frontière amont du domaine de calcul. On remarque aussi que l'extension ajoutée en aval du domaine d'intérêt peut quant à elle faire varier de façon significative la pression statique dans la dernière portion de la géométrie et ainsi influencer le coefficient de récupération mesuré. Finalement les deux modèles de turbulence utilisés sont eux aussi susceptibles d'influencer le développement de l'écoulement.

Ce mémoire présente le développement d'un modèle de couplage aéroélastique pour un petit véhicule de lancement spatial et ses résultats. Le mémoire est divisé en trois parties. La première présente d'abord les outils théoriques et numériques nécessaires pour développer un code d'interactions fluide-solide. Ces outils sont l'analyse modale, la mécanique des fluides numérique ainsi qu'un code de déformations imposées utilisant le langage UDF d'ANSYS Fluent qui est utilisé pour effectuer les analyses aéroélastiques. La seconde partie traite de l'analyse aéroélastique statique. La méthode est comparée avec d'autres méthodes de la littérature pour un cas de validation sur plaque plane flexible puis appliquée sur le lanceur. Il est montré que les déformations causées par la pression du fluide sur le solide sont petites pour le cas statique et ne posent donc pas de problème. La troisième partie concerne l'analyse aéroélastique dynamique. La méthodologie est présentée avec la théorie associée, puis explicitée pour faire ressortir les subtilités du calcul numérique parallèle. Le solide est traité avec une méthode de sommation modale qui diminue les coûts de calcul en admettant de petites déformations. Le solide est résolu dans le temps avec une méthode de différences centrées au deuxième ordre de manière explicite. Le couplage est assuré par une méthode d'interpolation entre les maillages fluide et solide à l'aide de fonctions de bases radiales. Un cas test de validation avec plaque plane flexible est ensuite détaillé puis comparé à la théorie ainsi qu'à d'autres solveurs d'interactions fluide-solide commerciaux. Les résultats confirment que les déformations du lanceur restent petites pour des perturbations de type rafales de vent. Les coefficients aérodynamiques sont peu affectés. L'amortissement fourni par l'air (aérodynamique) est faible, ce qui fait que les fréquences d'oscillation observées sont similaires aux fréquences naturelles prédites.

La gyrocinétique est un modèle clef pour la microturbulence en physique des plasmas. Elle présente encore plusieurs difficultés, qui pourraient invalider ses équations. Ce rapport de thèse clarifie trois d'entre elles. Tout d'abord, une de des coordonnées causait des soucis, d'un point de vue tant physique que mathématique ; une coordonnée adéquate est introduite, qui dissipe les difficultés et explique les structures intrinsèques sous-jacentes. Ensuite, des relations de récurrence explicites sont obtenues pour tous les ordres du développement perturbatif. Enfin, en utilisant la structure hamiltonienne de la dynamique, le couplage plasma-champ électromagnétique est implémenté d'un façon plus adaptée, avec d'importantes conséquences sur les équations gyrocinétiques.Plusieurs autres résultats sont obtenus, e.g. sur l'origine de l'invariant adiabatique centre-guide, sur une transformation centre-guide minimale très efficace, ou sur un modèle hamiltonien intermédiaire entre Vlasov-Maxwell et la gyrocinétique, dont les caractéristiques de Vlasov contiennent à la fois la dynamique lente centre-guide et la dynamique rapide du gyro-angle. Diverses méthodes de réduction sont utilisées, développées ou introduites, e.g. une transformée de Lie du mouvement, un relèvement transférant les réductions de la dynamique des particules à la dynamique des champs, ou une troncature reliée à la fois à la théorie des contraintes de Dirac et à une projection sur une sous-algèbre. Outre la gyrocinétique, cela clarifie d'autres réductions hamiltoniennes en plasmas, e.g. pour une dynamique incompressible ou électrostatique, pour la MHD, ou pour des fermetures fluides avec tenseur de pression. / Gyrokinetics is a key model for plasma micro-turbulence. It still suffers from several issues, which could imply to reconsider the equations. This thesis dissertation clarifies three of them. First, one of the coordinates caused questions, both from a physical and from a mathematical point of view; a suitable constrained coordinate is introduced, which removes the issues from the theory and explains the intrinsic structures underlying the questions. Second, explicit induction relations are obtained to go arbitrary order in the perturbative expansion. Third, using the Hamiltonian structure of the dynamics, the coupling between the plasma and the electromagnetic field is implemented in a more appropriate way, with strong consequences on the gyrokinetic equations. Several other results are obtained, for instance about the origin of the guiding-center adiabatic invariant, about a very efficient minimal guiding-center transformation, or about an intermediate Hamiltonian model between Vlasov-Maxwell and gyrokinetics, where the characteristics include both the slow guiding-center dynamics and the fast gyro-angle dynamics. In addition, various reduction methods are used, introduced or developed, e.g. a Lie-transform of the equations of motion, a litfing method to transfer particle reductions to the corresponding Hamiltonian field dynamics, or a truncation method related both to Dirac's theory of constraints and to projections onto Lie-subalgebras. Besides gyrokinetics, this is useful to clarify other Hamiltonian reductions in plasma physics, e.g. for incompressible or electrostatic dynamics, for magnetohydrodynamics, or for fluid closures including moments of order two.