Trigammafunktionen

Trigammafunktionen ψ 1 ( z ) {\displaystyle \psi _{1}(z)} i det komplexa planet. Färgen på en punkt z {\displaystyle z} kodar värdet av ψ 1 ( z ) {\displaystyle \psi _{1}(z)} . Starka färger anger värden nära noll och nyans kodar värdets argument.

Trigammafunktionen är en speciell funktion som definieras som

ψ 1 ( z ) = d 2 d z 2 ln Γ ( z ) {\displaystyle \psi _{1}(z)={\frac {d^{2}}{dz^{2}}}\ln \Gamma (z)} .

Den kan även definieras som serien

ψ 1 ( z ) = n = 0 1 ( z + n ) 2 . {\displaystyle \psi _{1}(z)=\sum _{n=0}^{\infty }{\frac {1}{(z+n)^{2}}}.}

Integralrepresentationer

En dubbelintegral för trigammafunktionen är

ψ 1 ( z ) = 0 1 0 y x z 1 y 1 x d x d y . {\displaystyle \psi _{1}(z)=\int _{0}^{1}\int _{0}^{y}{\frac {x^{z-1}y}{1-x}}\,dx\,dy.}

Med partiell integrering får man:

ψ 1 ( z ) = 0 1 x z 1 ln x 1 x d x . {\displaystyle \psi _{1}(z)=-\int _{0}^{1}{\frac {x^{z-1}\ln {x}}{1-x}}\,dx.}

Funktionalekvationer

Trigammafunktionen satisfierar funktionalekvationerna

ψ 1 ( z + 1 ) = ψ 1 ( z ) 1 z 2 {\displaystyle \psi _{1}(z+1)=\psi _{1}(z)-{\frac {1}{z^{2}}}}

och

ψ 1 ( k z ) = 1 k 2 n = 0 k 1 ψ 1 ( z + n k ) {\displaystyle \psi _{1}(kz)={\frac {1}{k^{2}}}\sum _{n=0}^{k-1}\psi _{1}\left(z+{\frac {n}{k}}\right)\;}

samt reflektionsformeln

ψ 1 ( 1 z ) + ψ 1 ( z ) = π 2 csc 2 ( π z ) . {\displaystyle \psi _{1}(1-z)+\psi _{1}(z)=\pi ^{2}\csc ^{2}(\pi z).\,}

Speciella värden

ψ 1 ( 1 4 ) = π 2 + 8 G {\displaystyle \psi _{1}\!\left({\tfrac {1}{4}}\right)=\pi ^{2}+8G}
ψ 1 ( 1 3 ) = 2 3 π 2 + 3 3 C l 2 ( 2 3 π ) {\displaystyle \psi _{1}\!\left({\tfrac {1}{3}}\right)={\tfrac {2}{3}}\pi ^{2}+3{\sqrt {3}}\;\mathrm {Cl} _{2}\!\left({\tfrac {2}{3}}\pi \right)}
ψ 1 ( 1 2 ) = 1 2 π 2 {\displaystyle \psi _{1}\!\left({\tfrac {1}{2}}\right)={\tfrac {1}{2}}\pi ^{2}}
ψ 1 ( 2 3 ) = 2 3 π 2 3 3 C l 2 ( 2 3 π ) {\displaystyle \psi _{1}\!\left({\tfrac {2}{3}}\right)={\tfrac {2}{3}}\pi ^{2}-3{\sqrt {3}}\;\mathrm {Cl} _{2}\!\left({\tfrac {2}{3}}\pi \right)}
ψ 1 ( 3 4 ) = π 2 8 G {\displaystyle \psi _{1}\!\left({\tfrac {3}{4}}\right)=\pi ^{2}-8G}
ψ 1 ( 1 ) = 1 6 π 2 {\displaystyle \psi _{1}(1)\;={\tfrac {1}{6}}\pi ^{2}}
ψ 1 ( 1 6 ) = 2 π 2 + 15 3 C l 2 ( 2 3 π ) {\displaystyle \psi _{1}\!\left({\tfrac {1}{6}}\right)=2\pi ^{2}+15{\sqrt {3}}\;\mathrm {Cl} _{2}\!\left({\tfrac {2}{3}}\pi \right)}
ψ 1 ( 5 6 ) = 2 π 2 15 3 C l 2 ( 2 3 π ) {\displaystyle \psi _{1}\!\left({\tfrac {5}{6}}\right)=2\pi ^{2}-15{\sqrt {3}}\;\mathrm {Cl} _{2}\!\left({\tfrac {2}{3}}\pi \right)}
ψ 1 ( 1 8 ) = ( 2 + 2 ) π 2 + 4 ( 4 2 ) G + 16 2 C l 2 ( π 4 ) {\displaystyle \psi _{1}\!\left({\tfrac {1}{8}}\right)=(2+{\sqrt {2}})\pi ^{2}+4(4-{\sqrt {2}})G+16{\sqrt {2}}\;\mathrm {Cl} _{2}\!\left({\tfrac {\pi }{4}}\right)}
ψ 1 ( 3 8 ) = ( 2 2 ) π 2 4 ( 4 + 2 ) G + 16 2 C l 2 ( π 4 ) {\displaystyle \psi _{1}\!\left({\tfrac {3}{8}}\right)=(2-{\sqrt {2}})\pi ^{2}-4(4+{\sqrt {2}})G+16{\sqrt {2}}\;\mathrm {Cl} _{2}\!\left({\tfrac {\pi }{4}}\right)}
ψ 1 ( 5 8 ) = ( 2 2 ) π 2 + 4 ( 4 + 2 ) G 16 2 C l 2 ( π 4 ) {\displaystyle \psi _{1}\!\left({\tfrac {5}{8}}\right)=(2-{\sqrt {2}})\pi ^{2}+4(4+{\sqrt {2}})G-16{\sqrt {2}}\;\mathrm {Cl} _{2}\!\left({\tfrac {\pi }{4}}\right)}
ψ 1 ( 7 8 ) = ( 2 + 2 ) π 2 4 ( 4 2 ) G 16 2 C l 2 ( π 4 ) {\displaystyle \psi _{1}\!\left({\tfrac {7}{8}}\right)=(2+{\sqrt {2}})\pi ^{2}-4(4-{\sqrt {2}})G-16{\sqrt {2}}\;\mathrm {Cl} _{2}\!\left({\tfrac {\pi }{4}}\right)}
ψ 1 ( 5 4 ) = π 2 + 8 G 16 {\displaystyle \psi _{1}\!\left({\tfrac {5}{4}}\right)=\pi ^{2}+8G-16}
ψ 1 ( 3 2 ) = 1 2 π 2 4 {\displaystyle \psi _{1}\!\left({\tfrac {3}{2}}\right)={\tfrac {1}{2}}\pi ^{2}-4}
ψ 1 ( 2 ) = 1 6 π 2 1 {\displaystyle \psi _{1}(2)\;={\tfrac {1}{6}}\pi ^{2}-1}


där G är Catalans konstant och C l 2 {\displaystyle {\rm {{Cl}_{2}}}} är Clausens funktion.

Övriga formler

En intressant formel där trigammafunktionen förekommer är

n = 1 n 2 1 2 ( n 2 + 1 2 ) 2 [ ψ 1 ( n i 2 ) + ψ 1 ( n + i 2 ) ] = 1 + 2 4 π coth ( π 2 ) 3 π 2 4 sinh 2 ( π 2 ) + π 4 12 sinh 4 ( π 2 ) ( 5 + cosh ( π 2 ) ) . {\displaystyle \sum _{n=1}^{\infty }{\frac {n^{2}-{\frac {1}{2}}}{\left(n^{2}+{\frac {1}{2}}\right)^{2}}}\left[\psi _{1}\left(n-{\frac {i}{\sqrt {2}}}\right)+\psi _{1}\left(n+{\frac {i}{\sqrt {2}}}\right)\right]=-1+{\frac {\sqrt {2}}{4}}\pi \coth \left({\frac {\pi }{\sqrt {2}}}\right)-{\frac {3\pi ^{2}}{4\sinh ^{2}\left({\frac {\pi }{\sqrt {2}}}\right)}}+{\frac {\pi ^{4}}{12\sinh ^{4}\left({\frac {\pi }{\sqrt {2}}}\right)}}\left(5+\cosh \left(\pi {\sqrt {2}}\right)\right).}

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Trigamma function, 2 november 2013.
Den här artikeln är helt eller delvis baserad på material från tyskspråkiga Wikipedia, Trigamma-Funktion, 2 november 2013.

Externa länkar

  • Wikimedia Commons har media som rör Trigammafunktionen.
    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
Elliptiska gammafunktionen · q-gammafunktionen · Ramanujans thetafunktion · Weierstrass elliptiska funktion · Eisensteinserie · Jacobis thetafunktioner · Jacobis elliptiska funktioner · Elliptisk integral · Aritmetisk-geometriskt medelvärde · Falsk modulär form
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