Cette thèse est consacrée à l'étude mathématiques et numérique d'un problème physique issu de la volcanologie. On s'intéresse à la modélisation polydisperse de croissance de bulles par exsolution, décompression et coalescence. Un modèle de croissance polydisperse a été proposé dans la litérature, mais ne prenait en compte que le volume des bulles, ce qui restreint le domaine d'application car la croissance par exsolution dépend également de la masse d'eau présente dans la bulle. Pour améliorer ce modèle, nous sommes parti d'une description monodisperse adimensionnelle de la croissance d'une bulle par décompression et exsolution, donnée par le couplage de deux EDO et une EDP. Un code numérique est proposé pour résoudre le problème monodisperse et est actuellement utilisé. Après avoir validé numériquement ce code et considéré plusieurs cas limites, nous avons étudié les solutions du problème et défini une approximation du flux qui nous permet de découpler le système d'équations. Ensuite, nous avons étendu le modèle polydisperse de une à deux dimensions. Une résolution de la coalescence est proposée et couplée avec le modèle de croissance polydisperse. La résolution de la coalescence est confrontée à d'autres schémas numériques en une et deux dimensions afin de valider le schéma numérique proposé. Les premiers test numériques appliqués au problème physique donnent de bon résultats.

Dans cette thèse nous avons tout d'abord développé un solveur neutronique de cinétique transport 3D en géométrie déstructurée avec une discrétisation spatiale par éléments finis (solveur MINARET). L'écriture d'un tel code représente en soi une contribution importante dans la physique des réacteurs car il permettra de connaître de façon très précise l'état du coeur au cours d'accidents graves. Il jouera aussi un rôle très important pour des études de fluence de la cuve des réacteurs. D'un point de vue mathématique, l'apport le plus important dans l'écriture de ce solveur a consisté en l'implémentation d'algorithmes modernes adaptés aux architectures actuelles et à venir de calcul parallèle, permettant de réduire de façon significative les temps de calcul. Un effort particulier a été mené pour paralléliser de façon efficace la variable temporelle par l'algorithme pararéel en temps. Ce travail a consisté dans un premier temps à analyser les performances que le schéma classique de pararéel apporte dans la résolution de l'équation de transport de neutrons. Ensuite, nous avons cherché à améliorer ces performances en proposant un schéma de pararéel qui intègre de façon plus optimisée la présence de schémas itératifs autres que le pararéel dans la résolution de chaque pas de temps de l'équation du transport. L'idée principale de ce nouveau schéma consiste à limiter le nombre d'itérations internes pour chaque pas de temps du solveur fin et d'atteindre la convergence au cours des itérations pararéelles. Dans un second temps, une réflexion a été entamée autour de la question suivante: étant donné le haut degré de précision que MINARET fournit dans la connaissance de la population neutronique, serait-il possible de l'utiliser en tant qu'outil de surveillance pendant l'opération d'un réacteur nucléaire? Et, qui plus est, comment rendre un tel outil à la fois cohérent et complémentaire par rapport aux mesures prises \textit{in situ}? Une des difficultés majeures de ce problème réside dans le besoin de fournir les simulations en temps réel alors que, malgré nos efforts pour accélérer les calculs, les méthodes de discrétisation utilisées dans MINARET ne permettent pas des calculs de coeur à une telle vitesse. Cette question a été abordée en développant tout d'abord une généralisation de la méthode Empirical Interpolation (EIM) grâce à laquelle on a pu définir un processus d'interpolation bien posé pour des fonctions appartenant à des espaces de Banach. Ceci est rendu possible par l'utilisation de formes linéaires d'interpolation au lieu des traditionnels points d'interpolation et une partie de cette thèse a été consacrée à la compréhension des propriétés théoriques de cette méthode (analyse de convergence sous hypothèse d'ensemble de petite dimension de Kolmogorov et étude de sa stabilité). Ce processus d'interpolation (appelé Generalized EIM) permet de reconstruire en temps réel des processus physiques de la façon suivante: étant donné un système pouvant être décrit par une EDP paramétrée et sur lequel des mesures peuvent être prises \textit{in situ}, on construit d'abord une base d'interpolation constituée de solutions de cette EDP pour différentes valeurs du paramètre grâce à GEIM (ceci est fait par un algorithme greedy). On donne ensuite une approximation en temps réel de l'état du système via une fonction interpolée exprimée dans la base calculée et qui utilise des mesures acquises \textit{in situ} comme données d'entrée (et modélisées mathématiquement par les formes linéaires). La méthode a été appliquée avec succès dans des exemples simples (équations de Laplace et de Stokes) et nous espérons que les développements actuels et à venir pourront mener à son emploi dans des cas réels plus complexes comme celui de la reconstruction de la population neutronique dans un coeur de réacteur avec MINARET.

Dans cette thèse, on donne une définition de la K-théorie topologique des espaces non-commutatifs de Kontsevich (c'est-à-dire des dg-catégories) définis sur les nombres complexes. L'introduction de ce nouvel invariant initie la recherche des invariants de nature topologique des espaces non-commutatifs, comme "simplifications" des invariants algébriques (K-théorie algébrique, homologie cyclique, périodique comme étudiés dans les travaux de Tsygan, Keller). La motivation principale vient de la théorie de Hodge non-commutative au sens de Katzarkov--Kontsevich--Pantev. En géométrie algébrique, la partie rationnelle de la structure de Hodge est donnée par la cohomologie de Betti rationnelle, qui est la cohomologie rationnelle de l'espace des points complexes du schéma. La recherche d'un espace associé à une dg-catégorie trouve une première réponse avec le champ (défini par Toën--Vaquié) classifiant les dg-modules parfaits sur cette dg-catégorie. La définition de la K-théorie topologique a pour ingrédient essentiel le foncteur de réalisation topologique des préfaisceaux en spectres sur le site des schémas de type fini sur les complexes. La partie connective de la K-théorie semi-topologique peut être définie comme la réalisation topologique du champ en monoïdes commutatifs des dg-modules parfaits. Cependant pour atteindre la K-théorie négative, on réalise le préfaisceau donné par la K-théorie algébrique non-connective. Un de nos résultats principaux énonce l'existence d'une équivalence naturelle entre ces deux définitions dans le cas connectif. On montre que la réalisation topologique du préfaisceau de K-théorie algébrique connective pour la dg-catégorie unité donne le spectre de K-théorie topologique usuel. Puis que c'est aussi vrai pour la K-théorie algébrique non-connective, en utilisant la propriété de restriction aux lisses de la réalisation topologique. En outre, cette propriété de restriction aux schémas lisses nécessite de montrer une généralisation de la descente propre cohomologique de Deligne, dans le cadre homotopique non-abélien.La K-théorie topologique est alors définie en localisant par rapport à l'élément de Bott. Cette définition repose donc sur des résultats non-triviaux. On montre alors que le caractère de Chern de la K-théorie algébrique vers l'homologie périodique se factorise par la K-théorie topologique, donnant un candidat naturel pour la partie rationnelle d'une structure de Hodge non-commutative sur l'homologie périodique, ceci étant énoncé sous la forme de la conjecture du réseau. Notre premier résultat de comparaison concerne le cas d'un schéma lisse de type fini sur les complexes -- la conjecture du réseau est alors vraie pour de tels schémas. On montre ensuite que cette conjecture est vraie dans le cas des algèbres associatives de dimension finie.

We study multiple valued functions with values in a Hilbert space. We introduce a possibledefinition of Sobolev spaces and the rightful notion of p energy. We prove the existence of pminimizers. Then we consider two-valued real functions of two variables which are stationarywith respect to both domain and range transformations. We prove their local Lipschitzcontinuity and use it to establish strong convergence in W1,2 to their unique blow-up at anypoint. We claim that the branch set of any such function consists of finitely many real analyticcurves meeting at nod points with equal angles. We also provide an example showing thatstationarity with respect to domain transformations only does not imply continuity.In a second part, we prove that there does not exist a uniformly continuous retractionfrom the space of continuous vector fields onto the subspace of vector fields whose divergencevanishes in the distributional sense. We then generalise this result using the concept of mcharges on any subset X _ Rn satisfying a mild geometric condition, there is no uniformlycontinuous representation operator for mcharges in X.

Blasius et Rogawski ont formulé une conjecture qui prévoit que l'action du Frobenius sur la cohomologie d'une variété de Shimura est annulée par un certain polynôme, à coefficients dans l'algèbre de Hecke. C'est l'analogue de la célèbre relation d'Eichler-Shimura pour la courbe modulaire. Dans cette thèse, on démontre cette conjecture pour les variétés de Shimura associées aux groupes unitaires en signature (n-1,1) quand n est impair. Par ailleurs, on étudie certains aspects dans le cas particulier n=3. On montre explicitement la relation de congruence sur le lieu ordinaire. De plus, on étudie le graphe des cristaux supersinguliers et les relèvements d'isogénies en caractéristique nulle.

Cette thèse décrit de nouveaux modèles pour la reconnaissance de catégories d'actions comme "ouvrir une porte" ou "courir" dans des vidéos réalistes telles que les films. Nous nous intéressons tout particulièrement aux propriétés structurelles des actions : comment les décomposer, quelle en est la structure caractéristique et comment utiliser cette information afin de représenter le contenu d'une vidéo. La difficulté principale à laquelle nos modèles s'attellent réside dans la satisfaction simultanée de deux contraintes antagonistes. D'une part, nous devons précisément modéliser les aspects discriminants d'une action afin de pouvoir clairement identifier les différences entre catégories. D'autre part, nos représentations doivent être robustes en conditions réelles, c'est-à-dire dans des vidéos réalistes avec de nombreuses variations visuelles en termes d'acteurs, d'environnements et de points de vue. Dans cette optique, nous proposons donc trois modèles précis et robustes à la fois, qui capturent les relations entre parties d'actions ainsi que leur contenu. Notre approche se base sur des caractéristiques locales --- notamment les points d'intérêts spatio-temporels et le flot optique --- et a pour objectif d'organiser l'ensemble des descripteurs locaux décrivant une vidéo. Nous proposons aussi des noyaux permettant de comparer efficacement les représentations structurées que nous introduisons. Bien que nos modèles se basent tous sur les principes mentionnés ci-dessus, ils différent de par le type de problème traité et la structure sur laquelle ils reposent. Premièrement, nous proposons de modéliser une action par une séquence de parties temporelles atomiques correspondant à une décomposition sémantique. De plus, nous décrivons comment apprendre un modèle flexible de la structure temporelle dans le but de localiser des actions dans des vidéos de longue durée. Deuxièmement, nous étendons nos idées à l'estimation et à la représentation de la structure spatio-temporelle d'activités plus complexes. Nous décrivons un algorithme d'apprentissage non supervisé permettant de dégager automatiquement une décomposition hiérarchique du contenu dynamique d'une vidéo. Nous utilisons la structure arborescente qui en résulte pour modéliser une action de manière hiérarchique. Troisièmement, au lieu de comparer des modèles structurés, nous explorons une autre alternative : directement comparer des modèles de structure. Pour cela, nous représentons des actions de courte durée comme des séries temporelles en haute dimension et étudions comment la dynamique temporelle d'une action peut être utilisée pour améliorer les performances des modèles non structurés formant l'état de l'art en reconnaissance d'actions. Dans ce but, nous proposons un noyau calculant de manière efficace la similarité entre les dépendances temporelles respectives de deux actions. Nos trois approches et leurs assertions sont à chaque fois validées par des expériences poussées sur des bases de données publiques parmi les plus difficiles en reconnaissance d'actions. Nos résultats sont significativement meilleurs que ceux de l'état de l'art, illustrant ainsi à quel point la structure des actions est importante afin de bâtir des modèles précis et robustes pour la reconnaissance d'actions dans des vidéos réalistes.

Dans cette thèse, on s'intéresse en premier aux problèmes sous-riemanniens sur un groupe de Lie nilpotent d'ordre 2. Dans un premier temps, on réalise la classification complète des algèbres de Lie sous-riemanniennes (SR-algèbres de Lie) nilpotentes d'ordre 2 de dimension n compris entre 3 et 7, et celles de dimension arbitraire n telle que l'algèbre dérivée est de dimension une.De plus, nous avons distingué les SR-algèbres de Lie de contact et de quasi-contact et nous avons calculé, en dimension 5, le groupe des SR-symétries infinitésimales. Une fois cette classification réalisée, on étudie les géodésiques sous-riemanniennes associées aux SR-algèbres de Lie nilpotentes d'ordre 2 obtenues dans notre classification. Nous avons étudié l'intégrabilité des équations géodésiques adjointes et donné les contrôles optimaux ainsi que les trajectoires optimales dans chacun des cas. Dans une seconde partie de la thèse, on étudie les géodésiques sous-riemanniennes pour un groupe de Lie sous-riemannien (G;D;B) où G = SO(4) ou G = SO(2; 2) et D est de codimension2 (donnant des espaces SR-homogènes de contact). Nous avons donné un modèle canonique de ces espaces et ensuite montré que les systèmes adjoints de Lie-Poisson associés au modèle étaient toujours intégrables au sens de Liouville. De plus, nous montrons que le système de Lie-Poisson est soit un système linéaire qui est super-intégrable en fonctions trigonométriques du temps ou constantes ; soit un système non linéaire intégrable au sens de Liouville et dont les solutions sont exprimables à l'aide de la fonction elliptique de Weierstrass.

Les caractéristiques des rayonnements solaires dépendent fortement de certains événements météorologiques non observés comme fréquence, taille et type des nuages et leurs propriétés optiques (aérosols atmosphériques, al- bédo du sol, vapeur d'eau, poussière et turbidité atmosphérique) tandis qu'une séquence du rayonnement solaire peut être observée et mesurée à une station donnée. Ceci nous a suggéré de modéliser les processus de rayonnement solaire (ou d'indice de clarté) en utilisant un modèle Markovien caché (HMM), paire corrélée de processus stochastiques. Notre modèle principal est un HMM à temps continu (Xt, yt)t_0 est tel que (yt), le processus observé de rayonnement, soit une solution de l'équation différentielle stochastique (EDS) : dyt = [g(Xt)It − yt]dt + _(Xt)ytdWt, où It est le rayonnement extraterrestre à l'instant t, (Wt) est un mouvement Brownien standard et g(Xt), _(Xt) sont des fonctions de la chaîne de Markov non observée (Xt) modélisant la dynamique des régimes environnementaux. Pour ajuster nos modèles aux données réelles observées, les procédures d'estimation utilisent l'algorithme EM et la méthode du changement de mesures par le théorème de Girsanov. Des équations de filtrage sont établies et les équations à temps continu sont approchées par des versions robustes. Les modèles ajustés sont appliqués à des fins de comparaison et classification de distributions et de prédiction.

Dans cette thèse nous étudions les transformées de Riesz et les espaces de Hardy associés à un opérateur sur un espace métrique mesuré. Ces deux sujets sont en lien avec des estimations du noyau de la chaleur associé à cet opérateur. Dans les Chapitres 1, 2 et 4, on étudie les transformées quasi de Riesz sur les variétés riemannienne et sur les graphes. Dans le Chapitre 1, on prouve que les quasi transformées de Riesz sont bornées dans Lp pour 1

Dans la vie actuelle, les données directionnelles sont présentes dans la majorité des domaines, sous plusieurs formes, différents aspects et de grandes tailles/dimensions, d'où le besoin de méthodes d'étude efficaces des problématiques posées dans ce domaine. Pour aborder le problème de la classification automatique, l'approche probabiliste est devenue une approche classique, reposant sur l'idée simple : étant donné que les g classes sont différentes entre elles, on suppose que chacune suit une loi de probabilité connue, dont les paramètres sont en général différents d'une classe à une autre; on parle alors de modèle de mélange de lois de probabilités. Sous cette hypothèse, les données initiales sont considérées comme un échantillon d'une variable aléatoire d-dimensionnelle dont la densité est un mélange de g distributions de probabilités spécifiques à chaque classe. Dans cette thèse nous nous sommes intéressés à la classification automatique de données directionnelles, en utilisant des méthodes de classification les mieux adaptées sous deux approches: géométrique et probabiliste. Dans la première, en explorant et comparant des algorithmes de type kmeans; dans la seconde, en s'attaquant directement à l'estimation des paramètres à partir desquels se déduit une partition à travers la maximisation de la log-vraisemblance, représentée par l'algorithme EM. Pour cette dernière approche, nous avons repris le modèle de mélange de distributions de von Mises-Fisher, nous avons proposé des variantes de l'algorithme EMvMF, soit CEMvMF, le SEMvMF et le SAEMvMF, dans le même contexte, nous avons traité le problème de recherche du nombre de composants et le choix du modèle de mélange, ceci en utilisant quelques critères d'information : Bic, Aic, Aic3, Aic4, Aicc, Aicu, Caic, Clc, Icl-Bic, Ll, Icl, Awe. Nous terminons notre étude par une comparaison du modèle vMF avec un modèle exponentiel plus simple ; à l'origine ce modèle part du principe que l'ensemble des données est distribué sur une hypersphère de rayon ρ prédéfini, supérieur ou égal à un. Nous proposons une amélioration du modèle exponentiel qui sera basé sur une étape estimation du rayon ρ au cours de l'algorithme NEM. Ceci nous a permis dans la plupart de nos applications de trouver de meilleurs résultats; en proposant de nouvelles variantes de l'algorithme NEM qui sont le NEMρ , NCEMρ et le NSEMρ. L'expérimentation des algorithmes proposés dans ce travail a été faite sur une variété de données textuelles, de données génétiques et de données simulées suivant le modèle de von Mises-Fisher (vMF). Ces applications nous ont permis une meilleure compréhension des différentes approches étudiées le long de cette thèse.