Lorsqu'un gaz de bosons est suffisament refroidi, une transition de phase apparaît : toutes les particules se concentrent dans le m^eme état d'énergie. On appelle l'objet résultant de ce phénomène un condensat de Bose-Einstein. On peut le décrire par une fonction d'onde macroscopique, minimisant à l'équilibre la fonctionnelle d'énergie de Gross-Pitaevskii. Une des propriétés remarquables des condensats est leur superfluidité. Elle peut se manifester par l'apparition de vortex (tourbillons) dans un condensat mis en rotation. Dans cette thèse nous étudions le comportement asymptotique des minimiseurs de la fonctionnelle de Gross-Pitaevskii bi-dimensionelle et des énergies associées dans différents régimes de paramètres rendant compte de situations physiquement intéressantes. Nous cherchons à identifier certaines transitions de phase caractérisées par l'organisation des vortex du condensat. Dans une première partie nous étudions une situation où il est justié physiquement de considérer un problème simplifié. La minimisation de la fonctionnelle d'énergie est alors restreinte au premier espace propre de l'opérateur de Ginzburg-Landau (le plus bas niveau de Landau, lié à l'espace de Fock-Bargmann). Nous étudions théoriquement et numériquement le modèle simplifié dans un régime où le condensat est annulaire et contient un réseau de vortex déformé. Une seconde partie est consacrée à un régime de rotation extrême où le problème limite devient linéaire. Nous montrons que ce problème limite décrit correctement les asymptotiques d'énergie et de densité de matière. Sous une hypothèse supplémentaire nous démontrons qu'un vortex géant se forme, c'est-à-dire un condensat annulaire dont tous les vortex se rassemblent dans la zone centrale de faible densité de matière. Les deux dernières parties de la thèse sont consacrées à l'évaluation de la vitesse critique pour l'apparition du vortex géant. Nous montrons d'abord que le vortex géant apparaît au dessus d'un certain seuil que nous calculons en fonction des autres paramètres du problème, ce qui fournit une borne supérieure de la vitesse critique. Dans une quatrième partie nous montrons que cette borne supérieure est en fait optimale en considérant des vitesses proches du seuil par valeur inférieure. Nous montrons alors que des vortex sont présents dans le condensat et qu'ils se répartissent uniformément le long d'un cercle.

Dans cette thèse nous étudions l'asymptotique de petits bruits pour des perturbations aléatoires d'équations de Schrödinger non linéaires. Les bruits sont Gaussiens, la plupart du temps blancs en temps et toujours colorés en espace, additifs ou multiplicatifs. Un évènement de grandes déviations est un évènement où le système diffère significativement du système déterministe. Lorsque le bruit tend vers zéro, la probabilité d'un tel évènement rare tend vers zéro sur une échelle logarithmique avec pour vitesse l'amplitude du bruit. Nous prouvons des principes de grandes d´eviations trajectoriels. Dans ce cas le facteur multiplicatif de la vitesse, le taux, est relié à un problème de contrôle optimal. Les résultats sont appliqués aux temps d'explosion. Nous étudions ensuite l'asymptotique de petits bruits des queues de la masse et de la position du signal dans une "limite bruit blanc". Les fluctuations de ces quantités sont les causes principales d'erreur de transmission par solitons dans les fibres optiques. Nous considérons également le problème des temps moyens et des points de sortie d'un voisinage de zéro pour des équations faiblement amorties. Enfin, nous présentons un principe de grandes déviations et un théorème de support pour des bruits Gaussiens fractionnaires additifs.

Le travail de thèse traite de l'analyse des signaux et des images par décomposition modale empirique (EMD) et par modèles AM-FM. Dans la première partie de cette thèse, nous apportons des cadres théoriques à l'EMD 1D et 2D. Nous approchons localement les enveloppes supérieures et inférieures, dans le processus de tamisage de l'EMD, par des opérateurs continus. Par suite, nous formulons différemment la moyenne locale et prouvons que les itérations du tamisage 1D et 2D peuvent être approchées par des équations aux dérivées partielles (EDP) bien posées. Nous apportons des justifications théoriques et proposons des caractérisations analytiques des modes empiriques 1D et 2D. Ce travail a permis d'éclaircir de nombreux points et notions relatifs à l'EMD, et définis en 1D comme en 2D, que de manière très intuitive ou sur la base de simulations numériques contrôlées. Nous apportons de la sorte des contributions théoriques à l'EMD 1D et 2D, initialement définie par un algorithme et dont la principale limite est le manque de cadre théorique. Enfin, nous proposons de nouveaux algorithmes EMD 1D et 2D, et résolvons numériquement les EDP proposées en 1D et 2D. Nous illustrons nos approches par EDP sur de nombreux signaux et images. Dans la seconde partie, nous étudions les modèles AM-FM pour l'analyse d'images. Ces modèles se basent sur une décomposition des images en composantes regroupant les niveaux de gris des parties texturées (AM), d'une part, et une partie contenant la géométrie de l'image (FM), d'autre part. Nous proposons d'abord une amélioration de la démodulation d'images large bande. Dans un deuxième temps, nous explorons la démodulation d'images avec les opérateurs de Teager-Kaiser d'ordres supérieurs (HODEO 2D), en proposant de meilleurs algorithmes de démodulation, basés sur les HODEO 2D. Nous proposons ensuite une application à la segmentation d'images sonar et illustrons nos approches sur de nombreuses images. Les résultats sont comparés à ceux obtenus avec l'algorithme DESA (Discrete Energy Separation Algorithm) et l'approche par image analytique.

On étudie quelques familles de problèmes aux limites elliptiques non linéaires d'ordre 2, de la forme Au=f(λ,χ,u,ε) où les réels positifs λ et ε qui apparaissent dans la non linéarité de f jouent, respectivement, le rôle de paramètre de bifurcation et de paramètre de perturbation. On considère l'aspect branches de solutions, retournements, pour ε>0 et ε→0 dans 5 cas

Ce travail présente quelques contributions mathématiques et numériques à la modélisation des fluides à l'échelle nanométrique. On considère deux niveaux de modélisation. Au premier niveau,une description atomique est adoptée. On s'intéresse aux méthodes permettant de calculer la viscosité de cisaillement d'un fluide à partir de cette description microscopique. On étudie en particulier les propriétés mathématiques de la dynamique de Langevin hors d'équilibre permet-tant de calculer la viscosité. Le deuxième niveau de description se situe à l'échelle du continu et l'on considère une classe de modèles pour les électrolytes à l'équilibre incorporant d'une part la présence d'un confinement avec des parois chargées et d'autre part des effets de non-idéalité dus aux corrélations électrostatiques entre les ions et au phénomène d'exclusion stérique. Dans un premier temps, on étudie mathématiquement le problème de minimisation de l'énergie libre dans le cas où celle ci reste convexe (non-idéalité modérée). Puis, on considère le cas non convexe (forte non-idéalité) conduisant à une séparation de phase

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.

Ce travail porte principalement sur l'étude mathématique de méthodes numériques<br />pour l'homogénéisation de fonctionnelles intégrales utilisées en élasticité non linéaire. Ces mé-<br />thodes couplent, au niveau mésoscopique, un matériau hyperélastique hétérogène ou un réseau de<br />liens en interaction, avec, au niveau macroscopique, un modèle d'élasticité non linéaire. La loi de<br />constitution macroscopique est obtenue par la résolution de problèmes mésoscopiques, continus ou<br />discrets. Aux chapitres 1, 2 et 3 on introduit les modèles mécaniques et les outils mathématiques et<br />numériques utilisés par la suite. Aux chapitres 5, 6 et 7, on présente une méthode directe de réso-<br />lution numérique du comportement homogénéisé d'un matériau composite périodique en grandes<br />déformations et un cadre général pour l'analyse des méthodes d'homogénéisation numérique. On<br />démontre notamment la convergence de méthodes numériques classiques sous des hypothèses gé-<br />nérales ainsi qu'un résultat de correcteur numérique. On étend enfin les résultats au couplage avec<br />des méthodes de sur-échantillonnage. Aux chapitres 8, 9 et 10, nous considérons une modélisation<br />mésoscopique par un système discret. Nous étudions d'abord un problème de G-fermeture pour un<br />réseau de résistances. Au chapitre suivant nous démontrons un résultat de représentation intégrale<br />pour l'énergie d'un système de spins en interaction. Enfin, nous dérivons un modèle hyperélastique<br />continu à partir d'un réseau stochastique de points en interaction, et l'appliquons pour démontrer<br />la convergence de modèles discrets développés en mécanique. Dans une dernière partie, chapitre 11,<br />nous présentons une nouvelle méthode numérique pour résoudre des problèmes d'interaction fluide<br />structure, où la structure est décrite par une coque tridimensionnelle.

Prédire la statistique des grandes échelles des écoulements turbulents constitue un enjeu important. Pour l'équation d'Euler 2D et des modèles analogues d'écoulements géophysiques, une auto-organisation est observée (formation de cyclones/anticyclones, jets intenses). La mécanique statistique d'équilibre des écoulements bidimensionnels s'est avérée fondamentale et pertinente même en présence de forçage et dissipation, dans la limite inertielle. La thèse est motivée par le phénomène de transitions aléatoires entre deux topologies différentes, lié à une bistabilité. Il s'agit de prédire la multiplicité des équilibres d'un écoulement (quasi) bidimensionnel. On développe une classification des transitions de phase, pour des équilibres (statistiques et/ou dynamiques) d'un tel écoulement. Les diagrammes de phase font apparaître la présence générique de points critiques et tricritiques, et des domaines d'inéquivalence d'ensembles statistiques. Dans le cas d'une géométrie annulaire, on décrit les effets de la topographie et de la conservation de deux circulations. Des analogies avec la bistabilité du courant océanique Kuroshio sont proposées à partir de cette étude académique. Enfin, pour le système Euler 2D, on détaille un résultat de mécanique statistique dans l'ensemble énergie-enstrophie : la distribution microcanonique, construite à partir du théorème de Liouville en dimension finie, correspond à la maximisation d'une entropie de mélange de la vorticité.

Ce travail présente une technique de simulation de feux de forêt qui utilise la méthode Level-Set. On utilise une équation aux dérivées partielles pour déformer une surface sur laquelle est imbriqué notre front de flamme. Les bases mathématiques de la méthode Level-set sont présentées. On explique ensuite une méthode de réinitialisation permettant de traiter de manière robuste des données réelles et de diminuer le temps de calcul. On étudie ensuite l’effet de la présence d’obstacles dans le domaine de propagation du feu. Finalement, la question de la recherche du point d’ignition d’un incendie est abordée. / This work presents a forest fire simulation model which uses the Level-Set method. We use a partial differential equation to deform a surface on which our flame front is inscribed. The mathematical foundations of the Level-set method are presented. We then explain a reinitialization method that allows us to treat in a robust way real data and to reduce the calculation time. The effect of the presence of barriers in the fire propagation domain is also studied. Finally, we make an attempt to find the ignition point of a forest fire.

L'objet de cette thèse est l'étude mathématique de modèles probabilistes pour la génération et la propagation d'un potentiel d'action dans les neurones et plus généralement de modèles aléatoires pour les systèmes excitables. En effet, nous souhaitons étudier l'influence du bruit sur certains systèmes excitables multi-échelles possédant une composante spatiale, que ce soit le bruit contenu intrinsèquement dans le système ou le bruit provenant du milieu. Ci-dessous, nous décrivons d'abord le contenu mathématique de la thèse. Nous abordons ensuite la situation physiologique décrite par les modèles que nous considérons. Pour étudier le bruit intrinsèque, nous considérons des processus de Markov déterministes par morceaux à valeurs dans des espaces de Hilbert ("Hilbert-valued PDMP"). Nous nous sommes intéressés à l'aspect multi-échelles de ces processus et à leur comportement en temps long. Dans un premier temps, nous étudions le cas où la composante rapide est une composante discrète du PDMP. Nous démontrons un théorème limite lorsque la composante rapide est infiniment accélérée. Ainsi, nous obtenons la convergence d'une classe de "Hilbert-valued PDMP" contenant plusieurs échelles de temps vers des modèles dits moyennés qui sont, dans certains cas, aussi des PDMP. Nous étudions ensuite les fluctuations du modèle multi-échelles autour du modèle moyenné en montrant que celles-ci sont gaussiennes à travers la preuve d'un théorème de type "central limit". Dans un deuxième temps, nous abordons le cas où la composante rapide est elle-même un PDMP. Cela requiert de connaître la mesure invariante d'un PDMP à valeurs dans un espace de Hilbert. Nous montrons, sous certaines conditions, qu'il existe une unique mesure invariante et la convergence exponentielle du processus vers cette mesure. Pour des PDMP dits diagonaux, la mesure invariante est explicitée. Ces résultats nous permettent d'obtenir un théorème de moyennisation pour des PDMP "rapides" couplés à des chaînes de Markov à temps continu "lentes". Pour étudier le bruit externe, nous considérons des systèmes d'équations aux dérivées partielles stochastiques (EDPS) conduites par des bruits colorés. Sur des domaines bornés de $\mathbb{R}^2$ ou $\mathbb{R}^3$, nous menons l'analyse numérique d'un schéma de type différences finies en temps et éléments finis en espace. Pour une classe d'EDPS linéaires, nous étudions l'erreur de convergence forte de notre schéma. Nous prouvons que l'ordre de convergence forte est deux fois moindre que l'ordre de convergence faible. Par des simulations, nous montrons l'émergence de phénomènes d'ondes ré-entrantes dues à la présence du bruit dans des domaines de dimension deux pour les modèles de Barkley et Mitchell-Schaeffer.