English

On a finite sum of cosecants appearing in various problems

Number Theory 2024-05-28 v2 Numerical Analysis Classical Analysis and ODEs Numerical Analysis

Abstract

In this paper we investigate the finite sum of cosecants csc(φ+aπl/n),\sum\csc\big(\varphi+a\pi l/n\big), where the index ll runs through 1 to n1n-1 and φ\varphi and aa are arbitrary parameters, as well as several closely related sums, such as similar sums of a series of secants, of tangents and of cotangents. These trigonometric sums appear in various problems in mathematics, physics, and a variety of related disciplines. Their particular cases were fragmentarily considered in previous works, and it was noted that even a simple particular case csc(πl/n)\sum\csc\big(\pi l/n\big) does not have a closed-form, i.e. a compact summation formula. In the paper, we derive several alternative representations for the above-mentioned sums, study their properties, relate them to many other finite and infinite sums, obtain their complete asymptotic expansions for large nn and provide accurate upper and lower bounds (e.g. the typical relative error for the upper bound is lesser than 2×1092\times10^{-9} for n10n\geqslant10 and lesser than 7×10147\times10^{-14} for n50n\geqslant50, which is much better than the bounds we could find in previous works). Our researches reveal that these sums are deeply related to several special numbers and functions, especially to the digamma function (furthermore, as a by-product, we obtain several interesting summations formulae for the digamma function). Asymptotical studies show that these sums may have qualitatively different behaviour depending on the choice of φ\varphi and aa; in particular, as nn increases some of them may become sporadically large. Finally, we also provide several historical remarks related to various sums considered in the paper. We show that some results in the field either were rediscovered several times or can easily be deduced from various known formulae, including some formulae dating back to the XVIIIth century.

Keywords

Cite

@article{arxiv.2312.16657,
  title  = {On a finite sum of cosecants appearing in various problems},
  author = {Iaroslav V. Blagouchine and Eric Moreau},
  journal= {arXiv preprint arXiv:2312.16657},
  year   = {2024}
}