>>626
dx/dt = ax の一般解は x = c exp(at)
a=-1, t=0 で x=1となる解は x = exp(-t)

dv/dt = ax の一般解は x = c1 exp((√a)t) + c2 exp(-(√a)t)
a=-1, t=0, x=1, v=0 となる解は x = (1/2) exp(it) + (1/2) exp(-it)