[논문 리뷰] Two closed forms for the Apostol-Bernoulli polynomials

Su Hu, Min-Soo Kim|arXiv (Cornell University)|2015. 09. 14.

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

한 줄 요약

이 논문은 생성함수의 도함수와 스틸링 수를 포함하는 행렬식을 사용하여 아포스톨-베르누이 다항식 $ B_n(u,z) $에 대한 두 가지 새로운 닫힌형 표현을 제시한다. 팔레드의 유리함수 고차 도함수 공식과 라이프니츠의 법칙을 적용하여, 이전 결과를 일반화하고 이러한 특수 다항식에 대한 새로운 계산 도구를 제공하는 명시적 행렬식 기반 표현을 도출한다.

ABSTRACT

In this note, we shall obtain two closed forms for the Apostol-Bernoulli polynomials.

연구 동기 및 목표

• 클래식한 베르누이 다항식을 일반화하고 수론 및 해석학에서의 응용이 있는 아포스톨-베르누이 다항식 $ B_n(u,z) $에 대한 새로운 닫힌형 표현을 유도하는 것.
• 무한 급수나 특수함수를 피하는 명시적이고 유한한 표현을 제공하여 기존 표현의 한계를 극복하는 것.
• 두 번째 종류 스틸링 수를 포함하는 행렬식 기반 공식과 조합 항등식을 통해 루오 및 다른 연구자들의 이전 결과를 통합하고 확장하는 것.
• 행렬식과 도함수 전개를 통해 아포스톨-베르누이 다항식을 효율적으로 계산할 수 있는 프레임워크를 구축하는 것.

제안 방법

• 유리함수의 $ n $-번째 도함수에 대한 팔레드의 공식을 적용하여, $ \mu $와 $ \nu $의 도함수를 포함하는 행렬의 행렬식으로 표현된 $ \times{\mu}{\nu} $의 도함수를 유도한다.
• $ \mu(x) = 1 $, $ \nu(x) = \frac{ze^x - 1}{e^{ux}} $로 설정하여, $ \frac{\mu}{\nu} = \frac{xe^{ux}}{ze^x - 1} $가 $ B_n(u,z) $의 생성함수가 되도록 한다.
• 라이프니츠의 법칙을 사용하여 $ x \cdot \frac{\mu}{\nu} $의 $ (n+1) $-번째 도함수를 계산하고, $ x \to 0 $으로의 극한을 취하여 $ \frac{x^n}{n!} $의 계수를 추출한다.
• $ ze^{(1-u)x} - e^{-ux} $의 테일러 전개를 통해 행렬식의 항을 평가하여, $ z(1-u)^{\ell-m} - (-u)^{\ell-m} $ 형태의 표현을 도출한다.
• 이항계수와 거듭제곱 항으로 이루어진 행렬식으로 닫힌형 표현을 유도한다: $ \left| \binom{\ell}{m} \left[ z(1-u)^{\ell-m} - (-u)^{\ell-m} \right] \right| $, $ 1 \leq \ell \leq n $, $ 0 \leq m \leq n-1 $.
• 결과를 단순화하여 두 가지 다른 닫힌형 표현을 도출한다: 하나는 스틸링 수에 기반하고 다른 하나는 행렬식 형태이며, 둘 다 $ z \neq 1 $에서 유효하다.

실험 결과

연구 질문

• RQ1 무한 급수나 특수함수를 피하는 아포스톨-베르누이 다항식에 대한 닫힌형 표현을 도출할 수 있는가?
• RQ2 유리함수의 고차 도함수에 대한 팔레드의 공식을 어떻게 변형하여 $ B_n(u,z) $에 대한 명시적 공식을 도출할 수 있는가?
• RQ3 두 번째 종류 스틸링 수는 이러한 다항식의 다른 닫힌형 표현을 구성하는 데 어떤 역할을 하는가?
• RQ4 생성함수 $ \frac{xe^{ux}}{ze^x - 1} $를 직접 $ B_n(u,z) $를 얻는 결정식 기반 표현으로 변환할 수 있는가?
• RQ5 이 새로운 닫힌형 표현은 아포스톨-베르누이 다항식의 계산 및 이론적 연구에 어떤 영향을 미치는가?

주요 결과

• 첫 번째 닫힌형 표현은 $ B_n(u,z) $를 순서 $ n $의 행렬식으로 표현하며, 항은 $ \binom{\ell}{m} \left[ z(1-u)^{\ell-m} - (-u)^{\ell-m} \right] $로 구성되며, $ z \neq 1 $에서 유효하다.
• 두 번째 닫힌형 표현은 $ u = 0 $을 대입하여 유도되며, $ B_n(z) = \frac{(-1)^n n!}{(z-1)^{n+1}} \left| \binom{\ell}{m} \left[ z(1)^{\ell-m} - 0 \right] \right| $로 표현되며, $ z $와 이항계수를 포함하는 행렬식으로 단순화된다.
• 행렬식 기반 공식은 루오의 이전 하이퍼기하 표현을 일반화하고 특수함수 없이도 계산 가능한 무한 급수가 없는 표현을 제공한다.
• 이 방법은 알려진 결과(예: 아포스톨의 재귀식)를 특수한 경우로 회복하여 접근의 타당성을 확인한다.
• 유도 과정은 생성함수 전개에서 $ n $-번째 계수와 $ x = 0 $에서의 $ n $-번째 도함수 값이 일치함을 확인하며, 라이프니츠의 법칙과 극한 과정을 사용한다.
• 이 결과는 닫힌형 표현이 존재하는 함수의 범위를 확장하고 아포스톨-베르누이 다항식의 기호 계산 및 수론적 응용을 위한 새로운 길을 열어 놓는다.