Paper 1, Section II, B

Methods | Part IB, 2019

The Bessel functions Jn(r)(n⩾0)J_{n}(r)(n \geqslant 0) can be defined by the expansion

eircos⁡θ=J0(r)+2∑n=1∞inJn(r)cos⁡nθe^{i r \cos \theta}=J_{0}(r)+2 \sum_{n=1}^{\infty} i^{n} J_{n}(r) \cos n \theta

By using Cartesian coordinates x=rcos⁡θ,y=rsin⁡θx=r \cos \theta, y=r \sin \theta, or otherwise, show that

(∇2+1)eircos⁡θ=0\left(\nabla^{2}+1\right) e^{i r \cos \theta}=0

Deduce that Jn(r)J_{n}(r) satisfies Bessel's equation

(r2d2dr2+rddr−(n2−r2))Jn(r)=0\left(r^{2} \frac{d^{2}}{d r^{2}}+r \frac{d}{d r}-\left(n^{2}-r^{2}\right)\right) J_{n}(r)=0

By expanding the left-hand side of (∗)(*) up to cubic order in rr, derive the series expansions of J0(r),J1(r),J2(r)J_{0}(r), J_{1}(r), J_{2}(r) and J3(r)J_{3}(r) up to this order.

Typos? Please submit corrections to this page on GitHub.