 Solution

Under $H_0$, the Hilbert-space central limit theorem giveswhere $G$ is a centered Gaussian random element with covariance $C_X$. Distinct leading eigenvalues imply consistency of the empirical eigenvalues and eigenfunctions, up to irrelevant signs. The first $K$ standardized functional principal component scores of $G$ are independent $N(0,1)$ variables, so Slutsky theorem yieldsAn asymptotic level-$\alpha$ test rejects above the $(1-\alpha )$ quantile of the chi-squared distribution.

Under a fixed alternative, put $\delta =\mu -{\mu }_0$. The weak law of large numbers and eigenpair consistency giveThus the statistic diverges and the test is consistent whenever at least one retained projection is nonzero. A fixed alternative orthogonal to the first $K$ eigenfunctions is invisible to this fixed-$K$ statistic.