Cette thèse établit des formules asymptotiques robustes pour le second moment harmonique ramolli des fonctions $L$ de Rankin-Selberg. La principale contribution est une amélioration substancielle de la longueur admissible du ramollisseur qui est réalisée grâce à la résolution d'un problème de convolution avec décalage additif par une méthode spectrale considérée en moyenne. Une première conséquence est une nouvelle borne de sous-convexité pour les fonctions L de Rankin-Selberg par rapport au niveau qui possède de nombreuses applications arithmétiques déjà connues. En outre, une infinité de fonctions L de Rankin-Selberg ayant au plus huit zéros réels non-triviaux est exhibée et de nouvelles estimations non-triviales du rang analytique de la famille étudiée sont obtenues.

L'interprétation abstraite est une méthode générale qui permet de déterminer de manière automatique des invariants de programmes. Cette méthode conduit à résoudre un problème de point fixe non linéaire de grande taille mais qui possède des propriétés de monotonie. Ainsi, déterminer des bornes sur les valeurs prises par une variable au cours de l'exécution d'un programme, est un problème de point fixe équivalent à un problème de jeu à deux joueurs, à somme nulle et avec options d'arrêt. Cette dernière observation explique la mise en oeuvre d'algorithmes d'itérations sur les politiques. Dans un premier temps, nous avons généralisé les domaines numériques polyédriques par un domaine numérique abstrait permettant de représenter des invariants non-linéaires. Nous avons défini une fonction sémantique abstraite sur ce domaine à partir d'une correspondance de Galois. Cependant, l'évaluation de celle-ci est aussi difficile qu'un problème d'optimisation globale non-convexe. Cela nous a amené à définir une fonction sémantique relâchée, construite à partir de la théorie de la dualité, qui sur-approxime de la fonction sémantique abstraite. La théorie de la dualité a également motivé une construction d'une itération sur les politiques dynamique pour calculer des invariants numériques. En pratique pour des programmes écrits en arithmétique affine, nous avons combiné la relaxation de Shor et l'information des fonctions de Lyapunov quadratique pour évaluer la fonction sémantique relâchée et ainsi générer des invariants numériques sous forme d'ellipsoïdes tronquées. Le deuxième travail concerne l'itération sur les politiques et le calcul du plus petit point fixe qui fournit l'invariant le plus précis. Nous avons raffiné l'itération sur les politiques afin de produire le plus petit point fixe dans le cas des jeux stochastiques. Ce raffinement repose sur des techniques de théorie de Perron-Frobenius non-linéaire. En effet, la fonction sémantique abstraite sur les intervalles peut être vue comme un opérateur de Shapley en information parfaite: elle est semidifférentiable. L'approche conjointe de la semidifférentielle et des rayons spectraux non linéaires nous a permis, dans le cas des contractions au sens large de caractériser le plus petit point fixe. Cette approche mène à un critère d'arrêt pour l'itération sur politique dans le cas des fonctions affines par morceaux contractantes au sens large. Quand le point fixe est non minimal, le problème consiste à exhiber un point fixe négatif non nul de la semidifférentielle. Ce vecteur conduit à une nouvelle politique qui fournit un point fixe strictement plus petit que le point fixe courant. Cette approche a été appliquée à quelques exemples de jeux stochastiques à paiements positifs et de vérification de programmes.

L'objet de cette thèse est d'étudier la théorie du transport optimal sur un espace de Wiener abstrait. Les résultats qui se trouvent dans quatre principales parties, portent :Sur la convexité de l'entropie relative. On prolongera des résultats connus en dimension finie, sur l'espace de Wiener muni d'une norme uniforme, à savoir que l'entropie relative est (au moins faiblement) 1-convexe le long des géodésiques induites par un transport optimal sur l'espace de Wiener.Sur les mesures à densité logarithmiquement concaves. Le premier des résultats importants consiste à montrer qu'une inégalité de type Harnack est vraie pour le semi-groupe induit par une telle mesure sur l'espace de Wiener. Le second des résultats obtenus nous fournit une inégalité en dimension finie (mais indépendante de la dimension), contrôlant la différence de deux applications de transport optimal.Sur le problème de Monge. On s'intéressera au problème de Monge sur l'espace de Wiener, muni de plusieurs normes : des normes à valeurs finies, ou encore la pseudo-norme de Cameron-Martin.Sur l'équation de Monge-Ampère. Grâce aux inégalités obtenues précédemment, nous serons en mesure de construire des solutions fortes de l'équation de Monge-Ampère (induite par le coût quadratique) sur l'espace de Wiener, sous de faibles hypothèses sur les densités des mesures considérées / The aim of this PhD is to study the optimal transportation theory in some abstract Wiener space. You can find the results in four main parts and they are aboutThe convexity of the relative entropy. We will extend the well known results in finite dimension to the Wiener space, endowed with the uniform norm. To be precise the relative entropy is (at least weakly) geodesically 1-convex in the sense of the optimal transportation in the Wiener space.The measures with logarithmic concave density. The first important result consists in showing that the Harnack inequality holds for the semi-group induced by such a measure in the Wiener space. The second one provides us a finite dimensional and dimension-free inequality which gives estimate on the difference between two optimal maps.The Monge Problem. We will be interested in the Monge Problem on the Wiener endowed with different norms: either some finite valued norms or the pseudo-norm of Cameron-Martin.The Monge-Ampère equation. Thanks to the inequalities obtained above, we will be able to build strong solutions of the Monge-Ampère (those which are induced by the quadratic cost) equation on the Wiener space, provided the considered measures satisfy weak conditions