A New Expression for the Bernoulli Numbers and its Applications

기술 요약: 베르누이 수의 새로운 표현식과 그 응용

문제 정의
본 논문은 제2종 스털링 수와 조화수를 포함하는 유한 이산 합성곱(finite discrete convolutions)에 대한 폐쇄형 표현식을 찾는 문제를 다룬다. 베르누이 수($B_n$)에 대한 명시적 공식은 이미 잘 확립되어 있으나(예: Worpitzky의 항등식 및 그 일반화), 저자들은 다음과 같은 특정 합을 조사한다:
$$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k$$
여기서 $\left\{ \begin{matrix} n \\ k \end{matrix} \right\}$와 $\left[ \begin{matrix} k \\ j \end{matrix} \right]$는 각각 제1종 및 제2종 스털링 수를 나타내며, $H_k$는 $k$번째 조화수이다. Mező와 Merca의 선행 연구들은 스털링 수를 포함하는 항등식을 베르누이 다항식으로 확장하였으며, 최근의 논문들은 조화수를 포함하는 특정 사례들을 소개하였다. 본 연구는 이러한 발견들을 하나의 통일된 공식으로 일반화하고자 한다.

방법론
저자들은 생성 함수, 재귀 관계, 그리고 조합적 항등식의 조합을 활용한다.

1. 조합적 유도: 주 정리의 증명은 제1종 및 제2종 스털링 수의 표준 재귀 관계에 기초한다. 합을 $B_{n,j}$로 정의하고 이러한 재귀 관계를 적용함으로써, 저자들은 $B_{n+1,j}$를 $B_{n,j-1}$ 및 이항 계수와 베르누이 수를 포함하는 항과 연결하는 축약 공식을 유도한다.
2. 생성 함수: 응용을 확립하기 위해, 저자들은 스털링 수, 조화수, 그리고 폴리-베르누이 다항식의 생성 함수를 활용한다. 구체적으로, 제2종 스털링 수의 생성 함수를 조작하여 $H_k$를 포함하는 합을 계산한다.
3. 미분 및 적분: 누적 합 공식의 유도는 변수 $x$에 대해 주 항등식을 미분하고, 특정 형태를 적분하여 합을 폴리-베르누이 다항식 및 코시 수(Cauchy numbers)와 연결하는 과정을 포함한다.
4. 모듈로 산술(Modular Arithmetic): 합동식 결과는 유도된 공식에 홀수 소수 $p$를 대입하고, 스털링 수에 관한 알려진 정리(예: $1 < k < p$일 때 $\left\{ \begin{matrix} p \\ k \end{matrix} \right\} \equiv 0 \pmod p$), Babbage의 정리, 그리고 von Staudt-Clausen 정리를 적용하여 도출된다.

주요 기여 및 결과

• 주 정리 (Theorem 1): 본 논문은 앞서 언급한 합성곱에 대한 새로운 명시적 공식을 확립한다:
  $$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k = \left( \binom{n}{j} - 1 \right) \frac{B_{n-j}}{n-j}$$
  정수 $0 \le j \le n$에 대하여, 저자들은 $j=1$과 $j=2$일 때 이 식이 $B_{n-1}$ 및 $B_{n-2}$를 포함하는 기존의 알려진 항등식들을 회복함을 언급한다.

• 재귀 관계:

  • 저자들은 Agoh가 이전에 제시한 베르누이 수의 선형 재귀 관계를 재증명한다.
  • 새로운 재귀 관계가 다음과 같이 유도된다:
    $$\sum_{j=1}^{n} \left( \binom{n}{j} + 1 \right) \frac{B_j}{j} (1 - 2^j) = 1$$

• 누적 합 공식: 베르누이 수의 누적 합에 대한 폐쇄형 공식이 제시되며, 이는 베르누이 수, 디-베르누이 수($B_n^{(2)}$), 그리고 $x=1$에서 평가된 디-베르누이 다항식과 연결된다:
  $$\sum_{j=0}^{n} B_j = B_n^{(2)}(1) + B_n - B_n^{(2)} - 1$$

• 합동식: 본 논문은 홀수 소수 $p$ 및 그 제곱에 대한 베르누이 및 오일러 수의 합에 관한 여러 합동식을 확립한다:

  • $\sum_{j=0}^{p} p B_j \equiv -1 \pmod p$
  • $\sum_{j=0}^{p-3} B_j \equiv -1 \pmod p$ (단, $p \ge 5$)
  • $\sum_{j=0}^{p} E_j \equiv \frac{3}{2} \pmod p$
  • $\sum_{j=0}^{p} \frac{p B_j}{p-j+1} \equiv -1 \pmod p$

의의 및 주장
본 논문은 이 연구의 주요 의의가 스털링 수와 조화수를 포함하는 다양한 알려진 항등식들을 하나의 일반적인 식(Theorem 1)으로 통합하는 데 있다고 주장한다. 저자들은 이 식이 다음과 같은 강력한 도구 역할을 한다고 기술한다:

1. 다른 방법론적 관점을 통해 기존의 결과(Agoh의 재귀식 등)를 재증명한다.
2. 이전에 이와 같은 특정 형태로 존재하지 않았던 새로운 재귀 관계 및 누적 합의 폐쇄형 공식을 유도한다.
3. 베르누이 및 오일러 수의 합에 대한 합동식을 확립하기 위한 체계적인 접근법을 제공하여, 이들의 모듈로 성질에 대한 이해를 확장한다.

본 연구는 제시된 즉각적인 수학적 유도 범위를 넘어선 실험적 응용이나 미래의 이론적 방향을 제안하지 않는다. 기여는 엄격하게 정수론 및 조합론 영역에 국한되며, 특히 베르누이, 오일러 및 관련 특수 수들의 성질에 집중한다.