Ensiklopedia

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Polygamma function di en.wikipedia.org. Isinya masih belum akurat , karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan . (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel )

Dalam matematika, fungsi poligamma urutan ${\displaystyle m}$ adalah pada bilangan kompleks ${\displaystyle \mathbb {C} }$ didefinisikan sebagai ke ${\displaystyle (m+1)}$ dari fungsi gamma ː

${\displaystyle \psi ^{(m)}(z):={\frac {d^{m}}{dz^{m}}}\psi (z)={\frac {d^{m+1}}{dz^{m+1}}}\ln \Gamma (z)}$ ,

Dengan demikian

${\displaystyle \psi ^{(0)}(z)=\psi (z)={\frac {\Gamma '(z)}{\Gamma (z)}}}$

berlaku dimana ${\displaystyle \psi (z)}$ adalah dan ${\displaystyle \Gamma (z)}$ adalah fungsi gamma. Mereka pada ${\displaystyle \mathbb {C} \backslash -\mathbb {N} _{0}}$ . Di semua bilangan bulat bukan positif, fungsi poligamma ini memiliki sebuah urutan ${\displaystyle m+1}$ . Fungsi ${\displaystyle \psi ^{(1)}(z)}$ terkadang disebut .

Logaritma dari fungsi gamma dan beberapa fungsi poligamma pertama dalam bidang kompleks

${\displaystyle \ln \Gamma (z)}$	${\displaystyle \psi ^{(0)}(z)}$	${\displaystyle \psi ^{(1)}(z)}$
${\displaystyle \psi ^{(2)}(z)}$	${\displaystyle \psi ^{(3)}(z)}$	${\displaystyle \psi ^{(4)}(z)}$

Ketika ${\displaystyle m>0}$ dan ${\displaystyle \operatorname {Re} (z)>0}$ , fungsi poligamma sama dengan

${\displaystyle {\begin{aligned}\psi ^{(m)}(z)&=(-1)^{m+1}\int _{0}^{\infty }{\frac {t^{m}e^{-zt}}{1-e^{-t}}}\,dt\\&=-\int _{0}^{1}{\frac {t^{z-1}}{1-t}}(\ln t)^{m}\,dt.\end{aligned}}}$

Ini mengekspresikan fungsi poligamma sebagia transformasi Laplace dari ${\displaystyle {\frac {(-1)^{m+1}t^{m}}{(1-e^{-t})}}}$ . Itu diikuti dari bahwa, untuk ${\displaystyle m>0}$ dan real ${\displaystyle x}$ dan tak negatif, ${\displaystyle (-1)^{m+1}\psi ^{(m)}(x)}$ adalah fungsi sepenuhnya monoton.

Pengaturan ${\displaystyle m=0}$ pada rumus di atas tidak memberikan sebuah representasi integral dari fungsi digamma. Fungsi digamma memiliki sebuah representasi integral, karena Gauss, yang mirip dengan kasus ${\displaystyle m=0}$ di atas tapi yang memiliki sebuah istilah tambahan ${\displaystyle {\frac {e^{t}}{t}}}$

Itu memenuhi relasi perulangan

${\displaystyle \psi ^{(m)}(z+1)=\psi ^{(m)}(z)+{\frac {(-1)^{m}\,m!}{z^{m+1}}}}$

yang – ditinjau untuk argumen bilangan bulat positif – mengarah ke sebuah presentasi dari jumlah kebalikan dari pangkat dari bilangan asliː

${\displaystyle {\frac {\psi ^{(m)}(n)}{(-1)^{m+1}\,m!}}=\zeta (1+m)-\sum _{k=1}^{n-1}{\frac {1}{k^{m+1}}}=\sum _{k=n}^{\infty }{\frac {1}{k^{m+1}}}\qquad m\geq 1}$

dan

${\displaystyle \psi ^{(0)}(n)=-\gamma \ +\sum _{k=1}^{n-1}{\frac {1}{k}}}$

untuk semua ${\displaystyle n\in \mathbb {N} }$ . Seperti fungsi log-gamma, fungsi poligamma bisa digeneralisasikan dari domain ${\displaystyle \mathbb {N} }$ (lihat bilangan asli ) ke bilangan real positif hanya karena relasi pengulanga mereka dan salah satunya diberikan fungsi-nilai, katakan ${\displaystyle \psi ^{(m)}(1)}$ , kecuali dalam kasus ${\displaystyle m=0}$ dimana kondisi tambahan dari monotonisitas yang ketat pada ${\displaystyle \mathbb {R} ^{+}}$ masih dibutuhkan. Ini adalah sebuah akibat trivial dari teorema Bohr–Mollerup untuk fungsi gamma dimana secara ketat konveksitas logaritmik pada ${\displaystyle \mathbb {R} ^{+}}$ dimnita tambahannya. Kasus ${\displaystyle m=0}$ harus diperlakukan berbeda karena ${\displaystyle \psi ^{(0)}}$ tidak dapat dinormalisasi pada takhingga (jumlah dari timbal balik tidak konvergen).

${\displaystyle (-1)^{m}\psi ^{(m)}(1-z)-\psi ^{(m)}(z)=\pi {\frac {d^{m}}{dz^{m}}}\cot {(\pi z)}=\pi ^{m+1}{\frac {P_{m}(\cos(\pi z))}{\sin ^{m+1}(\pi z)}}}$

dimana ${\displaystyle P_{m}}$ adalah sebuah derajat polinomial ganjil atau genap ${\displaystyle \left|m-1\right|}$ dengan koefisien bilangan bulat dan mengarah koefisien ${\displaystyle (-1)^{m}\lceil 2^{m-1}\rceil }$ . Mereka mematuhi persamaan rekursi

${\displaystyle {\begin{aligned}P_{0}(x)&=x\\P_{m+1}(x)&=-\left((m+1)xP_{m}(x)+\left(1-x^{2}\right)P'_{m}(x)\right).\end{aligned}}}$

memberikan

${\displaystyle k^{m+1}\psi ^{(m)}(kz)=\sum _{n=0}^{k-1}\psi ^{(m)}\left(z+{\frac {n}{k}}\right)\qquad m\geq 1}$

dan

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

untuk .

Fungsi poligamma memiliki representasi deret

${\displaystyle \psi ^{(m)}(z)=(-1)^{m+1}\,m!\sum _{k=0}^{\infty }{\frac {1}{(z+k)^{m+1}}}}$

yang berlaku untuk ${\displaystyle m>0}$ dan setiap kompleks ${\displaystyle z}$ tidak sama dengan bilangan bulat negatf. Representasi ini bisa ditulis lebih kompak dalam bentuk sebagai

${\displaystyle \psi ^{(m)}(z)=(-1)^{m+1}\,m!\,\zeta (m+1,z)}$ .

Sebagai kemungkinan lain, fungsi zeta Hurwitx bisa dipahami untuk menggeneralisasikan poligamma ke sebarang, urutan bilangan bulat.

Satu deret lagi dapat diperbolehkan untuk fungsi poligamma. Seperti yang diberikan oleh ,

${\displaystyle {\frac {1}{\Gamma (z)}}=ze^{\gamma z}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)e^{-{\frac {z}{n}}}}$ .

Ini adalah hasil dari . Dengan demikian, fungsi gamma sekarang dapat didefinisikan sebagaiː

${\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}e^{\frac {z}{n}}}$ .

Sekarang, logaritma alami dari fungsi gamma dengan muda direpresentasikanː

${\displaystyle \ln \Gamma (z)=-\gamma z-\ln(z)+\sum _{n=1}^{\infty }\left({\frac {z}{n}}-\ln \left(1+{\frac {z}{n}}\right)\right)}$ .

Akhrinya, kita sampai di sebuah representasi penjumlahan untuk fungsi poligammaː

${\displaystyle \psi ^{(n)}(z)={\frac {d^{n+1}}{dz^{n+1}}}\ln \Gamma (z)=-\gamma \delta _{n0}-{\frac {(-1)^{n}n!}{z^{n+1}}}+\sum _{k=1}^{\infty }\left({\frac {1}{k}}\delta _{n0}-{\frac {(-1)^{n}n!}{(k+z)^{n+1}}}\right)}$

Dimana ${\displaystyle \delta _{n0}}$ adalah delta Kronecker .

Juga

${\displaystyle \Phi (-1,m+1,z)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(z+k)^{m+1}}}}$

bisa dilambangkan dalam istilah fungsi poligamma

Deret Taylor pada ${\displaystyle z=1}$ adalah

${\displaystyle \psi ^{(m)}(z+1)=\sum _{k=0}^{\infty }(-1)^{m+k+1}{\frac {(m+k)!}{k!}}\zeta (m+k+1)z^{k}\qquad m\geq 1}$

dan

${\displaystyle \psi ^{(0)}(z+1)=-\gamma +\sum _{k=1}^{\infty }(-1)^{k+1}\zeta (k+1)z^{k}}$

yang konvergen untuk ${\displaystyle \left|z\right|<1}$ . Disini, ${\displaystyle \zeta }$ adalah fungsi zeta Riemann . Deret ini mudah diturunkan dari korespondensi deret Taylor untuk fungsi zeta Hurwitx. Deret ini dapat digunakan untuk menurunkan sebuah bilangan .

Deret tak konvergen ini bisa digunakan untuk mendapatkan sebuah nilai aproksimasi secepatnya dengan sebuah ketepatan numerik tertentu untuk argumen-argumen yang besarː

${\displaystyle \psi ^{(m)}(z)\sim (-1)^{m+1}\sum _{k=0}^{\infty }{\frac {(k+m-1)!}{k!}}{\frac {B_{k}}{z^{k+m}}}\qquad m\geq 1}$

dan

${\displaystyle \psi ^{(0)}(z)\sim \ln(z)-\sum _{k=1}^{\infty }{\frac {B_{k}}{kz^{k}}}}$

dimana kita memilih ${\displaystyle B_{1}={\frac {1}{2}}}$ , yaitu bilangan Bernoulli dari jenis kedua.

Kotangen hiperbolik memenuhi pertidaksamaan

${\displaystyle {\frac {t}{2}}\operatorname {coth} {\frac {t}{2}}\geq 1}$ ,

dan ini menyiratkan bahwa fungsi

${\displaystyle {\frac {t^{m}}{1-e^{-t}}}-\left(t^{m-1}+{\frac {t^{m}}{2}}\right)}$

adalah tak negatif untuk semua ${\displaystyle m\geq 1}$ dan ${\displaystyle t\geq 0}$ . Ini mengikuti bahwa transformasi Laplace dari fungsi ini benar-benar monoton. Dengan representasi integral di atas, kita menyimpulkan bahwa

${\displaystyle (-1)^{m+1}\psi ^{(m)}(x)-\left({\frac {(m-1)!}{x^{m}}}+{\frac {m!}{2x^{m+1}}}\right)}$

benar-benar monoton. Pertidaksamaan konveksitas ${\displaystyle e^{t}\geq 1+t}$ menyiratkan bahwa

${\displaystyle \left(t^{m-1}+t^{m}\right)-{\frac {t^{m}}{1-e^{-t}}}}$

adalah tak negatif untuk semua ${\displaystyle m\geq 1}$ dan ${\displaystyle t\geq 0}$ , sehingga argumen transformasi Laplace yang serupa menghasilkan monotonisitas

${\displaystyle \left({\frac {(m-1)!}{x^{m}}}+{\frac {m!}{x^{m+1}}}\right)-(-1)^{m+1}\psi ^{(m)}(x)}$

yang lengkap.

Oleh karena itu, untuk semua ${\displaystyle m\geq 1}$ , dan ${\displaystyle x>0}$ ,

${\displaystyle {\frac {(m-1)!}{x^{m}}}+{\frac {m!}{2x^{m+1}}}\leq (-1)^{m+1}\psi ^{(m)}(x)\leq {\frac {(m-1)!}{x^{m}}}+{\frac {m!}{x^{m+1}}}}$ .

• Faktorial
• Fungsi gamma

• Abramowitz, Milton; Stegun, Irene A. (1964). "Section 6.4" . . New York: Dover Publications. ISBN 978-0-486-61272-0 . Diarsipkan dari versi asli tanggal 2009-09-02 . Diakses tanggal 2020-11-17 .