Content deleted Content added
→Gamma function–Legendre function: formula, not function, the trivial character is a Dirichlet character |
Link suggestions feature: 3 links added. |
||
| (11 intermediate revisions by 9 users not shown) | |||
Line 1:
{{short description|Identity obeyed by many special functions related to the gamma function}}
{{This|the identity obeyed by special functions related to the gamma function|the multiplication rule in probability theory|Independence (probability theory)}}
{{More refs|date=February 2021}}
In [[mathematics]], the '''multiplication theorem''' is a certain type of identity obeyed by many [[special function]]s related to the [[gamma function]]. 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.
Line 16 ⟶ 19:
\Gamma(z) \; \Gamma\left(z + \frac{1}{k}\right) \; \Gamma\left(z + \frac{2}{k}\right) \cdots
\Gamma\left(z + \frac{k-1}{k}\right) =
(2 \pi)^{ \frac{k-1}{2}} \; k^{\frac{1
</math>
for integer ''k'' ≥ 1, and is sometimes called '''Gauss's multiplication formula''', in honour of [[Carl Friedrich Gauss]]. The multiplication theorem for the gamma functions can be understood to be a special case, for the trivial [[Dirichlet character]], of the [[Chowla–Selberg formula]].
==Sine function ==
Formally similar duplication formulas hold for the sine function, which are rather simple consequences of the [[List of trigonometric identities|trigonometric identities]]. Here one has the duplication formula
:<math>
\sin(\pi x)\sin\left(\pi\left(x+\frac{1}{2}\right)\right) = \frac{1}{2}\sin(2\pi x)
</math>
and, more generally, for any integer ''k'', one has
:<math>
\sin(\pi x)\sin\left(\pi\left(x+\frac{1}{k}\right)\right) \cdots \sin\left(\pi\left(x+\frac{k-1}{k}\right)\right) = 2^{1-k} \sin(k \pi x)
</math>
==Polygamma function, harmonic numbers==
Line 34 ⟶ 48:
==Hurwitz zeta function==
:<math>k^s\zeta(s)=\sum_{n=1}^k \zeta\left(s,\frac{n}{k}\right),</math>
Line 54 ⟶ 68:
where Li<sub>''s''</sub>(''z'') is the [[polylogarithm]]. It obeys the duplication formula
:<math>2^{1-s} F(s;q) = F\left(s,\frac{q}{2}\right)
+ F\left(s,\frac{q+1}{2}\right).</math>
As such, it is an eigenvector of the [[Bernoulli operator]] with eigenvalue 2<sup>1−''s''</sup>. The multiplication theorem is
:<math>k^{1-s} F(s;kq) = \sum_{n=0}^{k-1} F\left(s,q+\frac{n}{k}\right).</math>
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'' → 1−''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.
Line 111 ⟶ 125:
:<math>\mathcal{L}_k B_m = \frac{1}{k^m}B_m</math>
It is the fact that the eigenvalues <math>k^{-m}<1</math> that marks this as a [[dissipative system]]: for a non-dissipative [[measure-preserving dynamical system]], the eigenvalues of the transfer operator lie on the [[unit circle]].
One may construct a function obeying the multiplication theorem from any [[totally multiplicative function]]. Let <math>f(n)</math> be totally multiplicative; that is, <math>f(mn)=f(m)f(n)</math> for any integers ''m'', ''n''. Define its [[Fourier series]] as
:<math>g(x)=\sum_{n=1}^\infty f(n) \exp(2\pi inx)</math>
Line 121 ⟶ 135:
:<math>\frac{1}{k}\sum_{n=0}^{k-1}g\left(\frac{x+n}{k}\right)=f(k)g(x)</math>
That is, ''g''(''x'') is an eigenfunction of Bernoulli transfer operator, with eigenvalue ''f''(''k''). The multiplication theorem for the Bernoulli polynomials then follows as a special case of the multiplicative function <math>f(n)=n^{-s}</math>. The [[Dirichlet character]]s are fully multiplicative, and thus can be readily used to obtain additional identities of this form.
==Characteristic zero==
| |||