dsolve mathematica examples