Skip to main content
2 of 3
added top-level tags and other appropriate tags
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure onto $\mathcal{S}'(\mathbb{R})$. Its characteristic functional is defined, for $f\in \mathcal{S}(\mathbb{R})$, by $$\hat{\mu}(f) = \int_{\mathcal{S}'(\mathbb{R})} \mathrm{e}^{\mathrm{i} \langle u ,f\rangle} \mathrm{d}\mu (u).$$

There are strong connexions between the support of the measure $\mu$ and the continuity of the characteristic functional of $\mu$. For instance, if $\mu$ is the measure associated with the Gaussian white noise with variance $1$, we have $\hat{\mu}(f) = \exp(-\frac{1}{2}\lVert f\rVert_2^2)$, that is continuous over $L_2(\mathbb{R})$. Applying for instance Theorem A.2 of [1], we deduce that $$\mathrm{Support}(\mu) \subset W_2^{-1/2-\epsilon}(\mathbb{R})$$ for every $\epsilon>0$. This requires only to remark that the identity is an Hilbert-Schmidt operator from $W_2^{1/2+\epsilon}(\mathbb{R})$ to $L_2(\mathbb{R})$.

Question: Is there a similar result if we know that the characteristic functional $\hat{\mu}$ of $\mu$ is continuous over $L^p$ for $1 \leq p < 2$?

[1] T. Hida and Si Si, An Innovation Approach to Random Fields

Goulifet
  • 2.3k
  • 1
  • 16
  • 19