Convergence of the harmonic balance method for smooth Hilbert space valued differential-algebraic equations. - Andrew Steyer; Robert J. Kuether (CoRR, 2021)