Research Article | Open Access

# Relation of the Cyclotomic Equation with the Harmonic and Derived Series

**Academic Editor:**Abdelalim A. Elsadany

#### Abstract

We associate some (old) convergent series related to definite integrals with the cyclotomic equation , for several natural numbers *m*; for example, for , leads to . In some cases, we express the results in terms of the Dirichlet characters. Generalizations for arbitrary *m* are well defined but do imply integrals and/or series summations rather involved.

#### 1. Introduction

Nicola Oresmes proved ca. 1350, the* divergence* of the* harmonic series* (e.g., see [1, page 183]). Indeed, today we know precisely how it does* diverge* ([2, page 14]; see also [3]):

For where is the Euler-Mascheroni constant (written and named at times; for a recent reference, see [4]):

We do not know, even today (winter 2015), whether is rational or not.

Later, in 1668 Mercator (= Kremer) proved [1, page 185] the convergence of the alternative series (of even/odd numbers) and summed it (i.e., taking the limit):

Apparently, some work from India preceded the (even later) so-called Gregory-Leibniz formula ([1] again, page 184) for another alternative series (of inverse of odd numbers):

In this paper we interpret (4) and (5) as arising from the cyclotomic equation of roots of the unity (Gauss; see, e.g., [5]):

In our cases, , respectively, for (4) and (5), and then perhaps we can write anew the results in terms of some natural arithmetic functions. In (6), the roots are complex conjugate pairs, as (6) describes a real equation, so the roots have modulus 1, and all of them lie in the complex unit circle .

The main purpose of this paper is to generalize these results for other (generic) natural numbers . We will try to relate the series to some definite integrals.

We anticipate already here part of the workings for and 4.

For , ; we always leave out the root. The inverse of enters into (4) and we proceed to the four operations:(a)*inversion*, ;(b)*expansion*, ();(c)term-by-term* integration*, ;(d)taking the* limits * minus , .

Then we obtain the above result for :
in terms of the arithmetic modulated “sign” function (= even/odd) . Note that* after* the integration, the limit can be taken. Equation (7) involves the series
expressed as a genuine definite integral.

Similarly, for , it is , separating the roots and ; now enters into (5), which becomes, again after inversion, expansion, integration, and taking limits, which can be written as the (alternative) difference between the two series and of course also as one integral

And it can be given now in terms of the so-called Dirichlet characters (see below).

In this paper, as said, we will generalize the constructions above (for ) for any integer (in principle) and include (when possible) the appropriate Dirichlet character.

But first we want to fix our notation. For each , , we will consider first the* finite* sums, up to terms; so we define primarily

For example, ; so these sums* diverge*, for arbitrarily large, and indeed as (2) indicates,
(from now on we will keep* only* the* dominant* and the* constant* terms in the* divergent* expansion (2)).

Also, we define* partial bounded sums * for as displaced sums:

And finally, so

Therefore, (in (11)) is the sum of all with :

Note that these sums make sense, spite diverging, because all have only positive terms and they are finite sums.

The convergence or divergence of the above series is usually self-explained: convergence occurs always for the decreasing alternative series (Leibniz), but as the convergence is not absolute, but conditional, the ordering in the series should be maintained. The higher divergence behaves, if at all, with a factor : divergences are no higher than logarithmic. We will try to be careful in subtracting two divergent series. We use a philosophy close to physics (in particular, to quantum electrodynamics or q. e. d.): we first truncate the series, taking a* fixed* upper bound (called the* cut-off*; in physics this process is called* regularization*). Then we subtract other series, also divergent but with a similar type of divergence (this is called* renormalization*): the result should be convergent (*radiative* corrections); see, for example, the book by Schwinger [6].

For a modern treatment of the Dirichlet series consult [7].

#### 2. The Case for : Four Methods

Here we repeat the result for the case (7) by* four* different methods, because eventually the four might be useful.

*(1) Redundance (Direct) Proof. * and , defined above, diverge in a known way, for fixed (and large) and, as said, ((12), (14))

So directly, without any integration or (infinite) series summation.

*(2) Integration Proof.* Trivial here, as it is already (4):

*(3) Summation Proof.* We have the* convergent* series (so now )
which can be explicitly done using the* digamma function * (see, e.g., [8, page 258]):
(for is the ordinary, Euler’s gamma function), with help of the expression [8, page 259, formula 6.3.16]
for . In total we get, as expected,
*(4) Use of Hansen Formula*. This formula, again depending on the Digamma function , reads (cf. [9]; notice the sum starts in zero; are some parameters)

We put our above in as (), because runs now from zero; hence this is equivalent to (23) with the parameter values , , and . So our sum is (with and ) as it should be.

Of the four methods, the most common and “easy” is the second (integration); it can, in principle (i.e., if the integrand is known and the integration feasible), always be used. The* Mathematica* Computer Programs give many integrals and double sums also directly.

Please note in this (initial) case that what appears as result is the* sign function *; later, for some , (including ) this will become a Dirichlet character: here we have, as résumé (to repeat),
so NO Dirichlet character this time.

#### 3. The Case for

We discuss first. Now as the roots are , and conjugate ; here is equivalent to a plane rotation by . By direct integration, we obtain at once which is a particular case of

For a general* positive* integer we obtain, after an easy calculation ( is root of ),

This formula (28) can be used at once for , and 6, yielding (26) and

later, we shall need also for , for natural between 1 and . The integral is now

Coming back to , the specific series is , with ; after developing, we get (after term-by-term integration and taking limits 1, 0)

Hence finishes the calculation for (as the third sum trivially computable).

In terms of the [10] Dirichlet character mod 3, namely , we have where of course (so 3-periodic). We can even use Dirichlet’s L-functions, which will include the factors, but we refrain from doing that, as it does not illuminate the matter any further.

As* recapitulation*, the series are obtained from the polynomial of roots 1:
after INVersion, EXPansion, INTegration, and TAKing . In principle, the result of the series summation can be also obtained from the Hansen formula (22).

Finally for this case, we quote the four* diverging* series for completeness (the signal meaning just the limit for ):
as the* complete* solution for the case. We quote the following four* divergent* series for later use, still in this case (the limit meaning just ):

Now, for , we have first the natural cyclotomic expression
(we write because this is not the only possible factorization to be used). Repeating the steps as before for , our first final result is here:
with being periodic mod 4 (and restricted multiplicative). Note also why do we get and 3 in (not 2!) mod 4: the expansion is for , and so forth, so it is with* even* powers only, so with only* odd* powers after integration!

We are done with this, as , , and are automatically obtainable.

The* second* factorization of is obtained by separating only the root:

As contains the root, one writes , where the integral can be computed at once (indeed, it is indicated above). The final result for factorization is
which is a* redundant* result, as defines computable from the above calculation . In fact, we end up this case by writing the analogy to (35):

The nonprime structure of * implies* only a difference calculation, as it was also the case for , prime.

So the full solution for the case has one redundancy (two factorizations), and it is done (solved) once a single calculation is made; for example, .

Now it is the turn of . But here there are also several factorizations, as for the case above. The simplest is (perhaps)

As , the integral is easy, with this factoring:

The operations INV, EXP, INT, and TAK applied to the polynomial yield the infinite but convergent sum

Notice again the* jump*, now by three: it is due to the cubic terms in .

All other factorizations are therefore* redundant*; we just write them:

Redundancy arises because from (39) one obtains , as is directly computable (Section 2); so, in , we know already the result, as is again trivial, the same in , as is again directly computable.

It is remarkable here that in the original expansion the simplest factorization yields, for , the double series expansion
which is again a* redundant* calculation, as included in the (summed) .

To finish these simple cases, we just write down the nontrivial summations:

And, in this case, we get also computing and as in Section 1.

In terms of some Dirichlet functions we get

For a modern treatment of sums involving harmonic numbers, see [4].

#### 4. General Numbers

Here the cyclotomic equation is, for , where = Rotation by and = Rotation by .

We obtain easily

The integral can be done as the real denominator splits in two real ones and quadratic, but we abstain to write explicitly

The expression for the integral is too long to be written. In summation terms, it is still computable (e.g., with Mathematica) but still too long. The final result will be

This does not correspond to none mod 5 Dirichlet characters, but one can always put a (Dirichlet) function

The simplest summation (according to* Mathematica*) is

Notice that the factorization in (49) does not allow us to write it as difference between two series, because the coefficients are not integer numbers.

For the next prime, namely, , we have three couples of complex roots, plus the value: the sextic integral has not been attempted, but the summation can be again done; we refrain from elaborating.

This is the general trend for prime numbers ; there are pairs of complex conjugate roots; “a priori,” the only integral versus series is the simplest case, generalizing the above result:

The number coincides also with the Euler number.

#### 5. General Case

We deal now with some composite numbers. Compound numbers are easier; we just add a calculation for , with : and so

Another factorization is . It is equivalent to

Still, a third factorization is , which yields , so the remaining is obtained by difference (with inmediate). The case is potentially resolved. Again, we refrain from elaborating.

For , and can be computed directly, whereas the odd cases require further work, but it is again feasible, similarly for .

As* general conclusion*, we have shown a remarkable relation between the cyclotomic equation and some series and definite integrals; they go from the simplest integrals (and series) in the literature (like ) to very complicated cases, still feasible: the integrals have denominators factoring in quadratic ones, and the series are of the type , computable, in principle, by means of the Hansen’s formula.

There are, however, some questions left in our work: for example, the series for we identify it with the series ; this is correct, but we have checked it “case by case,” offering no general proof, and so forth. Also we feel that some new series might perhaps appear, whenever the quadratic components offer an integer expansion: those are two questions for the future.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors are very thankful to Professor Jesús Guillera, from the Department of Mathematics, for his interest and for showing the authors the relations with the Dirichlet characters and also the use of the Hansen formula. This work has been supported by the Spanish CICYT (Grant no. FPA 2006-02315) and the Aragonese DGIID-DGA (Grant no. 2007-E242).

#### References

- J. Stillwell,
*Mathematics and Its History*, Springer, 2010. View at: Publisher Site | MathSciNet - L. Jolley,
*Summation of Series*, Dover, New York, NY, USA, 1961. View at: MathSciNet - T. J. Bromwich,
*Introduction to The Theory of Infinite Series*, Courtesy of University of Toronto Library, McMillan, 1926. - W. Chu, “Summation formulae involving harmonic numbers,”
*Filomat*, vol. 26, no. 1, pp. 143–152, 2012. View at: Publisher Site | Google Scholar - H. K. Sørensen,
*Gauss and the cyclotomic equation [Ph.D. thesis]*, Aarhus University, Aarhus, Denmark, 2001. - J. Schwinger, Ed.,
*Selected papers in Quantum Electrodynamics*, Dover, 1956. - R. J. Mathar, “Table of Dirichlet L-series and prime zeta modulo functions for small moduli,” http://arxiv.org/abs/1008.2547. View at: Google Scholar
- M. Abramowitz and I. Stegun,
*Handbook of Mathematical Functions*, Dover, New York, NY, USA, 1965. - “Hansen formula, quoted,” in
*Ramanujan's Lost Notebook*, vol. 3, p. 206, 2007. View at: Google Scholar - T. M. Apostol,
*Introduction to Analytic Number Theory*, Springer, New York, NY, USA, 1976. View at: MathSciNet

#### Copyright

Copyright © 2015 Luis J. Boya and Cristian Rivera. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.