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

फ़ाइल: हाइपर जियोमेट्रिक फ़ंक्शन 2F1(a,b; c; z) का प्लॉट a=2 और b=3 और c= के साथ4 in the complex plane from -2-2i to 2+2i with colors created with Mathematica 13.1 function ComplexPlot3D.svg|alt=Plot of the hypergeometric function 2F1(ए, बी; सी; जेड) ए = 2 और बी = 3 और सी = 4 जटिल विमान में -2-2i से 2 + 2i तक मैथमैटिका 13.1 फ़ंक्शन कॉम्प्लेक्सप्लॉट 3 डी | थंब | हाइपरजेमेट्रिक फ़ंक्शन का प्लॉट 2F1(a,b; c; z) a=2 और b=3 और c=4 के साथ कॉम्प्लेक्स प्लेन में -2-2i से 2+2i तक मेथेमेटिका 13.1 फ़ंक्शन ComplexPlot3D के साथ बनाए गए रंगों के साथ

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

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

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

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

उन्नीसवीं शताब्दी के अध्ययनों में वे शामिल थे, और द्वारा मौलिक लक्षण वर्णन हाइपरजियोमेट्रिक फ़ंक्शन का अंतर समीकरण के माध्यम से इसे संतुष्ट करता है।

रीमैन ने दिखाया कि दूसरे क्रम का अंतर समीकरण 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$ साथ $|z| ≥ 1$ यह जटिल विमान में किसी भी पथ के साथ विश्लेषणात्मक निरंतरता हो सकती है जो शाखा बिंदु 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}$, और अक्सर सरल रूप से निर्दिष्ट किया जाता है $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)