バナッハ空間に値をとる時系列の関数型中心極限定理

A functional central limit theorem for locally stationary time series taking values in a separable Banach space $B$ is established. The result does not require type-2 or cotype assumptions and therefore covers spaces central to functional data analysis, including $C([0,1])$ and $L^p([0,1])$. Under moment conditions, summable physical dependence coefficients, and a bracketing entropy condition controlling the infinite-dimensional tails, the centered and rescaled partial sum process converges weakly in $D([0,1],B)$. The limit is a centered $B$-valued Gaussian process whose covariance is given by the integral of the local long-run covariance, interpreted as an element of the projective tensor product. We also obtain a stochastic integral representation with respect to a cylindrical Brownian motion, connecting the Banach-space limit to the familiar scalar locally stationary structure. As an application, we derive a self-normalized CUSUM procedure for detecting changes in the mean of linear projections of Banach-valued observations, yielding a pivotal asymptotic null distribution. The finite-sample behavior is illustrated through Monte Carlo experiments and exploratory applications to EEG recordings and daily temperature curves. Examples based on the Faber-Schauder system in $C([0,1])$ and on a $p$-Laplacian model in $W^{1,p}_0([0,1])$ demonstrate how the entropy condition can be verified.

Keywords: Locally stationary time series; Banach-valued time series; functional central limit theorem; physical dependence; functional data analysis