1: \begin{abstract}

2: \setlength{\baselineskip}{1.8em}

3: This supplement contains additional technical material necessary to complete the proofs of theorems of the main paper \citet{avd16_main}. Section \ref{subsec:proof:cumulants} contains the proofs of several auxiliary lemmas stated in Appendix A of the main paper. Section \ref{subsec:proof:denominator} contains results on finding bounds for the denominator of the test statistic. Sections \ref{asdist} deals with convergence of the finite-dimensional distributions. Section \ref{subsec:proof:alt} establishes the asymptotic covariance structure of the test under the alternative of local stationarity. 

4: \medskip \\

5: %

6: \noindent {\bf Keywords:} Frequency domain methods, Functional data analysis, Locally stationary processes, Spectral analysis

7: 

8: \noindent {\bf MSC 2010:} Primary: 62G99, 62H99, Secondary: 62M10, 62M15, 91B84

9: \end{abstract}

10: