 Solution

Let $({\hat{\lambda }}_k,{\hat{\varphi }}_k)$ be the leading eigenpairs of the sample covariance operator. For fixed $K$ with ${\lambda }_1>\cdots >{\lambda }_K>{\lambda }_{K+1}$ and ${\lambda }_K>0$, the FPCA mean test usesUnder the null, consistency of the empirical eigenpairs and the multivariate central limit theorem implyThe level-$\alpha$ test therefore rejects above the $(1-\alpha )$ quantile of the chi-squared distribution with $K$ degrees of freedom.

For a fixed mean $\mu$, if at least one leading coordinate $⟨\mu ,{\varphi }_k⟩$, $k\le K$, is nonzero, then $T_{K,n}\to \infty$ in probability and the test is consistent. It has only null-level asymptotic power against means orthogonal to the first $K$ principal component functions. Under ${\mu }_n=n^{-1/2}\delta$, the limit is noncentral chi-squared with noncentrality