[논문 리뷰] On hypergeometric functions and Pochhammer $k$-symbol

Rafael Díaz, Eddy Pariguán|ArXiv.org|2004. 05. 31.

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

한 줄 요약

이 논문은 고전적 특수함수의 일파rameter 변형으로서 $k$-Pochhammer 기호와 $k$-gamma 함수를 도입하며, 감마 함수와 초함수적 함수를 일반화한다. 적분 표현식, 무한곱 형태, 그리고 $k$-일반화된 스타링의 공식을 수립하면서, 평면 숲을 통한 초함수적 계수의 조합적 해석을 제공한다.

ABSTRACT

We introduce the $k$-generalized gamma function $Γ_k$, beta function $B_k$, and Pochhammer $k$-symbol $(x)_{n,k}$. We prove several identities generalizing those satisfied by the classical gamma function, beta function and Pochhammer symbol. We provided integral representation for the $Γ_k$ and $B_k$ functions.

연구 동기 및 목표

• 양자장 이론과 조합론에서 반복적으로 나타나는 대수적 구조에 기반하여, 고전적 감마 함수와 Pochhammer 기호를 $k$-매개변수 변형으로 일반화하는 것.
• $k$-gamma 함수 $\Gamma_k(x)$를 $k$-Pochhammer 기호 $(x)_{n,k}$를 포함한 극한을 통해 정의하고, 그 해석적 성질을 수립하는 것.
• $\Gamma_k$ 및 $k$-beta 함수 $B_k$에 대한 적분 및 무한곱 표현식을 유도하여 고전 결과를 확장하는 것.
• $k$-일반화된 초함수적 함수를 개발하고, $\mathbb{R}^+$ 위에서의 다중 적분을 사용한 적분 표현식을 제공하는 것.
• 지정된 정점 차수를 가진 평면 숲의 동형류 클래스를 통해 $k$-초함수적 함수의 계수에 대한 조합적 해석을 제공하는 것.

제안 방법

• $k$-Pochhammer 기호를 $(x)_{n,k} = x(x+k)(x+2k)\cdots(x+(n-1)k)$로 정의하여 상승 계승의 일반화를 수행한다.
• $k>0$, $x \notin k\mathbb{Z}^-$ 인 경우에 대해 $\Gamma_k(x) = \lim_{n\to\infty} \frac{n!\,k^n\,(nk)^{x/k - 1}}{(x)_{n,k}}$ 를 통해 $k$-gamma 함수를 정의한다.
• $\operatorname{Re}(x) > 0$ 인 경우에 대해 적분 표현식 $\Gamma_k(x) = \int_0^\infty t^{x-1} e^{-t^k/k} dt$ 를 수립한다.
• $k$-일반화된 스타링 공식을 유도한다: $\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$, $x \in \mathbb{R}^+$ 에서 성립한다.
• $k$-초함수적 함수 $F(a,k,b,s)(x)$ 를 정의하고, $\mathbb{R}^{p+1}$ 위에서의 $p+1$중 적분을 사용한 적분 표현식을 제공한다. 이 표현식은 $k$-지수 함수 가중치를 포함한다.
• $a$개의 루트와 $n$개의 내부 정점으로 이루어진 평면 숲을 정의하며, 각 내부 정점은 $k+1$개의 자식을 가진다. 이러한 숲의 수는 $|G_{n,k}^a| = (a)_{n,k}$ 임을 보이며, 조합론과 초함수적 계수 사이의 연결 고리를 제공한다.

실험 결과

연구 질문

• RQ1 고전적 Pochhammer 기호와 감마 함수는 어떻게 $k$-매개변수 변형으로 일반화될 수 있으며, $k \to 1$일 때 고전적 경우로 복원되는가?
• RQ2 $k$-gamma 함수 $\Gamma_k(x)$의 적분, 무한곱, 점근적 표현은 무엇인가?
• RQ3 $k$-Pochhammer 기호는 $k$-gamma 함수와 어떻게 관련되어 있으며, 그 로그는 어떤 미분방정식을 만족하는가?
• RQ4 $k$-일반화된 초함수적 함수는 적절한 적분 표현식을 갖는가?
• RQ5 $k$-초함수적 함수의 테일러 전개 계수에 대한 조합적 해석은 무엇인가?

주요 결과

• $k$-gamma 함수 $\Gamma_k(x)$ 는 $\Gamma_k(x+k) = x\Gamma_k(x)$, $\Gamma_k(k) = 1$, 그리고 로그 볼록성으로 특징지어지며, 보르-몰러플 정리의 일반화이다.
• $k$-gamma 함수는 무한곱 표현식 $\frac{1}{\Gamma_k(x)} = x k^{-x/k} e^{x\gamma/k} \prod_{n=1}^\infty \left(1 + \frac{x}{nk}\right) e^{-x/nk}$ 를 갖는다.
• $k$-일반화된 스타링 공식은 $\Gamma_k(x+1) = (2\pi)^{1/2} (kx)^{-1/2} x^{(x+1)/k} e^{-x/k} + O(1/x)$ 로, 큰 실수 $x$ 에서 성립한다.
• $\Gamma_k(x)$ 의 로그는 비선형 편미분방정식 $-k x^2 \partial_x^2 \psi + k^3 \partial_k^2 \psi + 2k^2 \partial_k \psi = -x(k+1)$ 을 만족한다.
• $k$-초함수적 함수 $F(a,k,b,s)(x)$ 는 $p+1$중 적분을 포함한 적분 표현식을 가지며, 이 표현식은 $k$-지수 함수 커널과 분모에 $k$-Pochhammer 기호를 포함한다.
• $F(a,k,b,s)(x)$ 의 $x=0$ 에서의 테일러 전개에서 $x^n$ 의 계수는 $|G_{a,k}^n| / |G_{b,s}^n|$ 이며, 여기서 $|G_{n,k}^a|$ 는 $a$개의 루트와 $n$개의 내부 정점(각 정점의 차수는 $k+1$)을 가진 평면 숲의 동형류 클래스의 수를 나타낸다.