[논문 리뷰] The generalized gamma functions

Tran Gia Loc, Trinh Duc Tai|arXiv (Cornell University)|2011. 05. 30.

Functional Equations Stability Results참고 문헌 7인용 수 5

한 줄 요약

이 논문은 양의 다항식 f(t)와 관련된 일반화된 감마 함수 Γ_f(s)를 제안하며, ∫₀^∞ f(t)^{s-1} e^{-t} dt 방식으로 정의된다. 다항식 f(t) = t^k인 경우, Γ_f(s)는 Γ_f(s+1) = B(s)Γ_f(s) 형태의 함수방정식을 만족함을 증명한다. 여기서 B(s)는 f의 Bernstein-Sato 다항식이며, 오일러 감마 함수의 기능적 성질을 더 넓은 함수의 범주로 확장한다.

ABSTRACT

In this paper, we introduce a way to generalize the Euler's gamma function as well as some related special functions. With a given polynomial in one variable $f(t)\ge 0$, we can associate a function, so-called "gamma function associated with $f$", defined by $Γ_f(s) := \int_0^\infty f^{s-1} e^{-t} dt$. This function has many features similar to the Euler's gamma function. We also present some initial results on the gamma-type functional equation for $Γ_f(s)$ in some special cases.

연구 동기 및 목표

• 양의 다항식 f(t)와 관련된 적분 변환을 통해 오일러 감마 함수를 일반화하는 것.
• 일반화된 감마 함수 Γ_f(s)가 Γ(s+1) = sΓ(s)와 유사한 기능적 방정식을 만족하는지 조사하는 것.
• 기능적 방정식의 계수로써 Bernstein-Sato 다항식의 역할을 탐색하는 것.
• f(t)와 관련된 제타 함수 및 베타 함수의 이론을 확장하고, 그 성질을 조사하는 것.
• 비단항식 다항식, 특히 2차 다항식에 대한 기능적 방정식에 대한 추측을 검증하는 것.

제안 방법

• f(t) ≥ 0 이고 t > 0 인 경우, Γ_f(s) = ∫₀^∞ f(t)^{s-1} e^{-t} dt 로 일반화된 감마 함수를 정의한다.
• 라플라스 변환 기법과 미분 연산자를 사용하여 Γ_f(s)의 기능적 방정식을 유도한다.
• 미분 연산자 P와 다항식 B(s)가 P(f^s) = B(s)f^{s-1} 를 만족하도록 Bernstein-Sato 다항식을 구성한다.
• f(t) = t^k 인 경우, Γ_f(s+1) = B(s)Γ_f(s) 형태의 기능적 방정식이 성립함을 보이며, B(s) = ks(ks-1)⋯(ks-k+1) 임을 보인다.
• 부분적분과 점근적 분석을 사용하여 극한 표현식과 해석적 계속성을 도출한다.
• 급수 및 적분 표현을 통해 관련된 제타 함수와 베타 함수를 구성하며, 고전적 제타 함수 및 베타 함수와 연결한다.

실험 결과

연구 질문

• RQ1 일반화된 감마 함수 Γ_f(s)는 B(s)가 다항식인 형태의 기능적 방정식 Γ_f(s+1) = B(s)Γ_f(s)를 만족하는가?
• RQ2 f(t)의 Bernstein-Sato 다항식이 그러한 기능적 방정식에서 계수 B(s)로 적절한가?
• RQ3 f(t)와 관련된 일반화된 제타 함수 및 베타 함수는 고전적 대응 함수와 어떻게 관련이 있는가?
• RQ4 Γ_f(s)의 기능적 방정식은 단항식을 초월하여 일반 다항식으로 확장될 수 있으며, 일반 다항식에 대해 그 차수는 얼마인가?
• RQ5 비단항식 f(t)에 대해 Γ_f(s)의 해석적 구조(극, 메로모르픽 계속성)는 어떠한가?

주요 결과

• f(t) = t^k 인 경우, 일반화된 감마 함수는 Γ_{t^k}(s+1) = B(s)Γ_{t^k}(s) 를 만족하며, 여기서 B(s) = ks(ks-1)⋯(ks-k+1) 이다. 이는 Bernstein-Sato 다항식을 사용한 기능적 방정식의 정당성을 확인한다.
• 일반화된 감마 함수는 B(s+k) = 0 인 s에 대해 극을 가지며, 이를 보여주는 것은 정리 5.1이다.
• f(t) = t^k 인 경우 관련된 제타 함수는 ζ_{t^k}(s)Γ_{t^k}(s) = Γ_{t^k}(s)ζ(k(s-1)+1) 를 만족하며, 리만 제타 함수와 연결된다.
• 2차 다항식 f(t) = t^2 + bt + c 에 대해 기능적 방정식은 2차이며, 식 (3)의 1차 형태로는 축약될 수 없으며, 일반적 추측을 반박한다.
• f(t) = t^k 인 경우 관련된 베타 함수는 B_{t^k}(p,q) = (kpq)/(p+q) ⋅ B(p+q)/[B(p)B(q)] ⋅ B(kp,kq) 로 주어지며, 고전적 베타 함수를 일반화한다.
• f(t) = t^2 + bt + c 인 반례는 Γ_f(s)의 기능적 방정식이 항상 1차가 아니라는 점을 보이며, 이는 차수에 의해 그 차수의 상한선이 있음을 시사한다.