Thèse soutenue

Principe d'invariance individuel pour une diffusion dans un environnement périodique.

FR  |  
EN
Auteur / Autrice : Moustapha Ba
Direction : Pierre Mathieu
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 08/07/2014
Etablissement(s) : Aix-Marseille
Ecole(s) doctorale(s) : Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)
Jury : Président / Présidente : Etienne Pardoux
Examinateurs / Examinatrices : Ahmadou Bamba Sow, Andreǐ L. Pianitski, Thierry Gallouët
Rapporteurs / Rapporteuses : Jean-Dominique Deuschel, Antoine Lejay

Résumé

FR  |  
EN

Nous montrons ici, en utilisant les méthodes de l'analyse stochastique, le principe d'invariance pour des diffusion sur ℝ^d, d≥2, en milieu périodique au delà des hypothèses d'uniforme ellipticité et au delà des hypothèses de régularité sur le potentiel. La théorie du calcul stochastique pour les processus associés aux formes de Dirichlet est largement utilisée pour justifier l'existence du processus de Markov à temps continus, défini pour presque tout point de départ sur ℝ^d. Pour la preuve du principe d'invariance, nous montrons une nouvelle inégalité de type Sobolev avec des poids différents, qui nous permet de déduire l'existence et la bornitude d'une densité de la probabilité de transition associée au processus de Markov. Cette inégalité, est l'outil principal de ce travail. La preuve fera appel à des techniques d'analyse harmonique. Enfin, le chapitre 3 contient le résultat principal du travail de la thèse : le principe d'invariance qui veut dire que la suite de processus (εX_{tε⁻²}) converge en loi quand ε tend vers zéro vers un mouvement Brownien. Notre stratégie suit quelques étapes classiques : nous nous appuyons sur la construction de ce qu'on appelle ici correcteur. Afin de contrôler le correcteur, et aussi pour montrer son existence, nous nous appuyons sur l'inégalité de Sobolev. Le resultat est obenu seulement avec les hypothèses, le potentiel V est périodique et satisfait: e^{V}+e^{-V} localement dans L¹(ℝ^d;dx) ou dx est la mesure de Lebesgue.