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

يمكن اعتبار دالة غاما حلاً لمشكلة الاستيفاء المتمثلة في إيجاد منحنى أملسالذي يربط نقاط متتالية المضروب:لجميع القيم الصحيحة الموجبة لـالصيغة البسيطة لحساب المضروب ،لا يكون صالحًا إلا عندماهو عدد صحيح موجب، ولا توجد دالة أولية تتمتع بهذه الخاصية، ولكن دالة غاما هي حل جيد .[ 1 ]
دالة غاما ليست سلسة فحسب، بل تحليلية أيضًا (باستثناء الأعداد الصحيحة غير الموجبة)، ويمكن تعريفها بعدة طرق صريحة. مع ذلك، فهي ليست الدالة التحليلية الوحيدة التي تُوسّع المضروب، إذ يمكن إضافة أي دالة تحليلية تساوي صفرًا عند الأعداد الصحيحة الموجبة، مثل...بالنسبة لعدد صحيح[ 1 ] تُعرف هذه الدالة بدالة شبه غاما ، وأشهرها دالة هادامارد .[ 2 ]

أما الشرط الأكثر تقييدًا فهو المعادلة الوظيفية التي تستكمل المضروب المزاح . : [ 3 ] [ 4 ]
لكن هذا لا يزال لا يقدم حلاً فريداً، لأنه يسمح بالضرب بأي دالة دورية.معو، مثللأي عدد صحيح m .
إحدى طرق حل هذا الغموض هي نظرية بور-موليروب ، التي توضح أنهي دالة الاستيفاء الفريدة للمضروب، المعرفة على الأعداد الحقيقية الموجبة، وهي محدبة لوغاريتميًا ، [ 5 ] مما يعني أنمحدب . [ 6 ]
تعريف
التعريف الرئيسي
الترميزيعود ذلك إلى ليجندر . [ 1 ] إذا كان الجزء الحقيقي من العدد المركبموجب تمامًا ( ثم التكامليتقارب تقارباً مطلقاً ، ويُعرف باسم تكامل أويلر من النوع الثاني . (تكامل أويلر من النوع الأول هو دالة بيتا . [ 1 ] )

القيمةيمكن حسابها على النحو التالي
وبإجراء التكامل بالتجزئة ، يتبين أنإدراكًا لذلككما( طالما أن )) و كما،
وهكذا نكون قد أثبتنا أنلأي عدد صحيح موجب n بالاستقراء .
الهويةيمكن استخدام (أو، للحصول على نفس النتيجة، يمكن استخدام الاستمرار التحليلي ) لتوسيع الصيغة التكاملية بشكل فريد لـإلى دالة ميرومورفية معرفة لجميع الأعداد المركبةباستثناء الأعداد الصحيحة الأقل من أو تساوي الصفر. [ 1 ] هذه النسخة الموسعة هي التي يشار إليها عادةً باسم دالة غاما. [ 1 ]
تعريفات بديلة
توجد العديد من التعريفات المكافئة.
تعريف أويلر بأنه ناتج ضرب لانهائي
لعدد صحيح ثابت، كعدد صحيحتزداد، لدينا ذلك [ 7 ]
لوإذا لم يكن عددًا صحيحًا، فإن هذه المعادلة تصبح بلا معنى، إذ لم يتم تعريف مضروب الأعداد غير الصحيحة في هذا القسم. مع ذلك، ولتعريف دالة غاما للأعداد غير الصحيحة، فلنفترض أن هذه المعادلة تظل صحيحة عندمايتم استبداله بعدد مركب عشوائي :
بضرب كلا الطرفين فيأعطِ هذا الناتج اللانهائي ، الذي يعود الفضل فيه إلى أويلر، [ 8 ] يتقارب لجميع الأعداد المركبةباستثناء الأعداد الصحيحة غير الموجبة، التي لا تنطبق عليها هذه القاعدة بسبب القسمة على صفر. في الواقع، ينتج عن الافتراض المذكور أعلاه تعريف فريد لـكما .
بشكل بديهي، تشير هذه الصيغة إلى أنوهي تقريبًا نتيجة الحسابلبعض الأعداد الصحيحة الكبيرة، بضربها فيلتقريبثم باستخدام العلاقةإلى الخلفعدد المرات للحصول على قيمة تقريبية لـوعلاوة على ذلك، فإن هذا التقريب يصبح دقيقًا عندما تزداد قيمة n إلى ما لا نهاية.
الناتج اللانهائي للمقلوب هي دالة كاملة ، تتقارب لكل عدد مركب .
تعريف وييرشتراس
تعريف دالة غاما الذي وضعه فايرشتراس صالح أيضًا لجميع الأعداد المركبة باستثناء الأعداد الصحيحة غير الموجبة: أينهو ثابت أويلر-ماسكيروني . [ 1 ] وهو حاصل ضرب هادامارد لـبصيغة مُعاد صياغتها.
إثبات تكافؤ التعريفات الثلاثة |
|---|
تكافؤ التعريف التكاملي وتعريف فايرشتراس بحسب التعريف التكاملي، فإن العلاقةونظرية هادامارد للتحليل إلى عوامل ، بالنسبة لبعض الثوابت،منذهي دالة كاملة من الرتبةمنذكما،(أو مضاعف صحيح لـ ) ومنذ ذلك الحين، أينلبعض الأعداد الصحيحةمنذلـلديناو تكافؤ تعريف فايرشتراس وتعريف أويلر |
ملكيات
عام
إلى جانب الخاصية الأساسية التي نوقشت أعلاه،من المعادلات الوظيفية المهمة الأخرى لدالة غاما صيغة انعكاس أويلر ،وهذا يعنيوصيغة تكرار ليجندر
اشتقاق صيغة انعكاس أويلر |
|---|
الدليل 1 باستخدام جداء أويلر اللانهائي حساب حيث أن المساواة الأخيرة هي نتيجة معروفة . ويبدأ اشتقاق مماثل بتعريف فايرشتراس. الدليل الثاني أثبت أولاً أن ضع في اعتبارك المحيط المستطيل الموجه إيجابياًبرؤوس عند ،،وأينثم ، بحسب نظرية البواقي ، يترك ودعليكن التكامل المماثل على الجانب العلوي من المستطيل. إذنمثلوإذايشير إلى الجانب الرأسي الأيمن للمستطيل، ثم لبعض الثوابتوبما أن، يميل التكامل إلىكماوبالمثل ، فإن التكامل على الجانب الرأسي الأيسر للمستطيل يميل إلىكمالذلك منها ثم و إثبات صيغة الانعكاس لجميعيثبت ذلك للجميععن طريق الاستمرار التحليلي. |
اشتقاق صيغة تكرار ليجندر |
|---|
يمكن تمثيل دالة بيتا على النحو التالي : جلسةالعائد بعد الاستبدال : الوظيفةزوجي، ومن ثم الآن ثم وهذا يعني منذ فيما يلي صيغة تكرار ليجندر: |
صيغة المضاعفة هي حالة خاصة من نظرية الضرب (انظر [ 9 ] المعادلة 5.5.6):
إحدى الخصائص البسيطة ولكن المفيدة، والتي يمكن ملاحظتها من تعريف النهاية، هي:
على وجه الخصوص، معهذا المنتج هو
إذا كان الجزء الحقيقي عددًا صحيحًا أو نصف عدد صحيح ، فيمكن التعبير عن ذلك بشكل نهائي في صيغة مغلقة :
إثبات صيغ القيمة المطلقة لمتغيرات ذات جزء حقيقي صحيح أو نصف صحيح |
|---|
أولاً، ضع في اعتبارك صيغة الانعكاس المطبقة على . بتطبيق علاقة التكرار على الحد الثاني: والذي يُعطي بإعادة ترتيب بسيطة ثانيًا، ضع في اعتبارك صيغة الانعكاس المطبقة على . صيغ لحساب القيم الأخرى لـوالتي يكون الجزء الحقيقي منها عددًا صحيحًا أو نصف عدد صحيح، يتبعها بسرعة الاستقراء باستخدام علاقة التكرار في الاتجاهين الموجب والسالب. |
لعلّ أشهر قيمة لدالة غاما عند وسيط غير صحيح هي والتي يمكن العثور عليها عن طريق التعيينفي صيغة الانعكاس، باستخدام العلاقة بدالة بيتا الموضحة أدناه معأو ببساطة عن طريق إجراء الاستبدالفي التعريف التكاملي لدالة غاما، ينتج عنه تكامل غاوسي . بشكل عام، بالنسبة للقيم الصحيحة غير السالبة لـلدينا: حيث المضروب المزدوجانظر القيم المحددة لدالة جاما للاطلاع على القيم المحسوبة.
قد يكون من المغري تعميم النتيجة التيمن خلال البحث عن صيغة للقيم الفردية الأخرىأينهو عدد نسبي، خاصةً لأنه وفقًا لنظرية غاوس ديغاما ، من الممكن فعل ذلك لدالة ديغاما المرتبطة بها ارتباطًا وثيقًا عند كل قيمة نسبية. ومع ذلك، فإن هذه الأرقاملا يُعرف أنها قابلة للتعبير عنها بذاتها بدلالة الدوال الأولية. وقد ثبت أنهو عدد متسامٍ ومستقل جبريًا عنلأي عدد صحيحوكل كسر من الكسور[ 10 ] بشكل عام ،عند حساب قيم دالة جاما، يجب علينا الاكتفاء بالتقريبات العددية .
تُوصَف مشتقات دالة غاما بدلالة دالة بولي غاما ، :بالنسبة لعدد صحيح موجبيمكن حساب مشتقة دالة غاما على النحو التالي:

أينهورقم التوافقي رقم وهو ثابت أويلر-ماسكيروني .
لالالمشتقة النونية لدالة غاما هي:(يمكن اشتقاق ذلك عن طريق تفاضل الشكل التكاملي لدالة غاما بالنسبة إلى . )
استخدام الهويةأينهي دالة زيتا لريمان ، وهوبالنسبة لكثير الحدود بيل ، لدينا على وجه الخصوص توسيع سلسلة لوران لدالة جاما [ 11 ]
عدم المساواة
عند اقتصارها على الأعداد الحقيقية الموجبة ، تكون دالة غاما دالة محدبة لوغاريتميًا تمامًا . ويمكن التعبير عن هذه الخاصية بإحدى الطرق الثلاث المتكافئة التالية:
- لأي عددين حقيقيين موجبينو، ولأي،
- لأي عددين حقيقيين موجبينو، و>
- لأي عدد حقيقي موجب،
العبارة الأخيرة من هذه العبارات، بحكم تعريفها، هي نفسها العبارة التي تقول، حيثهي دالة متعددة غاما من الرتبة 1. ولإثبات التحدب اللوغاريتمي لدالة غاما، يكفي بالتالي ملاحظة أنله تمثيل متسلسل يتكون، بالنسبة لـ x الحقيقي الموجب ، من حدود موجبة فقط.
يستلزم كل من التحدب اللوغاريتمي ومتباينة جنسن معًا، لأي أعداد حقيقية موجبة و،
توجد أيضًا حدود على نسب دوال غاما. وأشهرها متباينة غاوتشي ، التي تنص على أنه لأي عدد حقيقي موجب x وأي s ∈ (0, 1) ،
معادلة ستيرلينغ


سلوكبالنسبة لمتغير حقيقي موجب متزايد، يتم التعبير عنه بواسطة صيغة ستيرلينغحيث الرمزيعني التقارب التقاربي: نسبة الطرفين تتقارب إلى في حدود[ 1 ] هذا النمو أسرع من النمو الأسي ،، لأي قيمة ثابتة لـ .
حدٌّ مفيدٌ آخر للتقريبات التقاربية لـيكون:
عند كتابة حد الخطأ كحاصل ضرب لانهائي، يمكن استخدام صيغة ستيرلينغ لتعريف دالة جاما: [ 12 ]
امتداد للقيم السالبة وغير الصحيحة
على الرغم من أن التعريف الرئيسي لدالة غاما - تكامل أويلر من النوع الثاني - صالح فقط (على المحور الحقيقي) للوسائط الموجبة، إلا أنه يمكن توسيع نطاقها باستخدام الاستمرار التحليلي [ 13 ] إلى الوسائط السالبة عن طريق تحويل الوسيط السالب إلى قيم موجبة باستخدام صيغة انعكاس أويلر،أو الخاصية الأساسية،عندماعلى سبيل المثال ،
المخلفات
السلوك غير الإيجابيالأمر أكثر تعقيدًا. لا يتقارب تكامل أويلر من أجل لكن الدالة التي تُعرّفها في النصف الموجب من المستوى المركب لها امتداد تحليلي فريد إلى النصف السالب. إحدى طرق إيجاد هذا الامتداد التحليلي هي استخدام تكامل أويلر للأعداد الموجبة وتوسيع نطاقه إلى الأعداد السالبة من خلال تطبيق صيغة التكرار بشكل متكرر، [ 1 ]اختياربحيثموجب. يكون حاصل الضرب في المقام صفرًا عندمايساوي أيًا من الأعداد الصحيحةوبالتالي ، يجب أن تكون دالة غاما غير معرفة عند تلك النقاط لتجنب القسمة على صفر ؛ فهي دالة ميرومورفية ذات أقطاب بسيطة عند الأعداد الصحيحة غير الموجبة. [ 1 ]
لوظيفةلمتغير مركب، عند عمود بسيط، بقايايُعطى بواسطة:
للعمود البسيط، يمكن إعادة كتابة صيغة التكرار على النحو التالي:البسط في، هووالمقامإذن فإن بقايا دالة جاما عند تلك النقاط هي: [ 14 ]دالة غاما لا تساوي الصفر في كل مكان على طول خط الأعداد الحقيقية، على الرغم من أنها تقترب من الصفر بشكل تعسفي عندمافي الواقع ، لا يوجد عدد مركبوالتي من أجلهاوبالتالي دالة غاما المقلوبةهي دالة كاملة ، مع أصفار عند [ 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 ]
يجب أن تتبادل دالة غاما الإشارة بين قطبيها عند الأعداد الصحيحة غير الموجبة لأن حاصل الضرب في التكرار الأمامي يحتوي على عدد فردي من العوامل السالبة إذا كان عدد الأقطاب بينويكون العدد فرديًا، ويكون زوجيًا إذا كان عدد الأقطاب زوجيًا. [ 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... إلخ.
التمثيلات التكاملية
هناك العديد من الصيغ، إلى جانب تكامل أويلر من النوع الثاني، التي تعبر عن دالة غاما كتكامل. على سبيل المثال، عندما يكون الجزء الحقيقي منموجب، [ 23 ]و [ 24 ] حيث تُستنتج التكاملات الثلاثة على التوالي من عمليات الاستبدال ،[ 25 ] و[ 26 ] في تكامل أويلر الثاني. يوضح التكامل الأخير على وجه الخصوص العلاقة بين دالة غاما عند وسائط نصف عدد صحيح والتكاملالغاوسي: إذانحصل
تنص الصيغة التكاملية الأولى لـ Binet لدالة جاما على أنه عندما يكون الجزء الحقيقي من z موجبًا، فإن: [ 27 ]يمكن تفسير التكامل الموجود على الجانب الأيمن على أنه تحويل لابلاس . أي،
تنص صيغة بينيه التكاملية الثانية على أنه، مرة أخرى عندما يكون الجزء الحقيقي من z موجبًا، فإن: [ 28 ]
ليكن C مسار هانكل ، أي مسار يبدأ وينتهي عند النقطة ∞ على كرة ريمان ، ويتقارب متجه المماس الوحدوي الخاص به إلى -1 عند بداية المسار وإلى 1 عند نهايته، وله عدد لفات 1 حول 0 ، ولا يتقاطع مع . أصلح فرعًا منعن طريق قطع فرع على طولوبأخذأن تكون حقيقياً عندمايقع على المحور الحقيقي السالب. إذاإذا لم يكن عددًا صحيحًا، فإن صيغة هانكل لدالة جاما هي: [ 29 ]أينيُفسر على أنهتؤدي صيغة الانعكاس إلى التعبير ذي الصلة الوثيقةوهو أمر صالح في كل مرة .
تمثيل الكسور المستمر
يمكن أيضًا تمثيل دالة جاما بمجموع كسرين مستمرين : [ 30 ] [ 31 ]أين .
توسيع متسلسلة فورييه
يُمكن تمثيل لوغاريتم دالة غاما على النحو التالي باستخدام متسلسلة فورييه : والتي نُسبت لفترة طويلة إلى إرنست كومر ، الذي اشتقها في عام 1847. [ 32 ] [ 33 ] ومع ذلك، اكتشف ياروسلاف بلاغوشين أن كارل يوهان مالمستين هو أول من اشتق هذه السلسلة في عام 1842. [ 34 ] [ 35 ]
صيغة رابي
في عام 1840 أثبت جوزيف لودفيج رابي أنعلى وجه الخصوص، إذاثم
يمكن اشتقاق الأخير بأخذ اللوغاريتم في صيغة الضرب أعلاه، مما يعطي تعبيرًا عن مجموع ريمان للدالة المُكاملة. بأخذ النهاية لـيعطي الصيغة.
دالة باي
يُعدّ الترميز البديل الذي قدمه غاوس هو-دالة، وهي نسخة مُزاحة من دالة جاما: لهذا السبب.لكل عدد صحيح غير سالب .
باستخدام دالة باي، تكون صيغة الانعكاس كالتالي: باستخدام دالة sinc المعيارية ؛ بينما تصبح نظرية الضرب كما يلي:
يُشار أحيانًا إلى دالة غاما المقلوبة المُزاحة بـ ، وظيفة كاملة.
يمكن التعبير عن حجم مجسم بيضاوي ذي n نصف قطر r₁ ، ...، rₙ على النحو التالي :
العلاقة بالوظائف الأخرى
- في التكامل الأول الذي يُعرّف دالة غاما، تكون حدود التكامل ثابتة. أما دالة غاما غير الكاملة العليا فتُحسب بالسماح لحدود التكامل الدنيا بالتغير.توجد دالة غاما غير مكتملة سفلية مماثلة.
- ترتبط دالة غاما بدالة بيتا لأويلر بالصيغة التالية:
- يُطلق على المشتق اللوغاريتمي لدالة جاما اسم دالة ديجاما ؛ أما المشتقات الأعلى فتُسمى دوال بوليجاما .
- إن نظير دالة جاما على حقل منتهٍ أو حلقة منتهية هو مجموع جاوس ، وهو نوع من المجموع الأسي .
- دالة غاما المقلوبة هي دالة كاملة وقد تمت دراستها كموضوع محدد.
- تظهر دالة غاما أيضًا في علاقة مهمة مع دالة زيتا لريمان ، .كما يظهر في الصيغة التالية:وهو صالح فقط لـ .يُحقق لوغاريتم دالة جاما الصيغة التالية التي وضعها ليرش:أيندالة زيتا لهرويتز ،هي دالة زيتا لريمان والعلامة ( ′ ) تشير إلى التفاضل في المتغير الأول.
- ترتبط دالة غاما بالدالة الأسية الممتدة . على سبيل المثال، عزوم تلك الدالة هي
قيم محددة
بما في ذلك أول 20 رقمًا بعد الفاصلة العشرية، فإن بعض القيم المحددة لدالة جاما هي: (يمكن إيجاد هذه الأرقام في OEIS . [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] القيم المعروضة هنا مُقتطعة وليست مُقرّبة.) دالة غاما ذات القيم المركبة غير مُعرّفة للأعداد الصحيحة غير الموجبة، ولكن في هذه الحالات، يمكن تعريف القيمة في كرة ريمان على النحو التالي : . دالة غاما المقلوبة معرفة جيدًا وتحليليةعند هذه القيم (وفي المستوى المركب بأكمله ) :
دالة لوغاريتم جاما

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

يُستخدم غالبًا لأنه يسمح بتحديد قيم الدالة في شريط واحد بعرض 1 بوصةمن الشريط المجاور. على وجه الخصوص، بدءًا بتقريب جيد لـمع الجزء الحقيقي الكبير، يمكن للمرء أن ينزل خطوة بخطوة إلى الأسفل إلى المطلوب. بناءً على إشارة من كارل فريدريش جاوس ، اقترح روكتايشل (1922) لـتقريب للقيم الكبيرة :
يمكن استخدام هذا لتقريب دقيقلمع حجم أصغرعن طريق (بيبومر، 1939)
يمكن الحصول على تقريب أكثر دقة باستخدام المزيد من الحدود من التوسعات التقاربية لـووالتي تستند إلى تقريب ستيرلينغ.
في عرض أكثر "طبيعية"،
معاملات الحدود التي ل في التوسعة الأخيرة هي ببساطةحيثهي أرقام برنولي .
كما أن دالة جاما لها سلسلة ستيرلينغ (التي اشتقها تشارلز هيرميت في عام 1900) تساوي [ 43 ].
ملكيات
تنص نظرية بور -موليروب على أنه من بين جميع الدوال التي تُوسّع دوال المضروب إلى الأعداد الحقيقية الموجبة، فإن دالة غاما فقط هي دالة لوغاريتمية محدبة ، أي أن لوغاريتمها الطبيعي محدب على محور الأعداد الحقيقية الموجبة. وتُقدّم نظرية فيلاندت وصفًا آخر لهذه الدالة .
دالة غاما هي الدالة الوحيدة التي تحقق في آن واحد ما يلي:
- ،
- لجميع الأعداد المركبةباستثناء الأعداد الصحيحة غير الموجبة، و،
- بالنسبة للعدد الصحيح n ،لجميع الأعداد المركبة[ 1 ]
بمعنى ما، تُعدّ دالة لوغاريتم غاما الشكل الأكثر طبيعية؛ فهي تُوضّح بعض الخصائص الجوهرية للدالة. ومن الأمثلة البارزة على ذلك متسلسلة تايلور للوغاريتم غاما حول 1: مع تشير إلى دالة زيتا لريمان عند .
لذا، باستخدام الخاصية التالية: التمثيل التكاملي لدالة لوغاريتم غاما هو: أو، ضبطللحصول على تكامل لـ، يمكننا استبدالقم بدمج الحد مع تكامله في الصيغة أعلاه، لتحصل على:
توجد أيضًا صيغ خاصة للوغاريتم دالة غاما للأعداد النسبيةعلى سبيل المثال، إذاوهي أعداد صحيحةوثم [ 44 ]تُستخدم هذه الصيغة أحيانًا في الحسابات العددية، لأن الدالة التكاملية تتناقص بسرعة كبيرة.
التكامل على لوغاريتم جاما
التكامل يمكن التعبير عنها بدلالة دالة بارنز G [ 45 ] [ 46 ] ( انظر دالة بارنز G للحصول على برهان): أين .
ويمكن كتابتها أيضًا بدلالة دالة زيتا لهورويتز : [ 47 ] [ 48 ]
متىويترتب على ذلك أن وهذا أيضًا نتيجة لصيغة رابي . وقد استنتج إسبينوزا ومول صيغة مماثلة لتكامل مربع : [ 49 ] أينهو .
قدّم دي إتش بيلي وزملاؤه [ 50 ] تقييمًا لـ متىمن حيث دالة زيتا تورنهايم-ويتن ومشتقاتها.
بالإضافة إلى ذلك، من المعروف أيضًا أن [ 51 ]
التقريبات

يمكن تقريب القيم المركبة لدالة جاما باستخدام تقريب ستيرلينغ أو تقريب لانكزوس ،وهذا دقيق بمعنى أن نسبة التقريب إلى القيمة الحقيقية تقترب منفي الحد كما .
يمكن حساب دالة غاما بدقة ثابتة لـبتطبيق التكامل بالتجزئة على تكامل أويلر. لأي عدد موجب يمكن كتابة دالة جاما على النحو التالي
عندماو، القيمة المطلقة للتكامل الأخير أصغر منباختيار حجم كبير بما فيه الكفاية، يمكن تصغير هذا التعبير الأخير منلأي قيمة مطلوبةوبالتالي ، يمكن تقييم دالة غاما على النحو التالي:بعض الدقة في السلسلة المذكورة أعلاه.
قام إي. أ. كاراتسوبا بوضع خوارزمية سريعة لحساب دالة غاما لأويلر لأي وسيط جبري (بما في ذلك الأعداد النسبية). [ 52 ] [ 53 ] [ 54 ]
بالنسبة للوسائط التي هي مضاعفات صحيحة لـويمكن أيضًا تقييم دالة جاما بسرعة باستخدامتكرارات المتوسط الحسابي الهندسي (انظر القيم المحددة لدالة جاما ) . [ 55 ]
التطبيقات العملية
بخلاف العديد من الدوال الأخرى، مثل التوزيع الطبيعي ، لا يوجد تطبيق واضح وسريع ودقيق وسهل التنفيذ لدالة جاما.يسهل العثور عليه. لذلك، يجدر البحث عن حلول محتملة. في حال كانت السرعة أهم من الدقة، يمكن الاطلاع على الجداول المنشورة لـيمكن العثور عليها بسهولة عبر البحث على الإنترنت، مثل مكتبة وايلي الإلكترونية. ويمكن استخدام هذه الجداول مع الاستيفاء الخطي . ويمكن الحصول على دقة أكبر باستخدام الاستيفاء التكعيبي ، ولكن على حساب زيادة العبء الحسابي.عادةً ما تُنشر الجداول لقيم الوسائط بين 1 و2، والخاصيةيمكن استخدامها لترجمة جميع القيم الحقيقية بسرعة وسهولةوفي النطاق، بحيث لا يتم استخدام سوى القيم المجدولة لـيجب استخدام ما بين 1 و 2. [ 56 ]
إذا لم تكن جداول الاستيفاء مرغوبة، فإن تقريب لانكزوس المذكور أعلاه يعمل بشكل جيد بدقة تتراوح من رقم إلى رقمين للقيم الصغيرة الشائعة الاستخدام لـ. إذا لم يكن تقريب لانكزوس دقيقًا بما فيه الكفاية،فيمكن استخدام صيغة ستيرلينغ لدالة جاما .
التطبيقات
يصف أحد المؤلفين دالة غاما بأنها "ربما أكثر الدوال الخاصة شيوعًا ، أو أقلها خصوصية. أما الدوال المتسامية الأخرى [...] فتُسمى "خاصة" لأنه يُمكن تجنب بعضها بالابتعاد عن العديد من المواضيع الرياضية المتخصصة. من ناحية أخرى، فإن دالة غاما"من الصعب جداً تجنبه." [ 57 ]
مشاكل التكامل
تُستخدم دالة غاما في مجالات متنوعة مثل فيزياء الكم ، والفيزياء الفلكية ، وديناميكا الموائع . [ 58 ] ويُستخدم توزيع غاما، الذي يُصاغ بدلالة دالة غاما، في الإحصاء لنمذجة نطاق واسع من العمليات؛ على سبيل المثال، الفترة الزمنية بين وقوع الزلازل. [ 59 ]
السبب الرئيسي لفائدة دالة غاما في مثل هذه السياقات هو شيوع التعبيرات من النوع والتي تصف العمليات التي تتلاشى أُسّيًا في الزمن أو المكان. يمكن أحيانًا حل تكاملات هذه التعبيرات بدلالة دالة غاما عندما لا يوجد حل أولي. على سبيل المثال، إذاهي دالة أسية وهي دالة خطية، تغيير بسيط للمتغيراتيقدم التقييم
إن حقيقة أن التكامل يتم على طول خط الأعداد الحقيقية الموجبة بالكامل قد تشير إلى أن دالة جاما تصف تراكم عملية تعتمد على الزمن وتستمر إلى أجل غير مسمى، أو قد تكون القيمة هي مجموع توزيع في فضاء لا نهائي.
من المفيد بالطبع في كثير من الأحيان أخذ حدود التكامل بخلافولوصف تراكم عملية محدودة، وفي هذه الحالة لا تُعدّ دالة غاما العادية حلاً؛ ويُطلق على الحل حينها اسم دالة غاما غير كاملة . (تُسمى دالة غاما العادية، التي يتم الحصول عليها بالتكامل عبر خط الأعداد الحقيقية الموجبة بالكامل، أحيانًا دالة غاما كاملة للمقارنة).
تُعد الدوال الغاوسية فئة مهمة من الدوال المتلاشية أُسّيًا. وتكاملاتها، مثل دالة الخطأ . توجد العديد من العلاقات المتبادلة بين هذه الدوال ودالة غاما؛ ولا سيما العاملتم الحصول عليها من خلال تقييمهو "نفس" ما تم العثور عليه في عامل التطبيع لدالة الخطأ والتوزيع الطبيعي .
تتضمن التكاملات التي نوقشت حتى الآن دوالًا متسامية ، لكن دالة غاما تنشأ أيضًا من تكاملات الدوال الجبرية البحتة. على وجه الخصوص، تُعطى أطوال أقواس القطع الناقص ومنحنى اللمنيسكات ، وهما منحنيات تُعرَّف بمعادلات جبرية، بواسطة تكاملات قطع ناقص يمكن في حالات خاصة حسابها بدلالة دالة غاما. كما يمكن استخدام دالة غاما لحساب "الحجم" و"المساحة" لـالكرات الفائقة ذات الأبعاد n .
حساب المنتجات
تُتيح قدرة دالة غاما على تعميم حاصل ضرب المضروب تطبيقاتٍ واسعة في العديد من فروع الرياضيات؛ في التوافقية ، وبشكلٍ أوسع في مجالاتٍ مثل نظرية الاحتمالات وحساب متسلسلات القوى . يمكن كتابة العديد من التعبيرات التي تتضمن حاصل ضرب أعداد صحيحة متتالية على شكل توليفة من المضروب، ولعلّ أهم مثال على ذلك هو معامل ذات الحدين . على سبيل المثال، لأي عددين مركبينو، معيمكننا أن نكتبوهو ما يشبه إلى حد كبير معامل ذي الحدين عندماهو عدد صحيح غير سالب،
يوضح مثال معاملات ذات الحدين سبب كون خصائص دالة غاما عند تعميمها على الأعداد السالبة طبيعية. يُعطي معامل ذات الحدين عدد الطرق الممكنة للاختيارعناصر من مجموعةالعناصر؛ إذابالطبع ، لا توجد أي طرق. إذاثم هو مضروب عدد صحيح سالب، وبالتالي فهو غير محدود إذا استخدمنا تعريف دالة غاما للمضروب - القسمة على اللانهاية تعطي القيمة المتوقعة لـ .
يمكننا استبدال المضروب بدالة غاما لتوسيع أي صيغة من هذا القبيل لتشمل الأعداد المركبة. عمومًا، ينجح هذا مع أي حاصل ضرب يكون فيه كل عامل دالة كسرية لمتغير الدليل، وذلك بتحليل الدالة الكسرية إلى تعبيرات خطية.وهي كثيرات حدود أحادية من الدرجةومع جذورهم الخاصةولدينا
إذا توفرت لدينا طريقة لحساب دالة غاما عدديًا، فسيكون من السهل جدًا حساب القيم العددية لهذه المنتجات. يعتمد عدد دوال غاما في الطرف الأيمن فقط على درجة كثيرات الحدود، لذا لا يهم ما إذا كان يساوي 5 أو 10 5. وبأخذ النهايات المناسبة، يمكن جعل المعادلة صحيحة حتى عندما يحتوي الضرب الأيسر على أصفار أو أقطاب.
باستخدام النهايات، يمكن حساب بعض نواتج الضرب الكسري ذات العوامل اللانهائية بدلالة دالة غاما. وبفضل نظرية تحليل فايرشتراس ، يمكن كتابة الدوال التحليلية على شكل نواتج ضرب لانهائية، ويمكن أحيانًا تمثيلها على شكل نواتج ضرب أو قسمة منتهية لدالة غاما. وقد رأينا مثالًا بارزًا: صيغة الانعكاس تُمثل دالة الجيب أساسًا كحاصل ضرب دالتين غاما. انطلاقًا من هذه الصيغة، يمكن التعبير عن الدالة الأسية، بالإضافة إلى جميع الدوال المثلثية والزائدية ، بدلالة دالة غاما.
ويمكن تمثيل المزيد من الدوال، بما في ذلك الدالة الهندسية الفائقة وحالاتها الخاصة، عن طريق التكاملات المعقدة للخطوط الكنتورية لمنتجات وقسمة دالة جاما، والتي تسمى تكاملات ميلين بارنز .
نظرية الأعداد التحليلية
من تطبيقات دالة غاما دراسة دالة زيتا لريمان . ومن الخصائص الأساسية لدالة زيتا لريمان معادلتها الوظيفية :
من بين أمور أخرى، يوفر هذا شكلاً صريحاً للاستمرار التحليلي لدالة زيتا إلى دالة ميرومورفية في المستوى المركب، ويؤدي إلى برهان مباشر على أن دالة زيتا لها عدد لا نهائي من الأصفار "التافهة" على خط الأعداد الحقيقية. [ 60 ] صيغة أخرى قوية هي
تم اشتقاق كلا الصيغتين بواسطة برنارد ريمان في ورقته البحثية الرائدة عام 1859 " Ueber die Anzahl der Primzahlen unter einer gegebenen Größe " ("حول عدد الأعداد الأولية الأقل من مقدار معين")، وهي إحدى المعالم البارزة في تطور نظرية الأعداد التحليلية - فرع الرياضيات الذي يدرس الأعداد الأولية باستخدام أدوات التحليل الرياضي.
تاريخ
استحوذت دالة غاما على اهتمام بعضٍ من أبرز علماء الرياضيات على مرّ العصور. ويعكس تاريخها، الذي وثّقه فيليب ج. ديفيس بشكلٍ خاص في مقالٍ فاز به بجائزة شوفينيه عام 1963 ، العديد من التطورات الرئيسية في الرياضيات منذ القرن الثامن عشر. وكما قال ديفيس: "لقد وجد كل جيل شيئًا ذا قيمة ليقوله عن دالة غاما. ولعلّ الجيل القادم سيفعل ذلك أيضًا." [ 1 ]
القرن الثامن عشر: أويلر وستيرلنغ

يبدو أن مشكلة توسيع نطاق حساب المضروب ليشمل الوسائط غير الصحيحة قد تم تناولها لأول مرة من قبل دانيال برنولي وكريستيان غولدباخ في عشرينيات القرن الثامن عشر. وعلى وجه الخصوص، في رسالة من برنولي إلى غولدباخ بتاريخ 6 أكتوبر 1729، قدم برنولي تمثيل الضرب [ 61 ].وهو محدد جيدًا للقيم الحقيقية لـ x بخلاف الأعداد الصحيحة السالبة.
قدم ليونارد أويلر لاحقاً تعريفين مختلفين: الأول لم يكن تكامله، بل كان ناتج ضرب لانهائي معرف جيداً لجميع الأعداد المركبة n باستثناء الأعداد الصحيحة السالبة.وأبلغ غولدباخ بذلك في رسالة مؤرخة في 13 أكتوبر 1729. ثم كتب إلى غولدباخ مرة أخرى في 8 يناير 1730، ليُعلن اكتشافه للتمثيل التكاملي. وهو ما يكون صحيحًا عندما يكون الجزء الحقيقي من العدد المركبأكبر من(أي، ) . بتغيير المتغيراتيصبح هذا التكامل هو تكامل أويلر المألوف. نشر أويلر نتائجه في ورقة بحثية بعنوان "De progressionibus transcendentibus seu quarum termini generales algebraice dari nequeunt" ("حول المتتابعات المتسامية، أي تلك التي لا يمكن التعبير عن حدودها العامة جبريًا")، والتي قُدّمت إلى أكاديمية سانت بطرسبرغ في 28 نوفمبر 1729. [ 62 ] اكتشف أويلر أيضًا بعض الخصائص الوظيفية المهمة لدالة غاما، بما في ذلك صيغة الانعكاس.
حاول جيمس ستيرلنغ ، وهو معاصر لأويلر، إيجاد صيغة متصلة للمضروب، وتوصل إلى ما يُعرف الآن بصيغة ستيرلنغ . على الرغم من أن صيغة ستيرلنغ تعطي تقديرًا جيدًا لـوحتى بالنسبة للأعداد غير الصحيحة، فإنها لا تعطي القيمة الدقيقة. وقد قدم ستيرلنغ نفسه وجاك فيليب ماري بينيه امتدادات لصيغته لتصحيح الخطأ.
القرن التاسع عشر: غاوس، وويرستراس، وليجندر

أعاد كارل فريدريش جاوس كتابة ناتج أويلر على النحو التالي:واستخدم هذه الصيغة لاكتشاف خصائص جديدة لدالة غاما. مع أن أويلر كان رائدًا في نظرية المتغيرات المركبة، إلا أنه لا يبدو أنه قد درس مضروب العدد المركب، كما فعل غاوس أولًا. [ 63 ] كما أثبت غاوس نظرية الضرب لدالة غاما، وبحث في العلاقة بين دالة غاما والتكاملات الإهليلجية .
وقد رسّخ كارل فايرشتراس دور دالة غاما في التحليل المركب ، انطلاقاً من تمثيل آخر للمنتج.أينهو ثابت أويلر-ماسكيروني . كتب فايرشتراس في الأصل ناتجه على أنه واحد لـوفي هذه الحالة ، يتم أخذها على أصفار الدالة بدلاً من أقطابها. واستلهاماً من هذه النتيجة، أثبت ما يُعرف بنظرية تحليل فايرشتراس - وهي أن أي دالة كاملة يمكن كتابتها كحاصل ضرب على أصفارها في المستوى المركب؛ وهو تعميم للنظرية الأساسية في الجبر .
اسم دالة جاما ورمزهاتم تقديمها بواسطة أدريان ماري ليجندر حوالي عام 1811؛ كما أعاد ليجندر كتابة تعريف أويلر للتكامل في شكله الحديث. على الرغم من أن الرمز هو حرف غاما يوناني كبير، إلا أنه لا يوجد معيار مقبول لكتابة اسم الدالة، سواء كان "دالة غاما" أو "دالة غاما" (يكتب بعض المؤلفين ببساطة " -دالة "). الصيغة البديلة "دالة باي"يُصادف أحيانًا مصطلح "بسبب غاوس" في الأدبيات القديمة، لكن تدوين ليجندر هو السائد في الأعمال الحديثة.
من المبرر التساؤل عن سبب التمييز بين "العامل المضروب العادي" ودالة غاما باستخدام رموز مختلفة، وخاصةً لماذا يجب تطبيع دالة غاما إلىبدلاً من استخدام ضع في اعتبارك أن رمز الأسس هوتم تعميمها من الأعداد الصحيحة إلى الأعداد المركبةدون أي تغيير. دوافع ليجندر وراء هذا التوحيد غير معروفة، وقد انتقده البعض ووصفوه بالمعقد (فعلى سبيل المثال، وصفه عالم الرياضيات كورنيليوس لانكزوس ، من القرن العشرين ، بأنه "خالٍ من أي منطق" وكان يفضل استخدام [ 64 ] يُبسّط توحيد ليجندر بعض الصيغ، ولكنه يُعقّد صيغًا أخرى. من وجهة نظر حديثة، يُعد توحيد ليجندر لدالة غاما تكامل الخاصية الجمعية .ضد الطابع المضاعف فيما يتعلق بمقياس هارفي مجموعة لايوبالتالي ، فإن هذا التوحيد يجعل من الواضح أن دالة جاما هي نظير مستمر لمجموع جاوس . [ 65 ]
القرنان التاسع عشر والعشرين: توصيف دالة غاما
من الإشكاليات وجود عدد كبير من التعريفات لدالة غاما. فرغم أنها تصف الدالة نفسها، إلا أن إثبات التكافؤ ليس بالأمر الهين. لم يثبت ستيرلنغ قط أن صيغته الموسعة تُطابق تمامًا دالة غاما لأويلر؛ وقد قدم تشارلز هيرميت أول برهان في هذا الشأن عام ١٩٠٠. [ ٦٦ ] وبدلًا من البحث عن برهان خاص لكل صيغة، يُستحسن وجود طريقة عامة لتحديد دالة غاما.
إحدى طرق إثبات التكافؤ هي إيجاد معادلة تفاضلية تُميّز دالة غاما. تنشأ معظم الدوال الخاصة في الرياضيات التطبيقية كحلول لمعادلات تفاضلية، حلولها فريدة. مع ذلك، لا يبدو أن دالة غاما تُحقق أي معادلة تفاضلية بسيطة. أثبت أوتو هولدر عام ١٨٨٧ أن دالة غاما، على الأقل، لا تُحقق أي معادلة تفاضلية جبرية، وذلك بإثبات أن حلًا لمثل هذه المعادلة لا يُمكن أن يُحقق صيغة التكرار لدالة غاما، مما يجعلها دالة متسامية . تُعرف هذه النتيجة بنظرية هولدر .
لم يُقدَّم وصفٌ دقيقٌ وعامٌّ لدالة غاما حتى عام 1922. ثم أثبت هارالد بور ويوهانس موليروب ما يُعرف بنظرية بور-موليروب : أن دالة غاما هي الحل الوحيد لعلاقة التكرار العاملي ، وهي دالة موجبة ومحدبة لوغاريتميًا لقيم موجبة لـ .وقيمتها فيهو( تكون الدالة محدبة لوغاريتميًا إذا كان لوغاريتمها محدبًا). وهناك توصيف آخر يُعطى بواسطة نظرية فيلاندت .
تُعدّ نظرية بور-موليروب مفيدةً لسهولة إثبات التحدب اللوغاريتمي لأيٍّ من الصيغ المختلفة المستخدمة لتعريف دالة غاما. وبالتوسع في هذا الأمر، فبدلاً من تعريف دالة غاما بصيغةٍ مُحددة، يُمكننا اختيار شروط نظرية بور-موليروب كتعريفٍ لها، ثم اختيار أيّ صيغةٍ تُحقق هذه الشروط كنقطة انطلاقٍ لدراسة دالة غاما. وقد استخدمت مجموعة بورباكي هذا النهج .
يستعرض بورواين وكورليس ثلاثة قرون من العمل على دالة جاما. [ 67 ]
جداول مرجعية وبرامج

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

تتوفر الآن تطبيقات دالة غاما ولوغاريتمها بدقة مزدوجة في معظم برامج الحوسبة العلمية ومكتبات الدوال الخاصة، مثل TK Solver و Matlab و GNU Octave ومكتبة GNU العلمية . كما أُضيفت دالة غاما إلى مكتبة C القياسية ( math.h ). وتتوفر تطبيقات بدقة اختيارية في معظم أنظمة الجبر الحاسوبي ، مثل Mathematica و Maple . وتحتوي مكتبات PARI/GP و MPFR وMPFUN على تطبيقات مجانية بدقة اختيارية. وفي بعض الآلات الحاسبة ، مثل آلة حاسبة Windows وآلة حاسبة GNOME ، تُرجع دالة المضروب قيمة معينة .عندما يكون الإدخالهي قيمة غير صحيحة. [ 70 ] [ 71 ]
انظر أيضاً
ملحوظات
- ١ ٢ ٣ ٤ ٥ ٦ ٧ ٨ ٩ ١٠ ١١ ١٢ ١٣ ١٤ ديفيس ، بي جيه (١٩٥٩). "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" . المجلة الرياضية الأمريكية الشهرية . ٦٦ (١٠): ٨٤٩-٨٦٩ . doi : 10.2307/2309786 . JSTOR 2309786. مؤرشف من الأصل في ٧ نوفمبر ٢٠١٢. تم الاسترجاع في ٣ ديسمبر ٢٠١٦ .
- ↑ "هل دالة جاما غير محددة بشكل صحيح؟ أو: هادامارد مقابل أويلر - من وجد دالة جاما الأفضل؟ "
- ↑ بيالز، ريتشارد؛ وونغ، رودريك (2010). الدوال الخاصة: نص للدراسات العليا . مطبعة جامعة كامبريدج. ص 28. ISBN 978-1-139-49043-6.مقتطف من الصفحة 28
- ↑ روس، كلاي سي. (2013). المعادلات التفاضلية: مقدمة باستخدام برنامج Mathematica ( طبعة مصورة). سبرينغر ساينس آند بيزنس ميديا. ص 293. ISBN 978-1-4757-3949-7.التعبير G.2 في الصفحة 293
- ↑ كينغمان، جيه إف سي (1961). "خاصية التحدب للمصفوفات الموجبة". المجلة الفصلية للرياضيات . 12 (1): 283-284 . Bibcode : 1961QJMat..12..283K . doi : 10.1093/qmath/12.1.283 .
- ↑ وايسشتاين، إريك دبليو. "نظرية بور-موليروب" . عالم الرياضيات .
- ↑ ديفيس، فيليب. "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" (ملف PDF) . maa.org .
- ^ ماركو بونفيني (9 أكتوبر 2010). “وظيفة جاما” (PDF) . Roma1.infn.it .
- ↑ أسكي، ر. أ .؛ روي، ر. (2010)، "متسلسلات التوسع" ، في أولفر، فرانك و. ج .؛ لوزير، دانيال م.؛ بويسفيرت، رونالد ف.؛ كلارك، تشارلز و. (محررون)، دليل المعهد الوطني للمعايير والتكنولوجيا للدوال الرياضية ، مطبعة جامعة كامبريدج، رقم ISBN 978-0-521-19225-5MR 2723248 .
- ↑ فالدشميدت، م. (2006). "تجاوز الدورات: أحدث ما توصل إليه العلم" (ملف PDF) . مجلة الرياضيات البحتة والتطبيقية الفصلية . 2 (2): 435-463 . doi : 10.4310/pamq.2006.v2.n2.a3 . مؤرشف (ملف PDF) من الأصل في 6 مايو 2006.
- ↑ "كيفية الحصول على متسلسلة لوران لدالة غاما حول z=0؟" . موقع تبادل الأسئلة والأجوبة الرياضية . تم الاطلاع عليه بتاريخ 17 أغسطس 2022 .
- ↑ آرتين، إميل (2015). دالة غاما . دوفر. ص 24.
- ↑ أولدهام، كيث؛ مايلاند، جان؛ سبانير، جيروم (2010). "الفصل 43 - دالة جاماأطلس الدوال (الطبعة الثانية ) . نيويورك، نيويورك: سبرينغر ساينس آند بيزنس ميديا. رقم ISBN 9780387488073.
- 1 2 وايسشتاين، إريك دبليو. "دالة جاما" . عالم الرياضيات .
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A030169 (التوسيع العشري للعدد الحقيقي x بحيث يكون y = Gamma(x) قيمة صغرى)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A030171 (التوسيع العشري للعدد الحقيقي y بحيث يكون y = Gamma(x) قيمة صغرى)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A178840 (التوسيع العشري لمضروب النسبة الذهبية)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A175472 (التوسيع العشري للقيمة المطلقة لفاصلة القيمة العظمى المحلية لدالة غاما في الفترة [ -1، 0 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A175473 (التوسيع العشري للقيمة المطلقة لفاصلة الحد الأدنى المحلي لدالة غاما في الفترة [ -2، -1 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A175474 (التوسيع العشري للقيمة المطلقة لفاصلة القيمة العظمى المحلية لدالة غاما في الفترة [ -3، -2 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A256681 (التوسيع العشري للفاصلة [ المعكوسة ] للحد الأدنى المحلي لدالة غاما في الفترة [ -4، -3 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A256682 (التوسيع العشري للفاصلة [ المعكوسة ] للقيمة القصوى المحلية لدالة غاما في الفترة [ -5، -4 ] )" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ غرادشتين، آي إس؛ ريزيك، آي إم (2007). جدول التكاملات والمتسلسلات والمنتجات (الطبعة السابعة ). دار النشر الأكاديمية. ص 893. ISBN 978-0-12-373637-6.
- ↑ ويتاكر وواتسون، 12.2 مثال 1.
- ↑ ديتليف، غروناو. "لماذا دالة غاما على هذا النحو؟" (ملف PDF) . Imsc.uni-graz.at .
- ↑ باسكال سيباه، كزافييه غوردون. "مقدمة في دالة غاما" (ملف PDF) . حساب الأعداد . مؤرشف من الأصل (ملف PDF) بتاريخ 30 يناير 2023. تم الاطلاع عليه بتاريخ 30 يناير 2023 .
- ↑ ويتاكر وواتسون، 12.31.
- ↑ ويتاكر وواتسون، 12.32.
- ↑ ويتاكر وواتسون، 12.22.
- ↑ "التكامل الأسي E: تمثيلات الكسور المستمرة (الصيغة 06.34.10.0005)" .
- ↑ "التكامل الأسي E: تمثيلات الكسور المستمرة (الصيغة 06.34.10.0003)" .
- ↑ باتمان، هاري؛ إرديلي، آرثر (1955). الدوال المتعالية العليا . ماكجرو هيل. OCLC 627135 .
- ↑ سريفاستافا، إتش إم؛ تشوي، جيه. (2001). المتسلسلات المرتبطة بدالة زيتا والوظائف ذات الصلة . هولندا: كلوير أكاديميك. ISBN 0-7923-7054-6.
- ↑ بلاغوشين، ياروسلاف ف. (2014). "إعادة اكتشاف تكاملات مالمستين، وتقييمها باستخدام طرق التكامل الكفافي وبعض النتائج ذات الصلة" . مجلة رامانوجان . 35 (1): 21-110 . doi : 10.1007/s11139-013-9528-5 . S2CID 120943474 .
- ↑ بلاغوشين، ياروسلاف ف. (2016). "تصحيح وإضافة إلى "إعادة اكتشاف تكاملات مالمستين، وتقييمها بواسطة طرق التكامل الكفافي وبعض النتائج ذات الصلة"". رامانوجان ج . 42 (3): 777– 781. doi : 10.1007/s11139-015-9763-z . S2CID 125198685 .
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A245886 (التوسيع العشري لـ Gamma(-3/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A019707 (التوسيع العشري للجذر التربيعي لـ π/5)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A002161 (التوسيع العشري للجذر التربيعي لـ π)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A019704 (التوسيع العشري للجذر التربيعي لـ π/2)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A245884 (التوسيع العشري لـ Gamma(5/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ سلون، ن. ج. أ. (محرر). "المتتالية A245885 (التوسيع العشري لـ Gamma(7/2)، حيث Gamma هي دالة غاما لأويلر)" . الموسوعة الإلكترونية لمتتاليات الأعداد الصحيحة . مؤسسة OEIS.
- ↑ "دالة غاما اللوغاريتمية" . وولفرام ماث وورلد . تم الاطلاع عليه في 3 يناير 2019 .
- ↑ "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما" (ملف PDF) . مؤرشف (ملف PDF) من الأصل بتاريخ 12 سبتمبر 2014. تم الاطلاع عليه بتاريخ 11 أبريل 2022 .
- ↑ بلاغوشين، ياروسلاف ف. (2015). "نظرية للتقييم المغلق لثابت ستيلتجس المعمم الأول عند الوسائط النسبية وبعض المجاميع ذات الصلة". مجلة نظرية الأعداد . 148 : 537-592 . arXiv : 1401.3724 . doi : 10.1016/j.jnt.2014.08.009 .
- ^ أليكسيجوسكي، الفسفور الأبيض (1894). "Über eine Classe von Funktionen, die der Gammafunktion Analog sind" [ في فئة الوظائف المشابهة لوظيفة جاما ] . لايبزيغ ويدمانش بوخهاندلونغ . 46 : 268 – 275.
- ↑ بارنز، إي دبليو (1899). "نظرية الدالة G ". المجلة الفصلية للرياضيات 31 : 264-314 .
- ↑ آدمتشيك، فيكتور س. (1998). "دوال بوليغاما من الرتبة السالبة" . مجلة الحوسبة والرياضيات التطبيقية . 100 (2): 191-199 . doi : 10.1016/S0377-0427(98)00192-7 .
- ↑ جوسبر، آر دبليو (1997). "" في الدوال الخاصة، ومتسلسلات q، والمواضيع ذات الصلة". مجلة الجمعية الأمريكية للرياضيات 14 .
- ↑ إسبينوزا، أوليفييه؛ مول، فيكتور هـ. (2002). "حول بعض التكاملات التي تتضمن دالة زيتا لهرويتز: الجزء 1". مجلة رامانوجان . 6 (2): 159-188 . doi : 10.1023/A:1015706300169 . S2CID 128246166 .
- ↑ بيلي، ديفيد هـ.؛ بورواين، ديفيد؛ بورواين، جوناثان م. (2015). "حول تكاملات غاما اللوغاريتمية لأويلر ودوال زيتا لتورنهايم-ويتن". مجلة رامانوجان . 36 ( 1-2 ): 43-68 . doi : 10.1007/s11139-012-9427-1 . S2CID 7335291 .
- ↑ أمديبرهان، ت.؛ كوفي، مارك و.؛ إسبينوزا، أوليفييه؛ كوتشان، كريستوف؛ مانا، دانتي ف.؛ مول، فيكتور هـ. (2011). "تكاملات قوى لوغاما" . وقائع الجمعية الأمريكية للرياضيات. 139 ( 2): 535-545 . doi : 10.1090/S0002-9939-2010-10589-0 .
- ↑ EA Karatsuba، التقييم السريع للدوال المتسامية. مشاكل نقل المعلومات. المجلد 27، العدد 4، الصفحات 339-360 (1991).
- ↑ إي إيه كاراتسوبا، حول طريقة جديدة للتقييم السريع للدوال المتسامية. مجلة الرياضيات الروسية، المجلد 46، العدد 2، الصفحات 246-247 (1991).
- ↑ إي إيه كاراتسوبا " الخوارزميات السريعة وطريقة FEE ".
- ↑ بورواين، جيه إم؛ زوكر، آي جيه (1992). "التقييم السريع لدالة غاما للكسور النسبية الصغيرة باستخدام التكاملات الإهليلجية الكاملة من النوع الأول". مجلة IMA للتحليل العددي . 12 (4): 519-526 . doi : 10.1093/IMANUM/12.4.519 .
- ↑ فيرنر، هيلموت؛ كولينج، روبرت (1961). "تقريبات تشيبيشيف لدالة غاما". الرياضيات والحساب . 15 (74): 195-197 . doi : 10.1090/S0025-5718-61-99220-1 . JSTOR 2004230 .
- ↑ ميشون، طبيب عام. " علم المثلثات والدوال الأساسية ". مؤرشف في 9 يناير 2010 في أرشيف الإنترنت . Numericana . تم الاطلاع عليه في 5 مايو 2007.
- ↑ شودري، م.أ.؛ زبير، س.م. (2001). حول فئة من دوال غاما غير الكاملة مع تطبيقات . بوكا راتون: مطبعة سي آر سي. ص 37. ISBN 1-58488-143-7.
- ↑ رايس، جيه إيه (1995). الإحصاء الرياضي وتحليل البيانات ( الطبعة الثانية). بلمونت: دار نشر دوكسبوري. الصفحات 52-53 . ISBN 0-534-20934-3.
- ↑ بورواين، ج.؛ بيلي، د.هـ.؛ وجيرجنسون، ر. (2003). التجريب في الرياضيات . إيه كيه بيترز. ص 133. ISBN 978-1-56881-136-9.
- ↑ "استيفاء العامل الطبيعي n ! أو ميلاد دالة العامل الحقيقي (1729-1826)" .
- ^ نُشرت ورقة أويلر في Commentarii academiae scientiarum Petropolitanae 5, 1738, 36–57. نرى E19 - Deprogressionibus transcendentibus seu quarum termini Generales algebraice dari nequeunt ، من أرشيف أويلر، والذي يتضمن نسخة ممسوحة ضوئيًا من المقالة الأصلية.
- ↑ ريمرت، ر. (2006). موضوعات كلاسيكية في نظرية الدوال المركبة . ترجمة كاي، إل دي. سبرينغر. رقم ISBN 978-0-387-98221-2.
- ↑ لانكزوس، سي. (1964). "تقريب دقيق لدالة غاما". مجلة جمعية الرياضيات الصناعية والتطبيقية، السلسلة ب: التحليل العددي . 1 (1): 86. Bibcode : 1964SJNA....1...86L . doi : 10.1137/0701008 .
- ↑ إيلكر إنام؛ إنجين بويوكاشك (2019). ملاحظات من المدرسة الدولية الخريفية حول نظرية الأعداد الحاسوبية . سبرينغر. ص 205. ISBN 978-3-030-12558-5.مقتطف من الصفحة 205
- ↑ كنوت، دي إي (1997). فن برمجة الحاسوب . المجلد 1 (الخوارزميات الأساسية). أديسون-ويسلي. ISBN 0-201-89683-4.
- ↑ بورواين، جوناثان م .؛ كورليس، روبرت م. (2017). "غاما والمضروب في الشهر". المجلة الرياضية الأمريكية الشهرية . 125 (5). الجمعية الرياضية الأمريكية: 400-424 . arXiv : 1703.05349 . Bibcode : 2017arXiv170305349B . doi : 10.1080/00029890.2018.1420983 . S2CID 119324101 .
- ↑ "ما هو تاريخ دالة غاما؟" . yearis.com . تم الاطلاع عليه بتاريخ 5 نوفمبر 2022 .
- ↑ بيري، م. (أبريل 2001). "لماذا الدوال الخاصة مميزة؟" . فيزياء اليوم .
- ↑ "microsoft/calculator" . GitHub . تم الاطلاع عليه بتاريخ 25 ديسمبر 2020 .
- ↑ "gnome-calculator" . GNOME.org . تم الاطلاع عليه بتاريخ 3 مارس 2023 .
- تتضمن هذه المقالة مواد من مقالة Citizendium بعنوان " دالة جاما "، المرخصة بموجب رخصة Creative Commons Attribution-ShareAlike 3.0 Unported ولكنها ليست مرخصة بموجب رخصة GFDL .
للمزيد من القراءة
- أبراموفيتز، ميلتون؛ ستيجون، إيرين أ.، محرران. (1972). "الفصل 6" . دليل الدوال الرياضية مع الصيغ والرسوم البيانية والجداول الرياضية . نيويورك: دوفر.
- أندروز، جي إي ؛ أسكي، آر؛ روي، آر (1999). "الفصل 1 (دوال غاما وبيتا)". الدوال الخاصة . نيويورك: مطبعة جامعة كامبريدج. ISBN 978-0-521-78988-2.
- آرتين، إميل (2006). "دالة غاما". في روزن، مايكل (محرر). عرض بقلم إميل آرتين: مختارات . تاريخ الرياضيات. المجلد 30. بروفيدنس، رود آيلاند: الجمعية الرياضية الأمريكية.
- أسكي، ر .؛ روي، ر. (2010)، "دالة غاما" ، في أولفر، فرانك دبليو جيه ؛ لوزير، دانيال إم؛ بويسفيرت، رونالد إف؛ كلارك، تشارلز دبليو (محررون)، دليل المعهد الوطني للمعايير والتكنولوجيا للدوال الرياضية ، مطبعة جامعة كامبريدج، ISBN 978-0-521-19225-5MR 2723248 .
- بيركوف، جورج د. (1913). "ملاحظة حول دالة غاما" . نشرة الجمعية الأمريكية للرياضيات 20 ( 1): 1-10 . doi : 10.1090/s0002-9904-1913-02429-7 . MR 1559418 .
- بوهمر، بي (1939). Differenzengleichungen und bestimmte Integrale [ المعادلات التفاضلية والتكاملات المحددة ] . لايبزيغ: كولر فيرلاج.
- ديفيس، فيليب ج. (1959). "تكامل ليونارد أويلر: لمحة تاريخية عن دالة غاما". المجلة الرياضية الأمريكية الشهرية . 66 (10): 849-869 . doi : 10.2307/2309786 . JSTOR 2309786 .
- بوست، إميل (1919). "دوال غاما المعممة". حوليات الرياضيات . السلسلة الثانية. 20 (3): 202-217 . doi : 10.2307/1967871 . JSTOR 1967871 .
- بريس، دبليو إتش؛ تيوكولسكي، إس إيه؛ فيترلينغ، دبليو تي؛ فلانيري، بي بي (2007). "القسم 6.1. دالة غاما" . وصفات عددية: فن الحوسبة العلمية ( الطبعة الثالثة). نيويورك: مطبعة جامعة كامبريدج. ISBN 978-0-521-88068-8.
- روكتاشيل، أو (1922). Methoden zur Berechnung der Gammafunktion für komplexes Argument [ طرق حساب دالة جاما للوسائط المعقدة ] . دريسدن: جامعة دريسدن التقنية .
- تيمي، نيكو م. (1996). الدوال الخاصة: مقدمة في الدوال الكلاسيكية للفيزياء الرياضية . نيويورك: جون وايلي وأولاده. ISBN 978-0-471-11313-3.
- ويتاكر، إي تي ؛ واتسون، جي إن (1927). دورة في التحليل الحديث . مطبعة جامعة كامبريدج.رقم الكتاب المعياري الدولي (ISBN) 978-0-521-58807-2
- لي، شين؛ تشين، تشاو بينغ (2017). "تقريب بادي المتعلق بالسلوك التقاربي لدالة غاما" . مجلة تطبيقات المتباينات . 2017 (1): 53. doi : 10.1186/s13660-017-1315-1 . PMC 5331117. PMID 28303079 .
روابط خارجية
- مكتبة NIST الرقمية للدوال الرياضية: دالة غاما
- باسكال سيباه وخافيير غوردون. مقدمة إلى دالة غاما . بصيغتي PostScript و HTML .
- مرجع C++ لـ
std::tgamma gamma()وتمlgamma()عرضها من C99 في إصدار Postgres 18- يمكن العثور على أمثلة للمسائل المتعلقة بدالة جاما على موقع Exampleproblems.com .
- "دالة جاما" ، موسوعة الرياضيات ، دار نشر EMS ، 2001 [1994]
- مُقيِّم دالة جاما في وولفرام (دقة اختيارية) مؤرشف بتاريخ ٢٨ أكتوبر ٢٠١٩ في أرشيف الإنترنت
- "غاما" . موقع وظائف وولفرام .
- حجم الكرات ذات الأبعاد n ودالة غاما على موقع MathPages
- جاما والوظائف ذات الصلة
- الدوال الهندسية الفائقة الخاصة
- الدوال الميرومورفية
