For every , the continuous linear functional induced by the inner product givesThis is a normal random variable because it is a linear combination of independent normal random variables. Hence the law of is a Gaussian measure. Its mean is zero, and independence together with givesThus its covariance operator of a Gaussian measure is
The supports of and are disjoint, so they are orthogonal vectors. Substitution in the covariance formula givesandTherefore the associated eigenvalues are
Articles by others on the same topic
There are currently no matching articles.