For the explicit case of the gamma function, the identity is a product of values; thus the name.
The various relations all stem from the same underlying principle; that is, the relation for one special function can be derived from that for the others, and is simply a manifestation of the same identity in different guises.
The multiplication theorem takes two common forms.
In the first case, a finite number of terms are added or multiplied to give the relation.
In the second case, an infinite number of terms are added or multiplied.
The infinite sums are much more common, and follow from characteristic zero relations on the hypergeometric series.
The following tabulates the various appearances of the multiplication theorem for finite characteristic; the characteristic zero relations are given further down.
In all cases, n and k are non-negative integers.
For the special case of n = 2, the theorem is commonly referred to as the duplication formula.
Gamma function–Legendre formula
The duplication formula and the multiplication theorem for the gamma function are the prototypical examples.
The duplication formula for the gamma function is
It is also called the Legendre duplication formula or Legendre relation, in honor of Adrien-Marie Legendre.
The multiplication theorem is
for integer k ≥ 1, and is sometimes called Gauss's multiplication formula, in honour of Carl Friedrich Gauss.
Polygamma function, harmonic numbers
The polygamma identities can be used to obtain a multiplication theorem for harmonic numbers.
Hurwitz zeta function
For the Hurwitz zeta function generalizes the polygamma function to non-integer orders, and thus obeys a very similar multiplication theorem:
Multiplication formulas for the non-principal characters may be given in the form of Dirichlet L-functions.
Periodic zeta function
The periodic zeta function is sometimes defined as
where Lis(z) is the polylogarithm.
It obeys the duplication formula
As such, it is an eigenvector of the Bernoulli operator with eigenvalue 2.
The multiplication theorem is
The periodic zeta function occurs in the reflection formula for the Hurwitz zeta function, which is why the relation that it obeys, and the Hurwitz zeta relation, differ by the interchange of s → −s.
The Bernoulli polynomials may be obtained as a limiting case of the periodic zeta function, taking s to be an integer, and thus the multiplication theorem there can be derived from the above.
Similarly, substituting q = log z leads to the multiplication theorem for the polylogarithm.
The duplication formula takes the form
These identities follow from that on the periodic zeta function, taking z = log q.
The duplication formula for Kummer's function is
and thus resembles that for the polylogarithm, but twisted by i.
and for the Euler polynomials,
The Bernoulli polynomials may be obtained as a special case of the Hurwitz zeta function, and thus the identities follow from there.
Perhaps not surprisingly, the eigenvectors of this operator are given by the Bernoulli polynomials.
That is, one has that
Assuming that the sum converges, so that g(x) exists, one then has that it obeys the multiplication theorem; that is, that
Credits to the contents of this page go to the authors of the corresponding Wikipedia page: en.wikipedia.org/wiki/Multiplication theorem.