Bobkow-Ungleichung

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Die Bobkow-Ungleichung ist in der Stochastik eine funktionale isoperimetrische Ungleichung für das kanonische gaußsche Maß. Sie verallgemeinert die gaußsche isoperimetrische Ungleichung von Boris Tsirelson, Vladimir Sudakow und Christer Borell aus den 1970ern.

Die Gleichung wurde 1997 von dem russischen Mathematiker Sergey Bobkow bewiesen.[1]

Bobkow-Ungleichung

[Bearbeiten | Quelltext bearbeiten]

Notation:

Sei

  • das kanonische gaußsche Maß auf bezüglich des Lebesgue-Maßes.
  • die eindimensionale kanonische gaußsche Dichte.
  • die Verteilungsfunktion von , das bedeutet .

Nun definieren wir die Funktion durch

Diese Funktion verschwindet an den Endpunkten

Für jede lokal-lipschitzstetige (oder glatte) Funktion gilt die Ungleichung[2][3]

In wahrscheinlichkeitstheoretischer Notation

Verallgemeinerungen

[Bearbeiten | Quelltext bearbeiten]

Es existiert eine Verallgemeinerung von Dominique Bakry und Michel Ledoux.[4]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Sergey G. Bobkov: An isoperimetric inequality on the discrete cube, and an elementary proof of the isoperimetric inequality in Gauss space. In: Institute of Mathematical Statistics (Hrsg.): The Annals of Probability. Band 25, Nr. 1, 1997, S. 206 - 214, doi:10.1214/aop/1024404285.
  2. Sergey G. Bobkov: An isoperimetric inequality on the discrete cube, and an elementary proof of the isoperimetric inequality in Gauss space. In: Institute of Mathematical Statistics (Hrsg.): The Annals of Probability. Band 25, Nr. 1, 1997, S. 209, doi:10.1214/aop/1024404285 (Korollar 1).
  3. Eric Carlen und James Kerce: On the case of equality in Bobkov's inequality and Gaussian rearrangement. In: Calculus of Variations. Band 13, 2001, S. 2, doi:10.1007/PL00009921.
  4. Bakry, Dominique & Ledoux, Michel. (1996). Lévy–Gromov’s isoperimetric inequality for an infinite dimensional diffusion generator. Inventiones Mathematicae. 123. 259-281. 10.1007/s002220050026.