Sums of Powers of Sine and Generalized Bernoulli Polynomials

技術的サマリー：正弦関数のべき和と一般化ベルヌーイ多項式

問題提起
本論文は、$\pi$ の特定の有理数倍で評価された正弦関数の負の整数べきの和に対する明示的な閉形式公式の導出を取り扱っている。具体的には、著者は以下の量を調査する：
$$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)$）、および第一種および第二種スターリング数との関係を利用する。
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$ に対する特定の公式を拡張している。