Nous étudions la déformation d'une goutte d'eau par électromouillage. La géométrie de la goutte près de la ligne de contact, au coeur de la compréhension complète du phénomène, soulève encore des interrogations. Ce travail y apporte des réponses théoriques et numériques. Un modèle utilisant l'optimisation de forme nous permet de montrer que l'angle de contact est indépendant du potentiel appliqué. Pour permettre une visualisation, nous simulons numériquement les formes macroscopiques de gouttes grâce à un code existant. Ceci étant insuffisant pour visualiser ce qui se passe à la ligne de contact, nous proposons deux voies. Nous améliorons l'approximation de la singularité du potentiel à la ligne de contact. Puis vu le caractère local de l'information recherchée, nous modifions le modèle global et extrayons un modèle différentiel local pour préciser les formes de gouttes à potentiel donné, effectuer un calcul précis de courbure, et enfin visualiser l'invariance de l'angle de contact.

La décomposition modulaire apparait naturellement dans différents domaines de la combinatoire (et en particulier les graphes). Cette décomposition se révèle être un puissant outil de description d'objets discrets. Elle est aussi utilisée comme étape préliminaire à nombreux d'algorithmes.<br /><br />Dans ce mémoire, nous nous intéressons au calcul de la décomposition modulaire. Malgré la publication d'algorithmes linéaires au milieu des années 90, la recherche sur ce problème n'a pas cessée. Nous faisons le point sur les différentes avancées et techniques utilisées.

Le cadre général de cette thèse est celui de la propriété d'indépendance en théorie des modèles. Les théories sans cette propriété sont appelées NIP ou dépendantes. L'objectif principal est de trouver de nouveaux exemples de théories appartenant à cette classe. Nous montrons d'abord un résultat isolé qui répond une question de Pillay : dans un groupe NIP possédant une partie infinie de classe de nilpotence finie, on y trouve un sous-groupe définissable de même classe de nilpotence et contenant cette partie infinie. Le reste de la thèse est motivé par deux cadres extrêmement proches : les groupes abéliens munis d'une chaîne de sous-groupes uniformément définissables, et les groupes abéliens valués. Dans le premier cas nous identifions une certaine théorie et nous étudions plusieurs extensions de cette théorie. Nous prouvons une élimination des quantificateurs dans chacune des ses extensions, grâce à laquelle la NIP en découle facilement. Le dernier résultat est le plus substantiel. Nous montrons qu'une théorie naturelle de chaîne colorée munie quasi-automorphismes n'a pas la propriété d'indépendance. Nous appliquons ensuite ce résultat à une certaine théorie de groupes valués, étudiée par Simonetta dans le contexte des groupes C-minimaux, pour en conclure qu'elle est NIP. Nous montrons aussi d'une façon assez directe (en utilisant des résultats de Rubin et Poizat) qu'une chaîne colorée munie d'automorphismes est NIP.

Cette thèse s'inscrit dans le thème des travaux relatifs aux techniques linéaires pour la maîtrise des systèmes non linéaires. Il s'agit d'une approche qui consiste à approximer le système non linéaire par un ensemble de systèmes linéaires incertains pour lesquels sont déterminées des commandes via les méthodes classiques des systèmes linéaires (LQ, LQG, placement de pôles, H2, H¥, etc). La commande globale consiste en un séquencement des gains locaux en fonction de l'état mesuré sur le système. Nombre d'approches multi-modèles qui vont dans cette direction comportent un degré d'imprécision, d'approximation assez élevé. Pour ce type d'approche, l'évaluation des performances et leur validation ne peut passer que par des simulations, un moyen, qui pour être à peu près convaincant, se doit d'être très lourd. L'approche développée ici a pour ambition de proposer une synthèse pas à pas de commande qui permette d'assurer un certain niveau de performances garanties. Le premier pas dans cette direction est fourni par la technique qui permet d'approximer le système non linéaire par un ensemble de systèmes linéaires (système linéaire par morceaux) avec un niveau de précision prédéfini et paramétré. Le deuxième pas est l'utilisation de méthodes de commande robustes à base de LMIs, qui vont permettre d'assurer la stabilité locale dans un domaine non infinitésimal de l'espace d'état. L'approche permet de maîtriser la complexité de la commande globale et des techniques de séquencement en permettant l'obtention d'une cardinalité raisonnable pour l'ensemble des systèmes linéaires approximants. Cette approche est illustrée sur des applications réalistes: un pendule inversé simple, un moteur et un panneau solaire.

Le problème du sac à dos à plusieurs contraintes est un problème classique de l'optimisation appartenant à la classe des problèmes NP-difficiles. On le retrouve notamment sous la forme de sous-problème de nombreux problèmes d'optimisation combinatoire. Les méthodes classiques de résolution exacte telles que la programmation dynamique ou le branch-and-bound ont été traitées abondamment dans la littérature. Elles présentent n'eanmoins des faiblesses si elles sont utilisées telles quelles, d'où l'idée de faire coopérer ces méthodes en tirant profit de leurs spécificités afin de proposer soit des méthodes heuristiques performantes, soit des méthodes exactes plus efficaces. Les approches heuristiques que nous proposons sont comparées à d'autres heuristiques de la littérature. Notre méthode coopérative est, quant à elle, comparée à un algorithme de branchand- bound. L'ensemble de ces tests numériques ont été menés pour diverses instances plus ou moins difficiles de la littérature ainsi que sur des instances engendrées aléatoirement. Enfin, nous proposons deux techniques pour engendrer des problèmes difficiles. Ces dernières sont basées sur des problèmes en contraintes égalités et sur l'analyse de la transformée en Z du sac à dos.

Cette thèse s'intéresse à deux modèles de régression semi-paramétrique permettant de contourner le problème classique du "fléau de la dimension" inhérent aux approches non-paramétriques usuelles. La première partie du travail concerne l'étude d'un modèle de régression dit partiellement linéaire ; le but est d'identifier les régresseurs qui composent la partie non-linéaire de la fonction de régression ainsi que d'estimer tous les paramètres du modèle. Pour ce faire nous définissons des quantités caractéristiques du modèle qui mesurent la linéarité des régresseurs puis nous développons un test du nombre de composantes non-linéaires basé sur cette mesure. La seconde partie porte sur l'étude d'un modèle dit à direction révélatrice unique et consiste à estimer, via des propriétés géométriques, l'axe du modèle et d'en déduire un test convergent et puissant sous une suite d'alternatives locales.

Cette thèse a pour objectif de proposer un modèle mathématique pour le transport électronique hors-équilibre dans des systèmes mésoscopiques tels que les hétérostuctures ou les super-réseaux. On est amené à faire une étude asymptotique de systèmes non-linéaires stationnaires 1D du type Schrödinger-Poisson hors-équilibre. Le potentiel présente des sauts ainsi que des puits quantiques ponctuels à la limite. Pour l'étude non-linéaire à proprement parler, on établit l'existence de solutions asymptotiques, et que celles-ci sont déterminées par un nombre fini de paramètres. Néanmoins, le gros de l'étude consiste en une compréhension des propriétés spectrales de l'équation de Schrödinger linéaire associée, le système non-linéaire étudié étant semi-linéaire. La nature du problème nécessite une analyse sur le spectre continu, qui plus est la présence des puits engendre des résonances quantiques. Après avoir établi l'asymptotique des fonctions du Hamiltonien, on s'attarde sur les fonctions du moment. Leur analyse, plus complexe, est étroitement liée aux résonances de l'opérateur. On fournit une réponse complète dans les cas où la répartition des puits permet un traitement de ces résonances, notamment lorsque les puits sont bien groupés ou confinés à l'intérieur de l'île et suivant qu'ils sont alimentés ou non. Cette discussion met en évidence l'existence de solutions stationnaires dites classiques, par opposition aux solutions de nature quantique. On termine l'étude en mettant en évidence l'existence de solutions quantiques dans des cas particuliers.

Cette thèse développe une nouvelle méthodologie permettant d'établir des approximations analytiques pour les prix des options européennes. Notre approche combine astucieusement des développements stochastiques et le calcul de Malliavin afin d'obtenir des formules explicites et des évaluations d'erreur précises. L'intérêt de ces formules réside dans leur temps de calcul qui est aussi rapide que celui de la formule de Black et Scholes. Notre motivation vient du besoin croissant de calculs et de procédures de calibration en temps réel, tout en contrôlant les erreurs numériques reliées aux paramètres du modèle. On traite ainsi quatre catégories de modèles, en réalisant des paramétrisations spécifiques pour chaque modèle afin de mieux cibler le bon modèle proxy et obtenir ainsi des termes correctifs faciles à évaluer. Les quatre parties traitées sont : les diffusions avec sauts, les volatilités locales ou modèles à la Dupire, les volatilités stochastiques et finalement les modèles hybrides (taux-action). Il faut signaler aussi que notre erreur d'approximation est exprimée en fonction de tous les paramètres du modèle en question et est analysée aussi en fonction de la régularité du payoff.

Le travail de cette thèse s'inscrit dans l'étude des fondements mathématiques de la théorie quantique de l'information et de la physique quantique, à travers l'étude de l'ensemble des points fixes (appelé aussi frontière de Poisson) d'opérateurs quantiques et l'étude des trajectoires quantiques en dimension infinie. Nous précisons en premier lieu la frontière de Poisson d'un opérateur quantique, puis nous répondons négativement aux conjectures soulevées par Arias et al. sur la frontière de Poisson d'un opérateur quantique. Dans un second temps, nous identifions la frontière de Poisson non-commutative d'un groupoïde s-discret mesuré permettant ainsi de retrouver un résultat de moyennabilité de l'extension de Poisson du groupoïde. Enfin nous obtenons des résultats de purification asymptotique des trajectoires quantiques à valeurs dans une algèbre fortement compacte.

L'objet de cette thèse est l'étude mathématique et numérique d'un système de compétition de plusieurs espèces pour une ressource dans un milieu hétérogène. Lorsque le milieu est homogène, il est connu qu'un tel système, appelé système de chemostat, vérifie le principe d'exclusion compétitive : au plus une espèce peut survivre. Nous proposons deux modèles spatialement structurés et étudions le rôle de l'hétérogénéité spatiale dans les phénomènes de coexistence. Le premier modèle est un système d'équations matricielles et le second un système de réaction-diffusion. Notre première contribution est de montrer que les solutions du système de réaction-diffusion sont uniformément bornées en temps et en espace en norme L infini. Nous étudions ensuite le cas des petits taux de migration dans le modèle discret et montrons que la coexistence est possible. Dans le cas des grands taux de migration, nous montrons à l'aide du théorème de la variété centrale que pour chacun des deux modèles, le principe d'exclusion compétitive est vérifié. Nous construisons finalement des solutions stationnaires de coexistence pour deux espèces à l'aide d'une méthode de bifurcations globales. Cette construction nous amène à définir la notion de domaine de coexistence dans l'espace des paramètres. Dans les derniers chapitres, nous illustrons et étendons numériquement les résultats précédents. Nous montrons en particulier comment le domaine de coexistence dépend du taux de migration et de l'hétérogénéité spatiale.