Les gyroscopes laser à gaz constituent une solution technique de haute performances dans les problématiques de navigation inertielle. Néanmoins, pour de très faibles vitesses de rotation, les petites imperfections des miroirs de la cavité optique font que les deux faisceaux contra-propageant sont verrouillés en phase. En conséquence, les mesures en quadrature de leur différence de phase ne permettent plus de remonter directement aux vitesses de rotation à l'intérieur d'une zone autour de zéro, dite zone aveugle statique, ou, si l'on utilise une procédure d'activation mécanique, dite zone aveugle dynamique. Ce travail montre qu'il est néanmoins possible, en utilisant des méthodes issues du filtrage et de l'estimation, de remonter aux vitesses de rotation mêmes si ces dernières sont en zone aveugle. Pour cela, on part d'une modélisation physique de la dynamique que l'on simplifie par des techniques de perturbations singulières pour en déduire une généralisation des équations de Lamb. Il s'agit de quatre équations différentielles non-linéaires qui décrivent la dynamique des intensités et des phases des deux faisceaux contra-propageant. Une étude qualitative par perturbations régulières, stabilité exponentielle des points d'équilibre et applications de Poincaré permet de caractériser les zones aveugles statiques et dynamiques en fonction des imperfections dues aux miroirs. Il est alors possible d'estimer en ligne avec un observateur asymptotique fondé sur les moindre carrés récursifs ces imperfections en rajoutant aux deux mesures en quadrature celles des deux intensités. La connaissance précise de ces imperfections permet alors de les compenser dans la dynamique de la phase relative, et ainsi d'estimer les rotations en zone aveugle. Des simulations numériques détaillées illustrent l'intérêt de ces observateurs pour augmenter la précision des gyroscopes à gaz. / Gaz ring laser gyroscopes provide a high performance technical solution for inertial navigation. However, for very low rotational speeds, the mirrors imperfections of the optical cavity induce a locking phenomena between the phases of the two counter-propagating Laser beams. Hence, the measurements of the phase difference can no longer be used when the speed is within an area around zero, called lock-in zone, or,if a procedure of mechanical dithering is implemented, dithering lock-in zone. Nevertheless, this work shows that it is possible using filtering and estimation methods to measure the speed even within the lock-in zones. To achieve this result, we exploit a physical modeling of the dynamics that we simplify, using singular perturbation techniques, to obtain a generalization of Lamb's equations. There are four non-linear differential equations describing the dynamics of the intensities and phases of the two counter-propagating beams. A qualitative study by regular perturbation theory, exponential stability of the equilibrium points and Poincaré maps allows a characterisation of the lock-in zones according to the mirrors imperfections. It is then possible to estimate online, with an asymptotic observer based on recursive least squares, these imperfections by considering the additional measurements of the beam intensities. Accurate knowledge of these imperfections enables us to compensate them in the dynamic of the relative phase, and thus to estimate rotational speeds within the lock-in zones. Detailed numerical simulations illustrate the interest of those observers to increase the accuracy of gas ring laser gyroscopes.

Cette thèse traite du problème de la réduction de modèle pour les systèmes quantiquesouverts possédant différentes échelles de temps, également connu sous le nom d’éliminationadiabatique. L’objectif est d’obtenir une méthode générale d’élimination adiabatiqueassurant la structure quantique du modèle réduit.On considère un système quantique ouvert, décrit par une équation maîtresse deLindblad possédant deux échelles de temps, la dynamique rapide faisant converger lesystème vers un état d’équilibre. Les systèmes associés à un état d’équilibre unique ouune variété d’états d’équilibre ("decoherence-free space") sont considérés. La dynamiquelente est traitée comme une perturbation. En utilisant la séparation des échelles de temps,on développe une nouvelle technique d’élimination adiabatique pour obtenir, à n’importequel ordre, le modèle réduit décrivant les variables lentes. Cette méthode, basée sur undéveloppement asymptotique et la théorie géométrique des perturbations singulières, assureune bonne interprétation physique du modèle réduit au second ordre en exprimant ladynamique réduite sous une forme de Lindblad et la paramétrisation définissant la variétélente dans une forme de Kraus (préservant la trace et complètement positif). On obtientainsi des formules explicites, pour calculer le modèle réduit jusqu’au second ordre, dans lecas des systèmes composites faiblement couplés, de façon Hamiltonienne ou en cascade;des premiers résultats au troisième ordre sont présentés. Pour les systèmes possédant unevariété d’états d’équilibre, des formules explicites pour calculer le modèle réduit jusqu’ausecond ordre sont également obtenues. / This thesis addresses the model reduction problem for open quantum systems with differenttime-scales, also called adiabatic elimination. The objective is to derive a generic adiabaticelimination technique preserving the quantum structure for the reduced model.We consider an open quantum system, described by a Lindblad master equation withtwo time-scales, where the fast time-scale drives the system towards an equilibrium state.The cases of a unique steady state and a manifold of steady states (decoherence-free space)are considered. The slow dynamics is treated as a perturbation. Using the time-scaleseparation, we developed a new adiabatic elimination technique to derive at any orderthe reduced model describing the slow variables. The method, based on an asymptoticexpansion and geometric singular perturbation theory, ensures the physical interpretationof the reduced second-order model by giving the reduced dynamics in a Lindblad formand the mapping defining the slow manifold as a completely positive trace-preserving map(Kraus map) form. We give explicit second-order formulas, to compute the reduced model,for composite systems with weak - Hamiltonian or cascade - coupling between the twosubsystems and preliminary results on the third order. For systems with decoherence-freespace, explicit second order formulas are as well derived.

Les chocs thermiques provoquent, en général, l’endommagement et la fissuration des matériaux. Ces phénomènes sont observés, par exemple, dans le revêtement de barrière thermique pour les moteurs des turbines, le traitement des surfaces ou la soudure par laser etc. Plusieurs travaux de recherche ont été réalisés au cours des dernières décennies dans l’objectif d’améliorer les performances thermiques et/ou mécaniques des matériaux sous chargement thermique. L’étude des dommages et de la fissuration des matériaux provoqués par les chocs thermiques, tels que le décollement des interfaces et de décohésion de revêtements, a reçu également une attention considérable par les chercheurs. La majorité de ces travaux utilisent les théories classiques, tels que la loi de Fourier de conduction thermique et l'hypothèse de quasi-statique. Malheureusement ces théories ne sont pas adaptées dans le cas de charges extrêmes provoqués par le choc thermique et dans le cas des matériaux micro-fissurés. En conséquence, les théories conventionnelles doivent être enrichies.L'objectif de la thèse est de montrer le rôle crucial des termes non Fourier et les termes inertiels dans le cas de choc thermique sous conditions sévères et dans le cas où les fissures sont petites. Pour cela nous avons mené des études sur deux structures particulières soumises à des chocs thermiques. Chaque structure contient une fissure parallèle au bord libre de la structure située au voisinage de ce dernier. L’influence de la présence de fissure sur la conductivité thermique est prise en compte. Nous avons utilisé la théorie Hyperbolique de transfert de chaleur par conduction pour les champs thermique et mécanique à la place de la théorie traditionnelle classique de Fourier. Pour mener cette étude, nous avons utilisé les Transformées de Laplace et de Fourier aux équations de mouvement et à l’équation de transfert de chaleur. En s’intéressant en particulier aux champs de contrainte au voisinage de la pointe de fissure et aux facteurs d'intensité de contrainte dynamiques. Le problème se ramène à la résolution d’un système d'équations intégrales singulières dans l'espace de Laplace-Fourier. On utilise une méthode d'intégration numérique pour obtenir les différents champs. Nous résolvons ensuite un système d'équations algébriques linéaires. En effectuant des inversions numériques des transformées, nous obtenons les champs de contrainte de température et les facteurs d'intensité de contrainte dynamiques dans le domaine temporel.Les résultats numériques montrent que la conductivité thermique du milieu est affectée par l’ouverture de la fissure ce qui perturberait fortement le champ de température ainsi que l'amplitude des facteurs d'intensité de contrainte dynamiques. Les amplitudes sont supérieures à celles obtenues à partir de la théorie classique de Fourier ainsi que dans le cadre de l'hypothèse quasi-statique. On constate également qu’elles oscillent au cours du temps. La prise en compte simultanément de l’influence de la fissure sur la conductivité thermique, de l'effet non-Fourier ainsi que les effetsIVd'inertie induit un couplage entre les trois phénomènes qui rendrait le problème de choc thermique très complexe. L'effet de barrière thermique induit par la fissure affecte d’une manière significative les champs de température et des contraintes. Les effets d’inertie, et des termes non-Fourier joueraient également un rôle non négligeable lorsque la longueur de la fissure est petite. Comme dans de nombreux problèmes d'ingénierie, l'initiation et la propagation des micro-fissures sont des mécanismes dont il faut tenir compte dans les prévisions de la rupture des structures. Ces effets non conventionnels ne sont plus négligeables et doivent être inclus dans l'analyse de la fracture des structures soumises à des chocs thermiques. / Thermal shock problems occur in many engineering materials and elements, which are used in high temperature applications such as thermal barrier coatings (TBCs), solid propellant of rocket-engine, pulsed-laser processing of materials, and so on. The thermal shock resistance performances and the thermal shock damages of materials, especially the interface debonding and spallation of coatings, have received considerable attention in both analysis and design. Some conventional theories, such as the Fourier’s law of thermal conduction and the quasi-static assumption of the thermoelastic body, may no longer be appropriate because of the extreme loads provoked by the thermal shock. Therefore, these conventional theories need to be enriched or revised.The objective of this thesis is to develop the solutions of the transient temperature field and thermal stresses around a partially insulated crack in a thermoelastic strip under thermal shock loading. The crack lies parallel to the heated traction free surface. The thermal conductivity of the crack gap is taken into account. Hyperbolic heat conduction theory is used in solving the temperature field instead of the traditional Fourier thermal conduction theory. Equations of motion are applied to obtain the stress fields and the dynamic stress intensity factors of the crack. The Laplace and Fourier transforms are applied to solve the thermal-elastic governing equations such that the mixed boundary value problems are reduced to solving a singular integral equations system in Laplace-Fourier space. The numerical integration method is applied to get the temperature field and stress fields, respectively. The problems are then solved numerically by converting the singular integral equations to a linear algebraic equations system. Finally, numerical inversions of the Laplace transform are performed to obtain the temperature field and dynamic stress intensity factors in the time domain.Numerical results show that the thermal conductivity of the crack gap strongly affects the uniformity of the temperature field and consequently, the magnitude of the dynamic stress intensity factors of the crack. The stress intensity factors would have higher amplitude and oscillating feature comparing to those obtained under the conventional Fourier thermal conduction and quasi-static hypotheses. It is also observed that the interactions of the thermal conductivity of the crack gap, the non-Fourier effect and the inertia effects would make the dynamic thermal shock problem more complex. The magnitude of the thermal barrier, non-Fourier and inertia effects is estimated for some practical cases.

Le théorème de l'indice d'Atiyah et Singer, démontré en 1963, est un résultat qui a permis de relier des thématiques mathématiques variées, allant des équations aux dérivées partielles a la topologie et la géométrie différentielle. Plus précisément, il fait le lien entre la dimension de l'espace des solutions d'une équation aux dérivées partielles elliptique et des invariants topologiques du type (co)homologie, et a des applications importantes, regroupant plusieurs théorèmes majeurs venant de divers domaines (géométrie algébrique, topologie différentielle, analyse fonctionnelle). D'un autre cote, les fonctions zêta associées à des opérateurs pseudo différentiels sur une variété riemannienne close contiennent dans leurs propriétés analytiques des informations intéressantes. On peut par exemple retrouver dans les résidus le théorème de Weyl sur l asymptotique du nombre de valeurs propres d'un laplacien, et en particulier le volume de la variété. En se plaçant dans le cadre de la géométrie différentielle non commutative développée par Connes, on peut pousser cette idée plus loin. Plus précisément, on peut obtenir, en combinant des techniques de renormalisation zêta avec la propriété d'excision en cohomologie cyclique, des théorèmes d'indice dans l'esprit de celui d'Atiyah-Singer. L'intérêt de ce point de vue réside dans sa généralisation possible à des situations géométriques plus délicates. La présente thèse établit des résultats dans cette direction / The index theorem of Atiyah and Singer, discovered in 1963, is a striking result which relates many different fields in mathematics going from the analysis of partial differential equations to differential topology and geometry. To be more precise, this theorem relates the dimension of the space of some elliptic partial differential equations and topological invariants coming from (co)homology theories, and has important applications. Many major results from different fields (algebraic topology, differential topology, functional analysis) may be seen as corollaries of this result, or obtained from techniques developed in the framework of index theory. On another side, zeta functions associated to pseudodifferential operators on a closed Riemannian manifold contain in their analytic properties many interesting informations. For instance, the Weyl theorem on the asymptotic number of eigenvalues of a Laplacian may be recovered within the residues of the zeta function. This gives in particular the volume of the manifold, which is a geometric data. Using the framework of noncommutative geometry developed by Connes, this idea may be pushed further, yielding index theorems in the spirit of the one of Atiyah Singer. The interest in this viewpoint is to be suitable for more delicate geometrical situations. The present thesis establishes results in this direction

Nous avons développé un modèle de l'activité électrique cardiaque cellulaire dont la structure est moins complexe, sans pour autant affecter les caractéristiques essentielles (potentiel d'action, principaux courants ioniques, courbe de restitution). En outre, nous avons utilisé la même structure de modèle pour représenter l'activité électrique des divers types de cellules cardiaques. Cela permettra de déterminer des régions cardiaques de façon paramétrique et simplifiera l'identification des paramètres dans les modèles numériques de cœur. Par ailleurs, l'analyse de bifurcation nous a permis de retrouver l'origine du régime oscillatoire dans le cas pacemaker, et d'introduire un courant de fuite de calcium qui joue le rôle d'une entrée de commande pour le système nerveux autonome qui lui permet de modifier la fréquence cardiaque. D'autre part, il n'est plus possible de simplifier plus le modèle à l'aide de la méthode des perturbations singulières car ce n'est plus un système de Tikhonov. Le modèle permet une mise en œuvre en boucle fermée tenant compte du contrôle du système cardiovasculaire par l'arc baroréflexe et un couplage excitation-contraction tenant compte de l'effet de la fréquence sur la contractilité. <br />Après avoir démontré la non-existence de solutions périodiques dans le modèle réduit à deux courants ioniques de Mitchell-Schaeffer, nous avons introduit une variante de ce dernier et ainsi étendu ses propriétés d'excitabilité. Le régime oscillatoire est obtenu, soit à travers une bifurcation de Hopf sous ou super critique, soit à travers une bifurcation nœud-col sur cercle invariant. Ce modèle réduit est utilisable dans des applications de traitement du signal ECG.

Nous considérons des systèmes d'équations différentielles stochastiques faisant intervenir deux échelles de temps bien distinctes. Nous commençons par établir, dans un cadre général, des propriétés de concentration des trajectoires au voisinage des variétés lentes du système déterministe correspondant. Nous étudions ensuite la dynamique au voisinage de points de bifurcation de la variété lente, en particulier dans le cas d'une bifurcation noeud-col et d'une bifurcation fourche. Les phénomènes apparentées de la résonance stochastique et de l'hystérésis dynamique sont également étudiés en détail. Finalement, nous dérivons la loi des temps de passage à travers une orbite périodique instable, pour une famille d'équations qui ne sont pas limitées au cas d'échelles de temps distinctes.

On s'intéresse aux problèmes de régression, classification et à un problème inverse en finance. Nous abordons dans un premier temps le problème de régression en design aléatoire à valeurs dans un espace euclidien et dont la loi admet une densité inconnue. Nous montrons qu'il est possible d'élaborer une stratégie d'estimation optimale par projections localisées sur une analyse multi-résolution. Cette méthode originale offre un avantage calculatoire sur les méthodes d'estimation à noyau traditionnellement utilisées dans un tel contexte. On montre par la même occasion que le classifieur plug-in construit sur cette nouvelle procédure est optimal. De plus, il hérite des avantages calculatoires mentionnés plus haut, ce qui s'avère être un atout crucial dans de nombreuses applications. On se tourne ensuite vers le problème de régression en design aléatoire uniformément distribué sur l'hyper-sphère et on montre comment le tight frame de needlets permet de généraliser les méthodes traditionnelles de régression en ondelettes à ce nouveau contexte. On s'intéresse finalement au problème d'estimation de la densité risque-neutre à partir des prix d'options cotés sur les marchés. On exhibe une décomposition en valeurs singulières explicite d'opérateurs de prix restreints et on montre qu'elle permet d'élaborer une méthode d'estimation de la densité risque-neutre qui repose sur la résolution d'un simple programme quadratique.

Ce travail de thèse aborde un problème de la détection des fuites d'eau dans des digues en terre. L'écoulement préférentiel, un indicateur de destruction interne, résulte dans une anomalie thermique. Les capteurs DTS basés sur la fibre optique offrent une solution efficace pour les mesures spatio-temporelles de température. Les données thermométriques sont influencées par différents facteurs comme la réponse du sol, les variations saisonnières, l'environnement géomécanique, etc. Afin d'écarter des phénomènes comme les précipitations, nous proposons un critère basé sur le skewness et le kurtosis. La détection des fuites étant formulée comme un problème de séparation de sources, nous présentons un système basé sur la SVD et l'ICA pour séparer les informations utiles liées aux fuites des autres facteurs. Dans le cas où le nombre d'acquisitions en temps est limité, nous proposons un détecteur de singularités exploitant les dissimilarités entre les mesures journalières de température aux différentes distances.

Au cours de cette thèse nous nous sommes intéressé à un jeu minimax différentiel et multi-étages à horizon fini (échéance), motivé par un problème d'évaluation d'options européennes. Le jeu différentiel est en dimension 3 plus temps. Il comporte une commande à la fois continue et impulsionnelle et une commande bornée, ainsi qu'un coût terminal discontinu dans le cas d'une option "digitale" dont l'étude constitue le coeur de la thèse. Ce jeu résulte d'une approche par commande robuste sur l'ensemble des trajectoires de prix permises par l'hypothèse du modèle de marché à intervalles pour le cours de l'actif sur lequel est assise l'option. Du point de vue des techniques financières, notre but est de développer en parallèle une théorie d'évaluation d'options en temps continu et en temps discret, en présence de coûts de transaction et à modèle de marché invariant. Nous obtenons la prime et la stratégie de transaction conseillées au cours du jeu. Notre théorie se veut donc une théorie normative (d'aide à la décision). Pour chaque jeu différentiel, nous utilisons une analyse géométrique des trajectoires extrémales et singulières du jeu qualitatif impulsionnel à cible unique à l'échéance, avec des outils géométriques de la théorie d'Isaacs-Breakwell. Cette analyse nous permet de résoudre complètement le problème. La solution obtenue s'avère riche en variétés singulières de codimension 2, à savoir qu'elle exhibe une dispersion, des variétés équivoques et une variété focale. Cette étude géométrique aboutit à une formule de représentation de la fonction Valeur. faisant intervenir la solution d'un système de deux EDP linéaires couplées du premier ordre. Nous complétons cette étude par une vérification analytique, plus classique, qui consiste à montrer que la fonction construite par la formule de représentation est solution de viscosité de l'équation d'Isaacs associée à un jeu différentiel standard sans commande impulsionnelle ayant la même valeur que le jeu initial. Pour chaque jeu multi-étages, la résolution se fait par le biais d'un algorithme de programmation dynamique classique. Cet algorithme aboutit à une formule de représentation de la Valeur, dont la forme est assez similaire à celle de la solution du jeu différentiel. Il en découle un algorithme rapide applicable en pratique. Nous montrons également la convergence monotone décroissante de la solution du jeu multi-étages vers celle du jeu différentiel lorsque le pas de temps tend vers 0, aussi bien pour une option "vanille" que "digitale", sans changer de modèle d'actif au fur et à mesure que l'on réduit le pas de temps. En conséquent, l'algorithme rapide en temps discret fournit une bonne approximation de la solution (prime et stratégie) en temps continu. Nous terminons ce manuscrit par une analyse critique de la solution du point du vue financier avec en particulier une étude de la robustesse du modèle de marché et une comparaison avec la théorie de F.Black et M.Scholes. Nous insistons sur le fait qu'en aucun cas nous n'avons la prétention de proclamer une quelconque supériorité de notre théorie sur celle de F.Black et M.Scholes. Nous souhaitons seulement montrer qu'elle peut être une alternative en temps discret et/ou en présence de coûts de transaction significatifs, au détriment de la complétude du modèle de marché.

Cette thèse porte sur la modélisation, pour le contrôle, des profils de compositions dans les colonnes de distillation cryogénique. Nous obtenons un modèle non-linéaire de convection-diffusion par réduction d'un modèle d'équations-bilans singulièrement perturbé. Du point de vue de l'automatique, nous nous intéressons à la stabilité des profils de compositions résultants, ainsi qu'à leur observabilité. Du point de vue du procédé, la nouvauté de notre modèle réside dans la prise en compte d'une efficacité de garnissage dépendant des conditions d'opération de la colonne. Le modèle est validé par des comparaisons avec des données de fonctionnement dynamique issues d'une unité de séparation réelle, pour la séparation d'un mélange binaire. Sur le cas plus complexe d'une cascade de colonnes séparant un mélange ternaire, le modèle montre une grande sensibilité aux erreurs d'estimation des taux de reflux. Des résultats adaptés du champ de la chromatographie nous permettent de relier cette sensibilité à des erreurs d'estimation des vitesses d'ondes de compositions cohérentes. En parallèle, nous proposons et testons également un modèle de fonctions de transfert simple (fondé sur des gains statiques et des retards purs uniquement) pour les petites dynamiques de compositions, qui dépend explicitement de valeurs mesurables ou observables sur le procédé