Quand est-ce que des bornes de Hardy permettent de calculer une constante de Poincaré exacte sur la droite ?
Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 17 (2008) no. 1, pp. 121-192.

Classiquement, des inégalités de Hardy permettent d’estimer le trou spectral d’une diffusion réelle à un facteur 4 près. L’objectif de ce papier est d’essayer de mieux appréhender cette constante fluctuante, du moins dans un contexte symétrique. Notamment on donnera un critère asymptotique simple assurant qu’elle vaut exactement 4. L’argument sous-jacent consiste à voir le trou spectral comme une fonctionnelle semi-explicite et surtout monotone en un réarrangement des données du problème. Pour l’exhiber, on aura recours à des propriétés de régularité de la constante de Poincaré correspondante et on fera certains liens avec les méthodes de chemins, les premières valeurs propres de Dirichlet, les équations de Sturm-Liouville et les fonctionnelles browniennes, la plupart ayant déjà été observés par divers auteurs. Enfin on étendra les résultats obtenus au cas des processus de vie et de mort sur , mais toujours dans un cadre symétrique. Notre espoir est que cette démarche pourra s’adapter pour permettre d’appliquer finement les constantes de Hardy à des inégalités fonctionnelles plus ardues que celle de Poincaré.

Classically, Hardy’s inequality enables to estimate the spectral gap of a one-dimensional diffusion up to a factor belonging to [1,4]. The goal of this paper is to better understand the latter factor, at least in a symmetric setting. In particular, we will give an asymptotical criterion implying that its value is exactly 4. The underlying argument is based on a semi-explicit functional for the spectral gap, which is monotone in some rearrangement of the data. To find it will resort to some regularity properties of Poincaré’s constant and we will exhibit some links, more or less already known, with path methods, principal Dirichlet eigenvalues, Sturm-Liouville’s equations and Brownian functionals. Finally, we will extend the investigation to the case of birth and death processes on , still in a symmetric context. We hope this approach can be extended to more difficult functional inequalities.

@article{AFST_2008_6_17_1_121_0,
     author = {Miclo, Laurent},
     title = {Quand est-ce que des bornes de Hardy permettent de calculer une constante de Poincar\'e exacte sur la droite ?},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {121--192},
     publisher = {Universit\'e Paul Sabatier, Institut de math\'ematiques},
     volume = {Ser. 6, 17},
     number = {1},
     year = {2008},
     doi = {10.5802/afst.1179},
     mrnumber = {2464097},
     zbl = {1160.60006},
     language = {en},
     url = {www.numdam.org/item/AFST_2008_6_17_1_121_0/}
}
Miclo, Laurent. Quand est-ce que des bornes de Hardy permettent de calculer une constante de Poincaré exacte sur la droite ?. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 17 (2008) no. 1, pp. 121-192. doi : 10.5802/afst.1179. http://www.numdam.org/item/AFST_2008_6_17_1_121_0/

[1] Barthe (F.), Cattiaux (P.) et Roberto (C.).— Interpolated inequalities between exponential and Gaussian, Orlicz hypercontractivity and isoperimetry (2004). | Zbl 1118.26014

[2] Barthe (F.) et Roberto (C.).— Sobolev inequalities for probability measures on the real line, Studia Math., 159(3), p. 481–497 (2003). Dédicacé au Professeur Aleksander Pełczyński à l’occasion de son 70ième anniversaire (Polonais). | Zbl 1072.60008

[3] Bobkov (S. G.) et Götze (F.).— Exponential integrability and transportation cost related to logarithmic Sobolev inequalities, J. Funct. Anal., 163(1), p. 1–28 (1999). | MR 1682772 | Zbl 0924.46027

[4] Bobkov (S.G.) et Götze (F.).— Muckenhoupt’s condition via Riccati and Sturm-Liouville equations, Préprint (2002).

[5] Chafaï (D.).— Entropies, convexity, and functional inequalities, J. Math. Kyoto Univ., 44(2), p. 325–363 (2004). | MR 2081075 | Zbl 1079.26009

[6] Chen (M.-F.).— From Markov chains to non-equilibrium particle systems, World Scientific Publishing Co. Inc., River Edge, NJ, second edition (2004). | MR 2091955 | Zbl 1078.60003

[7] Chen (M.-F.).— Eigenvalues, inequalities, and ergodic theory, Probability and its Applications (New York), Springer-Verlag London Ltd., London (2005). | MR 2105651 | Zbl 1079.60005

[8] Chung (K. L.) et Rao (K. M.).— Feynman-Kac functional and the Schrödinger equation, In Seminar on Stochastic Processes, 1981 (Evanston, Ill., 1981), volume 1 des Progr. Prob. Statist., pages 1–29. Birkhäuser Boston, Mass. (1981). | MR 647779 | Zbl 0492.60073

[9] Chung (K. L.) et Williams (R. J.).— Introduction to stochastic integration, Probability and its Applications. Birkhäuser Boston Inc., Boston, MA, second edition (1990). | MR 1102676 | Zbl 0725.60050

[10] Chung (K. L.) et Zhao (Z. X.).— From Brownian motion to Schrödinger’s equation, volume 312 des Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag, Berlin (1995). | Zbl 0819.60068

[11] Colin de Verdière (Y.).— Spectres de graphes, volume 4 des Cours Spécialisés [Specialized Courses], Société Mathématique de France, Paris (1998). | MR 1652692 | Zbl 0913.05071

[12] Courant (R.) et Hilbert (D.).— Methods of mathematical physics. Vol. I, Interscience Publishers, Inc., New York, N.Y. (1953). | MR 65391 | Zbl 0051.28802

[13] Diaconis (P.) et Stroock (D).— Geometric bounds for eigenvalues of Markov chains, Ann. Appl. Probab., 1(1), p. 36–61 (1991). | MR 1097463 | Zbl 0731.60061

[14] Donati-Martin (C.) et Yor (M.).— Mouvement brownien et inégalité de Hardy dans L 2 , In Séminaire de Probabilités, XXIII, volume 1372 des Lecture Notes in Math., pages 315–323, Springer, Berlin (1989). | Numdam | MR 1022919 | Zbl 0739.60073

[15] Dunford (N.) et Schwartz (J. T.).— Linear operators. Part II, Wiley Classics Library. John Wiley & Sons Inc., New York (1988), Spectral theory. Selfadjoint operators in Hilbert space, Avec l’assistance de William G. Bade et Robert G. Bartle, Réimpression de l’édition originale de 1963, Wiley-Interscience Publication. | Zbl 0635.47002

[16] Fukushima (M.), Ōshima (Y.) et Takeda (M.).— Dirichlet forms and symmetric Markov processes, volume 19 des de Gruyter Studies in Mathematics, Walter de Gruyter & Co., Berlin (1994). | MR 1303354 | Zbl 0838.31001

[17] Gentil (I.), Guillin (A.) et Miclo (L.).— Modified logarithmic Sobolev inequalities and transportation inequalities, Préprint (2004). | MR 2198019 | Zbl 1080.26010

[18] Glimm (J.) et Jaffe (A.).— Quantum physics, Springer-Verlag, New York, second edition (1987). A functional integral point of view. | MR 887102 | Zbl 0461.46051

[19] Hardy (G. H.), Littlewood (J. E.) et Pólya (G.).— Inequalities, Cambridge Mathematical Library. Cambridge University Press, Cambridge (1988). Réimpression de l’édition de 1952. | Zbl 0634.26008

[20] Hartman (P.).— Ordinary differential equations, Birkhäuser Boston, Mass., second edition (1982). | MR 658490 | Zbl 0476.34002

[21] Holley (R.) et Stroock (D.).— Simulated annealing via Sobolev inequalities, Comm. Math. Phys., 115(4), p. 553–569 (1988). | MR 933455 | Zbl 0643.60092

[22] Holley (R.A.), Kusuoka (S.) et Stroock (D.W.).— Asymptotics of the spectral gap with applications to the theory of simulated annealing, J. Funct. Anal., 83(2), p. 333–347 (1989). | MR 995752 | Zbl 0706.58075

[23] Kahale (N.).— A semidefinite bound for mixing rates of Markov chains, In Proceedings of the Workshop on Randomized Algorithms and Computation (Berkeley, CA, 1995), volume 11, pages 299–313 (1997). | MR 1608821 | Zbl 0889.90154

[24] Kotani (S.) et Watanabe (S.).— Kreĭn’s spectral theory of strings and generalized diffusion processes, In Functional analysis in Markov processes (Katata/Kyoto, 1981), volume 923 des Lecture Notes in Math., pages 235–259, Springer, Berlin (1982). | Zbl 0496.60080

[25] Mansuy (R.).— On a one-parameter generalization of the Brownian bridge and associated quadratic functionals, J. Theoret. Probab., 17(4), p.1021–1029 (2004). | MR 2105746 | Zbl 1063.60049

[26] Marcus (M.), Mizel (V.J.) et Pinchover (Y.).— On the best constant for Hardy’s inequality in R n , Trans. Amer. Math. Soc., 350(8), p. 3237–3255 (1998). | Zbl 0917.26016

[27] Matskewich (T.) et Sobolevskii (P.E.).— The best possible constant in generalized Hardy’s inequality for convex domain in R n , Nonlinear Anal., 28(9), p. 1601–1610 (1997). | Zbl 0876.46025

[28] Maz’ja (V.G.).— Sobolev spaces, Springer Series in Soviet Mathematics. Springer-Verlag, Berlin (1985). Translated from the Russian by T. O. Shaposhnikova. | Zbl 0692.46023

[29] Miclo (L.).— An example of application of discrete Hardy’s inequalities, Markov Process. Related Fields, 5(3), p. 319–330 (1999). | Zbl 0942.60081

[30] Miclo (L.).— Une condition asymptotique pour le calcul de constantes de Sobolev logarithmiques sur la droite, Préprint soumis (2006).

[31] Muckenhoupt (B.).— Hardy’s inequality with weights, Studia Math., 44, p. 31–38 (1972). Collection d’articles honorant les 50 années d’activité scientifique d’Antoni Zygmund, I. | Zbl 0236.26015

[32] Neveu (J.).— Martingales à temps discret, Masson et Cie, éditeurs, Paris (1972). | MR 402914

[33] Peccati (G.) et Yor (M.).— Hardy’s inequality in L 2 ([0,1]) and principal values of Brownian local times, Préprint (2001).

[34] Peccati (G.) et Yor (M.).— Four limit theorems for quadratic functionals of Brownian motion and Brownian bridge, Préprint à paraître dans Fields Institute Communications (2004). | MR 2106849 | Zbl 1071.60017

[35] Pinsky (R.G.).— A spectral criterion for the finiteness or infiniteness of stopped Feynman-Kac functionals of diffusion processes, Ann. Probab., 14(4), p. 1180–1187 (1986). | MR 866341 | Zbl 0611.60072

[36] Pinsky (R.G.).— Positive harmonic functions and diffusion, volume 45 des Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (1995). | MR 1326606 | Zbl 0858.31001

[37] Pitman (J.) et Yor (M.).— A decomposition of Bessel bridges, Z. Wahrsch. Verw. Gebiete, 59(4), p. 425–457 (1982). | MR 656509 | Zbl 0484.60062

[38] Pitman (J.) et Yor (M.).— Sur une décomposition des ponts de Bessel, In Functional analysis in Markov processes (Katata/Kyoto, 1981), volume 923 des Lecture Notes in Math., pages 276–285, Springer, Berlin (1982). | MR 661630 | Zbl 0499.60082

[39] Reed (M.) et Simon (B.).— Methods of modern mathematical physics. IV. Analysis of operators, Academic Press [Harcourt Brace Jovanovich Publishers], New York (1978). | MR 493421 | Zbl 0401.47001

[40] Revuz (D.) et Yor (M.).— Continuous martingales and Brownian motion, volume 293 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag, Berlin, third edition (1999). | MR 1725357 | Zbl 0917.60006

[41] Rudin (W.).— Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987. | MR 924157 | Zbl 0925.00005

[42] Saloff-Coste (L.).— Lectures on finite Markov chains. In Lectures on probability theory and statistics (Saint-Flour, 1996), volume 1665 des Lecture Notes in Math., pages 301–413, Springer, Berlin (1997). | MR 1490046 | Zbl 0885.60061

[43] Sinnamon (G.).— Four questions related to Hardy’s inequality, In Function spaces and applications (Delhi, 1997), pages 255–266. Narosa, New Delhi (2000). | Zbl 1006.26013

[44] Yor (M.).— Some aspects of Brownian motion. Part I, Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel (1992). Some special functionals. | MR 1193919 | Zbl 0779.60070