# Multiplication theorem

Multiplication theorem This article needs additional citations for verification. Aiutaci a migliorare questo articolo aggiungendo citazioni a fonti affidabili. Il materiale non fornito può essere contestato e rimosso. Trova fonti: "Multiplication theorem" – news · newspapers · books · scholar · JSTOR (febbraio 2021) (Scopri come e quando rimuovere questo messaggio modello) In matematica, the multiplication theorem is a certain type of identity obeyed by many special functions 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; questo è, 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.

Contenuti 1 Finite characteristic 2 Gamma function–Legendre formula 3 Polygamma function, harmonic numbers 4 Hurwitz zeta function 5 Periodic zeta function 6 Polylogarithm 7 Kummer's function 8 Bernoulli polynomials 9 Bernoulli map 10 Characteristic zero 11 Appunti 12 References Finite characteristic 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 finite form typically occurs only for the gamma and related functions, for which the identity follows from a p-adic relation over a finite field. Per esempio, the multiplication theorem for the gamma function follows from the Chowla–Selberg formula, which follows from the theory of complex multiplication. 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 tutti i casi, 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 {stile di visualizzazione Gamma (z);Gamma left(z+{frac {1}{2}}Giusto)=2^{1-2z};{mq {pi }};Gamma (2z).} It is also called the Legendre duplication formula[1] or Legendre relation, in honor of Adrien-Marie Legendre. The multiplication theorem is {stile di visualizzazione Gamma (z);Gamma left(z+{frac {1}{K}}Giusto);Gamma left(z+{frac {2}{K}}Giusto)cdots Gamma left(z+{frac {k-1}{K}}Giusto)=(2pi )^{frac {k-1}{2}};k^{frac {1-2kz}{2}};Gamma (kz)} 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.

Polygamma function, harmonic numbers The polygamma function is the logarithmic derivative of the gamma function, e quindi, the multiplication theorem becomes additive, instead of multiplicative: {stile di visualizzazione k^{m}psi ^{(m-1)}(kz)=somma _{n=0}^{k-1}psi ^{(m-1)}sinistra(z+{frac {n}{K}}Giusto)} per {displaystyle m>1} , e, per {displaystyle m=1} , one has the digamma function: {displaystyle kleft[psi (kz)-tronco d'albero(K)Giusto]=somma _{n=0}^{k-1}psi left(z+{frac {n}{K}}Giusto).} 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: {stile di visualizzazione k^{S}zeta (S)=somma _{n=1}^{K}zeta left(S,{frac {n}{K}}Giusto),} dove {displaystyle zeta (S)} is the Riemann zeta function. This is a special case of {stile di visualizzazione k^{S},zeta (S,kz)=somma _{n=0}^{k-1}zeta left(S,z+{frac {n}{K}}Giusto)} e {displaystyle zeta (S,kz)=somma _{n=0}^{infty }{s+n-1 choose n}(1-K)^{n}z^{n}zeta (s+n,z).} Multiplication formulas for the non-principal characters may be given in the form of Dirichlet L-functions.

Periodic zeta function The periodic zeta function[2] is sometimes defined as {stile di visualizzazione F(S;q)=somma _{m=1}^{infty }{frac {e^{2pi imq}}{m^{S}}}=nome operatore {Li} _{S}sinistra(e^{2pi iq}Giusto)} where Lis(z) is the polylogarithm. It obeys the duplication formula {stile di visualizzazione 2 ^{-S}F(S;q)=Fleft(S,{frac {q}{2}}Giusto)+Fleft(S,{frac {q+1}{2}}Giusto).} As such, it is an eigenvector of the Bernoulli operator with eigenvalue 2−s. The multiplication theorem is {stile di visualizzazione k^{-S}F(S;kq)=somma _{n=0}^{k-1}Fleft(S,q+{frac {n}{K}}Giusto).} 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. Allo stesso modo, substituting q = log z leads to the multiplication theorem for the polylogarithm.

Polylogarithm The duplication formula takes the form {stile di visualizzazione 2 ^{1-S}nome operatore {Li} _{S}(z^{2})=nome operatore {Li} _{S}(z)+nome operatore {Li} _{S}(-z).} The general multiplication formula is in the form of a Gauss sum or discrete Fourier transform: {stile di visualizzazione k^{1-S}nome operatore {Li} _{S}(z^{K})=somma _{n=0}^{k-1}nome operatore {Li} _{S}sinistra(ze^{i2pi n/k}Giusto).} These identities follow from that on the periodic zeta function, taking z = log q.

Kummer's function The duplication formula for Kummer's function is {stile di visualizzazione 2 ^{1-n}Lambda _{n}(-z^{2})=Lambda _{n}(z)+Lambda _{n}(-z)} and thus resembles that for the polylogarithm, but twisted by i.

Bernoulli polynomials For the Bernoulli polynomials, the multiplication theorems were given by Joseph Ludwig Raabe in 1851: {stile di visualizzazione k^{1-m}B_{m}(kx)=somma _{n=0}^{k-1}B_{m}sinistra(x+{frac {n}{K}}Giusto)} and for the Euler polynomials, {stile di visualizzazione k^{-m}E_{m}(kx)=somma _{n=0}^{k-1}(-1)^{n}E_{m}sinistra(x+{frac {n}{K}}Giusto)quad {mbox{ per }}k=1,3,dots } e {stile di visualizzazione k^{-m}E_{m}(kx)={frac {-2}{m+1}}somma _{n=0}^{k-1}(-1)^{n}B_{m+1}sinistra(x+{frac {n}{K}}Giusto)quad {mbox{ per }}k=2,4,dots .} The Bernoulli polynomials may be obtained as a special case of the Hurwitz zeta function, and thus the identities follow from there.

Bernoulli map The Bernoulli map is a certain simple model of a dissipative dynamical system, describing the effect of a shift operator on an infinite string of coin-flips (the Cantor set). The Bernoulli map is a one-sided version of the closely related Baker's map. The Bernoulli map generalizes to a k-adic version, which acts on infinite strings of k symbols: this is the Bernoulli scheme. The transfer operator {stile di visualizzazione {matematico {l}}_{K}} corresponding to the shift operator on the Bernoulli scheme is given by {stile di visualizzazione [{matematico {l}}_{K}f](X)={frac {1}{K}}somma _{n=0}^{k-1}deviato({frac {x+n}{K}}Giusto)} Perhaps not surprisingly, the eigenvectors of this operator are given by the Bernoulli polynomials. Questo è, one has that {stile di visualizzazione {matematico {l}}_{K}B_{m}={frac {1}{k^{m}}}B_{m}} It is the fact that the eigenvalues {stile di visualizzazione k^{-m}<1} 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 {displaystyle f(n)} be totally multiplicative; that is, {displaystyle f(mn)=f(m)f(n)} for any integers m, n. Define its Fourier series as {displaystyle g(x)=sum _{n=1}^{infty }f(n)exp(2pi inx)} Assuming that the sum converges, so that g(x) exists, one then has that it obeys the multiplication theorem; that is, that {displaystyle {frac {1}{k}}sum _{n=0}^{k-1}gleft({frac {x+n}{k}}right)=f(k)g(x)} 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 {displaystyle f(n)=n^{-s}} . The Dirichlet characters are fully multiplicative, and thus can be readily used to obtain additional identities of this form. Characteristic zero The multiplication theorem over a field of characteristic zero does not close after a finite number of terms, but requires an infinite series to be expressed. Examples include that for the Bessel function {displaystyle J_{nu }(z)} : {displaystyle lambda ^{-nu }J_{nu }(lambda z)=sum _{n=0}^{infty }{frac {1}{n!}}left({frac {(1-lambda ^{2})z}{2}}right)^{n}J_{nu +n}(z),} where {displaystyle lambda } and {displaystyle nu } may be taken as arbitrary complex numbers. Such characteristic-zero identities follow generally from one of many possible identities on the hypergeometric series. Notes ^ Weisstein, Eric W. "Legendre Duplication Formula". MathWorld. ^ Apostol, Introduction to analytic number theory, Springer References Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, (1972) Dover, New York. (Multiplication theorems are individually listed chapter by chapter) C. Truesdell, "On the Addition and Multiplication Theorems for the Special Functions", Proceedings of the National Academy of Sciences, Mathematics, (1950) pp. 752–757. Categories: Special functionsZeta and L-functionsGamma and related functionsMathematical theorems

Se vuoi conoscere altri articoli simili a Multiplication theorem puoi visitare la categoria Gamma and related functions.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni