Dans un premier temps, nous étudions une nouvelle classe d'équations différentielles stochastiques rétrogrades (notées EDSRs) qui sont reliées à des conditions de Neumann semi-linéaires relatives à des phénomènes ergodiques. La particularité de ces problèmes est que la constante ergodique apparaît dans la condition au bord. Nous étudions l'existence et l'unicité de solutions pour de telles EDSRs ergodiques ainsi que le lien avec les équations aux dérivées partielles et nous appliquons ces résultats à des problèmes de contrôle ergodique optimal. Dans une deuxième partie nous généralisons des travaux de P. Briand et Y. Hu publiés en 2008. Ces derniers ont prouvé un résultat d'unicité pour les solutions d'EDSRs quadratiques de générateur convexe et de condition terminale non bornée ayant tous leurs moments exponentiels finis. Nous prouvons que ce résultat d'unicité reste vrai pour des solutions qui admettent uniquement certains moments exponentiels finis, ces moments étant reliés de manière naturelle à ceux présents dans le théorème d'existence. Nous améliorons aussi la formule de Feynman-Kac non linéaire prouvée par P. Briand et Y. Hu. Enfin, nous nous intéressons à la résolution numérique d'EDSRs quadratiques markoviennes dont la condition terminale est bornée. Nous estimons dans un premier temps des bornes déterministes sur le processus Z. Nous donnons ensuite un nouveau schéma de discrétisation en temps dont la particularité est que la grille de discrétisation est non uniforme. Enfin nous obtenons une vitesse de convergence pour ce schéma. Par ailleurs, quelques simulations numériques permettent d'étudier l'efficacité de notre nouveau schéma dans un cadre pratique.

La quantité totale de lipides et la composition en acides gras participent au déterminisme de la qualité des produits carnés et jouent un rôle dans de nombreuses pathologies. Par conséquent la maitrise du métabolisme des lipides constitue un important enjeu industriel et de santé publique. De nombreuses données expérimentales et bibliographiques sont actuellement disponibles sur le métabolisme des lipides dans différentes espèces. Néamoins, la hiérarchie d'importance des voies métaboliques et les régulateurs clefs de ce métabolisme dans différentes conditions expérimentales restent mal connus. Cette these propose d'utiliser les outils de la modélisation pour intégrer les données disponibles sur le métabolisme des lipides et des acides gras. Pour cela, deux modèles complémentaires ont été développés : un modèle dynamique simple comprenant le minimum de fonctions biologiques et de régulations nécessaire pour expliquer des données expérimentales métaboliques, et un modèle à large échelle comprenant un maximum d'informations issues des bases de données de connaissances. Le premier est un ensemble d'équations différentielles ordinaires décrivant les principales voies biochimiques du métabolisme des lipides indépendamment de l'espèce, de l'organe et des conditions expérimentales. Ce modèle a été confronté aux données biologiques décrivant les variations des acides gras dans le foie et le tissu adipeux lors de 72 heures de mise à jeun chez des souris de génotype sauvages et knockout pour PPARα (un facteur de transcription responsable notamment de l'activation de l'oxydation des acides gras). Nous mettons ainsi en évidence l'importance de la captation des acides gras sanguins par le foie, de l'oxydation hépatique des acides gras mais aussi et de maniere plus surprenante, des voies de désaturation et élongation des acides gras actives meme chez l'animal a jeun. L'existence d'un régulateur inconnu de l'élongation-désaturation des acides gras autre que PPARα est également suggérée. Le second modèle est un graphe d'influence qui réunit un maximum d'informations bibliogra- phiques pour les croiser avec des données transcriptomiques obtenues à haut débit. L'analyse de trois bases de connaissances bibliographiques (Gardon, une base interne experte ; TRANSPATH et Ingenuity, deux bases commerciales) a permis de mettre en évidence une forte complémenta- rité de la bibliographie extraite et des influences exploitables qu'elles référencent. Suite à cette analyse un graphe d'influence a été construit et l'analyse de sa topologie a permis de mettre en évidence les éléments les plus connectés possédant un lien avec le métabolisme énergétique. Ces deux démarches ont souligné l'intéret de la modélisation pour mettre en exergue des voies connues mais aussi inconnues, et suggérer ainsi de nouvelles expérimentations.

Inscrite dans le cadre du projet national FOREVER, l'étude proposée s'articule autour des essais en vraie grandeur réalisés à Saint Rémy-lès-Chevreuse par le CEBTP sur neuf micropieux isolés et deux groupes (2x2, 2 diamètres d'entre-axe) chargés axialement, puis transversalement dans du sable de Fontainebleau. Elle comprend l'introduction dans un code de calcul facile d'utilisation pour l'ingénieur, de l'effet de groupe de manière automatique et tridimensionnelle; le programme "GOUPEG-3D" repose sur la théorie couplée des modèles hybrides, utilisant les fonctions de transfert de charge (courbes "p-y" et "t-z") pour l'estimation de l'interaction pieu-sol et l'interaction pieu-sol-pieu intervenant par le biais de coefficients multiplicateurs de déplacement et réducteurs de pression ultime évalués à partir des équations de Mindlin (théorie du continuum élastique). Pour l'analyse des essais, les hypothèses ont porté principalement sur la construction des courbes de réaction du sol en s'appuyant sur les recommandations en vigueur (TA 95, Fascicule 62, règle simplifiée de BUSTAMANTE & DOIX [1985]) reposant sur les essais pressiométriques et sur l'influence du mode de fabrication des micropieux (gravitaire ou à l'aide du perforateur pneumatique R-SOL). Une étude paramétrique portant sur le module de cisaillement intervenant dans les équations de Mindlin, a mis en évidence la forte sensibilité du logiciel à ce paramètre élastique difficile à appréhender et encore sujet à de nombreuses controverses quant à son estimation.

Le travail présenté dans cette thèse est une contribution au développement des méthodes à maillage dynamique pour la résolution de système d'EDP en mécanique des fluides. Plus précisément, on met au point des schémas de volumes finis pour des maillages non-structurés, mobiles et à topologie éventuellement variable, basés sur la méthode Godunov. L'addition et la soustraction de noeuds reposent sur une généralisation des méthodes à maillage dynamique à des cas de volumes naissants ou disparaissants. Dans une première partie, on se restreint aux équations hyperboliques en une dimension. On montre que pour l'advection linéaire, le schéma satisfait les propriétés classiques des méthodes de volumes finis (principe du maximum, décroissance de la variation totale, stabilité L²) sous certaines contraintes de type CFL. Afin de s'affranchir de ces restrictions, l'intégration en temps du système discrêt est réalisée par une formulation implicite. La seconde partie de ce travail porte sur l'extension des schémas en deux dimensions d'espace. Le modèle mathématique abordé est décrit par les équations d'Euler. Par ailleurs, on cherche à intégrer le schéma dans un code où le maillage s'adapte automatiquement et simplement. On introduit alors une distribution de forces, soit attractives, soit répulsives, entre les noeuds du maillage. Le mouvement des noeuds résulte de l'obtention de l'état d'équilibre sur le domaine. Le raffinement et le déraffinement reposent sur des critères locaux, comme le gradient. Le dernier travail de cette thèse est consacré à la simultation numérique de phénomènes d'interaction fluide-structure afin de valider les algorithmes proposés. L'application concrête visée ici eset m'écoulement compressible autour d'une aile d'avion en mouvement.

L'étude algorithmique des courbes hyperelliptiques est la suite naturelle de celle des courbes elliptiques qui est maintenant bien avancée. La plupart des algorithmes connus pour les courbes elliptiques ainsi que leurs applications à la cryptographie peuvent être étendus plus ou moins facilement aux Jacobiennes de courbes hyperelliptiques. Dans une première partie, nous étudions certains aspects des invariants d'Igusa, qui généralisent le j-invariant d'une courbe elliptique. Pour les Jacobiennes (2,2)-décomposables, nous relions les invariants d'Igusa aux j-invariants des courbes elliptiques quotients par des formules explicites. Par ailleurs nous étudions ces invariants sous l'angle des formes modulaires de Siegel dans le but de calculer des équations modulaires. La deuxième partie est consacrée à des algorithmes de calcul de cardinalité d'une courbe hyperelliptique sur un corps fini. Ce calcul est une étape nécessaire lorsque l'on désire mettre en oeuvre un cryptosystème hyperelliptique. Hormis les algorithmes génériques qui peuvent s'appliquer à des groupes autres que des Jacobiennes, nous proposons une version effective des algorithmes à la Schoof en genre 2. Nous présentons aussi un premier pas vers des améliorations du type Elkies-Atkin, qui ont fait leur preuve dans le cas des courbes elliptiques. La troisième partie traite d'algorithmes de calcul de logarithme discret. Ce problème, réputé difficile, est la clef de voûte des cryptosystèmes: si l'on sait le résoudre en temps raisonnable, le système est fragile. Après un bref état de l'art, nous présentons des algorithmes utilisant les idées classiques de calcul d'index. En tirant parti des spécificités des problèmes provenant de la cryptographie, nous démontrons par des résultats de complexité ainsi que des expériences pratiques que les systèmes à base de courbes de genre supérieur ou égal à 4 ne sont pas sûrs. De plus, combiné avec les techniques de descente de Weil, ceci permet d'attaquer certains cryptosystèmes elliptiques.

Ce travail est consacré à l'étude d'un problème de transmission d'ondes électromagnétiques dans des matériaux fortement conducteurs entourés d'un matériau diélectrique isolant. On analyse finement le phénomène de l'effet de peau à l'aide de l'analyse asymptotique et de la simulation numérique. On calcule un développement asymptotique multi-échelle à haute conductivité des solutions des équations de Maxwell tridimensionnelles en régime harmonique. Pour valider ce développement, on établit des estimations uniformes par sous-domaines des solutions de ces équations pour une conductivité assez élevée. Ces estimations ont motivé une étude préliminaire d'un problème de transmission scalaire pour lequel des estimations a priori sont démontrées grâce à la convergence normale d'un développement asymptotique. L'accord des formules théoriques avec les calculs numériques est remarquable et met en évidence l'influence de la géométrie de l'interface dans le phénomène de l'effet de peau.<br /><br />D'autre part, on étudie le comportement du champ électromagnétique dans une cellule biologique modélisée par un milieu entouré d'une couche mince et plongée dans un milieu ambiant. On calcule des conditions de transmission approchées sur le bord du domaine intérieur équivalentes à la couche mince.

L'objectif de cette thèse est l'étude d'une classe d'équations aux dérivées partielles sous-elliptiques semi-linéaires avec un potentiel singulier sur le groupe de Heisenberg. Le terme non linéaire de cette équation est contrôlée par les inégalités de Sobolev et la singularité est contrôlé par l'inégalité de Hardy. Ce problème est une généralisation du problème classique de l'espace euclidien. Le premier résultat de cette thèse est une généralisation de l'inégalité classique Hardy avec un potentiel singulier dont la croissance est exactement l'analogue de celle du cas classique. Le second résultat est d'établir l'existence de solution du problème de Dirichlet semi-linéaire avec un potentiel singulier sur le groupe de Heisenberg en utilisant la théorie de points critiques, comme le théorème de Rabinowitz et de Palais-Smale.

Cette thèse est constituée de trois parties pouvant être lues indépendamment. Dans la première partie, on s'intéresse à la résolution de problème de contrôle stochastique par des méthodes de quantification. La quantification consiste à trouver la meilleure approximation d'une loi de probabilité continue par une loi de probabilité discrète avec un nombre donné N de points supportant cette loi. Nous allons expliciter un cadre de programmation dynamique " générique " qui permet de résoudre de nombreux problèmes de contrôle stochastique comme les problèmes de temps d'arrêt optimal, de maximisation d'utilité, d'équations différentielles stochastiques rétrogrades, de filtrage... Dans ce cadre, nous donnons trois schémas de discrétisation en espace associée à la quantification d'une chaîne de Markov. Dans la deuxième partie, nous présentons un schéma numérique pour les équations différentielles stochastiques rétrogrades doublement réfléchies. Nous nous plaçons dans un cadre général qui contient des sauts et des processus progressifs dépendant de la trajectoire. On propose une approximation du type schéma d'Euler. Nous prouvons la convergence du schéma pour les équations différentielles stochastiques rétrogrades quand le nombre de pas de temps n tend vers l'infini. Nous donnons aussi la vitesse de convergence pour les game options. Dans la troisième partie, on s'intéresse à la réplication des dérivés sur la variance réalisée. On propose une couverture robuste au modèle de volatilité constituée de positions dynamiques sur des options européennes. On étend ensuite cette méthodologie aux options sur fond et aux processus à saut.

Mon travail de recherche a couvert ces dernières années un spectre assez large de modélisation, analyse numérique et simulation pour des problèmes physiques et biologiques, de la mécanique à l'échelle moléculaire ou particulaire, niveau dit " microscopique ", à la diffusion non-linéaire, niveau " macroscopique ", en passant par des équations cinétiques décrivant la distribution en vitesse de particules, niveau " mésoscopique ". Le point commun de ces travaux est l'étude de comportements asymptotiques et la recherche d'explications de phénomènes observables macroscopiques par des descriptions micro ou mésoscopiques à l'aide d'outils numériques. Les applications auxquelles on s'intéresse ici sont, pour la partie physique, liées à la thermodynamique couplée ou non avec du transfert radiatif ou une dynamique particulaire raréfiée et, pour la partie biologie-chimie, à des problèmes de propagation d'information par des mécanismes de transport ou de diffusion, ainsi qu'à la recherche de formation de motifs et à l'étude d'extinction de populations. Les équations aux dérivées partielles étudiées proviennent de modèles déterministes ou probabilistes et se classent dans les catégories de transport et de diffusion évolutifs. L'apparition, lors de l'adimensionnement des problèmes, de petits paramètres qui augmentent l'influence de certains des phénomènes caractéristiques dans la solution peut entraîner des difficultés importantes lors du traitement numérique, ce qui impose le recours à des solutions nouvelles permettant de recouvrer au minimum le comportement macroscopique prédit par les observations et par l'analyse mathématique.

En vue de répondre à l'absence de données complètes et réalistes de la part des fournisseurs, la connaissance du comportement des ferrites MnZn qui équipent les noyaux des composants haute fréquence a progressé nettement grâce à l'apport d'une nouvelle méthode de caractérisation des matériaux magnétiques. Contrairement aux méthodes normalisées, cette méthode, basée sur la mesure de deux impédances électriques complémentaires, permet d'accéder, à toute fréquence, aux données perméabilité et permittivité complexes. En ce qui concerne les formulations par éléments finis, les formulations générales en 3D ont été réécrites avec des propriétés physiques complexes, à l'aide de deux types de potentiel: le potentiel électrique et magnétique. Les hypothèses bidimensionnelles cartésienne et axisymétrique sont aussi utilisées. Le couplage avec les équations du circuit électrique d'alimentation est réalisé par la méthode des potentiels électriques intégrés dans le temps. Cette méthode généralement utilisée en 3D est adaptée pour les problèmes 2D. Les problèmes des capacités parasites liés aux effets des interactions électriques en haute fréquence sont aussi présentés. Pour la modélisation à des fréquences élevées, l'influence du champ magnétique sur le fonctionnement du composant n'est plus négligeable. Un modèle magnétique devient nécessaire afm de tenir compte de l'inductance d'un composant. Plusieurs études récentes sur les effets des interactions magnétiques électriques en haute fréquence sont montrées. Chaque méthode a comme particularité la nécessité des approximations, dans la plupart des cas géométriques, par rapport au problème qui est essentiellement tridimensionnel. Une modélisation par la méthode des éléments fmis utilisant la formulation axisymétrique couplée avec les équations de circuit électrique est proposée et bien adaptée pour une caractérisation électromagnétique des composants bobinés.