In mathematics — specifically, in the fields of probability theory and inverse problems — Besov measures and associated Besov-distributed random variables are generalisations of the notions of Gaussian measures and random variables, Laplace distributions, and other classical distributions. They are particularly useful in the study of inverse problems on function spaces for which a Gaussian Bayesian prior is an inappropriate model. The construction of a Besov measure is similar to the construction of a Besov space, hence the nomenclature.
Definitions
[edit]Let be a separable Hilbert space of functions defined on a domain , and let be a complete orthonormal basis for . Let and . For , define
This defines a norm on the subspace of for which it is finite, and we let denote the completion of this subspace with respect to this new norm. The motivation for these definitions arises from the fact that is equivalent to the norm of in the Besov space .
Let be a scale parameter, similar to the precision (the reciprocal of the variance) of a Gaussian measure. We now define a -valued random variable by
where are sampled independently and identically from the generalized Gaussian measure on with Lebesgue probability density function proportional to . Informally, can be said to have a probability density function proportional to with respect to infinite-dimensional Lebesgue measure (which does not make rigorous sense), and is therefore a natural candidate for a "typical" element of (although this Is not quite true — see below).
Properties
[edit]It is easy to show that, when t ≤ s, the Xt,p norm is finite whenever the Xs,p norm is. Therefore, the spaces Xs,p and Xt,p are nested:
This is consistent with the usual nesting of smoothness classes of functions f: D → R: for example, the Sobolev space H2(D) is a subspace of H1(D) and in turn of the Lebesgue space L2(D) = H0(D); the Hölder space C1(D) of continuously differentiable functions is a subspace of the space C0(D) of continuous functions.
It can be shown that the series defining u converges in Xt,p almost surely for any t < s − d / p, and therefore gives a well-defined Xt,p-valued random variable. Note that Xt,p is a larger space than Xs,p, and in fact thee random variable u is almost surely not in the smaller space Xs,p. The space Xs,p is rather the Cameron-Martin space of this probability measure in the Gaussian case p = 2. The random variable u is said to be Besov distributed with parameters (κ, s, p), and the induced probability measure is called a Besov measure.
See also
[edit]- Abstract Wiener space – separable Banach space equipped with a Hilbert subspace such that the standard cylinder set measure on the Hilbert subspace induces a Gaussian measure on the whole Banach space
- Cameron–Martin theorem – Theorem defining translation of Gaussian measures (Wiener measures) on Hilbert spaces.
- Feldman–Hájek theorem – Theory in probability theory
- Structure theorem for Gaussian measures – Mathematical theorem
- There is no infinite-dimensional Lebesgue measure – Mathematical folklore
References
[edit]- Dashti, Masoumeh; Harris, Stephen; Stuart, Andrew M. (2012). "Besov priors for Bayesian inverse problems". Inverse Problems & Imaging. 6 (2): 183–200. arXiv:1105.0889. doi:10.3934/ipi.2012.6.183. ISSN 1930-8337. MR 2942737. S2CID 88518742.
- Lassas, Matti; Saksman, Eero; Siltanen, Samuli (2009). "Discretization-invariant Bayesian inversion and Besov space priors". Inverse Problems & Imaging. 3 (1): 87–122. arXiv:0901.4220. doi:10.3934/ipi.2009.3.87. ISSN 1930-8337. MR 2558305. S2CID 14122432.
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction