======베셀 함수의 라플라스 변환======

=====미분방정식을 통하는 방법=====
$y=J_0(x)$가 만족하는 베셀 방정식은 $x(y''+y)+y'=0$이다. 이를 라플라스 변환하면
\begin{eqnarray*}
0 &=& -\frac{d}{ds} L[y''+y] + L[y']\\
&=& -\frac{d}{ds} \left[ s^2 Y(s) + Y(s) - sy(0) - y'(0) \right] + sY(s) - y(0)\\
&=& -(1+s^2) Y'(s) - s Y(s),
\end{eqnarray*}
이고 이때 $Y \equiv L[y]$를 의미한다. 위 미분방정식을 풀면
\[ Y(s) = \frac{c}{\sqrt{1+s^2}} \]
을 얻는데 미정계수 $c$는 다음처럼 구할 수 있다:
\[ 0 = \lim_{s\to \infty} L[y'] = \lim_{s\to \infty} \left[ s Y - y(0) \right] = c-1.\]

=====직접 적분=====
베셀 함수의 적분 표현식을 사용한 다음 다중 적분을 시행한다. $a>0$이고 $b>0$일 때
\begin{eqnarray*}
\int_0^\infty e^{-at} J_0(bt) dt &=& \int_0^\infty e^{-at} dt \frac{2}{\pi} \int_0^{\pi/2} \cos(bt \sin \phi) d\phi \\
&=& \frac{2}{\pi} \int_0^{\pi/2} d\phi \int_0^\infty e^{-at} \cos(bt \sin\phi) dt = \frac{2}{\pi} \int_0^{\pi/2} \frac{a}{a^2+b^2\sin^2 \phi} d\phi = \frac{1}{\sqrt{a^2+b^2}}.
\end{eqnarray*}

======참고문헌======
  * Martin Kreh, The Bessel functions (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.640).
  * Alexander D. Poularikas, Bessel Functions in //The Handbook of Formulas and Tables for Signal Processing// (CRC Press, Boca Raton, 1999).