[논문 리뷰] q-Bessel-Macdonald functions

V. -B. K. Rogov|ArXiv.org|2000. 10. 17.

Mathematical functions and polynomials참고 문헌 5인용 수 8

한 줄 요약

이 논문은 $q$-hypergeometric 급수와 $q$-적분 표현을 통해 정의된 $q$-anal로그로서 고전적 수정 Bessel 및 Macdonald 함수의 $q$-버전인 첫째, 둘째, 셋째 종류의 $q$-Bessel-Macdonald 함수를 제안한다. 재귀 관계, $q$-와른스키안, 점근 전개 및 $q$-적분 표현을 수립하였으며, 핵심 결과로는 셋째 종류의 $q$-Macdonald 함수의 $q$-적분 정의와 그 셋째 종류의 $q$-수정 Bessel 함수와의 관계가 제시된다.

ABSTRACT

The modified q-Bessel functions and the q-Bessel-Macdonald functions of the first and second kind are introduced. Their definition is based on representations as power series. Recurrence relations, the q-Wronskians, asymptotic decompositions and q-integral representations are received. In addition, the q-Bessel-Macdonald function of kind 3 is determined by its q-integral representation.

연구 동기 및 목표

• 고전적 Macdonald 함수의 $q$-anal로그로서 첫째, 둘째, 셋째 종류의 $q$-Bessel-Macdonald 함수를 정의하는 것.
• 이 $q$-함수들에 대한 재귀 관계, $q$-와른스키안, 점근 전개를 유도하는 것.
• 특히 셋째 종류에 대해 $q$-Macdonald 함수의 $q$-적분 표현을 수립하는 것.
• 한편, $q \to 1^{-}$ 극한에서 $q$-Macdonald 함수가 고전적 Macdonald 함수로 축소됨을 보이는 것.

제안 방법

• 첫째, 둘째, 셋째 종류의 $q$-수정 Bessel 함수 $I_{\nu}^{(j)}((1-q^2)z; q^2)$를 $j=1,2,3$에 대해 $q$-hypergeometric 급수를 통해 정의한다.
• 둘째, $q$-차분 연산자 $\partial_q$와 $q$-시프트 계승계수를 이용하여 재귀 관계를 도출한다.
• 셋째, 두 번째 차수 $q$-차분 방정식의 기본 해계열을 분석하기 위해 $q$-와른스키안을 도입한다.
• 넷째, 셋째 종류의 $q$-Macdonald 함수를 셋째 종류의 $q$-Bessel 함수를 포함하는 $q$-적분 표현을 통해 구성한다.
• 다섯째, 급수 합과 $q$-곱 항등식을 이용하여 점근적 행동과 정규화 상수를 확립한다.
• 여섯째, $q \to 1^{-}$ 근처에서 고전적 극한과 일致함을 검증하기 위해 기존의 적분 표현식을 회복함으로써 일致성을 입증한다.

실험 결과

연구 질문

• RQ1 첫째, 둘째, 셋째 종류의 $q$-Bessel-Macdonald 함수는 고전적 Macdonald 함수의 $q$-analogs로서 어떻게 일관되게 정의될 수 있는가?
• RQ2 둘째, 각 종류의 $q$-수정 Bessel 함수에 대해 성립하는 재귀 관계와 $q$-와른스키안 관계는 무엇인가?
• RQ3 셋째, 셋째 종류의 $q$-Macdonald 함수는 어떤 $q$-적분 표현을 통해 표현될 수 있으며, 그와 셋째 종류의 $q$-수정 Bessel 함수와의 관계는 어떻게 되는가?
• RQ4 넷째, $q \to 1^{-}$ 근처에서 $q$-Macdonald 함수의 행동은 어떠한가? 그리고 고전적 Macdonald 함수로 복원되는가?

주요 결과

• 셋째 종류의 $q$-Macdonald 함수는 $q$-적분 표현식 $K_{\nu}^{(3)}((1-q^2)z; q^2) = \frac{1}{2}q^{-\nu^2 + \nu} \Gamma_{q^2}(\nu)\Gamma_{q^2}(1-\nu)\left[I_{-\nu}^{(3)}((1-q^2)z; q^2) - I_{\nu}^{(3)}((1-q^2)z; q^2)\right]$ 로 정의된다.
• 함수 $I_{\nu}^{(3)}$와 $K_{\nu}^{(3)}$의 $q$-와른스키안은 $W(I_{\nu}^{(3)}, K_{\nu}^{(3)}) = \frac{1}{2}q^{-\nu^2}(1-q^2)$ 로 주어지며, 이는 이들이 기본 해계열을 이룬다는 것을 확인한다.
• $q$-수정 Bessel 함수 $I_{\nu}^{(j)}((1-q^2)z; q^2)$ 는 종류 $j$에 해당하는 매개변수 $\delta$를 가진 두 번째 차수 $q$-차분 방정식을 만족한다.
• $q \to 1^{-}$ 근처에서 $K_{\nu}^{(3)}((1-q^2)z; q^2) \to K_{\nu}(z)$ 로 수렴하며, 고전적 Macdonald 함수와 그 적분 표현식을 복원한다.
• $q$-적분 표현식의 정규화 상수 $C(\nu)$ 는 상수(1로 설정됨)임을 보였으며, 이는 극한에서의 일致성을 보장한다.
• 격자 $z = 2q^n$ 상에서 $I_{\nu}^{(3)}$ 의 점근적 행동을 분석한 결과, $n \to -\infty$ 일 때 비율 $I_{\nu}^{(3)}(2q^n; q^2)/I_{-\nu}^{(3)}(2q^n; q^2) \to 1$ 으로 수렴함을 보였으며, 이는 $q$-Macdonald 함수의 대칭 형식을 지지한다.