Les travaux réalisés dans cette thèse concernent l’étude de problèmes quasi-linéaires paraboliques et elliptiques singuliers. Par singularité, nous signifions que le problème fait intervenir une non linéarité qui explose au bord du domaine où l’équation est posée. La présence du terme singulier entraine un manque de régularité des solutions. Ce défaut de régularité génère en conséquence un manque de compacité qui ne permet pas d’appliquer directement les méthodes classiques d’analyse non linéaires pour démontrer l’existence de solutions et discuter les propriétés de régularité et de comportement asymptotique des solutions. Pour contourner cette difficulté dans le contexte des problèmes que nous avons étudiés, nous sommes amenés à établir des estimations a priori très fines au voisinage du bord en combinant diverses méthodes : méthodes de monotonie (reliées au principe du maximum), méthodes variationnelles, argument de convexité, méthodes d’interpolation dans les espaces de Sobolev, méthodes de point fixe. / In this thesis I have studied the Evolution p-laplacian equation with singular nonlinearity. We start by studying the corresponding elliptic problem and then by defining a proper cone in a suitable Sobolev space find the uniqueness of the solution. Taking that into account and using the semi discretization in time we arrive at the uniqueness and existence result. Next we prove some regularity theorem using tools from Nonlinear Semigroup theory and Interpolation spaces. We also establish some related result for the laplacian case where we improve our result on the existence and regularity, due to the non degeneracy of the laplacian. In another related work we work with a semilinear equation with singular nonlinearity and using the moving plane method prove the symmetry properties of any classical solution. We also give some related apriori estimates which together with the symmetry provide us the existence of solution using the bifurcation result.

Ce mémoire porte sur la simulation numérique de la réponse des capteurs de pression capacitifs micro-électroniques. Les courbes de réponse du capteur capacitif classique, en fonction d'une pression constante, sont établies. L'auteur examine ensuite les modifications apportées à ces courbes lorsqu'une pression électrostatique est superposée à la pression constante. La suite de ce travail est consacrée à l'étude de capteurs capacitifs de structures plus complexes. Les capteurs à armature déformable d'épaisseur variable sont traités. L'auteur montre l'influence de la variation de l'épaisseur sur la réponse du capteur. Il présente ensuite une étude des capteurs de géométrie polygonale et propose deux applications permettant d'élargir la gamme de pressions. Une analyse du comportement des capteurs en régime de contact est effectuée : la sensibilité des courbes de réponse est nettement améliorée par ce mode de fonctionnement. L'auteur propose finalement une modélisation des capteurs capacitifs en utilisant la théorie non linéaire des fortes déflexions de von Karman. Il est indispensable de tenir compte de cette théorie dès que la déflexion de la plaque sensible est de l'ordre de grandeur de son épaisseur. La simulation des problèmes développés dans ce mémoire fait intervenir des équations et des sytèmes d'équations aux dérivées partielles, linéaires et non linéaires, à deux variables d'espace. La discrétisation de ces équations est effectuée par la méthode générale des différences finies. La résolution des équations résultantes est obtenue par les méthodes itératives du type gradient conjugué et Newton-Raphson. Un logiciel convivial de discrétisation des équations aux dérivées partielles stationnaires linéaires ou non linéaires a été développé. L'auteur présente finalement une étude de la méthode des différences finies curvilignes et de son application à la deflexion des plaques.

Avant d'estimer les paramètres intervenant dans des systèmes dynamiques, linéaires ou non-linéaires, contrôlés ou non contrôlés, il est important d'effectuer une étude d'identifiabilité, c'est à dire si, à partir des données expérimentales, les paramètres étudiés sont uniques ou non. Plusieurs méthodes ont été développées ces dernières années, en particulier une qui est basée sur l'algèbre différentielle. Celle-ci a conduit à un algorithme utilisant le package Diffalg implémenté sous Maple et permettant de tester l'identifiabilité de systèmes d'équations différentielles. Les résultats obtenus à partir de cette étude permettent de mettre en place des méthodes numériques pour obtenir une première estimation des paramètres, ceci sans aucune connaissance à priori de leur valeur. Cette première estimation peut alors être utilisée comme point de départ d'algorithmes itératifs spécialisés dans l'étude des problèmes mal posés : la régularisation de Tikhonov. <br />Dans cette thèse, deux modèles non linéaires en pharmacocinétique de type Michaelis-Menten ont tout d'abord été étudiés. Ensuite, nous nous sommes intéressés à un modèle de pollution décrit par une équation aux dérivées partielles parabolique. Le terme source à identifier était modélisé par le produit de la fonction débit avec la masse de Dirac, de support la position de la source polluante. Le but du travail était de fournir une première estimation de la source polluante. Après avoir obtenu l'identifiabilité du problème continu, nous avons étudié l'identifiabilité d'un problème approché en nous appuyant sur les méthodes d'algèbre différentielle. Celui-ci a été obtenu en approchant la masse de Dirac par une fonction gaussienne et en discrétisant ensuite le système en espace. Les résultats d'identifiabilité ont été obtenus quel que soit le nombre de points de discrétisation en espace. De cette étude théorique, nous en avons déduit des algorithmes numériques donnant une première estimation des paramètres à identifier.

Ces travaux sont dédiés au développement de méthodes numériques à base d'ondelettes pour la résolution d'équations aux dérivées partielles et pour le traitement d'images. La première partie est consacrée à la construction d'une nouvelle méthode couplant ondelettes et domaines fictifs pour la résolution d'équations paraboliques 2D définies sur un domaine quelconque. Une analyse complète de la méthode est fournie; elle montre l'efficacité de cette approche en terme de qualité des résultats (borne d'erreur, raffinement local), d'efficacité numérique (conditonnement, préconditionnement simple) et de flexibilité de l'implémentation (implémentation rapide et efficace). Deux applications numériques à la résolution de l'équation de la chaleur définie sur des domaines non polygonaux ou à frontière mobile (problème de Stefan) sont présentées. La seconde partie est consacrée à la construction d'un nouvel algorithme de compression d'images adapté aux contours. On commence par introduire des analyses multi-échelles 1D du type Harten, dépendant d'une famille de points. Ces analyses conduisent à des décompositions multi-échelles efficaces pour la représentation de signaux discontinus. Cette approche est ensuite généralisée au cas bi-dimensionnel et un algorithme de compression multi-directionnel dépendant des contours de l'image est introduit. Il utilise une carte des contours obtenue préalablement. Plusieurs comparaisons avec d'autres approches sont ensuite présentées.

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.