Jeff Rauch
Etablissement de l'orateur
Ann Arbor (Michigan)
Date et heure de l'exposé
Lieu de l'exposé
Salle des séminaires
Résumé de l'exposé

Some twenty years ago Berenger introduced the remarkable method of perfectly matched layers for truncating to a rectangle, the computation of solutions of Maxwell's equations in 1+2 and 1+3 dimensional space time. Only recently have some of the fundamental questions concerning this method been resolved. For example the stability of the original method and its perfection. We discuss the analysis of this and related methods that are constructed to perform better in variable coefficient settings where the perfection of Berenger no longer holds. Research done with Laurence Haplern, Sabrina Petit, and Ludovic Métivier.

Nom de l'auteur
Launay
Prénom de l'auteur
Tristan
Date de soutenance
Nom du ou des directeurs de thèse
A. Philippe

Dans ce manuscrit, nous développons des outils de statistique bayésienne pour la prévision de consommation d'électricité en France. Nous prouvons tout d'abord la normalité asymptotique de la loi a posteriori (théorème de Bernstein-von Mises) pour le modèle linéaire par morceaux de part chauffage et la consistance de l'estimateur de Bayes. Nous décrivons ensuite la construction d'une loi a priori informative afin d'améliorer la qualité des prévisions d'un modèle de grande dimension en situation d'historique court. A partir de deux exemples impliquant les clients non télérelevés de EDF, nous montrons notamment que la méthode proposée permet de rendre l'évaluation du modèle plus robuste vis-à-vis du manque de données. Nous proposons enfin un nouveau modèle dynamique, non-linéaire, pour prévoir la consommation d'électricité en ligne. Nous construisons un algorithme de filtrage particulaire afin d'estimer ce modèle et comparons les prévisions obtenues aux prévisions opérationnelles utilisées au sein d'EDF.

comment

Nom de l'auteur
Aboud
Prénom de l'auteur
Fatima
Date de soutenance
Nom du ou des directeurs de thèse
D. Robert

Ce travail porte sur l'étude de familles polynomiales d'opérateurs de la forme : L(z)=H0+z H1+...+ zm-1Hm-1+zm , où H0,H1,...,Hm-1 sont des opérateurs définis sur l'espace de Hilbert H et z est un paramètre complexe. On s'intéresse au spectre de la famille L(z). Le problème L(z)u(x)=0 est un problème aux valeurs propres non-linéaires lorsque m≥2 (Un nombre complexe z est appelé valeur propre de L(z), s'il existe u dans H, u≠0$ tel que L(z)u=0). Ici nous considérons des familles quadratiques (m=2) et nous nous intéressons en particulier au cas LP(z)=-∆x+(P(x)-z)2, définie dans l'espace de Hilbert L2(Rn), où P est un polynôme positif elliptique de degré M≥2. Dans cet exemple les résultats connus d'existence de valeurs propres concernent les cas $n=1$ et $n$ paire. L'objectif principal de ce travail est de progresser vers la preuve de la conjecture suivante, formulée par Helffer-Robert-Wang : « Pour toute dimension n, pour tout M≥2, le spectre de LP est non vide. » Nous prouvons cette conjecture dans les cas suivants : (1) n=1,3, pour tout polynôme P de degré M≥2. (2) n=5, pour tout polynôme P convexe vérifiant de plus des conditions techniques. (3) n=7, pour tout polynôme P convexe. Ce résultat s'étend à des polynômes quasi-homogènes et quasi-elliptiques comme par exemple P(x,y)=x2+y4, x dans Rn1, y dans Rn2, n1+n2=n, et n paire. Nous prouvons ces résultats en calculant les coefficients d'une formule de trace semi-classique et en utilisant le théorème de Lidskii.

comment

Nom de l'auteur
Jia
Prénom de l'auteur
Xiaoyao
Date de soutenance
Nom du ou des directeurs de thèse
X. P. Wang

ON ETUDIE DANS CETTE THESE CERTAINS PROBLEMES SPECTRAUX POUR DES OPERATEURS DESCHRODINGER. ON S'INTERESSE D'ABORD A LA LIMITE SEMI-CLASSIQUE POUR LE NOMBRE D'ETATS PROPRESDE L'OPERATEUR DE SCHRODINGER A N CORPS. ON UTILISE ENSUITE LE CROCHET DE DIRICHLET-NEUMANN POUR OBTENIR LA LIMITE SEMI-CLASSIQUE DES MOYENNES DE RIESZ DES VALEURS PROPRES DISCRETES POUR L'OPERATEUR DE SCHRODINGER A N CORPS. ON CONSIDERE EGALEMENT LE POTENTIEL EFFECTIF DE L'OPERATEUR DE SCHRODINGER A N CORPS AVEC POTENTIEL DE COULOMB ET ON OBTIENT QU'IL A UNE DECROISSANCE CRITIQUE A L'INFINI. ON ETUDIE DONC L'OPERATEUR DE SCHRODINGER A POTENTIEL CRITIQUE. ON S'INTERESSE AU SEUIL POUR LA CONSTANTE DE COUPLAGE ET AU DEVELOPPEMENT ASYMPTOTIQUE DE LA RESOLVANTE DE L'OPERATEUR DE SCHRODINGER, PUIS ON UTILISE CE DEVELOPPEMENT POUR ETUDIER LA LIMITE A BASSE ENERGIE DE LA DERIVEE DE LA FONCTION DE DECALAGE SPECTRAL POUR UNE PERTURBATION A DECROISSANCE CRITIQUE. FINALEMENT, ON UTILISE CE RESULTAT AVEC LE RESULTAT CONNU POUR LE DEVELOPPEMENT ASYMPTOTIQUE A HAUTE ENERGIE DE CETTE FONCTION DE DECALAGE SPECTRAL POUR OBTENIR LE THEOREME DE LEVINSON.

comment

Nom de l'auteur
Coudière
Prénom de l'auteur
Yves
Thèse de doctorat ou HDR
Date de soutenance

L'étude mathématique des modèles et des méthodes de calcul en électrophysiologie des tissus cardiaques constitue la principale motivation de mes travaux de recherche en mathématiques appliquées. Ces travaux ont trouvé des applications en imagerie médicale et en bioingénierie grâce aux simulations numériques que nous avons rendues possibles. Les équations d'électrocardiologie, de type réaction-diffusion dégénérée, peuvent être discrétisées efficacement par des méthodes de volumes finis. Ce mémoire synthétise l'ensemble des résultats de mes travaux dans ces domaines, c'est à dire : analyse des équations aux dérivées partielles d'électrocardiologie, expérimentation et applications numériques d'une part; introduction de nouveaux schémas et analyse numérique de méthodes de volumes finis pour des problèmes de diffusion anisotrope, de convection-diffusion et des systèmes hyperboliques linéaires d'autre part. Ces travaux visent une meilleure compréhension scientifique des équations de l'électrophysiologie et plus généralement du fonctionnement électrique d'un tissu cardiaque ou du coeur entier.

comment

Nom de l'auteur
Touzé
Prénom de l'auteur
Antoine
Date de soutenance
Nom du ou des directeurs de thèse
V. Franjou

Le but de cette thèse est d'obtenir des résultats sur la cohomologie rationnelle du groupe linéaire. Nous attaquons ce problème en le transposant dans la catégorie des bifoncteurs polynomiaux, dans laquelle les calculs sont plus aisés.

Nous rappelons dans un premier temps la structure de la catégorie des bifoncteurs polynomiaux sur un anneau commutatif quelconque. Nous démontrons que la cohomologie des bifoncteurs calcule la cohomologie rationnelle du groupe linéaire sur un anneau quelconque (ce résultat n'était auparavant connu que sur un corps). Puis nous développons des techniques générales pour le calcul de la cohomologie des bifoncteurs. Nous introduisons notamment de nouveaux outils efficaces pour étudier la torsion de Frobenius en caractéristique p. Enfin, nous appliquons ces méthodes à des familles explicites de bifoncteurs. Nous obtenons ainsi de nouveaux résultats (par exemple des séries de Poincaré) sur la cohomologie rationnelle à valeur dans des représentations classiques, telles que les puissances symétriques et divisées des twists de l'algèbre de Lie du groupe linéaire.

comment