डायगामा फंक्शन



गणित में, डायगामा फलन को गामा फलन के लघुगणकीय व्युत्पन्न के रूप में परिभाषित किया गया है:


 * $$\psi(z) = \frac{\mathrm{d}}{\mathrm{d}z}\ln\Gamma(z) = \frac{\Gamma'(z)}{\Gamma(z)}.$$

यह पॉलीगामा फलन में से प्रथम होता है। यह फलन कठोरता से बढ़ रहा है और मोनोटोनिक फलन और $$(0,\infty)$$ पर जटिलता से अवतल है, और यह स्पर्शोन्मुख विश्लेषण के रूप में व्यवहार करता है
 * $$\psi(z) \sim \ln{z} - \frac{1}{2z},$$

इस प्रकार से कुछ असीम रूप से छोटे सकारात्मक स्थिरांक $$\varepsilon$$. . . . के साथ सेक्टर $$|\arg z|<\pi-\varepsilon$$ में उच्च तर्क ($$|z|\rightarrow\infty$$) के लिए।

डायगामा फलन को सदैव $$\psi_0(x), \psi^{(0)}(x) $$ इस रूप में दर्शाया जाता है या $Ϝ$ (पुरातन ग्रीक व्यंजन डायगामा  का अपरकेस रूप जिसका अर्थ है गामा डबल-गामा) के रूप में दर्शाया जाता है।।

हार्मोनिक संख्याओं से संबंध
गामा फलन समीकरण का पालन करता है


 * $$\Gamma(z+1)=z\Gamma(z). \, $$

$z$ के संबंध में व्युत्पन्न लेने से प्राप्त होता है:


 * $$\Gamma'(z+1)=z\Gamma'(z)+\Gamma(z) \, $$

$Γ(z + 1)$ या समकक्ष $zΓ(z)$ से विभाजित करने पर प्राप्त होता है:


 * $$\frac{\Gamma'(z+1)}{\Gamma(z+1)}=\frac{\Gamma'(z)}{\Gamma(z)}+\frac{1}{z}$$

या:


 * $$\psi(z+1)=\psi(z)+\frac{1}{z}$$

चूँकि हार्मोनिक संख्याएँ धनात्मक पूर्णांकों $n$ के लिए परिभाषित की जाती हैं जैसा


 * $$H_n=\sum_{k=1}^n \frac 1 k, $$

डायगामा फलन उनसे संबंधित होती है


 * $$\psi(n)=H_{n-1}-\gamma,$$

जहाँ $H_{0} = 0,$ और $γ$ यूलर-माशेरोनी स्थिरांक है। अर्ध-पूर्णांक तर्कों के लिए डायगामा फलन मान लेता है$$ \psi \left(n+\tfrac12\right)=-\gamma-2\ln 2 +\sum_{k=1}^n \frac 2 {2k-1}.$$

अभिन्न प्रतिनिधित्व
यदि का वास्तविक भाग $z$ सकारात्मक है तो गॉस के कारण डायगामा फलन में निम्नलिखित अभिन्न प्रतिनिधित्व होता है:
 * $$\psi(z) = \int_0^\infty \left(\frac{e^{-t}}{t} - \frac{e^{-zt}}{1-e^{-t}}\right)\,dt.$$

इस अभिव्यक्ति को यूलर-माशेरोनी स्थिरांक के लिए अभिन्न पहचान के साथ संयोजित करने पर $$\gamma$$ प्राप्त होता देता है:
 * $$\psi(z + 1) = -\gamma + \int_0^1 \left(\frac{1-t^z}{1-t}\right)\,dt.$$

इंटीग्रल यूलर की हार्मोनिक संख्या $$H_z$$, है अतः पिछला सूत्र भी लिखा जा सकता है
 * $$\psi(z + 1) = \psi(1) + H_z.$$

एक परिणाम पुनरावृत्ति संबंध का निम्नलिखित सामान्यीकरण है:
 * $$\psi(w + 1) - \psi(z + 1) = H_w - H_z.$$

डिरिचलेट के कारण अभिन्न प्रतिनिधित्व है: :$$\psi(z) = \int_0^\infty \left(e^{-t} - \frac{1}{(1 + t)^z}\right)\,\frac{dt}{t}.$$

$$\psi$$ के स्पर्शोन्मुख विस्तार की प्रारंभिक रूप से देने के लिए गॉस के अभिन्न प्रतिनिधित्व में हेरफेर किया जा सकता है.
 * $$\psi(z) = \log z - \frac{1}{2z} - \int_0^\infty \left(\frac{1}{2} - \frac{1}{t} + \frac{1}{e^t - 1}\right)e^{-tz}\,dt.$$

इस प्रकार से यह सूत्र गामा फलन के लिए बिनेट के पहले अभिन्न अंग का भी परिणाम है। इंटीग्रल को लाप्लास परिवर्तन के रूप में पहचाना जा सकता है।

गामा फलन के लिए बिनेट का दूसरा इंटीग्रल अलग सूत्र $$\psi$$ देता है जो स्पर्शोन्मुख विस्तार के पहले कुछ पद भी देता है:
 * $$\psi(z) = \log z - \frac{1}{2z} - 2\int_0^\infty \frac{t\,dt}{(t^2 + z^2)(e^{2\pi t} - 1)}.$$

की परिभाषा से $$\psi$$ और गामा फलन का अभिन्न प्रतिनिधित्व प्राप्त होता है
 * $$\psi(z) = \frac{1}{\Gamma(z)} \int_0^\infty t^{z-1} \ln (t) e^{-t}\,dt,$$

साथ $$\Re z > 0$$.

अनंत उत्पाद प्रतिनिधित्व
फलन $$\psi(z)/\Gamma(z)$$ संपूर्ण फलन है, और इसे अनंत उत्पाद द्वारा दर्शाया जा सकता है



\frac{\psi(z)}{\Gamma(z)}=-e^{2\gamma z}\prod_{k=0}^\infty\left(1-\frac{z}{x_k} \right)e^{\frac{z}{x_k}}. $$ यहां $$x_k$$, $$\psi$$ का kth शून्य है (नीचे देखें), और $$\gamma$$ यूलर-माशेरोनी स्थिरांक है।

नोट: डायगामा फलन $$\frac{\Gamma'(z)}{\Gamma(z)}=\psi(z)$$ की परिभाषा के कारण यह भी $$-\frac{d}{dz}\frac{1}{\Gamma(z)}$$ के समान है.

श्रृंखला सूत्र
गामा फलन के लिए यूलर का उत्पाद सूत्र, फलन समीकरण और यूलर-माशेरोनी स्थिरांक के लिए पहचान के साथ मिलकर, डायगामा फलन के लिए निम्नलिखित अभिव्यक्ति उत्पन्न करता है, जो नकारात्मक पूर्णांक (अब्रामोविट्ज़ और स्टेगन 6.3.16) के बाहर जटिल विमान में मान्य है: :$$\begin{align} \psi(z + 1) &= -\gamma + \sum_{n=1}^\infty \left(\frac{1}{n} - \frac{1}{n + z}\right), \qquad z \neq -1, -2, -3, \ldots, \\ &= -\gamma + \sum_{n=1}^\infty \left(\frac{z}{n(n + z)}\right), \qquad z \neq -1, -2, -3, \ldots. \end{align}$$

समान रूप से,
 * $$\begin{align}

\psi(z) &= -\gamma + \sum_{n=0}^\infty \left(\frac{1}{n + 1} - \frac{1}{n + z}\right), \qquad z \neq 0, -1, -2, \ldots, \\ &= -\gamma + \sum_{n=0}^\infty \frac{z-1}{(n + 1)(n + z)}, \qquad z \neq 0, -1, -2, \ldots, \\ \end{align}$$

तर्कसंगत फलन के योग का मूल्यांकन
उपरोक्त पहचान का उपयोग फॉर्म के योग का मूल्यांकन करने के लिए किया जा सकता है
 * $$\sum_{n=0}^\infty u_n=\sum_{n=0}^\infty \frac{p(n)}{q(n)},$$

जहाँ $p(n)$ और $q(n)$ के बहुपद $n$ हैं.

जटिल क्षेत्र में $u_{n}$ पर आंशिक अंश निष्पादित करना, उस स्थिति में जब $q(n)$ की सभी जड़ें सरल जड़ें हों,


 * $$u_n=\frac{p(n)}{q(n)}=\sum_{k=1}^m \frac{a_k}{n+b_k}.$$

श्रृंखला को एकाकार करने के लिए,


 * $$\lim_{n\to\infty} nu_n=0,$$

अन्यथा श्रृंखला हार्मोनिक श्रृंखला (गणित) से उच्च होगी और इस प्रकार अलग हो जाएगी। इस तरह


 * $$\sum_{k=1}^m a_k=0,$$

और


 * $$\begin{align}

\sum_{n=0}^\infty u_n &= \sum_{n=0}^\infty\sum_{k=1}^m\frac{a_k}{n+b_k} \\ &=\sum_{n=0}^\infty\sum_{k=1}^m a_k\left(\frac{1}{n+b_k}-\frac{1}{n+1}\right) \\ &=\sum_{k=1}^m\left(a_k\sum_{n=0}^\infty\left(\frac{1}{n+b_k}-\frac{1}{n+1}\right)\right)\\ &=-\sum_{k=1}^m a_k\big(\psi(b_k)+\gamma\big) \\ &=-\sum_{k=1}^m a_k\psi(b_k). \end{align}$$ उच्च रैंक पॉलीगामा फलन के श्रृंखला विस्तार के साथ सामान्यीकृत सूत्र इस प्रकार दिया जा सकता है


 * $$\sum_{n=0}^\infty u_n=\sum_{n=0}^\infty\sum_{k=1}^m \frac{a_k}{(n+b_k)^{r_k}}=\sum_{k=1}^m \frac{(-1)^{r_k}}{(r_k-1)!}a_k\psi^{(r_k-1)}(b_k),$$

परंतु बाईं ओर की श्रृंखला अभिसरण होती है।

टेलर श्रृंखला
डायगामा में एक तर्कसंगत ज़ेटा श्रृंखला है, जो टेलर श्रृंखला द्वारा $z = 1$ पर दी गई है। यह है.


 * $$\psi(z+1)= -\gamma -\sum_{k=1}^\infty \zeta (k+1) (-z)^k,$$

जिसके लिए अभिसरण होता है $|z| < 1$. यहाँ, $ζ(n)$ रीमैन ज़ेटा फलन है। यह श्रृंखला हर्विट्ज़ ज़ेटा फलन के लिए संबंधित टेलर की श्रृंखला से सरल ी से ली गई है।

न्यूटन श्रृंखला
डायगामा के लिए न्यूटन श्रृंखला, जिसे कभी-कभी स्टर्न श्रृंखला भी कहा जाता है, पढ़ता


 * $$\psi(s+1)=-\gamma-\sum_{k=1}^\infty \frac{(-1)^k}{k} \binom{s}{k}$$

जहाँ $( s k )$ द्विपद गुणांक है. इसका सामान्यीकरण भी किया जा सकता है

\psi(s+1) = -\gamma -  \frac{1}{m} \sum_{k=1}^{m-1}\frac{m-k}{s+k}- \frac{1}{m}\sum_{k=1}^\infty\frac{(-1)^k}{k}\left\{\binom{s+m}{k+1}-\binom{s}{k+1}\right\},\qquad \Re(s)>-1, $$ जहाँ $m = 2,3,4,...$

ग्रेगरी के गुणांक, कॉची संख्या और दूसरे प्रकार के बर्नौली बहुपद के साथ श्रृंखला
इस प्रकार से केवल तर्कसंगत तर्कों के लिए तर्कसंगत गुणांक वाले डायगामा के लिए विभिन्न श्रृंखलाएं उपस्तिथ हैं। विशेष रूप से, ग्रेगरी गुणांक वाली श्रृंखला ग्रेगरी के गुणांक $G_{n}$ है

\psi(v) =\ln v- \sum_{n=1}^\infty\frac{\big| G_{n}\big|(n-1)!}{(v)_{n}},\qquad \Re (v) >0, $$

\psi(v) =2\ln\Gamma(v) - 2v\ln v + 2v +2\ln v -\ln2\pi - 2\sum_{n=1}^\infty\frac{\big|G_{n}(2)\big|}{(v)_{n}}\,(n-1)! ,\qquad \Re (v) >0, $$

\psi(v) =3\ln\Gamma(v) - 6\zeta'(-1,v) + 3v^2\ln{v} - \frac32 v^2 - 6v\ln(v)+  3 v+3\ln{v} - \frac32\ln2\pi + \frac12 - 3\sum_{n=1}^\infty\frac{\big| G_{n}(3) \big|}{(v)_{n}}\,(n-1)! ,\qquad \Re (v) >0, $$ जहाँ $(v)_{n}$ गिरती और बढ़ती फैक्टोरियल है $(v)_{n} = v(v+1)(v+2) ... (v+n-1)$, $G_{n}(k)$ उच्च क्रम के ग्रेगरी गुणांक हैं $G_{n}(1) = G_{n}$, $&Gamma;$ गामा फलन है और $&zeta;$ हर्विट्ज़ ज़ेटा फलन है। दूसरी तरह की कॉची संख्याओं के साथ समान श्रृंखला $&pi;^{−1}$ पढ़ता है :

$$ \psi(v)=\ln(v-1) + \sum_{n=1}^\infty\frac{C_{n}(n-1)!}{(v)_{n}},\qquad \Re(v) >1, $$

दूसरे प्रकार के बर्नौली बहुपद वाली श्रृंखला का रूप निम्नलिखित है: $$ \psi(v)=\ln(v+a) + \sum_{n=1}^\infty\frac{(-1)^n\psi_{n}(a)\,(n-1)!}{(v)_{n}},\qquad \Re(v)>-a, $$

जहाँ $C_{n}$ जनरेटिंग द्वारा परिभाषित दूसरे प्रकार के बर्नौली बहुपद हैं

समीकरण

\frac{z(1+z)^a}{\ln(1+z)}= \sum_{n=0}^\infty z^n \psi_n(a) \,,\qquad |z|<1\,, $$ इसे सामान्यीकृत किया जा सकता है

\psi(v)= \frac{1}{r}\sum_{l=0}^{r-1}\ln(v+a+l) + \frac{1}{r}\sum_{n=1}^\infty\frac{(-1)^n N_{n,r}(a)(n-1)!}{(v)_{n}}, \qquad \Re(v)>-a, \quad r=1,2,3,\ldots $$ जहां बहुपद $ψ_{n}(a)$ निम्नलिखित जनरेटिंग समीकरण द्वारा दिए गए हैं

\frac{(1+z)^{a+m}-(1+z)^{a}}{\ln(1+z)}=\sum_{n=0}^\infty N_{n,m}(a) z^n, \qquad |z|<1, $$ जिससे $N_{n,r}(a)$. गामा फलन के लघुगणक के साथ समान अभिव्यक्तियों में ये सूत्र सम्मिलित होते हैं : $$ \psi(v)= \frac{1}{v+a-\tfrac12}\left\{\ln\Gamma(v+a) + v - \frac12\ln2\pi - \frac12 + \sum_{n=1}^\infty\frac{(-1)^n \psi_{n+1}(a)}{(v)_{n}}(n-1)!\right\},\qquad \Re(v)>-a, $$

और $$ \psi(v)= \frac{1}{\tfrac{1}{2}r+v+a-1}\left\{\ln\Gamma(v+a) + v - \frac12\ln2\pi - \frac12 + \frac{1}{r}\sum_{n=0}^{r-2} (r-n-1)\ln(v+a+n) +\frac{1}{r}\sum_{n=1}^\infty\frac{(-1)^n N_{n+1,r}(a)}{(v)_{n}}(n-1)!\right\}, $$

जहाँ $$\Re(v)>-a$$ और $$r=2,3,4,\ldots$$.

प्रतिबिंब सूत्र
डायगामा फलन गामा फलन के समान प्रतिबिंब सूत्र को संतुष्ट करता है:


 * $$\psi(1-x)-\psi(x)=\pi \cot \pi x$$

पुनरावृत्ति सूत्र और लक्षण वर्णन
डायगामा फलन पुनरावृत्ति संबंध को संतुष्ट करता है


 * $$\psi(x+1)=\psi(x)+\frac{1}{x}.$$

इस प्रकार इसे दूरबीन $N_{n,1}(a) = ψ_{n}(a)$, कहा जा सकता है के लिए है


 * $$\Delta [\psi](x)=\frac{1}{x}$$

जहाँ $1 / x$ फॉरवर्ड डिफरेंस ऑपरेटर है। यह हार्मोनिक श्रृंखला (गणित) के आंशिक योग के पुनरावृत्ति संबंध को संतुष्ट करता है, इस प्रकार सूत्र का अर्थ है


 * $$\psi(n)=H_{n-1}-\gamma$$

जहाँ $γ$ यूलर-माशेरोनी स्थिरांक है।

अधिक सामान्यतः, किसी के समीप होता है


 * $$\psi(1+z) = -\gamma + \sum_{k=1}^\infty \left( \frac{1}{k}-\frac{1}{z+k} \right). $$

के लिए $$ \mathrm{Re}(z)>0$$. अन्य शृंखला विस्तार है:
 * $$ \psi(1+z)=\ln(z)+\frac{1}{2z}-\displaystyle\sum_{j=1}^{\infty} \frac{B_{2j}}{2jz^{2j}} $$,

जहाँ $$B_{2j}$$ बर्नौली संख्याएँ हैं। यह शृंखला सभी $Δ$ के लिए विचलन करती है और इसे स्टर्लिंग श्रृंखला के रूप में जाना जाता है।

वास्तव में, $ψ$ फलन समीकरण का एकमात्र समाधान है


 * $$F(x+1)=F(x)+\frac{1}{x}$$

यह $z$ पर मोनोटोनिक है और $R^{+}$ को संतुष्ट करता है। यह तथ्य इसके पुनरावृत्ति समीकरण और उत्तलता प्रतिबंध को देखते हुए $F(1) = −γ$ फलन की विशिष्टता का तुरंत अनुसरण करता है। इसका तात्पर्य उपयोगी अंतर समीकरण से है:


 * $$ \psi(x+N)-\psi(x)=\sum_{k=0}^{N-1} \frac{1}{x+k}$$

डायगामा फलन से जुड़े कुछ सीमित योग
डायगामा फलन के लिए कई परिमित योग सूत्र हैं। मूल योग सूत्र, जैसे


 * $$\sum_{r=1}^m \psi\left(\frac{r}{m}\right)=-m(\gamma+\ln m),$$
 * $$\sum_{r=1}^m \psi\left(\frac{r}{m}\right)\cdot\exp\dfrac{2\pi rki}{m} = m\ln \left(1-\exp\frac{2\pi ki}{m}\right), \qquad k\in\Z,\quad m\in\N,\ k\ne m.$$
 * $$\sum_{r=1}^{m-1} \psi\left(\frac{r}{m}\right)\cdot\cos\dfrac{2\pi rk}{m} = m \ln \left(2\sin\frac{k\pi}{m}\right)+\gamma, \qquad k=1, 2,\ldots, m-1 $$
 * $$\sum_{r=1}^{m-1}\psi \left(\frac{r}{m}\right) \cdot\sin\frac{2\pi rk}{m} =\frac{\pi}{2} (2k-m), \qquad k=1, 2,\ldots, m-1 $$

गॉस के कारण हैं। अधिक जटिल सूत्र, जैसे


 * $$\sum_{r=0}^{m-1} \psi \left(\frac{2r+1}{2m}\right)\cdot\cos\frac{(2r+1)k\pi }{m} = m\ln\left(\tan\frac{\pi k}{2m}\right) ,\qquad k=1, 2,\ldots, m-1$$
 * $$\sum_{r=0}^{m-1} \psi \left(\frac{2r+1}{2m}\right)\cdot\sin\dfrac{(2r+1)k\pi }{m} = -\frac{\pi m}{2}, \qquad k=1, 2,\ldots, m-1$$
 * $$\sum_{r=1}^{m-1} \psi\left(\frac{r}{m}\right)\cdot\cot\frac{\pi r}{m}= -\frac{\pi(m-1)(m-2)}{6}$$
 * $$\sum_{r=1}^{m-1}\psi \left(\frac{r}{m}\right)\cdot \frac{r}{m}=-\frac{\gamma}{2}(m-1)-\frac{m}{2}\ln m -\frac{\pi}{2}\sum_{r=1}^{m-1} \frac{r}{m}\cdot\cot\frac{\pi r}{m} $$
 * $$\sum_{r=1}^{m-1}\psi \left(\frac{r}{m}\right) \cdot\cos\dfrac{(2\ell+1)\pi r}{m}= -\frac{\pi}{m}\sum_{r=1}^{m-1} \frac{r \cdot\sin\dfrac{2\pi r}{m}}{\cos\dfrac{2\pi r}{m} -\cos\dfrac{(2\ell+1)\pi }{m} }, \qquad \ell\in\mathbb{Z} $$
 * $$\sum_{r=1}^{m-1}\psi \left(\frac{r}{m}\right) \cdot\sin\dfrac{(2\ell+1)\pi r}{m}=-(\gamma+\ln2m)\cot\frac{(2\ell+1)\pi}{2m} + \sin\dfrac{(2\ell+1)\pi }{m}\sum_{r=1}^{m-1} \frac{\ln\sin\dfrac{\pi r}{m}} {\cos\dfrac{2\pi r}{m} -\cos\dfrac{(2\ell+1)\pi }{m} }, \qquad \ell\in\mathbb{Z}$$
 * $$\sum_{r=1}^{m-1} \psi^2\left(\frac{r}{m}\right)= (m-1)\gamma^2 + m(2\gamma+\ln4m)\ln{m} -m(m-1)\ln^2 2 +\frac{\pi^2 (m^2-3m+2)}{12} +m\sum_{\ell=1}^{ m-1 } \ln^2 \sin\frac{\pi\ell}{m}$$

कुछ आधुनिक लेखकों के फलन के कारण हैं (उदाहरण के लिए ब्लागॉचिन (2014) में परिशिष्ट बी देखें) ).

हमारे समीप भी है
 * $$ 1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{k-1}-\gamma=\frac{1}{k}\sum_{n=0}^{k-1}\psi\left(1+\frac{n}{k}\right), k=2,3, ...$$

गॉस का डायगामा प्रमेय
धनात्मक पूर्णांकों के लिए $r$ और $m$ ($Γ$), डायगामा फलन को यूलर के स्थिरांक और प्रारंभिक फलन की सीमित संख्या के संदर्भ में व्यक्त किया जा सकता है
 * $$\psi\left(\frac{r}{m}\right) = -\gamma -\ln(2m) -\frac{\pi}{2}\cot\left(\frac{r\pi}{m}\right) +2\sum_{n=1}^{\left\lfloor \frac{m-1}{2} \right\rfloor} \cos\left(\frac{2\pi nr}{m} \right) \ln\sin\left(\frac{\pi n}{m}\right) $$

जो, अपने पुनरावृत्ति समीकरण के कारण, सभी तर्कसंगत तर्कों के लिए मान्य है।

स्पर्शोन्मुख विस्तार
डायगामा फलन में स्पर्शोन्मुख विस्तार होता है
 * $$\psi(z) \sim \ln z + \sum_{n=1}^\infty \frac{\zeta(1-n)}{z^n} = \ln z - \sum_{n=1}^\infty \frac{B_n}{nz^n},$$

जहाँ $B_{k}$ है kth बर्नौली संख्या और $ζ$ रीमैन ज़ेटा फलन है। इस विस्तार की प्रथम कुछ नियम इस प्रकार से हैं:
 * $$\psi(z) \approx \ln z - \frac{1}{2z} - \frac{1}{12z^2} + \frac{1}{120z^4} - \frac{1}{252z^6} + \frac{1}{240z^8} - \frac{1}{132z^{10}} + \frac{691}{32760z^{12}} - \frac{1}{12z^{14}} + \cdots.$$

चूंकि अनंत योग किसी भी $z$ के लिए अभिसरित नहीं होता है, जैसे-जैसे $z$ बढ़ता है, कोई भी परिमित आंशिक योग तीव्र से स्पष्ट हो जाता है।

योग में यूलर-मैकलॉरिन फॉर्मूला प्रयुक्त करके विस्तार पाया जा सकता है
 * $$\sum_{n=1}^\infty \left(\frac{1}{n} - \frac{1}{z + n}\right)$$

विस्तार को गामा फलन के लिए बिनेट के दूसरे अभिन्न सूत्र से आने वाले अभिन्न प्रतिनिधित्व से भी प्राप्त किया जा सकता है। विस्तार $$t / (t^2 + z^2)$$ ज्यामितीय श्रृंखला के रूप में और बर्नौली संख्याओं के अभिन्न प्रतिनिधित्व को प्रतिस्थापित करने से उपरोक्त के समान ही स्पर्शोन्मुख श्रृंखला बनती है। इसके अतिरिक्त, श्रृंखला के केवल सीमित रूप से कई पदों का विस्तार करने से स्पष्ट त्रुटि पद के साथ सूत्र मिलता है:
 * $$\psi(z) = \ln z - \frac{1}{2z} - \sum_{n=1}^N \frac{B_{2n}}{2nz^{2n}} + (-1)^{N+1}\frac{2}{z^{2N}} \int_0^\infty \frac{t^{2N+1}\,dt}{(t^2 + z^2)(e^{2\pi t} - 1)}.$$

असमानताएं
कब $r < m$, फलन
 * $$\ln x - \frac{1}{2x} - \psi(x)$$

पूर्ण रूप से एकरस और विशेष रूप से सकारात्मक है। यह गामा फलन के लिए बिनेट के पहले इंटीग्रल से आने वाले इंटीग्रल प्रतिनिधित्व पर प्रयुक्त मोनोटोन फ़ंक्शंस पर बर्नस्टीन के प्रमेय का परिणाम है। इसके अतिरिक्त, उत्तलता असमानता $$1 + t \le e^t$$, द्वारा इस प्रतिनिधित्व में समाकलन $$e^{-tz}/2$$. द्वारा ऊपर से घिरा हुआ होता है
 * $$\frac{1}{x} - \ln x + \psi(x)$$पूर्णतः एकरस भी है। यह इस प्रकार है कि, सभी $x > 0$, के लिए अनुसरण करता है,


 * $$\ln x - \frac{1}{x} \le \psi(x) \le \ln x - \frac{1}{2x}.$$

यह होर्स्ट अल्ज़र के एक प्रमेय को पुनः प्राप्त करता है। एल्ज़र ने यह भी प्रमाणित किया कि $x > 0$ के लिए,
 * $$\frac{1 - s}{x + s} < \psi(x + 1) - \psi(x + s),$$

संबंधित सीमाएँ एलेज़ोविक, जिओर्डानो और पेकारिक द्वारा प्राप्त की गईं, जिन्होंने यह प्रमाणित किया $s ∈ (0, 1)$, के लिए,
 * $$\ln(x + \tfrac{1}{2}) - \frac{1}{x} < \psi(x) < \ln(x + e^{-\gamma}) - \frac{1}{x},$$

जहाँ $$\gamma=-\psi(1)$$ यूलर-माशेरोनी स्थिरांक है। स्थिरांक ($$0.5$$ और $$e^{-\gamma}\approx0.56$$) इन सीमाओं में प्रदर्शित होना सर्वोत्तम संभव होती है।

इस प्रकार से माध्य मान प्रमेय गौत्शी की असमानता के निम्नलिखित अनुरूप का तात्पर्य करता है: यदि $x > 0$, जहाँ $x > c$ डायगामा फलन का अद्वितीय सकारात्मक वास्तविक मूल है, और यदि $c ≈ 1.461$, तब
 * $$\exp\left((1 - s)\frac{\psi'(x + 1)}{\psi(x + 1)}\right) \le \frac{\psi(x + 1)}{\psi(x + s)} \le \exp\left((1 - s)\frac{\psi'(x + s)}{\psi(x + s)}\right).$$

इसके अतिरिक्त, समानता केवल यदि और केवल यदि ही मान्य $s > 0$ है.

शास्त्रीय गामा फलन के लिए हार्मोनिक माध्य-मूल्य असमानता से प्रेरित होकर, होर्ज्ट अल्ज़र और ग्राहम जेमिसन ने अन्य संवाद के अतिरिक्त, डायगामा फलन के लिए हार्मोनिक माध्य-मूल्य असमानता प्रमाणित की:

$$ -\gamma \leq \frac{2 \psi(x) \psi(\frac{1}{x})}{\psi(x)+\psi(\frac{1}{x})} $$ के लिए $$x>0$$

समानता यदि और केवल यदि ही मान्य $$x=1$$ है.

गणना और समीपता
जब $x$, का वास्तविक भाग बड़ा होता है तो स्पर्शोन्मुख विस्तार $s = 1$ की गणना करने का एक सरल विधि देता है। छोटे x के लिए $ψ(x)$ की गणना करने के लिए, पुनरावृत्ति संबंध


 * $$ \psi(x+1) = \frac{1}{x} + \psi(x)$$

इस प्रकार से $x$ के मान को उच्च मान पर स्थानांतरित करने के लिए उपयोग किया जा सकता है। बील  उपरोक्त पुनरावृत्ति का उपयोग करके $x$ को 6 से अधिक मान पर स्थानांतरित करने और फिर उपरोक्त विस्तार को $ψ(x)$ कट ऑफ से ऊपर के शब्दों के साथ प्रस्तुत करने का सुझाव देता है, जो "पर्याप्त से अधिक स्पष्टतः " (शून्य के समीप को छोड़कर कम से कम 12 अंक) उत्पन्न करता है

जैसे ही $x$ अनंत तक जाता है, $x^{14}$ मनमाने ढंग से $ψ(x)$ और $ln(x − 1/2)$. दोनों के समीप आ जाता है। $ln x$ से x तक नीचे जाने पर, $ψ$$x + 1$ से घटता है, $1 / x$, से घटता है, जो $ln (x + 1/2) / (x − 1/2)$, से अधिक है, और $1 / x$ $ln x$ से घटता है, जो $ln (1 + 1 / x)$. से कम है। इससे हम देखते हैं कि $1 / x$, से अधिक किसी भी धनात्मक $x$ के लिए,


 * $$\psi(x)\in \left(\ln\left(x-\tfrac12\right), \ln x\right)$$

या, किसी भी सकारात्मक के लिए $x$,


 * $$\exp \psi(x)\in\left(x-\tfrac12,x\right).$$

इस प्रकार से उच्च x के लिए घातीय व्यय $1/2$ लगभग $ψ(x)$ है, जिससे छोटे $x$, पर $x$, के समीप हो जाता है ,$x − 1/2$. पर 0 के समीप पहुंच जाता है। $x = 0$ के लिए, हम इस तथ्य के आधार पर सीमा की गणना कर सकते हैं कि 1 और 2 के मध्य, $x < 1$ इसलिए


 * $$\psi(x)\in\left(-\frac{1}{x}-\gamma, 1-\frac{1}{x}-\gamma\right),\quad x\in(0, 1)$$

या
 * $$\exp \psi(x)\in\left(\exp\left(-\frac{1}{x}-\gamma\right),e\exp\left(-\frac{1}{x}-\gamma\right)\right).$$

इस प्रकार से $ψ$, के लिए उपरोक्त एसिम्प्टोटिक श्रृंखला से, कोई व्यक्ति $ψ(x) ∈ [−γ, 1 − γ]$ के लिए एक एसिम्प्टोटिक श्रृंखला प्राप्त कर सकता है। श्रृंखला समग्र व्यवहार से अच्छी तरह मेल खाती है, यानी, यह बड़े तर्कों के लिए असम्बद्ध रूप से व्यवहार करती है, और मूल में असीमित बहुलता का शून्य भी है।


 * $$ \frac{1}{\exp \psi(x)} \sim \frac{1}{x}+\frac{1}{2\cdot x^2}+\frac{5}{4\cdot3!\cdot x^3}+\frac{3}{2\cdot4!\cdot x^4}+\frac{47}{48\cdot5!\cdot x^5} - \frac{5}{16\cdot6!\cdot x^6} + \cdots$$

यह टेलर के विस्तार के समान है $exp(−ψ(x))$ पर $exp(−ψ(1 / y))$, जिससे यह अभिसरण नहीं होता है। (फलन अनंत पर विश्लेषणात्मक फलन नहीं है।) समान श्रृंखला उपस्तिथ है $y = 0$ जो शुरू होता है $$\exp \psi(x) \sim x- \frac 12.$$

यदि कोई इसके लिए स्पर्शोन्मुख श्रृंखला की गणना करता है $f(y)$ इससे पता चलता है कि कोई विषम शक्तियाँ नहीं हैं $x$ (कोई नहीं है $x$−1पद). इससे निम्नलिखित असममित विस्तार होता है, जो सम क्रम की कंप्यूटिंग शर्तों को बचाता है।


 * $$ \exp \psi\left(x+\tfrac{1}{2}\right) \sim x + \frac{1}{4!\cdot x} - \frac{37}{8\cdot6!\cdot x^3} + \frac{10313}{72\cdot8!\cdot x^5} - \frac{5509121}{384\cdot10!\cdot x^7} + \cdots$$

विशेष मूल्य

 * 1) गॉस के डायगामा प्रमेय|गॉस के डायगामा  प्रमेय के परिणामस्वरूप, डायगामा  फलन में तर्कसंगत संख्याओं के लिए बंद रूप में मान होते हैं। कुछ नीचे सूचीबद्ध हैं:


 * $$\begin{align}

\psi(1) &= -\gamma \\ \psi\left(\tfrac{1}{2}\right) &= -2\ln{2} - \gamma \\ \psi\left(\tfrac{1}{3}\right) &= -\frac{\pi}{2\sqrt{3}} -\frac{3\ln{3}}{2} - \gamma \\ \psi\left(\tfrac{1}{4}\right) &= -\frac{\pi}{2} - 3\ln{2} - \gamma \\ \psi\left(\tfrac{1}{6}\right) &= -\frac{\pi\sqrt{3}}{2} -2\ln{2} -\frac{3\ln{3}}{2} - \gamma \\ \psi\left(\tfrac{1}{8}\right) &= -\frac{\pi}{2} - 4\ln{2} - \frac {\pi + \ln \left (\sqrt{2} + 1 \right ) - \ln \left (\sqrt{2} - 1 \right ) }{\sqrt{2}} - \gamma. \end{align}$$ इसके अतिरिक्त, का लघुगणकीय व्युत्पन्न लेकर $$|\Gamma (bi)|^2$$ या $$|\Gamma (\tfrac{1}{2}+bi)|^2$$ जहाँ $$b$$ वास्तविक मूल्य है, इसका अनुमान सरल ी से लगाया जा सकता है


 * $$\operatorname{Im} \psi(bi) = \frac{1}{2b}+\frac{\pi}{2}\coth (\pi b),$$
 * $$\operatorname{Im} \psi(\tfrac{1}{2}+bi) = \frac{\pi}{2}\tanh (\pi b).$$

गॉस के डायगामा प्रमेय के अतिरिक्त, सामान्य रूप से वास्तविक भाग के लिए ऐसा कोई बंद सूत्र ज्ञात नहीं है। उदाहरण के लिए, हमारे समीप काल्पनिक इकाई पर संख्यात्मक सन्निकटन है
 * $$\operatorname{Re} \psi(i) = -\gamma-\sum_{n=0}^\infty\frac{n-1}{n^3+n^2+n+1} \approx 0.09465.$$

डायगामा फलन की जड़ें
डायगामा फलन के मूल कॉम्प्लेक्स-मूल्यवान गामा फलन के सैडल बिंदु हैं। इस प्रकार वे सभी वास्तविक रेखाएँ या वास्तविक बीजगणित में स्थित हैं। सकारात्मक वास्तविक अक्षर पर वास्तविक वास्तविक-मूल्यवान गामा फलन $ln(f(y) / y)$ का अद्वितीय न्यूनतम है  $ln(1 / y) − φ(1 / y)$. अन्य सभी ऋणात्मक अक्ष पर ध्रुवों के मध्य एकल होते हैं:


 * $$\vdots$$
 * $$\vdots$$
 * $$\vdots$$
 * $$\vdots$$
 * $$\vdots$$

पहले से ही 1881 में, चार्ल्स हर्मिट ने अवलोकन किया था वह


 * $$x_n = -n + \frac{1}{\ln n} + O\left(\frac{1}{(\ln n)^2}\right)$$

स्पर्शोन्मुख रूप से धारण करता है। जड़ों के स्थान का उत्तम अनुमान इसके द्वारा दिया गया है


 * $$x_n \approx -n + \frac{1}{\pi}\arctan\left(\frac{\pi}{\ln n}\right)\qquad n \ge 2$$

और और शब्द का प्रयोग करने पर यह और भी उत्तम हो जाता है


 * $$x_n \approx -n + \frac{1}{\pi}\arctan\left(\frac{\pi}{\ln n + \frac{1}{8n}}\right)\qquad n \ge 1$$

जो दोनों प्रतिबिंब सूत्र से निकलते हैं


 * $$0 = \psi(1-x_n) = \psi(x_n) + \frac{\pi}{\tan \pi x_n}$$

और $φ(x)$ प्रतिस्थापित करना इसके अभिसारी स्पर्शोन्मुख विस्तार द्वारा नहीं। इस विस्तार का सही दूसरा पद $exp(ψ(x))$ है, जहां दिया गया छोटा $n$ के साथ जड़ों का अनुमान लगाने में अच्छा काम करता है.

हर्माइट के सूत्र का और सुधार दिया जा सकता है: :

$$ x_n=-n+\frac1{\log n}-\frac1{2n(\log n)^2}+O\left(\frac1{n^2(\log n)^2}\right). $$

शून्य के संबंध में, निम्नलिखित अनंत योग पहचान वर्तमान समय में इस्तवान मेज़ो और माइकल हॉफमैन द्वारा सिद्ध की गई थीं
 * $$\begin{align}

\sum_{n=0}^\infty\frac{1}{x_n^2}&=\gamma^2+\frac{\pi^2}{2}, \\ \sum_{n=0}^\infty\frac{1}{x_n^3}&=-4\zeta(3)-\gamma^3-\frac{\gamma\pi^2}{2}, \\ \sum_{n=0}^\infty\frac{1}{x_n^4}&=\gamma^4+\frac{\pi^4}{9} + \frac23 \gamma^2 \pi^2 + 4\gamma\zeta(3). \end{align}$$ सामान्यतः, फलन

Z(k)=\sum_{n=0}^\infty\frac{1}{x_n^k} $$ निर्धारित किया जा सकता है और उद्धृत लेखकों द्वारा इसका विस्तार से अध्ययन किया गया है।

निम्नलिखित परिणाम :

$$\begin{align} \sum_{n=0}^\infty\frac{1}{x_n^2+x_n}&=-2, \\ \sum_{n=0}^\infty\frac{1}{x_n^2-x_n}&=\gamma+\frac{\pi^2}{6\gamma} \end{align}$$

भी सच है.

नियमितीकरण
डायगामा फलन अपसारी अभिन्नों के नियमितीकरण में प्रकट होता है


 * $$ \int_0^\infty \frac{dx}{x+a},$$

इस अभिन्न को भिन्न सामान्य हार्मोनिक श्रृंखला द्वारा अनुमानित किया जा सकता है, जिससे निम्नलिखित मान को श्रृंखला से जोड़ा जा सकता है


 * $$ \sum_{n=0}^\infty \frac{1}{n+a}= - \psi (a).$$

यह भी देखें

 * पॉलीगामा फलन
 * त्रिगामा फलन
 * डायगामा फलन का चेबीशेव बहुपद

बाहरी संबंध

 * —psi(1/2)
 * psi(1/3), psi(2/3),  psi(1/4),  psi(3/4),  to  psi(1/5) to psi(4/5).