La propagation à longue distance est un problème majeur dans les télécommunications, la navigation et la surveillance. L'objectif de cette thèse est de développer une méthode rapide pour simuler la propagation des ondes dans une atmosphère en 2D et 3D. Dans ce travail, deux contributions principales vers cet objectif sont obtenues. Tout d'abord, des méthodes auto-cohérentes,c'est-à-dire basées sur une théorie discrète de l'électromagnétisme, sont développées en 2D et 3D. Ensuite, une méthode rapide 2D basée sur les ondelettes est proposée. Pour simuler la propagation d'ondes électromagnétiques dans une atmosphère 2D, la méthode split-step Fourier (SSF) est largement utilisée. Le calcul est effectué itérativement en distances en tenant compte d'une réfractivité variable, du relief et des caractéristiques du sol. À chaque pas, le signal est transformé du domaine spatial au domaine spectral. La méthode des écrans de phase est appliquée pour modéliser les effets de réfraction. D'autre part, pour modéliser un sol impédant, la transformée mixte de Fourier discrète (SSF-DMFT) est utilisée. Le concept de la théorie électromagnétique auto-cohérente implique que l'utilisation d'équations de Maxwell discrètes pour la simulation numérique évite les solutions parasites. Dans la méthode couramment utilisée SSF-DMFT, la transformée spectrale est basée sur la condition aux limites d'impédance discrète, alors que le propagateur provient de l'équation continue. Pour pallier cette incohérence, une méthode auto-cohérente est proposée, notée la DSSF-DMFT. La formulation est dérivée des équations discrètes pour obtenir l'auto-cohérence. Des tests numériques montrent que SSF-DMFT présente des oscillations parasites dans certaines conditions de simulation, tandis que DSSF-DMFT reste précis. En effet, l'auto-cohérence empêche certaines instabilités numériques. Pour simuler la propagation dans des environnements en 3D, les méthodes précédentes doivent être étendues en 3D. Tout d'abord, la 3D-SSF est présentée comme une extension naturelle de la SSF. Ensuite, la 3D-DSSF est dérivée d'équations discrètes. Pour considérer un sol impédant, la 3D-DSSF-DMFT est développée conduisant à de nouvelles expressions pour les propagateurs. Ces méthodes sont testées dans plusieurs configurations incluant un profil de réfractivité extrait de mesures. Les résultats montrent une grande précision et une capacité à prendre en compte les effets latéraux. Cependant, pour la propagation dans de grand domaines, les ressources nécessaires en temps et en mémoire deviennent la préoccupation principale. Pour alléger la charge de calcul, une méthode split-step en ondelettes (SSW) est proposée en 2D comme une méthode alternative à SSF. Elle est basée sur la transformée rapide en ondelettes dont la complexité est faible et qui permet de compresser les champs. La propagation est réalisée à partir d'une combinaison linéaire d'ondelettes propagées individuellement. La compression est appliquée pour augmenter l'efficacité. Afin de considérer la réflexion sur le sol, une nouvelle méthode de source image locale dédiée à la propagation des ondelettes est proposée. Les tests numériques montrent que la SSW a une efficacité de calcul plus élevée que la SSF tout en gardant une bonne précision. / The long-range propagation of electromagnetic waves is a major issue in telecommunication, navigation, and surveillance. The objective of this Ph.D. thesis is to develop fast and accurate modeling methods for the tropospheric propagation in 2D and 3D. In this work, two main contributions towards this objective are achieved. Firstly, self-consistent methods, i.e. based on the discrete electromagnetic theory, are developed in 2D and 3D. Secondly, a fast wavelet-based 2D method is proposed. For simulating the electromagnetic wave propagation in a 2D atmosphere, the split-step Fourier method (SSF) is widely used. The computation is performed marching on in distances taking into account a variable refractivity, an irregular relief, and the electric characteristics of the ground. At each step, the signal is transformed from the spatial to the spectral domains. The phase screens method is applied to model refraction. Besides, to model an impedance ground, the discrete mixed Fourier transform (SSF-DMFT) is used. The concept of the self-consistent electromagnetic theory implies that the use of discrete Maxwell equations for numerical simulations does not lead to spurious solutions. In the widely used SSF-DMFT, the spectral transform is based on the discrete impedance boundary condition, while the propagator is derived from the continuous equation. To overcome this inconsistency, a discrete formulation of SSF-DMFT is proposed, denoted as DSSF-DMFT. The spectral transform and propagator are both derived from the discrete equations to achieve self-consistency. Numerical tests show that SSF-DMFT has spurious oscillations in certain simulation conditions, whereas DSSF-DMFT remains accurate. Indeed, the self-consistency prevents from numerical instabilities. To simulate the propagation in 3D environments, the previous methods are extended to 3D. First, 3D-SSF is presented as a natural extension of SSF. Then, 3D-DSSF is derived from discrete equations. To consider an impedance ground, 3D-DSSF-DMFT is developed leading to new expressions for the propagators. These methods are tested for several configurations, including a refractivity profile extracted from measurements. Results show that they have a high accuracy. They notably consider lateral effects. However, for the propagation in a large computation domain, time and memory occupations become the main concern. To improve the computation burden, a split-step wavelet method (SSW) is proposed in 2D as an alternative to SSF. It is based on the fast wavelet transform, which complexity is weak and which allows for data compression. The propagation is performed by means of a linear combination of wavelets that are individually propagated. Data compression is applied to increase the efficiency. A new local image source method dedicated to wavelet propagation is proposed to consider the ground reflection. Numerical tests show that this method has a higher computational efficiency than SSF while keeping a good accuracy.

Cette thèse concerne l'étude de modèles mathématiques et méthodes numériques motivés par la filtration des globules blancs du sang. <br /><br />Dans la première partie, nous définissons des modèles mathématiques qui réprésentent les principaux phénomènes physiques qui entrent en jeu dans le procédé de la filtration.<br /><br />La deuxième partie est dédiée à l'analyse mathématique de systèmes d'équations aux dérivées partielles modélisant le procédé de la filtration. Tout d'abord, nous considérons un système d'équations semi-linéaires de type hyperbolique-parabolique avec une diffusion anisotrope dégénérée. Nous étudions ce problème avec une théorie $L^{1}$; nous considérons en particulier l'existence et l'unicité de solutions faibles ainsi que d'autres propriétés comme le principe du maximum; puis nous établissons la limite quand la constante de réaction devient grande. Nous montrons que le système converge vers une équation non linéaire parabolique-hyperbolique qui généralise le problème de Stefan. Nous étudions également, par des techniques de l'homogénéisation, la filtration au travers de milieux poreux fibrés. Le réseau des fibres étudié est celui utilisé par M. Briane dans le cadre d'une étude sur la conduction thermique des tissus biologiques. Nous dérivons et justifions l'équation de Darcy ainsi que la forme du tenseur de perméabilité pour un tel milieu fibreux. Les résultats théoriques concernant la perméabilité sont illustrés par quelques simulations numériques. Finalement, nous considérons le cas où le diamètre des fibres tend vers zéro. En appliquant des résultats de G. Allaire à notre cas, nous justifions rigoureusement la forme du terme dominant dans les formules de perméabilité efficace utilisées en ingénierie. Ces résultats sont également confirmés par un calcul numérique direct de la perméabilité, dans lequel la petitesse du diamètre des fibres rend nécessaire le recours à des approximations de précision élevée.<br /><br />La définition des méthodes numériques efficaces pour approximer la solution des modèles mathématiques est envisagée dans la troisième partie. Précisément, concernant les équations de Darcy, nous avons utilisé la méthode des éléments finis mixtes hybrides. Pour la résolution de l'équation du transport, nous avons implémenté une méthode numérique utilisant des volumes finis pour la discrétisation du terme convection/réaction associé à une approximation mixte hybride pour la discrétisation du terme dispersif.

Nous élaborons des modèles macroscopiques d'EDP pour les mélanges gazeux réactifs ionisés et nous effectuons diverses études mathématiques puis quelques simulations numériques. On détermine les équations macroscopiques ainsi que des expressions des flux de<br />transport à partir d'un modèle de type Boltzmann par un développement de Enskog. Nous étudions alors les propriétés de symétrie apportées par l'entropie de ces équations couplées avec celles de Maxwell pour obtenir un théorème d'existence locale en temps d'une solution bornée et régulière pour le problème de Cauchy. Nous étudions ensuite un modèle de plasma ambipolaire en considérant la masse de l'électron comme un paramètre. Nous démontrons que la solution globale dépend continument de la masse de l'électron lorsque celle-ci s'annule. Nous calculons enfin des flammes ionisées planes et étirées d'un mélange hydrogène-air et obtenons des structures de flammes typiques avec un faible impact de l'ionisation.

Ce mémoire s'organise autour de deux cadres d'étude : d'une part, celui des espaces symétriques riemanniens non compacts X = G/K, pour lesquels nous prouvons un encadrement optimal et global en les variables d'espace et de temps, du noyau de la chaleur associé à l'opérateur de Laplace-Beltrami L ; d'autre part, dans le cas d'un groupe de Lie semi-simple G, nous montrons que tous les sous-laplaciens sur G qui induisent l'action de L sur X = G/K présentent des analogies avec L vis-à-vis de l'équation de la chaleur : le bas de leur spectre L^2 est le même, les distances de Carnot-Carathéodory associées sont comparables à la métrique riemannienne sur X et, surtout, les noyaux de la chaleur sont tous comparables (en temps grand) au noyau de la chaleur sur X. Nous en déduisons en particulier des encadrements très précis des noyaux de la chaleur dans ce cadre, ainsi que des fonctions de Green correspondantes.

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.

Ce travail est une contribution à l'étude de la limite singulière des équations et des systèmes de Réaction-Diffusion. Ces derniers modélisent des problèmes issus de la physique, de la chimie, de la biologie et des sciences de la technologie. En effet, ce type de problème se présente dans la nature et sont caractérisés par la présence de paramètres qui, lorsqu' ils sont suffisamment grands, donnent lieu généralement à un phénomène appelé couches limites. Cette thèse est composée de cinq chapitres traitant les limites singulières des équations et des systèmes de Réaction Diffusion ainsi que l' existence et l'unicité de solution pour un problème d'obstacle et de quelques EDPs elliptique-parabolique doublement non linéaire avec un opérateur de type Leray Lions. Dans le premier chapitre, nous présentons des résultats théoriques et abstraits sur les limites singulières, où nous traitons aussi la compétition entre deux ou plusieurs opérateurs. Nous appliquons ces résultats dans le contexte des équations aux dérivées partielles et nous étudions le comportement de la solution d'un modèle, lorsque les coefficients de diffusion et/ou de réaction deviennent très grands. Dans les deux chapitres qui suivent, nous considérons un système de réaction diffusion intervenant dans des modèles (macroscopiques) de diffusion dans un milieu hétérogène. Nous présentons d'abord une analyse mathématique (existence et unicité de la solution), ensuite nous étudions le comportement de la solution lorsque le paramètre d'homogénéité devient très grand sur un sous domaine. Le chapitre trois est dédié à l'analyse numérique d'un modèle linéaire, nous prouvons l' existence d'une solution approchée satisfaisant des propriétés de stabilité et de convergence vers la solution du problème continu indépendamment du paramètre d'homogénéité. Le chapitre quatre a pour objet l'étude de l'existence et l'unicité de la solution d'un problème d'obstacle doublement non linéaire avec des contraintes bilatérales, dépendantes de l'espace. Enfin, dans le cinquième chapitre, nous présentons une généralisation des résultats du chapitre trois au cas d'un opérateur de type Leray-Lions et une réaction qui dépend de l'espace.

Contrôlabilité de systèmes gouvernés par des équations aux dérivées partielles

Les besoins croissants en moyens de télécommunication nécessitent le développement de grands réflecteurs spatiaux paraboliques. Un nouveau concept d'architecture d'antenne déployable est ainsi proposé en partenariat avec le CNES. La conception de son ossature repose sur une revue de solutions pour faire appel à des mécanismes de ciseau associés à des articulations flexibles. Des modélisations numériques par éléments finis sont d'abord développées pour simuler le déploiement par restitution de l'énergie emmagasinée dans ces articulations lors du pliage. Un démonstrateur expérimental avec un système de compensation gravitaire est ensuite réalisé. Des essais et mesures sont effectués pour caractériser son comportement en statique et dynamique puis sont comparés avec les résultats issus des simulations. La mise en forme de la surface réflectrice par un réseau de câbles est étudiée par la suite. Une méthode innovante de recherche de forme permettant d'obtenir un réseau parabolique en tension uniforme est alors proposée. Elle est appliquée à différentes typologies de réseaux et l'erreur de surface résultant de sa facettisation est évaluée. Le procédé d'accrochage de ce réseau sur l'ossature de l'antenne est également traité.

L'environnement urbain est le siège de fortes nuisances sonores notamment générées par les moyens de transport. Afin de lutter contre ces nuisances, la réglementation européenne impose la réalisation de cartographies de bruit. Dans ce contexte, des travaux fondamentaux sont menés autour de la propagation d'ondes acoustiques basses fréquences en milieu urbain. Différents travaux de recherche récents portent sur la mise en œuvre de méthodes ondulatoires pour la propagation d'ondes acoustiques dans de tels milieux. Le coût numérique de ces méthodes limite cependant leur utilisation dans un contexte d'ingénierie. L'objectif de ces travaux de thèse porte sur l'approximation unidirectionnelle de la propagation des ondes, appliquée à l'acoustique urbaine. Cette approximation permet d'apporter des simplifications à l'équation d'onde afin de limiter le temps de calcul lors de sa résolution. La particularité de ce travail de thèse réside dans la prise en compte des variations, continues ou discontinues, de la largeur des rues. Deux formalismes sont utilisés : l'équation parabolique et une approche multimodale. L'approche multimodale sert de support à une étude théorique sur les mécanismes de couplages de modes dans des guides d'ondes irréguliers bidimensionnels. Pour cela, le champ de pression est décomposé en fonction du sens de propagation des ondes à la manière d'une série de Bremmer. La contribution particulière de l'approximation unidirectionnelle est étudiée en fonction des paramètres géométriques du guide d'ondes, ce qui permet de mieux cerner les limites de validité de cette approximation. L'utilisation de l'équation parabolique a pour but une application à l'acoustique urbaine. Une transformation de coordonnées est associée à l'équation parabolique grand angle afin de prendre en compte l'effet de la variation de la section du guide d'ondes. Une méthode de résolution est alors spécifiquement développée et permet une évaluation précise du champ de pression. D'autre part, une méthode de résolution de l'équation parabolique grand angle tridimensionnelle est adaptée à la modélisation de la propagation acoustique en milieu urbain. Cette méthode permet de tenir compte des variations brusques ou continues de la largeur de la rue. Une comparaison avec des mesures sur maquette de rue à échelle réduite permet de mettre en avant les possibilités de la méthode.

Cette thèse s'intéresse à la cohomologie de fibrés en droite sur le fibré cotangent de variétés projectives. Plus précisément, pour $G$ un groupe algébrique simple, connexe et simplement connexe, $P$ un sous-groupe maximal de $G$ et $\omega$ un générateur dominant du groupe de caractères de $P$, on cherche à comprendre les groupes de cohomologie $H^i(T^*(G/P),\mathcal{L})$ où $\mathcal{L}$ est le faisceau des sections d'un fibré en droite sur $T^*(G/P)$. Sous certaines conditions, nous allons montrer qu'il existe un isomorphisme, à graduation près, entre $H^i(T^*(G/P),\mathcal{L})$ et $H^i(T^*(G/P),\mathcal{L}^{\vee})$ Après avoir travaillé dans un contexte théorique, nous nous intéresserons à certains sous-groupes paraboliques en lien avec les orbites nilpotentes. Dans ce cas, l'algèbre de Lie du radical unipotent de $P$, que nous noterons $\nLie$, a une structure d'espace vectoriel préhomogène. Nous pourrons alors déterminer quels cas vérifient les hypothèses nécessaires à la preuve de l'isomorphisme en montrant l'existence d'un $P$-covariant $f$ dans $\comp[\nLie]$ et en étudiant ses propriétés. Nous nous intéresserons ensuite aux singularités de la variété affine $V(f)$. Nous serons en mesure de montrer que sa normalisation est à singularités rationnelles. / In this thesis, we study the cohomology of line bundles on cotangent bundle of projective varieties. To be more precise, let $G$ be an semisimple algebraic group which is simply connected, $P$ a maximal subgroup and $\omega$ a dominant weight that generates the character group of $P$. Our goal is to understand the cohomology groups $H^i(T^*(G/P),\mathcal{L})$ where $\mathcal{L}$ is the sheaf of sections of a line bundle on $T^*(G/P)$. Under some conditions, we will show that there exists an isomorphism, up to grading, between $H^i(T^*(G/P),\mathcal{L})$ and $H^i(T^*(G/P),\mathcal{L}^{\vee})$. After we worked in a theoretical setting, we will focus on maximal parabolic subgroups related to nilpotent varieties. In this case, the Lie algebra of the unipotent radical of $P$ has a structure of prehomogeneous vector spaces. We will be able to determine which cases verify the hypothesis of the isomorphism by showing the existence of a $P$-covariant $f$ in $\comp[\nLie]$ and by studying its properties. We will be interested by the singularities of the affine variety $V(f)$. We will show that the normalisation of $V(f)$ has rational singularities.