[논문 리뷰] New identities for a sum of products of the Kummer functions

Sergei Kalmykov, Dmitrii Karp|arXiv (Cornell University)|2017. 10. 22.

Mathematical functions and polynomials참고 문헌 15인용 수 3

한 줄 요약

이 논문은 하강 매개변수에 추가 정수 이동을 도입하여 Kummer 함수 곱에 대한 알려진 항등식을 일반화한다. Feng, Kuznetsov, Yang의 공식을 확장한다. 주요 결과는 매개변수 차이가 반대 부호인 종결형 클라우젠 유형 초함수 급수 ${}_{3}F_2(1)$에 대한 새로운 변환 공식으로, 이는 매개변수에 대한 다항식으로 표현된 Kummer 함수 곱의 차이에 대한 선형화 항등식을 가능하게 한다. 유도 과정은 특정 매개변수 차이를 갖는 비종결형 ${}_{3}F_2(1)$에 대한 새로운 합공식에 기반한다.

ABSTRACT

Recently, Feng, Kuznetsov and Yang discovered a very general reduction formula for a sum of products of the generalized hypergeometric functions (J. Math. Anal. Appl. 443(2016), 116--122). The main goal of this note is to present a generalization of a particular case of their identity when the generalized hypergeometric function is reduced to the Kummer function 1F1. Our generalized formula contains an additional integer shift in the bottom parameter of the Kummer function. The key ingredient of the proof is a summation formula for the Clausen series 3F2(1) with two integral parameter differences of opposite sign. In the ultimate section of the paper we prove another formula for a particular product difference of the Kummer functions in terms of a linear combination of these functions.

연구 동기 및 목표

• 하강 매개변수에 추가 정수 이동을 도입하여 Kummer 함수 곱에 대한 기존 축소 공식을 확장하기 위해.
• Feng, Kuznetsov, Yang의 ${}_{1}F_1$ 함수에 대한 항등식을 두 개의 독립적인 정수 이동을 통합하여 일반화하기 위해.
• 반대 부호의 매개변수 차이를 갖는 종결형 ${}_{3}F_2(1)$ 급수에 대한 새로운 변환 공식 수립을 위해.
• 매개변수에 대한 다항식으로 표현된 Kummer 함수 곱의 차이에 대한 선형화 항등식 유도를 위해.
• 하나의 상단 매개변수가 하단 매개변수보다 작은 비종결형 ${}_{3}F_2(1)$에 대한 새로운 합공식 제공을 위해.

제안 방법

• 하나의 상단 매개변수가 하단 매개변수보다 작은 비종결형 ${}_{3}F_2(1)$에 대한 새로운 합공식 유도. 초함수의 대칭성과 변환 항등식을 활용한다.
• 이 합공식을 적용하여 반대 부호의 정수 매개변수 차이를 갖는 종결형 ${}_{3}F_2(1)$ 급수에 대한 변환 공식을 도출한다.
• 이 변환 공식을 핵심 도구로 사용하여 하강 매개변수에 두 개의 정수 이동이 포함된 Kummer 함수 곱에 대한 일반화된 항등식을 증명한다.
• Kummer 변환 $ {}_{1}F_{1}(a;b;x) = e^x {}_{1}F_{1}(b-a;b;-x) $을 활용하여 일반화된 항등식을 $ t = -x $ 기반으로 재표현한다.
• 생성함수 기법을 적용하여 Kummer 함수 곱의 차이에 대한 선형화 항등식을 도출하고, 이를 다항식 표현으로 단순화한다.
• 구체적인 예시를 통한 검증을 통해 특정 정수 이동 $ m_1, m_2 $에 대해 닫힌형 다항식 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 기존 Kummer 함수 곱 항등식은 하강 매개변수에 두 번째 정수 이동을 도입함으로써 일반화될 수 있는가?
• RQ2 반대 부호의 정수 매개변수 차이를 갖는 종결형 ${}_{3}F_2(1)$ 급수에 적용 가능한 변환 공식은 무엇인가?
• RQ3 하나의 상단 매개변수가 하단 매개변수보다 작은 비종결형 ${}_{3}F_2(1)$에 대한 새로운 합공식이 존재하는가?
• RQ4 매개변수에 대한 다항식으로 표현된 Kummer 함수 곱의 차이에 대한 선형화 항등식을 도출할 수 있는가?
• RQ5 매개변수 $ m_1 $과 $ m_2 $는 일반화된 항등식에서 도출된 다항식의 차수와 계수에 어떤 영향을 미치는가?

주요 결과

• 일반화된 항등식은 Kummer 함수의 하강 매개변수에 두 개의 독립적인 정수 이동 $ m_1, m_2 $를 도입하여 Feng, Kuznetsov, Yang의 기존 공식을 확장한다.
• 매개변수 차이가 $ m_1 $과 $ -m_2 $인 종결형 ${}_{3}F_2(1)$ 급수에 대한 새로운 변환 공식을 유도하였으며, 이는 주요 결과를 가능하게 한다.
• 하나의 상단 매개변수가 하단 매개변수보다 작은 비종결형 ${}_{3}F_2(1)$에 대한 새로운 합공식을 수립하였으며, 매개변수가 정수 간격으로 다를 경우에 유효하다.
• 선형화 항등식(정리 7)은 매개변수 $ t $ 에 대한 다항식으로 Kummer 함수 곱의 차이를 표현하며, 계수는 $ \beta, \beta+1, \beta+2, \beta+3 $ 에 따라 달라진다.
• 구체적인 예시(예: $ m_1=1, m_2=0 $)는 $ \frac{1-\beta}{1-\beta-1} {}_{1}F_{1}(\beta; \gamma; t) {}_{1}F_{1}(2-\beta; 2-\gamma; -t) - \cdots = 1 $ 와 같은 항등식을 도출하여 다항식 구조를 확인한다.
• $ m_1=2, m_2=4 $ 일 경우, 도출된 다항식은 $ (\gamma-4)_3 + (2\beta - \gamma)(\gamma-3)t $ 로, 매개변수 이동과 Pochhammer 기호에 의존함을 보여준다.