Multiple zeta function

Last updated

In mathematics, the multiple zeta functions are generalizations of the Riemann zeta function, defined by

Contents

and converge when Re(s1) + ... + Re(si) > i for all i. Like the Riemann zeta function, the multiple zeta functions can be analytically continued to be meromorphic functions (see, for example, Zhao (1999)). When s1, ..., sk are all positive integers (with s1 > 1) these sums are often called multiple zeta values (MZVs) or Euler sums. These values can also be regarded as special values of the multiple polylogarithms. [1] [2]

The k in the above definition is named the "depth" of a MZV, and the n = s1 + ... + sk is known as the "weight". [3]

The standard shorthand for writing multiple zeta functions is to place repeating strings of the argument within braces and use a superscript to indicate the number of repetitions. For example,

Definition

Multiple zeta functions arise as special cases of the multiple polylogarithms

which are generalizations of the polylogarithm functions. When all of the are nth roots of unity and the are all nonnegative integers, the values of the multiple polylogarithm are called colored multiple zeta values of level. In particular, when , they are called Euler sums or alternating multiple zeta values, and when they are simply called multiple zeta values. Multiple zeta values are often written

and Euler sums are written

where . Sometimes, authors will write a bar over an corresponding to an equal to , so for example

.

Integral structure and identities

It was noticed by Kontsevich that it is possible to express colored multiple zeta values (and thus their special cases) as certain multivariable integrals. This result is often stated with the use of a convention for iterated integrals, wherein

Using this convention, the result can be stated as follows: [2]

where for .

This result is extremely useful due to a well-known result regarding products of iterated integrals, namely that

where and is the symmetric group on symbols.

To utilize this in the context of multiple zeta values, define , to be the free monoid generated by and to be the free -vector space generated by . can be equipped with the shuffle product, turning it into an algebra. Then, the multiple zeta function can be viewed as an evaluation map, where we identify , , and define

for any ,

which, by the aforementioned integral identity, makes

Then, the integral identity on products gives [2]

Two parameters case

In the particular case of only two parameters we have (with s > 1 and n,m integers): [4]

where are the generalized harmonic numbers.

Multiple zeta functions are known to satisfy what is known as MZV duality, the simplest case of which is the famous identity of Euler:

where Hn are the harmonic numbers.

Special values of double zeta functions, with s > 0 and even, t > 1 and odd, but s+t = 2N+1 (taking if necessary ζ(0) = 0): [4]

stapproximate valueexplicit formulae OEIS
220.811742425283353643637002772406 A197110
320.228810397603353759768746148942 A258983
420.088483382454368714294327839086 A258984
520.038575124342753255505925464373 A258985
620.017819740416835988362659530248 A258947
230.711566197550572432096973806086 A258986
330.213798868224592547099583574508 A258987
430.085159822534833651406806018872 A258988
530.037707672984847544011304782294 A258982
240.674523914033968140491560608257 A258989
340.207505014615732095907807605495 A258990
440.083673113016495361614890436542 A258991

Note that if we have irreducibles, i.e. these MZVs cannot be written as function of only. [5]

Three parameters case

In the particular case of only three parameters we have (with a > 1 and n, j,i integers):

Euler reflection formula

The above MZVs satisfy the Euler reflection formula:

for

Using the shuffle relations, it is easy to prove that: [5]

for

This function can be seen as a generalization of the reflection formulas.

Symmetric sums in terms of the zeta function

Let , and for a partition of the set , let . Also, given such a and a k-tuple of exponents, define .

The relations between the and are: and

Theorem 1 (Hoffman)

For any real , .

Proof. Assume the are all distinct. (There is no loss of generality, since we can take limits.) The left-hand side can be written as . Now thinking on the symmetric

group as acting on k-tuple of positive integers. A given k-tuple has an isotropy group

and an associated partition of : is the set of equivalence classes of the relation given by iff , and . Now the term occurs on the left-hand side of exactly times. It occurs on the right-hand side in those terms corresponding to partitions that are refinements of : letting denote refinement, occurs times. Thus, the conclusion will follow if for any k-tuple and associated partition . To see this, note that counts the permutations having cycle type specified by : since any elements of has a unique cycle type specified by a partition that refines , the result follows. [6]

For , the theorem says for . This is the main result of. [7]

Having . To state the analog of Theorem 1 for the , we require one bit of notation. For a partition

of , let .

Theorem 2 (Hoffman)

For any real , .

Proof. We follow the same line of argument as in the preceding proof. The left-hand side is now , and a term occurs on the left-hand since once if all the are distinct, and not at all otherwise. Thus, it suffices to show (1)

To prove this, note first that the sign of is positive if the permutations of cycle type are even, and negative if they are odd: thus, the left-hand side of (1) is the signed sum of the number of even and odd permutations in the isotropy group . But such an isotropy group has equal numbers of even and odd permutations unless it is trivial, i.e. unless the associated partition is . [6]

The sum and duality conjectures [6]

We first state the sum conjecture, which is due to C. Moen. [8]

Sum conjecture (Hoffman). For positive integers k and n, , where the sum is extended over k-tuples of positive integers with .

Three remarks concerning this conjecture are in order. First, it implies . Second, in the case it says that , or using the relation between the and and Theorem 1,

This was proved by Euler [9] and has been rediscovered several times, in particular by Williams. [10] Finally, C. Moen [8] has proved the same conjecture for k=3 by lengthy but elementary arguments. For the duality conjecture, we first define an involution on the set of finite sequences of positive integers whose first element is greater than 1. Let be the set of strictly increasing finite sequences of positive integers, and let be the function that sends a sequence in to its sequence of partial sums. If is the set of sequences in whose last element is at most , we have two commuting involutions and on defined by and = complement of in arranged in increasing order. The our definition of is for with .

For example, We shall say the sequences and are dual to each other, and refer to a sequence fixed by as self-dual. [6]

Duality conjecture (Hoffman). If is dual to , then .

This sum conjecture is also known as Sum Theorem, and it may be expressed as follows: the Riemann zeta value of an integer n  2 is equal to the sum of all the valid (i.e. with s1 > 1) MZVs of the partitions of length k and weight n, with 1  k  n  1. In formula: [3]

For example, with length k = 2 and weight n = 7:

Euler sum with all possible alternations of sign

The Euler sum with alternations of sign appears in studies of the non-alternating Euler sum. [5]

Notation

with are the generalized harmonic numbers.
with
with
with

As a variant of the Dirichlet eta function we define

with

Reflection formula

The reflection formula can be generalized as follows:

if we have

Other relations

Using the series definition it is easy to prove:

with
with

A further useful relation is: [5]

where and

Note that must be used for all value for which the argument of the factorials is

Other results

For all positive integers :

or more generally:

Mordell–Tornheim zeta values

The Mordell–Tornheim zeta function, introduced by Matsumoto (2003) who was motivated by the papers Mordell (1958) and Tornheim (1950), is defined by

It is a special case of the Shintani zeta function.

Related Research Articles

<span class="mw-page-title-main">Riemann zeta function</span> Analytic function in mathematics

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as

In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where the infinite series representation which initially defined the function becomes divergent.

The Liouville lambda function, denoted by λ(n) and named after Joseph Liouville, is an important arithmetic function. Its value is +1 if n is the product of an even number of prime numbers, and −1 if it is the product of an odd number of primes.

<span class="mw-page-title-main">Harmonic number</span> Sum of the first n whole number reciprocals; 1/1 + 1/2 + 1/3 + ... + 1/n

In mathematics, the n-th harmonic number is the sum of the reciprocals of the first n natural numbers:

In mathematics, a Dirichlet series is any series of the form

<span class="mw-page-title-main">Divisor function</span> Arithmetic function related to the divisors of an integer

In mathematics, and specifically in number theory, a divisor function is an arithmetic function related to the divisors of an integer. When referred to as the divisor function, it counts the number of divisors of an integer. It appears in a number of remarkable identities, including relationships on the Riemann zeta function and the Eisenstein series of modular forms. Divisor functions were studied by Ramanujan, who gave a number of important congruences and identities; these are treated separately in the article Ramanujan's sum.

The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.

Eisenstein series, named after German mathematician Gotthold Eisenstein, are particular modular forms with infinite series expansions that may be written down directly. Originally defined for the modular group, Eisenstein series can be generalized in the theory of automorphic forms.

In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In mathematics, the Riemann zeta function is a function in complex analysis, which is also important in number theory. It is often denoted and is named after the mathematician Bernhard Riemann. When the argument is a real number greater than one, the zeta function satisfies the equation

In mathematics, the simplest real analytic Eisenstein series is a special function of two variables. It is used in the representation theory of SL(2,R) and in analytic number theory. It is closely related to the Epstein zeta function.

In number theory, Ramanujan's sum, usually denoted cq(n), is a function of two positive integer variables q and n defined by the formula

<span class="mw-page-title-main">Riemann hypothesis</span> Conjecture on zeros of the zeta function

In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part 1/2. Many consider it to be the most important unsolved problem in pure mathematics. It is of great interest in number theory because it implies results about the distribution of prime numbers. It was proposed by Bernhard Riemann (1859), after whom it is named.

The Bailey–Borwein–Plouffe formula is a formula for π. It was discovered in 1995 by Simon Plouffe and is named after the authors of the article in which it was published, David H. Bailey, Peter Borwein, and Plouffe. Before that, it had been published by Plouffe on his own site. The formula is:

In chemistry, the rotational partition function relates the rotational degrees of freedom to the rotational part of the energy.

Stochastic portfolio theory (SPT) is a mathematical theory for analyzing stock market structure and portfolio behavior introduced by E. Robert Fernholz in 2002. It is descriptive as opposed to normative, and is consistent with the observed behavior of actual markets. Normative assumptions, which serve as a basis for earlier theories like modern portfolio theory (MPT) and the capital asset pricing model (CAPM), are absent from SPT.

In mathematics, topological recursion is a recursive definition of invariants of spectral curves. It has applications in enumerative geometry, random matrix theory, mathematical physics, string theory, knot theory.

In analytic number theory, a Dirichlet series, or Dirichlet generating function (DGF), of a sequence is a common way of understanding and summing arithmetic functions in a meaningful way. A little known, or at least often forgotten about, way of expressing formulas for arithmetic functions and their summatory functions is to perform an integral transform that inverts the operation of forming the DGF of a sequence. This inversion is analogous to performing an inverse Z-transform to the generating function of a sequence to express formulas for the series coefficients of a given ordinary generating function.

References

Notes

  1. Zhao, Jianqiang (2010). "Standard relations of multiple polylogarithm values at roots of unity". Documenta Mathematica. 15: 1–34. arXiv: 0707.1459 .
  2. 1 2 3 Zhao, Jianqiang (2016). Multiple Zeta Functions, Multiple Polylogarithms and Their Special Values. Series on Number Theory and its Applications. Vol. 12. World Scientific Publishing. doi:10.1142/9634. ISBN   978-981-4689-39-7.
  3. 1 2 Hoffman, Mike. "Multiple Zeta Values". Mike Hoffman's Home Page. U.S. Naval Academy. Retrieved June 8, 2012.
  4. 1 2 Borwein, David; Borwein, Jonathan; Bradley, David (September 23, 2004). "Parametric Euler Sum Identities" (PDF). CARMA, AMSI Honours Course. The University of Newcastle. Retrieved June 3, 2012.
  5. 1 2 3 4 Broadhurst, D. J. (1996). "On the enumeration of irreducible k-fold Euler sums and their roles in knot theory and field theory". arXiv: hep-th/9604128 .
  6. 1 2 3 4 Hoffman, Michael (1992). "Multiple Harmonic Series". Pacific Journal of Mathematics. 152 (2): 276–278. doi: 10.2140/pjm.1992.152.275 . MR   1141796. Zbl   0763.11037.
  7. Ramachandra Rao, R. Sita; M. V. Subbarao (1984). "Transformation formulae for multiple series". Pacific Journal of Mathematics. 113 (2): 417–479. doi: 10.2140/pjm.1984.113.471 .
  8. 1 2 Moen, C. "Sums of Simple Series". Preprint.
  9. Euler, L. (1775). "Meditationes circa singulare serierum genus". Novi Comm. Acad. Sci. Petropol. 15 (20): 140–186.
  10. Williams, G. T. (1958). "On the evaluation of some multiple series". Journal of the London Mathematical Society. 33 (3): 368–371. doi:10.1112/jlms/s1-33.3.368.