Cette thèse est dédiée à l'étude d'une large classe d'algorithmes, appelés algorithmes en arbre. En utilisant une représentation probabiliste appropriée, le comportement asymptotique de tels algorithmes est analysé. L'approche unifie les études faites sur ces algorithmes ainsi que simplifie et généralise certains résultats établis dans le domaine.

Dans cette thèse, nous nous intéressons à des matrices aléatoires en lien avec des permutations. Nous abordons l'étude de leurs spectres de plusieurs manières, et à différentes échelles d'observation. Dans un premier temps, nous prolongeons l'étude de Wieand à propos des nombres de valeurs propres appartenant à certains arcs fixés du cercle unité. Pour cela nous tirons parti des travaux réalisés par Ben Arous et Dang sur les statistiques linéaires du spectre de matrices de permutation pour une famille de lois à un paramètre englobant le cas de la loi uniforme sur le groupe symétrique, appelée famille des lois d'Ewens. Une partie innovante de notre travail réside dans la généralisation à des arcs non nécessairement fixés. Nous obtenons en effet des résultats similaires en autorisant les longueurs des arcs à décroître lentement vers zéro avec la taille des matrices. Dans un deuxième temps, nous regardons le spectre à échelle microscopique. En nous inspirant des travaux de Najnudel et Nikeghbali en rapport avec la convergence de mesures empiriques des angles propres normalisés, nous commençons par donner un sens à la convergence en terme de comptages de points sur des intervalles fixés. A partir du processus ponctuel limite, nous montrons que le nombre de points dans un intervalle a des fluctuations asymptotiquement gaussiennes lorsque la longueur de l'intervalle tend vers l'infini. Enfin, nous adaptons certains résultats de Chhaibi, Najnudel et Nikeghbali sur le polynôme caractéristique de matrices du CUE à échelle microscopique, et les développons dans notre cadre. De manière analogue mais avec d'autres techniques de preuves, nous obtenons des convergences des polynômes caractéristiques vers des fonctions entières, et cela pour une grande famille de lois pour le tirage des permutations, incluant les lois d'Ewens. / In this thesis, our goal is to study random matrices related to permutations. We tackle the study of their spectra in various ways, and at different scales. First, we extend the work of Wieand about the numbers of eigenvalues lying in some fixed arcs of the unit circle. We take advantage of the results of Ben Arous and Dang on the linear statistics of the spectrum of permutation matrices for a one-parameter family of deformations of the uniform law on the symmetric group, called Ewens' measures. One of the most innovative parts of our work is the generalization to non-fixed arcs. Indeed we get similar results when we let the lengths of the arcs decrease to zero slower than 1/n. Then, we look at the spectrum at microscopic scale. Inspired by the work of Najnudel and Nikeghbali about the convergence of empirical measures of rescaled eigenangles, we give a meaning to the convergence in terms of indicator functions of intervals. From the limiting point process, we show that the number of points in any interval is asymptotically normal as the length of the interval goes to infinity. Finally, we adapt some results of Chhaibi, Najnudel and Nikeghbali on the characteristic polynomial of the CUE at microscopic scale, and develop them in our framework. Analogously but with different techniques of proof, we get that the characteristic polynomials converge to entire functions, and this for a large family of laws including the Ewens' measures.

La flamme à point d'arrêt est une configuration académique d'écoulement réactif offrant la possibilité de comparer les résultats de l'analyse théorique avec les données expérimentales. La disposition géométrique retenue pource travail est celle d'un écoulement axisymétrique turbulent heurtant sous indice normale une paroi solide : dans ces conditions, une flamme de prémélange peut être stabilisée entre le plan d'injection et la paroi solide. Les conditions de faible turbulence et l'hypothèse d'un régime de flammelette permettent de mener une analyse asymptotique de cet écoulement réactif et en particulier d'exprimer les termes de transport turbulent de masse sous la forme d'une expression algébrique. Sur le plan de l'application, la combustion dans des écoulements étirés et éventuellement non-isenthalpiques du fait des pertes thermiques pariétales est une problématique récurrente rencontrée dans la conception des foyers industriels : l'étude des propriétés dynamiques et structurales d'une flamme stabilisée au voisinage d'une paroi adiabatique ou non permet d'étudier les influences respectives de l'étirement et de la température de paroi. Sur le plan fondamental, l'ambition est le développement de modèles de combustion à fonction densité de probabilité multi-dimensionnelles, prenant en compte une variable d'avancement de la combustion, l'enthalpie, voire la fraction de mélange. Dans un premier temps, l'objectif est limité à la mesure simultanée des champs de vitesse et de variable d'avancement de la combustion en condition de paroi adiabatique. Le banc Vestales, conçu pour atteindre cet objectif, est composé d'un injecteur de prémélange réactif (propane-air), équipé d'une grille de turbulence et d'une paroi solide disposée en vis-à-vis. Les mesures de vitesse sont effectuées par Anémométrie Doppler Laser (A.D.L.) et Vélocimétrie par Images de Particules (V.I.P.). Afin de déterminer simultanément la variable d'avancement à partir des images V.I.P., un traitement d'image original a été développé pour l'extraction du contour des fronts de flammes locales (flammelettes). Le couplage des contours actifs aux approches frontières et régions s'avère une méthode robuste et précise permettant une analyse topologique du contour. L'étude est limitée à deux valeurs de l'étirement (100 et 120 s−1) et de richesse (0,89 et 0,99). L'écoulement a été caractérisé par A.D.L. et V.I.P. dans différents plans. Une analyse statistique et fréquentielle de la turbulence est proposée. Les grandeurs caractéristiques de la turbulence sont exprimées en terme de moyenne de Reynolds et de Favre, en particulier le flux turbulent de la variable d'avancement, ce qui autorise la comparaison avec des résultats issus de la théorie asymptotique d'une part et de la simulation numérique bidimensionnelle d'autre part.

Le contexte d'intensification du déploiement de tout type de réseau de communication sans fil motive la mise au point d'outils de prédiction électromagnétique de plus en plus précis.<br /><br />Par ailleurs, la complexité environnementale grandissante des antennes nous amène à dissocier les zones de champ proche et lointain.<br /><br />D'un côté, dans la zone de champ lointain, les méthodes asymptotiques hautes fréquences basées sur le concept de rayon sont privilégiées. Nous avons utilisé la théorie uniforme de la diffraction (TUD) pour mettre au point ICARE-EM, version électomagnétique d'un logiciel préalablement développé pour l'acoustique au CSTB.<br /><br />De l'autre côté, dans la zone de champ proche, ce sont les méthodes rigoureuses ou expérimentales qui sont les plus pertinentes. Nous avons appliqué la méthode des moments (MoM) au problème de la<br />propagation électromagnétique. Mais nous avons également utilisé les techniques de champ proche développées à Supélec. Nous avons appliqué ces<br />méthodes au système de coordonnées cylindriques.<br /><br />Puis, afin de disposer d'un outil global de prédiction, nous proposons une formulation intégrale du champ électromagnétique.<br />Cette formulation permet de faire le lien sur une surface de couplage entre les méthodes asymptotiques utilisées dans la zone de champ lointain et les méthodes rigoureuses ou expérimentales adaptées à la zone de champ proche. Une condition aux limites spécifique permet d'obtenir une forme compacte de cette représentation intégrale. La fonction de Green dyadique associée à<br />l'extérieur de la surface de couplage est estimée par ICARE-EM. La source et son environnement proche sont quand à eux caractérisés par une mesure en champ proche ou un calcul numérique exact par la MoM.<br /><br />La validité de cette méthode de couplage a été montrée dans le cas canonique de la diffraction par une sphère métallique et dans le cas plus général de deux plaques métalliques éclairées par un dipôle<br />électrique ou par une antenne de station de base. Des mesures dans la chambre anéchoïque de Supélec ont permis de caractériser expérimentalement les différentes configurations.

Dans cette thèse on s'intéresse aux propriétés liées au chaos et aux mesures d'entropie maximale (ou mesures maximales) pour certains systèmes, en particulier ceux sur l'intervalle. Pour un système dynamique $(X,T)$, une entropie non nulle est considérée comme une propriété chaotique. On montre qu'une entropie non nulle implique la présence de couples asymptotiques propres, c'est-à-dire des couples de points distincts $(x,y)$ tels que la distance entre $T^n x$ et $T^n y$ tend vers zéro quand $n$ tend vers l'infini. Si $T$ est de plus inversible, de nombreux couples asymptotiques pour $T$ sont des couples de Li-Yorke pour l'inverse de $T$. Les preuves de ces résultats sont ergodiques. Une chaîne de Markov topologique est l'ensemble des chemins sur un graphe orienté ; c'est un outil pour l'étude des mesures maximales. Un graphe connexe est transient, récurrent nul ou récurrent positif. On rappelle les liens entre ces classes et la possibilité d'étendre ou de restreindre le graphe sans changer l'entropie, et on montre qu'un graphe transient admet un surgraphe récurrent de même entropie. On sait qu'une chaîne de Markov transitive a une mesure maximale si et seulement si le graphe est récurrent positif. On donne un nouveau critère impliquant la récurrence positive et on montre l'existence de mesures presque maximales fuyant vers l'infini pour un graphe non récurrent positif. Quand on se restreint aux systèmes sur l'intervalle, les diverses notions de chaos coïncident largement. On présente une synthèse des liens existant entre les différentes propriétés chaotiques. Pour un système sur l'intervalle, la question d'existence d'une mesure maximale se ramène dans certains cas à l'étude d'une chaîne de Markov. Cela permet de donner une condition assurant l'existence d'une mesure maximale pour les transformations $C^1$. Pour tout entier $n$, on construit des exemples de transformations de l'intervalle $C^n$ et mélangeantes mais n'admettant aucune mesure maximale.

Nous établissons les liens asymptotique entre deux catégories de modèles à volatilité stochastique décrivant le même marché dérivé: - un modèle générique à volatilité stochastique instantanée (SInsV) , dont le système d'EDS est un chaos de Wiener formel, spécifié sans aucune variable d'état. - une classe à volatilité implicite stochastique glissante (SImpV), qui est un autre modèle de marché, décrivant explicitement la dynamique conjointe du sous-jacent et de la surface d'options Européennes associées. Chacune de ces connexions est atteinte couche par couche, entre un groupe de coefficients SInsV et un ensemble de differentielles SImpV (statiques et dynamiques). L'approche asymptotique conduit à ce que ces différentielles croisees soient prises à l'expiration zéro, au point ATM. Nous progressons d'une configuration simple, bi-dimensionnelle à sous-jacent unique, d'abord vers une configuration multi-dimensionnelle, puis vers un cadre à structure par terme. Nous exposons les contraintes structurelles de modélisation et l'asymétrie entre le problème direct (de SInsV vers SImpV) et inverse. Nous montrons que cette expansion asymptotique en chaos (ACE) est un outil puissant pour la conception et l'analyse de modèles. En se concentrant sur des modèles à volatilité locale et leurs extensions, nous comparons ACE avec la littérature et exhibons un biais systématique dans l'heuristique de Gatheral. Dans le contexte multi-dimensionnel, nous nous concentrons sur des paniers à poids stochastiques, pour lesquels ACE fournit des résultats intuitifs soulignant la recurrence naturelle. Dans l'environnement des taux d'intérêt, nous etablissons la première couche de descripteurs du smile pour les caplets, les swaptions et les options sur obligations, à la fois dans un cadre SV-HJM et un cadre SV-LMM. En outre, nous montrons que ACE peut être automatisé pour des modèles génériques, à n'importe quel ordre, sans calcul formel. L'intérêt de cet algorithme est démontré par le calcul manuel des 2eme et 3eme couches, dans un modèle générique SInsV bi-dimensionnel. Nous présentons le potentiel applicatif d'ACE pour la calibration, l'evaluation, la couverture ou à des fins d'arbitrage, illustré par des tests numériques sur le modèle CEV-SABR.

Ce mémoire est composé de deux parties indépendantes. Si les deux sujets traités sont de nature différente, l'étude asymptotique du problème est à chaque fois au centre de la réflexion. Dans la première partie, nous nous intéressons au comportement d'un système composé de deux fluides non miscibles, soumis à la seule force de gravité. Un tel système est utilisé en océanographie, afin de modéliser une étendue d'eau de densité variable. On commence par écrire sous forme agréable les équations d'évolution gouvernant le système. Ensuite, on développe une panoplie de modèles asymptotiques, dans les régimes d'eau peu profonde - où l'on suppose que la profondeur des couches de fluide est petite devant la longueur d'onde caractéristique à l'interface - et d'ondes longues - où l'on ajoute une hypothèse de petitesse des déformations à la surface et à l'interface. Ces modèles sont rigoureusement justifiés, par des résultats de cohérence ou de convergence. Finalement, on s'intéresse particulièrement au phénomène d'eaux mortes, qui se manifeste par une forte résistance à l'avancement subie par un corps naviguant dans des eaux stratifiées. Cette résistance est une conséquence de l'énergie dépensée par le corps pour générer une onde à l'interface entre les deux couches de fluide. Là encore, des modèles asymptotiques sont construits, justifiés rigoureusement et simulés numériquement. Une telle étude nous permet de prédire dans quelles situations le phénomène d'eaux mortes se manifeste. La deuxième partie est dédiée à l'étude de la propagation des ondes dans un milieu non-homogène. La motivation de cette étude se situe dans les cristaux photoniques, dont les propriétés de structure se répercutent sur la propagation des rayons lumineux. Plus particulièrement, nous nous intéressons à l'influence de la présence de défauts dans le matériau, modélisés par des singularités et/ou des discontinuités dans la microstructure. On montre que ces interfaces ont un effet prédominant sur les propriétés asymptotiques du matériau - notamment le coefficient de transmission - lorsque la longueur caractéristique de la microstructure tend vers zéro.

La thèse est composée de deux parties présentées en quatre chapitres. La première partie traite de la modélisation, des simulations et des validations expérimentales d'un modèle de poutre en contact avec un ressort linéaire unilatéral sous une excitation périodique. C'est un modèle mécanique simplifié d'un panneau solaire d'une satellite et d'une cale élastique en phase de lancement. Le système est soumis à une excitation harmonique du support sous forme d'une accélération imposée ou d'une force ponctuelle. Le modèle est validé expérimentalement par des séquences d'essais sur une poutre en aluminium en contact avec une cale en Solithane. Les résultats montrent une cohérence avec les solutions numériques obtenues. La deuxième partie est centrée sur les modes normaux non-linéaires des systèmes mécaniques. Une nouvelle formulation est présentée pour trouver ces modes comme zéros d'une application non-linéaire. Un algorithme utilisant des algorithmes existants, basé sur la continuité des solutions périodiques, est développé pour le calcul des modes normaux. La technique de développement asymptotique par échelles multiples pour le calcul des solutions analytiques approchées d'une équation différentielle avec un terme unilatéral est introduit. On utilise ensuite cette technique pour le calcul des modes normaux non-linéaires d'un système autonome à un nombre n de degrés de liberté avec un contact unilatéral. On traite aussi le cas d'un système forcé, on conjecture ainsi que l'on obtient une procedure simple pour le calcul des modes non linéaires. L'ensemble fournit donc des outils mathématiques validés pour le calcul des modes non-linéaires du système traité dans la première partie de la thèse.

La diffraction d'une onde électromagnétique est étudiée dans de nombreux domaines industriels. Certaines études, concernant les objets diffractant de petite taille par rapport à la fréquence, utilisent des<br />méthodes numériques basées sur les équations de Maxwell sous forme intégrale : les Méthodes de Moments et plus récemment les Méthodes Multipôles. Dans le cadre d'études sur de grands objets ou à hautes fréquences, ces méthodes deviennent rapidement trop coûteuses.<br />L'objet de cette thèse est de fournir une autre approche permettant de pallier ces problèmes grâce à une formulation utilisant des développements asymptotiques basés sur la Théorie Géométrique de la Diffraction (TGD).\\<br />L'application d'une méthode de couche limite à ces problèmes pour des corps réguliers dans la région proche de la frontière ombre-lumière et dans la zone d'ombre nous amène, en utilisant l'équation d'Airy, à des expressions intégrales du champ diffracté.<br />Une telle application de méthode de couche limite à des géométries de corps allongés donne plutôt une équation bi-confluente réduite de Heun. N'ayant pas de solution analytique de cette équation de Heun, nous obtenons des solutions par<br />approximations de l'équation étudiée.<br />Les résultats numériques obtenus par une implémentation de ces formulations associée à un algorithme de lancer de rayons montrent une très bonne correspondance avec des résultats de méthodes intégrales.

Cette thèse a pour objet l'étude du comportement asymptotique des solutions des équations des fluides de grades 2 et 3. Dans le premier chapitre, on étudie les profils asymptotiques au premier ordre des solutions des équations des fluides de grade 2 en dimension 3. On démontre que les solutions des équations des fluides de grade 2 convergent vers des solutions particulières et explicites des équations de la chaleur, lorsque le temps tend vers l'infini. Ce résultat montre en particulier que les fluides de grade 2 se comportent asymptotiquement comme les fluides newtoniens régis par les équations de Navier-Stokes. Pour cette étude, on utilise les variables d'échelles (ou variables autosimilaires), et on effectue des estimations d'énergies dans divers espaces fonctionnels, en particulier dans des espaces de Sobolev à poids polynomiaux. La description des profils asymptotiques est obtenue sous des conditions de petitesse sur les données initiales de l'équation.Le second chapitre de cette thèse traite des profils asymptotiques à l'ordre 1 des solutions des équations des fluides de grade 3 en dimension 2. À l'instar des résultats du premier chapitre, on obtient ici aussi la convergence des solutions de ces équations vers des solutions explicites des équations de la chaleur. Les outils utilisés pour cette étude sont semblables à ceux utilisés pour les fluides de grade 2 en dimension 3, à savoir les variables autosimilaires et des estimations d'énergies. Dans ce cas aussi, on conclut que les fluides de grade 3 se comportent asymptotiquement comme les fluides newtoniens.Dans le dernier chapitre, on étudie l'existence d'un attracteur pour les équations des fluides de grade 3 en dimension 2 avec des conditions périodiques. On considère donc les solutions faibles de ces équations à données initiales dans l'espace de Sobolev H¹. Ces solutions faibles définissent un semi-groupe généralisé. Ensuite, on montre que les solutions à données initiales dans H² possèdent un attracteur global pour la topologie H¹. Pour ce travail, on utilise un schéma de Galerkin, des estimations a priori et une méthode de monotonie. Les principales difficultés que l'on rencontre sont liées au peu de régularité des données initiales et au fait que l'on ne sait par si les solutions des équations des fluides de grade 3 à données H¹ sont uniques.