[논문 리뷰] A note on the p-adic log-gamma functions

Taekyun Kim|ArXiv.org|2007. 10. 26.

Advanced Mathematical Identities참고 문헌 12인용 수 3

한 줄 요약

이 논문은 q-p-적분을 사용하여 p-적 q-로그감마 함수의 q-적-패리테이션을 수립하고, q-오일러 수가 계수로 나타나는 스틸링 유형의 급수 전개를 유도한다. 핵심 기여는 정리 A로, p-적 q-로그감마 함수를 [x]_q, 로그 항 및 q-오일러 수 E_{n+1,q}로 표현함으로써 고전적 로그감마 점근 이론을 p-적 q-설정으로 일반화한다.

ABSTRACT

In this paper we prove that q-Euler numbers are occured in the coefficients of some stirling type seies for p-adic analytic q-log gamma function

연구 동기 및 목표

• p-적 q-적분을 사용하여 고전적 로그감마 함수의 p-적 q-해석을 개발하기.
• p-적 q-로그감마 함수에 대한 스틸링 유형 점근 전개를 도출하기.
• 이 전개의 계수에서 q-오일러 수가 수행하는 역할를 조사하기.
• q-정수 및 q-로그함수를 사용하여 고전적 로그감마 점근 공식을 p-적 q-설정으로 일반화하기.

제안 방법

• p-적 q-로그감마 함수 G_{p,q}(x)를 [x+z]_q와 log[x+z]_q를 포함하는 ℤ_p 위의 q-p-적분으로 정의하기.
• 페르미온릭 q-p-측도 μ_{-q}를 사용하여 적분 I_{-q}(f)를 (-q)^x를 포함하는 유한합의 극한으로 표현하기.
• f_1(x) = f(x+1)일 때 성질 qI_{-q}(f_1) + I_{-q}(f) = [2]_q f(0)를 사용하여 G_{p,q}(x)의 함수방정식을 도출하기.
• [x+z]_q(log[x+z]_q - 1)을 [x+z]_q = [x]_q + q^x[z]_q 및 시리즈 (1+x)log(1+x) = x + ∑_{n=1}^∞ (-1)^{n+1}/(n(n+1)) x^{n+1}의 항등식을 사용하여 전개하기.
• q-오일러 다항식 E_{m,q}(x)의 적분 공식을 적용하고 E_{n,q} = E_{n,q}(0)를 평가하여 계수를 추출하기.
• 시리즈 전개와 q-적분 항등식을 조합하여 정리 A를 도출함으로써 E_{n+1,q}와 [x]_q 항을 포함하는 닫힌 형태의 표현을 얻기.

실험 결과

연구 질문

• RQ1 고전적 로그감마 함수의 스틸링 유형 전개는 어떻게 p-적 q-설정으로 일반화될 수 있는가?
• RQ2 q-오일러 수는 p-적 q-로그감마 함수 전개의 계수에서 어떤 역할을 하는가?
• RQ3 q-p-적 적분과 μ_{-q} 측도는 어떻게 p-적 q-해석의 로그감마 함수를 구성하는 데 기여하는가?
• RQ4 p-적 q-로그감마 함수 G_{p,q}(x)를 지배하는 함수방정식은 무엇인가?
• RQ5 q-로그감마 함수는 [x]_q, log[x]_q 및 q-오일러 수를 포함하는 급수로 표현될 수 있는가?

주요 결과

• p-적 q-로그감마 함수 G_{p,q}(x)는 함수방정식 qG_{p,q}(x+1) + G_{p,q}(x) = [2]_q ([x]_q (log[x]_q - 1))를 만족한다.
• 정리 A는 명시적 급수 전개를 제공한다: G_{p,q}(x) = ([x]_q - q^x / [2]_{q^2}) log[x]_q - [x]_q + ∑_{n=1}^∞ [(-q^x)^{n+1} / (n(n+1))] [E_{n+1,q} / [x]_q^n].
• G_{p,q}(x)에 대한 스틸링 유형 급수의 계수는 명시적으로 q-오일러 수 E_{n+1,q}임을 보여준다.
• G_{p,q}(x)의 표현은 x ∈ ℂ_p \ ℤ_p 에서 유효하며, |1-q|_p < p^{-1/(p-1)} 조건 하에서 q-p-적분의 수렴성에 의존한다.
• 이 구성은 고전적 로그감마 점근 이론을 p-적 q-설정으로 일반화하며, 전개에서 고전적 베르누이 수가 q-오일러 수 E_{n,q}로 대체된다.
• 이 논문은 q → 1일 때 고전적 경우로 수렴하는 p-적 q-해석의 로그감마 함수를 수립한다.