Funció poligamma

De Viquipèdia
Salta a la navegació Salta a la cerca
No s'ha de confondre amb Funció gamma múltiple.

En matemàtiques, la funció poligamma d'ordre m, denotada o , és una funció meromorfa sobre els nombres complexos definida com la (m + 1)-èsima derivada logarítmica de la funció gamma:

Així,

  • és la funció digamma , i és la funció gamma. Són holomorfes en \ −0. En tots els enters no-positius, aquestes funcions poligamma tenen un pol d'ordre m + 1.
  • . De vegades (o ) s'anomena funció trigamma.

Definició per una integral[modifica]

Vegeu també: Funció digamma

Quan m > 0 i Re z > 0, la funció poligamma és igual a

Això expressa la funció poligamma com la transformada de Laplace . Es deriva del teorema de Bernstein sobre les funcions monòtones que, per a m > 0 i x real i no-negatiu, és una funció completament monòtona.

Fent m = 0 a la fórmula anterior no dóna una representació integral de la funció digamma. La funció digamma té una representació integral, a causa de Gauss, que és similar al m = 0 del cas anterior, però amb el terme addicional .


Representació en el pla complex[modifica]

La representació del logaritme de la funció gamma i dels primers ordres de la funció poligamma en el pla complex és:

Relació de recurrència[modifica]

Satisfa la relació de recurrència

cosa que (considerada per un argument sencer positiu) condueix a la presentació de la suma de reciprocs de les potències dels nombres naturals:

i

per a tot n.

Igual que la funció log-gamma, les funcions poligamma es poden generalitzar des del domini exclusivament a nombres reals positius només per la seva relació de recurrència i per un valor de funció donat ψ(m)(1), excepte en el cas m = 0 on la condició addicional d'estricta monotonia en + encara es necessària. Aquesta és una conseqüència trivial del teorema de Bohr-Mollerup per a la funció gamma en què també s'exigeix la convexitat estrictament logarítmica +. El cas m = 0 s'ha de tractar d'una altra manera perquè ψ(0) no és normalitzable a l'infinit (la suma dels recíprocs no convergeix).

Relació de reflexió[modifica]

on Pm és alternativament un polinomi de senar o parell de grau amb coeficients enters i coeficient principal (−1)m⌈2m − 1. Aquest obeeix l'equació de la recursió

Teorema de multiplicació[modifica]

El teorema de multiplicació dóna

i

per a la funció digamma.

Representació en sèries[modifica]

La funció poligamma té la representació en sèries

que es mantè m > 0, i qualsevol z complex no és igual a un nombre enter negatiu. Aquesta representació es pot escriure de manera més compacta en termes de la funció zeta d'Hurwitz

Alternativament, es pot entendre que la zeta d'Hurwitz generalitza la funció poligamma a un ordre arbitrari, no-enter.

Es pot permetre una sèrie més per a les funcions poligamma. Tal com va donar Oskar Schlömilch,

Aquest és el resultat del teorema de factorització de Weierstrass. Per tant, la funció gamma ara es pot definir com:

Ara, el logaritme natural de la funció gamma és fàcilment representable:

Finalment, arribem a una representació amb sumatoris per a la funció poligamma:

On δn0 és la delta de Kronecker.

També el transcendent de Lerch

es pot denotar en termes de funció poligamma

Sèries de Taylor[modifica]

La sèrie de Taylor a z = 1 és

i

que convergeix per a . Aquí, ζ és la funció zeta de Riemann. Aquesta sèrie es deriva fàcilment de la corresponent sèrie de Taylor per a la funció zeta d'Hurwitz. Aquesta sèrie es pot utilitzar per obtenir un nombre de les sèries racionals zeta.

Sèrie asimptòtica[modifica]

Aquestes sèries no convergents es poden utilitzar per obtenir ràpidament un valor aproximat amb una certa precisió numèrica per a arguments grans:

i

on hem triat B1 = 1/2, és a dir, els nombres de Bernoulli del segon tipus.

Desigualtats[modifica]

La cotangent hiperbòlica satisfà la desigualtat

i això implica que la funció

sigui no-negativa per a tot i . Es dedueix que la transformació de Laplace d'aquesta funció és completament monòtona. Mitjançant la representació integral anterior, arribem a la conclusió que

és completament monòtona. La desigualtat de convexitat implica que

és no-negativa per a tot i , de manera que un argument similar de transformació de Laplace produeix la completa monotonia de

Per tant, per a tot m ≥ 1 i x > 0,

Alguns valors particulars[modifica]

S'ha demostrat que:

on és la constant d'Euler-Mascheroni. Aquesta sèrie, per a enters positius, es redueix a una suma finita:

Derivant membre a membre respecte a obtenim

que per a divergeix, mentre per es converteix en una sèrie harmònica generalitzada d'ordre 2

Referències[modifica]

Vegeu també[modifica]