[논문 리뷰] On Some Explicit Formulas for Bernoulli Numbers and Polynomials

Lazhar Fekih‐Ahmed|arXiv (Cornell University)|2011. 06. 26.

Advanced Mathematical Identities참고 문헌 10인용 수 4

한 줄 요약

이 논문은 베르누이 수에 대한 두 가지 덜 알려진 명시적 공식에 대한 간단한 증명을 제공한다: $ B_k = (-1)^{k+1} \textstyle\textstyle\textstyle\sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ 와 $ B_k = (-1)^{k+1} \textstyle\sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $, 여기서 $ \Delta_n(k) $ 는 $ j^k $ 의 전진 차분을 나타낸다. 이 방법은 분수 도함수와 허위츠 제타 함수를 활용하여 베르누이 수와 다항식을 복소 지수로 확장하며, $ B_s = s\zeta(1-s) $ 와 $ B_s(x) = s\zeta(1-s,x) $ 를 정의함으로써 해석적 연장으로 일반화한다.

ABSTRACT

We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of complex order.

연구 동기 및 목표

• 문헌에서 덜 인용되는 두 가지 명시적 베르누이 수 공식에 대해 직접적이고 간단한 증명을 제공하는 것.
• 분수 미적분학과 허위츠 제타 함수를 사용하여 베르누이 수와 다항식의 정의를 복소 지수로 확장하는 것.
• 분수 도함수와 적분 표현을 활용하여 복소 차수의 베르누이 수와 다항식의 자연스러운 일반화를 수립하는 것.
• 베르누이 수의 생성함수를 분수 도함수의 관점에서 재해석함으로써 새로운 항등식과 확장을 이끌어내는 것.

제안 방법

• 전진 차분 $ \Delta_n(k) = \sum_{j=1}^n (-1)^j \binom{n}{j} j^k $ 과 합의 대칭성에 기반한 대수적 조작을 통해 첫 번째 공식 유도.
• 분수 도함수의 라우렌트 적분 정의를 적용하여 $ B_k $ 를 $ I^{k-1}[\psi(-t)]_{t=0} $ 로 표현, 여기서 $ \psi(t) $ 는 생성함수와 관련된 함수이다.
• 전체 수렴 급수 $ s\zeta(s+1) $ 와 항별 분수 미분을 통해 두 번째 공식 유도.
• 복소수 $ s $ 에 대해 유효한 $ B_s = s\zeta(1-s) $ 와 $ B_s(x) = s\zeta(1-s,x) $ 를 통해 일반화된 베르누이 수 $ B_s $ 와 다항식 $ B_s(x) $ 정의.
• 생성함수 $ \frac{t}{e^t - 1} $ 를 $ \psi(t) $ 를 포함하는 적분 표현으로 변환하여 분수 도함수 평가를 가능하게 함.
• 감마 함수의 반사 공식과 잔여물 계산법을 사용하여 영점에서의 분수 도함수를 평가하고, 이를 리만 제타 함수와 연결함.

실험 결과

연구 질문

• RQ1 스털링 수나 재귀 관계에 의존하지 않고, 두 개의 명시적 베르누이 수 공식을 간단한 방법으로 증명할 수 있는가?
• RQ2 분수 도함수를 어떻게 활용하여 복소 지수에 대한 베르누이 수와 다항식을 정의할 수 있는가?
• RQ3 베르누이 수의 맥락에서 분수 도함수의 생성함수와 허위츠 제타 함수 사이의 관계는 무엇인가?
• RQ4 기능적 성질을 유지하면서 복소 지수로의 자연스러운 해석적 연장된 베르누이 수와 다항식이 존재하는가?

주요 결과

• 첫 번째 공식 $ B_k = (-1)^{k+1} \sum_{n=1}^{k} \frac{1}{n(n+1)} \Delta_n(k) $ 는 전진 차분과 합의 항등식을 직접적으로 사용하여 증명된다.
• 두 번째 공식 $ B_k = (-1)^{k+1} \sum_{n=1}^{k+1} \frac{1}{n^2} \Delta_n(k+1) $ 는 $ s\zeta(s+1) $ 의 전역 수렴 급수에 대해 항별 분수 미분을 통해 도출된다.
• 복소 차수 $ s $ 의 일반화된 베르누이 수는 $ B_s = s\zeta(1-s) $ 로 정의되며, 고전적 정의를 해석적으로 연장한다.
• 복소 차수 $ s $ 의 일반화된 베르누이 다항식은 $ B_s(x) = s\zeta(1-s,x) $ 로 정의되며, 고전적 다항식을 복소 지수로 일반화한다.
• 함수 $ \psi(t) = \frac{t e^{-t}}{(1 - e^{-t})^2} - \frac{e^{-t}}{1 - e^{-t}} $ 의 순서 $ -s $ 분수 도함수를 $ t=0 $ 에서 평가하면 $ (s-1)\zeta(s) $ 가 되며, 이는 제타 함수와 분수 미적분학을 연결한다.
• 이 방법은 제타 함수의 해석적 연장에 기반하여 복소 차수의 일반화된 베르누이 수와 다항식을 정의하는 자연스러운 프레임워크를 제공한다.