‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec.

2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫دالة جاما )‪)Gamma Function‬‬

‫‪‬‬
‫أ‪ .‬حنان صالح أبو شحمة‬
‫ملخص البحث‪:‬‬
‫تهدف هذه الورقة العلمية إلي دراسة دالة جاما وأهم نظرياتها‪ ,‬حيث تم استخدام‬
‫هذه النظريات في حل بعض المسائل‪.‬‬
‫الكلمات المفتاحية‪ :‬دالة جاما‪.‬‬
‫)‪ )1‬مقدمة البحث‪:‬‬
‫نظ ار لوجود جوانب متقدمة في الرياضيات التي تحتاج إلي دوال أخري غير‬
‫الدوال األولية والتي بواسطتها نستطيع حساب تكامالت صعبة أو حل معادالت‬
‫تفاضلية معقدة‪ ,‬لذلك ظهرت الحاجة إلي دوال خاصة مثل دالة جاما‪ ,‬بيتا‪ ,‬لجندر‬
‫وغيرها من الدوال الخاصة وهذه الدوال مهمة أيضا في مجاالت العلوم التطبيقية‪.‬‬
‫لقد عرفت هذه الدالة بطرق مختلفة ومن أهم هذه التعريفات ما يلي‪:‬‬
‫(‪ )1-1‬تعريف وايرستراس (‪[4] )Werierstrass definition‬‬
‫∞‬
‫‪1‬‬ ‫𝑧‬ ‫𝑧‬
‫} 𝑛‪= 𝑧𝑒 𝛾𝑧 ∏ {(1 + )𝑒 −‬‬
‫)𝑧( ‪‬‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫حيث … ‪ , 𝑧 ≠ 0, −1, −2,‬و𝛾 يسمي ثابت أويلر و يعرف بواسطة‬
‫𝑚‬
‫‪1‬‬
‫‪𝛾 = 𝑙𝑖𝑚 ∑ − 𝑙 𝑛(𝑚) ≅ 0.5772156649‬‬
‫∞→𝑚‬ ‫𝑘‬
‫‪𝑘=1‬‬
‫)‪ )2-1‬تعريف النهاية الالنهائية ألويلر(‪[4] )Infinite limit definition‬‬
‫‪n! nz‬‬
‫‪ (𝑧) = lim‬‬ ‫… ‪; z ≠ 0, −1, −2,‬‬
‫)‪n→∞ z(z + 1)(z + 2) … (z + n‬‬

‫قسم الرياضيات – كلية التربية – جامعة مصراتة‪.‬‬ ‫‪‬‬

‫‪431‬‬
Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016

Published on Web 01/12/2016

‫م‬2016 ‫ ديسمبر‬,‫ المجلد الثاني ـــ العدد السادس‬,‫ ليبيا‬,‫ جامعة مصراتة‬,‫المجلة العلمية لكلية التربية‬

:‫) و ذلك كاآلتي‬1- 1( ‫) من تعريف‬2 -1( ‫يمكن اشتقاق تعريف‬

∞
1 𝛾𝑧
𝑧 −𝑧
= 𝑧𝑒 ∏ {(1 + )𝑒 𝑛 }
 (𝑧) 𝑛
𝑛=1
𝑚
1 (1+12+13+⋯+𝑚
1 𝑧 𝑧
= 𝑧 lim 𝑒 −ln(𝑚))𝑧
∏ {(1 + )𝑒 −𝑛 }
 (𝑧) 𝑚→∞ 𝑛
𝑛=1
𝑚
1 (1+12+13+⋯+𝑚
1
−ln(𝑚))𝑧 (−𝑧−2𝑧−⋯−𝑚
𝑧
)
𝑧
= 𝑧 lim 𝑒 .𝑒 ∏ {(1 + )}
 (𝑧) 𝑚→∞ 𝑛
𝑛=1
𝑚
1 𝑧
= 𝑧 lim 𝑒 −𝑧𝑙𝑛(𝑚) . lim ∏(1 + )
 (𝑧) 𝑚→∞ 𝑚→∞ 𝑛
𝑛=1
𝑚
1 𝑛+𝑧
= 𝑧 lim 𝑚−𝑧 ∏( )
 (𝑧) 𝑚→∞ 𝑛
𝑛=1
1 1 (1 + 𝑧) (2 + 𝑧) (𝑚 + 𝑧)
= 𝑧 lim 𝑧 ∙ ∙ ⋯
 (𝑧) 𝑚→∞ 𝑚 1 2 𝑚
1 1 1
= 𝑧 lim 𝑧 ∙ (1 + 𝑧) (2 + 𝑧) … (𝑚 + 𝑧)
 (𝑧) 𝑚→∞ 𝑚 𝑚!
𝑚 = 𝑛 ‫بوضع‬
n! nz
 (𝑧) = lim
n→∞ z(z + 1)(z + 2) … (z + n)
[4] )Integral Euler definition( ‫) تعريف أويلر التكاملي‬3-1(

∞
 (𝑧) = ∫ 𝑒 −𝑡 𝑡 𝑧−1 𝑑𝑡; 𝑅𝑒(𝑧) > 0
0
[4] )Legender's duplication formula(‫) صيغة الجندر المضاعفة لدالة جاما‬4-1(
22𝑧−1 1
 (2𝑧) =  (𝑧)  (𝑧 + )
√π 2

432
‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫(‪ )2‬نظريات علي دالة جاما‬

‫نظرية (‪)1-2‬‬
‫𝟏 = )𝟏( ‪‬‬
‫اإلثبات أوال باستخدام تعريف (‪) 1-1‬‬
‫∞‬
‫‪1‬‬ ‫𝑧‬ ‫𝑧‬
‫} 𝑛‪= 𝑧𝑒 𝛾𝑧 ∏ {(1 + )𝑒 −‬‬
‫)𝑧( ‪‬‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫و بنفس الخطوات السابقة في اثبات تعريف (‪ )2-1‬نجد أن‬
‫𝑚‬
‫‪1‬‬ ‫𝑧‬
‫}) ‪= 𝑧 lim 𝑚−𝑧 ∏ {(1 +‬‬
‫)𝑧( ‪‬‬ ‫∞→𝑚‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫بوضع ‪ 𝑧 = 1‬نجد أن‪:‬‬
‫𝑚‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫}) ‪= 1 ∙ lim ∏ {(1 +‬‬
‫)‪ (1‬‬ ‫𝑚 ∞→𝑚‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫}) ‪= lim { (1 + 1) (1 + ) (1 + ) … (1 +‬‬
‫)‪ (1‬‬ ‫𝑚 ∞→𝑚‬ ‫‪2‬‬ ‫‪3‬‬ ‫𝑚‬
‫‪1‬‬ ‫‪1‬‬ ‫‪3 4‬‬ ‫𝑚‬ ‫‪𝑚+1‬‬
‫( … ) ( ) ( )‪= lim { (2‬‬ ‫()‬ ‫})‬
‫)‪ (1‬‬ ‫𝑚 ∞→𝑚‬ ‫‪2 3‬‬ ‫‪𝑚−1‬‬ ‫𝑚‬
‫‪1‬‬ ‫‪𝑚+1‬‬
‫({ ‪= lim‬‬ ‫})‬
‫)‪ (1‬‬ ‫∞→𝑚‬ ‫𝑚‬
‫‪1‬‬
‫‪= 1 →  (1) = 1‬‬
‫)‪ (1‬‬
‫ثانيا اإلثبات باستخدام تعريف (‪)2-1‬‬
‫‪z‬‬
‫‪n! n‬‬
‫{ ‪ (𝑧) = lim‬‬ ‫}‬
‫)‪n→∞ z(z + 1)(z + 2) … (z + n‬‬
‫بوضع ‪ 𝑧 = 1‬نجد أن‪:‬‬
‫‪n! n‬‬
‫{ ‪ (1) = lim‬‬ ‫}‬
‫∞→‪n‬‬ ‫)‪(1)(2)(3) … (1 + n‬‬
‫‪433‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫‪n! n‬‬ ‫‪n‬‬

‫{ ‪ (1) = lim‬‬ ‫( ‪} = lim‬‬ ‫)‬
‫∞→‪n‬‬ ‫!)‪(1 + n‬‬ ‫‪n→∞ n + 1‬‬
‫‪∴  (1) = 1‬‬
‫ثالثا اإلثبات باستخدام تعريف (‪)3-1‬‬
‫∞‬
‫𝑡𝑑 ‪ (𝑧) = ∫ 𝑒 −𝑡 𝑡 𝑧−1‬‬
‫‪0‬‬
‫بوضع ‪ 𝑧 = 1‬نجد أن‪:‬‬
‫∞‬ ‫∞‬
‫‪−𝑡 0‬‬
‫𝑒 ∫ = )‪ (1‬‬ ‫𝑡𝑑 𝑡‪𝑡 𝑑𝑡 = ∫ 𝑒 −‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪∴  (1) = 1‬‬
‫نظرية (‪)2-2‬‬
‫𝛄‪ ′(𝟏) = −‬‬
‫البرهان‬
‫إلثبات هذه النظرية نرجع إلي التعريف (‪)1-1‬‬
‫∞‬
‫‪1‬‬ ‫𝑧𝛾‬
‫𝑧‪𝑧 −‬‬
‫} 𝑛 𝑒 ) ‪= 𝑧𝑒 ∏ {(1 +‬‬
‫)𝑧( ‪‬‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫بأخذ لوغاريتم الطرفين‪:‬‬
‫∞‬
‫‪n+z‬‬ ‫‪z‬‬
‫( ‪− ln  (𝑧) = ln(z) + γz + ∑[ln‬‬ ‫] ‪)−‬‬
‫‪n‬‬ ‫‪n‬‬
‫‪n=1‬‬
‫بالتفاضل بالنسبة إلي 𝑧‬
‫∞‬
‫‪−1‬‬ ‫‪1‬‬ ‫‪n 1 1‬‬
‫({ ∑ ‪∙  ′(𝑧) = + γ +‬‬ ‫} ‪) −‬‬
‫)𝑧( ‪‬‬ ‫‪z‬‬ ‫‪n+z n n‬‬
‫‪n=1‬‬
‫∞‬
‫‪−1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫({ ∑ ‪∙  ′(𝑧) = + γ +‬‬ ‫} ‪)−‬‬
‫)𝑧( ‪‬‬ ‫‪z‬‬ ‫‪n+z‬‬ ‫‪n‬‬
‫‪n=1‬‬
‫نضع ‪𝑧 = 1‬‬
‫‪434‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫‪m‬‬
‫‪−1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫({ ∑ ‪∙  ′(1) = 1 + γ + lim‬‬ ‫} ‪)−‬‬
‫)‪ (1‬‬ ‫∞→‪m‬‬ ‫‪n+1‬‬ ‫‪n‬‬
‫‪n=1‬‬
‫‪−1‬‬ ‫‪1‬‬ ‫‪1 1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫( ‪∙  ′(1) = 1 + γ + lim [( − 1) + ( − ) + ⋯ +‬‬ ‫]) ‪−‬‬
‫)‪ (1‬‬ ‫‪m→∞ 2‬‬ ‫‪3 2‬‬ ‫‪m+1 m‬‬
‫‪−1‬‬ ‫‪1‬‬
‫‪∙  ′(1) = 1 + γ + lim (−1 +‬‬ ‫)‬
‫)‪ (1‬‬ ‫∞→‪m‬‬ ‫‪m+1‬‬
‫)‪−  ′(1‬‬
‫‪=1+𝛾−1‬‬
‫)‪ (1‬‬
‫𝛾)‪−  ′(1) =  (1‬‬
‫‪∴  ′(1) = −γ‬‬
‫نظرية (‪)3-2‬‬
‫𝟏‬
‫𝝅√ = ) ( ‪‬‬
‫𝟐‬
‫البرهان ‪ :‬من تعريف (‪ )3-1‬نجد أن‪:‬‬
‫∞‬
‫𝑡𝑑 ‪ (𝑧) = ∫ 𝑒 −𝑡 𝑡 𝑧−1‬‬
‫‪0‬‬
‫‪1‬‬
‫بوضع = 𝑧‬
‫‪2‬‬
‫∞‬
‫‪1‬‬ ‫‪1‬‬
‫𝑡𝑑 ‪ ( ) = ∫ 𝑒 −𝑡 𝑡 −2‬‬
‫‪2‬‬ ‫‪0‬‬
‫𝑡𝑑 = 𝑥𝑑𝑥‪𝑥 2 = 𝑡 → 2‬‬ ‫بفرض أن‬
‫‪𝑡=0→𝑥=0‬‬
‫∞=𝑥→∞=𝑡‬
‫∞‬
‫‪1‬‬ ‫‪−𝑥 2‬‬
‫‪1‬‬
‫‪2 −2‬‬
‫=𝐼∴‬ ‫‪‬‬ ‫(‬ ‫)‬ ‫=‬ ‫‪2‬‬ ‫∫‬ ‫𝑒‬ ‫𝑥(‬ ‫)‬ ‫𝑥𝑑 𝑥 ‪.‬‬
‫‪2‬‬ ‫‪0‬‬
‫∞‬
‫𝑥‪−‬‬ ‫‪2‬‬
‫𝑒 ∫‪𝐼 = 2‬‬ ‫𝑥𝑑‬
‫∞ ‪0‬‬ ‫∞‬ ‫∞‬ ‫∞‬
‫‪2‬‬ ‫‪−𝑥 2 −𝑦 2‬‬ ‫) ‪2 +𝑦 2‬‬
‫𝑒 ∫ ∫‪𝐼 = 4‬‬ ‫𝑒‬ ‫𝑥(‪𝑑𝑥𝑑𝑦 = 4 ∫ ∫ 𝑒 −‬‬ ‫𝑦𝑑𝑥𝑑‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫و بداللة اإلحداثيات القطبية )𝜃 ‪ (𝑟,‬نجد أن‪:‬‬
‫‪435‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫𝜃𝑑𝑟𝑑𝑟 = 𝑦𝑑𝑥𝑑 ‪𝑥 = 𝑟𝑐𝑜𝑠(𝜃), 𝑦 = 𝑟 sin(𝜃),‬‬

‫و بالتالي يصبح التكامل كما يلي‪:‬‬
‫𝜋‬
‫∞‬ ‫‪2‬‬
‫𝜋 = 𝜗𝑑𝑟𝑑𝑟 𝑟‪𝐼 = 4 ∫0 ∫0 𝑒 −‬‬
‫‪2‬‬ ‫‪2‬‬

‫∞‬
‫‪1‬‬ ‫‪1‬‬
‫‪−𝑡 −2‬‬
‫𝐼‬
‫= ∴‬ ‫‪‬‬ ‫(‬ ‫)‬ ‫=‬ ‫∫‬ ‫𝑒‬ ‫𝑡‬ ‫𝜋√ = 𝑡𝑑‬
‫‪2‬‬ ‫‪0‬‬
‫نظرية (‪)4-2‬‬
‫)𝒛( ‪ (𝒛 + 𝟏) = 𝒛 ‬‬
‫البرهان‪ :‬أوال باستخدام تعريف (‪)1-1‬‬
‫∞‬
‫‪1‬‬ ‫𝑧𝛾‬
‫𝑧‪𝑧 −‬‬
‫} 𝑛 𝑒 ) ‪= 𝑧𝑒 ∏ {(1 +‬‬
‫)𝑧( ‪‬‬ ‫𝑛‬
‫‪𝑛=1‬‬
‫و بنفس الخطوات السابقة في إثبات تعريف (‪ )2-1‬نجد أن‪:‬‬
‫‪1‬‬ ‫)𝑚 ‪1 (𝑧 + 1) (𝑧 + 2) (𝑧 +‬‬
‫∙ 𝑧 ‪= 𝑧 lim‬‬ ‫∙‬ ‫⋯‬
‫)𝑧( ‪‬‬ ‫𝑚 ∞→𝑚‬ ‫‪1‬‬ ‫‪2‬‬ ‫𝑚‬
‫بوضع )‪ (𝑧 + 1‬بدال من 𝑧‬
‫‪1‬‬ ‫‪1‬‬ ‫)‪(𝑧 + 2) (𝑧 + 3) (𝑧 + 𝑚 + 1‬‬
‫∙ ‪= (𝑧 + 1) lim 𝑧+1‬‬ ‫∙‬ ‫⋯‬
‫)‪ (𝑧 + 1‬‬ ‫𝑚 ∞→𝑚‬ ‫‪1‬‬ ‫‪2‬‬ ‫𝑚‬
‫)‪ (𝑧 + 1‬‬
‫=‬
‫)𝑧( ‪‬‬
‫𝑧‬ ‫)𝑚 ‪𝑚 𝑧+1 (𝑧 + 1)(𝑧 + 2) … (𝑧 +‬‬
‫‪lim‬‬ ‫∙‬
‫𝑧 𝑚 ∞→𝑚 )‪(𝑧 + 1‬‬ ‫𝑚 … ‪1.2‬‬
‫𝑚 … ‪1.2‬‬
‫∙‬
‫)‪(𝑧 + 2)(𝑧 + 3) … (𝑧 + 𝑚 + 1‬‬
‫)‪ (𝑧 + 1‬‬ ‫𝑧‬ ‫‪𝑚 𝑧+1‬‬ ‫)‪(𝑧 + 1‬‬
‫=‬ ‫‪lim‬‬ ‫∙‬
‫)𝑧( ‪‬‬ ‫)‪(𝑧 + 1) 𝑚→∞ 𝑚 𝑧 (𝑧 + 𝑚 + 1‬‬
‫)‪ (𝑧 + 1‬‬ ‫𝑚‬
‫‪= 𝑧. lim‬‬
‫)𝑧( ‪‬‬ ‫)‪𝑚→∞ (𝑧 + 𝑚 + 1‬‬
‫)‪ (𝑧 + 1‬‬
‫∴‬ ‫)𝑧( ‪= 𝑧 →  (𝑧 + 1) = 𝑧 ‬‬
‫)𝑧( ‪‬‬
‫‪436‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫ثانيا باستخدام تعريف (‪)2-1‬‬

‫‪n! nz‬‬
‫‪ (𝑧) = lim‬‬
‫)‪n→∞ z(z + 1)(z + 2) … (z + n‬‬
‫بوضع ‪ 𝑧 + 1‬بدال من 𝑧‬
‫‪n! nz+1‬‬
‫‪ (𝑧 + 1) = lim‬‬
‫)‪n→∞ (z + 1)(z + 2) … (z + n + 1‬‬
‫)‪ (𝑧 + 1‬‬ ‫‪n! nz+1‬‬ ‫)‪z(z + 1)(z + 2) … (z + n‬‬
‫‪= lim‬‬ ‫∙‬
‫)𝑧( ‪‬‬ ‫)‪n→∞ (z + 1)(z + 2) … (z + n + 1‬‬ ‫‪n! nz‬‬
‫)‪ (𝑧 + 1‬‬ ‫‪nz‬‬ ‫‪n‬‬
‫( ‪= lim‬‬ ‫( ‪) = 𝑧 lim‬‬ ‫)‬
‫)𝑧( ‪‬‬ ‫‪n→∞ z + n + 1‬‬ ‫‪n→∞ z + n + 1‬‬
‫)‪ (𝑧 + 1‬‬
‫)𝑧( ‪= 𝑧 →  (𝑧 + 1) = 𝑧 ‬‬
‫)𝑧( ‪‬‬
‫ثالثا باستخدام تعريف (‪)3-1‬‬
‫∞‬
‫𝑡𝑑 ‪ (𝑧) = ∫ 𝑒 −𝑡 𝑡 𝑧−1‬‬
‫‪0‬‬
‫بوضع ‪ 𝑧 + 1‬بدال من 𝑧‬
‫∞‬
‫𝑡𝑑 𝑧 𝑡 𝑡‪ (𝑧 + 1) = ∫ 𝑒 −‬‬
‫‪0‬‬
‫باستخدام التكامل بالتجزئة نجد أن‬
‫𝑧‬ ‫‪𝑧−1‬‬
‫𝑡𝑑 𝑡𝑧 = 𝑢𝑑 → 𝑡 = 𝑢‬
‫𝑡‪𝑑𝑣 = 𝑒 −𝑡 𝑑𝑡 → 𝑣 = −𝑒 −‬‬
‫∞‬
‫𝑡𝑑 ‪ (𝑧 + 1) = 0 + ∫ 𝑧𝑒 −𝑡 𝑡 𝑧−1‬‬
‫‪0‬‬
‫)𝑧( ‪∴  (𝑧 + 1) = 𝑧 ‬‬
‫من النظرية السابقة نستنتج أن ‪:‬‬
‫!𝒏 = )𝟏 ‪ ,  (𝒏 +‬حيث 𝑛 عدد صحيح موجب‬

‫‪437‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫البرهان‬
‫)𝑛( ‪ (𝑛 + 1) = 𝑛 ‬‬
‫)‪= 𝑛(𝑛 − 1)  (𝑛 − 1‬‬
‫)‪= 𝑛(𝑛 − 1)(𝑛 − 2)  (𝑛 − 2‬‬
‫)‪= 𝑛(𝑛 − 1)(𝑛 − 2)(𝑛 − 3) ⋯ (3)(2)(1‬‬
‫!𝑛 = )‪∴  (𝑛 + 1‬‬
‫مالحظة (‪)1‬‬
‫إذا كان 𝑛 عدد صحيح سالب فإن )∞‪ , (𝑛! = ±‬فإذا كان ‪ , 𝑛 = −1‬فإن‬
‫∞‪ (−1 + 1) = −1! →  (0) = ±‬‬
‫أي أن عندما تقترب 𝑛 من الصفر من ناحية اليمين فان )‪  (0‬تقترب من ∞ و‬
‫في حالة 𝑛 تقترب من الصفر من ناحية اليسار فان )‪  (0‬تقترب من ∞‪.−‬‬
‫فإن‬ ‫‪,‬‬ ‫‪𝑛 = −2‬‬ ‫يكون‬ ‫وعندما‬
‫∞‪ (−2 + 1) = −2! →  (−1) = ±‬‬
‫بذلك نستطيع القول بأن }‪ (𝑛) = ±∞, 𝑛 ∈ 𝑍 − ∪ {0‬‬
‫مالحظة (‪)2‬‬
‫لحساب دالة جاما للقيم غير الصحيحة السالبة نستخدم النظرية (‪)4-2‬‬
‫)‪ (𝑧 + 1‬‬
‫= )𝑧( ‪‬‬
‫𝑧‬
‫نظرية (‪)5-2‬‬
‫𝑛𝑛 𝑛‪𝑛! ≅ √2𝜋𝑛𝑒 −‬‬
‫الصيغة‬ ‫نستخدم‬ ‫أن‬ ‫يمكن‬ ‫كبيرة‬ ‫𝑛‬ ‫تكون‬ ‫فعندما‬
‫𝑛𝑛 𝑛‪ ,  (𝑛 + 1) = 𝑛! ≅ √2𝜋𝑛𝑒 −‬و تسمي بصيغة "سترلنج لدالة جاما"‬
‫البرهان‬
‫∞‬ ‫∞‬

‫𝑥𝑑 𝑥‪ (𝑛 + 1) = ∫ 𝑒 −𝑥 𝑥 𝑛 𝑑𝑥 = ∫ 𝑒 𝑛𝑙𝑛𝑥−‬‬

‫‪0‬‬ ‫‪0‬‬

‫‪438‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫وحيث أن الدالة 𝑥 ‪ 𝑛𝑙𝑛𝑥 −‬لها نهاية عظمي عندما 𝑛 = 𝑥 لذا نستخدم التعويض‬
‫𝑦‬
‫) 𝑛 ‪𝑥 = 𝑛 + 𝑦 = 𝑛(1 +‬‬
‫= )‪ (𝑛 + 1‬‬
‫∞‬ ‫∞‬ ‫𝑦‬
‫𝑦𝑑 𝑦‪𝑒 −𝑛 ∫−𝑛 𝑒 −𝑛𝑙𝑛(𝑛+𝑦)−𝑦 𝑑𝑦 = 𝑒 −𝑛 ∫−𝑛 𝑒 𝑛𝑙𝑛𝑛+𝑛𝑙𝑛(1+𝑛 ) −‬‬
‫∞‬
‫𝑦‬
‫𝑦𝑑 𝑦‪= 𝑛𝑛 𝑒 −𝑛 ∫ 𝑒 𝑛𝑙𝑛(1+𝑛 ) −‬‬
‫𝑛‪−‬‬
‫وباستخدام النتيجة التالية سوف نحصل علي حلول تقريبية‪:‬‬
‫‪𝑥2 𝑥3‬‬
‫‪ln(1 + 𝑥) = 𝑥 −‬‬ ‫‪+‬‬
‫‪2 3‬‬
‫⋯‪−‬‬
‫𝑦‬
‫=𝑥‬ ‫نفرض أن‬
‫𝑛‬
‫∞‬
‫‪3‬‬
‫𝑦 ‪−𝑦2‬‬
‫𝑛‪𝑛 −‬‬ ‫‪+‬‬ ‫⋯‪−‬‬
‫𝑒 𝑛 ≅ )‪∴  (𝑛 + 1‬‬ ‫𝑒∫‬ ‫‪2𝑛 3𝑛2‬‬ ‫𝑦𝑑‬
‫𝑛‪−‬‬
‫𝑦‬
‫=𝑣‬ ‫بوضع‬
‫𝑛√‬
‫∞‬ ‫‪3‬‬
‫𝑣 ‪−𝑣2‬‬
‫‪+‬‬ ‫⋯‪−‬‬
‫𝑒 ∫ 𝑛√ 𝑛‪∴  (𝑛 + 1) ≅ 𝑛𝑛 𝑒 −‬‬ ‫‪2‬‬ ‫𝑛 √‪3‬‬ ‫𝑣𝑑‬
‫𝑛√‪−‬‬
‫∞‬
‫‪−𝑣2‬‬
‫𝑒 ∫ 𝑛√ 𝑛‪∴  (𝑛 + 1) ≅ 𝑛𝑛 𝑒 −‬‬ ‫‪2‬‬ ‫𝑛‪𝑑𝑣 ≅ √2𝜋𝑛𝑛𝑛 𝑒 −‬‬
‫∞‪−‬‬
‫نظرية (‪)6-2‬‬
‫𝑛‪22‬‬ ‫‪1‬‬
‫= !)𝑛‪(2‬‬ ‫)‪𝑛!  (𝑛 + 2‬‬
‫𝜋√‬
‫البرهان‬
‫)‪(2𝑛)! = 2𝑛(2𝑛 − 1)(2𝑛 − 2)(2𝑛 − 3) ⋯ (3)(2)(1‬‬
‫‪1‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪1‬‬
‫)‪= 2(𝑛)2 (𝑛 − 2) 2(𝑛 − 1)2(𝑛 − 2) ⋯ 2(2)2(2‬‬

‫‪439‬‬
‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫وبما أن‪:‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪1‬‬
‫) ( ‪  (𝑛 + ) = (𝑛 − ) (𝑛 − ) ⋯ ( )( ) ‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫كذلك 𝜋√ = )‪  (1‬فإن‪:‬‬
‫‪2‬‬
‫𝑛‪22‬‬
‫= !)𝑛‪∴ (2‬‬ ‫)‪𝑛!  (𝑛 + 12‬‬
‫𝜋√‬
‫نظرية )‪)7-2‬‬
‫من أهم النظريات علي تعريف أويلر التكاملي هي‪:‬‬
‫∞‬
‫𝑚𝑛‬ ‫‪1‬‬ ‫‪𝑚+1‬‬
‫( ‪∫ e−𝑥 √𝑥 𝑑𝑥 = ‬‬ ‫)‬
‫‪0‬‬ ‫𝑛‬ ‫𝑛𝑚‬
‫البرهان‪:‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫= 𝑥𝑑 → 𝑛 𝑦 = 𝑥‬ ‫𝑛‬
‫‪−1‬‬
‫نفرض أن 𝑦𝑑‬
‫𝑛‬
‫∞‬
‫𝑚 𝑛 𝑥‪−‬‬
‫‪1 ∞ −𝑦 1 1 −1‬‬
‫‪∴∫ e‬‬ ‫𝑦𝑑 𝑛 𝑦 𝑛𝑚 ‪√𝑥 𝑑𝑥 = ∫ e y‬‬
‫‪0‬‬ ‫‪𝑛 0‬‬
‫)𝑛𝑚‪1 ∞ −𝑦 (1+𝑚−‬‬
‫𝑦𝑑 𝑛𝑚 ‪= ∫ e y‬‬
‫‪𝑛 0‬‬
‫ولكن 𝑦𝑑‬
‫∞‬ ‫‪−𝑦 𝑧−1‬‬
‫‪ (𝑧) = ∫0‬‬ ‫𝑦‬

‫∞‬
‫𝑚𝑛‬ ‫‪1‬‬ ‫‪𝑚+1‬‬
‫= 𝑥𝑑 𝑥√ 𝑥‪∴ ∫ e−‬‬ ‫(‪‬‬ ‫)‬
‫‪0‬‬ ‫𝑛‬ ‫𝑛𝑚‬
‫(‪ )3‬أمثلة تطبيقية علي دالة جاما‬
‫مثال (‪)1‬‬
‫)‪(  (−3‬ب) ‪(  (5) ,‬أ)‬ ‫احسب‬
‫‪2‬‬ ‫‪2‬‬
‫)𝑧( ‪ (𝑧 + 1) = 𝑧 ‬‬ ‫الحل ‪( :‬أ) حسب نظرية )‪)4.2‬‬
‫‪5‬‬ ‫‪3 1‬‬ ‫‪1‬‬ ‫‪3‬‬
‫= ) ( ‪‬‬ ‫𝜋√ = )‪×  (2‬‬
‫‪2‬‬ ‫‪2 2‬‬ ‫‪4‬‬

‫‪440‬‬
‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫(ب) من المالحظة (‪)2‬‬

‫‪−1‬‬ ‫‪1‬‬
‫)‪ (𝑧 + 1‬‬ ‫‪−3‬‬ ‫) ‪( 2‬‬ ‫‪1‬‬ ‫)‪ (2‬‬ ‫‪4‬‬
‫= )𝑧( ‪‬‬ ‫→‬ ‫) (‪‬‬ ‫=‬ ‫‪−3‬‬ ‫× ‪= −3‬‬ ‫‪−1‬‬ ‫𝜋√ =‬
‫𝑧‬ ‫‪2‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫‪3‬‬
‫مثال (‪)2‬‬
‫∞‬ ‫‪1‬‬ ‫‪3‬‬ ‫∞‬
‫احسب ‪( ∫0 3−4𝑧 𝑑𝑧 ,‬ج) ‪( ∫0 (ln(𝑥1))2 𝑑𝑥 ,‬ب) ‪(∫0 t 4 e−t dt ,‬أ)‬
‫‪2‬‬

‫∞‬
‫‪∫0 t 4 e−t dt =  (5) = 4! = 24‬‬ ‫الحل (أ)‬
‫(ب) بفرض أن‬
‫‪1‬‬
‫𝑥𝑑 = 𝑢𝑑 𝑢‪𝑢 = ln (𝑥) → 𝑒 −𝑢 = 𝑥 → −𝑒 −‬‬
‫‪𝑥 = 0 → 𝑢 = ∞,‬‬ ‫‪𝑥=1→𝑢=0‬‬
‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪3‬‬
‫𝜋√ = )‪∴ ∫(ln(𝑥)) 𝑑𝑥 = ∫ 𝑢2 (−𝑒 −𝑢 )𝑑𝑢 =  (2‬‬
‫‪2‬‬
‫‪4‬‬
‫‪0‬‬ ‫∞‬
‫∞‬ ‫∞‬
‫𝑧‪( ∫0 3−4𝑧 𝑑𝑧 = ∫0 𝑒 −4‬ج)‬
‫‪2‬‬ ‫‪2 𝑙𝑛3‬‬
‫𝑧𝑑‬
‫‪𝑢 = 4𝑧 2 𝑙𝑛3‬‬ ‫بفرض أن‬
‫∞‬ ‫∞‬
‫‪−4𝑧 2‬‬ ‫‪2 𝑙𝑛3‬‬
‫‪∴∫3‬‬ ‫𝑧‪𝑑𝑧 = ∫ 𝑒 −4‬‬ ‫𝑧𝑑‬
‫‪0‬‬ ‫‪0‬‬
‫∞‬ ‫∞‬
‫‪1‬‬ ‫𝑢𝑑‬ ‫‪1‬‬ ‫‪−1‬‬
‫𝑢‪= ∫ 𝑒 −‬‬ ‫=‬ ‫𝑢𝑑 𝑢‪∫ 𝑢 2 𝑒 −‬‬
‫‪√𝑢 4√𝑙𝑛3‬‬ ‫‪4√𝑙𝑛3‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫𝜋√‬
‫=‬ ‫=) (‪‬‬
‫‪2‬‬
‫‪4√𝑙𝑛3‬‬ ‫‪4√𝑙𝑛3‬‬
‫مثال (‪)3‬‬
‫اثبت أن ‪ (𝑛) = ∫0 (ln(𝑥1))𝑛−1 𝑑𝑥 , 𝑛 > 0‬‬
‫‪1‬‬

‫الحل بفرض أن‪:‬‬

‫‪441‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫‪1‬‬
‫𝑡𝑑 𝑡‪ln ( ) = 𝑡 → 𝑥 = 𝑒 −𝑡 → 𝑑𝑥 = −𝑒 −‬‬
‫𝑥‬
‫‪1‬‬ ‫‪0‬‬ ‫∞‬
‫‪1‬‬
‫)𝑛( ‪∫(ln(𝑥))𝑛−1 𝑑𝑥 = ∫ 𝑡 𝑛−1 (−𝑒 −𝑡 )𝑑𝑡 = ∫ 𝑡 𝑛−1 (𝑒 −𝑡 )𝑑𝑡 = ‬‬
‫‪0‬‬ ‫∞‬ ‫‪0‬‬
‫مثال (‪ )4‬اثبت أن‬
‫‪1‬‬
‫)𝑥‪ (𝑥)  (𝑥 + ) = 21−2𝑥 √𝜋  (2‬‬
‫‪2‬‬
‫الحل بما أن‬
‫)‪ (𝑥) = (𝑥 − 1)! = (𝑥 − 1)(𝑥 − 2)(𝑥 − 3) ⋯ (3)(2)(1) → (1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪5‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪1‬‬
‫)‪  (𝑥 + ) = (𝑥 − 2) (𝑥 − 2) (𝑥 − 2) ⋯ (2) (2 )  (2) → (2‬‬
‫‪2‬‬
‫‪2‬‬
‫بضرب كل حد من حدود (‪ )1‬في‬
‫‪2‬‬
‫)‪(2𝑥 − 2)(2𝑥 − 4) ⋯ (6)(4)(2‬‬
‫= )𝑥( ‪‬‬
‫‪2𝑥−1‬‬ ‫‪1‬‬
‫باستخراج كعامل مشترك من كل حد من حدود (‪)2‬‬
‫‪2‬‬
‫‪1‬‬ ‫‪1‬‬
‫𝜋√)‪  (𝑥 + ) = 𝑥 (2𝑥 − 1)(2𝑥 − 3) ⋯ (3‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪1‬‬ ‫𝜋√‪(2𝑥 − 1)(2𝑥 − 2)(2𝑥 − 3)(2𝑥 − 4) ⋯ (4)(3)2‬‬
‫= )‪ (𝑥)  (𝑥 + 2‬‬
‫‪2𝑥 2𝑥−1‬‬
‫‪1‬‬ ‫𝜋√ !)‪(2𝑥 − 1‬‬
‫= ) ‪ (𝑥)  (𝑥 +‬‬
‫‪2‬‬ ‫‪22𝑥−1‬‬
‫‪1‬‬
‫‪ (𝑥)  (𝑥 +‬‬
‫‪2‬‬
‫)‬ ‫)𝑥‪= 21−2𝑥 √𝜋  (2‬‬
‫مثال (‪ )5‬بين أن‬
‫𝜋‬
‫= )𝑧 ‪ (𝑧)  (1 −‬‬
‫)𝑧𝜋(𝑛𝑖𝑠‬
‫من تعريف (‪)2-1‬‬
‫𝑧 𝑛 !𝑛‬
‫𝑚𝑖𝑙 = )𝑧( ‪‬‬
‫)𝑛 ‪𝑛→∞ 𝑧(𝑧 + 1)(𝑧 + 2) … (𝑧 +‬‬

‫‪442‬‬
 ‫‪Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016‬‬

‫‪Published on Web 01/12/2016‬‬

‫المجلة العلمية لكلية التربية‪ ,‬جامعة مصراتة‪ ,‬ليبيا‪ ,‬المجلد الثاني ـــ العدد السادس‪ ,‬ديسمبر ‪2016‬م‬

‫بوضع ‪ 1 −‬بدال من 𝑧‬
‫𝑧‪𝑛! 𝑛1−‬‬
‫𝑚𝑖𝑙 = )𝑧 ‪ (1 −‬‬
‫)𝑧 ‪𝑛→∞ (1 − 𝑧)(2 − 𝑧) … (𝑛 + 1 −‬‬
‫𝑛 ‪(𝑛!)2‬‬
‫𝑚𝑖𝑙 = )𝑧 ‪ (𝑧)  (1 −‬‬
‫)𝑧 ‪𝑛→∞ 𝑧(𝑧 + 1) … (𝑧 + 𝑛)(1 − 𝑧)(2 − 𝑧) … (𝑛 + 1 −‬‬

‫تنسيق الحدود في المقام‬

‫‪1‬‬ ‫‪(n!)2 n‬‬
‫‪= lim‬‬
‫)‪n→∞ z (1 − z 2 )(22 − z 2 ) ⋯ (n2 − z 2 )(n + 1 − z‬‬
‫‪1‬‬ ‫‪1‬‬ ‫𝑛‬
‫𝑚𝑖𝑙 =‬ ‫𝑚𝑖𝑙‬ ‫(‬ ‫)‬
‫𝑧 ‪𝑧 𝑛→∞ (1 − 𝑧 2 ) (1 − (𝑧)2 ) ⋯ (1 − ( 𝑧 )2 ) 𝑛→∞ 1 + 𝑛 −‬‬
‫‪2‬‬ ‫𝑛‬

‫‪1‬‬ ‫‪1‬‬
‫=‬ ‫𝑚𝑖𝑙‬
‫) ‪𝑧 𝑛→∞ ∏𝑚 (1 − ( 𝑧 )2‬‬
‫‪𝑛=1‬‬ ‫𝑛‬
‫∞‬
‫‪1‬‬ ‫‪1‬‬
‫( ∏ = )𝑧 ‪ (𝑧)  (1 −‬‬ ‫)‬
‫𝑧‬ ‫‪𝑧 2‬‬
‫) (‪1−‬‬ ‫‪𝑛=1‬‬ ‫𝑛‬
‫𝜋‬
‫وهو عبارة عن مفكوك‬
‫)𝑧𝜋(𝑛𝑖𝑠‬
‫𝜋‬
‫)𝑧𝜋(𝑛𝑖𝑠 = )𝑧 ‪∴  (𝑧)  (1 −‬‬
‫الخالصة‪:‬‬
‫إن دالة جاما عرفت بعدة صور و كل صورة اعتمدت علي مفهوم معين وتنوع‬
‫هذه الصور أدي إلي تنوع استخدام دالة جاما في مسائل تطبيقية مختلفة‪ ,‬ودالة جاما‬
‫ناد ار ما تظهر في صورة تعريف (‪ )1-1‬و (‪ )2-1‬في التطبيقات و لكن في األغلب‬
‫تظهر في صورة تكامالت أي تظهر في صورة تعريف (‪ )3-1‬وهو األكثر شيوعا‬
‫وعرفت جاما في غيره من الصور‪ ,‬وذلك إلمكانية حساب دالة جاما لألعداد السالبة‪.‬‬

‫‪443‬‬
 Scientific Journal of Faculty of Education, Misurata University-Libya, Vol. 2, No. 6, Dec. 2016

Published on Web 01/12/2016

‫م‬2016 ‫ ديسمبر‬,‫ المجلد الثاني ـــ العدد السادس‬,‫ ليبيا‬,‫ جامعة مصراتة‬,‫المجلة العلمية لكلية التربية‬

‫المراجع‬
. 2003 ,‫ الدوال الخاصة‬,‫ محمد عريبي‬,‫ عمر عاشور‬,‫[ الزوام دلة‬1]
.1971 ,‫ الرياضيات المتقدمة للمهندسين والعلميين‬,‫[ مواري شبيجل‬2]
. 2004 ,‫ منشورات جامعة عمر المختار‬,‫ الرياضيات المتقدمة‬,‫[ مها عواد الكبيسي‬3]
[4] Larry C. Andrews, Special Function For Engineers and Applied
mathematicians, Macmillan publishing company, New York, 1985.
[5] Farrell and Ross , Solved problems gamma and beta , The Macmillan
company , New York , 1963.

444