Sums of Powers of Sine and Generalized Bernoulli Polynomials

기술적 요약: 사인 함수의 거듭제곱 합과 일반화 베르누이 다항식

문제 제기
본 논문은 $\pi$의 특정 유리수 배에서 평가된 사인 함수의 음의 정수 거듭제곱에 대한 합에 대한 명시적 폐형 (closed-form) 공식을 유도하는 문제를 다룹니다. 구체적으로, 저자는 다음 양을 조사합니다:
$$S(s,n) = \sum_{j=1}^{2n-2} \frac{1}{\sin^s \left( \frac{(2j-1)\pi}{2n} \right)}$$
주요 목적은 이러한 합을 일반화 베르누이 다항식, 오일러 다항식, 그리고 베르누이 수의 관점으로 표현하는 것입니다. 부차적인 목표는 이러한 합 공식을 이용하여 리만 제타 함수, 특히 홀수 정수 인수에서의 값에 대한 적분 표현을 유도하고, 이산 합과 제타 함수 값 사이의 연관성을 확립하는 것입니다.

방법론
본 논문은 결과를 유도하기 위해 생성 함수, 조합론적 항등식, 그리고 행렬 대수의 조합을 사용합니다.

1. 생성 함수와 다항식: 핵심 기구는 일반화 베르누이 다항식 $B_n^{(\alpha)}(x)$와 오일러 다항식 $E_n(x)$에 대한 생성 함수에 의존합니다. 저자는 이러한 다항식의 알려진 성질, 즉 미분, 대칭 관계 (예: $B_n^{(\alpha)}(\alpha-x) = (-1)^n B_n^{(\alpha)}(x)$), 그리고 제 1 종 및 제 2 종 스털링 수와의 관계를 활용합니다.
2. 행렬 공식화: 방법론의 상당 부분은 $(2n-2) \times (2n-2)$ 크기의 행렬 집합 $M_n$을 정의하는 것을 포함합니다. 이러한 행렬은 사인 함수의 거듭제곱을 서로 다른 인수를 가진 사인 함수들의 선형 결합과 연관시킵니다. 구체적으로, 논문은 다음을 확립합니다:
   $$\frac{1}{\sin^r \left( \frac{(2j-1)\pi}{2n} \right)} = 2^r \sum_{k=1}^{2n-2} M_n(j,k) \sin \left( \frac{(2k-1)\pi}{2n} \right)$$
   저자는 이러한 행렬의 성질을 분석하여, 홀수 거듭제곱 $r$의 경우 행렬들이 교환 가능하며 첫 번째 행에 의해 완전히 결정됨을 지적합니다.
3. 귀납적 증명: $S(2m+1, n)$ (음의 홀수 거듭제곱) 및 $S(2k, n)$ (음의 짝수 거듭제곱) 에 대한 일반 공식의 유도는 귀납법을 통해 수행됩니다. 저자는 $\sin(\pi/2n)$ 또는 $1/\sin(\pi/2n)$을 곱하는 것이 행렬 행의 계수를 변환하여 거듭제곱 $r$에서 $r \pm 1$로의 전환을 가능하게 함을 보여줍니다.
4. 극한 과정: 이산 합을 리만 제타 함수와 연결하기 위해, 논문은 다음 극한 정의를 활용합니다:
   $$\zeta(m) = \lim_{n \to \infty} \left( \frac{2^m \pi^m}{2^m - 1} \right) \frac{1}{2^{mn-m}} S(m,n)$$
   유도된 공식의 $n \to \infty$에 대한 점근적 거동을 분석함으로써, 저자는 주요 항을 분리하여 적분 표현을 생성합니다.

주요 기여 및 결과

• 홀수 거듭제곱에 대한 공식: 논문은 오일러 다항식과 일반화 베르누이 다항식을 포함하는 합으로 표현된 $S(2m+1, n)$에 대한 일반 공식을 유도합니다.

  • 정리 4.1은 다음 명시적 공식을 제시합니다:
    $$S(2m+1,n) = \frac{(-1)^m 2^{2mn}}{(2m)!} \sum_{j=1}^{2n-2} \sum_{k=0}^{m-1} \left[ \frac{2(n-1)(-2k-1)}{2^{2k+1}} \binom{2m-1}{2k} B_{2k}^{(2m)}(m) \right] \left( 2n-1 E_{2m-2k}\left(\frac{j}{2n-1}\right) - m E_{2m-2k-1}\left(\frac{j}{2n-1}\right) \right) \frac{1}{\sin \left( \frac{(2j-1)\pi}{2n} \right)}$$
  • 이 결과는 서론에 나열된 이전의 특정 경우 (예: $S(3,n), S(5,n)$) 를 일반화합니다.

• 짝수 거듭제곱에 대한 공식: 논문은 베르누이 수와 리만 제타 함수를 포함하는 $S(2k, n)$에 대한 폐형 표현을 제공합니다.

  • 정리 5.1은 다음과 같이 명시합니다:
    $$S(2k,n) = \sum_{j=1}^{k} \frac{(-1)^{j+k} 2^{2j(n-2)+2k}(2^{2j}-1)}{\pi^{2j}(2(k-j))!} B_{2(k-j)}^{(2k)}(k) \zeta(2j)$$
  • 이 공식은 제타 값의 유한 합을 사용하여 $S(2k,n)$을 계산할 수 있게 하여, 직접 합산에 비해 계산 복잡성을 크게 줄여줍니다.

• $\zeta(2j+1)$의 적분 표현:

  • 계 4.2는 홀수 정수에서의 리만 제타 함수에 대한 새로운 적분 표현을 유도합니다:
    $$\zeta(2j+1) = \frac{(-1)^j 2^{2j} \pi^{2j+1}}{(2j)!(2^{2j+1}-1)} \int_0^{1/2} E_{2j}(x) \csc(\pi x) \, dx$$
  • 이는 $n \to \infty$일 때 $S(2m+1, n)$에 대한 이산 합 공식의 극한을 취함으로써 얻어지며, 리만 합을 적분으로 효과적으로 변환합니다.

• 행렬 성질: 논문은 홀수 및 짝수 거듭제곱에 대한 행렬 $M_n$의 구조를 상세히 기술합니다. 홀수 거듭제곱의 경우 행렬들이 교환 가능하며 치환 구조를 공유함을 증명하는 반면, 짝수 거듭제곱의 경우 행렬들은 교환하지 않지만 특정 열의 원소 합은 소멸됨을 보입니다.

의의 및 주장
본 논문은 이전에는 낮은 차수의 경우에만 알려져 있거나 복잡한 재귀적 계산을 필요로 했던 사인 거듭제곱 합에 대한 명시적 공식을 생성한다고 주장합니다. 이러한 합을 일반화 베르누이 및 오일러 다항식과 연결함으로써, 저자는 이러한 삼각함수 합에 대한 통일된 대수적 프레임워크를 제공합니다.

저자가 강조하는 주요 의의는 $\zeta(2j+1)$에 대한 적분 표현의 유도입니다. 베르누이 수를 통해 짝수 정수에서의 리만 제타 함수는 잘 이해되고 있지만, 홀수 정수에서의 값은 여전히 다루기 어렵습니다. 논문은 이 적분 형태를 사인 함수의 이산 합산 성질에서 직접 유도된 "아름다운" 표현으로 제시합니다. 또한, 논문은 짝수 거듭제곱에 대한 유도된 공식의 계산 효율성을 지적하며, 직접 합산에 필요한 $O(n)$ 연산과 제타 값을 포함하는 폐형 표현을 사용할 때 필요한 상수 개수의 연산을 대조합니다.

본 작업은 삼각함수 합, 특수 다항식, 그리고 리만 제타 함수 간의 관계에 대한 이론적 탐구로 제시되며, 기초적 증명에는 확립된 참고 문헌에 의존하면서도 일반적인 $n$과 $s$에 대한 특정 공식을 확장합니다.