The Scientific World Journal

The Scientific World Journal / 2015 / Article

Research Article | Open Access

Volume 2015 |Article ID 950521 | 7 pages | https://doi.org/10.1155/2015/950521

Relation of the Cyclotomic Equation with the Harmonic and Derived Series

Academic Editor: Abdelalim A. Elsadany
Received21 Oct 2014
Accepted13 Dec 2014
Published22 Jan 2015

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

  1. J. Stillwell, Mathematics and Its History, Springer, 2010. View at: Publisher Site | MathSciNet
  2. L. Jolley, Summation of Series, Dover, New York, NY, USA, 1961. View at: MathSciNet
  3. T. J. Bromwich, Introduction to The Theory of Infinite Series, Courtesy of University of Toronto Library, McMillan, 1926.
  4. W. Chu, “Summation formulae involving harmonic numbers,” Filomat, vol. 26, no. 1, pp. 143–152, 2012. View at: Publisher Site | Google Scholar
  5. H. K. Sørensen, Gauss and the cyclotomic equation [Ph.D. thesis], Aarhus University, Aarhus, Denmark, 2001.
  6. J. Schwinger, Ed., Selected papers in Quantum Electrodynamics, Dover, 1956.
  7. 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
  8. M. Abramowitz and I. Stegun, Handbook of Mathematical Functions, Dover, New York, NY, USA, 1965.
  9. “Hansen formula, quoted,” in Ramanujan's Lost Notebook, vol. 3, p. 206, 2007. View at: Google Scholar
  10. T. M. Apostol, Introduction to Analytic Number Theory, Springer, New York, NY, USA, 1976. View at: MathSciNet

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.

486 Views | 290 Downloads | 1 Citation
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19.