Cameron-Martin theorem for a Gaussian measure

For $\mu =\mathcal{N}(0,\Sigma )$ with injective covariance operator of a Gaussian measure, its translated law ${\mu }_h=\mathcal{N}(h,\Sigma )$ is an equivalent probability measure to $\mu$ if and only if $h\in E_{\mu }$, the Cameron-Martin space of a Gaussian measure. For such $h$,The series has mean-square convergence and converges almost surely under $\mu$, with normal distribution $\mathcal{N}(0,\Vert h{\Vert }_{E_{\mu }}^2)$. Its exponential density has expected value one by the moment-generating function of a normal distribution. Finite-dimensional projections give the formula by ratios of multivariate normal densities; convergence of these likelihood ratios gives the infinite-dimensional result. The expression $⟨h,x{⟩}_{E_{\mu }}$ is only formal when the sample is outside $E_{\mu }$. For $h\notin E_{\mu }$, translation gives mutually singular measures.

For a centered Gaussian random variable in a Banach space, a Borel set $C=-C$, and $h$ in its Cameron-Martin space of a Gaussian random variable in a Banach space, the Cameron-Martin theorem for a Gaussian measure gives the translated density $e^{-\hat{h}(X)-\Vert h{\Vert }_H^2/2}$. The joint law of $(X,\hat{h}(X))$ is invariant under simultaneous negation. Averaging the two density formulas therefore replaces $e^{-\hat{h}(X)}$ by $\cosh \hat{h}(X)\ge 1$, proving the lower bound. No convexity of $C$ is required.