Arnold a démontré l'existence de solutions quasipériodiques dans le problème planétaire à trois corps plan, sous réserve que la masse de deux des corps, les planètes, soit petite par rapport à celle du troisième, le Soleil. Cette condition de petitesse dépend de façon cachée de la largeur d'analyticité de l'hamiltonien du problème, dans des coordonnées transcendantes. Hénon ex- plicita un rapport de masses minimal nécessaire à l'application du théorème de Arnold. L'objectif de cette thèse sera de donner une condition suffisante sur les rapports de masses. Une première partie de mon travail consiste à estimer cette largeur d'analyticité, ce qui passe par l'étude précise de l'équation de Kepler dans le complexe, ainsi que celle des singularités complexes de la fonction perturbatrice. Une deuxième partie consiste à mettre l'hamiltonien sous forme normale, dans l'optique d'une application du théorème KAM (du nom de Kolmogorov-Arnold-Moser). Il est nécessaire d'étudier le hamiltonien séculaire pour le mettre sous une forme normale adéquate. On peut alors quantifier la non-dégénérescence de l'hamiltonien séculaire, ainsi qu'estimer la perturbation. Enfin, il faut démontrer une version quantitative fine du théorème KAM, inspirée de Pöschel, avec des constantes explicites. A l'issue de ce travail, il est montré que le théorème KAM peut être appliqué pour des rapports de masses entre planètes et étoile de l'ordre de 10^(-85). / Arnold showed the existence of quasi-periodic solutions in the plane planetary three-body prob- lem, provided that the mass of two of the bodies, the planets, is small compared to the mass of the third one, the Sun. This smallness condition depends in a sensitive way on the analyticity widths of the Hamiltonian of the three-body problem, expressed with the help of some tran- scendental coordinates. Hénon gave a minimal ratio of masses necessary to the application of Arnold’s theorem. The main objective of this thesis is to determine a sufficient condition on this ratio. A first part of this work consists in estimating these analyticity widths, which requires a precise study of the complex Kepler equation, as well as the complex singularities of the disturb- ing function. A second part consists in reworking the Hamiltonian to put it under normal form, in order to apply the KAM theorem (KAM standing for Kolmogorov-Arnold-Moser). In this aim, it is essential to work with the secular Hamiltonian to put it under a suitable normal form. We can then quantify the non-degeneracy of the secular Hamiltonian, as well as estimate the perturbation. Finally, it is necessary to derive a quantitative version of the KAM theorem, in order to identify the hypotheses necessary for its application to the plane three-body problem. After this work, it is shown that the KAM theorem can be applied for a ratio of masses that is close to 10^(−85) between the planets and the star.

Soit M une variété lisse fermée et considérons sont fibré cotangent T*M muni de la structure symplectique usuelle induite par la forme de Liouville. Une hypersurface S de T*M$ est dite étoilée fibre par fibre si pour tout point q de M, l'intersection Sq de S avec la fibre au dessus de q est le bord d'un domaine étoilé par rapport à l'origine 0q de la fibre T*qM. Un flot est naturellement associé à S, il s'agit de l'unique flot généré par le champ de Reeb le long de S, le flot de Reeb. <p><p>L'existence d'une orbite orbite fermée du flot de Reeb sur S fut annoncée par Weinstein dans sa conjecture en 1978. Indépendamment, Weinstein et Rabinowitz ont montré l'existence d'une orbite fermée sur les hypersurfaces de type étoilées dans l'espace réel de dimension 2n. Sous les hypothèses précédentes, l'existence d'une orbite fermée fut démontrée par Hofer et Viterbo. Dans le cas particulier du flot géodésique, l'existence de plusieurs orbites fermées fut notamment étudiée par Gromov, Paternain et Paternain-Petean. Dans cette thèse, ces résultats sont généralisés. <p><p>Les résultats principaux de cette thèse montrent que la structure topologique de la variété M implique, pour toute hypersurface étoilée fibre par fibre, l'existence de beaucoup d'orbites fermées du flot de Reeb. Plus précisément, une borne inférieure de la croissance du nombre d'orbites fermées du flot de Reeb en fonction de leur période est mise en évidence. /<p><p>Let M be a smooth closed manifold and denote by T*M the cotangent bundle over M endowed with its usual symplectic structure induced by the Liouville form. A hypersurface S of T*M is said to be fiberwise starshaped if for each point q in M the intersection Sq of S with the fiber at q bounds a domain starshaped with respect to the origin 0q in T*qM. There is a flow naturally associated to S, generated by the unique Reeb vector field R along S ,the Reeb flow. <p><p>The existence of one closed orbit was conjectured by Weinstein in 1978 in a more general setting. Independently, Weinstein and Rabinowitz established the existence of a closed orbit on star-like hypersurfaces in the 2n-dimensional real space. In our setting the Weinstein conjecture without the assumption was proved in 1988 by Hofer and Viterbo. The existence of many closed orbits has already been well studied in the special case of the geodesic flow, for example by Gromov, Paternain and Paternain-Petean. In this thesis we will generalize their results.<p><p>The main result of this thesis is to prove that the topological structure of $M$ forces, for all fiberwise starshaped hypersurfaces S, the existence of many closed orbits of the Reeb flow on S. More precisely, we shall give a lower bound of the growth rate of the number of closed Reeb-orbits in terms of their periods. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans cette thèse nous étudions des systèmes hamiltoniens de particules en interaction, où chaque particule est faiblement couplée avec son propre thermostat de type Langevin de température positive arbitraire. Les modèles peuvent être vu comme des cristaux plongés dans un milieu continue et interagissants faiblement avec ce dernier.Nous nous intéressons au transport d'énergie dans les systèmes quand les couplages des particules avec leurs thermostats tendent vers zéro simultanément avec les couplages entre eux.Nous examinons deux situations opposées, quand la mesure de Lebesgue des resonances du système de particules découplées est nulle et quand elle est pleine. Dans le premier cas, en utilisant la méthode de moyennisation stochastique, nous démontrons que dans la limite ci-dessus le comportement de l'énergie locale des particules sur des intervalles de temps longs, et dans le régime stationnaire est donné par une équation autonome stochastique, laquelle predit uniquement le transport d'énergie non hamiltonien.Dans le second cas, en utilisant la méthode de moyennisation resonante stochastique, nous prouvons que la dynamique limite de l'énergie locale est contrôlée par une équation efficace stochastique. La dernière prevoit le transport d'energie hamiltonien entre les particules. Cependant, elle n'est pas autonome pour l'énergie locale. En utilisant cette asymptotique, nous montrons que dans la limite ci-dessus le flux d'énergie hamiltonien du système satisfait des relations qui ressemblent à la loi de Fourier et à la formule de Green-Kubo (cependant, elles ne le sont pas).La plupart des résultats et convergences que nous obtenons dans la thèse sont uniformes par rapport au nombre de particules dans les systèmes, qui rend nos résultats pertinents du point de vue de la physique statistique. / In the present thesis we study Hamiltonian systems of particles with weak nearest-neighbour interaction, where each particle is weakly coupled with its own stochastic Langevin-type thermostat of arbitrary positive temperature.The models can be seen as crystals plugged in some medium and weakly interacting with it.We are interested in the energy transport through the systems when the couplings of the particles with the thermostats go to zero simultaneously with their couplings with each other.We investigate two opposite situations, when resonances of the system of uncoupled particles have Lebesgue measure zero and when they are of full Lebesgue measure.In the first case, using the method of stochastic averaging, we prove that under the limit above behaviour of the local energy of particles on long time intervals and in a stationary regime is given by an autonomous stochastic equation, which does not provide any Hamiltonian energy transport.For the second situation, using the method of resonant stochastic averaging, we show that the limiting dynamics of the local energy is governed by a stochastic effective equation. The latter provides Hamiltonian energy transport between the particles, however, is not an autonomous equation for the local energy. Using this asymptotics, we prove that under the limit above the Hamiltonian energy flow in the system satisfies some relations which resemble the Fourier law and the Green-Kubo formula (however, which are not).Most of results and convergences obtained in the thesis are uniform with respect to the number of particles in the systems, what makes our results relevant from the point of view of statistical physics.

Les systèmes audios incluent les instruments de musique traditionnels (percussions, cordes, vents, voix) et les systèmes électro-acoustiques (amplificateurs de guitares, pédales d’effets, synthétiseurs analogiques). Ces systèmes multi-physiques possèdent une propriété commune : hors des sources d’excitation (les générateurs), ils sont tous passifs. Nous présentons dans cette thèse un ensemble de méthodes automatiques dédiées à leur modélisation, leur simulation et leur contrôle, qui garantissent explicitement et exploitent la passivité du système original. Nous utilisons dans ce travail le formalisme des systèmes hamiltoniens à ports (SHP), introduits en automatique et théorie des systèmes au début des années 1990. Pour la modélisation, on exploite le fait que la connexion de systèmes décrits dans ce formalisme préserve explicitement la dynamique de la puissance dissipée de l'ensemble, pour développer une méthode automatique de modélisation d'instruments complets à partir de modèles élémentaires rassemblés dans un dictionnaire. Pour la simulation, une méthode numérique qui préserve la structure passive des SHP à temps discret a été développée, garantissant ainsi la stabilité des simulations (pour lesquelles le code C++ est généré automatiquement). Concernant le contrôle, on exploite la structure d'interconnexion afin de déterminer automatiquement une forme découplée (sous-systèmes hiérarchisés) pour une certaine classe de SHP. Les systèmes de cette classe sont dits systèmes hamiltonien à ports plats, au sens de la propriété de platitude différentielle, à partir de laquelle une loi de commande en boucle ouverte exacte sur le modèle est générée. / The class of audio systems includes traditional musical instruments (percussion, string, wind, brass, voice) and electro-acoustic systems (guitar amplifiers, analog audio processing, synthesizers). These multi-physical systems have a common property: out of excitation sources (generators), they are all passive. We present a set of automatic methods dedicated to their modeling, simulation and control, which explicitly guarantee and exploit the passivity of the original system. This class of systems is that of port-Hamiltonian systems (PHS), introduced in system theory in the early 1990s. Regarding the models, we exploit the fact that the interconnection of systems described in this formalism explicitly preserves the dynamics of total dissipated power. This enabled the development of an automated method that builds models of complete instruments based on a dictionary of elementary models. Regarding the simulations, we developed a numerical method that preserves the passive structure of PHS in discrete-time domain. This ensures the stability of simulations (for which the C++ code is automatically generated). Regarding the control, we exploit the interconnection structure to automatically build an input-to-output decoupled form for a class of PHS. Systems of this class are flat, within the meaning of the differential flatness approach. A formula that yields the (open loop) control law for these systems is provided.

Cette thèse porte sur l’étude des systèmes de lois de conservation couplés par une interface mobile. Un modèle dynamique d’un procédé d’extrusion obtenu à partir des bilans de masse, de taux d’humidité et d’énergie est proposé. Ce modèle exprime le transport de la matière et de la chaleur dans une extrudeuse par des systèmes d’équations hyperboliques définis sur deux domaines complémentaires variant dans le temps. L’évolution des domaines est dictée par une Equation aux Dérivées Ordinaires (EDO) issue du bilan de masse total dans une extrudeuse. Par le principe des applications contractantes l’existence et l’unicité de la solution pour cette classe de système sont prouvées. Le problème de stabilisation de l’interface mobile est aussi abordé en utilisation le formalisme des systèmes à retard. La méthode des caractéristiques permet de représenter le système composé des équations issues du bilan de masse par un système à retard sur l’entrée. Au moyen d’un contrôleur prédictif la position de l’interface est stabilisée autour d’un point équilibre. La dernière partie de ce travail est dédiée à l’étude des systèmes Hamiltoniens à ports frontière couplés par une interface mobile. Ces systèmes augmentés de variables couleur qui sont des fonctions caractéristiques du domaine peuvent s’exprimer comme des systèmes Hamiltoniens à ports frontière / This thesis is devoted to the analysis of Partial Differential Equations (PDEs) which are coupled through a moving interface. The motion of the interface obeys to an Ordinary Differential Equation (ODE) which arises from a conservation law. The first part of this thesis concerns the modelling of an extrusion process based on mass, moisture content and energy balances. These balances laws express heat and homogeneous material transport in an extruder by hyperbolic PDEs which are defined in complementary time-varying domains. The evolution of the coupled domains is given by an ODE which is derived from the conservation of mass in an extruder. In the second part of the manuscript, a mathematical analysis has been performed in order to prove the existence and the uniqueness of solution for such class of systems by mean of contraction mapping principle. The third part of the thesis concerns the transformation of an extrusion process mass balance equations into a particular input delay system framework using characteristics method. Then, the stabilization of the moving interface by a predictor-based controller has been proposed. Finally, an extension of the analysis of moving interface problems to a particular class of systems of conservations laws has been developed. Port-Hamiltonian formulation of systems of two conservation laws defined on two complementary time-varying intervals has been studied. It has been shown that the coupled system is a port-Hamiltonian system augmented with two variables being the characteristic functions of the two spatial domains

Cette thèse regroupe une série de travaux ayant tous trait à des systèmes hamiltoniens non linéaires spatialement étendus présentant une bifurcation nœud-col. Elle est constituée de deux parties. Nous étudions dans une première partie la transition à la dissipation de systèmes unidimensionnels soumis à un forçage local et régis par des équations de type sine-Gordon ou Schrödinger non linéaire (ESNL). Nous en calculons analytiquement les solutions stationnaires et caractérisons le comportement dynamique au voisinage de celles-ci près de la bifurcation. Lorsque la relation de dispersion des systèmes possède une fréquence de coupure, le comportement dynamique est caractéristique de systèmes hamiltoniens. A contrario, lorsque la relation de dispersion ne possède pas de fréquence de coupure, la dynamique du système se couple avec l'émission d'ondes sonores qui joue le rôle d'un amortissement effectif. Elle devient alors typique de systèmes dissipatifs. En outre, les modes propres temporels du système subissent une délocalisation spatiale. La seconde partie de la thèse concerne l'étude de deux types d'écoulements bidimensionnels de fluides parfaits barotropes autour d'un obstacle : un écoulement décrit par l'ESNL et un écoulement à surface libre dans l'approximation eau peu profonde, où sont pris en compte les effets dispersifs dus aux effets de tension de surface. Lorsque la longueur caractérisant la dispersion des ondes sonores tend vers zéro, ces deux écoulements se réduisent à l'écoulement autour d'un disque d'un fluide eulérien compressible, auquel se superpose une couche limite que nous calculons analytiquement. Par des méthodes de suivi de branches fondés sur des développements pseudo-spectraux, nous calculons le diagramme de bifurcation complet des deux écoulements. En étudiant la dynamique des deux systèmes au-delà de la bifurcation, nous mettons en évidence une émission d'excitations (dans le cas de l'ESNL) dont la nature dépend du rapport de la longueur de cohérence sur la taille de l'obstacle. Dans le cadre de l'écoulement en eau peu profonde, cette émission est remplacée par une singularité à temps fini de démouillage.

La gyrocinétique est un modèle clef pour la microturbulence en physique des plasmas, couramment utilisé pour les plasmas de fusion ou pour la turbulence plasma de petite échelle en astrophysique, par exemple. Ce modèle présente encore plusieurs difficultés, qui pourraient amener à reconsidérer ses équations. Le présent rapport de thèse clarifie trois d'entre elles. Tout d'abord, l'une de des coordonnées était source d'interrogations, tant d'un point de vue physique que d'un point de vue mathématique ; une coordonnée adéquate a été introduite, qui dissipe les difficultés et explique les structures intrinsèques sous-jacentes. Ensuite, le changement de coordonnées perturbatif de la gyrocinétique n'était implémenté qu'aux ordres les plus bas ; des relations de récurrence explicites ont été obtenues pour aller à tous les ordres dans le développement. Enfin, le couplage entre le plasma et le champ électromagnétique n'était pas introduit de manière complètement satisfaisante ; en utilisant la structure hamiltonienne de la dynamique, il a été implémenté d'un façon plus adaptée, avec d'importantes conséquences sur les équations gyrocinétiques, en particulier concernant leur structure hamiltonienne. Pour aborder ces trois principaux points, plusieurs autres résultats sont obtenus, par exemple 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 la densité de Vlasov contiennent à la fois la dynamique lente centre-guide et la dynamique rapide du gyro-angle. D'autre part, diverses méthodes de réduction sont utilisées, développées ou introduites, par exemple une transformée des équations du mouvement, une méthode de relèvement pour transférer les réductions de la dynamique des particules à la dynamique des champs correspondante, ou une méthode de 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 permet de clarifier d'autres réductions hamiltoniennes en physique des plasmas, par exemple pour une dynamique incompressible ou électrostatique, pour la magnétohydrodynamique, ou pour des fermetures fluides incluant des moments de la densité de Vlasov d'ordre deux.

Cette thèse répond à une problématique de commande frontière d’une conduite acoustique dont l’actionnement est assuré par un réseau d’actionneurs/capteurs co-localisés constituant une peau active. Pour faire face au caractère intrinsèquement multiphysique de ce problème vibro-acoustique, nous avons choisi dans cette thèse d’employer une approche hamiltonienne à ports, approche structurée basée sur la représentation des échanges entre différents domaines énergétiques au sein d’un système et entre différents systèmes. Nous avons proposé une modélisation hamiltonienne à ports de l’équation d’onde interconnectée à la frontière au système d’actionnement distribué, correspondant à une formulation 2D du problème physique. Nous avons développé une méthode de discrétisation spatiale basée sur l’utilisation de différences finies sur plusieurs grilles en quinconce qui préserve la structure hamiltonienne à ports de l’équation d’onde. Cette méthode permet en outre d’interconnecter facilement le système discrétisé avec d’autres sous-systèmes, dans le but de mettre en place un actionnement par exemple. Son principal avantage sur d’autres méthodes préservatives de structure réside dans sa simplicité de mise en œuvre qui découle de l’utilisation de différences finies. Concernant la commande du système vibro-acoustique, nous avons proposé une méthode de synthèse de loi de commande distribuée pour les systèmes régis par deux lois de conservation en 1D. L’originalité de cette méthode réside en le fait qu’elle repose sur le calcul d’invariants structuraux (fonctions de Casimir) exploités afin de modifier la structure du système en boucle fermée. Les conditions d’application sur un système 2D sont étudiées et des résultats numériques valident les lois de commande synthétisées. / This thesis deals with the boundary control of an acoustic by a network of co-localised sensors/actuators which constitutes a smart skin. In order to cope with this multiphysical problem, we chose to place our study in the framework of port-Hamiltonian systems, a structured approach based on the representation of energy exchanges between different energy domains between different systems of subsystems. We proposed a port-Hamiltonian model of the wave equation interconnected through its boundary to the distributed actuation system, which corresponds to a 2D formulation of the physical problem. We developed a spatial discretization method based on the use of finite differences on several staggered grids that preserve the port-Hamiltonian structure of the wave equation. This method also permits to easily interconnect the discretized system with other subsystems, which is convenient for instance for control purposes. Its main advantage over other structure preserving methods is its simplicity of implementation which stems from the use of finite differences. In order to control the vibro-acoustic system, we proposed a control law synthesis method for systems governed by two conservation laws in 1D. The originality of this method lies in the fact that it relies on the computation of structural invariants (Casimir functions) exploited in order to modify the structure of the system in closed loop. The conditions of application of these laws on a 2D system are studied and numerical results validate the synthesized control laws.

Le travail de cette thèse a été réalisé dans le cadre d'une collaboration entre EDF R&D et le LMA de Marseille (CNRS). Le but était de développer des outils théoriques et numériques pour le calcul de modes non-linéaires de structures industrielles possédant des non-linéarités localisées à jeu. La méthode de calcul utilisée est une combinaison de la méthode d'équilibrage harmonique (EH) et de la méthode asymptotique numérique (MAN), appelée EHMAN. Elle est réputée pour sa robustesse sur les problèmes réguliers. L'enjeu de ce travail de thèse est de l'appliquer sur des problèmes non-réguliers régularisés de type butée à jeu pour lequel un grand nombre d'harmonique est nécessaire. Des améliorations ont été apportées à la méthode de base pour rendre effectif le traitement de modèles à "grand" nombre de degrés de liberté (DDL). Les développements réalisés pendant la thèse ont été capitalisés par la création de nouveaux opérateurs dans Code_Aster.Une étude approfondie d'un système à 2 degrés de liberté a permis de faire émerger quelques caractéristiques des systèmes non-linéaires à jeu. Celles-ci ont servi entre autre à établir une méthodologie pour l'étude de systèmes à grand nombre de DDL. Pour finir, la potentialité des modes non-linéaires comme outil de diagnostic vibratoire est démontrée avec l'étude d'un tube cintré de générateur de vapeur. Le calcul des modes non-linéaires a monté l'existence d'une interaction entre un mode hors-plan (basse fréquence) et un mode plan (haute fréquence) expliquant des régimes vibratoires non-standards. Ce résultat, impossible à obtenir avec les outils de l'analyse modale linéaire, est confirmé expérimentalement. / This work is a collaboration between EDF R&D and the Laboratory of Mechanics and Acoustics. The objective is to develop theoretical and numerical tools to compute nonlinear normal modes (NNMs) of structures with localized nonlinearities.We use an approach combining the harmonic balance and the asymptotic numerical methods, known for its robustness principally for smooth systems. Regularization techniques are used to apply this approach for the study of nonsmooth problems. Moreover, several aspects of the method are improved to allow the computation of NNMs for systems with a high number of degrees of freedom (DOF). Finally, the method is implemented in Code_Aster, an open-source finite element solver developed by EDF R&D.The nonlinear normal modes of a two degrees-of-freedom system are studied and some original characteristics are observed. These observations are then used to develop a methodology for the study of systems with a high number of DOFs. The developed method is finally used to compute the NNMs for a model U-tube of a nuclear plant steam generator. The analysis of the NNMs reveals the presence of an interaction between an out-of-plane (low frequency) and an in-plane (high frequency) modes, a result also confirmed by the experiment. This modal interaction is not possible using linear modal analysis and confirms the interest of NNMs as a diagnostic tool in structural dynamics.

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.