View source for हाइपरज्यामेट्रिक फ़ंक्शन

{{Short description|Special function defined by a hypergeometric series}}
{{hatnote| हाइपर ज्यामितीय फलन शब्द कभी-कभी सामान्यीकृत  हाइपर ज्यामितीय फलन को संदर्भित करता है। अन्य  हाइपर ज्यामितीय फलनो के लिए यह भी देखें।}}

गणित में, गाऊसी या साधारण हाइपरज्यामितीय फलन <sub>2</sub>F<sub>1</sub>(a,b;c;z) 'हाइपरज्यामितीय श्रृंखला' द्वारा प्रस्तुत एक [[विशेष कार्य|विशेष फलन]] के रूप में है, जिसमें विशिष्ट या सीमित गणित स्थितियों के रूप में कई अन्य विशेष फलन सम्मलित होते हैं। यह दूसरे क्रम के रैखिक फलन साधारण अवकल समीकरण (ओडीइ) का एक सोलूशन है। तीन [[नियमित एकवचन बिंदु|नियमित अद्वितीय बिंदु]]ओं के साथ प्रत्येक दूसरे क्रम के रैखिक ओडीइ को इस समीकरण में रूपांतरित किया जा सकता है।

हाइपरज्यामितीय फलन से जुड़े कई हजारों प्रकाशित [[पहचान (गणित)|सर्वसमिका (गणित)]] में से कुछ की व्यवस्थित सूचियों के लिए [[एर्डेली एट अल 1953 और ओल्ड डलहुइस 2010]] द्वारा संदर्भ फलनो को देखें और इस प्रकार सभी सर्वसमिका को व्यवस्थित करने के लिए कोई ज्ञात प्रणाली नहीं है और वास्तव में कोई ज्ञात कलन विधि जो सभी [[पहचान (गणित)|सर्वसमिका]] को उत्पन्न कर सकते हैं और कई भिन्न -भिन्न कलन विधि की एक संख्या ज्ञात कर सर्वसमिका की विभिन्न श्रृंखला उत्पन्न करते हैं और इस प्रकार कलन विधि सर्वसमिका की खोज का सिद्धांत एक सक्रिय शोध का विषय बना हुआ है।

== इतिहास ==
हाइपरज्यामितीय श्रृंखला शब्द का पहली बार उपयोग [[जॉन वालिस]] ने अपनी 1655 की पुस्तक अरिथमेटिका इन्फिनिटोरम में किया था।

हाइपरज्यामितीय श्रृंखला का [[लियोनहार्ड यूलर]] द्वारा अध्ययन किया गया था, लेकिन [[कार्ल फ्रेडरिक गॉस]] ने 1813 में पहला पूर्ण व्यवस्थित ट्रीटमेंट दिया गया था

उन्नीसवीं शताब्दी में किए गए अध्ययनों में [[एर्नस्ट कुममर (1836)]] के अध्ययन तथा समान ज्यामितीय प्रकार्य के [[बर्नहार्ड रिमेंन (1857)]] द्वारा आधारभूत मौलिक लक्षण का वर्णन है और हाइपर ज्यामितीय फलन का अवकलन समीकरण के माध्यम से इसे संतुष्ट करता है।

रीमन ने दिखाया कि जटिल समतल में परीक्षण <sub>2</sub>F<sub>1</sub>(z), के लिए द्वितीय क्रम का अवकलन समीकरण है, इसकी तीन [[नियमित विलक्षणता]] द्वारा [[रीमैन क्षेत्र]] पर विशेषता की जा सकती है।

जिन स्थिति में सोलूशन [[बीजगणितीय कार्य|बीजगणितीय फलन]] के रूप में हैं, वहां [[हर्मन श्वार्ज़]] (श्वार्ज़ की सूची) द्वारा दिखाया जाता है।

== हाइपरज्यामितीय श्रृंखला ==
हाइपर ज्यामितीय फलन के लिए परिभाषित {{math|{{!}}''z''{{!}} < 1}} शक्ति श्रृंखला द्वारा किया गया है।

<math display=block>{}_2F_1(a,b;c;z) = \sum_{n=0}^\infty \frac{(a)_n (b)_n}{(c)_n} \frac{z^n}{n!} = 1 + \frac{ab}{c}\frac{z}{1!} + \frac{a(a+1)b(b+1)}{c(c+1)}\frac{z^2}{2!} + \cdots.</math>
यदि यह अपरिभाषित या अनंत {{mvar|c}} के रूप में है, तो यह एक गैर-सकारात्मक [[पूर्णांक]] के बराबर होता है। यहाँ {{math|(''q'')<sub>''n''</sub>}} उभरता हुआ पोचममेर प्रतीक के रूप में है, जिसे इसके द्वारा परिभाषित किया गया है।

<math display=block>(q)_n = \begin{cases}  1  & n = 0 \\
  q(q+1) \cdots (q+n-1) & n > 0
 \end{cases}</math>
यदि a या b एक गैर-धनात्मक पूर्णांक है तो यह श्रृंखला समाप्त हो जाती है, जहाँ एक बहुपद के लिए फलन कम हो जाता है।<math display=block>{}_2F_1(-m,b;c;z) = \sum_{n=0}^m (-1)^n \binom{m}{n} \frac{(b)_n}{(c)_n} z^n.</math>


{{math|{{abs|''z''}}&nbsp;≥&nbsp;1}} के साथ जटिल तर्क {{mvar|z}} के लिए इसे जटिल तल में किसी भी पथ के साथ [[विश्लेषणात्मक]] [[विश्लेषणात्मक निरंतरता|निरंतरता]] रूप से जारी रखा जा सकता है जो शाखा बिंदु 1 और अनंत से बचती है।

जैसा {{math|''c'' → −''m''}}, जहाँ {{mvar|m}} एक गैर-ऋणात्मक पूर्णांक है, और {{math|<sub>2</sub>''F''<sub>1</sub>(''z'') → ∞}}. के रूप में [[गामा फलन]] के मूल्य गामा {{math|Γ(''c'')}} [[गामा समारोह|गामा]] फलन से विभाजित होते है।

<math display="block">\lim_{c\to -m}\frac{{}_2F_1(a,b;c;z)}{\Gamma(c)}=\frac{(a)_{m+1}(b)_{m+1}}{(m+1)!}z^{m+1}{}_2F_1(a+m+1,b+m+1;m+2;z)</math>


{{math|<sub>2</sub>''F''<sub>1</sub>(''z'')}} [[सामान्यीकृत हाइपरज्यामितीय श्रृंखला]] {{mvar|<sub>p</sub>F<sub>q</sub>}},का सबसे सामान्य प्रकार है और इसे मात्र x {{math|''F''(''z'')}}.के रूप में निर्दिष्ट किया जाता है

== अवकलन सूत्र ==
सर्वसमिका का उपयोग करना <math> (a)_{n+1}=a (a+1)_n</math>, यह दिखाया गया है

<math display=block>
\frac{d }{dz} \ {}_2F_1(a,b;c;z) = \frac{a b}{c} \ {}_2F_1(a+1,b+1;c+1;z)
</math>
और अधिक सामान्यतः ,

<math display=block>
\frac{d^n }{dz^n} \ {}_2F_1(a,b;c;z) = \frac{(a)_n (b)_n}{(c)_n} {}_2F_1(a+n,b+n;c+n;z)
</math>के रूप में होते है
== विशेष स्थिति ==
कई सामान्य गणितीय फलनो को हाइपर ज्यामितीय फलन के संदर्भ में या इसके सीमित स्थितियों के रूप में व्यक्त किया जा सकता है। कुछ विशिष्ट प्रकार के उदाहरण हैं

<math display=block>\begin{align}
_2F_1\left(1, 1; 2; -z\right) &= \frac{\ln(1+z)}{z} \\
_2F_1(a, b; b; z) &= (1-z)^{-a}, \quad (\forall b) \\
_2F_1\left(\frac{1}{2}, \frac{1}{2}; \frac{3}{2}; z^2\right) &= \frac{\arcsin(z)}{z} \\
\,_2F_1\left(\frac{1}{3}, \frac{2}{3}; \frac{3}{2}; -\frac{27x^2}{4}\right) &= \frac{\sqrt[3]{\frac{3x\sqrt{3}+\sqrt{27x^2+4}}{2}}-\sqrt[3]{\frac{2}{3x\sqrt{3}+\sqrt{27x^2+4}}}}{x\sqrt{3}} \\
\end{align}</math>
जब a=1 और b=c, श्रृंखला एक सामान्य ज्यामितीय श्रृंखला में कम हो जाती है, अर्थात

<math display=block>\begin{align}
_2F_1\left(1, b; b; z\right) &= 1 + z + z^2 + z^3 + z^4 + \cdots \end{align}</math>इसका नाम हाइपरज्यामितीय.है और यह फलन ज्यामितीय श्रृंखला के सामान्यीकरण के रूप में माना जा सकता है।
[[संगम हाइपरज्यामितीय समारोह|कंफ्लुएंट हाइपरज्यामितीय फलन]] या कुममर का फलन को हाइपर ज्यामितीय फलन की सीमा के रूप में दिया जा सकता है

<math display=block>M(a,c,z) = \lim_{b\to\infty}{}_2F_1(a,b;c;b^{-1}z)</math>
इसलिए सभी फलन जो इसके अनिवार्य रूप से विशेष के रूप में होते है, जैसे बेसेल फलन, को हाइपरज्यामितीय फलनो की सीमा के रूप में व्यक्त किया जा सकता है। इनमें से अधिकांश उपयोग किए जाने वाले गणितीय भौतिकी के फलनो के रूप में सम्मलित हैं।

[[लेजेंड्रे समारोह|लेजेंड्रे फलन]] एक दूसरे क्रम अवकल समीकरण का 3 नियमित अद्वितीय बिंदुओं के सोलूशन हैं, इसलिए इसे हाइपर ज्यामितीय फलन के संदर्भ में कई विधियों से व्यक्त किया जा सकता है।उदाहरण के लिए हैं,<math display=block>{}_2F_1(a,1-a;c;z) = \Gamma(c)z^{\tfrac{1-c}{2}}(1-z)^{\tfrac{c-1}{2}}P_{-a}^{1-c}(1-2z)</math>


[[जैकोबी बहुपद]] ''P''{{su|p=(α,β)|b=''n''}} सहित कई लंबकोणीय बहुपदों और उनके विशेष स्थितियों के रूप में [[लीजेंड्रे बहुपद]], [[चेबिशेव बहुपद]], [[गेगेनबॉयर बहुपद]] के उपयोग से हाइपरज्यामितीय कार्यों के संदर्भ में लिखा जा सकता है।<math display="block">{}_2F_1(-n,\alpha+1+\beta+n;\alpha+1;x) = \frac{n!}{(\alpha+1)_n}P^{(\alpha,\beta)}_n(1-2x)</math>



अन्य बहुपद जो विशेष स्थितियों के रूप में उनमें सम्मलित होते हैं, वे क्रावचौक बहुपद, मीक्सनर बहुपद, मीक्सनर-पोलाकजेक बहुपद के रूप में होते है।

दिया गया है, <math>z\in\mathbb{C}\setminus\{0,1\}</math>, 

<math display="block"> \tau = {\rm{i}}\frac{{}_2F_1 \bigl( \frac{1}{2},\frac{1}{2};1;1-z \bigr)}{{}_2F_1 \bigl(\frac{1}{2},\frac{1}{2};1;z \bigr)}.</math>
तब

<math display=block>\lambda (\tau) = \frac{\theta_2(\tau)^4}{\theta_3(\tau)^4}=z</math>
[[मॉड्यूलर लैम्ब्डा समारोह|मॉड्यूलर लैम्ब्डा फलन]] के रूप में होते है, जहां

<math display=block>\theta_2(\tau)=\sum_{n\in\mathbb{Z}}e^{\pi i\tau (n+1/2)^2},\quad \theta_3(\tau)=\sum_{n\in\mathbb{Z}}e^{\pi i\tau n^2}</math>.

[[j-invariant|जे-इन्वेरीअन्ट]], एक मॉड्यूलर फलन <math>\lambda (\tau)</math>, के रूप में तर्कसंगत फलन है।

अपूर्ण बीटा फलन B<sub>''x''</sub>(''p'',''q'') से संबंधित होता है।

<math display=block> B_x(p,q) = \tfrac{x^p}{p}{}_2F_1(p,1-q;p+1;x)</math>
पूर्ण दीर्घवृत्तीय समाकलन K और E द्वारा दिए गए हैं,

<math display=block>\begin{align}
K(k) &= \tfrac{\pi}{2}\, _2F_1\left(\tfrac{1}{2},\tfrac{1}{2};1;k^2\right) \\
E(k) &= \tfrac{\pi}{2}\, _2F_1\left(-\tfrac{1}{2},\tfrac{1}{2};1;k^2\right)
\end{align}</math>


== हाइपरज्यामितीय अवकलन समीकरण ==
हाइपर ज्यामितीय फलन यूलर के हाइपर ज्यामितीय अवकलन समीकरण का एक सोलूशन है

<math display=block>z(1-z)\frac {d^2w}{dz^2} + \left[c-(a+b+1)z \right] \frac {dw}{dz} - ab\,w = 0.</math>
जिसके तीन नियमित अद्वितीय बिंदु 0,1 और ∞ हैं। इस समीकरण का तीन यादृच्छिक नियमित अद्वितीय बिंदुओं पर सामान्यीकरण रिमेंन के अवकल समीकरण द्वारा दिया जाता है और इस प्रकार तीन नियमित अद्वितीय बिन्दुओं वाले किसी भी द्वितीय क्रम के रैखिक अवकलन समीकरण को चर के परिवर्तन द्वारा हाइपरज्यामितीय अवकलन समीकरण में परिवर्तित किया जा सकता है।

===अद्वितीय बिंदुओं पर समाधान===
हाइपरज्यामितीय अवकलन समीकरण के सोलूशन हाइपरज्यामितीय श्रृंखला <sub>2</sub>F<sub>1</sub>(''a'',''b'';''c'';''z'') से निर्मित होते हैं। समीकरण के दो [[रैखिक रूप से स्वतंत्र]] सोलूशन हैं और इस प्रकार तीन अद्वितीय बिंदुओं 0, 1, ∞ में से प्रत्येक पर सामान्यतः x<sup>s</sup> के रूप के दो विशेष सोलूशन होते हैं, x एक होलोमॉर्फिक फलन है, जहां s घातांकी समीकरण की दो रुट में से एक है और x एक स्थानीय चर के रूप में है जो नियमित विलक्षण बिंदु पर गायब हो जाता है। यह इस प्रकार 3 × 2 = 6 विशेष सोलूशन देता है।

बिंदु z = 0 के आसपास, दो स्वतंत्र सोलूशन के रूप में हैं, यदि c एक गैर-सकारात्मक पूर्णांक नहीं है,

<math display=block> \, _2F_1(a,b;c;z)</math>
और, इस शर्त पर कि c एक पूर्णांक नहीं है,

<math display=block> z^{1-c} \, _2F_1(1+a-c,1+b-c;2-c;z)</math>
यदि c गैर-सकारात्मक पूर्णांक 1−m है, तो इनमें से पहला सोलूशन उपस्थित नहीं है और इसके द्वारा प्रतिस्थापित किया जाना चाहिए <math>z^mF(a+m,b+m;1+m;z).</math> दूसरा सोलूशन उपस्थित नहीं है जब c 1 से अधिक पूर्णांक है और पहले सोलूशन के बराबर है या इसका प्रतिस्थापन जब c कोई अन्य पूर्णांक है। इसलिए जब c एक पूर्णांक है, तो दूसरे सोलूशन के लिए एक अधिक जटिल अभिव्यक्ति का उपयोग किया जाना चाहिए और इस प्रकार पहले सोलूशन के बराबर ln(z) है और इसके साथ ही z की शक्तियों में एक और श्रृंखला जिसमें [[डिगामा समारोह|डिगामा फलन]] के रूप में सम्मलित है। विवरण के लिए {{harvtxt|ओल्डे डलहुइस|2010}} को देखते है।

z = 1 के आसपास, यदि c − a − b एक पूर्णांक नहीं है, तो इसके दो स्वतंत्र सोलूशन होते हैं  

<math display=block>\, _2F_1(a,b;1+a+b-c;1-z)</math>
और

<math display=block> (1-z)^{c-a-b} \;_2F_1(c-a,c-b;1+c-a-b;1-z)</math>
लगभग z = ∞, यदि a − b एक पूर्णांक नहीं है, तो इसके दो स्वतंत्र सोलूशन होते हैं

<math display=block> z^{-a}\, _2F_1 \left (a,1+a-c;1+a-b; z^{-1} \right)</math>
और

<math display=block> z^{-b}\, _2F_1 \left (b,1+b-c;1+b-a; z^{-1} \right ).</math>
दोबारा, जब गैर-अभिन्नता की शर्तें पूरी नहीं होती हैं, तो अन्य सोलूशन उपस्थित होते हैं जो अधिक जटिल रूप में होते हैं।

उपरोक्त 6 समाधानों में से कोई भी 3 रैखिक संबंध को संतुष्ट करता है क्योंकि समाधानों का स्थान 2-आयामी है, ({{su|p=6|b=3}}) =20 उनके बीच रैखिक संबंध होता है और जिन्हें संयोजन सूत्र कहा जाता है।

===कुममर के 24 सोलूशन===
एन अद्वितीय बिंदुओं के साथ एक दूसरे क्रम के फ्यूचियन समीकरण में समरूपता का एक समूह है जो इसके सोलूशन पर कार्य करता है। प्रोजेक्टिवली, [[ कॉक्सेटर समूह |कॉक्सेटर समूह]] W(D<sub>''n''</sub>) के लिए आइसोमोर्फिक क्रम 2<sup>n−1</sup>n!.के रूप में होता है हाइपरज्यामितीय समीकरण स्थिति n = 3 है और इस प्रकार क्रमबद्ध 24 के समूह के साथ 4 बिंदुओं पर सममित समूह के लिए आइसोमोर्फिक है। जैसा कि पहले कुममर द्वारा वर्णित किया गया था। सममित समूह की उपस्थिति आकस्मिक होता है और इसमें 3 से अधिक अद्वितीय बिंदुओं के लिए कोई एनालॉग नहीं होता है और कभी-कभी समूह को 3 बिंदुओं पर सममित समूह के विस्तार के रूप में सोचना बेहतर होता है इस प्रकार 3 अद्वितीय बिंदुओं के क्रम परिवर्तन के रूप में कार्य करता है एक क्लेन 4-समूह जिसके तत्व समान संख्या में अद्वितीय बिंदुओं पर घातांक के अंतर के संकेतों को बदलते हैं। कुममर के 24 रूपांतरणों वाले समूह तीन परिवर्तनों द्वारा उत्पन्न किया जाता है जिसमें एक सोलूशन F(a,b;c;z) से लिया जाता है।<math display=block>\begin{align}
(1-z)^{-a} F \left (a,c-b;c; \tfrac{z}{z-1} \right ) \\
F(a,b;1+a+b-c;1-z)  \\
(1-z)^{-b} F \left(c-a,b;c; \tfrac{z}{z-1} \right )
\end{align}</math>



जो 4 अंक 1, 2, 3, 4 पर सममित समूह के साथ समरूपता के अनुसार पारदर्शिता (12), (23), और (34) के अनुरूप है। इनमें से पहला और तीसरा वास्तव में ''F''(''a'',''b'';''c'';''z'') के रूप में होते है जबकि दूसरा अवकलन समीकरण का एक स्वतंत्र सोलूशन के रूप में है।)

कुममर के 24 = 6 × 4 परिवर्तनों को हाइपरज्यामितीय फलन में लागू करने से ऊपर दिए गए 6 = 2 × 3 सोलूशन 3 अद्वितीय बिंदुओं में से प्रत्येक पर 2 संभावित घातांकों में से प्रत्येक के अनुरूप होते हैं, जिनमें से प्रत्येक सर्वसमिका के कारण 4 बार प्रकट होता है

<math display="block">\begin{align}
{}_2F_1(a,b;c;z) &= (1-z)^{c-a-b} \, {}_2F_1(c-a,c-b;c;z) && \text{Euler transformation} \\
{}_2F_1(a,b;c;z) &= (1-z)^{-a} \, {}_2F_1(a,c-b;c; \tfrac{z}{z-1}) && \text{Pfaff transformation} \\
{}_2F_1(a,b;c;z) &= (1-z)^{-b} \, {}_2F_1(c-a,b;c; \tfrac{z}{z-1}) && \text{Pfaff transformation}
\end{align}</math>


=== क्यू-फॉर्म ===
हाइपरज्यामितीय अवकलन समीकरण को क्यू-फॉर्म में लाया जा सकता है

<math display=block>\frac{d^2u}{dz^2}+Q(z)u(z) = 0</math>
प्रतिस्थापन करके u = wv और पहले-अवकलज शब्द को हटा देने पर एक पाता है

<math display=block>Q=\frac{z^2[1-(a-b)^2] +z[2c(a+b-1)-4ab] +c(2-c)}{4z^2(1-z)^2}</math>
और v का सोलूशन दिया गया है

<math display=block>\frac{d}{dz}\log v(z) = - \frac {c-z(a+b+1)}{2z(1-z)} =-\frac{c}{2z}-\frac{1+a+b-c}{2(z-1)}</math>
जहाँ

<math display=block>v(z)=z^{-c/2}(1-z)^{(c-a-b-1)/2}.</math>
[[ श्वार्जियन व्युत्पन्न | श्वार्जियन अवकलज]] [[हिले 1976]], पीपी. 307-401 के संबंध में क्यू-फॉर्म महत्वपूर्ण हैं।

=== श्वार्ज त्रिकोण के मैप ===
{{Main|श्वार्ज त्रिकोण फलन }}

श्वार्ज़ त्रिभुज के मैप या श्वार्ज़ ''s''-फलन सोलूशन के जोड़े के अनुपात हैं।

<math display=block>s_k(z) = \frac{\phi_k^{(1)}(z)}{\phi_k^{(0)}(z)}</math>
जहाँ k बिन्दु 0, 1, ∞ अंकन में से एक है। 

<math display=block>D_k(\lambda,\mu,\nu;z)=s_k(z)</math>
कभी-कभी प्रयोग भी किया जाता है। ध्यान दें कि कनेक्शन गुणांक त्रिभुज मैप पर मोबियस परिवर्तन के रूप में बन जाते हैं।

ध्यान दें कि प्रत्येक त्रिभुज मानचित्र नियमित अद्वितीय बिंदु z ∈ {0, 1, ∞} पर क्रमशः साथ में है, 

<math display=block>\begin{align}
s_0(z) &= z^\lambda (1+\mathcal{O}(z)) \\
s_1(z) &= (1-z)^\mu (1+\mathcal{O}(1-z))
\end{align}</math>
और
<math display=block>s_\infty(z)=z^\nu (1+\mathcal{O}(\tfrac{1}{z})).</math>
λ, μ और ν वास्तविक के विशेष स्थिति में, 0 ≤ λ,μ,ν < 1 के साथ, फिर s-मैप के ऊपरी अर्ध-तल H के [[अनुरूप मानचित्र|अनुरूप मैप]] के रूप में होते हैं, जो रीमैन क्षेत्र पर त्रिभुजों के अनुरूप होते हैं और जो गोलाकार चाप से घिरे होते हैं। यह मैपिंग श्वार्ज-क्रिस्टोफ़ेल मानचित्रण का वृत्ताकार चाप वाले त्रिभुजों के लिए एक सामान्यीकरण है। अद्वितीय बिंदु 0,1 और ∞ त्रिभुज के शीर्षों पर भेजे जाते हैं। त्रिभुज के कोण क्रमशः πλ, πμ और πν हैं।

इसके अतिरिक्त , λ=1/''p'', μ=1/''q'' और ν=1/''r'' पूर्णांकों ''p'', ''q'', 'के स्थिति में 'r'', फिर त्रिभुज गोले जटिल तल या ऊपरी आधे तल को टाइल करता है, चाहे λ + μ + ν - 1 धनात्मक शून्य या ऋणात्मक रूप में हो और त्रिकोण समूह p'', ''q'', ''r''〉 = Δ(''p'', ''q'', ''r'') के रूप में होते है ।

=== मोनोड्रोमी समूह ===
एक हाइपरज्यामितीय समीकरण का मोनोड्रोमी वर्णन करता है कि कैसे मौलिक सोलूशन बदल जाते हैं जब विश्लेषणात्मक रूप से जेड समतल में पथ के चारों ओर जारी रहता है जो उसी बिंदु पर लौटते हैं। जब पथ एक विलक्षणता के चारों ओर घूमता है <sub>2</sub>F<sub>1</sub>, समापन बिंदु पर समाधानों का मान प्रारंभिक बिंदु से भिन्न होता है।

हाइपरज्यामितीय समीकरण के दो मौलिक सोलूशन एक रैखिक परिवर्तन द्वारा एक दूसरे से संबंधित होते हैं; इस प्रकार मोनोड्रोमी एक मैपिंग समूह समरूपतावाद के रूप में है

<math display=block>\pi_1(\mathbf{C}\setminus\{0,1\},z_0) \to \text{GL}(2,\mathbf{C})</math>
जहां प<sub>1</sub> [[मौलिक समूह]] है। दूसरे शब्दों में, मोनोड्रोमी मौलिक समूह का दो आयामी रैखिक प्रतिनिधित्व है। समीकरण का [[मोनोड्रोमी समूह]] इस मानचित्र की छवि है, अर्थात मोनोड्रोमी मैट्रिसेस द्वारा उत्पन्न समूह के रूप में होते है और मौलिक समूह के मोनोड्रोमी प्रतिनिधित्व को अद्वितीय बिंदुओं पर घातांक के संदर्भ में स्पष्ट रूप से गणना की जाती है।<ref>{{harvnb|Ince|1944|pages=393–393}}</ref> यदि (α, α'), (β, β') और (γ,γ') 0, 1 और ∞ पर चर घातांक हैं, तो z<sub>0</sub> लेने पर 0 के पास ले जाने पर 0 और 1 के आस-पास के लूप में मोनोड्रोमी मैट्रिसेस होते हैं,

<math display="block">\begin{align}
g_0 &= \begin{pmatrix} e^{2\pi i\alpha} & 0\\ 0 & e^{2\pi i\alpha^\prime}\end{pmatrix} \\
g_1 &= \begin{pmatrix} {\mu e^{2\pi i \beta} 
-e^{2\pi i\beta^\prime}\over \mu -1} & {\mu (e^{2\pi i \beta} 
-e^{2\pi i\beta^\prime})\over (\mu -1)^2}\\e^{2\pi i\beta^\prime} - e^{2\pi i\beta} & {\mu e^{2\pi i \beta^\prime} 
-e^{2\pi i\beta}\over \mu -1}\end{pmatrix},
\end{align}</math>
कहाँ

<math display=block>\mu = {\sin \pi(\alpha +\beta^\prime +\gamma^\prime) \sin \pi(\alpha^\prime + \beta+\gamma^\prime)\over \sin \pi(\alpha^\prime +  \beta^\prime +\gamma^\prime) \sin \pi(\alpha + \beta +\gamma^\prime)}.</math>
यदि 1−a, c−a−b, a−b हर k, l, m के साथ गैर-पूर्णांक परिमेय संख्याएँ हैं तो मोनोड्रोमी समूह परिमित है यदि और केवल <math>1/k + 1/l + 1/m > 1</math>, श्वार्ज़ की सूची या कोवासिक कलन विधि को देखें।

== अभिन्न सूत्र ==

=== यूलर प्रकार ===
यदि बी [[बीटा समारोह|बीटा]] फलन है तो

<math display=block>\Beta(b,c-b)\,_2F_1(a,b;c;z) = \int_0^1 x^{b-1} (1-x)^{c-b-1}(1-zx)^{-a} \, dx \qquad \real(c) > \real(b) > 0, </math>
बशर्ते कि z एक ऐसी वास्तविक संख्या नहीं है, जैसे कि यह 1 से अधिक या उसके बराबर है। यह द्विपद प्रमेय का उपयोग करके (1 − zx)<sup>−a</sup> का विस्तार करके सिद्ध किया जा सकता है और फिर 1 से छोटे निरपेक्ष मान के साथ z के लिए शब्द द्वारा शब्द को एकीकृत कर सकता है और कहीं और विश्लेषणात्मक निरंतरता द्वारा जब z एक वास्तविक संख्या 1 से अधिक या उसके बराबर है, तो विश्लेषणात्मक निरंतरता का उपयोग किया जाना चाहिए क्योंकि (1 − zx) समाकल के समर्थन में किसी बिंदु पर शून्य है, इसलिए समाकलन का मान अपरिभाषित हो सकता है। यह 1748 में यूलर द्वारा दिया गया था और इसका तात्पर्य यूलर और फाफ के अतिज्यामितीय परिवर्तनों से है।

अन्य रिप्रजेंटेशन, अन्य [[प्रमुख शाखा|प्रमुख शाखाओं]] के अनुरूप समान समाकलित दिए गए हैं, लेकिन विभिन्न क्रम में अद्वितीय को बंद करने के लिए एक बंद पोचममेर चक्र होने के लिए एकीकरण का मार्ग लेते हैं। इस तरह के रास्ते [[मोनोड्रोमी]] एक्शन के अनुरूप होते हैं।

=== [[बार्न्स अभिन्न]] ===
बार्न्स समाकलन का मूल्यांकन करने के लिए बार्न्स ने अवशेष के सिद्धांत जटिल विश्लेषण का उपयोग किया हैं।

<math display=block>\frac{1}{2\pi i}\int_{-i\infty}^{i\infty} \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(-s)}{\Gamma(c+s)} (-z)^s \, ds</math>
जैसा

<math display=block>\frac{\Gamma(a)\Gamma(b)}{\Gamma(c)}\,_2F_1(a,b;c;z),</math>
जहां ध्रुवों 0, 1, 2... को ध्रुवों −a, −a − 1, ..., −b, −b − 1, ... से अलग करने के लिए समोच्च रेखा खींची गई है। यह तब तक मान्य है जब तक z एक गैर-ऋणात्मक वास्तविक संख्या नहीं है।

=== [[जॉन ट्रांसफॉर्म]] ===
गॉस हाइपर ज्यामितीय फलन को जॉन ट्रांसफ़ॉर्म {{harv|गेलफ़ैंड |गिंडिकिन| एंड ग्रेव|2003|loc=2.1.2}}.के रूप में लिखा जा सकता है।

== गॉस के सन्निहित संबंध ==
छह फलन के रूप में है 

<math display=block>{}_2F_1 (a\pm 1,b;c;z), \quad  {}_2F_1 (a,b\pm 1;c;z), \quad {}_2F_1 (a,b;c\pm 1;z)</math>
{{math|<sub>2</sub>''F''<sub>1</sub>(''a'', ''b''; ''c''; ''z'')}}.के सन्निकट कहलाते हैं। गॉस ने दिखाया {{math|<sub>2</sub>''F''<sub>1</sub>(''a'', ''b''; ''c''; ''z'')}} को {{math|''a'', ''b'', ''c''}}, और {{mvar|z}}. के संदर्भ में परिमेय गुणांक वाले इसके सन्निहित फलनो में से किन्हीं दो के रैखिक संयोजन के रूप में लिखा जा सकता है, यह देता है।

<math display="block"> \begin{pmatrix} 6 \\ 2 \end{pmatrix} = 15</math>


संबंध के दाहिने हाथ की किन्हीं दो रेखाओं की सर्वसमिका करके दिया गया है

<math display="block">\begin{align}
z\frac{dF}{dz} &= z\frac{ab}{c}F(a+,b+,c+) \\
&=a(F(a+)-F) \\
&=b(F(b+)-F) \\
&=(c-1)(F(c-)-F) \\
&=\frac{(c-a)F(a-)+(a-c+bz)F}{1-z} \\
&=\frac{(c-b)F(b-)+(b-c+az)F}{1-z} \\
&=z\frac{(c-a)(c-b)F(c+)+c(a+b-c)F}{c(1-z)}
\end{align}</math>
जहाँ {{math|''F'' {{=}} <sub>2</sub>''F''<sub>1</sub>(''a'', ''b''; ''c''; ''z''), ''F''(''a''+) {{=}} <sub>2</sub>''F''<sub>1</sub>(''a'' + 1, ''b''; ''c''; ''z'')}}, और इसी तरह बार-बार इन संबंधों को लागू करने से एक रैखिक संबंध खत्म हो जाता है {{math|'''C'''(z)}} प्रपत्र के किसी भी तीन फलनो के बीच होता है

<math display="block">{}_2F_1 (a+m,b+n;c+l;z),</math>
जहाँ m, n और l पूर्णांक हैं।

=== गॉस का निरंतर अंश ===
{{main|Gauss continued fraction}}

गॉस ने एक सतत अंश के रूप में दो हाइपरज्यामितीय फलनो के भागफल को लिखने के कई विधि देने के लिए सन्निहित संबंधों का उपयोग किया जाता है, उदाहरण के लिए देखें,

<math display=block>\frac{{}_2F_1(a+1,b;c+1;z)}{{}_2F_1(a,b;c;z)} = \cfrac{1}{1 + \cfrac{\frac{(a-c)b}{c(c+1)} z}{1 + \cfrac{\frac{(b-c-1)(a+1)}{(c+1)(c+2)} z}{1 + \cfrac{\frac{(a-c-1)(b+1)}{(c+2)(c+3)} z}{1 + \cfrac{\frac{(b-c-2)(a+2)}{(c+3)(c+4)} z}{1 + {}\ddots}}}}}</math>


== परिवर्तन सूत्र ==
परिवर्तन सूत्र तर्क z के विभिन्न मूल्यों पर दो हाइपरज्यामितीय कार्यों से संबंधित हैं।

=== आंशिक रैखिक परिवर्तन ===
यूलर का परिवर्तन है
<math display=block>{}_2F_1 (a,b;c;z) = (1-z)^{c-a-b} {}_2F_1 (c-a, c-b;c ; z).</math>
यह दो फाफ रूपांतरणों को जोड़कर संदर्भित करता है।
<math display=block>\begin{align}
{}_2F_1 (a,b;c;z) &= (1-z)^{-b} {}_2F_1 \left (b,c-a;c;\tfrac{z}{z-1} \right ) \\
{}_2F_1 (a,b;c;z) &= (1-z)^{-a} {}_2F_1 \left (a, c-b;c ; \tfrac{z}{z-1} \right ) \\
\end{align}</math>
जो बदले में यूलर के अभिन्न प्रतिनिधित्व का अनुसरण करता है। यूलर के पहले और दूसरे परिवर्तनों के विस्तार के लिए {{harvtxt|राठी |और पेरिस|2007}} और {{harvtxt|राखा |और राठी |2011}} को देखें।.इसे रैखिक संयोजन के रूप में भी लिखा जा सकता है
<math display=block>
\begin{align}
{}_2F_1(a,b;c,z) = {} & \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}{}_2F_1(a,b;a+b+1-c;1-z) \\[6pt]
& {} + \frac{\Gamma(c)\Gamma(a+b-c)}{\Gamma(a)\Gamma(b)}(1-z)^{c-a-b} {}_2F_1(c-a,c-b;1+c-a-b;1-z).
\end{align}
</math>
=== द्विघात परिवर्तन ===
यदि दो संख्याएँ 1 − c, c − 1, a − b, b − a, a + b − c, c − a − b बराबर हैं या उनमें से एक 1/2 है तो एक 'द्विघात परिवर्तन' होता है और इस प्रकार द्विघात समीकरण से संबंधित z के भिन्न मान से इसे जोड़ने वाला हाइपरज्यामितीय फलन हैं। पहला उदाहरण [[कुममर (1836)]] द्वारा दिया गया था और एक पूरी सूची [[गौरसैट (1881]]) द्वारा दी गई थी। एक विशिष्ट उदाहरण के रूप में है<math display=block>{}_2F_1(a,b;2b;z) = (1-z)^{-\frac{a}{2}} {}_2F_1 \left (\tfrac{1}{2}a, b-\tfrac{1}{2}a; b+\tfrac{1}{2}; \frac{z^2}{4z-4} \right)</math>

=== उच्च क्रम परिवर्तन ===
यदि 1−c, a−b, a+b−c संकेतों से भिन्न है या उनमें से दो 1/3 या −1/3 हैं, तो हाइपरज्यामितीय फलन का 'घन रूपांतरण होता है, जो इसे z के भिन्न मान से जोड़ता है यह एक घन समीकरण से संबंधित है। पहला उदाहरण [[गौरसैट (1881]]) ने दिया था। एक विशिष्ट उदाहरण है।

<math display="block">{}_2F_1 \left (\tfrac{3}{2}a,\tfrac{1}{2}(3a-1);a+\tfrac{1}{2};-\tfrac{z^2}{3} \right) = (1+z)^{1-3a} \, {}_2F_1 \left (a-\tfrac{1}{3}, a; 2a; 2z(3+z^2)(1+z)^{-3} \right )</math>


घात 4 और 6 के कुछ परिवर्तन भी हैं। जो अन्य घात के परिवर्तन केवल तभी उपस्थित होते हैं जब a, b, और c कुछ परिमेय संख्याएँ के रूप में होती है {{harv|विदुनस|2005}}. उदाहरण के लिए देखते है,<math display="block">{}_2F_1 \left (\tfrac{1}{4},\tfrac{3}{8};\tfrac{7}{8}; z \right) (z^4-60z^3+134z^2-60z+1)^{1/16}  =
  {}_2F_1 \left (\tfrac{1}{48}, \tfrac{17}{48}; \tfrac{7}{8}; \tfrac{-432 z (z-1)^2 (z+1)^8}{(z^4-60z^3+134z^2-60z+1)^3} \right ).</math>


== विशेष बिंदुओं पर मान z ==
विशेष बिंदुओं पर सारांश सूत्रों की सूची के लिए [[स्लेटर 1966]], परिशिष्ट III देखें, जिनमें से अधिकांश [[बेली (1935)]] में भी दिखाई देते हैं। [[गेसल एंड स्टैंटन (1982)]] अधिक बिंदुओं पर और अधिक मूल्यांकन देता है। कोएफ़ (1995) दिखाता है कि इनमें से अधिकांश पहचानों को कंप्यूटर कलनविधि द्वारा कैसे सत्यापित किया जा सकता है।

=== Z = 1 पर विशेष मान ===
गॉस का योग प्रमेय, [[कार्ल फ्रेडरिक गॉस]] के नाम पर, सर्वसमिका है<math display="block">{}_2F_1 (a,b;c;1)= \frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}, \qquad   \Re(c)>\Re(a+b) </math>



जो यूलर के अभिन्न सूत्र z = 1 रखने पर अनुसरण करता है। इसमें एक विशेष स्थितियों के रूप में [[वैंडरमोंड पहचान|वैंडरमोंड]] सर्वसमिका के रूप में सम्मलित है।


विशेष स्थितियों के लिए जहां <math> a=-m </math>,
<math display="block">{}_2F_1 (-m,b;c;1)=\frac{ (c-b)_{m} }{(c)_{m}  } </math>
डगल का सूत्र इसे z = 1 पर [[द्विपक्षीय हाइपरज्यामितीय श्रृंखला]] के लिए सामान्यीकृत करता है

=== कुममर प्रमेय (z = −1) ===
ऐसे कई स्थितियों हैं, जहां z = −1 पर z = −1 पर z = −1 को z = 1 में बदलने के लिए द्विघात परिवर्तन का उपयोग करके और फिर परिणाम का मूल्यांकन करने के लिए गॉस के प्रमेय का उपयोग करके हाइपरज्यामितीय फलनो का मूल्यांकन किया जा सकता है।. एक विशिष्ट उदाहरण कुममर का प्रमेय है, जिसका नाम अर्न्स्ट कुममर के नाम पर रखा गया है

<math display=block>{}_2F_1 (a,b;1+a-b;-1)= \frac{\Gamma(1+a-b)\Gamma(1+\tfrac12a)}{\Gamma(1+a)\Gamma(1+\tfrac12a-b)}</math>
जो कुममर के द्विघात रूपांतरणों से अनुसरण करता है

<math display=block>\begin{align}
_2F_1(a,b;1+a-b;z)&= (1-z)^{-a} \;_2F_1 \left(\frac a 2, \frac{1+a}2-b; 1+a-b; -\frac{4z}{(1-z)^2}\right)\\
&=(1+z)^{-a} \, _2F_1\left(\frac a 2, \frac{a+1}2; 1+a-b; \frac{4z}{(1+z)^2}\right)
\end{align}</math>
और पहली सर्वसमिका में z = −1 रखकर गॉस की प्रमेय। कुममर के योग के सामान्यीकरण के लिए {{harvtxt |लावोई|ग्रोनडिन |और राथी |1996}}.को देखें

=== Z = 1/2 पर मान ===
गॉस का दूसरा योग प्रमेय है

<math display="block">_2F_1 \left(a,b;\tfrac12\left(1+a+b\right);\tfrac12\right) = \frac{\Gamma(\tfrac12)\Gamma(\tfrac12\left(1+a+b\right))}{\Gamma(\tfrac12\left(1+a)\right)\Gamma(\tfrac12\left(1+b\right))}. </math>
बेली का प्रमेय है

<math display=block>_2F_1 \left(a,1-a;c;\tfrac12\right)= \frac{\Gamma(\tfrac12c)\Gamma(\tfrac12\left(1+c\right))}{\Gamma(\tfrac12\left(c+a\right))\Gamma(\tfrac12\left(1+c-a\right))}.</math>
गॉस के दूसरे संकलन प्रमेय और बेली के योग प्रमेय के सामान्यीकरण के लिए {{harvtxt |लावोई|ग्रोनडिन |और राथी |1996}}.को देखें

=== अन्य बिंदु ===
मापदंडों के विशेष तर्कसंगत मूल्यों पर एक बीजगणितीय संख्या के रूप में हाइपर ज्यामितीय फलन देने वाले कई अन्य सूत्र हैं, जिनमें से कुछ में सूचीबद्ध हैं {{harvtxt |गेसल|स्टैंटन| 1982}} और {{harvtxt|कोएफ़|1995}}. द्वारा कुछ विशिष्ट उदाहरण दिए गए हैं

<math display=block>{}_2F_1 \left(a,-a;\tfrac{1}{2};\tfrac{x^2}{4(x-1)} \right )  = \frac{(1-x)^a+(1-x)^{-a}}{2},</math>
जिसे इस रूप में पुन: प्रस्तुत किया जा सकता है

<math display=block>T_a(\cos x)={}_2F_1\left(a,-a;\tfrac{1}{2};\tfrac{1}{2}(1-\cos x)\right)=\cos(a x)</math>
जब भी −π < x < π और T (सामान्यीकृत) चेबीशेव बहुपद के रूप में है।

== यह भी देखें ==
*अपेल श्रृंखला, हाइपरज्यामितीय श्रृंखला का 2-चर सामान्यीकरण रूप में होता है
*[[बुनियादी हाइपरज्यामितीय श्रृंखला|मौलिक हाइपर ज्यामितीय श्रृंखला]] जहां शब्दों का अनुपात सूचकांक का एक आवधिक फलन के रूप में होता है
*द्विपक्षीय हाइपरज्यामितीय श्रृंखला <sub>''p''</sub>H<sub>''p''</sub> सामान्यीकृत हाइपरज्यामितीय श्रृंखला के समान हैं, लेकिन सभी पूर्णांकों पर अभिव्यक्त हैं
* [[द्विपद श्रृंखला]] <sub>1</sub>F<sub>0</sub> के रूप में है   
*कंफ्लुएंट अतिज्यामितीय श्रृंखला <sub>1</sub>F<sub>1</sub>(''a'';''c'';''z'') के रूप में है
*दीर्घवृत्तीय हाइपर ज्यामितीय श्रृंखला जहां शब्दों का अनुपात सूचकांक का एक दीर्घवृत्तीय फलन है
*[[यूलर हाइपरजियोमेट्रिक इंटीग्रल|यूलर हाइपर ज्यामितीय समाकलन]], का रिप्रेजेंटेशन <sub>2</sub>F<sub>1</sub> है
* [[फॉक्स एच-फ़ंक्शन|फॉक्स एच-फलन]] , मीजर जी-फंक्शन का विस्तार होता है
*फॉक्स-राइट फलन, सामान्यीकृत हाइपर ज्यामितीय फलन का एक सामान्यीकरण रूप होता है
*[[हाइपरज्यामितीय समीकरण का फ्रोबेनियस समाधान]] के रूप में है
*आई. एम. गेलफैंड द्वारा प्रस्तुत किया गया है और [[सामान्यीकृत हाइपरजोमेट्रिक फ़ंक्शन|सामान्यीकृत हाइपरज्यामितीय फलन]] के रूप में है। 
* सामान्यीकृत हाइपरज्यामितीय श्रृंखला <sub>''p''</sub>F<sub>''q''</sub> जहां शब्दों का अनुपात सूचकांक का तर्कसंगत फलन है
*ज्यामितीय श्रृंखला, जहां शब्दों का अनुपात स्थिर है
*[[ अरे समारोह | ह्यून फलन,]] , चार नियमित अद्वितीय बिंदुओं के साथ दूसरे क्रम के ओडीइ का समाधान के रूप में होता है
*[[ हॉर्न समारोह | हॉर्न फलन]] , दो चर में 34 विशिष्ट कन्वर्जेन्स हाइपरज्यामितीय श्रृंखला के रूप में होती है
* [[हम्बर्ट श्रृंखला]] 2 चर के 7 हाइपरज्यामितीय फलन के रूप में है। 
*[[हाइपरज्यामितीय वितरण]], एक असतत संभाव्यता वितरण के रूप में है। 
* एक [[मैट्रिक्स तर्क का हाइपरजियोमेट्रिक फ़ंक्शन|आव्यूह तर्क का हाइपर ज्यामितीय फलन]] हाइपर ज्यामितीय श्रृंखला का बहुभिन्न रूपी सामान्यीकरण होता है
*काम्पे डे फेरिएट फलन दो चरों की हाइपरज्यामितीय श्रृंखला के रूप में होती है 
*[[लॉरिसेला हाइपरज्यामितीय श्रृंखला]], तीन चरों की अतिज्यामितीय श्रृंखला होती है 
*[[मैक्रोबर्ट ई-फंक्शन|मैक्रोबर्ट ई-फलन]], सामान्यीकृत हाइपरज्यामितीय श्रृंखला का एक विस्तार <sub>''p''</sub>F<sub>''q''</sub> स्थितियों में ''p''>''q''+1 के रूप में होती है।
*[[ मेजर जी-फ़ंक्शन | मेजर जी-फलन]], सामान्यीकृत हाइपरज्यामितीय श्रृंखला का एक विस्तार <sub>''p''</sub>F<sub>''q''</sub> स्थितियों में ''p''>''q''+1.के रूप में होती है।
* [[मॉड्यूलर हाइपरज्यामितीय श्रृंखला]], दीर्घवृत्तीय अतिज्यामितीय श्रृंखला का एक समाप्ति रूप होता है
* [[थीटा हाइपरज्यामितीय श्रृंखला]], एक विशेष प्रकार की दीर्घवृत्तीय अतिज्यामितीय श्रृंखला के रूप में होता है।
*विरासोरो [[अनुरूप ब्लॉक|कन्फॉर्मल ब्लॉक]], [[द्वि-आयामी अनुरूप क्षेत्र सिद्धांत]] में विशेष फलन, जो कुछ स्थितियों में हाइपर ज्यामितीय फलनो को कम करते हैं।

==संदर्भ==
{{reflist}}
* {{cite book | last1= Andrews | first1= George E. | author-link= George Andrews (mathematician) | last2= Askey | first2= Richard | last3= Roy | first3= Ranjan | name-list-style= amp | title= Special functions | publisher= Cambridge University Press | year= 1999 | series= Encyclopedia of Mathematics and its Applications | volume= 71 | isbn= 978-0-521-62321-6 | mr= 1688958 }}
* {{cite book | last=Bailey | first=W.N. | year=1935 | title=Generalized Hypergeometric Series | publisher=Cambridge University Press | url=http://plouffe.fr/simon/math/Bailey%20W.N.%20Generalized%20Hypergeometric%20Series%20%281964%29%28L%29%28T%29%2859s%29.pdf | access-date=2016-07-23 | archive-url=https://web.archive.org/web/20170624164738/http://plouffe.fr/simon/math/Bailey%20W.N.%20Generalized%20Hypergeometric%20Series%20(1964)(L)(T)(59s).pdf | archive-date=2017-06-24 | url-status=dead }}
* [[Frits Beukers|Beukers, Frits]] (2002), ''[http://www.math.uu.nl/people/beukers/MRIcourse93.ps Gauss' hypergeometric function]''. (lecture notes reviewing basics, as well as triangle maps and monodromy)
* {{dlmf | first= Adri B. | last= Olde Daalhuis | id= 15}}
* {{cite book | last1= Erdélyi | first1= Arthur | author1-link= Arthur Erdélyi | last2= Magnus | first2= Wilhelm | author2-link= Wilhelm Magnus | last3= Oberhettinger | first3= Fritz | name-list-style= amp | last4= Tricomi | first4= Francesco G. | title= Higher transcendental functions | volume= I | location= New York – Toronto – London | publisher= McGraw–Hill Book Company, Inc. | year= 1953 | isbn= 978-0-89874-206-0 | mr= 0058756 | url= http://apps.nrbook.com/bateman/Vol1.pdf }}
* Gasper, George & [[Mizan Rahman|Rahman, Mizan]] (2004). Basic Hypergeometric Series, 2nd Edition, Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge. {{ISBN|0-521-83357-4}}.
* {{cite journal | last= Gauss | first= Carl Friedrich | author-link= Carl Friedrich Gauss | title= Disquisitiones generales circa seriem infinitam &nbsp; <math> 1 + \tfrac {\alpha \beta} {1 \cdot \gamma} ~x + \tfrac {\alpha (\alpha+1) \beta (\beta+1)} {1 \cdot 2 \cdot \gamma (\gamma+1)} ~x~x + \mbox{etc.} </math> | language= la | url= https://books.google.com/books?id=uDMAAAAAQAAJ | location= Göttingen | journal= Commentationes Societatis Regiae Scientarum Gottingensis Recentiores | year= 1813 | volume= 2 }} 
* {{cite book | last1= Gelfand | first1= I. M. | last2= Gindikin | first2= S.G. | name-list-style= amp | last3= Graev | first3= M.I. | title= Selected topics in integral geometry | orig-year= 2000 | url= https://books.google.com/books?isbn=0821829327 | publisher= [[American Mathematical Society]] | location= Providence, R.I. | series= Translations of Mathematical Monographs | year= 2003 | volume= 220 | isbn= 978-0-8218-2932-5 | mr= 2000133 }}
* {{cite journal | last1= Gessel | first1= Ira | name-list-style= amp | last2= Stanton | first2= Dennis | title= Strange evaluations of hypergeometric series | journal= SIAM Journal on Mathematical Analysis | year= 1982 | volume= 13 | issue= 2 | pages= 295–308 | issn= 0036-1410 | doi= 10.1137/0513021 | mr= 647127 }}
* {{cite journal |last=Goursat |first=Édouard |author-link=Édouard Goursat |title=Sur l'équation différentielle linéaire, qui admet pour intégrale la série hypergéométrique |language=fr |url=http://www.numdam.org/item?id=ASENS_1881_2_10__S3_0 |access-date=2008-10-16 |journal=Annales Scientifiques de l'École Normale Supérieure |volume=10 |year=1881 |pages=3–142 |doi=10.24033/asens.207 |doi-access=free }}
* {{cite book | last1= Heckman | first1= Gerrit | last2= Schlichtkrull | first2= Henrik | name-list-style= amp | title= Harmonic Analysis and Special Functions on Symmetric Spaces | location= San Diego | publisher= Academic Press | year= 1994 | isbn= 0-12-336170-2 }} (part 1 treats hypergeometric functions on Lie groups)
* {{cite book | last=Hille | first=Einar | year=1976 | title=Ordinary differential equations in the complex domain | url=https://archive.org/details/ordinarydifferen00hill_0 | url-access=registration | publisher=Dover | isbn=0-486-69620-0 }}
*{{cite book|last=Ince|first=E. L.|author-link=E. L. Ince|title=Ordinary Differential Equations|url=https://archive.org/details/in.ernet.dli.2015.476224|publisher= Dover Publications|year= 1944}}
* {{cite book | last= Klein | first= Felix | title= Vorlesungen über die hypergeometrische Funktion | language= de | url= http://resolver.sub.uni-goettingen.de/purl?PPN375394591 | location= Berlin, New York | publisher= Springer-Verlag | year= 1981 | series= Grundlehren der Mathematischen Wissenschaften | volume= 39 | isbn= 978-3-540-10455-1 | mr= 668700 }}
* {{cite journal | last= Koepf | first= Wolfram | title= Algorithms for m-fold hypergeometric summation | year= 1995 | journal= Journal of Symbolic Computation | issn= 0747-7171 | volume= 20 | issue= 4 | pages= 399–417 | mr=1384455 | doi= 10.1006/jsco.1995.1056 | doi-access= free }}
* {{cite journal | last= Kummer | first= Ernst Eduard | title= Über die hypergeometrische Reihe&nbsp;<math> 1 + \tfrac {\alpha\cdot \beta} {1 \cdot \gamma} ~x + \tfrac {\alpha (\alpha+1) \beta (\beta+1)} {1 \cdot 2 \cdot \gamma (\gamma+1)} x^2 + \tfrac {\alpha (\alpha+1)(\alpha+2) \beta (\beta+1)(\beta+2)} {1 \cdot 2\cdot 3 \cdot \gamma (\gamma+1)(\gamma+2)} x^3 +\cdots </math> | language= de | url= http://resolver.sub.uni-goettingen.de/purl?GDZPPN00214056X | journal= [[Journal für die reine und angewandte Mathematik]] | year= 1836 | volume= 15 | pages= 39–83, 127–172 | issn= 0075-4102 }}
*{{cite journal | last1=Lavoie | first1=J. L. | last2=Grondin | first2=F. | last3=Rathie | first3=A.K. | year=1996 | title= Generalizations of Whipple's theorem on the sum of a <sub>3</sub>F<sub>2</sub> | journal = J. Comput. Appl. Math. | volume=72 | issue=2 | pages=293–300 | doi=10.1016/0377-0427(95)00279-0 | doi-access=free }}
* {{cite book | last1= Press | first1= W.H. | last2= Teukolsky | first2= S.A. | last3= Vetterling | first3= W.T. | last4= Flannery | first4= B.P. | name-list-style= amp | year= 2007 | title= Numerical Recipes: The Art of Scientific Computing | edition= 3rd | publisher= Cambridge University Press | publication-place= New York | isbn= 978-0-521-88068-8 | chapter= Section 6.13. Hypergeometric Functions | chapter-url= http://apps.nrbook.com/empanel/index.html#pg=318 }}
*{{cite journal | last1=Rakha | first1=M.A. | last2=Rathie | first2=Arjun K. | year=2011 | title=Extensions of Euler's type-II transformation and Saalschutz's theorem | journal= Bull. Korean Math. Soc. | volume=48 | issue=1 | pages=151–156 | doi=10.4134/BKMS.2011.48.1.151 | doi-access=free }}
*{{cite journal | last1=Rathie | first1= Arjun K. | last2= Paris | first2=R.B. | year=2007 |title= An extension of the Euler's-type transformation for the 3F2 series | journal= Far East J. Math. Sci. | volume=27 | issue=1 | pages=43–48 }}
* {{cite journal | last= Riemann | first= Bernhard | author-link= Bernhard Riemann | year= 1857 | title= Beiträge zur Theorie der durch die Gauss'sche Reihe ''F(α, β, γ, x)'' darstellbaren Functionen | journal= Abhandlungen der Mathematischen Classe der Königlichen Gesellschaft der Wissenschaften zu Göttingen | language= de | volume= 7 | pages= 3–22 | publisher= Verlag der Dieterichschen Buchhandlung | location= Göttingen | url= http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002018691 }} (a reprint of this paper can be found in {{cite web|url= http://www.emis.de/classics/Riemann/PFunct.pdf |title=All publications of Riemann }})
* {{cite book | last= Slater | first= Lucy Joan | author-link= Lucy Joan Slater | title= Confluent hypergeometric functions | url= https://archive.org/details/confluenthyperge0000slat | url-access= registration | location= Cambridge, UK | publisher= Cambridge University Press | year= 1960 | mr= 0107026 }}
* {{cite book | last= Slater | first= Lucy Joan |author-link=Lucy Joan Slater| title= Generalized hypergeometric functions | location= Cambridge, UK | publisher= Cambridge University Press | year= 1966 | isbn= 0-521-06483-X | mr= 0201688 }} (there is a 2008 paperback with {{ISBN|978-0-521-09061-2}})
* {{cite journal | last= Vidunas | first = Raimundas | title = Transformations of some Gauss hypergeometric functions | year = 2005 | journal = Journal of Symbolic Computation | volume = 178 | issue = 1–2 | pages = 473–487 | doi=10.1016/j.cam.2004.09.053 | arxiv = math/0310436 | bibcode = 2005JCoAM.178..473V | s2cid = 119596800 }}
* {{cite book | last= Wall | first= H.S. | title= Analytic Theory of Continued Fractions | publisher= D. Van Nostrand Company, Inc. | year= 1948 }}
* {{cite book | last1= Whittaker | first1= E.T. |author-link1=E. T. Whittaker | last2= Watson | first2= G.N.|author-link2=G. N. Watson | name-list-style= amp | title= [[A Course of Modern Analysis]] | location= Cambridge, UK | publisher= Cambridge University Press | year= 1927 }}
* {{cite book | last= Yoshida | first= Masaaki | title= Hypergeometric Functions, My Love: Modular Interpretations of Configuration Spaces | location= Braunschweig – Wiesbaden | publisher= Friedr. Vieweg & Sohn | year= 1997 | isbn= 3-528-06925-2 | mr= 1453580 }}


==बाहरी संबंध==
* {{springer|title=Hypergeometric function|id=p/h048450}}
* John Pearson, [http://people.maths.ox.ac.uk/porterm/research/pearson_final.pdf Computation of Hypergeometric Functions] ([[University of Oxford]], MSc Thesis)
* Marko Petkovsek, Herbert Wilf and Doron Zeilberger, [https://web.archive.org/web/20060129095451/http://www.cis.upenn.edu/~wilf/AeqB.html The book "A = B"] (freely downloadable)
* {{MathWorld |title=Hypergeometric Function |urlname= HypergeometricFunction}}

{{Series (mathematics)}}

{{DEFAULTSORT:Hypergeometric Function}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Hypergeometric Function]]
[[Category:CS1 Deutsch-language sources (de)|Hypergeometric Function]]
[[Category:CS1 Latina-language sources (la)|Hypergeometric Function]]
[[Category:CS1 français-language sources (fr)|Hypergeometric Function]]
[[Category:Collapse templates|Hypergeometric Function]]
[[Category:Created On 20/05/2023|Hypergeometric Function]]
[[Category:Lua-based templates|Hypergeometric Function]]
[[Category:Machine Translated Page|Hypergeometric Function]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Hypergeometric Function]]
[[Category:Pages with script errors|Hypergeometric Function]]
[[Category:Sidebars with styles needing conversion|Hypergeometric Function]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Hypergeometric Function]]
[[Category:Templates generating microformats|Hypergeometric Function]]
[[Category:Templates that add a tracking category|Hypergeometric Function]]
[[Category:Templates that are not mobile friendly|Hypergeometric Function]]
[[Category:Templates that generate short descriptions|Hypergeometric Function]]
[[Category:Templates using TemplateData|Hypergeometric Function]]
[[Category:Wikipedia metatemplates|Hypergeometric Function]]
[[Category:क्रमगुणित और द्विपद विषय|Hypergeometric Function]]
[[Category:गणितीय श्रृंखला|Hypergeometric Function]]
[[Category:सामान्य अवकल समीकरण|Hypergeometric Function]]
[[Category:हाइपरज्यामितीय कार्य|*]]