[논문 리뷰] Note on the sums of powers of consecutive $q$-integers

Yılmaz Şimşek, D. Kim외 2명|arXiv (Cornell University)|2005. 03. 11.

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

한 줄 요약

이 논문은 양의 짝수 정수에 대해 Barnes의 베르누이 수와 다항식의 q-해석을 구성하고, 연속된 q-정수의 거듭제곱 합에 대한 q-해석을 제공한다. 생성함수와 멜린 변환을 통해 q-베르누이 다항식과 q-합을 연결함으로써, 슈로스의 열린 문제의 일부를 해결한다.

ABSTRACT

In this paper we construct the $q$-analogue of Barnes's Bernoulli numbers and polynomials of degree 2, for positive even integers, which is an answer to a part of Schlosser's question. For positive odd integers, Schlosser's question is still open. Finally, we will treat the $q$-analogue of the sums of powers of consecutive integers.

연구 동기 및 목표

• 양의 짝수 정수에 대해 Barnes의 베르누이 수와 다항식의 차수 2에 대한 q-해석을 구성한다.
• 연속된 정수의 거듭제곱에 대한 q-해석에 관한 슈로스의 열린 문제의 일부를 해결한다.
• 연속된 q-정수의 거듭제곱 합에 대한 일반 공식 S_{m,n}(q)를 유도한다.
• 멜린 변환을 통한 q-생성함수의 변환을 통해 q-제타 함수를 정의하고 연구한다.

제안 방법

• q-정수에 대한 합과 지수 생성항을 포함하는 생성함수 F_{k,q}^*(t)를 정의함으로써 q-베르누이 수 β_{n,k,q}^*를 유도한다.
• 이항계수, q-Pochhammer 유사항, q에 대한 유리함수를 포함한 폐쇄형 표현을 통해 β_{n,k,q}^*의 표현식을 유도한다.
• 지수항이 q-지수함수 형태로 이동된 인덱스를 포함하는 두 번째 생성함수 F_{k,q}^*(t;k)를 도입하여 q-베르누이 다항식 β_{n,k,q}^*(k)를 정의한다.
• q-합과 q-베르누이 다항식을 연결하는 일반 공식 S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n 을 수립한다.
• 생성함수에 멜린 변환을 적용하여 Re(s) > 2 인 경우 q-제타 함수 ζ_{k,q}^*(s) 와 ζ_{k,q}^*(s;k) 를 정의한다.
• 카우치 잔여정리(Residue Theorem)를 적용하여 q-제타 함수의 특수값과 q-베르누이 수 간의 관계를 유도한다: ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n.

실험 결과

연구 질문

• RQ1 양의 짝수 정수에 대해 Barnes의 베르누이 수와 다항식의 차수 2에 대한 q-해석을 구성할 수 있는가?
• RQ2 연속된 q-정수의 거듭제곱 합 S_{m,n}(q)에 대한 일반적인 q-해석 공식이 존재하는가?
• RQ3 q-생성함수의 멜린 변환을 통해 q-제타 함수를 어떻게 정의할 수 있는가?
• RQ4 q-제타 함수의 특수값과 q-베르누이 수 사이의 관계는 무엇인가?
• RQ5 q → 1 극한에서 q-베르누이 수와 다항식은 고전적 베르누이 수로 어떻게 축소되는가?

주요 결과

• q-베르누이 수 β_{n,k,q}^* 는 이항계수와 q에 대한 유리함수를 포함하는 폐쇄형 공식으로 명시적으로 주어지며, 짝수 n 에 대해 유효하다.
• q-베르누이 다항식 β_{n,k,q}^*(k) 는 q-지수항과 분모가 (1 - q^{m - (n-1)/2 - 2}) 및 (1 - q^{m - (n-1)/2}) 형태인 가중합으로 구성된 폐쇄형 표현을 갖는다.
• 일반 공식 S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n 이 수립되어 고전적 거듭제곱 합의 q-해석을 제공한다.
• q-제타 함수 ζ_{k,q}^*(s) 는 F_{k,q}^*(-t) 의 멜린 변환을 통해 정의되며, 양의 정수 n 에 대해 ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n 이다.
• lim_{q→1} F_{k,q}^*(t) = -F_2(t; -1; -1, -1) 이 성립하여 고전적 Barnes 이중 제타 함수와의 일관성을 보여준다.
• 구성된 q-베르누이 수와 다항식은 q → 1 극한에서 고전적 베르누이 수로 축소되며, q-해석의 일관성을 확인한다.