Abstract
We prove the existence of an intermediate Banach space between the space where the Gaussian measure lives and its RKHS, thus extending what happens with Wiener measure, where the intermediate space can be chosen as a space of Hölder paths. From this result, it is very simple to deduce a result of exponential tightness for Gaussian probabilities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(E={\mathscr{C}}_0([0,T],{\mathbb{R}}^m)\) be the space of continuous \({\mathbb{R}}^m\)-valued paths starting at 0 and endowed with the sup norm and let \(\mu\) be the Wiener measure on it. It is well known that the Reproducing Kernel Hilbert Space (RKHS) of this Gaussian probability is the space \({\mathscr{H}}=H^1_0([0,T])\) of the paths \(\gamma\) vanishing at 0, that are absolutely continuous and have a square integrable derivative.
Let us denote by \({\mathscr{C}}^0_\alpha \subset E\) the space of the paths that are \(\alpha\)-Hölder continuous and whose modulus of continuity
is such that
This space (whose elements are sometimes called the “small” \(\alpha\)-Hölder continuous functions) is separable and it is also well known (thanks to Kolmogorov’s continuity theorem) that, for \(0<\alpha <\frac{1}{2}\), \(\mu ({\mathscr{C}}^0_\alpha )=1\) (whereas \(\mu ({\mathscr{H}})=0\)). It is also well known that, still for \(0<\alpha <\frac{1}{2}\),
the embeddings being compact.
We are concerned with the question whether the existence of such an “intermediate” space is a general fact, i.e. true for every centered Gaussian probability on a separable Banach space.
More precisely we prove the following result.
Theorem 1.1
Let E be a separable Banach space, \(\mu\) a centered Gaussian probability on E and \({\mathscr{H}}\) the corresponding RKHS. Then there exists a Banach space \({{\widetilde{E}}}\), separable and such that
-
(a)
\(\mu ({{\widetilde{E}}})=1\) and
-
(b)
the embeddings
are compact.
We shall even prove that there are infinitely many such spaces. We shall call “intermediate space” any separable Banach space satisfying (a) and (b) of Theorem 1.1.
The proof of Theorem 1.1 is the object of Sect. 3. Of course Theorem 1.1 is obvious if E is finite dimensional, as then we can choose \(E={{\widetilde{E}}}={\mathscr{H}}\). Therefore in the sequel we implicitly assume that E is infinite dimensional.
In the proof we shall also assume that \(E=\mathop {\mathrm {supp}}(\mu )\). Otherwise just consider \(\mathop {\mathrm {supp}}(\mu )\) instead of E.
This investigation was motivated by an application to the Large Deviations of the sequence of probabilities \((\mu _\varepsilon )_\varepsilon\), \(\mu _\varepsilon\) being the image of \(\mu\) through the map \(x\mapsto \varepsilon x\). The property of exponential tightness is a key step in the proof of these estimates. One remarks that its proof in the case of Wiener measure is particularly simple and is based, besides Fernique’s theorem, on the existence of the spaces of Hölder continuous functions, which are intermediate spaces. Thanks to Theorem 1.1 the same, simple proof of exponential tightness for the Wiener measure works for a general Gaussian probability on a separable Banach space as developed in Sect. 2.
Section 4 is devoted to comments and complements.
The proof of Theorem 1.1 is largely inspired to the arguments of the fundamental papers of L.Gross [7, 8].
2 Motivation: exponential tightness of Gaussian measures
Let \(\mu\) be a centered Gaussian probability on the separable Banach space E and let \(\mu _\varepsilon\) be its image through the map \(x\mapsto \varepsilon x\) as above.
The Large Deviations properties of the family \(\mu _\varepsilon\) as \(\varepsilon \rightarrow 0\) are well understood since a long time (see [4] §5 e.g.). One of the main steps in this investigation is to prove that the family \((\mu _\varepsilon )_\varepsilon\) is exponentially tight at speed \(\varepsilon \mapsto \varepsilon ^2\), i.e. that for every \(R>0\) there exists a compact set \(K_R\subset E\) such that
This fact follows immediately from Theorem 1.1: let us denote \(\Vert \Vert _i\) the norm of the intermediate space \({{\widetilde{E}}}\), as \(\Vert \Vert _i\) is \(\mu\)-a.s. finite (this is a) of Theorem 1.1), by Fernique’s theorem ( [5, 6]), for some \(\rho >0\), we have
Let \(K_R\) denote the ball of radius \(\sqrt{R/\rho }\) of \({{\widetilde{E}}}\), which is compact in E. From
we deduce
i.e. (2.1).
3 Proof of the main result
From now on \(\mu\) will denote a Gaussian probability on the infinite dimensional separable Banach space E as in the introduction, \(\Vert \Vert\) being the norm of the Banach space E.
If we denote by \(E'\) the dual of E, then to every continuous functional \(\xi \in E'\) we can associate the r.v. \((E,\mu )\rightarrow {\mathbb{R}}\) defined as \(x\mapsto \langle \xi ,x\rangle\). Let \(E'_\mu\) be the completion of \(E'\) in \(L^2(\mu )\). This is a separable Hilbert space which is also a Gaussian space.
For every \(g\in E'_\mu\) the vectors
form a vector space \({\mathscr{H}}\subset E\) which, endowed with the scalar product
for
is an Hilbert space \({\mathscr{H}}\) isometric to \(E'_\mu\). Remark that (3.2) can also be written \(h=\mathrm{E}[Xg(X)]\), X denoting an E-valued r.v. having law equal to \(\mu\). \({\mathscr{H}}\) is called the Reproducing Kernel Hilbert Space (RKHS) of \(\mu\).
For more details on the structure of Gaussian probabilities see [9] or the very nice and very short presentation in §2 of [3].
Proof of Theorem 1.1
Recall that we assume E to be infinite dimensional.
(a) First step: construction of \({{\widetilde{E}}}\).
Let \((\Omega ,{\mathscr{F}},\mathrm{P})\) be a probability space and \(X:\Omega \rightarrow E\) a Gaussian r.v. having distribution \(\mu\). Let \((g_n)_n\) be an orthonormal system of the Hilbert space \(E'_\mu\). This forms also a sequence of independent N(0, 1)-distributed r.v.’s. Let \(e_n=\mathrm{E}[X g_n(X)]\). \(e_n\in E\) and \((e_n)_n\) is an orthonormal system of the RKHS \({\mathscr{H}}\).
Then it is well known (see Proposition 3.6 p. 64 in [9]) that the sequence
is a square integrable E-valued martingale converging a.s. and in \(L^2\) to X. Hence
Let \(\alpha >0\) be fixed and let \((n_k)_k\) be an increasing sequence of integers such that \(n_0=0\) and
Let \({\mathscr{H}}_k=\mathop {\mathrm {span}}(e_{n_k+1},\dots ,e_{n_{k+1}})\) and let \(Q_k\) be the projector \({\mathscr{H}}\rightarrow {\mathscr{H}}_k\). Let, for the vector \(x=\sum _{n=1}^\infty \alpha _n e_n\in {\mathscr{H}}\),
\(\Vert \Vert _i\) is a norm on \({\mathscr{H}}\). Actually Lemma 3.2 states that \(\Vert x\Vert _i<+\infty\) for every \(x\in {\mathscr{H}}\) while subadditivity and positive homogeneity are immediate. Let
The E-valued r.v.’s \(W_k\) are Gaussian and independent. Remark that, with our choice of the numbers \(n_k\), thanks to the Markov inequality we have
We can now define \({{\widetilde{E}}}=\)the completion of \({\mathscr{H}}\) with respect to the norm \(\Vert \Vert _i\). Remark that, as for \(x\in {\mathscr{H}}\)
we have \({{\widetilde{E}}}\subset E\). It is also obvious that \({{\widetilde{E}}}\) is dense in E, as it contains \({\mathscr{H}}\) which is itself dense in E. (b) Second step: \(\mu ({{\widetilde{E}}})=1\). Let
and let us prove that \((Y_k)_k\), as a sequence of \({{\widetilde{E}}}\)-valued r.v.’s, converges in probability. We proceed quite similarly as in the proof of the subsequent Lemma 3.2. Let \(\varepsilon >0\). If \(p_0\) is such that \(2^{-p_0}<\frac{\varepsilon }{2}\), then for \(p_0\le \ell < r\),
Therefore \((Y_k)_k\) is a Cauchy sequence in probability in \({{\widetilde{E}}}\), hence it converges, in probability, to some \({{\widetilde{E}}}\)-valued r.v. \({{\widetilde{X}}}\). As \({{\widetilde{E}}}\subset E\) and its topology is stronger, \((Y_k)_k\) also converges in probability in E. But we know already that \((Y_k)_k\) in E converges to a r.v. X having law \(\mu\). Hence \({{\widetilde{X}}}=X\) a.s. and \(\mu ({{\widetilde{E}}})=\mathrm{P}(X\in {{\widetilde{E}}})=\mathrm{P}({{\widetilde{X}}}\in {{\widetilde{E}}})=1\).
(c) Step three: the embedding \(E\hookleftarrow {{\widetilde{E}}}\) is compact.
Let \((x_p)_p\) be a bounded sequence in \({{\widetilde{E}}}\) and \((z_p)_p\subset {\mathscr{H}}\) another sequence such that \(\Vert x_p-z_p\Vert _i<2^{-p}\), which is possible as \({\mathscr{H}}\) is dense in \({{\widetilde{E}}}\). Let M be such that \(\Vert z_p\Vert _i\le M\) for every p. As the projectors \(Q_k\) are finite dimensional, for every k there exists a subsequence \((p_r^{(k)})_r\) such that \(\Vert Q_kz_{p_r^{(k)}}-y^{(k)}\Vert _i\rightarrow 0\) for some vector \(y^{(k)}\in {\mathscr{H}}_k\), i.e. of the form
By the diagonal argument, there exists a subsequence \((p'_r)_r\) such that \(\Vert Q_kz_{p'_r}-y^{(k)}\Vert _i\rightarrow 0\) as \(r\rightarrow \infty\) for every k. Let now \(\varepsilon >0\) be fixed. We have, for every positive integer \(k_0\),
We first choose \(k_0\) so that \(M\,2^{-\alpha k_0}<\frac{\varepsilon }{3}\), so that
and then \(p_0\) so that, for \(r,\ell \ge p_0\)
Therefore \((z_{p'_r})_r\) is a Cauchy sequence in E, hence also \((x_{p'_r})_r\) which proves the compactness of the embedding \({{\widetilde{E}}}\hookrightarrow E\).
d) Last step \({{\widetilde{E}}} \hookleftarrow {\mathscr{H}}\) is compact. This is immediate as, \({{\widetilde{E}}}\) being dense in E, \({\mathscr{H}}\) is also the RKHS of the Gaussian probability \(\mu\) on \({{\widetilde{E}}}\). Such an embedding is always compact. \(\square\)
Lemma 3.1
Let \({\mathscr{K}}\) be a finite dimensional Hilbert space and \({\mathscr{F}}\subset {\mathscr{K}}\) a subspace and let us denote by \(\nu\) and \(\nu '\) the standard N(0, I) distributions on \({\mathscr{K}}\) and \({\mathscr{F}}\) respectively. Let \(B\subset {\mathscr{K}}\) be a convex, centrally symmetric, convex set. Then
For the proof of Lemma 3.1 the reader is directed to [7] as this is a weaker version of Lemma 4.1 there.
Lemma 3.2
\(\Vert x\Vert _i<+\infty\) for every \(x\in {\mathscr{H}}\).
Proof
Let us first prove that the sequence of real r.v.’s
converges in probability. Let \(\varepsilon >0\) and \(p_0\) such that \(2^{-p_0}<\frac{\varepsilon }{2}\). Remark that this implies \(\varepsilon >\sum _{k=p_0+1}^\infty 2^{-k}\). For \(p_0\le n<m\), we have thanks to (3.7)
Hence \((Z_n)_n\) is a Cauchy sequence in probability and converges in probability to some real r.v. Z.
Let us prove that, for every \(\varepsilon >0\), we have \(\mathrm{P}(Z<\varepsilon )>0\). Let
We have \(\mathrm{P}(Z_N<\frac{\varepsilon }{2})>0\), as \(Z_N\) depends only on the modulus of finitely many r.v.’s \(W_k\) each of them being Gaussian and with values in a finite dimensional vector space. Moreover let N be large enough so that \(\mathrm{P}(Z-Z_N<\frac{\varepsilon }{2})>0\). As the r.v.’s \(Z-Z_N\) and \(Z_N\) are independent (they depend on different \(W_k\)’s)
Finally, let us assume that there exists \(x=\sum _{i=1}^\infty \alpha _je_j\in {\mathscr{H}}\) such that \(\Vert x\Vert _i=+\infty\) and let us prove that this is absurd. Of course we can assume \(\Vert x\Vert _{{\mathscr{H}}}=1\). Let us consider the seminorms on \({\mathscr{H}}\)
so that \(\lim _{k\rightarrow \infty } \Vert z\Vert _k=\Vert z\Vert _i\). Let \({\mathscr{K}}_k=\mathop {\mathrm {span}}(e_1,\dots ,e_{n_k})\) so that the r.v. \(X_{n_k}\) of (3.3) takes values in \({\mathscr{K}}_k\). Let \(x^{(k)}=\sum _{i=1}^{n_k} \alpha _je_j\) be the projection of x on \({\mathscr{K}}_k\). Remark that \(\Vert x\Vert _k=\Vert x^{(k)}\Vert _k\). We apply Lemma 3.1 considering the convex set
and \({\mathscr{F}}=\mathop {\mathrm {span}}(x^{(k)})\). Let \(\xi _k=\sqrt{\alpha _1^2+\dots +\alpha _{n_k}^2}\), so that the vector \(\frac{x^{(k)}}{\xi _k}\) has modulus 1 in \({\mathscr{H}}\) and the r.v.
is N(0, 1)-distributed. Hence the r.v.
is N(0, 1)-distributed and \({\mathscr{F}}\)-valued.
Let a be a continuity point of the partition function of Z. Thanks to Lemma 3.1, as \(\xi _k\rightarrow \Vert x\Vert _{{\mathscr{H}}}=1\) and we assume \(\Vert x\Vert _i=+\infty\), we have
which is in contradiction with (3.9) and completes the proof of Lemma 3.2. \(\square\)
4 Remarks and complements
Remark 4.1
In fact we have proved the existence on infinitely many intermediate spaces \({{\widetilde{E}}}\) between E and \({\mathscr{H}}\) (recall that we assume that E is infinite dimensional). Actually the argument above can be repeated in order to construct a subsequent intermediate space \({{\widetilde{E}}}_1\) between \({\mathscr{H}}\) and \({{\widetilde{E}}}\), which will be necessarily different of \({{\widetilde{E}}}\), the embedding \({{\widetilde{E}}}\hookleftarrow {{\widetilde{E}}}_1\) being compact. And so on.
Remark 4.2
In a first attempt to prove Theorem 1.1 the author tried considering interpolation spaces. More precisely let, for \(x\in E\),
and let, for \(0<\theta <1\),
Let us define the vector space \(G_\theta\) as the set of vectors \(x\in E\) such that \(\Vert x\Vert _\theta <+\infty\), endowed with the norm \(\Vert \Vert _\theta\). See [1, 11] or [12] for more details on this topic.
It is well known that \(G_\theta\) is a Banach space and also that the embeddings \(E\hookleftarrow G_\theta \hookleftarrow {\mathscr{H}}\) are compact ([10], §V.2).
The question remains whether \(\mu (G_\theta )=1\).
In the case of the Wiener space, \(E={\mathscr{C}}([0,T],{\mathbb{R}})\), \({\mathscr{H}}=H^1_0\) and \(\mu =\)the Wiener measure, it can be proved that \(G_\theta\) contains the space of small \(\alpha\)-Hölder paths for \(\alpha >\theta\), which is a separable Banach space having Wiener measure 1. This gives \(\mu (G_\theta )=1\) for \(\theta <\frac{1}{2}\), which however leaves open the question in the case \(\theta \ge \frac{1}{2}\).
The author does not know whether such a Banach space \(G_\theta\) is also separable, but it can be proved that the closure of \(H^1_0\) in \(G_\theta\), \({{\widetilde{G}}}_\theta\) say, also contains the small \(\alpha\)-Hölder paths for \(\alpha >\theta\). Hence \({{\widetilde{G}}}_\theta\), which is separable, is an intermediate space in the sense of Theorem 1.1 in this case. Note that the requirement \(\theta <\frac{1}{2}\) means that \(G_\theta\) should be “closer” to E than to \({\mathscr{H}}\).
Concerning interpolation spaces, hence, many questions, possibly of interest, remain open. Is it true, in general, that the interpolated space \(G_\theta\) is an intermediate space? For every \(0<\theta <1\) or just for some values of the interpolating parameter \(\theta\)?
Remark 4.3
The construction of the intermediate space \({{\widetilde{E}}}\) of Sect. 3 is of course not unique, as other possibilities are available for the candidate norm (3.5). For instance, let us define the sequence \((n_k)_k\) so that
for some \(\eta >0\) and then, for \(x=\sum _{n=1}^\infty \alpha _n e_n\in {\mathscr{H}}\),
In this remark we prove that also \(\Vert x\Vert '<+\infty\) for \(x\in {\mathscr{H}}\) and that the completion of \({\mathscr{H}}\) with respect to \(\Vert \Vert '\) is also an intermediate space.
This has some interest as it shows that there are (many) other possible ways of constructing intermediate spaces. Also we shall see, in the next remark, that for a suitable choice of the orthonormal system \((e_n)_n\), in the case \(E={\mathscr{C}}([0,1])\) and Wiener measure the resulting intermediate spaces are the Hölder spaces.
The proof of \(\Vert x\Vert '<+\infty\) for \(x\in {\mathscr{H}}\) is actually even simpler than the one of Lemma 3.2: let \(W_k\) as in (3.6) and for \(n>0\)
Let us show that \(Z_n\rightarrow Z\) where Z is a r.v. such that \(\mathrm{P}(Z<\varepsilon )>0\) for every \(\varepsilon >0\). The a.s. convergence of \((Z_n)_n\) is immediate being an increasing sequence. Denoting by Z its limit we have
The infinite product above converges to a strictly positive number if and only if the series \(\sum _{k=1}^\infty \mathrm{P}(2^{k\alpha}\Vert W_k\Vert >\varepsilon )\) is convergent. But, by Markov’s inequality and using the bound (4.11),
which is the general term of a convergent series. Moreover the limit Z is finite a.s., as the r.v.’s \(W_k\) are independent and the event \(\{Z=+\infty \}\) is a tail event having probability \(<1\).
The remainder of the proof of Lemma 3.2 is quite similar to the one developed in Sect. 3.
The new norm \(\Vert \Vert '\) also produces a family of intermediate spaces, as stated in the next result
Theorem 4.2
Let \({{\widetilde{E}}}'=\) the completion of \({\mathscr{H}}\) with the norm \(\Vert \Vert '\). Then \({{\widetilde{E}}}'\) is an intermediate space.
Proof
Let us prove first that \(\mu ({{\widetilde{E}}}')=1\). Let, as in the proof of Theorem 1.1, \(Y_k=X_{n_k}=\sum _{j=1}^{n_k}g_j e_j\) and let us prove that \((Y_k)_k\), as a sequence of \({{\widetilde{E}}}'\)-valued r.v.’s, converges in probability. If \(k_0\le \ell \le r\) we have now
Markov’s inequality gives \(\mathrm{P}(2^{\alpha k}\Vert W_k\Vert >\varepsilon )\le \frac{1}{\varepsilon ^2}\, 2^{-k\eta }\), hence by the Borel–Cantelli Lemma \(2^{\alpha k}\Vert W_k\Vert >\varepsilon\) for finitely many k only and
so that \((Y_k)_k\) is a Cauchy sequence in probability in \({{\widetilde{E}}}'\) which implies, with the same argument as in the proof of Theorem 1.1, that \(\mu ({{\widetilde{E}}}')=1\).
We are left with the proof that the embedding \({{\widetilde{E}}}'\hookleftarrow {{\widetilde{E}}}\) is compact, which is quite similar to the argument of the proof of Theorem 1.1.
Let again \((x_p)_p\) be a bounded sequence in \({{\widetilde{E}}}\) and \((z_p)_p\subset {\mathscr{H}}\) another sequence such that \(\Vert x_p-z_p\Vert '<2^{-p}\), which is possible as \({\mathscr{H}}\) is dense in \({{\widetilde{E}}}\). Let M be such that \(\Vert z_p\Vert '\le M\) for every p. As the projectors \(Q_k\) are finite dimensional, for every k there exists a subsequence \((p_r^{(k)})_r\) such that \(\Vert Q_kz_{p_r^{(k)}}-y^{(k)}\Vert '\rightarrow 0\) for some vector \(y^{(k)}\in {\mathscr{H}}_k\), i.e. of the form \(y^{(k)}=\sum _{m=n_k+1}^{n_{k+1}} \alpha _m e_m\). By the diagonal argument there exists a subsequence \((p'_r)_r\) such that \(\Vert Q_kz_{p'_r}-y^{(k)}\Vert _i\rightarrow 0\) as \(r\rightarrow \infty\) for every k. Let now \(\varepsilon >0\) be fixed. We have for every positive integer \(k_0\)
As \(\Vert Q_k(z_{p'_r}-z_{p'_\ell }))\Vert \le 2\cdot 2^{-k\alpha }\Vert Q_k(z_{p'_r}-z_{p'_\ell }))\Vert '\le 2\cdot 2^{-k\alpha } M\), we have
which, for some \(k_0\) large enough is \(\le \frac{\varepsilon }{2}\). We can choose now \(p_0\) so that, for \(r,\ell \ge p_0\)
Therefore \((z_{p'_r})_r\) is a Cauchy sequence in E, hence also \((x_{p'_r})_r\) which proves the compactness of the embedding \({{\widetilde{E}}}\hookrightarrow E\). \(\square\)
Note that the norms \(\Vert \Vert _i\) and \(\Vert \Vert '\) differ not only because of their definitions ((3.5) as opposed to (4.12)) but also on the different requirements on the sequence \((n_k)_k\) ((3.4) and (4.11)).
One of the referees raised the natural question whether the intermediate spaces \({{\widetilde{E}}}\) constructed in Theorem 1.1, in the case of the Wiener space might produce the Hölder spaces, or, more generally, if they can be described in terms of regularity of the paths, with the idea that the larger the parameter \(\alpha\), the greater the regularity of the paths of \({{\widetilde{E}}}\).
The question in general seems to the author to require an analysis going beyond the scope of the present paper, in particular taking into account that regularity also depends on the choice of the orthonormal system \((e_n)_n\) and possibly on the regularity of its elements.
In the next remark we show however that, for a certain choice of the orthonormal system, the intermediate spaces of Theorem 4.2 are actually the Hölder spaces \({\mathscr{C}}^0_\alpha\).
Remark 4.4
Let \(E={\mathscr{C}}([0,1],{\mathbb{R}})\) and \(\Vert \Vert\) the sup norm.
Let us recall the characterization, due to Ciesielski [2], of the small Holder spaces \({\mathscr{C}}_\alpha ^0\).
Let \(\{\chi _n\}_n\) be the Haar system, namely the set of functions on the interval [0, 1] defined as \(\chi _1(t) \equiv 1\) and
for \(k=1,2,\dots\), \(j=1,2,\dots ,2^k\). It is well known that \(\{\chi _n\}_n\) is a complete orthonormal system of \(L^2([0,1],{\mathbb{R}})\).
Moreover let \(\phi _n(t)=\int _0^t\chi _n(s)\, \mathrm{d}s\) be the primitive of \(\chi _n\) (the Schauder basis) (Fig. 1). For a continuous path \(x\in {\mathscr{C}}([0,1],{\mathbb{R}})\) let us consider the coefficients \(\xi _n=\int _0^1\chi _n(s)\,\mathrm{d}x(s)\) which are well defined, as \(\chi _n\) is piecewise constant. Ciesielski [2] proved that the separable Banach spaces \({\mathscr{C}}_\alpha ^0\) and \(c_0\) (the sequences vanishing at \(\infty\) endowed with the sup norm) are isomorphic (\(0<\alpha < 1\)).
More precisely if
then \(x\in {\mathscr{C}}_\alpha ^0,\ 0<\alpha < 1\), if and only if \(\xi =\{\xi _nw_n(\alpha )\}_n\in c_0\). Let us denote by \(c_\alpha\) the space of the sequences \(\xi =(\xi _n)_n\) such that \((\xi _nw_n(\alpha ))_n\in c_0\). Ciesielski’s theorem states that the mapping
is an isomorphism between \(c_\alpha\) and \({\mathscr{C}}^0_\alpha\).
Remark that under Ciesielski’s isomorphism \({\mathscr{H}}\) is mapped into \(\ell _2\). Actually \((\phi _n)_n\) is itself an orthonormal basis of \({\mathscr{H}}=H^1_0\).
The spaces \({\mathscr{C}}^0_\alpha\) for \(0<\alpha <\frac{1}{2}\) are actually the intermediate spaces obtained in Remark 4.3, if we choose, as an orthonormal system for \({\mathscr{H}}\), \(e_n=\phi _n\). Actually, if \(n_k=2^k\) we have, noting that, the supports of the \(\phi _j\) are disjoint and \(\Vert \phi _j\Vert = 2^{-1-k/2}\) for \(2^k+1\le j\le 2^{k+1}\), for large k
for every \(\lambda <1\). This is an elementary, but a bit involved, computation that we are not going to explicit here. Hence, as in Remark 4.3, the norm
is finite on \({\mathscr{H}}\) as soon as \(2(\alpha +\eta )<1\), i.e. \(\alpha <\frac{1}{2}\). Note, again using the fact that the supports of the \(\phi _j\) are disjoint and \(\Vert \phi _j\Vert = 2^{-1-k/2}\) for \(2^k+1\le j\le 2^{k+1}\),
so that, thanks to Ciesielski’s isomorphism, the intermediate norm \(\Vert \Vert '\) is finite if and only if \(x\in {\mathscr{C}}^0_\alpha\).
References
Bergh, J., Löfström J.:Interpolation Spaces. An Introduction, Springer, Berlin-New York, Grundlehren der Mathematischen Wissenschaften, No. 223 (1976)
Ciesielski, Z.: On the isomorphisms of the spaces \(H_{\alpha }\) and \(m\). Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 8, 217–222 (1960)
de Acosta, A.: Small deviations in the functional central limit theorem with applications to functional laws of the iterated logarithm. Ann. Probab. 11(1), 78–101 (1983)
Donsker, M.D., Varadhan, S.R.S.: Asymptotic evaluation of certain Markov process expectations for large time. III. Commun. Pure Appl. Math. 29(4), 389–461 (1976)
Fernique, X.: Intégrabilité des vecteurs gaussiens. C. R. Acad. Sci. Paris Sér. A-B 270, A1698–A1699 (1970)
Fernique, X.: Regularité des trajectoires des fonctions aléatoires gaussiennes, École d’Été de Probabilités de Saint-Flour, IV-1974, Springer, Berlin, pp. 1–96. Lecture Notes in Math., Vol. 480 (1975)
Gross, L.: Measurable functions on Hilbert space. Trans. Am. Math. Soc. 105, 372–390 (1962)
Gross, L.: Abstract Wiener spaces. In: Proceedings of Fifth Berkeley Symposium on Mathematical Statistics and Probability (Berkeley, Calif., 1965/66), Vol. II: Contributions to Probability Theory, Part 1, Univ. California Press, Berkeley, Calif., pp. 31–42 (1967)
Ledoux, M., Talagrand, M.: Probability in Banach spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 23. Springer, Berlin (1991)
Lions, J.-L., Peetre, J.: Sur une classe d’espaces d’interpolation. Inst. Hautes Études Sci. Publ. Math., no. 19, 5–68 (1964)
Lunardi, A.: Interpolation theory, Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)], vol. 16, Edizioni della Normale, Pisa (2018)
Pisier, G.: Martingales in Banach Spaces. Cambridge Studies in Advanced Mathematics, vol. 155. Cambridge University Press, Cambridge (2016)
Acknowledgements
The author wishes to thank G. Pisier for valuable suggestions and advice. The author wishes to thank one of the referees whose remarks have given rise to significant improvement of the paper. The author acknowledges the MIUR Excellence Department Project awarded to the Dipartimento di Matematica, Università di Roma “Tor Vergata”, CUP E83C18000100006.
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Baldi, P. Intermediate spaces, Gaussian probabilities and exponential tightness. Annali di Matematica 200, 2785–2796 (2021). https://doi.org/10.1007/s10231-021-01102-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01102-9