Sums of Powers of Sine and Generalized Bernoulli Polynomials

Technische Samenvatting: Sommen van Machten van Sinus en Gegeneraliseerde Bernoulli-polynomen

Probleemstelling
Het artikel behandelt de afleiding van expliciete gesloten-vormformules voor de sommen van negatieve gehele machten van de sinusfunctie, geëvalueerd bij specifieke rationale veelvouden van $\pi$. Specifiek onderzoekt de auteur de grootheid:
$$S(s,n) = \sum_{j=1}^{2n-2} \frac{1}{\sin^s \left( \frac{(2j-1)\pi}{2n} \right)}$$
De primaire doelstelling is deze sommen uit te drukken in termen van gegeneraliseerde Bernoulli-polynomen, Euler-polynomen en Bernoulli-getallen. Een secundair doel is het gebruik van deze sommatieformules om integraalvoorstellingen voor de Riemann-zetafunctie af te leiden, met name bij oneven gehele argumenten, en verbanden te leggen tussen discrete sommen en waarden van de zetafunctie.

Methodologie
Het artikel maakt gebruik van een combinatie van genererende functies, combinatorische identiteiten en matrixalgebra om zijn resultaten af te leiden.

1. Genererende Functies en Polynomen: De kernmechaniek rust op de genererende functies voor gegeneraliseerde Bernoulli-polynomen $B_n^{(\alpha)}(x)$ en Euler-polynomen $E_n(x)$. De auteur maakt gebruik van bekende eigenschappen van deze polynomen, waaronder hun afgeleiden, symmetrierelaties (bijvoorbeeld $B_n^{(\alpha)}(\alpha-x) = (-1)^n B_n^{(\alpha)}(x)$), en relaties met Stirling-getallen van de eerste en tweede soort.
2. Matrixformulering: Een aanzienlijk deel van de methodologie omvat het definiëren van een reeks $(2n-2) \times (2n-2)$-matrices, aangeduid als $M_n$. Deze matrices relateren machten van de sinusfunctie aan lineaire combinaties van sinusfuncties met verschillende argumenten. Specifiek stelt het artikel vast dat:
   $$\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)$$
   De auteur analyseert de eigenschappen van deze matrices en merkt op dat voor oneven machten $r$ de matrices commuteren en volledig worden bepaald door hun eerste rij.
3. Inductieve Bewijzen: De afleiding van de algemene formules voor $S(2m+1, n)$ (negatieve oneven machten) en $S(2k, n)$ (negatieve even machten) wordt uitgevoerd via inductie. De auteur demonstreert hoe vermenigvuldiging met $\sin(\pi/2n)$ of $1/\sin(\pi/2n)$ de coëfficiënten van de matrixrijen transformeert, waardoor de overgang van macht $r$ naar $r \pm 1$ mogelijk wordt.
4. Limietprocessen: Om de discrete sommen te verbinden met de Riemann-zetafunctie, maakt het artikel gebruik van de limietdefinitie:
   $$\zeta(m) = \lim_{n \to \infty} \left( \frac{2^m \pi^m}{2^m - 1} \right) \frac{1}{2^{mn-m}} S(m,n)$$
   Door het asymptotische gedrag van de afgeleide formules te analyseren als $n \to \infty$, isoleert de auteur de leidende termen om integraalvoorstellingen te produceren.

Belangrijkste Bijdragen en Resultaten

• Formules voor Oneven Machten: Het artikel leidt een algemene formule af voor $S(2m+1, n)$, uitgedrukt als een som die Euler-polynomen en gegeneraliseerde Bernoulli-polynomen omvat.

  • Stelling 4.1 presenteert de expliciete formule:
    $$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)}$$
  • Dit resultaat generaliseert specifieke gevallen (bijvoorbeeld $S(3,n), S(5,n)$) die eerder in de inleiding werden vermeld.

• Formules voor Even Machten: Het artikel biedt een gesloten-vormuitdrukking voor $S(2k, n)$ die Bernoulli-getallen en de Riemann-zetafunctie omvat.

  • Stelling 5.1 stelt:
    $$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)$$
  • Deze formule maakt de berekening van $S(2k,n)$ mogelijk met behulp van een eindige som van zetawaarden, wat de computationele complexiteit aanzienlijk verlaagt in vergelijking met directe sommatie.

• Integraalvoorstelling van $\zeta(2j+1)$:

  • Corollarium 4.2 leidt een nieuwe integraalvoorstelling af voor de Riemann-zetafunctie bij oneven gehele getallen:
    $$\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$$
  • Dit wordt verkregen door de limiet van de discrete somformule voor $S(2m+1, n)$ te nemen als $n \to \infty$, waarbij de Riemann-som effectief wordt omgezet in een integraal.

• Matrixeigenschappen: Het artikel beschrijft de structuur van de matrices $M_n$ voor zowel oneven als even machten. Het bewijst dat voor oneven machten de matrices commuteren en permutatiestructuren delen, terwijl voor even machten de matrices niet commuteren, hoewel de som van de elementen in specifieke kolommen verdwijnt.

Betekenis en Claims
Het artikel claimt expliciete formules te produceren voor sommen van machten van sinus die eerder alleen bekend waren voor gevallen van lage orde of complexe recursieve berekening vereisten. Door deze sommen te koppelen aan gegeneraliseerde Bernoulli- en Euler-polynomen, biedt de auteur een verenigd algebraïsch raamwerk voor deze trigonometrische sommen.

De primaire betekenis die door de auteur wordt benadrukt, is de afleiding van de integraalvoorstelling voor $\zeta(2j+1)$. Waar de Riemann-zetafunctie bij even gehele getallen goed begrepen is via Bernoulli-getallen, blijven de waarden bij oneven gehele getallen minder hanteerbaar. Het artikel presenteert deze integraalvorm als een "mooie" representatie die rechtstreeks is afgeleid uit de discrete sommatie-eigenschappen van de sinusfunctie. Daarnaast merkt het artikel de computationele efficiëntie op van de afgeleide formules voor even machten, waarbij de $O(n)$-operaties die nodig zijn voor directe sommatie worden gecontrasteerd met het constante aantal operaties dat vereist is bij gebruik van de gesloten-vormuitdrukking die zetawaarden omvat.

Het werk wordt gepresenteerd als een theoretische verkenning van de relaties tussen trigonometrische sommen, speciale polynomen en de Riemann-zetafunctie, waarbij steun wordt gezocht bij gevestigde referenties voor fundamentele bewijzen, terwijl de specifieke formules worden uitgebreid voor algemene $n$ en $s$.