Digammafunktionen

Digammafunktionen är en speciell funktion som definieras som gammafunktionens logaritmiska derivata:

ψ ( x ) = d d x ln Γ ( x ) = Γ ( x ) Γ ( x ) . {\displaystyle \psi (x)={\frac {d}{dx}}\ln {\Gamma (x)}={\frac {\Gamma '(x)}{\Gamma (x)}}.}

Relation till harmoniska tal

Digammafunktionen är relaterad till harmoniska talen enligt

ψ ( n ) = H n 1 γ {\displaystyle \psi (n)=H_{n-1}-\gamma \!}

där Hn är set n:te harmoniska talet, och γ är Eulers konstant.

Integralrepresentation

Om reella delen av x {\displaystyle x} är positiv kan digammafunktionen skrivas som integralerna

ψ ( x ) = 0 ( e t t e x t 1 e t ) d t {\displaystyle \psi (x)=\int _{0}^{\infty }\left({\frac {e^{-t}}{t}}-{\frac {e^{-xt}}{1-e^{-t}}}\right)\,dt}

och

ψ ( s + 1 ) = γ + 0 1 1 x s 1 x d x . {\displaystyle \psi (s+1)=-\gamma +\int _{0}^{1}{\frac {1-x^{s}}{1-x}}dx.}

Serierepresentation

Det finns ett flertal oändliga serier för digammafunktionen:

ψ ( z + 1 ) = γ + n = 1 z n ( n + z ) z 1 , 2 , 3 , {\displaystyle \psi (z+1)=-\gamma +\sum _{n=1}^{\infty }{\frac {z}{n(n+z)}}\qquad z\neq -1,-2,-3,\ldots }

Taylorserien är

ψ ( z + 1 ) = γ k = 1 ζ ( k + 1 ) ( z ) k {\displaystyle \psi (z+1)=-\gamma -\sum _{k=1}^{\infty }\zeta (k+1)\;(-z)^{k}} ,

som konvergerar för |z|<1. En annan serie är

ψ ( s + 1 ) = γ k = 1 ( 1 ) k k ( s k ) . {\displaystyle \psi (s+1)=-\gamma -\sum _{k=1}^{\infty }{\frac {(-1)^{k}}{k}}{s \choose k}.}

Reflektionsformel

Digammfunktionen satisfierar reflektionsformeln

ψ ( 1 x ) ψ ( x ) = π cot ( π x ) . {\displaystyle \psi (1-x)-\psi (x)=\pi \,\!\cot {\left(\pi x\right)}.}

Gauss digammasats

För positiva heltal m och k med m < k gäller

ψ ( m k ) = γ ln ( 2 k ) π 2 cot ( m π k ) + 2 n = 1 ( k 1 ) / 2 cos ( 2 π n m k ) ln ( sin ( n π k ) ) . {\displaystyle \psi \left({\frac {m}{k}}\right)=-\gamma -\ln(2k)-{\frac {\pi }{2}}\cot \left({\frac {m\pi }{k}}\right)+2\sum _{n=1}^{\lfloor (k-1)/2\rfloor }\cos \left({\frac {2\pi nm}{k}}\right)\ln \left(\sin \left({\frac {n\pi }{k}}\right)\right).}

Beräkning och approximering

Digammafunktionen kan approximeras som

ψ ( x ) = ln ( x ) 1 2 x 1 12 x 2 + 1 120 x 4 1 252 x 6 + 1 240 x 8 5 660 x 10 + 691 32760 x 12 1 12 x 14 + O ( 1 x 16 ) {\displaystyle \psi (x)=\ln(x)-{\frac {1}{2x}}-{\frac {1}{12x^{2}}}+{\frac {1}{120x^{4}}}-{\frac {1}{252x^{6}}}+{\frac {1}{240x^{8}}}-{\frac {5}{660x^{10}}}+{\frac {691}{32760x^{12}}}-{\frac {1}{12x^{14}}}+O\left({\frac {1}{x^{16}}}\right)}

som är början av dess asymptotiska expansion. Hela expansionen ges av

ψ ( x ) = ln ( x ) 1 2 x + n = 1 ζ ( 1 2 n ) x 2 n = ln ( x ) 1 2 x n = 1 B 2 n 2 n x 2 n {\displaystyle \psi (x)=\ln(x)-{\frac {1}{2x}}+\sum _{n=1}^{\infty }{\frac {\zeta (1-2n)}{x^{2n}}}=\ln(x)-{\frac {1}{2x}}-\sum _{n=1}^{\infty }{\frac {B_{2n}}{2n\,x^{2n}}}}

där B k {\displaystyle B_{k}} är det k-te Bernoullitalet och ζ {\displaystyle \zeta } är Riemanns zetafunktion.

Speciella värden

ψ ( 1 ) = γ {\displaystyle \psi (1)=-\gamma \,\!}
ψ ( 1 2 ) = 2 ln 2 γ {\displaystyle \psi \left({\frac {1}{2}}\right)=-2\ln {2}-\gamma }
ψ ( 1 3 ) = π 2 3 3 2 ln 3 γ {\displaystyle \psi \left({\frac {1}{3}}\right)=-{\frac {\pi }{2{\sqrt {3}}}}-{\frac {3}{2}}\ln {3}-\gamma }
ψ ( 1 4 ) = π 2 3 ln 2 γ {\displaystyle \psi \left({\frac {1}{4}}\right)=-{\frac {\pi }{2}}-3\ln {2}-\gamma }
ψ ( 1 6 ) = π 2 3 2 ln 2 3 2 ln ( 3 ) γ {\displaystyle \psi \left({\frac {1}{6}}\right)=-{\frac {\pi }{2}}{\sqrt {3}}-2\ln {2}-{\frac {3}{2}}\ln(3)-\gamma }
ψ ( 1 8 ) = π 2 4 ln 2 1 2 { π + ln ( 2 + 2 ) ln ( 2 2 ) } γ {\displaystyle \psi \left({\frac {1}{8}}\right)=-{\frac {\pi }{2}}-4\ln {2}-{\frac {1}{\sqrt {2}}}\left\{\pi +\ln(2+{\sqrt {2}})-\ln(2-{\sqrt {2}})\right\}-\gamma }

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Digamma function, 15 november 2013.

Externa länkar

  • Wikimedia Commons har media som rör Digammafunktionen.
    Bilder & media
v  r
Speciella funktioner
Gamma- och relaterade funktioner
Gammafunktionen · Betafunktionen · Digammafunktionen · Trigammafunktionen · Polygammafunktionen · Ofullständiga gammafunktionen · Barnes G-funktion
Zeta- och L-funktioner
Riemanns zetafunktion · Dirichlets L-funktion · Dedekinds zetafunktion · Artins L-funktion · Hasse–Weils L-funktion · Motiviska L-funktionen
Besselfunktioner och relaterade funktioner
Besselfunktion · Bessel–Maitlands funktion · Struves funktion · Angers funktion
Elliptiska funktioner och thetafunktioner
Hypergeometriska funktioner
Hypergeometriska funktionen · Generaliserad hypergeometrisk funktion · Bilateral hypergeometrisk serie · Fox–Wrights funktion · Meijers G-funktion · Fox H-funktion · Kampé de Fériets funktion
Ortogonala polynom
Andra funktioner