logo

베셀 함수 📂함수

베셀 함수

정의

아래의 미분 방정식을 ν\nu차 베셀 미분 방정식이라 한다. x2y′′+xy′+(x2−ν2)y=0x(xy′)′+(x2−ν2)y=0y′′+1xy′+(1−ν2x2)y=0 \begin{align*} x^2 y^{\prime \prime} +xy^{\prime} +(x^2-\nu^2)y&=0 \\ x(xy^{\prime})^{\prime}+(x^2- \nu ^2) y&=0 \\ y^{\prime \prime}+\frac{1}{x} y^{\prime} + \left( 1-\frac{\nu^{2}}{x^{2}} \right)y&=0 \end{align*}

베셀 발정식의 해를 베셀 함수Bessel function라 한다.

관련된 함수

제1 종 베셀함수

베셀 방정식의 첫번째 해를 Jν(x)J_{\nu}(x)라 쓰고 제1 종 베셀함수Bessel functions of the first kind라 부른다. Jν(x)=∑n=0∞(−1)nΓ(n+1)Γ(n+ν+1)(x2)2n+ν J_{\nu}(x)=\sum \limits_{n=0}^{\infty} \frac{(-1)^{n} }{\Gamma (n+1) \Gamma (n+\nu+1)} \left(\frac{x}{2} \right)^{2n+\nu}

J−ν(x)=∑n=0∞(−1)nΓ(n+1)Γ(n−ν+1)(x2)2n−ν J_{-\nu}(x)=\sum \limits_{n=0}^{\infty}\frac{(-1)^{n}}{\Gamma (n+1)\Gamma (n-\nu+1)} \left( \frac{x}{2} \right)^{2n-\nu}

제2 종 베셀함수

베셀 방정식의 두번째 해를 Nν(x)=Yν(x)N_{\nu}(x)=Y_{\nu}(x)라고 쓰고 제 2종 베셀 함수Bessel functions of the second kind, 노이만 함수Neumann functions, 베버 함수Weber functions라 부른다. 정수가 아닌 ν\nu에 대해서 Nν(x)=Yν(x)=cos⁡(νπ)Jν(x)−J−ν(x)sin⁡(νπ) N_{\nu}(x)=Y_{\nu}(x)=\frac{\cos (\nu \pi)J_{\nu}(x)-J_{-\nu}(x)}{\sin (\nu\pi)} ν\nu가 정수일 경우 극한으로 정의한다. ν∈Z\nu\in \mathbb{Z}, a∈R∖{Z}a \in \mathbb{R}\setminus\left\{\mathbb{Z}\right\}에 대해서 Nν(x)=lim⁡a→νNa(x) N_{\nu}(x)=\lim \limits_{a \rightarrow \nu}N_{a}(x)

제3 종 베셀함수

제1 종 베셀 함수와 제2 종 베셀함수의 아래와 같은 선형 결합을 제3 종 베셀 함수Bessel functions of the third kind 또는 한켈 함수Hankel functions 라 부른다. Hp(1)(x)=Jp(x)+iNp(x)Hp(2)(x)=Jp(x)−iNp(x) H_{p}^{(1)}(x)=J_{p}(x)+iN_{p}(x) \\ H_{p}^{(2)}(x)=J_{p}(x)-iN_{p}(x)

변형 베셀함수

아래의 미분 방정식을 변형 베셀 방정식 이라 한다.

x2y′′+xy′−(x2−ν2)y=0 x^2 y^{\prime \prime} + xy^{\prime}-(x^2-\nu^2)y=0

변형 베셀 방정식의 해는 아래와 같고 변형 베셀 함수 또는 쌍곡 베셀 함수 라 부른다.

Iν(x)=i−νJν(ix)Kν(x)=π2iν+1[Jν(ix)+iNν(ix)]=π2iν+1Hp(1)(ix)=π2I−ν(x)−Iν(x)sin⁡(νπ) \begin{align*} I_{\nu}(x) & =i^{-\nu}J_{\nu}(ix) \\ K_{\nu}(x) &= \frac{\pi}{2}i^{\nu+1}\left[ J_{\nu}(ix)+iN_{\nu}(ix) \right] \\ &= \frac{\pi}{2}i^{\nu+1}H_{p}^{(1)}(ix) \\ &=\frac{\pi}{2}\frac{I_{-\nu}(x)-I_{\nu}(x)}{\sin (\nu\pi )} \end{align*}

성질

대칭성

정수 ν\nu에 대해서 아래의 식이 성립한다.

J−ν(x)=(−1)νJν(x) J_{-\nu}(x)=(-1)^{\nu}J_{\nu}(x)

점화식

베셀 함수의 점화식 ddx[xνJν(x)]=xνJν−1(x)ddx[x−νJν(x)]=−x−νJν+1(x)Jν−1(x)+Jν+1(x)=2νxJν(x)Jν−1(x)−Jν+1(x)=2Jν′(x)Jν′(x)=−νxJν(x)+Jν−1(x)=νxJν(x)−Jν+1(x) \begin{align*} & \frac{d}{dx}[x^{\nu} J_{\nu}(x)] =x^{\nu}J_{\nu-1}(x) \\ & \frac{d}{dx}[x^{-\nu}J_{\nu}(x)]=-x^{-\nu}J_{\nu+1}(x) \\ & J_{\nu-1}(x)+J_{\nu+1}(x)=\frac{2\nu}{x}J_{\nu}(x) \\ & J_{\nu-1}(x)-J_{\nu+1}(x)=2J^{\prime}_{\nu}(x) \\ & J_{\nu}^{\prime}(x)=-\frac{\nu}{x}J_{\nu}(x)+J_{\nu-1}(x)=\frac{\nu}{x}J_{\nu}(x)-J_{\nu+1}(x) \end{align*}

직교성

다음이 성립한다.

∫01xJν(αx)Jν(βx)dx={0α≠β12Jν+12(α)=12Jν−12(α)=12Jν′2(α)α=β \int_{0}^{1} x J_{\nu}(\alpha x) J_{\nu}(\beta x)dx = \begin{cases} 0 &\alpha\ne \beta \\ \frac{1}{2}J^{2}_{\nu+1}(\alpha)=\frac{1}{2}J_{\nu-1}^{2}(\alpha)=\frac{1}{2}J_{\nu^{\prime}}^{2}(\alpha) &\alpha=\beta \end{cases}