Cette thèse a pour objet l'étude d'équations fonctionnelles analytiques. Elle se divise en deux parties. La première, purement mathématique, concerne l'étude des équations aux q-différences et des équations voisines. Plus précisement, nous établissons des théorèmes d'indices et de croissance des solutions entières pour les équations mixtes différentielles-q-différences, généralisant les résultats connus dans le cadre des équations différentielles d'une part, des équations aux q-différences d'autre part. Par ailleurs, nous obtenons des théorèmes d'indices pour les développements en séries de q-factorielles, q-analogues des séries de factorielles. La seconde partie de cette thèse concerne la multisommation des séries formelles solutions d'équations différentielles linéaires algébriques. La théorie et la méthode des transformées de Laplace itérées nous donne une méthode effective permettant de sommer ces séries formelles. Le travail consiste à réaliser les algorithmes formels et numériques en créant les primitives informatiques nécessaires, en coordination avec le travail méné par d'autres équipes du groupe de travail CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations, projet européen Esprit).

Ce document synthétise mes contributions à l'étude de discrétisation des processus avec sauts, et à la modélisation du risque de liquidité et du risque de saut dans les marchés financiers. Chapitre 2 regroupe les résultats plus théoriques dans le domaine de discrétisation des processus stochastiques avec sauts, avec notamment une étude de l'erreur de discrétisation des stratégies de couverture, et des nouveaux schémas de simulation des équations différentielles stochastiques dirigées par des processus de Lévy. Chapitre 3 présente et étudie via le contrôle stochastique un problème d'optimisation d'investissement et de consommation dans les marchés financiers illiquides. Chapitre 4 contient des travaux plus appliqués sur la modélisation du risque de saut dans les stratégies d'assurance de portefeuille, les produits dérivés, et les marchés d'électricité.

Cette thèse, composée de trois parties, est centrée sur l'application du calcul de \text{Malliavin} à différents domaines de l'analyse stochastique, tels que les théorèmes limites, le calcul stochastique fractionnaire et la régularité des solutions d'équations différentielles stochastiques. La première partie porte sur l'étude asymptotique de modèles de regression fractionnaire et fait appel au calcul stochastique par rapport au mouvement Brownien fractionnaire et au calcul de Malliavin. La deuxième partie est centrée sur la méthode de Stein sur l'espace de Wiener et présente des résultats ayant attrait aux théorèmes limites pour des fonctionnelles de champs Gaussiens (processus moyenne mobile à mémoire longue, sommes autonormalisées) ainsi que des résultats portant sur des propriétés de déconvolution de la loi Gamma. La troisième et dernière partie a pour objet l'étude, par le calcul de Malliavin, des solutions d'équations différentielles stochastiques rétrogrades, et en particulier l'existence de densité ainsi que d'estimées de densité pour ces solutions.

Dans cette thèse, nous étudions des modèles d'agrégation limitée, qui modélisent la coalescence de particules ayant des "bras", c'est-à-dire un nombre fixé de liens potentiels. Une particule ne peut donc créer plus de liens que son nombre de bras. On s'intéresse en particulier à une variante de l'équation de Smoluchowski introduite par Jean Bertoin. Ce document comprend, outre l'introduction, trois chapitres. Le premier est dévolu à l'étude d'un modèle sexué de coagulation, où les particules ont des bras mâles et femelles et seuls des bras de sexes opposés peuvent se joindre. Ce modèle généralise et unifie ceux de Bertoin, dont on peut en particulier retrouver les résultats. Le second chapitre comprend un travail en collaboration avec Lorenzo Zambotti. On s'y intéresse à l'unicité des solutions d'équations de coagulation après gélification, en particulier l'équation de Smoluchowski avec noyau multiplicatif et l'équation d'agrégation limitée. En particulier, on donne des preuves rigoureuses de certaines heuristiques de la littérature physique, par exemple en calculant précisément le temps de gélification. Dans le cas d'agrégation limitée, on obtient aussi des formules particulièrement simples pour les concentrations limites. Pour expliquer celles-ci, on étudie dans le dernier chapitre un modèle microscopique pour l'équation de Smoluchowski d'agrégation limitée. Ceci est un travail commun avec Mathieu Merle. On parvient à décrire précisément l'état microscopique du système à tout temps et ainsi à retrouver les formules du second chapitre. Une caractéristique frappante de ce modèle est qu'il possède une propriété de criticalité auto-organisée.

Cette thèse traite de l'intégration et de la réduction symbolique des systèmes d'équations différentielles ordinaires non-linéaires autonomes. Ces systèmes sont étudiés localement au voisinage d'un point simple ou singulier. Pour réduire ces systèmes à une forme intégrable, nous utilisons des transformations telles que les transformations quasi-monomiales, les éclatements et des constructions de formes normales. Ces méthodes permettent d'intégrer tout système à deux dimensions et des systèmes non-nilpotents à trois dimensions. Pour les systèmes nilpotents en trois dimensions et les systèmes de dimension supérieure nous rencontrons de nouvelles difficultés. La forme des cônes contenant le support de tels systèmes peut être très compliquée et cela complique l'utilisation des algorithmes introduits précédemment. Nous proposons alors une autre approche, basée sur une extension du diagramme de Newton et permettant de résoudre ces systèmes.

Cette thèse est une contribution à l'étude de problèmes de contrôle optimal dont le caractère non linéaire se traduit par la présence, dans les équations d'état, d'un terme bilinéaire relativement à l'état et au contrôle. Malgré les difficultés liées à la non linéarité, nous obtenons des propriétés spécifiques au cas bilinéaire. L'introduction générale constitue la première partie. La seconde partie est consacrée à l'étude des équations d'état ; ce sont des équations aux dérivées partielles d'évolution. Nous établissons des estimations a priori sur les solutions à partir des inégalités de Willett et Wong et nous démontrons que les équations d'états sont bien posées. Dans le cas où les contrôles subissent une contrainte liée aux états, ces estimations permettent de déduire l'existence de solutions dans le cadre des inclusions différentielles. Les troisième et quatrième parties de ce mémoire sont dévolues à la démonstration de l'existence de contrôles optimaux, puis à l'analyse de la sensibilité relative à une perturbation qui intervient de façon additive dans l'équation d'état. Le caractère bilinéaire permet de vérifier des conditions suffisantes d'optimalité du second ordre. Nous fournissons sur des exemples, une formule explicite des dérivées directionnelles de la fonction valeur optimale

La première partie de cette thèse est consacrée à l'estimation par maximum de vraisemblance dans les modèles mixtes à dynamique markovienne. Nous considérons plus précisément des modèles de Markov cachés à effets mixtes et des modèles de diffusion à effets mixtes. Dans le Chapitre 2, nous combinons l'algorithme de Baum-Welch à l'algorithme SAEM pour estimer les paramètres de population dans les modèles de Markov cachés à effets mixtes. Nous proposons également des procédures spécifiques pour estimer les paramètres individuels et les séquences d' états cachées. Nous étudions les propriétés de cette nouvelle méthodologie sur des données simulées et l'appliquons sur des données réelles de nombres de crises d' épilepsie. Dans le Chapitre 3, nous proposons d'abord des modèles de diffusion à effets mixtes pour la pharmacocin étique de population. Nous en estimons les paramètres en combinant l'algorithme SAEM a un filtre de Kalman étendu. Nous étudions ensuite les propriétés asymptotiques de l'estimateur du maximum de vraisemblance dans des modèles de diffusion observés sans bruit de mesure continûment sur un intervalle de temps fixe lorsque le nombre de sujets tend vers l'infini. Le Chapitre 4 est consacré a la s élection de covariables dans des modèles mixtes généraux. Nous proposons une version du BIC adaptée au contexte de double asymptotique où le nombre de sujets et le nombre d'observations par sujet tendent vers l'infini. Nous présentons quelques simulations pour illustrer cette procédure.

Cette thèse aborde les formalismes pour la modélisation multi-physique en support au cycle en V de conception. Ce travail a été réalisé dans le cadre du projet ANR-MoCoSyMec, selon la méthodologie du prototypage virtuel fonctionnel (PVF) et illustré sur des systèmes électromagnétiques. Nous nous sommes principalement intéressés au langage VHDL-AMS, en tant que support aux différents niveaux de modélisation apparaissant dans le cycle en V de conception. Cela nous a conduits à traiter la portabilité et l'interopérabilité en VHDL-AMS de diverses méthodes et outils de modélisation. Nous avons proposé et validé, via le formalisme des composants logiciels ICAr, des solutions aux limites de l'utilisation de VHDL-AMS pour modéliser certains phénomènes physiques reposants sur des calculs numériques. Nous avons étendu la norme ICAr pour supporter des modèles dynamiques décrits par des équations différentielles algébriques (DAE) ; et pour des besoins de co-simulation, nous pouvons également y associer un solveur. Ces développements sont désormais capitalisés dans le framework CADES. Enfin, nous avons proposé une architecture pour le portage de modèles d'un formalisme à un autre. Elle a été définie et mise en oeuvre plus particulièrement pour des modèles magnétiques réluctants (Reluctool) et des MEMS magnétiques (MacMMems) vers le VHDL-AMS. Ces formalismes et méthodologies sont mis en oeuvre autour du PVF d'un contacteur électromagnétique.

Ce travail présente quelques contributions à l'étude théorique et numérique des modèles utilisés en pratique pour la simulation moléculaire de la matière. En particulier, on présente et on analyse des méthodes numériques stochastiques dans le domaine de la physique statistique, permettant de calculer plus efficacement des moyennes d'ensemble. Une application particulièrement importante est le calcul de différences d'énergies libres, par dynamiques adaptatives ou hors d'équilibre. On étudie également quelques techniques, stochastiques ou déterministes, utilisées en chimie quantique et permettant de résoudre de manière approchée le problème de minimisation associé à la recherche de l'état fondamental d'un opérateur de Schrödinger en dimension grande. On propose enfin des modèles réduits permettant une description microscopique simplifiée des ondes de choc et de détonation par le biais d'une dynamique stochastique sur des degrés de liberté moyens, approchant la dynamique hamiltonienne déterministe du système complet.

Les principaux thèmes de cette thèse sont la théorie des trajectoires rugueuses développée par T. Lyons (1998) et ses applications, notamment à l'étude des équations différentielles stochastiques (EDS) et au calcul de sensibilités. Des applications potentielles des résultats théoriques en science du vivant et en finance y sont également développés. En premier lieu, sont étendues l'existence et l'expression des grecques Delta et Véga, sensibilités bien connues en finance, pour des EDS à coefficients bornés et dirigées par un processus gaussien multidimensionnel centré, à trajectoires continues, au-dessus duquel il existe une trajectoire géométrique naturelle. Le cas du mouvement brownien fractionnaire a particulièrement été développé afin de proposer d'une part, une application du calcul de Véga dans un modèle de marché financier à volatilité stochastique fractionnaire et d'autre part, d'effectuer des simulations. En second lieu, est étudiée une généralisation d'équation mean-reverting au cas d'un signal gaussien unidimensionnel, centré et à trajectoires continues : existence globale et unicité de la solution, intégrabilité, continuité et différentiabilité de l'application d'Itô, existence d'un schéma d'approximation convergeant dans tous les Lp avec une vitesse de convergence presque-sure, un principe de grandes déviations et, l'existence d'une densité par rapport à la mesure de Lebesgue. L'étude de cette famille d'EDS a débouché sur une application en pharmacocinétique.