Dans cette thèse, nous souhaitons décrire la dynamique du front d'avancement d'un film mince s'écoulant sur un plan incliné non rugueux. Nous nous intéressons surtout au problème de point triple situé à l'interface entre la paroi solide, le fluide en mouvement et l'air, par exemple lors de l'écoulement d'une goutte sur une surface inclinée. Dans une première partie, nous expliquons pourquoi on peut se ramener aux équations de Stokes et pourquoi le problème résultant est mal posé. Pour y remédier, la condition de non-glissement à la paroi est remplacée par une condition de glissement lorsqu'on est proche du front. Ainsi on réussit à trouver une solution dans H1. Puis nous développons la dynamique de l'écoulement à l'amont du front : un film mince. Cet écoulement peut se modéliser sous la forme d'équations de type Saint-Venant sur la hauteur et le débit. Nous justifions cette construction à partir des équations de Navier-Stokes en utilisant un développement asymptotique en fonction du paramètre onde longue. Dans la zone du front nous résolvons le système de Stokes stationnaire avec glissement au fond par un développement asymptotique en fonction du nombre capillaire. Le front est divisé en une zone interne près du front et une zone externe loin du front, puis les solutions de chaque zone sont soit raccordées directement (angles dynamique et statique égaux), soit raccordées au moyen d'une zone intermédiaire (angles dynamique et statique différents). Cela nous conduit à deux familles de modèles. En réunissant les modèles type Saint-Venant et les différents modèles de front, nous obtenons un modèle de Saint-Venant tenant compte de la dynamique du front. À partir de ce modèle à deux équations nous pouvons écrire un modèle plus simple à une équation sur la hauteur. Ce modèle permet d'étendre les modèles existants avec adhérence à des modèles avec glissement. On peut alors réaliser des simulations numériques combinant un front d'avancement et un film mince / In the present work, we describe the dynamics of a moving contact line for thin films flowing down an inclined plane. Our focus is the problem of triple point located at the interface between the solid wall, the moving fluid and air, for example the spreading of a drop on a plane dry wall (horizontal or inclined) due to gravity and capillarity. In the first part, we explain how we can reduce to the Stokes equations and why the resulting problem is ill-posed. This singularity is removed by permitting the fluid to slip along the wall close to the contact line. Thus we manage to find a solution in H1 constructed by asymptotic expansions. Then we focus on the upstream dynamic of the flow, which is set to a thin film flow. We develop the classical system of Shallow-water equations (Saint-Venant equations) from the full Navier-Stokes system using the classical long-wavelength expansion. We obtain a set coupled equations for the flow depth and the flow-rate. In the neightboorhood of the contact line, we develop an asymptotic expansion of the steady Stokes system with slip at bottom in function of the capillary number. The solution in the vicinity of the contact line is developped in the inner region and the outer region. Then, a direct matching can be done (assuming dynamic and static angles are equals) or using an intermediate region (with different angles). This leads to two different families of models. Bringing together the upstream Shallow-water equations and the contact line models, we write a new Shallow-water model taking into account the dynamic of the moving contact line. Then, we deduce a simplier one-equation model for the film thickness. This model extends existing models with no slip at bottom to models with slip. Direct numerical simulations of the last models are performed, combining a moving contact line and a thin liquid film

Nous considérons un système mécanique en vibration non linéaire, pour lequel nous fournissons une solution approchée par l'utilisation des développements multiples échelles; nous proposons d'abord une étude avec double échelles puis avec triple échelles où nous comparons les deux approches. Une preuve rigoureuse de ces développements a été faite. L'étude de la stabilité de la solution est nécessaire pour montrer la convergence au voisinage de la résonance. Un lien entre l'amplitude de la réponse vibratoire et la fréquence du système en vibration libre a été mis en évidence.

La thèse porte sur l'apport de la méthode de Laplace pour l'approximation du filtre bayésien dans des modèles de Markov cachés généraux, c'est-à-dire dans un cadre séquentiel, avec comme domaine d'application privilégié la poursuite de cibles mobiles. A la base, la méthode de Laplace est une méthode asymptotique pour le calcul d'intégrales, c'est-à-dire dans un cadre statique, valide en théorie dès que la fonction à intégrer présente un maximum de plus en plus significatif, lequel apporte la contribution essentielle au résultat. En pratique, cette méthode donne des résultats souvent très précis même en dehors de ce cadre de validité théorique. Les deux contributions principales de la thèse sont les suivantes. Premièrement, nous avons utilisé la méthode de Laplace en complément du filtrage particulaire : on sait en effet que les méthodes de Monte Carlo séquentielles basées sur l'échantillonnage pondéré sont mises en difficulté quand la fonction de pondération (ici la fonction de vraisemblance) est trop localisée, par exemple quand la variance du bruit d'observation est trop faible, or c'est précisément là le domaine où la méthode de Laplace est efficace et justifiée théoriquement, d'où l'idée naturelle de combiner les deux points de vue. Nous proposons ainsi un algorithme associant la méthode de Laplace et le filtrage particulaire, appelé le Laplace particle filter. Deuxièmement, nous avons analysé l'approximation du filtre bayésien grâce à la méthode de Laplace seulement (c'est-à-dire sans génération d'échantillons aléatoires) : il s'agit ici de contrôler la propagation de l'erreur d'approximation d'un pas de temps au pas de temps suivant, dans un cadre asymptotique approprié, par exemple quand le bruit d'observation tend vers zéro, ou quand le bruit d'état et le bruit d'observation tendent conjointement (et à la même vitesse) vers zéro, ou plus généralement quand l'information contenue dans le système tend vers l'infini, avec une interprétation en terme d'identifiabilité. / The thesis deals with the contribution of the Laplace method to the approximation of the Bayesian filter in hidden Markov models with continuous state--space, i.e. in a sequential framework, with target tracking as the main application domain. Originally, the Laplace method is an asymptotic method used to compute integrals, i.e. in a static framework, valid in theory as soon as the function to be integrated exhibits an increasingly dominating maximum point, which brings the essential contribution to the integral. The two main contributions of the thesis are the following. Firstly, we have combined the Laplace method and particle filters: indeed, it is well-known that sequential Monte Carlo methods based on importance sampling are inefficient when the weighting function (here, the likelihood function) is too much spatially localized, e.g. when the variance of the observation noise is too small, whereas this is precisely the situation where the Laplace method is efficient and theoretically justified, hence the natural idea of combining the two approaches. We thus propose an algorithm associating the Laplace method and particle filtering, called the Laplace particle filter. Secondly, we have analyzed the approximation of the Bayesian filter based on the Laplace method only (i.e. without any generation of random samples): the objective has been to control the propagation of the approximation error from one time step to the next time step, in an appropriate asymptotic framework, e.g. when the variance of the observation noise goes to zero, or when the variances of the model noise and of the observation noise jointly go (with the same rate) to zero, or more generally when the information contained in the system goes to infinity, with an interpretation in terms of identifiability.

Dans notre société, la lombalgie est une pathologie fréquente représentant un vrai problème de santé publique au coût important et en constante augmentation.<br />Il est maintenant largement admis que la dégénérescence du disque intervertébral (DIV) est la principale cause de lombalgie. Cette dégénérescence est un processus complexe caractérisé par des changements biochimiques et structuraux intervenant dans les différents tissus du DIV. Aujourd'hui, seuls des traitements médicaux symptomatiques de la lombalgie sont disponibles et il n'existe pas de traitement spécifique de la dégénérescence discale.<br />L'imagerie par résonance magnétique (IRM) est une technique reconnue comme un outil non invasif et totalement atraumatique de diagnostic chez l'homme. L'IRM permet de caractériser la morphologie et la physiologie d'un être vivant à partir des modifications de l'état de l'eau dans ses tissus. De part la composition du DIV (principalement de l'eau) l'IRM s'avère être particulièrement adaptée à l'étude du DIV sain ou dégénératif, ainsi qu'à sa régénération dans le cadre de l'évaluation de l'efficacité d'un traitement. <br />Les objectifs de ce projet ont d'abord été de développer un protocole d'IRM in vivo du DIV chez le lapin, capable de différencier des DIV sains et pathologiques et de mettre en évidence différents stades de dégénérescence discale. Ce protocole a ensuite permis d'évaluer l'efficacité de nouvelles techniques de réparation discale développées par la société Abbott Spine SA.<br />En parallèle de ce travail chez le lapin, l'IRM in vivo du DIV de souris a été développée, dans le but d'utiliser des modèles transgéniques de pathologies articulaires et d'étudier leur impact sur le DIV.

Cette thèse est consacrée à la modélisation, à l'analyse mathématique et à la simulation numérique d'écoulements de divers fluides complexes dans des domaines de faible épaisseur. En effet, les modèles de fluides newtoniens ne sont pas toujours suffisants pour décrire de manière réaliste les écoulements considérés. Plusieurs phénomènes peuvent être pris en compte :<br /> * le caractère complexe des fluides eux-mêmes, comme pour des fluides non-newtoniens ;<br /> * l'hétérogénéité de l'écoulement, dans le cas de mélanges de fluides par exemple.<br />Il est important d'analyser comment ces modèles peuvent être simplifiés dans le cas de domaines minces, et d'étudier rigoureusement les modèles approchés.<br />Dans une première partie, des écoulements de fluides non newtoniens visco-élastiques représentés par une loi de comportement de type Oldroyd-B couplée aux équations de Navier-Stokes sont étudiés. Dans le cas de géométries minces, un modèle approché a été proposé. On justifie la validité de cette approximation ; la démonstration repose sur des estimations et des résultats de régularité fins.<br />Dans une deuxième partie, on considère un modèle d'écoulement piezovisqueux utilisé en lubrification hydrodynamique. Ce modèle fait aussi intervenir la déformation élastohydrodynamique du domaine (déformation du type Hertz), et l'aspect diphasique de la cavitation, qui est décrit par le modèle d'Elrod-Adams (en pression-saturation). On montre l'existence d'une solution à ce problème pour des lois pression-viscosité réalistes.<br />Dans une troisième partie, on introduit un modèle diphasique à interface diffuse, permettant de rendre compte de phénomènes plus fins tels que les gouttes. Pour cela, un paramètre d'ordre est introduit (fraction volumique d'une phase dans le mélange), gouverné par le modèle de Cahn-Hilliard. Un système approché est obtenu de manière heuristique pour un domaine de faible épaisseur. On étudie les propriétés mathématiques de ce système, et on montre un résultat d'existence, avec prise en compte ou non de la tension de surface.<br />Dans la dernière partie, un schéma numérique est mis en place pour simuler le modèle décrit précédemment d'écoulements diphasiques en domaines minces. Il permet de prendre en compte différents phénomènes physiques, comme de grandes variations de la viscosité ou la présence de recirculations à l'intérieur d'une goutte, ainsi que de simuler des mélanges dans le cadre d'écoulements lubrifiés.

Cette thèse porte sur l'utilisation de modèles hyperboliques pour la simulation des écoulements diphasiques compressibles, pour trouver des alternatives au modèle bifluide classique. Nous établissons tout d'abord une hiérarchie des modèles diphasiques, obtenue selon des hypothèses d'équilibres des variables physiques entre chaque phase. L'utilisation de développements de Chapman-Enskog permet de relier entre eux les différents modèles existants. De plus, des modèles prenant en compte de petits déséquilibres physiques sont obtenus par des développements à l'ordre un. La deuxième partie de cette thèse porte sur la simulation des écoulements caractérisés par des déséquilibres de vitesses et des équilibres de pression, que nous modélisons de deux manières différentes. Tout d'abord, un modèle à deux vitesses et deux pressions est utilisé, avec l'application de relaxations des vitesses et pressions à temps finis afin d'obtenir un retour à l'équilibre de ces grandeurs. On propose ensuite un nouveau modèle dissipatif à une vitesse et une pression, où l'apparition de termes du second ordre permet de prendre en compte les déséquilibres de vitesse entre les phases. Une méthode numérique basée sur une approche par pas fractionnaires est développée pour ce modèle.

Dans un premier temps, nous décrivons le complexe des solutions du transformé de Mellin algébrique d'un D-module M en fonction des solutions de M. Pour cela, nous définissons un foncteur de transformation de Mellin faisceautique. Nous montrons alors que le transformé de Mellin du complexe des solutions à décroissance rapide en 0 et à l'infini d'un D-module holonome régulier M est quasi-isomorphe au complexe des solutions du transformé de Mellin algébrique de M, l'hypothèse de régularité n'étant plus nécessaire à une variable.<br />Dans un second temps, nous faisons un travail analogue avec la transformation de Mellin inverse : les résultats sont plus partiels. Nous définissons une transformation de Mellin inverse faisceautique. Nous démontrons alors qu'il existe des morphismes naturels reliant le complexe des solutions du transformé de Mellin inverse algébrique d'un module aux différences avec le transformé de Mellin inverse faisceautique du complexe des solutions à croissance au plus exponentielle d'ordre 1 à l'infini dans des bandes verticales. Nous montrons ensuite que dans le cas d'un module aux différences à une variable et à une seule pente strictement positive, ces morphismes sont des isomorphismes.

Cette thèse est consacrée à l'étude de l'influence d'une fine couche hétérogène sur le comportement élastique linéaire d'une structure tridimensionnelle. Deux types d'hétérogénéités sont pris en compte : des cavités et des inclusions élastiques. Une étude complémentaire, dans le cas d'inclusions de grande rigidité, a été réalisée en considérant un problème de conduction thermique. Une analyse formelle par la méthode des développements asymptotiques raccordés conduit à un problème d'interface qui caractérise le comportement macroscopique de la structure. Le comportement microscopique de la couche est lui déterminé sur une cellule de base. Le modèle asymptotique obtenu est ensuite implémenté dans un code éléments finis. Une étude numérique permet de valider les résultats de l'analyse asymptotique.

Dans une première partie, nous présentons des équations de Saint-Venant. Sur le modèle proprement dit, nous remarquons tout d'abord que, suivant le lien entre la viscosité et le rapport des échelles caractéristiques, il est indispensable de conserver l'expression complète de la force de Coriolis : nous obtenons ainsi un nouveau modèle, avec un "effet cosinus". Nous montrons alors que les preuves d'existence de solutions faibles peuvent être adaptées à ce nouveau système. Des simulations numériques de certaines ondes soulignent l'importance de ce terme. Nous étudions ensuite l'influence des conditions limites (surface, fond) sur des modèles de type Saint-Venant. Nous présentons également des modèles obtenus en utilisant des échelles multiples en espace et en temps. Enfin, nous analysons théoriquement et numériquement un nouveau modèle de sédimentation puis nous donnons certains résultats pour les fluides visco-plastiques.<br />Dans une deuxième partie, nous nous intéressons aux équations limites que sont les équations quasi-géostrophiques (QG) et les équations des lacs. L'étude numérique des équations QG 2d nous permet de voir le rôle de l'effet cosinus de la force de Coriolis. En fonction de la topographie considérée, nous montrons que celui-ci peut être non négligeable. Toujours sur les équations QG, nous donnons un schéma, basé sur des développements asymptotiques, qui permet de bien capter la couche limite mais aussi d'ajouter le terme de topographie à la solution obtenue avec fond plat, sans refaire tous les calculs. Enfin, nous expliquons l'obtention des équations des lacs avec effet cosinus, et nous prouvons que les propriétés d'existence de solutions restent valables.

Le calcul de réécriture ou rho-calcul est une généralisation du lambda-calcul avec filtrage et agrégation de termes. L'abstraction sur les variables est étendue à une abstraction sur les motifs et le filtrage correspondant peut être effectué modulo une théorie <br />équationnelle a priori arbitraire. L'agrégation est utilisée pour collecter les différents résultats possibles.<br />Dans cette thèse, nous étudions différentes combinaisons des ingrédients fondamentaux du rho-calcul: le filtrage, l'agrégation et les mécanismes d'ordre supérieur.<br />Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements. Cette nouvelle approche est suffisamment expressive pour traiter les problèmes de filtrage du second-ordre et ceux avec des motifs d'ordre supérieur à la Miller.<br />Nous examinons ensuite les modèles catégoriques du<br />lambda-calcul parallèle qui peut être vu comme un enrichissement du lambda-calcul avec l'agrégation de termes. Nous montrons que ceci est une étape significative vers la sémantique dénotationnelle du calcul de réécriture.<br />Nous proposons également une étude et une comparaison des calculs avec motifs éventuellement dynamiques, c'est-à-dire qui peuvent être instanciés et réduits. Nous montrons que cette étude, et plus particulièrement la preuve de confluence, est suffisamment générale pour<br />s'appliquer à l'ensemble des calculs connus. Nous étudions ensuite l'implémentation de tels calculs en proposant un calcul de réécriture avec filtrage et substitutions explicites.