Functional implementation of v_n and psi_n