croissance du noyau de la chaleur et transformations de Riesz

0 downloads 0 Views 581KB Size Report
aoz. (1). 3C>0 tel que. [Ski k)
Ark. Mat., 32 (1994), 63-77 (~) 1994 by Institut Mittag-Leffler. All rights reserved

Isop6rim6trie, d6croissance du noyau de la chaleur et transformations de Riesz: un contre-exemple Thierry Coulhon et Michel Ledoux

1. I n t r o d u c t i o n

Si M est une vari6t6 riemannienne complete non compacte, il est maintenant bien connu que l'in~galit6 isop~rim6trique IAI (N- 1)/N < C IOAI, off A d~crit les sousensembles compacts de M ~ bord r6gulier, entra~ne sup~,ycMPt(x,y) 0 , off Pt est le noyau de la chaleur sur M ([17], voir aussi [6]). Une r6ciproque partielle ~ ce r6sultat est annonc~e dans [20]: si M est ~ g~om6trie born6e (par exemple courbure de Ricci minor6e et ~ rayon d'injectivit~ positif), et si sup~,ycMPt(X , y ) = O(t--N/2), t--+~-O0 (dans cette situation on a de toute fa~on sup~,yeMPt(X,y)= O(t--(dimM)/2), t-*O), alors IAI(N'-I)/N'0

tel que

[Skiaoz k)

N/2 arbitraires. P r o p o s i t i o n 2. Si n = N + l, la varidtd M vdrifie sup pt(x,y) = O(t-N/2), x,yEM

t --* +exP.

Preuve. Nous allons d'abord d~duire de (1) l'in~galit~

~_~(Ln_l[VOfk(O),2dO)ol~n_3)/(n_l)],

(3)

pour toute suite (fk(O)) i~ support fini de fonctions sur S '~-1, c'est-~-dire une in~galit~ de Sobolev "discr~tis~e en x" sur M. Pour cela, posons fk=ffk(O)dO. On a

[~k ( L

,~ ]l/a

\l/a

/

\

k

"

,

+

.-~lfk(o)--SkladO)

D'apr~s (1), y

~/a

Ifkl ao~ k) ~C~lSk--Sk+~l~k, k

,l,a

.

Thierry Coulhon et Michel Ledoux

68 et

Ifk--fk+ll2k

a.,j ~l/a

= (E

est satisfaite. Pour tout k > 0 , posons

Eakl/'~dil{ i>k}

\k>O~i>O

a)l

/a.

73

Isop6rim6trie et d6croissance du noyau de la chaleur

E n vertu de l'in~galit~ du triangle,

(~-~ E akl/adil{ i>-k}

o)1

(

/a

\k>0'i>0

i 0

)

lie

k~0

i_~0

Finalement

,I/a ~ (E 'di'~l/a)1/a~(E 'di]2~i)1/2 (~"~i- I f~2/a'~i/2t-'i ]

-k_>0

-

-i_>0

-

\i_>o

"

"iZ0

"

par C a u c h y - $ c h w a r z . E n passant d ' u n e s o m m a t i o n sur N ~ une s o m m a t i o n sur Z par paritY, la proposition s'ensuit. Nous sommes m a i n t e n a n t en mesure de construire le poids a. C o m m e 2/a
2 tel que 2/a< ( D - 2 ) / D < 1/b. D~finissons d ' a b o r d une suite de r~els (ak)kez de la faqon suivante: a o = l , puis, p o u r / > 3 ,

ak=k D-1 si l ( k < 2 3 ,

ak ----kD-12 -(k-21)

si k = 2l,..., 2 l + / ,

ak = kD-12 k-(2z +2l)

si k = 2 z + / + l , ..., 21+2/,

:

et enfin

ak ]gD--1 a-k = ak

si k -- 2 1 + 2 / + 1 , ..., 2 z+~ p o u r k E N*.

Notons qu'il existe C > 0 tel que C-lakoak-lk2D/a(-bO~ Mais, par que ak=Jk

construction de la suite ak,

E ak--lk2D/a ~-C E kl-Dk2D/a"bC E 12--1(D--2)212D/a' k~O k~_O l~_O et la conclusion en r6sulte puisque D - 2 > 2D/a. D u point de vue des in6galit6s de Sobolev pond6r6es sur R , nous avons o b t e n u au passage:

74

Thierry Coulhon et Michel Ledoux

P r o p o s i t i o n 5. Pour tout N > 2, il existe une fonction ~ sur R, C ~176 minorde par un, telle que l'indgalitd

(f+f

If(x)]2N/(N-2)O~(x)dx)(N-2)/N0,

Or, si P N-p0 _ 1 q N N b' et M a ~t~ construite de sorte qu'aucune in~galit~ du type ~ l / b ~ CO~k

n'ait lieu. Ceci ach~ve la preuve du tli~or~me.

Remarque. Le m~me type de raisonnement, appliqu~ au graphe obtenu en discr~tisant M, permet d'obtenir un r~sultat analogue an Th~or~me 3 pour les transformations de Riesz "discr~tes". H nous est agrdable de remercier Laurent Saloff-Coste, Damien Lamberton, Martine Babillot, Emmanuel Hebey, Nicholas Varopoulos et Noel Lohoud pour d'utiles conversations sur le contenu de cet article.

76

Thierry Coulhon et Michel Ledoux

Bibliographie 1. BAKRY, D., Transformations de Riesz pour les semi-groupes sym@triques, dans Sdminaire de Probabilitds X I X (Az@ma, J. et Yor, M., eds.), Lecture Notes in Math. 1123, pp. 130-175, Springer-Verlag, Berlin-Heidelberg, 1985. 2. BAKRY, D., Etude des transformations de Riesz dans les vari@t@s riemanniennes courbure de Ricci minor@e, dans Sdminaire de Probabilitds X X I (Az@ma, J., Meyer, P. A. et Yor, M., eds.), Lecture Notes in Math. 1247, pp. 137-172, Springer-Verlag, Berlin-Heidelberg, 1987. 3. BISHOP, R. et O'NEILL, B., Manifolds of negative curvature, Trans. Amer. Math. Soc. 145 (1969), 1-49. 4. CHAVEL, I. et FELDMAN, E., Isoperimetric constants, the geometry of ends, and large time heat diffusion in Riemannian manifolds, Proc. London Math. Soc. 62 (1991), 427-448. 5. CHAVEL,I. et FELDMAN, E., Modified isoperimetric constants, and large time heat diffusion in Riemannian manifolds, Duke Math. J. 64 (1991), 473-499. 6. CHENG, S., LI, P. et YAU, S., On the upper estimate of the heat kernel on a complete Riemannian manifold, Amer. J. Math. 156 (1986), 153-201. 7. COULHON,T., Dimension ~ l'infini d'un semi-groupe analytique, Bull. Sci. Math. 114 (1990), 485-500. 8. COULHON,T., Noyau de la chaleur et discr@tisation d'une vari@t6 riemannienne, Israel J. Math. 80 (1992), 289-300. 9. COULHON,T., Sobolev inequalities on graphs and on manifolds, dans Harmonic Analysis and Discrete Potential Theory (M. Picardello, ed.), pp. 207-214, Plenum, New York, 1992. 10. COULHON, T. et SALOFF-COSTE, L., Isop@rim@trie pour les groupes et les vari6t@s, Rev. Mat. Iberoamerieana 9 (1993), 293-314. 11. GERL, P., Sobolev inequalities and random walks, dans Probability Measures on Groups VIII (Heyer, H., ed.), Lecture Notes in Math. 1210, pp. 84-96, Springer-Verlag, Berlin-Heidelberg, 1986. 12. KANAI, M., Rough isometries, and combinatorial approximations of geometries of non-compact Riemannian manifolds, J. Math. Soc. Japan 37 (1985), 391-413. 13. KANAI, M., Analytic inequalities, and rough isometries between non-compact Riemannian manifolds, dans Curvature and Topology of Riemannian Manifolds (Shiohama, K., Sakai, T. et Sunada, T., eds.), Lecture Notes in Math. 1201, pp. 122-137, Springer-Verlag, Berlin-Heidelberg, 1986. 14. LEDOUX, M., A simple analytic proof of an inequality by P. Buser, ~ paraitre dans Proc. Amer. Math. Soc.

15. LI, P. et YAU, S., On the parabolic kernel of the SchrSdinger operator, Aeta Math. 156 (1986), 153-201. 16. LOHOU~, N., Comparaison des champs de vecteurs et du laplacien, J. Funct. Anal. 61 (1985), 164-201. 17. VAaOPOULOS, N., Une g@n@ralisation du th@or~me de Hardy-Littlewood Sobolev pour les espaces de Dirichlet, C. R. Acad. Sei. Paris Sdr. I Math. 299 (1984), 651-654.

Isop@rimgtrie et d~croissance du noyau de la chaleur

77

18. VAROPOULOS,N., Hardy-Littlewood theory for semigroups, J. Funct. Anal. 63 (1985), 240-260. 19. VAROPOULOS,N., Analysis on nilpotent groups, J. Funct. Anal. 66 (1986), 406-431. 20. VAROPOULOS,N.~ Small time Gaussian estimates of heat diffusion kernels. Part I: the semigroup technique, Bull. Sei. Math. 113 (1989), 253-277. Re~u le 11 janvier 1993

Thierry Coulhon D@partement de Math@matiques Universit~ de Cergy-Pontoise 8, Le Campus F-95033 Cergy France Michel Ledoux Laboratoire de Statistique et Probabilit@s Universit@ Toulouse III 118, route de Narbonne F-31062 Toulouse Cedex France