Showing that the Bessel integral representation solves the Bessel function

455 Views Asked by At

Is there a simple way to show the following: $\int_0^\pi \cos(x\sin(\theta)) \ d\theta$ satisfies $x^2y''+xy'+x^2y=0$.

I know this is the integral representation of the Bessel function, I am wondering if there is a simple method to prove this, without making use that the integral is the integral representation of the Bessel function.

1

There are 1 best solutions below

2
On

With $y=\int_0^{\pi} \cos{(x\sin{\theta})} \, d\theta $, $$ y' = -\int_0^{\pi} \sin{\theta}\sin{(x\sin{\theta})} \, d\theta \\ y''= -\int_0^{\pi} \sin^2{\theta}\cos{(x\sin{\theta})} \, d\theta = - y + \int_0^{\pi} \cos^2{\theta} \cos{(x\sin{\theta})} \, d\theta . $$ Multiplying by $x^2$ and integrating by parts, we therefore have $$ \begin{align} x^2(y''+y) &= \int_0^{\pi} (x\cos{\theta})^2 \cos{(x\sin{\theta})} \, d\theta \\ &= [ x\cos{\theta} \sin{(x\sin{\theta})} ]_0^{\pi} + \int_0^{\pi} x \sin{\theta} \sin{(x\sin{\theta})} \, d\theta \\ &= 0 - 0 - xy', \end{align} $$ as required.