If you impose p'[0]==0 it seems that you get the constant zero solution for any value of the parameters. The dot in a.p[t] means multiplication? Beware that in Mathematica the dot has a different meaning. For multiplication you need *
