0cos(at)K0(t)t=π2(1+a2)12,