Convergence of the harmonic balance method for smooth Hilbert space valued differential-algebraic equations.