Séminaire Jean Leray.
Sur les équations aux dérivées partielles
P AUL M ALLIAVIN
Géométrie riemannienne stochastique
Séminaire Jean Leray, n
o2 (1973-1974), exp. n
o1, p. 1-5
<http://www.numdam.org/item?id=SJL_1973-1974___2_A1_0>
© Séminaire Jean Leray (Collège de France, Paris), 1973-1974, tous droits réservés.
L’accès aux archives de la collection « Séminaire Jean Leray » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation com- merciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Les
équations
de la chaleur intervenant dans lesproblèmes géométriques
sontgé-
néralement traités
(~2~,
y soit en utilisant des estiméesL?
, soit en utilisantdes calculs
explicites
deparamétrix [15].
L’Intégrale Stochastique
de Itopeut
être considérée comme une"paramétrix"
in-finitisémale"
qui
a ainsil’avantage
d’être directement liée aux invariants infi- nitésimaux de la Géométrie Différentielle. Deplus
lestrajectoires
du processus sont des courbesauxquelles
onpeut
donner unesignification géométrique
immédiateet sur
lesquelles
onpeut utiliser
y convenablementadaptée [3],
la machinerie de lagéométrie
différentielle des courbesCco .
Nous noterons par M une variété Riemannienne
complète,
ypar A m l’opérateur
deLaplace
Beltrami surM ,
par 03A9(M) l’espace
des chemins surM , d’origine
x , y muni de la mesure de
probabilité
de Wiener associéeà Am
1 parx w (t)
,w E
xo
un chemingénérique.
I.
Equations
différentielles decomparaison . -
On
remplace
l’étude deaM
par l’étuded’équations différentielles
ordinaires définiessur R ,
,qui
seront utilisées commeéquation
différentielle decomparai-
son : le processus x
(t)
seraprojeté
par une fonctionf ,
de classeC2
à- w
valeurs
réelles ;
alors Y(t) _ f(x (t))
estgouverné
par uneéquation intégrale
w w
stochastique
de Ito([4J , [7J) ;
on encadrera[10J
Y(t)
entre les chemins de(JD
deux diffusions R associées aux deux
équations
différentielles suivantes :où
a)
Notons pasg
la fonction de Green surM , g
les fonctions de Green sur R associées à L ,alors, ([10]) ,
il existe deux constantesC1
,C2
telles que pour x~
fixé,
yf(x) -
+ 00 , on ait :2
b)
Si M est une variété deStein,-
alors onpeut [14]
estimer par deséquations
différentielles de
comparaison
l’action des semi groupes de la chaleur sur les(0,0)
et(0,1)
formes. On en déduit des théorèmes d’existence par la méthode deHodge,
de solution deaf
= TT dans des espacesLp
àpoids.
c)
L’existence d’unegéodésique asymptote
est montrée[13J
pour la diffusion sur unevariété
de dimension 2 decourbure h
0 .d)
Des estimées de lapremière
valeur propre duLaplacien
sur une boulegéodési-
que
(valeurs
au bordnulles)
sont obtenues[2]
en termes de la courbure sectionnel- le.En corollaire il est obtenu que le cut-locus d’un
point
sur une variétécompacte
de
courbure
0 est de codimension 1 .’
e)
La convergence d’un processus convenablementadapté
vers la frontière distin-guée
d’unpolyèdre analytique
est obtenue[15]
cequi
donne des formules de Poissoncorrespondantes.
f)
Pour unsystème
surdéterminé de deuxopérateurs elliptiques
extrait du sys-tème de Hua sur le demi
plan
deSiegel
de rang2 ,
l’étudeasymptotique
de diffu-sions
composées permet
d’obtenir une formule de Poisson pour lesystème
sur la fron-tière de Shilov.
2. Formules de la
Moyenne
our lesformes harmoniques. -
Soit
0(M)
le fibréprincipal
desrepères
orthonormés surM ,
alors la lec- ture descomposantes
d’une forme différentielle TT dans lerepère
Tpermet
d’as-socier à TT une fonction f
n (T) à
valeurs vectoriellesdans RS , équivariante,
sous l’action de
0-(n;R) .
Si 0 dénote leLaplacien
de de RhamHodge,
alors ona la formule de Weitzenbock .
oà §~(~)
est unlaplacien horizontal,
£ sont les déri- vées de Lie suivant leschamps
de vecteurshorizontaux canoniques H K H.
assoclés àla connection Riemannienne et oà j est une
application
de0(M)
dansEnd(Rs) .
Les formes
harmoniques
sur M sont ainsi relevées sur0-(M)
dans les solutions dusystème elliptique
g~~~q~
et la théorie de M. Kac des fonctionnelles
multiplicatives.
On obtientalors, t >
0 étantfixé,
la formule de la moyenneo ,
b)
Utilisant 2.2 et des méthodes de calcul deperturbations
onpeut
obtenir~11~
des théorèmes d’annulation dans
lesquels l’hypothèse
de Bochner deposivité
estremplacée
par unepositivité ’en moyenne".
c)
Onpeut
obtenir[1]
des formules dereprésentation intégrales
pour le d Neumannproblème
deSpencer.
3)
Annulations au dessus des espaces Riemannienssymétriques
a)
Onpeut
obtenir[9]
unediagonalisation complète
dusystème
2.1 dans le cas de forme à valeurs dans un G - fibré vectoriel.b)
L’étude de l’annulation decohomologie
est ainsiramenée
à l’estimée de laplus petite
valeur propre deQ G
sur un espace de fonctionséquivariantes.
Les
propriétés ergodiques
de la diffusion horizontale liées à cette estimée sont obtenues via une factorisation de cettedécomposition
dans les coordonnées d’Iwasawa,en deux
composants indépendants [8].
4
BIBLIOGRAPHIE
[ 1]
H. AIRAULT.Approche stochastique à
desproblèmes
aux limites pour les for-mes
harmoniques.
C.R. Acad. Sciences deParis,
Juillet1974.
[ 2]
A.DEBIARD,
B. GAVEAU et MAZET.Temps
de vie des diffusions Riemanniennes.2 Notes aux C.R. Acad. Sciences de
Paris,
Février1974.
[3]
J. EELLS and P. MALLIAVIN. StochasticGeometry
on Riemmanian vector bundles in progress.[4] I.
GIHMAN and A. SKOHOROD. Stochastic Differentialéquations, Ergebnisse
derMatematik Bd.
72.
[ 5]
K. ITO. Stochasticparallel transport. Proceeding
of the InternationalCongress
Stockholm
1962.
[ 6]
A. KORANYI and P. MALLIAVIN. Poisson formulae andcompound
diffusion for anoverdetermined
elliptic system
on theSiegel
upper halfplane
of rank 2.[7]
MCKEAN. Stochasticintegrals 1969.
[ 8]
M-P. MALLIAVIN et P. MALLIAVIN. Factorisations et lois limites de la diffusion horizontale au dessus d’un espace Riemanniensymétrique.
C.R. de la Confé-rence
d’Analyse Harmonique
et Théorie duPotentiel, Strasbourg 1973, Sprin-
ger Lectures Notes.
[ 9]
M-P. MALLIAVIN et P. MALLIAVIN. Réductionalgébrique
duSystème
de de RhamHodge
au dessus d’un espace Riemanniensymétrique.
[10]
P. MALLIAVIN.Asymptotic
of the Green’s function of a Riemannian Manifold and Ito’s StochasticIntegrals.
Proc. Nat. Acad. Sciences U.S.A. Vol.71, February 1974.
[11]
P. MALLIAVIN. Formules de laMoyenne,
Calcul deperturbations
et théorème d’an-nulation pour les formes
harmoniques.
Journal of FunctionalAnalysis, Août 1974.
[12]
A. MILGRAM and P. ROSENBLOOM. Harmonic forms and heat conduction. Proc. Nat.Acad. Sciences U.S.A.