[논문 리뷰] On the $(p,q)$-Gamma and the $(p,q)$-Beta functions

P. Njionou Sadjang|arXiv (Cornell University)|2015. 06. 22.

Advanced Mathematical Identities참고 문헌 5인용 수 18

한 줄 요약

이 논문은 $(p,q)$-미적분을 사용하여 고전적 감마 함수와 베타 함수의 일반화로 $(p,q)$-감마 함수와 $(p,q)$-베타 함수를 도입한다. 기본 성질을 수립하며, 레지온드르 곱의 공식과 가우스 곱의 공식의 $(p,q)$-버전을 포함한다. 기존의 $q$-특수함수 결과를 더 넓은 $(p,q)$-프레임워크로 확장하여 양자 미적분학과 특수함수 분야에 적용한다.

ABSTRACT

We introduce new generalizations of the Gamma and the Beta functions. Their properties are investigated and known results are obtained as particular cases.

연구 동기 및 목표

• 양자 군과 특수함수 분야의 응용을 위해 $(p,q)$-미적분을 사용하여 고전적 감마 함수와 베타 함수를 일반화하기 위해.
• 기존의 $q$-특수함수 결과를 더 일반적인 $(p,q)$-프레임워크로 확장하기 위해.
• 새로운 $(p,q)$-감마 함수와 $(p,q)$-베타 함수에 대한 기본 항등식과 함수 방정식을 수립하기 위해.
• 레지온드르 및 가우스 유형의 항등식을 포함한 고전적 곱의 공식의 $(p,q)$-해석을 유도하기 위해.
• 이전의 $q$-감마 함수와 $q$-베타 함수에 대한 연구를 더 넓은 $(p,q)$-미적분 프레임워크 안에서 통합하고 일반화하기 위해.

제안 방법

• 무한 곱을 포함하는 $(p,q)$-이동 계승의 형태로 $(p,q)$-감마 함수를 정의한다: $\Gamma_{p,q}(x) = \frac{(p\ominus q)_{p,q}^\infty}{(p^x\ominus q^x)_{p,q}^\infty}(p-q)^{1-x}$.
• 클래식한 베타-감마 관계를 일반화하여 $B_{p,q}(x,y) = \frac{\Gamma_{p,q}(x)\Gamma_{p,q}(y)}{\Gamma_{p,q}(x+y)}$를 통해 $(p,q)$-베타 함수를 정의한다.
• $(p,q)$-계승, $(p,q)$-이항 계수, $(p,q)$-거듭제곱을 활용하여 함수 항등식과 재귀 관계를 유도한다.
• $(p,q)$-레지온드르 곱의 공식을 수립한다: $\Gamma_{p,q}(2x)\Gamma_{p^2,q^2}(\frac{1}{2}) = (p+q)^{2x-1}\Gamma_{p^2,q^2}(x)\Gamma_{p^2,q^2}(x+\frac{1}{2})$.
• $(p,q)$-가우스 곱의 공식을 증명한다: $\Gamma_{p,q}(nx)\prod_{k=1}^{n-1}\Gamma_{p^n,q^n}(\frac{k}{n}) = [n]_{p,q}^{nx-1}\prod_{k=0}^{n-1}\Gamma_{p^n,q^n}(x+\frac{k}{n})$.
• 무한 곱과 $(p,q)$-이동 계승의 성질을 사용하여 항등식을 검증하고 $(p,q)$-베타 함수의 재귀 관계를 유도한다.

실험 결과

연구 질문

• RQ1 고전적 감마 함수와 베타 함수는 $(p,q)$-미적분 프레임워크 내에서 어떻게 일반화될 수 있는가?
• RQ2 $(p,q)$-감마 함수와 $(p,q)$-베타 함수가 만족하는 기본 함수 방정식과 재귀 관계는 무엇인가?
• RQ3 레지온드르의 공식과 가우스의 공식과 같은 고전적 곱의 공식은 $(p,q)$-환경으로 확장될 수 있는가?
• RQ4 $(p,q)$-감마 함수와 $(p,q)$-베타 함수는 $p \to 1$일 때 기존의 $q$-특수함수와 어떻게 관련이 있는가?
• RQ5 $(p,q)$-이동 계승의 구조적 성질은 무엇이며, 이러한 함수들이 일반화된 함수를 정의하는 데 어떤 역할을 하는가?

주요 결과

• $(p,q)$-감마 함수는 $(p,q)$-이동 계승을 포함하는 무한 곱을 통해 정의되며, 고전적 함수와 $q$-감마 함수를 일반화한다.
• $(p,q)$-레지온드르 곱의 공식은 $\Gamma_{p,q}(2x)\Gamma_{p^2,q^2}(\frac{1}{2}) = (p+q)^{2x-1}\Gamma_{p^2,q^2}(x)\Gamma_{p^2,q^2}(x+\frac{1}{2})$로 수립된다.
• $(p,q)$-가우스 곱의 공식은 유도되었다: $\Gamma_{p,q}(nx)\prod_{k=1}^{n-1}\Gamma_{p^n,q^n}(\frac{k}{n}) = [n]_{p,q}^{nx-1}\prod_{k=0}^{n-1}\Gamma_{p^n,q^n}(x+\frac{k}{n})$.
• $(p,q)$-베타 함수는 재귀 관계를 만족한다: $B_{p,q}(x,y+1) = \frac{[y]_{p,q}}{[x+y]_{p,q}}B_{p,q}(x,y)$ 및 $B_{p,q}(x+n,y) = \frac{(p^x\ominus q^x)^n_{p,q}}{(p^{x+y}\ominus q^{x+y})^n_{p,q}}B_{p,q}(x,y)$.
• $p \to 1$일 때 $(p,q)$-감마 함수와 $(p,q)$-베타 함수는 각각의 $q$-해석으로 줄어들며, 이는 이전 연구 결과와의 일관성을 확인한다.
• 함수 항등식은 무한 곱과 $(p,q)$-계승 항등식의 대수적 변환을 통해 증명되었으며, 이는 프레임워크의 일관성을 확립한다.