دالة غاما

في الرياضيات ، دالة غاما (الممثلة بـΓ{\displaystyle \Gamma }دالة غاما ، الحرف اليوناني الكبير) هي الامتداد الأكثر شيوعًا لدالة المضروب للأعداد المركبة . وقد درسها دانيال برنولي لأول مرة.Γ(z){\displaystyle \Gamma (z)}يتم تعريفها لجميع الأعداد المركبةz{\displaystyle z}باستثناء الأعداد الصحيحة غير الموجبة، وΓ(ن)=(ن-1)!{\displaystyle \Gamma (n)=(n-1)!}لكل عدد صحيح موجبن{\displaystyle n}. يمكن تعريف دالة غاما من خلال تكامل غير محدود متقارب للأعداد المركبة ذات الجزء الحقيقي الموجب: Γ(z)=0تz-1هـ-تدت، (z)>0.{\displaystyle \Gamma (z)=\int _{0}^{\infty}t^{z-1}e^{-t}\,dt,\ \qquad \Re (z)>0.}يتم تعريف دالة جاما في المستوى المركب على أنها الاستمرار التحليلي لهذه الدالة التكاملية: إنها دالة ميرومورفية وهي هولومورفية باستثناء الصفر والأعداد الصحيحة السالبة، حيث يكون لها أقطاب بسيطة .

بما أن دالة غاما ليس لها أصفار، فإن مقلوبها1Γ{\displaystyle {\frac {1}{\Gamma }}}هي دالة كاملة . في الواقع، تتوافق دالة غاما مع تحويل ميلين للاضمحلال الأسي : Γ(z)=م{هـ-x}(z).{\displaystyle \Gamma (z)={\mathcal {M}}\{e^{-x}\}(z)\,.}

توجد امتدادات أخرى لدالة المضروب، لكن دالة غاما هي الأكثر شيوعًا وفائدة. وتظهر كعامل في العديد من دوال توزيع الاحتمالات وغيرها من الصيغ في مجالات الاحتمالات والإحصاء ونظرية الأعداد التحليلية والتوافقية .

تحفيز

Γ(x+1){\displaystyle \Gamma (x+1)}يقوم هذا البرنامج باستيفاء دالة المضروب إلى قيم غير صحيحة.

يمكن اعتبار دالة غاما حلاً لمشكلة الاستيفاء المتمثلة في إيجاد منحنى أملسy=و(x){\displaystyle y=f(x)}الذي يربط نقاط متتالية المضروب:(x،y)=(ن،ن!){\displaystyle (x,y)=(n,n!)}لجميع القيم الصحيحة الموجبة لـن{\displaystyle n}الصيغة البسيطة لحساب المضروب ،x!=123x{\displaystyle x!=1\cdot 2\cdot 3\cdots x}لا يكون صالحًا إلا عندماx{\displaystyle x}هو عدد صحيح موجب، ولا توجد دالة أولية تتمتع بهذه الخاصية، ولكن دالة غاما هي حل جيد .و(x)=Γ(x+1){\displaystyle f(x)=\Gamma (x+1)}[ 1 ]

دالة غاما ليست سلسة فحسب، بل تحليلية أيضًا (باستثناء الأعداد الصحيحة غير الموجبة)، ويمكن تعريفها بعدة طرق صريحة. مع ذلك، فهي ليست الدالة التحليلية الوحيدة التي تُوسّع المضروب، إذ يمكن إضافة أي دالة تحليلية تساوي صفرًا عند الأعداد الصحيحة الموجبة، مثل...كالخطيئة(مπx){\displaystyle k\sin(m\pi x)}بالنسبة لعدد صحيحم{\displaystyle m}[ 1 ] تُعرف هذه الدالة بدالة شبه غاما ، وأشهرها دالة هادامارد .[ 2 ]

دالة غاما، Γ( z ) باللون الأزرق، مرسومة مع Γ( z ) + sin(πz ) باللون الأخضر. لاحظ التقاطع عند الأعداد الصحيحة الموجبة. كلاهما امتدادان صحيحان للمضروب إلى دالة ميرومورفية على المستوى المركب.

أما الشرط الأكثر تقييدًا فهو المعادلة الوظيفية التي تستكمل المضروب المزاح .و(ن)=(ن-1)!{\displaystyle f(n)=(n-1)!} : [ 3 ] [ 4 ]و(x+1)=xو(x)  للجميع x>0،و(1)=1.{\displaystyle f(x+1)=xf(x)\ {\text{ لجميع }}x>0,\qquad f(1)=1.}

لكن هذا لا يزال لا يقدم حلاً فريداً، لأنه يسمح بالضرب بأي دالة دورية.ز(x){\displaystyle g(x)}معز(x)=ز(x+1){\displaystyle g(x)=g(x+1)}وز(0)=1{\displaystyle g(0)=1}، مثلز(x)=هـكالخطيئة(مπx){\displaystyle g(x)=e^{k\sin(m\pi x)}}لأي عدد صحيح m .

إحدى طرق حل هذا الغموض هي نظرية بور-موليروب ، التي توضح أنو(x)=Γ(x){\displaystyle f(x)=\Gamma (x)}هي دالة الاستيفاء الفريدة للمضروب، المعرفة على الأعداد الحقيقية الموجبة، وهي محدبة لوغاريتميًا ، [ 5 ] مما يعني أنy=سجلو(x){\displaystyle y=\log f(x)}محدب . [ 6 ]

تعريف

التعريف الرئيسي

الترميزΓ(z){\displaystyle \Gamma (z)}يعود ذلك إلى ليجندر . [ 1 ] إذا كان الجزء الحقيقي من العدد المركبz{\displaystyle z}موجب تمامًا ( (z)>0{\displaystyle \Re (z)>0}ثم التكاملΓ(z)=0تz-1هـ-تدت{\displaystyle \Gamma (z)=\int _{0}^{\infty}t^{z-1}e^{-t}\,dt}يتقارب تقارباً مطلقاً ، ويُعرف باسم تكامل أويلر من النوع الثاني . (تكامل أويلر من النوع الأول هو دالة بيتا . [ 1 ] )

القيمة المطلقة (الرأسية) وزاوية (اللون) دالة غاما على المستوى المركب
القيمة المطلقة (الرأسية) وزاوية (اللون) دالة غاما على المستوى المركب

القيمةΓ(1){\displaystyle \Gamma (1)}يمكن حسابها على النحو التاليΓ(1)=0ت1-1هـ-تدت=0هـ-تدت=1.{\displaystyle {\begin{aligned}\Gamma (1)&=\int _{0}^{\infty }t^{1-1}e^{-t}\,dt\\[6pt]&=\int _{0}^{\infty }e^{-t}\,dt=1.\end{aligned}}}

وبإجراء التكامل بالتجزئة ، يتبين أنΓ(z+1)=0تzهـ-تدت=[-تzهـ-ت]0+0zتz-1هـ-تدت.{\displaystyle {\begin{aligned}\Gamma (z+1)&=\int _{0}^{\infty }t^{z}e^{-t}\,dt\\[6pt]&={\Bigl [}-t^{z}e^{-t}{\Bigr ]}_{0}^{\infty }+\int _{0}^{\infty }z\,t^{z-1}e^{-t}\,dt.\end{aligned}}}إدراكًا لذلك-تzهـ-ت0{\displaystyle -t^{z}e^{-t}\to 0}كمات0{\displaystyle t\to 0}( طالما أن )(z)>0{\displaystyle \Re (z)>0}) و كمات{\displaystyle t\to \infty }،Γ(z+1)=z0تz-1هـ-تدت=zΓ(z).{\displaystyle {\begin{aligned}\Gamma (z+1)&=z\int _{0}^{\infty }t^{z-1}e^{-t}\,dt\\[6pt]&=z\,\Gamma (z).\end{aligned}}}

وهكذا نكون قد أثبتنا أنΓ(ن)=(ن-1)!{\displaystyle \Gamma (n)=(n-1)!}لأي عدد صحيح موجب n بالاستقراء .

الهويةzΓ(z)=Γ(z+1){\textstyle z\Gamma (z)=\Gamma (z+1)}يمكن استخدام (أو، للحصول على نفس النتيجة، يمكن استخدام الاستمرار التحليلي ) لتوسيع الصيغة التكاملية بشكل فريد لـΓ(z){\displaystyle \Gamma (z)}إلى دالة ميرومورفية معرفة لجميع الأعداد المركبةz{\displaystyle z}باستثناء الأعداد الصحيحة الأقل من أو تساوي الصفر. [ 1 ] هذه النسخة الموسعة هي التي يشار إليها عادةً باسم دالة غاما. [ 1 ]

تعريفات بديلة

توجد العديد من التعريفات المكافئة.

تعريف أويلر بأنه ناتج ضرب لانهائي

لعدد صحيح ثابتم{\displaystyle m}، كعدد صحيحن{\displaystyle n}تزداد، لدينا ذلك [ 7 ]ليمنن!(ن+1)م(ن+م)!=1.{\displaystyle \lim _{n\to \infty }{\frac {n!\,\left(n+1\right)^{m}}{(n+m)!}}=1\,.}

لوم{\displaystyle m}إذا لم يكن عددًا صحيحًا، فإن هذه المعادلة تصبح بلا معنى، إذ لم يتم تعريف مضروب الأعداد غير الصحيحة في هذا القسم. مع ذلك، ولتعريف دالة غاما للأعداد غير الصحيحة، فلنفترض أن هذه المعادلة تظل صحيحة عندمام{\displaystyle m}يتم استبداله بعدد مركب عشوائيz{\displaystyle z} :

ليمنن!(ن+1)z(ن+z)!=1.{\displaystyle \lim _{n\to \infty }{\frac {n!\,\left(n+1\right)^{z}}{(n+z)!}}=1\,.} بضرب كلا الطرفين في(z-1)!{\displaystyle (z-1)!}أعطِ (z-1)!=1zليمنن!z!(ن+z)!(ن+1)z=1zليمن(12ن)1(1+z)(ن+z)(2132ن+1ن)z=1zن=1[11+zن(1+1ن)z].{\displaystyle {\begin{aligned}(z-1)!&={\frac {1}{z}}\lim _{n\to \infty }n!{\frac {z!}{(n+z)!}}(n+1)^{z}\\[6pt]&={\frac {1}{z}}\lim _{n\to \infty }(1\cdot 2\cdots n){\frac {1}{(1+z)\cdots (n+z)}}\left({\frac {2}{1}}\cdot {\frac {3}{2}}\cdots {\frac {n+1}{n}}\right)^{z}\\[6pt]&={\frac {1}{z}}\prod _{n=1}^{\infty }\left[{\frac {1}{1+{\frac {z}{n}}}}\left(1+{\frac {1}{n}}\right)^{z}\right].\end{aligned}}}هذا الناتج اللانهائي ، الذي يعود الفضل فيه إلى أويلر، [ 8 ] يتقارب لجميع الأعداد المركبةz{\displaystyle z}باستثناء الأعداد الصحيحة غير الموجبة، التي لا تنطبق عليها هذه القاعدة بسبب القسمة على صفر. في الواقع، ينتج عن الافتراض المذكور أعلاه تعريف فريد لـΓ(z){\displaystyle \Gamma (z)}كما(z-1)!{\displaystyle (z-1)!} .

بشكل بديهي، تشير هذه الصيغة إلى أنΓ(z){\displaystyle \Gamma (z)}وهي تقريبًا نتيجة الحسابΓ(ن+1)=ن!{\displaystyle \Gamma (n+1)=n!}لبعض الأعداد الصحيحة الكبيرةن{\displaystyle n}، بضربها في(ن+1)z{\displaystyle (n+1)^{z}}لتقريبΓ(ن+z+1){\displaystyle \Gamma (n+z+1)}ثم باستخدام العلاقةΓ(x+1)=xΓ(x){\displaystyle \Gamma (x+1)=x\Gamma (x)}إلى الخلفن+1{\displaystyle n+1}عدد المرات للحصول على قيمة تقريبية لـΓ(z){\displaystyle \Gamma (z)}وعلاوة على ذلك، فإن هذا التقريب يصبح دقيقًا عندما تزداد قيمة n إلى ما لا نهاية.

الناتج اللانهائي للمقلوب1Γ(z)=zن=1[(1+zن)/(1+1ن)z]{\displaystyle {\frac {1}{\Gamma (z)}}=z\prod _{n=1}^{\infty }\left[\left(1+{\frac {z}{n}}\right)/{\left(1+{\frac {1}{n}}\right)^{z}}\right]} هي دالة كاملة ، تتقارب لكل عدد مركبz{\displaystyle z} .

تعريف وييرشتراس

تعريف دالة غاما الذي وضعه فايرشتراس صالح أيضًا لجميع الأعداد المركبة z{\displaystyle z}باستثناء الأعداد الصحيحة غير الموجبة: Γ(z)=هـ-γzzن=1(1+zن)-1هـz/ن،{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}e^{z/n},} أينγ0.577216{\displaystyle \gamma \approx 0.577216}هو ثابت أويلر-ماسكيروني . [ 1 ] وهو حاصل ضرب هادامارد لـ1Γ(z){\displaystyle \textstyle {\frac {1}{\Gamma (z)}}}بصيغة مُعاد صياغتها.

ملكيات

عام

إلى جانب الخاصية الأساسية التي نوقشت أعلاه،Γ(z+1)=z Γ(z).{\displaystyle \Gamma (z+1)=z\ \Gamma (z).}من المعادلات الوظيفية المهمة الأخرى لدالة غاما صيغة انعكاس أويلر ،Γ(1-z)Γ(z)=πالخطيئةπz،zZ،{\displaystyle \Gamma (1-z)\Gamma (z)={\frac {\pi }{\sin \pi z}},\qquad z\not \in \mathbb {Z} ,}وهذا يعنيΓ(z-ن)=(-1)ن-1Γ(-z)Γ(1+z)Γ(ن+1-z)،نZ{\displaystyle \Gamma (z-n)=(-1)^{n-1}\;{\frac {\Gamma (-z)\Gamma (1+z)}{\Gamma (n+1-z)}},\qquad n\in \mathbb {Z} }وصيغة تكرار ليجندرΓ(z)Γ(z+12)=21-2zπΓ(2z).{\displaystyle \Gamma (z)\Gamma \left(z+{\frac {1}{2}}\right)=2^{1-2z}\,{\sqrt {\pi }}\,\Gamma (2z).}

صيغة المضاعفة هي حالة خاصة من نظرية الضرب (انظر [ 9 ] المعادلة 5.5.6):   ك=0م-1Γ(z+كم)=(2π)م-12م12-مzΓ(مz).{\displaystyle \prod _{k=0}^{m-1}\Gamma \left(z+{\frac {k}{m}}\right)=(2\pi )^{\frac {m-1}{2}}\;m^{{\frac {1}{2}}-mz}\;\Gamma (mz).}

إحدى الخصائص البسيطة ولكن المفيدة، والتي يمكن ملاحظتها من تعريف النهاية، هي: Γ(z)¯=Γ(z¯)Γ(z)Γ(z¯)R.{\displaystyle {\overline {\Gamma (z)}}=\Gamma ({\overline {z}})\;\Rightarrow \;\Gamma (z)\Gamma ({\overline {z}})\in \mathbb {R} .}

على وجه الخصوص، معz=أ+بأنا{\displaystyle z=a+bi}هذا المنتج هو |Γ(أ+بأنا)|2=|Γ(أ)|2ك=011+ب2(أ+ك)2{\displaystyle |\Gamma (a+bi)|^{2}=|\Gamma (a)|^{2}\prod _{k=0}^{\infty }{\frac {1}{1+{\frac {b^{2}}{(a+k)^{2}}}}}}

إذا كان الجزء الحقيقي عددًا صحيحًا أو نصف عدد صحيح ، فيمكن التعبير عن ذلك بشكل نهائي في صيغة مغلقة : |Γ(بأنا)|2=πبسينهπب|Γ(12+بأنا)|2=πضرب بالعصاπب|Γ(1+بأنا)|2=πبسينهπب|Γ(1+ن+بأنا)|2=πبسينهπبك=1ن(ك2+ب2)،نشمال|Γ(-ن+بأنا)|2=πبسينهπبك=1ن(ك2+ب2)-1،نشمال|Γ(12±ن+بأنا)|2=πضرب بالعصاπبك=1ن((ك-12)2+ب2)±1،نشمال{\displaystyle {\begin{aligned}|\Gamma (bi)|^{2}&={\frac {\pi }{b\sinh \pi b}}\\[6pt]\left|\Gamma \left({\tfrac {1}{2}}+bi\right)\right|^{2}&={\frac {\pi }{\cosh \pi b}}\\[6pt]\left|\Gamma \left(1+bi\right)\right|^{2}&={\frac {\pi b}{\sinh \pi b}}\\[6pt]\left|\Gamma \left(1+n+bi\right)\right|^{2}&={\frac {\pi b}{\sinh \pi b}}\prod _{k=1}^{n}\left(k^{2}+b^{2}\right),\quad n\in \mathbb {N} \\[6pt]\left|\Gamma \left(-n+bi\right)\right|^{2}&={\frac {\pi }{b\sinh \pi b}}\prod _{k=1}^{n}\left(k^{2}+b^{2}\right)^{-1},\quad n\in \mathbb {N} \\[6pt]\left|\Gamma \left({\tfrac {1}{2}}\pm n+bi\right)\right|^{2}&={\frac {\pi }{\cosh \pi b}}\prod _{k=1}^{n}\left(\left(k-{\tfrac {1}{2}}\right)^{2}+b^{2}\right)^{\pm 1},\quad n\in \mathbb {N} \\[-1ex]&\end{aligned}}}

لعلّ أشهر قيمة لدالة غاما عند وسيط غير صحيح هي Γ(12)=π،{\displaystyle \Gamma \left({\tfrac {1}{2}}\right)={\sqrt {\pi }},} والتي يمكن العثور عليها عن طريق التعيينz=12{\textstyle z={\frac {1}{2}}}في صيغة الانعكاس، باستخدام العلاقة بدالة بيتا الموضحة أدناه معz1=z2=12{\displaystyle z_{1}=z_{2}={\frac {1}{2}}}أو ببساطة عن طريق إجراء الاستبدالت=u2{\displaystyle t=u^{2}}في التعريف التكاملي لدالة غاما، ينتج عنه تكامل غاوسي . بشكل عام، بالنسبة للقيم الصحيحة غير السالبة لـن{\displaystyle n}لدينا: Γ(12+ن)=(2ن)!4نن!π=(2ن-1)!!2نπ=(ن-12ن)ن!πΓ(12-ن)=(-4)نن!(2ن)!π=(-2)ن(2ن-1)!!π=π(-1/2ن)ن!{\displaystyle {\begin{aligned}\Gamma \left({\frac {1}{2}}+n\right)&={(2n)! \over 4^{n}n!}{\sqrt {\pi }}={\frac {(2n-1)!!}{2^{n}}}{\sqrt {\pi }}={\binom {n-{\frac {1}{2}}}{n}}\,n!\,{\sqrt {\pi }}\\[6pt]\Gamma \left({\frac {1}{2}}-n\right)&={(-4)^{n}n! \over (2n)!}{\sqrt {\pi }}={\frac {(-2)^{n}}{(2n-1)!!}}{\sqrt {\pi }}={\frac {\sqrt {\pi }}{{\binom {-1/2}{n}}\,n!}}\end{aligned}}}حيث المضروب المزدوج(2ن-1)!!=(2ن-1)(2ن-3)(3)(1){\displaystyle (2n-1)!!=(2n-1)(2n-3)\cdots (3)(1)}انظر القيم المحددة لدالة جاما للاطلاع على القيم المحسوبة.

قد يكون من المغري تعميم النتيجة التيΓ(12)=π{\textstyle \Gamma \left({\frac {1}{2}}\right)={\sqrt {\pi }}}من خلال البحث عن صيغة للقيم الفردية الأخرىΓ(ر){\displaystyle \Gamma (r)}أينر{\displaystyle r}هو عدد نسبي، خاصةً لأنه وفقًا لنظرية غاوس ديغاما ، من الممكن فعل ذلك لدالة ديغاما المرتبطة بها ارتباطًا وثيقًا عند كل قيمة نسبية. ومع ذلك، فإن هذه الأرقامΓ(ر){\displaystyle \Gamma (r)}لا يُعرف أنها قابلة للتعبير عنها بذاتها بدلالة الدوال الأولية. وقد ثبت أنΓ(ن+ر){\displaystyle \Gamma (n+r)}هو عدد متسامٍ ومستقل جبريًا عنπ{\displaystyle \pi }لأي عدد صحيحن{\displaystyle n}وكل كسر من الكسورر=16،14،13،23،34،56{\displaystyle \textstyle r={\frac {1}{6}},{\frac {1}{4}},{\frac {1}{3}},{\frac {2}{3}},{\frac {3}{4}},{\frac {5}{6}}}[ 10 ] بشكل عام ،عند حساب قيم دالة جاما، يجب علينا الاكتفاء بالتقريبات العددية .

تُوصَف مشتقات دالة غاما بدلالة دالة بولي غاما ،ψ(م)(z){\displaystyle \psi ^{(m)}(z)} :Γ(z)=Γ(z)ψ(0)(z).{\displaystyle \Gamma '(z)=\Gamma (z)\psi ^{(0)}(z).}بالنسبة لعدد صحيح موجبم{\displaystyle m}يمكن حساب مشتقة دالة غاما على النحو التالي:

دالة غاما في المستوى المركب مع لون يوضح وسيطها
لون يوضح وسيط دالة غاما في المستوى المركب من −2 − 2 i إلى 6 + 2 i

Γ(م+1)=م!(-γ+ك=1م1ك)=م!(-γ+ح(م))،{\displaystyle \Gamma '(m+1)=m!\left(-\gamma +\sum _{k=1}^{m}{\frac {1}{k}}\right)=m!\left(-\gamma +H(m)\right)\,,} أينح(م){\displaystyle H(m)}هوم{\displaystyle m}رقم التوافقي رقم وγ{\displaystyle \gamma }هو ثابت أويلر-ماسكيروني .

ل(z)>0{\displaystyle \Re (z)>0}الن{\displaystyle n}المشتقة النونية لدالة غاما هي:دندzنΓ(z)=0تz-1هـ-ت(سجلت)ندت.{\displaystyle {\frac {d^{n}}{dz^{n}}}\Gamma (z)=\int _{0}^{\infty }t^{z-1}e^{-t}(\log t)^{n}\,dt.}(يمكن اشتقاق ذلك عن طريق تفاضل الشكل التكاملي لدالة غاما بالنسبة إلى z{\displaystyle z}. )

استخدام الهويةΓ(ن)(1)=(-1)نبن(γ،1!ζ(2)،...،(ن-1)!ζ(ن))،{\displaystyle \Gamma ^{(n)}(1)=(-1)^{n}B_{n}(\gamma ,1!\zeta (2),\ldots ,(n-1)!\,\zeta (n)),}أينζ(z){\displaystyle \zeta (z)}هي دالة زيتا لريمان ، وبن{\displaystyle B_{n}}هون{\displaystyle n}بالنسبة لكثير الحدود بيل ، لدينا على وجه الخصوص توسيع سلسلة لوران لدالة جاما [ 11 ]Γ(z)=1z-γ+12(γ2+π26)z-16(γ3+γπ22+2ζ(3))z2+يا(z3).{\displaystyle \Gamma (z)={\frac {1}{z}}-\gamma +{\frac {1}{2}}\left(\gamma ^{2}+{\frac {\pi ^{2}}{6}}\right)z-{\frac {1}{6}}\left(\gamma ^{3}+{\frac {\gamma \pi ^{2}}{2}}+2\zeta (3)\right)z^{2}+O(z^{3}).}

عدم المساواة

عند اقتصارها على الأعداد الحقيقية الموجبة ، تكون دالة غاما دالة محدبة لوغاريتميًا تمامًا . ويمكن التعبير عن هذه الخاصية بإحدى الطرق الثلاث المتكافئة التالية:

  • لأي عددين حقيقيين موجبينx1{\displaystyle x_{1}}وx2{\displaystyle x_{2}}، ولأيت[0،1]{\displaystyle t\in [0,1]}،Γ(تx1+(1-ت)x2)Γ(x1)تΓ(x2)1-ت.{\displaystyle \Gamma (tx_{1}+(1-t)x_{2})\leq \Gamma (x_{1})^{t}\Gamma (x_{2})^{1-t}.}
  • لأي عددين حقيقيين موجبينx1{\displaystyle x_{1}}وx2{\displaystyle x_{2}}، وx2{\displaystyle x_{2}}>x1{\displaystyle x_{1}}(Γ(x2)Γ(x1))1x2-x1>خبرة(Γ(x1)Γ(x1)).{\displaystyle \left({\frac {\Gamma (x_{2})}{\Gamma (x_{1})}}\right)^{\frac {1}{x_{2}-x_{1}}}>\exp \left({\frac {\Gamma '(x_{1})}{\Gamma (x_{1})}}\right).}
  • لأي عدد حقيقي موجبx{\displaystyle x}،Γ"(x)Γ(x)>Γ(x)2.{\displaystyle \Gamma ''(x)\Gamma (x)>\Gamma '(x)^{2}.}

العبارة الأخيرة من هذه العبارات، بحكم تعريفها، هي نفسها العبارة التي تقولψ(1)(x)>0{\displaystyle \psi ^{(1)}(x)>0}، حيثψ(1){\displaystyle \psi ^{(1)}}هي دالة متعددة غاما من الرتبة 1. ولإثبات التحدب اللوغاريتمي لدالة غاما، يكفي بالتالي ملاحظة أنψ(1){\displaystyle \psi ^{(1)}}له تمثيل متسلسل يتكون، بالنسبة لـ x الحقيقي الموجب ، من حدود موجبة فقط.

يستلزم كل من التحدب اللوغاريتمي ومتباينة جنسن معًا، لأي أعداد حقيقية موجبة x1،...،xن{\displaystyle x_{1},\ldots ,x_{n}}وأ1،...،أن{\displaystyle a_{1},\ldots ,a_{n}}،Γ(أ1x1++أنxنأ1++أن)(Γ(x1)أ1Γ(xن)أن)1أ1++أن.{\displaystyle \Gamma \left({\frac {a_{1}x_{1}+\cdots +a_{n}x_{n}}{a_{1}+\cdots +a_{n}}}\right)\leq {\bigl (}\Gamma (x_{1})^{a_{1}}\cdots \Gamma (x_{n})^{a_{n}}{\bigr )}^{\frac {1}{a_{1}+\cdots +a_{n}}}.}

توجد أيضًا حدود على نسب دوال غاما. وأشهرها متباينة غاوتشي ، التي تنص على أنه لأي عدد حقيقي موجب x وأي s ∈ (0, 1) ، x1-s<Γ(x+1)Γ(x+s)<(x+1)1-s.{\displaystyle x^{1-s}<{\frac {\Gamma (x+1)}{\Gamma (x+s)}}<\left(x+1\right)^{1-s}.}

معادلة ستيرلينغ

تمثيل دالة غاما في المستوى المركب. كل نقطةz{\displaystyle z}يتم تلوينها وفقًا لحجة Γ(z){\displaystyle \Gamma (z)}مخطط الكفاف لمعامل المرونة|Γ(z)|{\displaystyle |\Gamma (z)|}يتم عرضه أيضًا.
رسم ثلاثي الأبعاد للقيمة المطلقة لدالة غاما المركبة

سلوكΓ(x){\displaystyle \Gamma (x)}بالنسبة لمتغير حقيقي موجب متزايد، يتم التعبير عنه بواسطة صيغة ستيرلينغΓ(x+1)2πx(xهـ)x،{\displaystyle \Gamma (x+1)\sim {\sqrt {2\pi x}}\left({\frac {x}{e}}\right)^{x},}حيث الرمز{\displaystyle \sim }يعني التقارب التقاربي: نسبة الطرفين تتقارب إلى 1{\displaystyle 1}في حدودx+{\displaystyle \textstyle x\to +\infty }[ 1 ] هذا النمو أسرع من النمو الأسي ،خبرة(βx){\displaystyle \exp(\beta x)}، لأي قيمة ثابتة لـβ{\displaystyle \beta } .

حدٌّ مفيدٌ آخر للتقريبات التقاربية لـx+{\displaystyle x\to +\infty }يكون:Γ(x+α)Γ(x)xα،αج.{\displaystyle {\Gamma (x+\alpha )}\sim {\Gamma (x)x^{\alpha }},\qquad \alpha \in \mathbb {C} .}

عند كتابة حد الخطأ كحاصل ضرب لانهائي، يمكن استخدام صيغة ستيرلينغ لتعريف دالة جاما: [ 12 ]Γ(x)=2πx(xهـ)xن=0[1هـ(1+1x+ن)x+ن+12].{\displaystyle \Gamma (x)={\sqrt {\frac {2\pi }{x}}}\left({\frac {x}{e}}\right)^{x}\prod _{n=0}^{\infty }\left[{\frac {1}{e}}\left(1+{\frac {1}{x+n}}\right)^{x+n+{\frac {1}{2}}}\right].}

امتداد للقيم السالبة وغير الصحيحة

على الرغم من أن التعريف الرئيسي لدالة غاما - تكامل أويلر من النوع الثاني - صالح فقط (على المحور الحقيقي) للوسائط الموجبة، إلا أنه يمكن توسيع نطاقها باستخدام الاستمرار التحليلي [ 13 ] إلى الوسائط السالبة عن طريق تحويل الوسيط السالب إلى قيم موجبة باستخدام صيغة انعكاس أويلر،Γ(-x)=1Γ(x+1)πالخطيئة(π(x+1))،{\displaystyle \Gamma (-x)={\frac {1}{\Gamma (x+1)}}{\frac {\pi }{\sin {\big (}\pi (x+1){\big )}}},}أو الخاصية الأساسية،Γ(-x):=1-xΓ(-x+1)،{\displaystyle \Gamma (-x):={\frac {\,1}{-x}}\,\Gamma (-x+1),}عندماxZ{\displaystyle x\not \in \mathbb {Z} }على سبيل المثال ،Γ(-12)=-2Γ(12).{\displaystyle \Gamma \!\left(\!-{\frac {1}{2}}\right)=-2\,\Gamma \!\left({\frac {1}{2}}\right).}

المخلفات

السلوك غير الإيجابيz{\displaystyle z}الأمر أكثر تعقيدًا. لا يتقارب تكامل أويلر من أجل (z)0{\displaystyle \Re (z)\leq 0}لكن الدالة التي تُعرّفها في النصف الموجب من المستوى المركب لها امتداد تحليلي فريد إلى النصف السالب. إحدى طرق إيجاد هذا الامتداد التحليلي هي استخدام تكامل أويلر للأعداد الموجبة وتوسيع نطاقه إلى الأعداد السالبة من خلال تطبيق صيغة التكرار بشكل متكرر، [ 1 ]Γ(z)=Γ(z+ن+1)z(z+1)(z+ن)،{\displaystyle \Gamma (z)={\frac {\Gamma (z+n+1)}{z(z+1)\cdots (z+n)}},}اختيارن{\displaystyle n}بحيثz+ن{\displaystyle z+n}موجب. يكون حاصل الضرب في المقام صفرًا عندماz{\displaystyle z}يساوي أيًا من الأعداد الصحيحة0،-1،-2،...{\displaystyle 0,-1,-2,\ldots }وبالتالي ، يجب أن تكون دالة غاما غير معرفة عند تلك النقاط لتجنب القسمة على صفر ؛ فهي دالة ميرومورفية ذات أقطاب بسيطة عند الأعداد الصحيحة غير الموجبة. [ 1 ]

لوظيفةو{\displaystyle f}لمتغير مركبz{\displaystyle z}، عند عمود بسيطج{\displaystyle c}، بقاياو{\displaystyle f}يُعطى بواسطة:ريس(و،ج)=ليمzج(z-ج)و(z).{\displaystyle \operatorname {Res} (f,c)=\lim _{z\to c}(z-c)f(z).}

للعمود البسيطz=-ن{\displaystyle z=-n}، يمكن إعادة كتابة صيغة التكرار على النحو التالي:(z+ن)Γ(z)=Γ(z+ن+1)z(z+1)(z+ن-1).{\displaystyle (z+n)\Gamma (z)={\frac {\Gamma (z+n+1)}{z(z+1)\cdots (z+n-1)}}.}البسط فيz=-ن{\displaystyle z=-n}، هوΓ(z+ن+1)=Γ(1)=1{\displaystyle \Gamma (z+n+1)=\Gamma (1)=1}والمقامz(z+1)(z+ن-1)=-ن(1-ن)(ن-1-ن)=(-1)نن!.{\displaystyle z(z+1)\cdots (z+n-1)=-n(1-n)\cdots (n-1-n)=(-1)^{n}n!.}إذن فإن بقايا دالة جاما عند تلك النقاط هي: [ 14 ]ريس(Γ،-ن)=(-1)نن!.{\displaystyle \operatorname {Res} (\Gamma ,-n)={\frac {(-1)^{n}}{n!}}.}دالة غاما لا تساوي الصفر في كل مكان على طول خط الأعداد الحقيقية، على الرغم من أنها تقترب من الصفر بشكل تعسفي عندماz-{\displaystyle z\rightarrow -\infty }في الواقع ، لا يوجد عدد مركبz{\displaystyle z}والتي من أجلهاΓ(z)=0{\displaystyle \Gamma (z)=0}وبالتالي دالة غاما المقلوبة1Γ(z){\textstyle {\dfrac {1}{\Gamma (z)}}}هي دالة كاملة ، مع أصفار عند z=0،-1،-2،...{\displaystyle z=0,-1,-2,\ldots }[ 1 ]

الحد الأدنى والحد الأقصى

على خط الأعداد الحقيقية، توجد قيمة صغرى محلية لدالة غاما عند z min = +1.46163 21449 68362 34126... [ 15 ] حيث تبلغ قيمتها Γ( z min ) = +0.88560 31944 10888 70027... [ 16 ] . ترتفع دالة غاما على جانبي هذه القيمة الصغرى. حل المعادلة Γ( z − 0.5) = Γ( z + 0.5) هو z = +1.5 ، والقيمة المشتركة هي Γ(1) = Γ(2) = +1 . الحل الموجب للمعادلة Γ( z − 1) = Γ( z + 1) هو z = φ ≈ +1.618 ، وهي النسبة الذهبية ، والقيمة المشتركة هي Γ( φ − 1) = Γ( φ + 1) = φ ! = +1.44922 96022 69896 60037... . [ 17 ]

يجب أن تتبادل دالة غاما الإشارة بين قطبيها عند الأعداد الصحيحة غير الموجبة لأن حاصل الضرب في التكرار الأمامي يحتوي على عدد فردي من العوامل السالبة إذا كان عدد الأقطاب بينz{\displaystyle z}وz+ن{\displaystyle z+n}يكون العدد فرديًا، ويكون زوجيًا إذا كان عدد الأقطاب زوجيًا. [ 14 ] القيم عند القيم القصوى المحلية لدالة غاما على طول المحور الحقيقي بين الأعداد الصحيحة غير الموجبة هي:

Γ( −0.50408 30082 64455 40925... [ 18 ] ) = −3.54464 36111 55005 08912... ,
Γ( −1.57349 84731 62390 45877... [ 19 ] ) = 2.30240 72583 39680 13582... ,
Γ( −2.61072 08684 44144 65000... [ 20 ] ) = −0.88813 63584 01241 92009... ,
Γ( −3.63529 33664 36901 09783... [ 21 ] ) = 0.24512 75398 34366 25043... ,
Γ( −4.65323 77617 43142 44171... [ 22 ] ) = −0.05277 96395 87319 40076... إلخ.

التمثيلات التكاملية

هناك العديد من الصيغ، إلى جانب تكامل أويلر من النوع الثاني، التي تعبر عن دالة غاما كتكامل. على سبيل المثال، عندما يكون الجزء الحقيقي منz{\displaystyle z}موجب، [ 23 ]Γ(z)=-هـzت-هـتدت{\displaystyle \Gamma (z)=\int _{-\infty }^{\infty }e^{zt-e^{t}}\,dt}و [ 24 ]Γ(z)=01(سجل1ت)z-1دت،{\displaystyle \Gamma (z)=\int _{0}^{1}\left(\log {\frac {1}{t}}\right)^{z-1}\,dt,}Γ(z)=2جz0ت2z-1هـ-جت2دت،ج>0{\displaystyle \Gamma (z)=2c^{z}\int _{0}^{\infty }t^{2z-1}e^{-ct^{2}}\,dt\,,\;c>0} حيث تُستنتج التكاملات الثلاثة على التوالي من عمليات الاستبدال ت=هـ-x{\displaystyle t=e^{-x}}،ت=-سجلx{\displaystyle t=-\log x}[ 25 ] وت=جx2{\displaystyle t=cx^{2}}[ 26 ] في تكامل أويلر الثاني. يوضح التكامل الأخير على وجه الخصوص العلاقة بين دالة غاما عند وسائط نصف عدد صحيح والتكاملالغاوسي: إذاz=1/2،ج=1{\displaystyle z=1/2,\;c=1}نحصلΓ(1/2)=20هـ-ت2دت=π.{\displaystyle \Gamma (1/2)=2\int _{0}^{\infty }e^{-t^{2}}\,dt={\sqrt {\pi }}\;.}

تنص الصيغة التكاملية الأولى لـ Binet لدالة جاما على أنه عندما يكون الجزء الحقيقي من z موجبًا، فإن: [ 27 ]لoزΓ(z)=(z-12)سجلz-z+12سجل(2π)+0(12-1ت+1هـت-1)هـ-تzتدت.{\displaystyle \operatorname {log\Gamma } (z)=\left(z-{\frac {1}{2}}\right)\log z-z+{\frac {1}{2}}\log(2\pi )+\int _{0}^{\infty }\left({\frac {1}{2}}-{\frac {1}{t}}+{\frac {1}{e^{t}-1}}\right){\frac {e^{-tz}}{t}}\,dt.}يمكن تفسير التكامل الموجود على الجانب الأيمن على أنه تحويل لابلاس . أي،سجل(Γ(z)(هـz)zz2π)=ل(12ت-1ت2+1ت(هـت-1))(z).{\displaystyle \log \left(\Gamma (z)\left({\frac {e}{z}}\right)^{z}{\sqrt {\frac {z}{2\pi }}}\right)={\mathcal {L}}\left({\frac {1}{2t}}-{\frac {1}{t^{2}}}+{\frac {1}{t(e^{t}-1)}}\right)(z).}

تنص صيغة بينيه التكاملية الثانية على أنه، مرة أخرى عندما يكون الجزء الحقيقي من z موجبًا، فإن: [ 28 ]لoزΓ(z)=(z-12)سجلz-z+12سجل(2π)+20دالة الظل العكسي(ت/z)هـ2πت-1دت.{\displaystyle \operatorname {log\Gamma } (z)=\left(z-{\frac {1}{2}}\right)\log z-z+{\frac {1}{2}}\log(2\pi )+2\int _{0}^{\infty }{\frac {\arctan(t/z)}{e^{2\pi t}-1}}\,dt.}

ليكن C مسار هانكل ، أي مسار يبدأ وينتهي عند النقطة على كرة ريمان ، ويتقارب متجه المماس الوحدوي الخاص به إلى -1 عند بداية المسار وإلى 1 عند نهايته، وله عدد لفات 1 حول 0 ، ولا يتقاطع مع [0،){\displaystyle [0,\infty )}. أصلح فرعًا منسجل(-ت){\displaystyle \log(-t)}عن طريق قطع فرع على طول[0،){\displaystyle [0,\infty )}وبأخذسجل(-ت){\displaystyle \log(-t)}أن تكون حقيقياً عندمات{\displaystyle t}يقع على المحور الحقيقي السالب. إذاz{\displaystyle z}إذا لم يكن عددًا صحيحًا، فإن صيغة هانكل لدالة جاما هي: [ 29 ]Γ(z)=-12أناالخطيئةπzج(-ت)z-1هـ-تدت،{\displaystyle \Gamma (z)=-{\frac {1}{2i\sin \pi z}}\int _{C}(-t)^{z-1}e^{-t}\,dt,}أين(-ت)z-1{\displaystyle (-t)^{z-1}}يُفسر على أنهخبرة((z-1)سجل(-ت)){\displaystyle \exp((z-1)\log(-t))}تؤدي صيغة الانعكاس إلى التعبير ذي الصلة الوثيقة1Γ(z)=أنا2πج(-ت)-zهـ-تدت،{\displaystyle {\frac {1}{\Gamma (z)}}={\frac {i}{2\pi }}\int _{C}(-t)^{-z}e^{-t}\,dt,}وهو أمر صالح في كل مرةzZ{\displaystyle z\not \in \mathbb {Z} } .

تمثيل الكسور المستمر

يمكن أيضًا تمثيل دالة جاما بمجموع كسرين مستمرين : [ 30 ] [ 31 ]Γ(z)=هـ-12+0-z+1z-12+2-z+2z-22+4-z+3z-32+6-z+4z-42+8-z+5z-52+10-z++ هـ-1z+0-z+0z+1+1z+2-z+1z+3+2z+4-z+2z+5+3z+6-{\displaystyle {\begin{aligned}\Gamma (z)&={\cfrac {e^{-1}}{2+0-z+1{\cfrac {z-1}{2+2-z+2{\cfrac {z-2}{2+4-z+3{\cfrac {z-3}{2+6-z+4{\cfrac {z-4}{2+8-z+5{\cfrac {z-5}{2+10-z+\ddots }}}}}}}}}}}}\\&+\ {\cfrac {e^{-1}}{z+0-{\cfrac {z+0}{z+1+{\cfrac {1}{z+2-{\cfrac {z+1}{z+3+{\cfrac {2}{z+4-{\cfrac {z+2}{z+5+{\cfrac {3}{z+6-\ddots }}}}}}}}}}}}}}\end{aligned}}}أينzج{\displaystyle z\in \mathbb {C} } .

توسيع متسلسلة فورييه

يُمكن تمثيل لوغاريتم دالة غاما على النحو التالي باستخدام متسلسلة فورييه :0<z<1:{\displaystyle 0<z<1:}لoزΓ(z)=(12-z)(γ+سجل2)+(1-z)سجلπ-12سجلالخطيئة(πz)+1πن=1سجلننالخطيئة(2πنz)،{\displaystyle \operatorname {log\Gamma } (z)=\left({\frac {1}{2}}-z\right)(\gamma +\log 2)+(1-z)\log \pi -{\frac {1}{2}}\log \sin(\pi z)+{\frac {1}{\pi }}\sum _{n=1}^{\infty }{\frac {\log n}{n}}\sin(2\pi nz),} والتي نُسبت لفترة طويلة إلى إرنست كومر ، الذي اشتقها في عام 1847. [ 32 ] [ 33 ] ومع ذلك، اكتشف ياروسلاف بلاغوشين أن كارل يوهان مالمستين هو أول من اشتق هذه السلسلة في عام 1842. [ 34 ] [ 35 ]

صيغة رابي

في عام 1840 أثبت جوزيف لودفيج رابي أنأأ+1سجلΓ(z)دz=12سجل2π+أسجلأ-أ،أ>0.{\displaystyle \int _{a}^{a+1}\log \Gamma (z)\,dz={\tfrac {1}{2}}\log 2\pi +a\log a-a,\quad a>0.}على وجه الخصوص، إذاأ=0{\displaystyle a=0}ثم01سجلΓ(z)دz=12سجل(2π).{\displaystyle \int _{0}^{1}\log \Gamma (z)\,dz={\frac {1}{2}}\log(2\pi ).}

يمكن اشتقاق الأخير بأخذ اللوغاريتم في صيغة الضرب أعلاه، مما يعطي تعبيرًا عن مجموع ريمان للدالة المُكاملة. بأخذ النهاية لـأ{\displaystyle a\to \infty }يعطي الصيغة.

دالة باي

يُعدّ الترميز البديل الذي قدمه غاوس هوΠ{\displaystyle \Pi }-دالة، وهي نسخة مُزاحة من دالة جاما: Π(z)=Γ(z+1)=zΓ(z)=0هـ-تتzدت،{\displaystyle \Pi (z)=\Gamma (z+1)=z\Gamma (z)=\int _{0}^{\infty }e^{-t}t^{z}\,dt,} لهذا السبب.Π(ن)=ن!{\displaystyle \Pi (n)=n!}لكل عدد صحيح غير سالبن{\displaystyle n} .

باستخدام دالة باي، تكون صيغة الانعكاس كالتالي: Π(z)Π(-z)=πzالخطيئة(πz)=1منذ(z){\displaystyle \Pi (z)\Pi (-z)={\frac {\pi z}{\sin(\pi z)}}={\frac {1}{\operatorname {sinc} (z)}}}باستخدام دالة sinc المعيارية ؛ بينما تصبح نظرية الضرب كما يلي: Π(zم)Π(z-1م)Π(z-م+1م)=(2π)م-12م-z-12Π(z) .{\displaystyle \Pi \left({\frac {z}{m}}\right)\,\Pi \left({\frac {z-1}{m}}\right)\cdots \Pi \left({\frac {z-m+1}{m}}\right)=(2\pi )^{\frac {m-1}{2}}m^{-z-{\frac {1}{2}}}\Pi (z)\ .}

يُشار أحيانًا إلى دالة غاما المقلوبة المُزاحة بـ ⁠π(z)=1Π(z){\displaystyle \pi (z)={\frac {1}{\Pi (z)}}}، وظيفة كاملة.

يمكن التعبير عن حجم مجسم بيضاوي ذي n نصف قطر r₁ ، ...، rₙ على النحو التالي :Vن(ر1،...،رن)=πن2Π(ن2)ك=1نرك.{\displaystyle V_{n}(r_{1},\dotsc ,r_{n})={\frac {\pi ^{\frac {n}{2}}}{\Pi \left({\frac {n}{2}}\right)}}\prod _{k=1}^{n}r_{k}.}

العلاقة بالوظائف الأخرى

  • في التكامل الأول الذي يُعرّف دالة غاما، تكون حدود التكامل ثابتة. أما دالة غاما غير الكاملة العليا فتُحسب بالسماح لحدود التكامل الدنيا بالتغير.Γ(z،x)=xتz-1هـ-تدت.{\displaystyle \Gamma (z,x)=\int _{x}^{\infty }t^{z-1}e^{-t}dt.}توجد دالة غاما غير مكتملة سفلية مماثلة.
  • ترتبط دالة غاما بدالة بيتا لأويلر بالصيغة التالية:ب(z1،z2)=01تz1-1(1-ت)z2-1دت=Γ(z1)Γ(z2)Γ(z1+z2).{\displaystyle \mathrm {B} (z_{1},z_{2})=\int _{0}^{1}t^{z_{1}-1}(1-t)^{z_{2}-1}\,dt={\frac {\Gamma (z_{1})\,\Gamma (z_{2})}{\Gamma (z_{1}+z_{2})}}.}
  • يُطلق على المشتق اللوغاريتمي لدالة جاما اسم دالة ديجاما ؛ أما المشتقات الأعلى فتُسمى دوال بوليجاما .
  • إن نظير دالة جاما على حقل منتهٍ أو حلقة منتهية هو مجموع جاوس ، وهو نوع من المجموع الأسي .
  • دالة غاما المقلوبة هي دالة كاملة وقد تمت دراستها كموضوع محدد.
  • تظهر دالة غاما أيضًا في علاقة مهمة مع دالة زيتا لريمان ،ζ(z){\displaystyle \zeta (z)} .π-z2Γ(z2)ζ(z)=π-1-z2Γ(1-z2)ζ(1-z).{\displaystyle \pi ^{-{\frac {z}{2}}}\;\Gamma \left({\frac {z}{2}}\right)\zeta (z)=\pi ^{-{\frac {1-z}{2}}}\;\Gamma \left({\frac {1-z}{2}}\right)\;\zeta (1-z).}كما يظهر في الصيغة التالية:ζ(z)Γ(z)=0uzهـu-1دuu،{\displaystyle \zeta (z)\Gamma (z)=\int _{0}^{\infty }{\frac {u^{z}}{e^{u}-1}}\,{\frac {du}{u}},}وهو صالح فقط لـ(z)>1{\displaystyle \Re (z)>1} .
    يُحقق لوغاريتم دالة جاما الصيغة التالية التي وضعها ليرش:لoزΓ(z)=ζح(0،z)-ζ(0)،{\displaystyle \operatorname {log\Gamma } (z)=\zeta _{H}'(0,z)-\zeta '(0),}أينζح{\displaystyle \zeta _{H}}دالة زيتا لهرويتز ،ζ{\displaystyle \zeta }هي دالة زيتا لريمان والعلامة ( ) تشير إلى التفاضل في المتغير الأول.
  • ترتبط دالة غاما بالدالة الأسية الممتدة . على سبيل المثال، عزوم تلك الدالة هيτن0تن-1هـ-(تτ)βدت=τنβΓ(نβ).{\displaystyle \langle \tau ^{n}\rangle \equiv \int _{0}^{\infty }t^{n-1}\,e^{-\left({\frac {t}{\tau }}\right)^{\beta }}\,\mathrm {d} t={\frac {\tau ^{n}}{\beta }}\Gamma \left({n \over \beta }\right).}

قيم محددة

بما في ذلك أول 20 رقمًا بعد الفاصلة العشرية، فإن بعض القيم المحددة لدالة جاما هي: Γ(-32)=4π3+2.36327180120735470306Γ(-12)=-2π-3.54490770181103205459Γ(12)=π+1.77245385090551602729Γ(1)=0!=+1Γ(32)=π2+0.88622692545275801364Γ(2)=1!=+1Γ(52)=3π4+1.32934038817913702047Γ(3)=2!=+2Γ(72)=15π8+3.32335097044784255118Γ(4)=3!=+6{\displaystyle {\begin{array}{rcccl}\Gamma \left(-{\frac {3}{2}}\right)&=&{\frac {4{\sqrt {\pi }}}{3}}&\approx &+2.36327\,18012\,07354\,70306\\[6pt]\Gamma \left(-{\frac {1}{2}}\right)&=&-2{\sqrt {\pi }}&\approx &-3.54490\,77018\,11032\,05459\\[6pt]\Gamma \left({\frac {1}{2}}\right)&=&{\sqrt {\pi }}&\approx &+1.77245\,38509\,05516\,02729\\[6pt]\Gamma (1)&=&0!&=&+1\\[6pt]\Gamma \left({\frac {3}{2}}\right)&=&{\frac {\sqrt {\pi }}{2}}&\approx &+0.88622\,69254\,52758\,01364\\[6pt]\Gamma (2)&=&1!&=&+1\\[6pt]\Gamma \left({\frac {5}{2}}\right)&=&{\frac {3{\sqrt {\pi }}}{4}}&\approx &+1.32934\,03881\,79137\,02047\\[6pt]\Gamma (3)&=&2!&=&+2\\[6pt]\Gamma \left({\frac {7}{2}}\right)&=&{\tfrac {15{\sqrt {\pi }}}{8}}&\approx &+3.32335\,09704\,47842\,55118\\[6pt]\Gamma (4)&=&3!&=&+6\end{array}}}(يمكن إيجاد هذه الأرقام في OEIS . [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] القيم المعروضة هنا مُقتطعة وليست مُقرّبة.) دالة غاما ذات القيم المركبة غير مُعرّفة للأعداد الصحيحة غير الموجبة، ولكن في هذه الحالات، يمكن تعريف القيمة في كرة ريمان على النحو التالي :{\displaystyle \infty } . دالة غاما المقلوبة معرفة جيدًا وتحليليةعند هذه القيم (وفي المستوى المركب بأكمله ) :1Γ(-3)=1Γ(-2)=1Γ(-1)=1Γ(0)=0.{\displaystyle {\frac {1}{\Gamma (-3)}}={\frac {1}{\Gamma (-2)}}={\frac {1}{\Gamma (-1)}}={\frac {1}{\Gamma (0)}}=0.}

دالة لوغاريتم جاما

الدالة التحليلية logΓ( z )

نظرًا لأن دالتي غاما والمضروب تنموان بسرعة كبيرة عند القيم المتوسطة، فإن العديد من بيئات الحوسبة تتضمن دالة تُعيد اللوغاريتم الطبيعي لدالة غاما، والتي غالبًا ما تُسمى اللوغاريتم الطبيعي lgammaفي lngammaبيئات البرمجة أو gammalnفي جداول البيانات. ينمو هذا اللوغاريتم ببطء شديد، وفي الحسابات التوافقية، يسمح بجمع وطرح القيم اللوغاريتمية بدلًا من ضرب وقسمة القيم الكبيرة جدًا. ويُعرف عادةً بالصيغة [ 42 ].لoزΓ(z)=-γz-سجلz+ك=1[zك-سجل(1+zك)].{\displaystyle \operatorname {log\Gamma } (z)=-\gamma z-\log z+\sum _{k=1}^{\infty }\left[{\frac {z}{k}}-\log \left(1+{\frac {z}{k}}\right)\right].}

تُستخدم دالة ديغاما ، وهي مشتقة هذه الدالة، بشكل شائع أيضًا. في سياق التطبيقات التقنية والفيزيائية، مثل انتشار الموجات، تُستخدم المعادلة الوظيفية لoزΓ(z)=لoزΓ(z+1)-سجلz{\displaystyle \operatorname {log\Gamma } (z)=\operatorname {log\Gamma } (z+1)-\log z}

دالة غاما اللوغاريتمية في المستوى المركب من −2 − 2i إلى 2 + 2i، حيث يمثل اللون السعة المركبة.
دالة غاما اللوغاريتمية في المستوى المركب من −2 − 2i إلى 2 + 2i، حيث يمثل اللون الوسيط المركب.

يُستخدم غالبًا لأنه يسمح بتحديد قيم الدالة في شريط واحد بعرض 1 بوصةz{\displaystyle z}من الشريط المجاور. على وجه الخصوص، بدءًا بتقريب جيد لـz{\displaystyle z}مع الجزء الحقيقي الكبير، يمكن للمرء أن ينزل خطوة بخطوة إلى الأسفل إلى المطلوبz{\displaystyle z}. بناءً على إشارة من كارل فريدريش جاوس ، اقترح روكتايشل (1922) لـسجلΓ(z){\displaystyle \log \Gamma (z)}تقريب للقيم الكبيرة(z){\displaystyle \Re (z)} :لoزΓ(z)(z-12)سجلz-z+12سجل(2π).{\displaystyle \operatorname {log\Gamma } (z)\approx (z-{\tfrac {1}{2}})\log z-z+{\tfrac {1}{2}}\log(2\pi ).}

يمكن استخدام هذا لتقريب دقيقسجلΓ(z){\displaystyle \log \Gamma (z)}لz{\displaystyle z}مع حجم أصغر(z){\displaystyle \Re (z)}عن طريق (بيبومر، 1939) لoزΓ(z-م)=لoزΓ(z)-ك=1مسجل(z-ك).{\displaystyle \operatorname {log\Gamma } (z-m)=\operatorname {log\Gamma } (z)-\sum _{k=1}^{m}\log(z-k).}

يمكن الحصول على تقريب أكثر دقة باستخدام المزيد من الحدود من التوسعات التقاربية لـسجلΓ(z){\displaystyle \log \Gamma (z)}وΓ(z){\displaystyle \Gamma (z)}والتي تستند إلى تقريب ستيرلينغ.Γ(z)zz-12هـ-z2π(1+112z+1288z2-13951840z3-5712488320z4){\displaystyle \Gamma (z)\sim z^{z-{\frac {1}{2}}}e^{-z}{\sqrt {2\pi }}\left(1+{\frac {1}{12z}}+{\frac {1}{288z^{2}}}-{\frac {139}{51\,840z^{3}}}-{\frac {571}{2\,488\,320z^{4}}}\right)}

مثل |z|{\displaystyle |z|\rightarrow \infty }عند ثبات|arg(z)|<π{\displaystyle \vert \arg(z)\vert <\pi }. (انظر التسلسلات A001163 و A001164 في OEIS .)

في عرض أكثر "طبيعية"،سجلΓ(z)=zسجلz-z-12سجلz+12سجل2π+112z-1360z3+11260z5+يا(1z5){\displaystyle \log \Gamma (z)=z\log z-z-{\frac {1}{2}}\log z+{\frac {1}{2}}\log 2\pi +{\frac {1}{12z}}-{\frac {1}{360z^{3}}}+{\frac {1}{1260z^{5}}}+O\left({\frac {1}{z^{5}}}\right)}

مثل|z|{\displaystyle |z|\rightarrow \infty } عند ثبات|arg(z)|<π{\displaystyle \vert \arg(z)\vert <\pi }. (انظر التسلسلات A046968 و A046969 في OEIS .)

معاملات الحدود التيك>1{\displaystyle k>1} لz1-ك{\displaystyle z^{1-k}} في التوسعة الأخيرة هي ببساطةبكك(ك-1)،{\displaystyle {\frac {B_{k}}{k(k-1)}},}حيثبك{\displaystyle B_{k}}هي أرقام برنولي .

كما أن دالة جاما لها سلسلة ستيرلينغ (التي اشتقها تشارلز هيرميت في عام 1900) تساوي [ 43 ].لoزΓ(1+x)=x(x-1)2!سجل(2)+x(x-1)(x-2)3!(سجل(3)-2سجل(2))+،(x)>0.{\displaystyle \operatorname {log\Gamma } (1+x)={\frac {x(x-1)}{2!}}\log(2)+{\frac {x(x-1)(x-2)}{3!}}(\log(3)-2\log(2))+\cdots ,\quad \Re (x)>0.}

ملكيات

تنص نظرية بور -موليروب على أنه من بين جميع الدوال التي تُوسّع دوال المضروب إلى الأعداد الحقيقية الموجبة، فإن دالة غاما فقط هي دالة لوغاريتمية محدبة ، أي أن لوغاريتمها الطبيعي محدب على محور الأعداد الحقيقية الموجبة. وتُقدّم نظرية فيلاندت وصفًا آخر لهذه الدالة .

دالة غاما هي الدالة الوحيدة التي تحقق في آن واحد ما يلي:

  1. Γ(1)=1{\displaystyle \Gamma (1)=1}،
  2. Γ(z+1)=zΓ(z){\displaystyle \Gamma (z+1)=z\Gamma (z)}لجميع الأعداد المركبةz{\displaystyle z}باستثناء الأعداد الصحيحة غير الموجبة، و،
  3. بالنسبة للعدد الصحيح n ،ليمنΓ(ن+z)Γ(ن)نz=1{\textstyle \lim _{n\to \infty }{\frac {\Gamma (n+z)}{\Gamma (n)\;n^{z}}}=1}لجميع الأعداد المركبةz{\displaystyle z}[ 1 ]

بمعنى ما، تُعدّ دالة لوغاريتم غاما الشكل الأكثر طبيعية؛ فهي تُوضّح بعض الخصائص الجوهرية للدالة. ومن الأمثلة البارزة على ذلك متسلسلة تايلور للوغاريتم غاما حول 1: لoزΓ(z+1)=-γz+ك=2ζ(ك)ك(-z)ك|z|<1{\displaystyle \operatorname {log\Gamma } (z+1)=-\gamma z+\sum _{k=2}^{\infty }{\frac {\zeta (k)}{k}}\,(-z)^{k}\qquad \forall \;|z|<1} معζ(ك){\displaystyle \zeta (k)} تشير إلى دالة زيتا لريمان عندك{\displaystyle k} .

لذا، باستخدام الخاصية التالية: ζ(s)Γ(s)=0تsهـت-1دتت{\displaystyle \zeta (s)\Gamma (s)=\int _{0}^{\infty }{\frac {t^{s}}{e^{t}-1}}\,{\frac {dt}{t}}} التمثيل التكاملي لدالة لوغاريتم غاما هو: لoزΓ(z+1)=-γz+0هـ-zت-1+zتت(هـت-1)دت{\displaystyle \operatorname {log\Gamma } (z+1)=-\gamma z+\int _{0}^{\infty }{\frac {e^{-zt}-1+zt}{t\left(e^{t}-1\right)}}\,dt} أو، ضبطz=1{\displaystyle z=1}للحصول على تكامل لـγ{\displaystyle \gamma }، يمكننا استبدالγ{\displaystyle \gamma }قم بدمج الحد مع تكامله في الصيغة أعلاه، لتحصل على: لoزΓ(z+1)=0هـ-zت-zهـ-ت-1+zت(هـت-1)دت.{\displaystyle \operatorname {log\Gamma } (z+1)=\int _{0}^{\infty }{\frac {e^{-zt}-ze^{-t}-1+z}{t\left(e^{t}-1\right)}}\,dt\,.}

توجد أيضًا صيغ خاصة للوغاريتم دالة غاما للأعداد النسبيةz{\displaystyle z}على سبيل المثال، إذاك{\displaystyle k}ون{\displaystyle n}هي أعداد صحيحةك<ن{\displaystyle k<n}وكن/2{\displaystyle k\neq n/2}ثم [ 44 ]لoزΓ(كن)=(ن-2ك)سجل2π2ن+12{سجلπ-سجلالخطيئةπكن}+1πر=1ن-1γ+سجلررالخطيئة2πركن-12πالخطيئة2πكن0هـ-نxسجلxضرب بالعصاx-كوس(2πك/ن)دx.{\displaystyle {\begin{aligned}\operatorname {log\Gamma } \left({\frac {k}{n}}\right)={}&{\frac {\,(n-2k)\log 2\pi \,}{2n}}+{\frac {1}{2}}\left\{\,\log \pi -\log \sin {\frac {\pi k}{n}}\,\right\}+{\frac {1}{\pi }}\!\sum _{r=1}^{n-1}{\frac {\,\gamma +\log r\,}{r}}\cdot \sin {\frac {\,2\pi rk\,}{n}}\\&{}-{\frac {1}{2\pi }}\sin {\frac {2\pi k}{n}}\cdot \!\int _{0}^{\infty }\!\!{\frac {\,e^{-nx}\!\cdot \log x\,}{\,\cosh x-\cos(2\pi k/n)\,}}\,{\mathrm {d} }x.\end{aligned}}}تُستخدم هذه الصيغة أحيانًا في الحسابات العددية، لأن الدالة التكاملية تتناقص بسرعة كبيرة.

التكامل على لوغاريتم جاما

التكامل 0zلoزΓ(x)دx{\displaystyle \int _{0}^{z}\operatorname {log\Gamma } (x)\,dx} يمكن التعبير عنها بدلالة دالة بارنز G [ 45 ] [ 46 ] ( انظر دالة بارنز G للحصول على برهان): 0zلoزΓ(x)دx=z2سجل(2π)+z(1-z)2+zلoزΓ(z)-سجلجي(z+1){\displaystyle \int _{0}^{z}\operatorname {log\Gamma } (x)\,dx={\frac {z}{2}}\log(2\pi )+{\frac {z(1-z)}{2}}+z\operatorname {log\Gamma } (z)-\log G(z+1)} أين(z)>-1{\displaystyle \Re (z)>-1} .

ويمكن كتابتها أيضًا بدلالة دالة زيتا لهورويتز : [ 47 ] [ 48 ]0zلoزΓ(x)دx=z2سجل(2π)+z(1-z)2-ζ(-1)+ζ(-1،z).{\displaystyle \int _{0}^{z}\operatorname {log\Gamma } (x)\,dx={\frac {z}{2}}\log(2\pi )+{\frac {z(1-z)}{2}}-\zeta '(-1)+\zeta '(-1,z).}

متىz=1{\displaystyle z=1}ويترتب على ذلك أن 01لoزΓ(x)دx=12سجل(2π)،{\displaystyle \int _{0}^{1}\operatorname {log\Gamma } (x)\,dx={\frac {1}{2}}\log(2\pi ),} وهذا أيضًا نتيجة لصيغة رابي . وقد استنتج إسبينوزا ومول صيغة مماثلة لتكامل مربع لoزΓ{\displaystyle \operatorname {log\Gamma } } : [ 49 ]01سجل2Γ(x)دx=γ212+π248+13γل1+43ل12-(γ+2ل1)ζ(2)π2+ζ(2)2π2،{\displaystyle \int _{0}^{1}\log ^{2}\Gamma (x)dx={\frac {\gamma ^{2}}{12}}+{\frac {\pi ^{2}}{48}}+{\frac {1}{3}}\gamma L_{1}+{\frac {4}{3}}L_{1}^{2}-\left(\gamma +2L_{1}\right){\frac {\zeta ^{\prime }(2)}{\pi ^{2}}}+{\frac {\zeta ^{\prime \prime }(2)}{2\pi ^{2}}},} أينل1{\displaystyle L_{1}}هو12سجل(2π){\displaystyle {\frac {1}{2}}\log(2\pi )} .

قدّم دي إتش بيلي وزملاؤه [ 50 ] تقييمًا لـ لن:=01سجلنΓ(x)دx{\displaystyle L_{n}:=\int _{0}^{1}\log ^{n}\Gamma (x)\,dx} متىن=1،2{\displaystyle n=1,2}من حيث دالة زيتا تورنهايم-ويتن ومشتقاتها.

بالإضافة إلى ذلك، من المعروف أيضًا أن [ 51 ]ليمنلنن!=1.{\displaystyle \lim _{n\to \infty }{\frac {L_{n}}{n!}}=1.}

التقريبات

مقارنة دالة جاما (الخط الأزرق) مع المضروب (النقاط الزرقاء) وتقريب ستيرلينغ (الخط الأرجواني)

يمكن تقريب القيم المركبة لدالة جاما باستخدام تقريب ستيرلينغ أو تقريب لانكزوس ،Γ(z)2πzz-1/2هـ-zمثل z في |arg(z)|<π.{\displaystyle \Gamma (z)\sim {\sqrt {2\pi }}z^{z-1/2}e^{-z}\quad {\hbox{as }}z\to \infty {\hbox{ in }}\left|\arg(z)\right|<\pi .}وهذا دقيق بمعنى أن نسبة التقريب إلى القيمة الحقيقية تقترب من1{\displaystyle 1}في الحد كما|z|{\displaystyle \vert z\vert \rightarrow \infty } .

يمكن حساب دالة غاما بدقة ثابتة لـ(z)[1،2]{\displaystyle \Re (z)\in [1,2]}بتطبيق التكامل بالتجزئة على تكامل أويلر. لأي عدد موجب x{\displaystyle x}يمكن كتابة دالة جاما على النحو التاليΓ(z)=0xهـ-تتzدتت+xهـ-تتzدتت=xzهـ-xن=0xنz(z+1)(z+ن)+xهـ-تتzدتت.{\displaystyle {\begin{aligned}\Gamma (z)&=\int _{0}^{x}e^{-t}t^{z}\,{\frac {dt}{t}}+\int _{x}^{\infty }e^{-t}t^{z}\,{\frac {dt}{t}}\\&=x^{z}e^{-x}\sum _{n=0}^{\infty }{\frac {x^{n}}{z(z+1)\cdots (z+n)}}+\int _{x}^{\infty }e^{-t}t^{z}\,{\frac {dt}{t}}.\end{aligned}}}

عندما(z)[1،2]{\displaystyle \Re (z)\in [1,2]}وx1{\displaystyle x\geq 1}، القيمة المطلقة للتكامل الأخير أصغر من(x+1)هـ-x{\displaystyle (x+1)e^{-x}}باختيار حجم كبير بما فيه الكفايةx{\displaystyle x}، يمكن تصغير هذا التعبير الأخير من2-شمال{\displaystyle 2^{-N}}لأي قيمة مطلوبةشمال{\displaystyle N}وبالتالي ، يمكن تقييم دالة غاما على النحو التالي:شمال{\displaystyle N}بعض الدقة في السلسلة المذكورة أعلاه.

قام إي. أ. كاراتسوبا بوضع خوارزمية سريعة لحساب دالة غاما لأويلر لأي وسيط جبري (بما في ذلك الأعداد النسبية). [ 52 ] [ 53 ] [ 54 ]

بالنسبة للوسائط التي هي مضاعفات صحيحة لـ124{\displaystyle {\tfrac {1}{24}}}ويمكن أيضًا تقييم دالة جاما بسرعة باستخدامتكرارات المتوسط ​​الحسابي الهندسي (انظر القيم المحددة لدالة جاما ) . [ 55 ]

التطبيقات العملية

بخلاف العديد من الدوال الأخرى، مثل التوزيع الطبيعي ، لا يوجد تطبيق واضح وسريع ودقيق وسهل التنفيذ لدالة جاما.Γ(z){\displaystyle \Gamma (z)}يسهل العثور عليه. لذلك، يجدر البحث عن حلول محتملة. في حال كانت السرعة أهم من الدقة، يمكن الاطلاع على الجداول المنشورة لـΓ(z){\displaystyle \Gamma (z)}يمكن العثور عليها بسهولة عبر البحث على الإنترنت، مثل مكتبة وايلي الإلكترونية. ويمكن استخدام هذه الجداول مع الاستيفاء الخطي . ويمكن الحصول على دقة أكبر باستخدام الاستيفاء التكعيبي ، ولكن على حساب زيادة العبء الحسابي.Γ(z){\displaystyle \Gamma (z)}عادةً ما تُنشر الجداول لقيم الوسائط بين 1 و2، والخاصيةΓ(z+1)=z Γ(z){\displaystyle \Gamma (z+1)=z\ \Gamma (z)}يمكن استخدامها لترجمة جميع القيم الحقيقية بسرعة وسهولةz<1{\displaystyle z<1}وz>2{\displaystyle z>2}في النطاق1z2{\displaystyle 1\leq z\leq 2}، بحيث لا يتم استخدام سوى القيم المجدولة لـz{\displaystyle z}يجب استخدام ما بين 1 و 2. [ 56 ]

إذا لم تكن جداول الاستيفاء مرغوبة، فإن تقريب لانكزوس المذكور أعلاه يعمل بشكل جيد بدقة تتراوح من رقم إلى رقمين للقيم الصغيرة الشائعة الاستخدام لـz{\displaystyle z}. إذا لم يكن تقريب لانكزوس دقيقًا بما فيه الكفاية،فيمكن استخدام صيغة ستيرلينغ لدالة جاما .

التطبيقات

يصف أحد المؤلفين دالة غاما بأنها "ربما أكثر الدوال الخاصة شيوعًا ، أو أقلها خصوصية. أما الدوال المتسامية الأخرى [...] فتُسمى "خاصة" لأنه يُمكن تجنب بعضها بالابتعاد عن العديد من المواضيع الرياضية المتخصصة. من ناحية أخرى، فإن دالة غاماΓ(z){\displaystyle \Gamma (z)}"من الصعب جداً تجنبه." [ 57 ]

مشاكل التكامل

تُستخدم دالة غاما في مجالات متنوعة مثل فيزياء الكم ، والفيزياء الفلكية ، وديناميكا الموائع . [ 58 ] ويُستخدم توزيع غاما، الذي يُصاغ بدلالة دالة غاما، في الإحصاء لنمذجة نطاق واسع من العمليات؛ على سبيل المثال، الفترة الزمنية بين وقوع الزلازل. [ 59 ]

السبب الرئيسي لفائدة دالة غاما في مثل هذه السياقات هو شيوع التعبيرات من النوع و(ت)هـ-ز(ت){\displaystyle f(t)e^{-g(t)}}والتي تصف العمليات التي تتلاشى أُسّيًا في الزمن أو المكان. يمكن أحيانًا حل تكاملات هذه التعبيرات بدلالة دالة غاما عندما لا يوجد حل أولي. على سبيل المثال، إذاو{\displaystyle f}هي دالة أسية وز{\displaystyle g}هي دالة خطية، تغيير بسيط للمتغيراتu:=أت{\displaystyle u:=a\cdot t}يقدم التقييم 0تبهـ-أتدت=1أب0uبهـ-uد(uأ)=Γ(ب+1)أب+1.{\displaystyle \int _{0}^{\infty }t^{b}\,e^{-at}\,dt={\frac {1}{a^{b}}}\int _{0}^{\infty }u^{b}\,e^{-u}\,d\left({\frac {u}{a}}\right)={\frac {\Gamma (b+1)}{a^{b+1}}}.}

إن حقيقة أن التكامل يتم على طول خط الأعداد الحقيقية الموجبة بالكامل قد تشير إلى أن دالة جاما تصف تراكم عملية تعتمد على الزمن وتستمر إلى أجل غير مسمى، أو قد تكون القيمة هي مجموع توزيع في فضاء لا نهائي.

من المفيد بالطبع في كثير من الأحيان أخذ حدود التكامل بخلاف0{\displaystyle 0}و{\displaystyle \infty }لوصف تراكم عملية محدودة، وفي هذه الحالة لا تُعدّ دالة غاما العادية حلاً؛ ويُطلق على الحل حينها اسم دالة غاما غير كاملة . (تُسمى دالة غاما العادية، التي يتم الحصول عليها بالتكامل عبر خط الأعداد الحقيقية الموجبة بالكامل، أحيانًا دالة غاما كاملة للمقارنة).

تُعد الدوال الغاوسية فئة مهمة من الدوال المتلاشية أُسّيًا.أهـ-(x-ب)2ج2{\displaystyle ae^{-{\frac {(x-b)^{2}}{c^{2}}}}} وتكاملاتها، مثل دالة الخطأ . توجد العديد من العلاقات المتبادلة بين هذه الدوال ودالة غاما؛ ولا سيما العاملπ{\displaystyle {\sqrt {\pi }}}تم الحصول عليها من خلال تقييمΓ(12){\textstyle \Gamma \left({\frac {1}{2}}\right)}هو "نفس" ما تم العثور عليه في عامل التطبيع لدالة الخطأ والتوزيع الطبيعي .

تتضمن التكاملات التي نوقشت حتى الآن دوالًا متسامية ، لكن دالة غاما تنشأ أيضًا من تكاملات الدوال الجبرية البحتة. على وجه الخصوص، تُعطى أطوال أقواس القطع الناقص ومنحنى اللمنيسكات ، وهما منحنيات تُعرَّف بمعادلات جبرية، بواسطة تكاملات قطع ناقص يمكن في حالات خاصة حسابها بدلالة دالة غاما. كما يمكن استخدام دالة غاما لحساب "الحجم" و"المساحة" لـن{\displaystyle n}الكرات الفائقة ذات الأبعاد n .

حساب المنتجات

تُتيح قدرة دالة غاما على تعميم حاصل ضرب المضروب تطبيقاتٍ واسعة في العديد من فروع الرياضيات؛ في التوافقية ، وبشكلٍ أوسع في مجالاتٍ مثل نظرية الاحتمالات وحساب متسلسلات القوى . يمكن كتابة العديد من التعبيرات التي تتضمن حاصل ضرب أعداد صحيحة متتالية على شكل توليفة من المضروب، ولعلّ أهم مثال على ذلك هو معامل ذات الحدين . على سبيل المثال، لأي عددين مركبينz{\displaystyle z}ون{\displaystyle n}، مع|z|<1{\displaystyle \vert z\vert <1}يمكننا أن نكتب(1+z)ن=ك=0Γ(ن+1)ك!Γ(ن-ك+1)zك،{\displaystyle (1+z)^{n}=\sum _{k=0}^{\infty }{\frac {\Gamma (n+1)}{k!\Gamma (n-k+1)}}z^{k},}وهو ما يشبه إلى حد كبير معامل ذي الحدين عندمان{\displaystyle n}هو عدد صحيح غير سالب، (1+z)ن=ك=0نن!ك!(ن-ك)!zك=ك=0ن(نك)zك.{\displaystyle (1+z)^{n}=\sum _{k=0}^{n}{\frac {n!}{k!(n-k)!}}z^{k}=\sum _{k=0}^{n}{\binom {n}{k}}z^{k}.}

يوضح مثال معاملات ذات الحدين سبب كون خصائص دالة غاما عند تعميمها على الأعداد السالبة طبيعية. يُعطي معامل ذات الحدين عدد الطرق الممكنة للاختيارك{\displaystyle k}عناصر من مجموعةن{\displaystyle n}العناصر؛ إذاك>ن{\displaystyle k>n}بالطبع ، لا توجد أي طرق. إذاك>ن{\displaystyle k>n}ثم(ن-ك)!{\displaystyle (n-k)!}هو مضروب عدد صحيح سالب، وبالتالي فهو غير محدود إذا استخدمنا تعريف دالة غاما للمضروب - القسمة على اللانهاية تعطي القيمة المتوقعة لـ0{\displaystyle 0} .

يمكننا استبدال المضروب بدالة غاما لتوسيع أي صيغة من هذا القبيل لتشمل الأعداد المركبة. عمومًا، ينجح هذا مع أي حاصل ضرب يكون فيه كل عامل دالة كسرية لمتغير الدليل، وذلك بتحليل الدالة الكسرية إلى تعبيرات خطية.P{\displaystyle P}وسؤال{\displaystyle Q}هي كثيرات حدود أحادية من الدرجةم{\displaystyle m}ون{\displaystyle n}مع جذورهم الخاصةص1،،صم{\displaystyle p_{1},\cdots ,p_{m}}وq1،،qم{\displaystyle q_{1},\cdots ,q_{m}}لديناأنا=أبP(أنا)سؤال(أنا)=(ج=1مΓ(ب-صج+1)Γ(أ-صج))(ك=1نΓ(أ-qك)Γ(ب-qك+1)).{\displaystyle \prod _{i=a}^{b}{\frac {P(i)}{Q(i)}}=\left(\prod _{j=1}^{m}{\frac {\Gamma (b-p_{j}+1)}{\Gamma (a-p_{j})}}\right)\left(\prod _{k=1}^{n}{\frac {\Gamma (a-q_{k})}{\Gamma (b-q_{k}+1)}}\right).}

إذا توفرت لدينا طريقة لحساب دالة غاما عدديًا، فسيكون من السهل جدًا حساب القيم العددية لهذه المنتجات. يعتمد عدد دوال غاما في الطرف الأيمن فقط على درجة كثيرات الحدود، لذا لا يهم ما إذا كان ب-أ{\displaystyle b-a}يساوي 5 أو 10 5. وبأخذ النهايات المناسبة، يمكن جعل المعادلة صحيحة حتى عندما يحتوي الضرب الأيسر على أصفار أو أقطاب.

باستخدام النهايات، يمكن حساب بعض نواتج الضرب الكسري ذات العوامل اللانهائية بدلالة دالة غاما. وبفضل نظرية تحليل فايرشتراس ، يمكن كتابة الدوال التحليلية على شكل نواتج ضرب لانهائية، ويمكن أحيانًا تمثيلها على شكل نواتج ضرب أو قسمة منتهية لدالة غاما. وقد رأينا مثالًا بارزًا: صيغة الانعكاس تُمثل دالة الجيب أساسًا كحاصل ضرب دالتين غاما. انطلاقًا من هذه الصيغة، يمكن التعبير عن الدالة الأسية، بالإضافة إلى جميع الدوال المثلثية والزائدية ، بدلالة دالة غاما.

ويمكن تمثيل المزيد من الدوال، بما في ذلك الدالة الهندسية الفائقة وحالاتها الخاصة، عن طريق التكاملات المعقدة للخطوط الكنتورية لمنتجات وقسمة دالة جاما، والتي تسمى تكاملات ميلين بارنز .

نظرية الأعداد التحليلية

من تطبيقات دالة غاما دراسة دالة زيتا لريمان . ومن الخصائص الأساسية لدالة زيتا لريمان معادلتها الوظيفية :Γ(s2)ζ(s)π-s2=Γ(1-s2)ζ(1-s)π-1-s2.{\displaystyle \Gamma \left({\frac {s}{2}}\right)\,\zeta (s)\,\pi ^{-{\frac {s}{2}}}=\Gamma \left({\frac {1-s}{2}}\right)\,\zeta (1-s)\,\pi ^{-{\frac {1-s}{2}}}.}

من بين أمور أخرى، يوفر هذا شكلاً صريحاً للاستمرار التحليلي لدالة زيتا إلى دالة ميرومورفية في المستوى المركب، ويؤدي إلى برهان مباشر على أن دالة زيتا لها عدد لا نهائي من الأصفار "التافهة" على خط الأعداد الحقيقية. [ 60 ] صيغة أخرى قوية هيζ(s)Γ(s)=0تsهـت-1دتت.{\displaystyle \zeta (s)\;\Gamma (s)=\int _{0}^{\infty }{\frac {t^{s}}{e^{t}-1}}\,{\frac {dt}{t}}.}

تم اشتقاق كلا الصيغتين بواسطة برنارد ريمان في ورقته البحثية الرائدة عام 1859 " Ueber die Anzahl der Primzahlen unter einer gegebenen Größe " ("حول عدد الأعداد الأولية الأقل من مقدار معين")، وهي إحدى المعالم البارزة في تطور نظرية الأعداد التحليلية - فرع الرياضيات الذي يدرس الأعداد الأولية باستخدام أدوات التحليل الرياضي.

تاريخ

استحوذت دالة غاما على اهتمام بعضٍ من أبرز علماء الرياضيات على مرّ العصور. ويعكس تاريخها، الذي وثّقه فيليب ج. ديفيس بشكلٍ خاص في مقالٍ فاز به بجائزة شوفينيه عام 1963 ، العديد من التطورات الرئيسية في الرياضيات منذ القرن الثامن عشر. وكما قال ديفيس: "لقد وجد كل جيل شيئًا ذا قيمة ليقوله عن دالة غاما. ولعلّ الجيل القادم سيفعل ذلك أيضًا." [ 1 ]

القرن الثامن عشر: أويلر وستيرلنغ

رسالة دانيال برنولي إلى كريستيان غولدباخ (6 أكتوبر 1729)

يبدو أن مشكلة توسيع نطاق حساب المضروب ليشمل الوسائط غير الصحيحة قد تم تناولها لأول مرة من قبل دانيال برنولي وكريستيان غولدباخ في عشرينيات القرن الثامن عشر. وعلى وجه الخصوص، في رسالة من برنولي إلى غولدباخ بتاريخ 6 أكتوبر 1729، قدم برنولي تمثيل الضرب [ 61 ].x!=ليمن(ن+1+x2)x-1ك=1نك+1ك+x،{\displaystyle x!=\lim _{n\to \infty }\left(n+1+{\frac {x}{2}}\right)^{x-1}\prod _{k=1}^{n}{\frac {k+1}{k+x}},}وهو محدد جيدًا للقيم الحقيقية لـ x بخلاف الأعداد الصحيحة السالبة.

قدم ليونارد أويلر لاحقاً تعريفين مختلفين: الأول لم يكن تكامله، بل كان ناتج ضرب لانهائي معرف جيداً لجميع الأعداد المركبة n باستثناء الأعداد الصحيحة السالبة.ن!=ك=1(1+1ك)ن1+نك،{\displaystyle n!=\prod _{k=1}^{\infty }{\frac {\left(1+{\frac {1}{k}}\right)^{n}}{1+{\frac {n}{k}}}}\,,}وأبلغ غولدباخ بذلك في رسالة مؤرخة في 13 أكتوبر 1729. ثم كتب إلى غولدباخ مرة أخرى في 8 يناير 1730، ليُعلن اكتشافه للتمثيل التكاملي.ن!=01(-سجلs)ندs،{\displaystyle n!=\int _{0}^{1}(-\log s)^{n}\,ds,} وهو ما يكون صحيحًا عندما يكون الجزء الحقيقي من العدد المركبن{\displaystyle n}أكبر من-1{\displaystyle -1}(أي، (ن)>-1{\displaystyle \Re (n)>-1}) . بتغيير المتغيراتت=-lns{\displaystyle t=-\ln s}يصبح هذا التكامل هو تكامل أويلر المألوف. نشر أويلر نتائجه في ورقة بحثية بعنوان "De progressionibus transcendentibus seu quarum termini generales algebraice dari nequeunt" ("حول المتتابعات المتسامية، أي تلك التي لا يمكن التعبير عن حدودها العامة جبريًا")، والتي قُدّمت إلى أكاديمية سانت بطرسبرغ في 28 نوفمبر 1729. [ 62 ] اكتشف أويلر أيضًا بعض الخصائص الوظيفية المهمة لدالة غاما، بما في ذلك صيغة الانعكاس.

حاول جيمس ستيرلنغ ، وهو معاصر لأويلر، إيجاد صيغة متصلة للمضروب، وتوصل إلى ما يُعرف الآن بصيغة ستيرلنغ . على الرغم من أن صيغة ستيرلنغ تعطي تقديرًا جيدًا لـن!{\displaystyle n!}وحتى بالنسبة للأعداد غير الصحيحة، فإنها لا تعطي القيمة الدقيقة. وقد قدم ستيرلنغ نفسه وجاك فيليب ماري بينيه امتدادات لصيغته لتصحيح الخطأ.

القرن التاسع عشر: غاوس، وويرستراس، وليجندر

من التقدم المتجاوز، نهايتها جبرية عامة أكثر من غيرها
الصفحة الأولى من ورقة أويلر

أعاد كارل فريدريش جاوس كتابة ناتج أويلر على النحو التالي:Γ(z)=ليمممzم!z(z+1)(z+2)(z+م){\displaystyle \Gamma (z)=\lim _{m\to \infty }{\frac {m^{z}m!}{z(z+1)(z+2)\cdots (z+m)}}}واستخدم هذه الصيغة لاكتشاف خصائص جديدة لدالة غاما. مع أن أويلر كان رائدًا في نظرية المتغيرات المركبة، إلا أنه لا يبدو أنه قد درس مضروب العدد المركب، كما فعل غاوس أولًا. [ 63 ] كما أثبت غاوس نظرية الضرب لدالة غاما، وبحث في العلاقة بين دالة غاما والتكاملات الإهليلجية .

وقد رسّخ كارل فايرشتراس دور دالة غاما في التحليل المركب ، انطلاقاً من تمثيل آخر للمنتج.Γ(z)=هـ-γzzك=1(1+zك)-1هـzك،{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{k=1}^{\infty }\left(1+{\frac {z}{k}}\right)^{-1}e^{\frac {z}{k}},}أينγ{\displaystyle \gamma }هو ثابت أويلر-ماسكيروني . كتب فايرشتراس في الأصل ناتجه على أنه واحد لـ1Γ{\displaystyle \textstyle {\frac {1}{\Gamma }}}وفي هذه الحالة ، يتم أخذها على أصفار الدالة بدلاً من أقطابها. واستلهاماً من هذه النتيجة، أثبت ما يُعرف بنظرية تحليل فايرشتراس - وهي أن أي دالة كاملة يمكن كتابتها كحاصل ضرب على أصفارها في المستوى المركب؛ وهو تعميم للنظرية الأساسية في الجبر .

اسم دالة جاما ورمزهاΓ{\displaystyle \Gamma }تم تقديمها بواسطة أدريان ماري ليجندر حوالي عام 1811؛ كما أعاد ليجندر كتابة تعريف أويلر للتكامل في شكله الحديث. على الرغم من أن الرمز هو حرف غاما يوناني كبير، إلا أنه لا يوجد معيار مقبول لكتابة اسم الدالة، سواء كان "دالة غاما" أو "دالة غاما" (يكتب بعض المؤلفين ببساطة " Γ{\displaystyle \Gamma }-دالة "). الصيغة البديلة "دالة باي"Π(z)=z!{\displaystyle \Pi (z)=z!}يُصادف أحيانًا مصطلح "بسبب غاوس" في الأدبيات القديمة، لكن تدوين ليجندر هو السائد في الأعمال الحديثة.

من المبرر التساؤل عن سبب التمييز بين "العامل المضروب العادي" ودالة غاما باستخدام رموز مختلفة، وخاصةً لماذا يجب تطبيع دالة غاما إلىΓ(ن+1)=ن!{\displaystyle \Gamma (n+1)=n!}بدلاً من استخدام Γ(ن)=ن!{\displaystyle \Gamma (n)=n!}ضع في اعتبارك أن رمز الأسس هوxن{\displaystyle x^{n}}تم تعميمها من الأعداد الصحيحة إلى الأعداد المركبةxz{\displaystyle x^{z}}دون أي تغيير. دوافع ليجندر وراء هذا التوحيد غير معروفة، وقد انتقده البعض ووصفوه بالمعقد (فعلى سبيل المثال، وصفه عالم الرياضيات كورنيليوس لانكزوس ، من القرن العشرين ، بأنه "خالٍ من أي منطق" وكان يفضل استخدام z!{\displaystyle z!}[ 64 ] يُبسّط توحيد ليجندر بعض الصيغ، ولكنه يُعقّد صيغًا أخرى. من وجهة نظر حديثة، يُعد توحيد ليجندر لدالة غاما تكامل الخاصية الجمعية .هـ-x{\displaystyle e^{-x}}ضد الطابع المضاعفxz{\displaystyle x^{z}} فيما يتعلق بمقياس هاردxx{\textstyle {\frac {dx}{x}}}في مجموعة لايR+{\displaystyle \mathbb {R} ^{+}}وبالتالي ، فإن هذا التوحيد يجعل من الواضح أن دالة جاما هي نظير مستمر لمجموع جاوس . [ 65 ]

القرنان التاسع عشر والعشرين: توصيف دالة غاما

من الإشكاليات وجود عدد كبير من التعريفات لدالة غاما. فرغم أنها تصف الدالة نفسها، إلا أن إثبات التكافؤ ليس بالأمر الهين. لم يثبت ستيرلنغ قط أن صيغته الموسعة تُطابق تمامًا دالة غاما لأويلر؛ وقد قدم تشارلز هيرميت أول برهان في هذا الشأن عام ١٩٠٠. [ ٦٦ ] وبدلًا من البحث عن برهان خاص لكل صيغة، يُستحسن وجود طريقة عامة لتحديد دالة غاما.

إحدى طرق إثبات التكافؤ هي إيجاد معادلة تفاضلية تُميّز دالة غاما. تنشأ معظم الدوال الخاصة في الرياضيات التطبيقية كحلول لمعادلات تفاضلية، حلولها فريدة. مع ذلك، لا يبدو أن دالة غاما تُحقق أي معادلة تفاضلية بسيطة. أثبت أوتو هولدر عام ١٨٨٧ أن دالة غاما، على الأقل، لا تُحقق أي معادلة تفاضلية جبرية، وذلك بإثبات أن حلًا لمثل هذه المعادلة لا يُمكن أن يُحقق صيغة التكرار لدالة غاما، مما يجعلها دالة متسامية . تُعرف هذه النتيجة بنظرية هولدر .

لم يُقدَّم وصفٌ دقيقٌ وعامٌّ لدالة غاما حتى عام 1922. ثم أثبت هارالد بور ويوهانس موليروب ما يُعرف بنظرية بور-موليروب : أن دالة غاما هي الحل الوحيد لعلاقة التكرار العاملي ، وهي دالة موجبة ومحدبة لوغاريتميًا لقيم موجبة لـ .z{\displaystyle z}وقيمتها في1{\displaystyle 1}هو1{\displaystyle 1}( تكون الدالة محدبة لوغاريتميًا إذا كان لوغاريتمها محدبًا). وهناك توصيف آخر يُعطى بواسطة نظرية فيلاندت .

تُعدّ نظرية بور-موليروب مفيدةً لسهولة إثبات التحدب اللوغاريتمي لأيٍّ من الصيغ المختلفة المستخدمة لتعريف دالة غاما. وبالتوسع في هذا الأمر، فبدلاً من تعريف دالة غاما بصيغةٍ مُحددة، يُمكننا اختيار شروط نظرية بور-موليروب كتعريفٍ لها، ثم اختيار أيّ صيغةٍ تُحقق هذه الشروط كنقطة انطلاقٍ لدراسة دالة غاما. وقد استخدمت مجموعة بورباكي هذا النهج .

يستعرض بورواين وكورليس ثلاثة قرون من العمل على دالة جاما. [ 67 ]

جداول مرجعية وبرامج

رسم بياني مرسوم يدويًا للقيمة المطلقة لدالة غاما المركبة، من كتاب " جداول الدوال العليا " لجانكه وإمدي

على الرغم من إمكانية حساب دالة غاما بسهولة تكاد تضاهي أي دالة رياضية أبسط منها باستخدام الحاسوب الحديث - حتى باستخدام آلة حاسبة جيبية قابلة للبرمجة - إلا أن هذا لم يكن الحال دائمًا. فقبل منتصف القرن العشرين، كان علماء الرياضيات يعتمدون على جداول يدوية الصنع؛ وفي حالة دالة غاما، على وجه الخصوص، جدولٌ حسبه غاوس عام 1813 وآخر حسبه ليجندر عام 1825. [ 68 ]

تم تقديم جداول القيم المركبة لدالة غاما، بالإضافة إلى الرسوم البيانية المرسومة يدويًا، في كتاب " جداول الدوال مع الصيغ والمنحنيات" لجانكه وإمده ، والذي نُشر لأول مرة في ألمانيا عام 1909. ووفقًا لمايكل بيري ، "اكتسب نشر الرسم البياني ثلاثي الأبعاد الذي يوضح أقطاب دالة غاما في المستوى المركب في كتاب جانكه وإمده مكانة رمزية تقريبًا." [ 69 ]

في الواقع، لم تكن هناك حاجة عملية تُذكر لأي شيء سوى القيم الحقيقية لدالة غاما حتى ثلاثينيات القرن العشرين، عندما اكتُشفت تطبيقات دالة غاما المركبة في الفيزياء النظرية. ومع توفر الحواسيب الإلكترونية لإنتاج الجداول في خمسينيات القرن العشرين، نُشرت عدة جداول شاملة لدالة غاما المركبة لتلبية الطلب، بما في ذلك جدول دقيق يصل إلى 12 منزلة عشرية من المكتب الوطني الأمريكي للمعايير . [ 1 ]

إعادة إنتاج رسم بياني معقد شهير Γ(z) من قبل جانكه وإمدي لدالة غاما لـ -4.5 < Re(z) < 4.5 و -2.5 < Im(z) < 2.5. (جداول الدوال مع الصيغ والمنحنيات، الطبعة الرابعة، دوفر، 1945)
إعادة إنتاج حبكة معقدة شهيرة منΓ(z){\displaystyle \Gamma (z)}بواسطة جانكه وإمدي لدالة جاما لـ-4.5<(z)<4.5{\displaystyle -4.5<\Re (z)<4.5}و-2.5<(z)<2.5{\displaystyle -2.5<\Im (z)<2.5}( جداول الدوال مع الصيغ والمنحنيات ، الطبعة الرابعة، دوفر، 1945)

تتوفر الآن تطبيقات دالة غاما ولوغاريتمها بدقة مزدوجة في معظم برامج الحوسبة العلمية ومكتبات الدوال الخاصة، مثل TK Solver و Matlab و GNU Octave ومكتبة GNU العلمية . كما أُضيفت دالة غاما إلى مكتبة C القياسية ( math.h ). وتتوفر تطبيقات بدقة اختيارية في معظم أنظمة الجبر الحاسوبي ، مثل Mathematica و Maple . وتحتوي مكتبات PARI/GP و MPFR وMPFUN على تطبيقات مجانية بدقة اختيارية. وفي بعض الآلات الحاسبة ، مثل آلة حاسبة Windows وآلة حاسبة GNOME ، تُرجع دالة المضروب قيمة معينة .Γ(x+1){\displaystyle \Gamma (x+1)}عندما يكون الإدخالx{\displaystyle x}هي قيمة غير صحيحة. [ 70 ] [ 71 ]

انظر أيضاً

ملحوظات

  1. ١ ٢ ٣ ٤ ٥ ٦ ٧ ٨ ٩ ١٠ ١١ ١٢ ١٣ ١٤ ديفيس ، بي جيه (١٩٥٩). "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" . المجلة الرياضية الأمريكية الشهرية . ٦٦ (١٠): ٨٤٩-٨٦٩ . doi : 10.2307/2309786 . JSTOR 2309786. مؤرشف من الأصل في ٧ نوفمبر ٢٠١٢. تم الاسترجاع في ٣ ديسمبر ٢٠١٦ . 
  2. "هل دالة جاما غير محددة بشكل صحيح؟ أو: هادامارد مقابل أويلر - من وجد دالة جاما الأفضل؟ "
  3. بيالز، ريتشارد؛ وونغ، رودريك (2010). الدوال الخاصة: نص للدراسات العليا . مطبعة جامعة كامبريدج. ص 28. ISBN  978-1-139-49043-6.مقتطف من الصفحة 28
  4. روس، كلاي سي. (2013). المعادلات التفاضلية: مقدمة باستخدام برنامج Mathematica ( طبعة مصورة). سبرينغر ساينس آند بيزنس ميديا. ص 293. ISBN   978-1-4757-3949-7.التعبير G.2 في الصفحة 293
  5. كينغمان، جيه إف سي (1961). "خاصية التحدب للمصفوفات الموجبة". المجلة الفصلية للرياضيات . 12 (1): 283-284 . Bibcode : 1961QJMat..12..283K . doi : 10.1093/qmath/12.1.283 .
  6. وايسشتاين، إريك دبليو. "نظرية بور-موليروب" . عالم الرياضيات .
  7. ديفيس، فيليب. "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" (ملف PDF) . maa.org .
  8. ^ ماركو بونفيني (9 أكتوبر 2010). “وظيفة جاما” (PDF) . Roma1.infn.it .
  9. أسكي، ر. أ .؛ روي، ر. (2010)، "متسلسلات التوسع" ، في أولفر، فرانك و. ج .؛ لوزير، دانيال م.؛ بويسفيرت، رونالد ف.؛ كلارك، تشارلز و. (محررون)، دليل المعهد الوطني للمعايير والتكنولوجيا للدوال الرياضية ، مطبعة جامعة كامبريدج، رقم ISBN 978-0-521-19225-5MR 2723248 .
  10. فالدشميدت، م. (2006). "تجاوز الدورات: أحدث ما توصل إليه العلم" (ملف PDF) . مجلة الرياضيات البحتة والتطبيقية الفصلية . 2 (2): 435-463 . doi : 10.4310/pamq.2006.v2.n2.a3 . مؤرشف (ملف PDF) من الأصل في 6 مايو 2006.
  11. "كيفية الحصول على متسلسلة لوران لدالة غاما حول z=0؟" . موقع تبادل الأسئلة والأجوبة الرياضية . تم الاطلاع عليه بتاريخ 17 أغسطس 2022 .
  12. آرتين، إميل (2015). دالة غاما . دوفر. ص 24. 
  13. أولدهام، كيث؛ مايلاند، جان؛ سبانير، جيروم (2010). "الفصل 43 - دالة جاماΓ(ν){\displaystyle \Gamma (\nu )}أطلس الدوال (الطبعة الثانية ) .  نيويورك، نيويورك: سبرينغر ساينس آند بيزنس ميديا. رقم ISBN 9780387488073.
  14. 1 2 وايسشتاين، إريك دبليو. "دالة جاما" . عالم الرياضيات .
  15. سلون، ن. ج. أ. (محرر). "المتتالية A030169 (التوسيع العشري للعدد الحقيقي x بحيث يكون y = Gamma(x) قيمة صغرى)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  16. سلون، ن. ج. أ. (محرر). "المتتالية A030171 (التوسيع العشري للعدد الحقيقي y بحيث يكون y = Gamma(x) قيمة صغرى)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  17. سلون، ن. ج. أ. (محرر). "المتتالية A178840 (التوسيع العشري لمضروب النسبة الذهبية)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  18. سلون، ن. ج. أ. (محرر). "المتتالية A175472 (التوسيع العشري للقيمة المطلقة لفاصلة القيمة العظمى المحلية لدالة غاما في الفترة [ -1، 0 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  19. سلون، ن. ج. أ. (محرر). "المتتالية A175473 (التوسيع العشري للقيمة المطلقة لفاصلة الحد الأدنى المحلي لدالة غاما في الفترة [ -2، -1 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  20. سلون، ن. ج. أ. (محرر). "المتتالية A175474 (التوسيع العشري للقيمة المطلقة لفاصلة القيمة العظمى المحلية لدالة غاما في الفترة [ -3، -2 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  21. سلون، ن. ج. أ. (محرر). "المتتالية A256681 (التوسيع العشري للفاصلة [ المعكوسة ] للحد الأدنى المحلي لدالة غاما في الفترة [ -4، -3 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  22. سلون، ن. ج. أ. (محرر). "المتتالية A256682 (التوسيع العشري للفاصلة [ المعكوسة ] للقيمة القصوى المحلية لدالة غاما في الفترة [ -5، -4 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  23. غرادشتين، آي إس؛ ريزيك، آي إم (2007). جدول التكاملات والمتسلسلات والمنتجات (الطبعة السابعة ). دار النشر الأكاديمية. ص 893. ISBN   978-0-12-373637-6.
  24. ويتاكر وواتسون، 12.2 مثال 1.
  25. ديتليف، غروناو. "لماذا دالة غاما على هذا النحو؟" (ملف PDF) . Imsc.uni-graz.at .
  26. باسكال سيباه، كزافييه غوردون. "مقدمة في دالة غاما" (ملف PDF) . حساب الأعداد . مؤرشف من الأصل (ملف PDF) بتاريخ 30 يناير 2023. تم الاطلاع عليه بتاريخ 30 يناير 2023 .
  27. ويتاكر وواتسون، 12.31.
  28. ويتاكر وواتسون، 12.32.
  29. ويتاكر وواتسون، 12.22.
  30. "التكامل الأسي E: تمثيلات الكسور المستمرة (الصيغة 06.34.10.0005)" .
  31. "التكامل الأسي E: تمثيلات الكسور المستمرة (الصيغة 06.34.10.0003)" .
  32. باتمان، هاري؛ إرديلي، آرثر (1955). الدوال المتعالية العليا . ماكجرو هيل. OCLC 627135 . 
  33. سريفاستافا، إتش إم؛ تشوي، جيه. (2001). المتسلسلات المرتبطة بدالة زيتا والوظائف ذات الصلة . هولندا: كلوير أكاديميك. ISBN 0-7923-7054-6.
  34. بلاغوشين، ياروسلاف ف. (2014). "إعادة اكتشاف تكاملات مالمستين، وتقييمها باستخدام طرق التكامل الكفافي وبعض النتائج ذات الصلة" . مجلة رامانوجان . 35 (1): 21-110 . doi : 10.1007/s11139-013-9528-5 . S2CID 120943474 . 
  35. بلاغوشين، ياروسلاف ف. (2016). "تصحيح وإضافة إلى "إعادة اكتشاف تكاملات مالمستين، وتقييمها بواسطة طرق التكامل الكفافي وبعض النتائج ذات الصلة"". رامانوجان ج . 42 (3): 777– 781. doi : 10.1007/s11139-015-9763-z . S2CID 125198685 . 
  36. سلون، ن. ج. أ. (محرر). "المتتالية A245886 (التوسيع العشري لـ Gamma(-3/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  37. سلون، ن. ج. أ. (محرر). "المتتالية A019707 (التوسيع العشري للجذر التربيعي لـ π/5)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  38. سلون، ن. ج. أ. (محرر). "المتتالية A002161 (التوسيع العشري للجذر التربيعي لـ π)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  39. سلون، ن. ج. أ. (محرر). "المتتالية A019704 (التوسيع العشري للجذر التربيعي لـ π/2)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  40. سلون، ن. ج. أ. (محرر). "المتتالية A245884 (التوسيع العشري لـ Gamma(5/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  41. سلون، ن. ج. أ. (محرر). "المتتالية A245885 (التوسيع العشري لـ Gamma(7/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.  
  42. "دالة غاما اللوغاريتمية" . وولفرام ماث وورلد . تم الاطلاع عليه في 3 يناير 2019 .
  43. "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" (ملف PDF) . مؤرشف (ملف PDF) من الأصل بتاريخ 12 سبتمبر 2014. تم الاطلاع عليه بتاريخ 11 أبريل 2022 .
  44. بلاغوشين، ياروسلاف ف. (2015). "نظرية للتقييم المغلق لثابت ستيلتجس المعمم الأول عند الوسائط النسبية وبعض المجاميع ذات الصلة". مجلة نظرية الأعداد . 148 : 537-592 . arXiv : 1401.3724 . doi : 10.1016/j.jnt.2014.08.009 .
  45. ^ أليكسيجوسكي، الفسفور الأبيض (1894). "Über eine Classe von Funktionen, die der Gammafunktion Analog sind" [ في فئة الوظائف المشابهة لوظيفة جاما ] . لايبزيغ ويدمانش بوخهاندلونغ . 46 : 268 – 275.
  46. بارنز، إي دبليو (1899). "نظرية الدالة G ". المجلة الفصلية للرياضيات 31 : 264-314 .
  47. آدمتشيك، فيكتور س. (1998). "دوال بوليغاما من الرتبة السالبة" . مجلة الحوسبة والرياضيات التطبيقية . 100 (2): 191-199 . doi : 10.1016/S0377-0427(98)00192-7 .
  48. جوسبر، آر دبليو (1997). "ن/4م/6سجلF(z)دz{\displaystyle \textstyle \int _{n/4}^{m/6}\log F(z)\,dz}" في الدوال الخاصة، ومتسلسلات والمواضيع ذات الصلة". مجلة الجمعية الأمريكية للرياضيات 14 .
  49. إسبينوزا، أوليفييه؛ مول، فيكتور هـ. (2002). "حول بعض التكاملات التي تتضمن دالة زيتا لهرويتز: الجزء 1". مجلة رامانوجان . 6 (2): 159-188 . doi : 10.1023/A:1015706300169 . S2CID 128246166 . 
  50. بيلي، ديفيد هـ.؛ بورواين، ديفيد؛ بورواين، جوناثان م. (2015). "حول تكاملات غاما اللوغاريتمية لأويلر ودوال زيتا لتورنهايم-ويتن". مجلة رامانوجان . 36 ( 1-2 ): 43-68 . doi : 10.1007/s11139-012-9427-1 . S2CID 7335291 . 
  51. أمديبرهان، ت.؛ كوفي، مارك و.؛ إسبينوزا، أوليفييه؛ كوتشان، كريستوف؛ مانا، دانتي ف.؛ مول، فيكتور هـ. (2011). "تكاملات قوى لوغاما" . وقائع الجمعية الأمريكية للرياضيات. 139 ( 2): 535-545 . doi : 10.1090/S0002-9939-2010-10589-0 .
  52. EA Karatsuba، التقييم السريع للدوال المتسامية. مشاكل نقل المعلومات. المجلد 27، العدد 4، الصفحات 339-360 (1991).
  53. إي إيه كاراتسوبا، حول طريقة جديدة للتقييم السريع للدوال المتسامية. مجلة الرياضيات الروسية، المجلد 46، العدد 2، الصفحات 246-247 (1991).
  54. إي إيه كاراتسوبا " الخوارزميات السريعة وطريقة FEE ".
  55. بورواين، جيه إم؛ زوكر، آي جيه (1992). "التقييم السريع لدالة غاما للكسور النسبية الصغيرة باستخدام التكاملات الإهليلجية الكاملة من النوع الأول". مجلة IMA للتحليل العددي . 12 (4): 519-526 . doi : 10.1093/IMANUM/12.4.519 .
  56. فيرنر، هيلموت؛ كولينج، روبرت (1961). "تقريبات تشيبيشيف لدالة غاما". الرياضيات والحساب . 15 (74): 195-197 . doi : 10.1090/S0025-5718-61-99220-1 . JSTOR 2004230 . 
  57. ميشون، طبيب عام. " علم المثلثات والدوال الأساسية ". مؤرشف في 9 يناير 2010 في أرشيف الإنترنت . Numericana . تم الاطلاع عليه في 5 مايو 2007.
  58. شودري، م.أ.؛ زبير، س.م. (2001). حول فئة من دوال غاما غير الكاملة مع تطبيقات . بوكا راتون: مطبعة سي آر سي. ص 37. ISBN  1-58488-143-7.
  59. رايس، جيه إيه (1995). الإحصاء الرياضي وتحليل البيانات ( الطبعة الثانية). بلمونت: دار نشر دوكسبوري. الصفحات 52-53 . ISBN   0-534-20934-3.
  60. بورواين، ج.؛ بيلي، د.هـ.؛ وجيرجنسون، ر. (2003). التجريب في الرياضيات . إيه كيه بيترز. ص 133. ISBN  978-1-56881-136-9.
  61. "استيفاء العامل الطبيعي n ! أو ميلاد دالة العامل الحقيقي (1729-1826)" .
  62. ^ نُشرت ورقة أويلر في Commentarii academiae scientiarum Petropolitanae 5, 1738, 36–57. نرى E19 - Deprogressionibus transcendentibus seu quarum termini Generales algebraice dari nequeunt ، من أرشيف أويلر، والذي يتضمن نسخة ممسوحة ضوئيًا من المقالة الأصلية.
  63. ريمرت، ر. (2006). موضوعات كلاسيكية في نظرية الدوال المركبة . ترجمة كاي، إل دي. سبرينغر. رقم ISBN 978-0-387-98221-2.
  64. لانكزوس، سي. (1964). "تقريب دقيق لدالة غاما". مجلة جمعية الرياضيات الصناعية والتطبيقية، السلسلة ب: التحليل العددي . 1 (1): 86. Bibcode : 1964SJNA....1...86L . doi : 10.1137/0701008 .
  65. إيلكر إنام؛ إنجين بويوكاشك (2019). ملاحظات من المدرسة الدولية الخريفية حول نظرية الأعداد الحاسوبية . سبرينغر. ص 205. ISBN  978-3-030-12558-5.مقتطف من الصفحة 205
  66. كنوت، دي إي (1997). فن برمجة الحاسوب . المجلد 1 (الخوارزميات الأساسية). أديسون-ويسلي. ISBN  0-201-89683-4.
  67. بورواين، جوناثان م .؛ كورليس، روبرت م. (2017). "غاما والمضروب في الشهر". المجلة الرياضية الأمريكية الشهرية . 125 (5). الجمعية الرياضية الأمريكية: 400-424 . arXiv : 1703.05349 . Bibcode : 2017arXiv170305349B . doi : 10.1080/00029890.2018.1420983 . S2CID 119324101 . 
  68. "ما هو تاريخ دالة غاما؟" . yearis.com . تم الاطلاع عليه بتاريخ 5 نوفمبر 2022 .
  69. بيري، م. (أبريل 2001). "لماذا الدوال الخاصة مميزة؟" . فيزياء اليوم .
  70. "microsoft/calculator" . GitHub . تم الاطلاع عليه بتاريخ 25 ديسمبر 2020 .
  71. "gnome-calculator" . GNOME.org . تم الاطلاع عليه بتاريخ 3 مارس 2023 .
  • تتضمن هذه المقالة مواد من مقالة Citizendium بعنوان " دالة جاما "، المرخصة بموجب رخصة Creative Commons Attribution-ShareAlike 3.0 Unported ولكنها ليست مرخصة بموجب رخصة GFDL .

للمزيد من القراءة