[논문 리뷰] Series Representation of the Modified Bessel Functions

K. Maślanka|ArXiv.org|2001. 04. 12.

Fractional Differential Equations Solutions참고 문헌 2인용 수 3

한 줄 요약

이 논문은 분수계 미분, 특히 리만-리우빌 형식을 사용하여 수정 베셀 함수 $ K_\alpha $의 새로운 멱급수 표현을 유도한다. $ K_\alpha $를 지수 함수와 거듭제곱 함수의 분수계 도함수로 표현함으로써, 저자는 두 가지 새로운 초함수 유사 급수 전개를 구성한다. 하나는 $ V_k^{(-1)} $ 다항식 기반이고 다른 하나는 $ V_k^{(-1/2)} $ 기반이며, 둘 다 $ K_\alpha(z) $로 수렴하며, Pochhammer 기호 비율이 콈턴 초함수 $ {}_1F_1 $와 유사한 형태를 띤다.

ABSTRACT

Some power series representations of the modified Bessel functions (McDonald functions $K_α$) are derived using the relatively little known formalism of fractional derivatives. The resulting summation formulae are believed to be new.

연구 동기 및 목표

• 비정수 차수에 대해 수정 베셀 함수 $ K_\alpha $의 새로운 멱급수 표현을 유도하는 것.
• 특히 리만-리우빌 분수계 도함수를 포함한 분수계 미분의 유용성을 활용하여 특수 함수의 급수 전개를 생성하는 것.
• 지수형 함수의 분수계 도함수 표현을 위한 도구로 다항식 가족 $ V_k^{(\alpha)}(z) $를 정의하고 분석하는 것.
• 분수계 도함수 해석을 통해 $ \exp(-\beta/t) $를 포함하는 정적분과 수정 베셀 함수 사이의 관계를 설정하는 것.
• 일반화된 이항계수와 Pochhammer 기호를 활용해 명시적인 계수를 유도한 초함수 유사 급수 전개를 $ K_\alpha(z) $에 대해 생성하는 것.

제안 방법

• 분수계 도함수의 리만-리우빌 정의를 $ s < 0 $에 대해 사용하고, 정수계 도함수의 조합을 통해 $ s \geq 0 $로 확장한다.
• 곱의 분수계 도함수에 대한 라이프니츠 규칙을 적용하며, 감마 함수를 통해 정의된 일반화된 이항계수 $ \binom{s}{j} $를 사용한다.
• 다항식 $ V_k^{(\alpha)}(z) = x^k \exp(\beta x^\alpha) \partial_x^k \exp(-\beta x^\alpha) $를 도입하며, 이는 $ z = \beta x^\alpha $에 대한 다항식임을 증명하고, 계수 $ A_{kj}^{(\alpha)} $가 감마 함수의 비율을 포함함을 보여준다.
• 분수계 도함수의 곱의 규칙과 분수계 도함수의 거듭제곱 규칙을 사용하여 $ x^\nu \exp(-\beta x^\alpha) $의 분수계 도함수를 유도하며, 식 (9)를 도출한다.
• 기존의 적분 표현식 (4)와 (5)에 분수계 도함수 표현식을 대입함으로써 $ K_s(z)$에 대한 두 가지 새로운 급수 전개 (10)과 (11)를 유도한다.
• 계수를 Pochhammer 기호 $ (a)_k $로 표현함으로써, 결과 급수를 초함수 유사 형태로 변환하며, 이는 콘플루언트 초함수 $ {}_1F_1 $와 유사하다.

실험 결과

연구 질문

• RQ1 분수계 도함수를 사용하여 수정 베셀 함수 $ K_\alpha(z) $에 대한 새로운 급수 전개를 도출할 수 있는가?
• RQ2 다항식 $ V_k^{(\alpha)}(z) $의 구조는 어떻게 되며, $ \exp(-\beta x^\alpha) $의 분수계 도함수로부터 어떻게 유도되는가?
• RQ3 적분 표현식 (4)와 (5)는 $ \exp(-\beta/x) $와 $ \exp(-\beta/\sqrt{x}) $의 분수계 도함수와 어떻게 관련이 있는가?
• RQ4 얻어진 $ K_s(z) $ 급수 전개는 Pochhammer 기호 비율을 포함한 초함수 유사 형태로 표현될 수 있는가?
• RQ5 유도된 급수 전개의 수렴 성질과 명시적인 계수 구조는 무엇인가?

주요 결과

• 수정 베셀 함수 $ K_s(z) $는 초함수 유사 급수로 표현되며, $ K_s(z) = 2^{s-1}\Gamma(s)z^{-s}\exp(-z)\left[1 + \sum_{k=1}^{\infty} \frac{(\frac{1}{2}-s)_k}{(\frac{1}{2}+s)_k} \sum_{j=1}^{k} \binom{k-1}{j-1} \frac{(-2z)^j}{j!} \right] $로 표현되며, 이는 $ V_k^{(-1)} $ 다항식 가족에서 유도된다.
• 두 번째 급수 전개는 $ V_k^{(-1/2)}(z) $를 사용하여 유도되며, $ K_s(z) = 2^{s-1}\sqrt{\pi} \frac{\Gamma(2s)}{\Gamma(\frac{1}{2}-s)} z^{-s} \exp(-z) \sum_{k=0}^{\infty} \frac{(-1)^k}{k!} \frac{\Gamma(k + \frac{1}{2} - s)}{\Gamma(k + \frac{1}{2} + s)} V_k^{(-1/2)}(z) $로 표현되며, $ \text{Re}(s) > -\frac{1}{2} $일 때 유효하다.
• $ V_k^{(-1)} $ 다항식의 계수는 명시적으로 $ A_{kj}^{(-1)} = \frac{(-1)^{k+j}}{(k-j)!} \frac{k!(k-1)!}{j!(j-1)!} $로 주어지며, 이는 다항식의 성질을 확인하고 정확한 급수 계산을 가능하게 한다.
• 분수계 도함수 $ x^\nu \exp(-\beta x^\alpha) $는 $ x^{\nu - s} \frac{\Gamma(\nu+1)}{\Gamma(-s)} \exp(-\beta x^\alpha) \sum_{k=0}^{\infty} \frac{(-1)^k}{k!} \frac{\Gamma(k - s)}{\Gamma(k - s + \nu + 1)} V_k^{(\alpha)} $로 유도되며, 이는 본 방법의 핵심이다.
• 적분 표현식 (4)와 (5)는 다시 해석되어 $ \partial_x^s [x^{2s} \exp(-\beta/x)] = \frac{\beta^{s+1/2}}{\sqrt{\pi x}} \exp(-\beta/(2x)) K_{s+1/2}(\beta/(2x)) $로 표현되며, 이는 직접적으로 $ K_\nu $와 연결된다.
• 결과로 도출된 급수 전개는 Pochhammer 기호 비율 $ \frac{(\frac{1}{2}-s)_k}{(\frac{1}{2}+s)_k} $의 존재로 인해 '초함수 유사'로 불리며, 이는 콘플루언트 초함수 $ {}_1F_1 $의 구조와 유사하다.