La description des mécanismes de conduction dans les dispositifs semi-conducteurs par le modèle dérive-diffusion (DD) mène à un système de trois équations aux dérivées partielles non linéaires fortement couplées. Cette thèse est composée de trois parties. La première est consacrée à la mise en équations et à la présentation des régimes de fonctionnement ainsi que la simplification du modèle dans le cas d'une jonction pn. La deuxième partie consiste à identifier la zone de dépletion dans une jonction PN. En formulant le problème en un problème d'inéquations variationnelles, nous démontrons que le problème admet une solution. L'originalité numérique de cette partie est l'utilisation des noeuds sur la frontière libre comme inconnus. Nous proposons deux algorithmes de résolution que nous testons en utilisant la méthode des éléments finis et la méthode des équations intégrales. Dans la troisième partie, nous nous intéressons à l'étude mathématique du modèle DD à l'état stationnaire dans les semi-conducteurs écrit avec les variables de Slotboom. Nous démontrons l'existence d'une solution, dans le cas où les lois de mobilités dépendent du champ électrique, en appliquant les techniques de l'analyse convexe. Ensuite, nous considérons que le terme d'avalanche est non nul, nous donnons des estimations a priori et nous prouvons un théorème d'existence. Afin d'étudier l'unicité de solutions de notre modèle, nous exposons tout d'abord une condition pour que le système possède au plus une solution. Nous en déduisons des résultats d'unicité dans des cas spécifiques tels que le domaine soit suffisamment petit ou la permittivité soit assez grande. Nous donnons un théorème d'unicité locale dans les cas où le terme d'avalanche est non nul et les changements de conditions aux limites se font à angles droits.

Dans ce travail, nous avons étudié deux problèmes fondamentaux de la vision : la restauration d'image dans la première partie, puis dans la deuxième partie l'agrandissement d' image. L'introduction de la première partie est une présentation des méthodes mathématiques de restauration d'image. En suite, nous présentons les différents travaux théoriques établis sur le modèle de Malik et Perona et son lien avec la doctrine de détection de bord. Ceci nous conduit au choix du modèle que nous étudions dans la suite. Pour ce modèle nous prouvons en petits temps et en toutes dimensions, existence et unicité d'une solution classique. Ensuite, en dimensions un et deux, nous construisons un schéma numérique dont nous prouvons la convergence vers une solution faible. Nous clôturons cette partie par illustrer quelques exemples d'application du modéle. Dans la deuxième partie nous abordons le problème de l'agrandissement des images. Après avoir exposé les méthodes qui existent dans la littérature, nous proposons une approche basée sur l'analyse géométrique de l'image. Nous utilisons ensuite la théorie des solutions de viscosité pour prouver que le modèle proposé est bien posé. Enfin nous discutons de la résolution numérique du modèle et nous présentons quelques exemples d'applications.

La gestion des ressources marines est l'un des enjeux majeurs du XXIe siècle. Les travaux présentés dans cette thèse portent sur l'étude du comportement migratoire des civelles (larves d'anguilles) dans l'estuaire de l'Adour. Le modèle, qui est constitué d'une équation aux dérivées partielles dégénérée de convection diffusion en 2D, prend en compte l'influence de la marée dynamique (système d'équations non linéaires dégénérées de Saint-Venant) et l'intensité lumineuse dans la colonne d'eau. Dans un premier temps, en appliquant la théorie du degré topologique nous avons montré l'existence de solutions stationnaires du modèle hydrodynamique. Par la suite, en injectant ces solutions dans notre modèle migratoire, nous avons établi l'existence de solutions en employant la théorie des semi-groupes, la méthode des caractéristiques et le théorème de J.-L. Lions. La positivité et des estimations a priori des densités biologiques avaient été fournies auparavant. Dans un second temps, nous présentons notre approche numérique. A l'aide des directions alternées et des pas fractionnaires dans un domaine réel de 30 km de long et de hauteur d'eau variable (bathymétrie réelle et influence de la marée) les résultats obtenus reproduisent bien qualitativement ce qui était attendu.

Nous présentons un modèle de division de cellules sanguines basé sur la présence d'un facteur appelé maturation et le partage du cycle en une phase de prolifération et une phase de repos. Il est représenté par un système S de deux équations de transport structuré en âge et maturité. En intégrant par rapport à l'âge, S devient un système d'équations aux dérivées partielles à retards structuré en maturité. Dans le chapitre 1, nous introduisons le contexte biologique, et nous présentons notre modèle. Dans le chapitre 2, nous étudions le modèle quand la phase de prolifération est fixe et la division est égale. Nous montrons l'existence et l'unicité puis un résultat liant les solutions aux cellules souches ainsi qu'un résultat d'invariance, de comportement asymptotique et d'instabilité. Dans le chapitre 3, nous supposons que la phase de prolifération varie suivant la maturité des cellules. Nous prouvons des résultats analogues au chapitre 2. Dans le chapitre 4, la phase de prolifération est fixe mais nous supposons la division inégale. En utilisant la théorie des opérateurs de Markov, nous prouvons un résultat de stabilité globale.

Dans cette thèse, nous nous sommes intéressés à la métastabilité de certains systèmes dynamiques stochastiques. Plus précisément, nous avons étudié des équations différentielles ou des équations aux dérivées partielles perturbées par un bruit blanc additif dans l'asymptotique du bruit faible. Nous avons donné l'expression et le calcul de l'espérance de temps des transitions métastables pour certains types de modèles (formule dite d'Eyring-Kramers). Dans un premier temps, nous avons généralisé des résultats connus pour des diffusions d'Itô dont la dérive est le gradient d'un potentiel. Nous donnons une équivalence entre la géométrie du paysage décrit par le potentiel et des circuits électriques qui nous permet de donner des expressions simples pour le calcul des temps de transition entre des minima du potentiel. Nous utilisons la théorie du potentiel et les capacités dans le calcul de ces temps. Le principal résultat de cette thèse concerne des équations aux dérivées partielles stochastiques scalaires, paraboliques, semi-linéaires et perturbées par un bruit blanc espace-temps sur un intervalle borné réel comme l'équation d'Allen-Cahn. Ce modèle constitue un analogue infini-dimensionnel aux diffusions en dimension finie. Nous avons considéré deux types de conditions au bord, Dirichlet et Neumann, et discutons le cas des conditions périodiques. Sous certaines hypothèses, nous donnons l'expression, analogue à la dimension finie, des temps transitions. La preuve utilise une discrétisation par différence finie de l'équation et un couplage nous permettant d'appliquer les estimations pour la dimension finie. Il a fallu notamment contrôler uniformément ces estimations en fonction de la dimension pour passer à la limite et récupérer le système infini-dimensionnel.

On présente quelques résultats de contrôlabilité et de contrôlabilité lagrangienne sur des équations aux dérivées partielles.

Le slugging (ou écoulement à bouchons) est un régime d'écoulement polyphasique indésirable apparaissant sur les systèmes de production de pétrole. Dans ce manuscrit, nous étudions la dynamique de ce phénomène intermittent dans le but de le supprimer par actionnement automatique de la vanne de sortie. Nous proposons des solutions de contrôle applicables dans une vaste gamme de situations industrielles. Après une analyse quantitative des propriétés physiques du slugging, nous proposons un modèle à paramètres distribués d'écoulement diphasique (gaz-liquide) reproduisant ce phénomène. Le modèle prend la forme d'un système hyperbolique de lois de conservation, pour lequel nous proposons un schéma de résolution numérique. De plus, nous procédons à une analyse de stabilité via la construction d'une fonction de Lyapunov de contrôle stricte pour le problème aux deux bouts avec condition initiale. Ensuite, nous présentons un modèle de dimension finie capable de reproduire les oscillations de pression et de débit qui caractérisent le slugging. Après une analyse des propriétés dynamiques de ce système, nous décrivons comment calibrer les paramètres du modèle afin que son comportement corresponde à celui d'un système donné. Enfin, nous proposons des lois de contrôle sous la forme de boucles de rétroaction, basées sur l'analyse du modèle réduit, dans deux situations industrielles distinctes : selon qu'un capteur de pression de fond est disponible ou non. Les performances de ces solutions sont comparées avec les méthodes correspondant à l'état de l'art dans chaque situation. La conclusion de cette étude est qu'il n'est pas systématiquement nécessaire de disposer d'un capteur de pression de fond pour stabiliser l'écoulement. Quand un tel capteur est disponible, la loi de contrôle que nous proposons possède de meilleures propriétés de stabilisation que les méthodes communément utilisées dans l'industrie, ce qui, lors du passage à l'échelle, devrait se traduire par une augmentation de la production de pétrole.

La thèse présentée ici a pour but de proposer des systèmes de détection, de composition de constituants sémantiques et d'interprétation dans la compréhension de la langue naturelle parlée. Cette compréhension se base sur un système de reconnaissance automatique de la parole qui traduit les signaux oraux en énoncés utilisables par la machine. Le signal de la parole, ainsi transcrit, comporte un ensemble d'erreurs liées aux erreurs de reconnaissance (bruits, parasites, mauvaise prononciation...). L'interprétation de cet énoncé est d'autant plus difficile qu'il est issu d'un discours parlé, soumis à la disfluence du discours, aux auto-corrections... L'énoncé est de plus agrammatical, car le discours parlé lui-même est agrammatical. L'application de méthodes d'analyses grammaticales ne produit pas de bons résultats d'interprétation, sur des textes issus de transcriptions de la parole. L'utilisation de méthodes d'analyses syntaxiques profondes est à éviter. De ce fait, une analyse superficielle est envisagée. Un des premiers objectifs est de proposer une représentation du sens. Il s'agit de considérer des ontologies afin de conceptualiser le monde que l'on décrit. On peut exprimer les composants sémantiques en logique du premier ordre avec des prédicats. Dans les travaux décrits ici, nous représentons les éléments sémantiques par des frames (FrameNet ). Les structures de frames sont hiérarchisées, et sont des fragments de connaissances auxquels on peut insérer, fusionner ou inférer d'autres fragments de connaissances. Les structures de frames sont dérivables en formules logiques. Nous proposons un système de compréhension de la parole à partir de règles logiques avec le support d'une ontologie, afin de pouvoir créer des liens à partir de composants sémantiques. Puis, nous avons mené une étude sur la découverte des supports syntaxiques des relations sémantiques. Nous proposons une expérience de composition sémantique afin d'enrichir les composants sémantiques de base. Enfin, nous présentons un système de détection de lambda-expression pour mettre en hypothèse les relations à trouver à travers le discours

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.

Les travaux présentés dans ce mémoire portent sur l'analyse mathématique de modèles dissipatifs en mécanique des milieux continus. Une attention est portée sur des modèles variationnels de mécanique de la rupture, d'endommagement et de plasticité. Par un souci d'unité, nous avons sélectionné le sous-ensemble maximal de nos travaux liés à ces sujets, en mettant ostensiblement de côté les articles \cite{BBDJ9,BBDJ10,BBDJ11,BBDJ13,BBDJ15} dont les domaines d'application diffèrent peu ou prou de ceux présentés ici. En particulier, les articles \cite{BBDJ10,BBDJ11} en collaboration avec V. Millot qui portent sur l'homogénéisation de fonctionnelles intégrales avec contrainte dans une variété relèvent plutôt de modèles de micromagnétisme. L'article \cite{BBDJ13} en collaboration avec E. Bonnetier et F. Triki traite de la diffraction d'ondes électromagnétiques sur des surfaces rugueuses par des méthodes d'équations intégrales et d'analyse spectrale. Enfin les articles \cite{BBDJ9} avec E. Zappale et H. Zorgati, et \cite{BBDJ15} avec F. Prinari et E. Zappale ont trait à l'étude de problèmes de réduction de dimension pour des énergies à croissance critique. Le cas d'énergies à croissance linéaire dans \cite{BBDJ9} relève d'une analyse dans l'espace des fonctions à variation bornée. Le cas d'énergies à croissance infinie dans \cite{BBDJ15} donne lieu à l'étude de fonctionnelles suprémales, liées au Laplacien infini, et est motivé par des modèles de rupture diélectrique. Dans le chapitre 1, il nous a semblé approprié de rappeler les notions de thermomécanique des milieux continus pour aboutir à la modélisation de milieux dissipatifs. Nous insistons plus particulièrement sur les milieux standards généralisés et les processus indépendants des vitesses. Ce chapitre est le dénominateur commun de la plupart des modèles d'élasticité, d'endommagement, de visco-plasticité, d'élasto-plasticité et de fracture évoqués dans la suite de ce mémoire. Le chapitre 2 est consacré à l'étude d'un modèle de mécanique de la rupture initialement introduit par Griffith et reformulé variationnellement par Francfort et Marigo. Nous présentons tout d'abord un résultat d'existence de solutions fortes dans le cas 2D antiplan. Nous nous concentrons ensuite sur l'étude d'une classe de matériaux particuliers que sont les films minces. Dans un premier temps, nous montrons comment divers modèles de membranes hétérogènes peuvent être obtenus à l'aide d'une analyse asymptotique par Gamma-convergence. Ensuite, nous nous intéressons à la croissance quasi-statique des fissures dans les films minces et établissons que les fissures sont asymptotiquement invariantes dans la direction de l'épaisseur. Enfin, nous étudions le décollement et la délamination de couches minces dont la modélisation repose soit sur la présence de défauts internes au milieu, soit sur un choix approprié de lois d'échelles sur la rigidité et la ténacité du milieu. Le chapitre 3 concerne l'étude de modèles d'endommagement. Une première partie est consacrée à la théorie de l'homogénéisation de fonctionnelles intégrales sur laquelle repose la compréhension de certains de ces modèles. A cet effet, nous rappelons les résultats classiques et exposons une approche par mesures de Young multi-échelles. Nous nous consacrons ensuite à l'étude des matériaux composites ainsi qu'à une propriété de localité pour cette classe de milieux homogénéisés. Dans une seconde partie, nous présentons un modèle d'évolution quasi-statique en endommagement brutal introduit par Francfort et Marigo, ainsi qu'un modèle de couplage entre l'endommagement et la rupture introduit par Fonseca et Francfort. Tels quels, ces modèles s'avèrent être mal posés, ce qui nécessite de définir une notion de solutions relaxées. A cet effet, nous établissons des résultats d'existence d'évolutions quasi-statiques homogénéisées. Dans une troisième partie, nous étudions une évolution par flot gradient d'un modèle d'endommagement non local. L'existence d'un flot gradient unilatéral pour la fonctionnelle d'Ambrosio-Tortorelli est démontrée à l'aide de la méthode des mouvements minimisants et la convergence vers les mouvements minimisants unilatéraux de la fonctionnelle de Mumford-Shah est établie. Le quatrième et dernier chapitre traite de modèles d'élasto-plasticité. Après avoir rappelé des résultats classiques sur la plasticité des métaux et des alliages, nous nous concentrons sur la plasticité des matériaux granulaires en mécanique des sols. Nous étudions tout d'abord un modèle de plasticité associée avec cap et une loi d'écrouissage sur celui-ci. En régime dynamique, nous montrons le caractère bien posé de ce modèle ainsi que la convergence vers un modèle de plasticité parfaite lorsque l'on fait tendre le cap à l'infini. En régime quasi-statique, nous établissons un résultat d'existence où le principe de travail maximal de Hill est remplacé par une identité d'énergie. Enfin nous étudions un modèle d'élasto-plasticité non-associée avec cap, pour lequel la loi de normalité n'est plus valable, en régime quasi-statique. Comme les solutions semblent présenter des discontinuités temporelles, nous établissons un résultat d'existence pour des temps convenablement remis à l'échelle. En annexe, nous regroupons l'ensemble des notations utilisées dans ce mémoire. Nous rappelons également un certain nombre de résultats classiques concernant notamment les fonctions à dérivées mesures et la Gamma-convergence.