Galerkin approximations for initial value problems with known end time conditions