Pike z1 so that it satisfies (3) and z2 so that it satisfies (4). the existence of Z1 and Z2 follows from the existence (3) and uniqueness theorem for initial value problems, since one can choose initial conditions at a (respectively b) so that the boundary condition(3) [respectively (4)] is satisfied and the solution is nontrivial.