The Bessel functions Jn(r)(n⩾0) can be defined by the expansion
eircosθ=J0(r)+2n=1∑∞inJn(r)cosnθ
By using Cartesian coordinates x=rcosθ,y=rsinθ, or otherwise, show that
(∇2+1)eircosθ=0
Deduce that Jn(r) satisfies Bessel's equation
(r2dr2d2+rdrd−(n2−r2))Jn(r)=0
By expanding the left-hand side of (∗) up to cubic order in r, derive the series expansions of J0(r),J1(r),J2(r) and J3(r) up to this order.