Fernique's theorem

In mathematics, specifically, in measure theory, Fernique's theorem is a result about Gaussian measures on Banach spaces. It extends the finite-dimensional result that a Gaussian random variable has exponential tails. The result was proved in 1970 by the mathematician Xavier Fernique.

Statement

Let (X, || ||) be a separable Banach space. Let μ be a centred Gaussian measure on X, i.e. a probability measure defined on the Borel sets of X such that, for every bounded linear functional  : X  R, the push-forward measure μ defined on the Borel sets of R by

is a Gaussian measure (a normal distribution) with zero mean. Then there exists α > 0 such that

A fortiori, μ (equivalently, any X-valued random variable G whose law is μ) has moments of all orders: for all k  0,

gollark: Oh yes, of course.
gollark: But then you need another simple trick to get muons!
gollark: I don't think you can get nuclear fusion at 8000 degrees.
gollark: I too love overpriced phones where Apple has a monopoly on application distribution!
gollark: IRC is totally* alive. I run an IRC network with more than 0 users which may or may not just be a convoluted joke I roped some other people with servers into.

References

  • Fernique, Xavier (1970). "Intégrabilité des vecteurs gaussiens". Comptes Rendus de l'Académie des Sciences, Série A-B. 270: A1698–A1699. MR0266263
  • Giuseppe Da Prato and Jerzy Zabczyk, Stochastic equations in infinite dimension, Cambridge University Press, 1992. Theorem 2.7


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.