Besov measure

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

Let $H$ be a separable Hilbert space of functions defined on a domain $D \subseteq \mathbb{R}^{d}$, and let $\{ e_{n} \mid n \in \mathbb{N} \}$ be a complete orthonormal basis for $H$. Let $s \in \mathbb{R}$ and $1 \leq p < \infty$. For $u = \sum_{n \in \mathbb{N}} u_{n} e_{n} \in H$, define

$\| u \|_{X^{s, p}} = \left\| \sum_{n \in \mathbb{N}} u_{n} e_{n} \right\|_{X^{s,p}} := \left( \sum_{n = 1}^{\infty} n^{( \frac{p s}{d} + \frac{p}{2} - 1)} | u_{n} |^{p} \right)^{1/p}.$

This defines a norm on the subspace of $H$ for which it is finite, and we let $X^{s, p}$ denote the completion of this subspace with respect to this new norm. The motivation for these definitions arises from the fact that $\| u \|_{X^{s, p}}$ is equivalent to the norm of $u$ in the Besov space $B_{p p}^{s}(D)$.

Let $\kappa > 0$ be a scale parameter, similar to the precision (the reciprocal of the variance) of a Gaussian measure. We now define a $X^{s, p}$-valued random variable $u$ by

$u := \sum_{n \in \mathbb{N}} n^{-(\frac{s}{d} + \frac{1}{2} - \frac{1}{p})} \kappa^{- \frac{1}{p}} \xi_{n} e_{n},$

where $\xi_{1}, \xi_{2}, \dots$ are sampled independently and identically from the generalized Gaussian measure on $\mathbb{R}$ with Lebesgue probability density function proportional to $\exp ( - \tfrac{1}{2} | \xi_{n} |^{p} )$. Informally, $u$ can be said to have a probability density function proportional to $\exp (- \tfrac{\kappa}{2} \| u \|_{X^{s, p}}^{p} )$ with respect to infinite-dimensional Lebesgue measure (which does not make rigorous sense), and is therefore a natural candidate for a “typical” element of $X^{s, p}$. Nevertheless, it can be shown that the series defining $u$ converges in $X^{s, p}$ almost surely, and therefore gives a well-defined $X^{s, p}$-valued random variable. The random variable $u$ is said to be Besov distributed with parameters $\kappa, s, p$, and the induced probability measure on $X^{s, p}$ is called a Besov measure.

References

• Dashti, Masoumeh and Harris, Stephen and Stuart, Andrew (2012). "Besov priors for Bayesian inverse problems". Inverse Probl. Imaging 6 (2): 183–200. doi:10.3934/ipi.2012.6.183. ISSN 1930-8337. MR 2942737.
• Lassas, Matti and Saksman, Eero and Siltanen, Samuli (2009). "Discretization-invariant Bayesian inversion and Besov space priors". Inverse Probl. Imaging 3 (1): 87–122. doi:10.3934/ipi.2009.3.87. ISSN 1930-8337. MR 2558305.