Ce mémoire est centré autour de l'analyse numérique de schémas volumes finis pour un modèle simplifié d'écoulement de deux fluides incompressibles en milieu poreux. Ces phénomènes sont souvent qualifiés de phénomènes de convection diffusion à convection dominante (``convection dominated problems'' en anglais). La première partie du mémoire est consacrée à l'approximation numérique d'équations paraboliques hyperboliques faiblement ou fortement dégénérées. Les trois premiers chapitres sont consacrés à l'étude de la convergence de schémas volumes finis. Le dernier chapitre est consacré à l'analyse des résultats numériques obtenus. La seconde partie est consacrée à l'analyse numérique d'un modèle simplifié d'écoulement diphasique en milieu poreux par deux schémas différents. Le premier schéma dit ``des mathématiciens'' est basé sur la réécriture du système étudié sous la forme d'une équation parabolique hyperbolique sur la saturation et d'une équation elliptique sur la pression, ces deux équations étant couplées par le coefficient de diffusion. Le second schéma dit schéma ``des pétroliers'' est une méthode numérique utilisée en pratique dans l'industrie pétrolière. Les deux schémas sont analysés séparément et ils sont ensuite comparés numériquement.

Dans cette thèse nous étudions quelques problèmes inverses de valeurs au bord en dimension deux. Les problèmes considérés sont le problème de Calderon et le problème de Gel'fand-Calderon dans le cas scalaire et multi-canal, c'est-à-dire matriciel : cela peut etre vu notamment comme une approximation non-surdéterminée du cas tridimensionnel. Nous montrons d'abord quelques résultats pour le problème de Calderon anisotrope : nous présentons une nouvelle formulation du résultat d'unicité sur le plan ainsi que le premier résultat d'unicité globale pour le cas des surfaces à bord. Après, nous démontrons une nouvelle estimation de stabilité globale pour le problème de Gel'fand-Calderon dans le cas scalaire et multi-canal. Des techniques similaires donnent aussi une procédure de reconstruction globale pour le meme problème. Nous proposons ensuite un algorithme d'approximation rapidement convergent pour le problème de Gel'fand-Calderon multi-canal : cet algorithme est principalement motivé par des résultats de la théorie de diffusion inverse multi-dimensionnelle. Comme derniers résultats nous présentons des nouvelles estimations de stabilité globale pour les deux problèmes mentionnés plus haut qui dépendent explicitement de la régularité et de l'énergie.

Nous présentons deux approches différentes pour décrire le couplage hydromécanique des géomatériaux. Dans une approche de type phénoménologique nous traitons le milieu poreux comme un milieu continu équivalent dont les interactions entre la phase fluide et le squelette solide constituent le couplage du mélange à l'échelle macroscopique. En caractérisant le comportement de chaque phase nous arrivons à décrire le comportement couplé du milieu couplé saturé.Nous utilisons cette approche pour modéliser des essais expérimentaux faits sur un cylindre creux pour une roche argileuse (argile de Boom). Les résultats expérimentaux montrent de façon claire que le comportement de cette roche est fortement anisotrope. Nous avons choisi de modéliser ces essais en utilisant une lois de comportement élasto-plastique pour laquelle la partie élastique est transversalement isotrope.Le problème aux conditions aux limites étudié met en évidence des déformations localisées autour du forage intérieur. Afin de décrire de façon objective le développement de ces bandes de cisaillement nous avons considéré un milieu continu local de type second gradient qui permet d'introduire une longueur interne. De ce fait nous avons pu étudier le problème d'unicité en montrant qu'un changement de la discrétisation temporelle du problème aux limites peut conduire à des solutions différentes.Dans la deuxième approche étudiée nous caractérisons la microstructure du matériau avec des grains et un réseau de canaux pour la phase fluide. À l'aide d'un processus numérique d'homogénéisation nous arrivons à calculer numériquement la contrainte du mélange et le flux massique. Cette méthode d'homogénéisation numérique a été implémentée dans un code aux éléments finis afin d'obtenir des résultats macro. Une validation de l'implentation est proposée pour des calculs en mecanique pure et en hydromécanique.

La tomographie consiste à reconstruire un objet nD à partir de projections (n-1)D. Cette discipline soulève plusieurs questions auxquelles la recherche essaie d’apporter des réponses. On s’intéresse dans cette thèse à trois aspects de cette problématique : 1) la reconstruction de l’image 2D à partir de projections dans un cadre rarement étudié qui est celui des sources ponctuelles ; 2) l’unicité de cette reconstruction ; 3) l'estimation d’informations concernant un objet sans passer par l'étape de reconstitution de son image. Afin d’aborder le problème de reconstruction pour la classe des ensembles convexes, nous définissons une nouvelle classe d’ensembles ayant des propriétés de convexité qu’on appelle convexité par quadrants pour des sources ponctuelles. Après une étude de cette nouvelle classe d’ensembles, nous montrons qu’elle présente des liens forts avec la classe des ensembles convexes. Nous proposons alors un algorithme de reconstruction d’ensemblesconvexes par quadrants qui, si l’unicité de la reconstruction est garantie, permet de reconstruire des ensembles convexes en un temps polynomial. Nous montrons que si une conjecture, que nous avons proposée, est vraie, les conditions de l’unicité pour les ensembles convexes par quadrants sont les mêmes que celles pour les ensembles convexes. Concernant le troisième aspect étudié dans cette thèse, nous proposons une méthode qui permet d’estimer, à partir d’une seule projection, la surface d’un ensemble 2D. Concernant l’estimation du périmètre d’un ensemble 2D, en considérant les projections par une deuxième source d’un ensemble convexe, nous obtenons deux bornes inférieures et une borne supérieure pour le périmètre de l’objet projeté. / Tomography is about reconstructing an nD object from its (n-1)D projections. This discipline addresses many questions to which research tries to provide answers. In this work, we are interested to three aspects: 1) the 2D image reconstruction from projections in a rarely studies framework that is the point sources; 2) the uniqueness of this reconstruction; 3) estimating information about an object without going through the step of reconstructing its image. To approach the problem of tomographic reconstruction for the class of convex sets, we define a new class of sets having properties of convexity called quadrant convexity for point sources. After a study of this new class of sets, we show that it presents strong links with the class of convex sets. Wepropose a reconstruction algorithm for quadrant-convex sets that, if the uniqueness of the reconstruction is guaranteed, allows the reconstruction of convex sets in polynomial time. We also show that if a conjecture we have proposed is true the conditions of uniqueness for quadrant-convex sets are the same as those for convex sets. Regarding the third aspect studied in this thesis, we focus on two quantitative properties that are the surface and the perimeter. We propose a method to estimate, from only one projection, the surface of a 2D set. We obtain two lower bounds and an upper bound for the perimeter of a projected convexobject by considering the projections from a second point source.

Dans cette thèse, on étudie principalement l’équation de Boltzmann homogène 3D pour les potentiels durs et les potentiels modérément mous et l’équivalence entre une EDS à sauts et l’EDP correspondante. En particulier, on calcule le spectre multifractal de certains processus stochastiques, on étudie le caractère bien-posé et la propagation du chaos pour l’équation de Boltzmann. Dans le premier chapitre, on étudie les propriétés trajectorielle pathologiques du processus stochastique (Vt)t_0 représentant l’évolution de la vitesse d’une particule typique dans un gaz modélisé par l’équation de Boltzmann pour les potentiels durs ou modérément mous. Nous montrons que ce processus est multifractal et qu’il a un spectre déterministe. Pour les potentiels durs, nous donnons aussi le spectre multifractal du processus $X_t =\int_0^t V_s ds$, représentant l’évolution de la position de la particule typique. Dans le deuxième chapitre, nous étudions l’unicité de la solution faible à l’équation de Boltzmann dans la classe de toutes les solutions mesures, pour les potentiels modérément mous. Ceci nous permet aussi d’obtenir un taux quantitatif de propagation du chaos pour le système de particules de Nanbu. / This thesis mainly studies the 3D homogeneous Boltzmann equation for hard potentials and moderately soft potentials and the equivalence between some jumping SDE and the corresponding PDE. In particular, we compute the multifractal spectrum of some stochastic processes, study the well-posedness and the propagation of chaos for the Boltzmann equation. The purpose of the first chapter is to study the pathwise properties of the stochastic process $(V_t)_{t\geq0}, representing the time-evolution of the velocity of a typical particle in a gas modeled by the Boltzmann equation for hard or moderately potentials. We show that this process is multifractal and has a deterministic spectrum. For hard potentials, we also give the multifractal spectrum of the process $X_t =\int_0^t V_s ds$, representing the time-evolution of the position of the typical particle. The second chapter is devoted to study the uniqueness of the weak solution to the Boltzmann equation in the class of all measure solutions, in the case of moderately soft potentials. This allows us to obtain a quantitive rate of propagation of chaos for Nanbu particle system for this singular interaction. Finally in the third chapter, we extend Figalli’s work [19] to study the relation between some jumping SDE and the corresponding Fokker-Planck equation. We prove that for any weak solution $(ft)_{t\in[0,T]}$ of the PDE, there exists a weak solution to the SDE of which the time-marginals are given by the family $(f_t)_{t\in[0,T]$

La disponibilité et la persistance à l'échelle locale des métaux lourds pourraient être critiques notamment pour l'usage futur des zones agricoles ou urbaines, au droit desquelles de nombreux sites industriels se sont installés dans le passé. La gestion de ces situations environnementales complexes nécessitent le développement de nouvelles méthodes d'analyse peu invasives (capteurs environnementaux), comme celles utilisant des biosenseurs bactériens, afin d'identifier et d'évaluer directement l'effet biologique et la disponibilité chimique des métaux. Ainsi dans ce travail de thèse, nous avons cherché à identifier, à l'aide d'outils mathématiques de l'algèbre multilinéaire, les réponses de senseurs bactériens fluorescents dans des conditions environnementales variées, qu'il s'agisse d'un stress engendré par la présence à forte dose d'un métal ou d'une carence nutritive engendrée par son absence. Cette identification est fondée sur l'analyse quantitative à l'échelle d'une population bactérienne de signaux multidimensionnels. Elle repose en particulier sur (i) l'acquisition de données spectrales (fluorescence) multi-variées sur des suspensions de biosenseurs multicolores interagissant avec des métaux et sur (ii) le développement d'algorithme de décomposition tensoriels. Les méthodes proposées, développées et utilisées dans ce travail s'efforcent d'identifier « sans a priori» a minima, la réponse fonctionnelle de biosenseurs sous différentes conditions environnementales, par des méthodes de décomposition de tenseurs sous contraintes des signaux spectraux observables. Elles tirent parti de la variabilité des réponses systémiques et permettent de déterminer les sources élémentaires identifiant le système et leur comportement en fonction des paramètres extérieurs. Elles sont inspirées des méthodes CP et PARALIND . L'avantage de ce type d'approche, par rapport aux approches classiques, est l'identification unique des réponses des biosenseurs sous de faibles contraintes. Le travail a consisté à développer des algorithmes efficaces de séparations de sources pour les signaux fluorescents émis par des senseurs bactériens, garantissant la séparabilité des sources fluorescentes et l'unicité de la décomposition. Le point original de la thèse est la prise en compte des contraintes liées à la physique des phénomènes analysés telles que (i) la parcimonie des coefficients de mélange ou la positivité des signaux source, afin de réduire au maximum l'usage d'a priori ou (ii) la détermination non empirique de l'ordre de la décomposition (nombre de sources). Cette posture a permis aussi d'améliorer l'identification en optimisant les mesures physiques par l'utilisation de spectres synchrones ou en apportant une diversité suffisante aux plans d'expériences. L'usage des spectres synchrones s'est avéré déterminant à la fois pour améliorer la séparation des sources de fluorescence, mais aussi pour augmenter le rapport signal sur bruit des biosenseurs les plus faibles. Cette méthode d'analyse spectrale originale permet d'élargir fortement la gamme chromatique des biosenseurs fluorescents multicolores utilisables simultanément. Enfin, une nouvelle méthode d'estimation de la concentration de polluants métalliques présents dans un échantillon à partir de la réponse spectrale d'un mélange de biosenseurs non-spécifiques a été développée / Availability and persistence of heavy metals could be critical for future use of agricultural or urban areas, on which many industrial sites have installed in the past. The management of these complex environmental situations requiring the development of new analytical methods minimally invasive, such as bacterial biosensors, to identify and directly assess the biological effects and the chemical availability of metals. The aims of this thesis was to identify the responses of fluorescent bacterial sensors various environmental conditions, using mathematical tools of algebra multi-linear, whether stress caused by the presence of high dose of a metal or a nutrient deficiency caused by his absence. This identification is based on quantitative analysis of multidimensional signals at the bacterial population-scale. It is based in particular on (i) the acquisition of multivariate spectral data on suspensions of multicolored biosensors interacting with metals and (ii) the development of algorithms for tensor decomposition. The proposed methods, developed and used in this study attempt to identify functional response of biosensors without \textsl{a priori} by decomposition of tensor containing the spectral signals. These methods take advantage of the variability of systemic responses and allow to determine the basic sources identifying the system and their behavior to external factors. They are inspired by the CP and PARALIND methods. The advantage of this approach, compared to conventional approaches, is the unique identification of the responses of biosensors at low constraints. The work was to develop efficient algorithms for the source separation of fluorescent signals emitted by bacterial sensors, ensuring the sources separability and the uniqueness of the decomposition. The original point of this thesis is the consideration of the physical constraints of analyzed phenomena such as (i) the sparsity of mixing coefficients or positivity of sources signals in order to minimize the use of a priori or (ii) the non-empirical determination of the order of decomposition (number of sources).This posture has also improved the identification optimizing physical measurements by the use of synchronous spectra or providing sufficient diversity in design of experiments. The use of synchronous spectra proved crucial both to improve the separation of fluorescent sources, but also to increase the signal to noise ratio of the lowest biosensors. This original method of spectral analysis can greatly expand the color range of multicolored fluorescent biosensors used simultaneously. Finally, a new method of estimating the concentration of metal pollutants present in a sample from the spectral response of a mixture of non-specific biosensor was developed

La thèse se compose de deux parties.<br /><br />Première partie :<br />thème de la courbure scalaire conforme sur l'espace hyperbolique. Nous<br />apportons ici une étude fine du comportement asymptotique en toute<br />dimension. Nous traitons toujours d'équations semi-linéaires<br />générales, avant d'appliquer nos résultats au cas particulier de<br />l'équation géométrique.<br /><br />Deuxième partie :<br />thème de la courbure de Ricci sur l'espace hyperbolique.<br />Nous obtenons le résultat suivant.<br />Sur la boule unité de $\R^n$, on considère la métrique<br />hyperbolique standard $H_0$, dont la courbure de Ricci vaut $R_0$<br />et la courbure de Riemann-Christoffel vaut ${\cal R}_0$.<br />Nous montrons qu'en dimension $n\geq10$, pour<br />tout tenseur symétrique $R$ voisin<br />de $R_0$, il existe une unique métrique $H$ voisine de $H_0$<br />dont la courbure de Ricci vaut $R$.<br />Nous en déduisons, dans le cadre $C^\infty$, que l'image<br />de l'opérateur de Riemann-Christoffel est une sous-variété<br />au voisinage de ${\cal R}_0$.<br />Nous traitons aussi dans cette partie de la courbure de Ricci contravariante<br />en toute dimension, du problème de Dirichlet à l'infini en dimension 2,<br />et de quelques obstructions.

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.

Cette thèse porte sur l'étude probabiliste de modèles écologiques appartenant à la récente théorie des "dynamiques adaptatives". Après avoir précisé et généralisé le cadre et l'heuristique biologique de ces modèles, nous obtenons une justification microscopique d'un modèle d'évolution par sauts à partir d'un système de particules en interaction à valeurs mesure, décrivant la dynamique de la population à l'échelle individuelle. Il s'agit d'un résultat de séparation d'échelles de temps lié à deux asymptotiques : mutations rares et grande population. Ensuite, nous retrouvons une équation différentielle ordinaire connue sous le nom d'"équation canonique des dynamiques adaptatives" en appliquant une asymptotique de petits sauts au processus précédent. Cette asymptotique nous conduit à introduire un modèle d'évolution par diffusion comme approximation diffusion du processus de saut, dont les coefficients présentent une mauvaise régularité : dérive discontinue et diffusion dégénérée aux mêmes points. Nous examinons d'abord l'existence faible, l'unicité en loi et la propriété de Markov forte pour ces processus, questions liées au problème d'atteinte de certains points isolés de l'espace. Enfin, nous démontrons un principe de grandes déviations pour ces diffusions qui permet d'étudier le temps et le lieu de sortie d'un domaine attracteur --- question biologique fondamentale.

Les résultats présentés dans ce mémoire sont dédiés à l'étude théorique et numérique de modèles en chimiotaxie-fluide motivés par un large éventail de phénomènes biologiques comme la chimiotaxie de populations cellulaires dans un fluide. Les deux premiers chapitres de cette thèse portent sur la chimiotaxie dans un fluide au repos. Au début, on généralise un schéma de volumes finis au cas de modèles isotropes de Keller-Segel avec des coefficients diffusifs scalaires généraux sur des maillages admissibles. Ensuite, on propose et on étudie un schéma monotone combinant les méthodes de volumes finis et d'éléments finis non conformes et permettant une discrétisation efficace et robuste de modèles de Keller-Segel avec des tenseurs diffusifs anisotropes hétérogènes sans imposer des conditions restrictives sur le maillage du domaine en espace. Les deux derniers chapitres sont dédiés à l'étude théorique (existence globale, unicité) et l'étude numérique (extension de la méthode combinée) du système chimiotactisme-fluide complet constitué d'équations chimiotaxiques anisotropes couplées aux équations de Navier-Stokes modélisant un fluide incompressible. Ce couplage s'effectue à travers les termes décrivant d'un part le transport des cellules vivantes et du chimio-attractant par le fluide et d'autre part la force gravitationnelle exercée par ces organismes vivants sur le fluide. Les travaux de cette thèse ont donné lieu à l'écriture d'un code de calcul très développé en Fortran 95 afin de valider nos résultats par des simulations numériques.