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

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

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

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

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

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

रीमन ने दिखाया कि जटिल समतल में परीक्षण 2F1(z), के लिए द्वितीय क्रम  का अवकलन समीकरण है, इसकी तीन नियमित विलक्षणता द्वारा रीमैन क्षेत्र पर विशेषता की जा सकती है।

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

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

$${}_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.$$ यदि यह अपरिभाषित या अनंत $c$ के रूप में है, तो यह एक गैर-सकारात्मक पूर्णांक के बराबर होता है। यहाँ $(q)_{n}$ उभरता हुआ पोचममेर प्रतीक के रूप में है, जिसे इसके द्वारा परिभाषित किया गया  है।

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

$|z| ≥ 1$ के साथ जटिल तर्क $z$ के लिए इसे जटिल तल में किसी भी पथ के साथ विश्लेषणात्मक निरंतरता रूप से जारी रखा जा सकता है जो शाखा बिंदु 1 और अनंत से बचती है।

जैसा $c → −m$, जहाँ $m$ एक गैर-ऋणात्मक पूर्णांक है, और $_{2}F_{1}(z) → ∞$. के रूप में गामा फलन के मूल्य गामा $Γ(c)$ गामा समारोह से विभाजित होते है।

$$\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)$$

$_{2}F_{1}(z)$ सामान्यीकृत हाइपरज्यामितीय श्रृंखला $_{p}F_{q}$,का सबसे सामान्य प्रकार है और इसे मात्र x $F(z)$.के रूप में निर्दिष्ट किया जाता है

विभेद सूत्र
सर्वसमिका का उपयोग करना $$ (a)_{n+1}=a (a+1)_n$$, यह दिखाया गया है

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

$$ \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) $$

विशेष मामले
कई सामान्य गणितीय कार्यों को  हाइपर ज्यामितीय फलन के संदर्भ में या इसके सीमित स्थितियों के रूप में व्यक्त किया जा सकता है। कुछ विशिष्ट उदाहरण हैं

$$\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}$$ जब a=1 और b=c, श्रृंखला एक सादे ज्यामितीय श्रृंखला में कम हो जाती है, अर्थात

$$\begin{align} _2F_1\left(1, b; b; z\right) &= 1 + z + z^2 + z^3 + z^4 + \cdots \end{align}$$ इसलिए, नाम  हाइपर ज्यामितीय । इस समारोह को ज्यामितीय श्रृंखला के सामान्यीकरण के रूप में माना जा सकता है।

संगम हाइपरज्यामितीय समारोह (या कुमेर का फलन ) को  हाइपर ज्यामितीय फलन की सीमा के रूप में दिया जा सकता है

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

लेजेंड्रे समारोह 3 नियमित एकवचन बिंदुओं के साथ दूसरे क्रम के अवकलन समीकरण के समाधान हैं, इसलिए इसे  हाइपर ज्यामितीय फलन के संदर्भ में कई विधियों  से व्यक्त किया जा सकता है, उदाहरण के लिए

$${}_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)$$ जैकोबी बहुपद पी सहित कई ऑर्थोगोनल बहुपद$(α,β) n$ और उनके विशेष मामले लीजेंड्रे बहुपद, चेबिशेव बहुपद, गेगेनबॉयर बहुपद को हाइपरज्यामितीय कार्यों के संदर्भ में लिखा जा सकता है

$${}_2F_1(-n,\alpha+1+\beta+n;\alpha+1;x) = \frac{n!}{(\alpha+1)_n}P^{(\alpha,\beta)}_n(1-2x)$$ अन्य बहुपद जो विशेष मामले हैं उनमें सम्मलित हैं क्रावचौक बहुपद, मीक्सनर बहुपद, मीक्सनर-पोलाकजेक बहुपद।

दिया गया $$z\in\mathbb{C}\setminus\{0,1\}$$, होने देना

$$ \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)}.$$ तब

$$\lambda (\tau) = \frac{\theta_2(\tau)^4}{\theta_3(\tau)^4}=z$$ मॉड्यूलर लैम्ब्डा समारोह है, जहां

$$\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}$$.

j-invariant, एक मॉड्यूलर फॉर्म # मॉड्यूलर फलन, एक तर्कसंगत फलन है $$\lambda (\tau)$$.

अपूर्ण बीटा कार्य Bx(पी, क्यू) से संबंधित हैं

$$ B_x(p,q) = \tfrac{x^p}{p}{}_2F_1(p,1-q;p+1;x)$$ पूर्ण अण्डाकार समाकल K और E द्वारा दिए गए हैं

$$\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}$$

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

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

एकवचन बिंदुओं पर समाधान
हाइपरज्यामितीय अवकलन समीकरण के समाधान हाइपरज्यामितीय श्रृंखला से निर्मित होते हैं 2F1(ए, बी; सी; जेड)। समीकरण के दो रैखिक रूप से स्वतंत्र समाधान हैं। तीन एकवचन बिंदुओं 0, 1, ∞ में से प्रत्येक पर, सामान्यतः x के रूप के दो विशेष समाधान होते हैंs x का एक होलोमॉर्फिक फलन है, जहां s इंडिकियल समीकरण की दो जड़ों में से एक है और x एक स्थानीय चर है जो एक नियमित विलक्षण बिंदु पर गायब हो जाता है। यह इस प्रकार 3 × 2 = 6 विशेष समाधान देता है।

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

$$ \, _2F_1(a,b;c;z)$$ और, इस शर्त पर कि c एक पूर्णांक नहीं है,

$$ z^{1-c} \, _2F_1(1+a-c,1+b-c;2-c;z)$$ यदि c एक गैर-सकारात्मक पूर्णांक 1−m है, तो इनमें से पहला समाधान उपस्थित नहीं है और इसके द्वारा प्रतिस्थापित किया जाना चाहिए $$z^mF(a+m,b+m;1+m;z).$$ दूसरा समाधान उपस्थित  नहीं है जब c 1 से अधिक पूर्णांक है, और पहले समाधान के बराबर है, या इसका प्रतिस्थापन, जब c कोई अन्य पूर्णांक है। इसलिए जब c एक पूर्णांक है, तो दूसरे समाधान के लिए एक अधिक जटिल अभिव्यक्ति का उपयोग किया जाना चाहिए, पहले समाधान के बराबर ln(z), साथ ही z की शक्तियों में एक और श्रृंखला, जिसमें डिगामा समारोह सम्मलित  है। देखना  जानकारी के लिए।

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

$$\, _2F_1(a,b;1+a+b-c;1-z)$$ और

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

$$ z^{-a}\, _2F_1 \left (a,1+a-c;1+a-b; z^{-1} \right)$$ और

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

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

कुमेर के 24 उपाय
एन एकवचन बिंदुओं के साथ एक दूसरे क्रम के फ्यूचियन समीकरण में समरूपता का एक समूह है जो इसके समाधान पर कार्य करता है (प्रोजेक्टिवली), कॉक्सेटर समूह  डब्ल्यू (डी) के लिए आइसोमोर्फिकn) आदेश 2n−1n!. हाइपरज्यामितीय समीकरण केस एन = 3 है, ऑर्डर 24 आइसोमोर्फिक के समूह के साथ 4 बिंदुओं पर सममित समूह के लिए, जैसा कि पहले वर्णित है गंभीर दु:ख सममित समूह की उपस्थिति आकस्मिक है और 3 से अधिक एकवचन बिंदुओं के लिए कोई एनालॉग नहीं है, और कभी-कभी समूह को 3 बिंदुओं पर सममित समूह के विस्तार के रूप में सोचना बेहतर होता है (3 एकवचन बिंदुओं के क्रमपरिवर्तन के रूप में कार्य करना) एक क्लेन 4-समूह (जिसके तत्व समान संख्या में एकवचन बिंदुओं पर घातांक के अंतर के संकेतों को बदलते हैं)। Kummer के 24 रूपांतरणों का समूह तीन परिवर्तनों द्वारा एक समाधान F(a,b;c;z) से एक में उत्पन्न होता है

$$\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}$$ जो 4 अंक 1, 2, 3, 4 पर सममित समूह के साथ एक समरूपता के अनुसार पारदर्शिता (12), (23), और (34) के अनुरूप है। (इनमें से पहला और तीसरा वास्तव में एफ (ए, b;c;z) जबकि दूसरा अवकलन समीकरण का एक स्वतंत्र समाधान है।)

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

$$\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}$$

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

$$\frac{d^2u}{dz^2}+Q(z)u(z) = 0$$ प्रतिस्थापन करके u = wv और पहले-व्युत्पन्न शब्द को हटा दें। एक पाता है

$$Q=\frac{z^2[1-(a-b)^2] +z[2c(a+b-1)-4ab] +c(2-c)}{4z^2(1-z)^2}$$ और v का हल दिया गया है

$$\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)}$$ जो है

$$v(z)=z^{-c/2}(1-z)^{(c-a-b-1)/2}.$$ श्वार्जियन व्युत्पन्न के संबंध में क्यू-फॉर्म महत्वपूर्ण है.

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

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

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

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

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

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

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

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

$$\pi_1(\mathbf{C}\setminus\{0,1\},z_0) \to \text{GL}(2,\mathbf{C})$$ जहां प1 मौलिक समूह है। दूसरे शब्दों में, मोनोड्रोमी मौलिक समूह का दो आयामी रैखिक प्रतिनिधित्व है। समीकरण का मोनोड्रोमी समूह इस मानचित्र की छवि है, अर्थात मोनोड्रोमी मैट्रिसेस द्वारा उत्पन्न समूह। मौलिक समूह के मोनोड्रोमी प्रतिनिधित्व को एकवचन बिंदुओं पर प्रतिपादकों के संदर्भ में स्पष्ट रूप से गणना की जा सकती है। यदि (α, α'), (β, β') और (γ,γ') 0, 1 और ∞ पर एक्सपोनेंट हैं, तो z लेने पर0 0 के पास, 0 और 1 के आस-पास के लूप में मोनोड्रोमी मैट्रिसेस हैं

$$\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}$$ कहाँ

$$\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)}.$$ यदि 1−a, c−a−b, a−b हर k, l, m के साथ गैर-पूर्णांक परिमेय संख्याएँ हैं तो मोनोड्रोमी समूह परिमित है यदि और केवल यदि $$1/k + 1/l + 1/m > 1$$, श्वार्ज़ की सूची या पिकार्ड-वेसियट सिद्धांत|कोवासिक का कलन विधि देखें।

यूलर प्रकार
यदि बी बीटा समारोह है तो

$$\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, $$ बशर्ते कि z एक ऐसी वास्तविक संख्या न हो जो 1 से अधिक या उसके बराबर हो। इसे (1 − zx) का विस्तार करके सिद्ध किया जा सकता है−a द्विपद प्रमेय का उपयोग करके और फिर 1 से छोटे निरपेक्ष मान के साथ z के लिए शब्द द्वारा शब्द को एकीकृत करना, और कहीं और विश्लेषणात्मक निरंतरता द्वारा। जब z एक वास्तविक संख्या 1 से अधिक या उसके बराबर हो, तो विश्लेषणात्मक निरंतरता का उपयोग किया जाना चाहिए, क्योंकि (1 − zx) समाकल के समर्थन में किसी बिंदु पर शून्य है, इसलिए समाकलन का मान अ-परिभाषित हो सकता है। यह 1748 में यूलर द्वारा दिया गया था और इसका तात्पर्य यूलर और Pfaff के अतिज्यामितीय परिवर्तनों से है।

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

बार्न्स अभिन्न
बार्न्स इंटीग्रल का मूल्यांकन करने के लिए बार्न्स ने अवशेष के सिद्धांत (जटिल विश्लेषण) का उपयोग किया

$$\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$$ जैसा

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

जॉन ट्रांसफॉर्म
गॉस  हाइपर ज्यामितीय फलन को जॉन ट्रांसफ़ॉर्म के रूप में लिखा जा सकता है.

गॉस के सन्निहित संबंध
छह कार्य

$${}_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)$$ से सटे हुए कहलाते हैं $_{2}F_{1}(a, b; c; z)$. गॉस ने दिखाया $_{2}F_{1}(a, b; c; z)$ को इसके सन्निहित कार्यों में से किन्हीं दो के रैखिक संयोजन के रूप में लिखा जा सकता है, जिसके संदर्भ में तर्कसंगत गुणांक हैं $a, b, c$, और $z$. यह देता है

$$ \begin{pmatrix} 6 \\ 2 \end{pmatrix} = 15$$ संबंध, के दाहिने हाथ की किन्हीं दो रेखाओं की सर्वसमिका करके दिया गया है

$$\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}$$ जहाँ $F = _{2}F_{1}(a, b; c; z), F(a+) = _{2}F_{1}(a + 1, b; c; z)$, और इसी तरह। बार-बार इन संबंधों को लागू करने से एक रैखिक संबंध खत्म हो जाता है $C(z)$ प्रपत्र के किसी भी तीन कार्यों के बीच

$${}_2F_1 (a+m,b+n;c+l;z),$$ जहाँ m, n और l पूर्णांक हैं।

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

$$\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}}}}}$$

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

आंशिक रैखिक परिवर्तन
यूलर का परिवर्तन है $${}_2F_1 (a,b;c;z) = (1-z)^{c-a-b} {}_2F_1 (c-a, c-b;c ; z).$$ यह दो Pfaff रूपांतरणों को जोड़कर अनुसरण करता है $$\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}$$ जो बदले में यूलर के अभिन्न प्रतिनिधित्व का अनुसरण करता है। यूलर के पहले और दूसरे परिवर्तनों के विस्तार के लिए, देखें और. इसे रैखिक संयोजन के रूप में भी लिखा जा सकता है $$ \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} $$

द्विघात परिवर्तन
यदि दो संख्याएँ 1 − c, c − 1, a − b, b − a, a + b − c, c − a − b बराबर हैं या उनमें से एक 1/2 है तो एक 'द्विघात परिवर्तन' होता है  हाइपर ज्यामितीय फलन का, इसे द्विघात समीकरण से संबंधित z के एक भिन्न  मान से जोड़ना। द्वारा पहला उदाहरण दिया गया था, और द्वारा एक पूरी सूची दी गई थी. एक विशिष्ट उदाहरण है

$${}_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)$$

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

$${}_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 )$$ घात 4 और 6 के कुछ परिवर्तन भी हैं। अन्य घात के परिवर्तन केवल तभी उपस्थित होते हैं जब a, b, और c कुछ परिमेय संख्याएँ हों. उदाहरण के लिए, $${}_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 ).$$

विशेष बिंदुओं पर मान z
देखना विशेष बिंदुओं पर सारांश सूत्रों की सूची के लिए, जिनमें से अधिकांश भी दिखाई देते हैं. अधिक बिंदुओं पर और मूल्यांकन दें। दिखाता है कि इनमें से अधिकांश पहचानों को कंप्यूटर कलन विधि द्वारा कैसे सत्यापित किया जा सकता है।

z = 1
पर विशेष मान गॉस का योग प्रमेय, कार्ल फ्रेडरिक गॉस के नाम पर, सर्वसमिका है

$${}_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) $$ जो यूलर के अभिन्न सूत्र से z = 1 लगाकर अनुसरण करता है। इसमें एक विशेष मामले के रूप में वैंडरमोंड सर्वसमिका सम्मलित है।

विशेष मामले के लिए जहां $$ a=-m $$, $${}_2F_1 (-m,b;c;1)=\frac{ (c-b)_{m} }{(c)_{m} } $$ द्विपक्षीय हाइपरज्यामितीय श्रृंखला|डगल का सूत्र z = 1 पर द्विपक्षीय अतिज्यामितीय श्रृंखला के लिए इसे सामान्यीकृत करता है।

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

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

$$\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}$$ और पहली सर्वसमिका में z = −1 रखकर गॉस की प्रमेय। कुमार के योग के सामान्यीकरण के लिए देखें.

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

$$_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))}. $$ बेली का प्रमेय है

$$_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))}.$$ गॉस के दूसरे संकलन प्रमेय और बेली के योग प्रमेय के सामान्यीकरण के लिए, देखें.

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

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

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

यह भी देखें

 * अपेल श्रृंखला, हाइपरज्यामितीय श्रृंखला का 2-चर सामान्यीकरण
 * मौलिक हाइपर ज्यामितीय श्रृंखला जहां शब्दों का अनुपात सूचकांक का एक आवधिक कार्य है
 * द्विपक्षीय हाइपरज्यामितीय श्रृंखला pHp सामान्यीकृत हाइपरज्यामितीय श्रृंखला के समान हैं, लेकिन सभी पूर्णांकों पर अभिव्यक्त हैं
 * द्विपद श्रृंखला 1F0
 * संगम अतिज्यामितीय श्रृंखला 1F1(ए; सी; जेड)
 * अण्डाकार  हाइपर ज्यामितीय श्रृंखला जहां शब्दों का अनुपात सूचकांक का एक अण्डाकार कार्य है
 * यूलर  हाइपर ज्यामितीय इंटीग्रल, का इंटीग्रल रिप्रेजेंटेशन 2F1
 * फॉक्स एच-फलन, मीजर जी-फंक्शन का विस्तार
 * फॉक्स-राइट फलन, सामान्यीकृत अतिज्यामितीय फलन का एक सामान्यीकरण
 * हाइपरज्यामितीय समीकरण का फ्रोबेनियस समाधान
 * इज़राइल गेलफैंड द्वारा प्रस्तुत किया गया सामान्यीकृत हाइपरजोमेट्रिक फलन ]]|I. एम। गेलफैंड।
 * सामान्यीकृत हाइपरज्यामितीय श्रृंखला pFq जहां शब्दों का अनुपात सूचकांक का तर्कसंगत कार्य है
 * ज्यामितीय श्रृंखला, जहां शब्दों का अनुपात स्थिर है
 * अरे समारोह, चार नियमित एकवचन बिंदुओं के साथ दूसरे क्रम के ODE का समाधान
 * हॉर्न समारोह, दो वेरिएबल्स में 34 विशिष्ट अभिसरण हाइपरज्यामितीय श्रृंखला
 * हम्बर्ट श्रृंखला 2 चर के 7 हाइपरज्यामितीय कार्य
 * हाइपरज्यामितीय वितरण, एक असतत संभाव्यता वितरण
 * एक मैट्रिक्स तर्क का  हाइपर ज्यामितीय फलन,   हाइपर ज्यामितीय श्रृंखला का बहुभिन्नरूपी सामान्यीकरण
 * काम्पे डे फेरिएट फलन, दो चरों की हाइपरज्यामितीय श्रृंखला
 * लॉरिसेला हाइपरज्यामितीय श्रृंखला, तीन चरों की अतिज्यामितीय श्रृंखला
 * मैक्रोबर्ट ई-फंक्शन, सामान्यीकृत हाइपरज्यामितीय श्रृंखला का एक विस्तार pFq मामले में पी> क्यू + 1।
 * मेजर जी-फलन, सामान्यीकृत हाइपरज्यामितीय श्रृंखला का एक विस्तार pFq मामले में पी> क्यू + 1।
 * मॉड्यूलर हाइपरज्यामितीय श्रृंखला, दीर्घवृत्तीय अतिज्यामितीय श्रृंखला का एक समाप्ति रूप
 * थीटा हाइपरज्यामितीय श्रृंखला, एक विशेष प्रकार की दीर्घवृत्तीय अतिज्यामितीय श्रृंखला।
 * विरासोरो अनुरूप ब्लॉक, द्वि-आयामी अनुरूप क्षेत्र सिद्धांत में विशेष कार्य जो कुछ स्थितियों में  हाइपर ज्यामितीय कार्यों को कम करते हैं।

संदर्भ

 * Beukers, Frits (2002), Gauss' hypergeometric function. (lecture notes reviewing basics, as well as triangle maps and monodromy)
 * Gasper, George & Rahman, Mizan (2004). Basic Hypergeometric Series, 2nd Edition, Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge. ISBN 0-521-83357-4.
 * (part 1 treats hypergeometric functions on Lie groups)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * Gasper, George & Rahman, Mizan (2004). Basic Hypergeometric Series, 2nd Edition, Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge. ISBN 0-521-83357-4.
 * (part 1 treats hypergeometric functions on Lie groups)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (part 1 treats hypergeometric functions on Lie groups)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (a reprint of this paper can be found in )
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)
 * (there is a 2008 paperback with ISBN 978-0-521-09061-2)

बाहरी संबंध

 * John Pearson, Computation of Hypergeometric Functions (University of Oxford, MSc Thesis)
 * Marko Petkovsek, Herbert Wilf and Doron Zeilberger, The book "A = B" (freely downloadable)
 * Marko Petkovsek, Herbert Wilf and Doron Zeilberger, The book "A = B" (freely downloadable)