बीटा फलन

का कॉम्प्लेक्सप्लॉट3डी|थंब|बीटा फ़ंक्शन जटिल विमान में गणित 13.1 के कॉम्प्लेक्सप्लॉट3डी के साथ तीन आयामों में प्लॉट किया गया]]गणित में, बीटा फ़ंक्शन, जिसे पहली तरह का यूलर इंटीग्रल (बहुविकल्पी) भी कहा जाता है, एक विशेष फ़ंक्शन है जो गामा फ़ंक्शन और द्विपद गुणांक से निकटता से संबंधित है। इसे अभिन्न द्वारा परिभाषित किया गया है


 * $$ \Beta(z_1,z_2) = \int_0^1 t^{z_1-1}(1-t)^{z_2-1}\,dt$$

सम्मिश्र संख्या इनपुट के लिए $$ z_1, z_2 $$ ऐसा है कि $$ \Re(z_1), \Re(z_2)>0$$.

बीटा फ़ंक्शन का अध्ययन लियोनहार्ड यूलर और एड्रियन मैरी लीजेंड्रे द्वारा किया गया था और इसे जैक्स फिलिप मैरी बिनेट द्वारा इसका नाम दिया गया था; इसका प्रतीक $Β$ एक ग्रीक वर्णमाला का कैपिटल बीटा (अक्षर) है।

गुण
बीटा फ़ंक्शन सममित फ़ंक्शन है, जिसका अर्थ है $$ \Beta(z_1,z_2) = \Beta(z_2,z_1)$$ सभी इनपुट के लिए $$z_1$$ और $$z_2$$. बीटा फ़ंक्शन की एक प्रमुख संपत्ति गामा फ़ंक्शन से इसका घनिष्ठ संबंध है:


 * $$ \Beta(z_1,z_2)=\frac{\Gamma(z_1)\,\Gamma(z_2)}{\Gamma(z_1+z_2)}.$$

इसका एक प्रमाण नीचे दिया गया है.

बीटा फ़ंक्शन भी द्विपद गुणांक से निकटता से संबंधित है। कब $m$ (या $n$, समरूपता द्वारा) एक सकारात्मक पूर्णांक है, यह गामा फ़ंक्शन की परिभाषा से अनुसरण करता है $Γ$ वह
 * $$ \Beta(m,n) =\frac{(m-1)!\,(n-1)!}{(m+n-1)!} = \frac{m + n}{mn} \Bigg/ \binom{m + n}{m}. $$

गामा फ़ंक्शन से संबंध
संबंध की एक सरल व्युत्पत्ति $$ \Beta(z_1,z_2) =\frac{\Gamma(z_1)\,\Gamma(z_2)}{\Gamma(z_1+z_2)}$$ एमिल आर्टिन|एमिल आर्टिन की पुस्तक द गामा फंक्शन, पृष्ठ 18-19 में पाया जा सकता है। इस संबंध को प्राप्त करने के लिए, दो फैक्टोरियल के उत्पाद को इस प्रकार लिखें


 * $$\begin{align}

\Gamma(z_1)\Gamma(z_2) &= \int_{u=0}^\infty\ e^{-u} u^{z_1-1}\,du \cdot\int_{v=0}^\infty\ e^{-v} v^{z_2-1}\,dv \\[6pt] &=\int_{v=0}^\infty\int_{u=0}^\infty\ e^{-u-v} u^{z_1-1}v^{z_2-1}\, du \,dv. \end{align}$$ द्वारा चर बदलना $u = st$ और $v = s(1 − t)$, क्योंकि $u + v = s$ और $u / (u+v) = t$, हमारे पास इसके लिए एकीकरण की सीमाएं हैं $s$ 0 से ∞ तक हैं और एकीकरण की सीमाएँ हैं $t$ 0 से 1 हैं। इस प्रकार उत्पादन होता है


 * $$\begin{align}

\Gamma(z_1)\Gamma(z_2) &= \int_{s=0}^\infty\int_{t=0}^1 e^{-s} (st)^{z_1-1}(s(1-t))^{z_2-1}s\,dt \,ds \\[6pt] &= \int_{s=0}^\infty e^{-s}s^{z_1+z_2-1} \,ds\cdot\int_{t=0}^1 t^{z_1-1}(1-t)^{z_2-1}\,dt\\ &=\Gamma(z_1+z_2) \cdot \Beta(z_1,z_2). \end{align}$$ द्वारा दोनों पक्षों को विभाजित करना $$\Gamma(z_1+z_2)$$ वांछित परिणाम देता है.

बताई गई पहचान को कनवल्शन#एकीकरण के लिए पहचान के एक विशेष मामले के रूप में देखा जा सकता है। ले रहा


 * $$\begin{align}f(u)&:=e^{-u} u^{z_1-1} 1_{\R_+} \\ g(u)&:=e^{-u} u^{z_2-1} 1_{\R_+}, \end{align}$$

किसी के पास:


 * $$ \Gamma(z_1) \Gamma(z_2) = \int_{\R}f(u)\,du\cdot \int_{\R} g(u) \,du = \int_{\R}(f*g)(u)\,du =\Beta(z_1,z_2)\,\Gamma(z_1+z_2).$$

व्युत्पन्न
अपने पास


 * $$\frac{\partial}{\partial z_1} \mathrm{B}(z_1, z_2) = \mathrm{B}(z_1, z_2) \left( \frac{\Gamma'(z_1)}{\Gamma(z_1)} - \frac{\Gamma'(z_1 + z_2)}{\Gamma(z_1 + z_2)} \right) = \mathrm{B}(z_1, z_2) \big(\psi(z_1) - \psi(z_1 + z_2)\big),$$
 * $$\frac{\partial}{\partial z_m} \mathrm{B}(z_1, z_2, \dots, z_n) = \mathrm{B}(z_1, z_2, \dots, z_n) \left(\psi(z_m) - \psi\left( \sum_{k=1}^n z_k \right)\right), \quad 1\le m\le n,$$

कहाँ $$\psi(z)$$ बहुविवाह फलन को दर्शाता है।

अनुमान
स्टर्लिंग का सन्निकटन स्पर्शोन्मुख सूत्र देता है


 * $$\Beta(x,y) \sim \sqrt {2\pi } \frac{x^{x - 1/2} y^{y - 1/2} }{( {x + y} )^{x + y - 1/2} }$$

बड़े के लिए $x$ और बड़ा $y$.

यदि दूसरी ओर $x$ बड़ा है और $y$ तो निश्चित है


 * $$\Beta(x,y) \sim \Gamma(y)\,x^{-y}.$$

अन्य पहचान और सूत्र
बीटा फ़ंक्शन को परिभाषित करने वाले इंटीग्रल को निम्नलिखित सहित विभिन्न तरीकों से फिर से लिखा जा सकता है:

\begin{align} \Beta(z_1,z_2) &= 2\int_0^{\pi / 2}(\sin\theta)^{2z_1-1}(\cos\theta)^{2z_2-1}\,d\theta, \\[6pt] &= \int_0^\infty\frac{t^{z_1-1}}{(1+t)^{z_1+z_2}}\,dt, \\[6pt] &= n\int_0^1t^{nz_1-1}(1-t^n)^{z_2-1}\,dt, \\ &= (1-a)^{z_2} \int_0^1 \frac{(1-t)^{z_1-1}t^{z_2-1}}{(1-at)^{z_1+z_2}}dt \qquad \text{for any } a\in\mathbb{R}_{\leq 1}, \end{align}$$ जहां दूसरी से आखिरी पहचान में $n$ कोई धनात्मक वास्तविक संख्या है. कोई व्यक्ति प्रतिस्थापन द्वारा पहले अभिन्न से दूसरे में जा सकता है $$t = \tan^2(\theta)$$.

बीटा फ़ंक्शन को अनंत योग के रूप में लिखा जा सकता है
 * $$\Beta(x,y) = \sum_{n=0}^\infty \frac{(1-x)_n}{(y+n)\,n!}$$ : (कहाँ $$(x)_n$$ गिरता और बढ़ता फैक्टोरियल है)

और एक अनंत उत्पाद के रूप में
 * $$\Beta(x,y) = \frac{x+y}{x y} \prod_{n=1}^\infty \left( 1+ \dfrac{x y}{n (x+y+n)}\right)^{-1}.$$

बीटा फ़ंक्शन द्विपद गुणांकों के लिए संबंधित पहचानों के अनुरूप कई पहचानों को संतुष्ट करता है, जिसमें पास्कल की पहचान का एक संस्करण भी शामिल है


 * $$ \Beta(x,y) = \Beta(x, y+1) + \Beta(x+1, y)$$

और एक निर्देशांक पर एक सरल पुनरावृत्ति:


 * $$\Beta(x+1,y) = \Beta(x, y) \cdot \dfrac{x}{x+y}, \quad \Beta(x,y+1) = \Beta(x, y) \cdot \dfrac{y}{x+y}.$$

बीटा फ़ंक्शन के सकारात्मक पूर्णांक मान भी 2D फ़ंक्शन के आंशिक व्युत्पन्न हैं: सभी गैर-नकारात्मक पूर्णांकों के लिए $$m$$ और $$n$$,
 * $$\Beta(m+1, n+1) = \frac{\partial^{m+n}h}{\partial a^m \, \partial b^n}(0, 0),$$

कहाँ
 * $$h(a, b) = \frac{e^a-e^b}{a-b}.$$

उपरोक्त पास्कल-जैसी पहचान का तात्पर्य है कि यह फ़ंक्शन प्रथम-क्रम आंशिक अंतर समीकरण का समाधान है
 * $$h = h_a+h_b.$$

के लिए $$x, y \geq 1$$, बीटा फ़ंक्शन को काट दिया गया पावर फ़ंक्शन को शामिल करने वाले कनवल्शन के संदर्भ में लिखा जा सकता है $$t \mapsto t_+^x$$:
 * $$ \Beta(x,y) \cdot\left(t \mapsto t_+^{x+y-1}\right) = \Big(t \mapsto t_+^{x-1}\Big) * \Big(t \mapsto t_+^{y-1}\Big)$$

विशेष बिंदुओं पर मूल्यांकन काफी सरल हो सकता है; उदाहरण के लिए,
 * $$ \Beta(1,x) = \dfrac{1}{x} $$

और
 * $$ \Beta(x,1-x) = \dfrac{\pi}{\sin(\pi x)}, \qquad x \not \in \mathbb{Z} $$

ले कर $$ x = \frac{1}{2}$$ इस अंतिम सूत्र में, यह उसका अनुसरण करता है $$\Gamma(1/2) = \sqrt{\pi}$$. बीटा फ़ंक्शंस के उत्पाद के लिए इसे द्विचर पहचान में सामान्यीकृत करने से यह होता है:
 * $$ \Beta(x,y) \cdot \Beta(x+y,1-y) = \frac{\pi}{x \sin(\pi y)} .$$

बीटा फ़ंक्शन के लिए यूलर के इंटीग्रल को पोचहैमर समोच्च पर एक इंटीग्रल में परिवर्तित किया जा सकता है $C$ जैसा


 * $$\left(1-e^{2\pi i\alpha}\right)\left(1-e^{2\pi i\beta}\right)\Beta(\alpha,\beta) =\int_C t^{\alpha-1}(1-t)^{\beta-1} \, dt.$$

यह पोचहैमर समोच्च अभिन्न अंग सभी मूल्यों के लिए अभिसरण करता है $α$ और $β$ और इस प्रकार बीटा फ़ंक्शन की विश्लेषणात्मक निरंतरता मिलती है।

जिस तरह पूर्णांकों के लिए गामा फ़ंक्शन कारख़ाने का  का वर्णन करता है, बीटा फ़ंक्शन सूचकांकों को समायोजित करने के बाद एक द्विपद गुणांक को परिभाषित कर सकता है:
 * $$\binom{n}{k} = \frac{1}{(n+1)\,\Beta(n-k+1, k+1)}.$$

इसके अलावा, पूर्णांक के लिए $n$, $Β$ के निरंतर मानों के लिए एक बंद रूप इंटरपोलेशन फ़ंक्शन देने के लिए गुणनखंडन किया जा सकता है $k$:
 * $$\binom{n}{k} = (-1)^n\, n! \cdot\frac{\sin (\pi k)}{\pi \displaystyle\prod_{i=0}^n (k-i)}.$$

पारस्परिक बीटा फ़ंक्शन
पारस्परिक बीटा फ़ंक्शन प्रपत्र के बारे में विशेष फ़ंक्शन है


 * $$f(x,y)=\frac{1}{\Beta(x,y)}$$

दिलचस्प बात यह है कि, उनके अभिन्न निरूपण त्रिकोणमितीय कार्यों के निश्चित अभिन्न अंग के रूप में इसकी शक्ति के उत्पाद के साथ निकटता से संबंधित हैं और त्रिकोणमितीय पहचान की सूची # एकाधिक-कोण सूत्र | एकाधिक-कोण: :$$\int_0^\pi\sin^{x-1}\theta\sin y\theta~d\theta=\frac{\pi\sin\frac{y\pi}{2}}{2^{x-1}x\Beta\left(\frac{x+y+1}{2},\frac{x-y+1}{2}\right)}$$
 * $$\int_0^\pi\sin^{x-1}\theta\cos y\theta~d\theta=\frac{\pi\cos\frac{y\pi}{2}}{2^{x-1}x\Beta\left(\frac{x+y+1}{2},\frac{x-y+1}{2}\right)}$$
 * $$\int_0^\pi\cos^{x-1}\theta\sin y\theta~d\theta=\frac{\pi\cos\frac{y\pi}{2}}{2^{x-1}x\Beta\left(\frac{x+y+1}{2},\frac{x-y+1}{2}\right)}$$
 * $$\int_0^\frac{\pi}{2}\cos^{x-1}\theta\cos y\theta~d\theta=\frac{\pi}{2^xx\Beta\left(\frac{x+y+1}{2},\frac{x-y+1}{2}\right)}$$

अपूर्ण बीटा फ़ंक्शन
अपूर्ण बीटा फ़ंक्शन, बीटा फ़ंक्शन का सामान्यीकरण, के रूप में परिभाषित किया गया है


 * $$ \Beta(x;\,a,b) = \int_0^x t^{a-1}\,(1-t)^{b-1}\,dt. $$

के लिए $x = 1$, अपूर्ण बीटा फ़ंक्शन पूर्ण बीटा फ़ंक्शन के साथ मेल खाता है। दोनों कार्यों के बीच का संबंध गामा फ़ंक्शन और उसके सामान्यीकरण के बीच अधूरा गामा फ़ंक्शन जैसा है। सकारात्मक पूर्णांक ए और बी के लिए, अपूर्ण बीटा फ़ंक्शन तर्कसंगत गुणांक के साथ डिग्री ए + बी - 1 का बहुपद होगा।

'नियमित अपूर्ण बीटा फ़ंक्शन' (या संक्षेप में 'नियमित बीटा फ़ंक्शन') को अपूर्ण बीटा फ़ंक्शन और पूर्ण बीटा फ़ंक्शन के संदर्भ में परिभाषित किया गया है:


 * $$ I_x(a,b) = \frac{\Beta(x;\,a,b)}{\Beta(a,b)}. $$

नियमित अपूर्ण बीटा फ़ंक्शन बीटा वितरण का संचयी वितरण फ़ंक्शन है, और संचयी वितरण फ़ंक्शन से संबंधित है $$F(k;\,n,p)$$ एक यादृच्छिक चर का $X$ एकल सफलता की संभावना के साथ द्विपद वितरण का पालन करना $p$ और बर्नौली परीक्षणों की संख्या $n$:


 * $$F(k;\,n,p) = \Pr\left(X \le k\right) = I_{1-p}(n-k, k+1) = 1 - I_p(k+1,n-k). $$

गुण

 * $$\begin{align}

I_0(a,b) &= 0 \\ I_1(a,b) &= 1 \\ I_x(a,1) &= x^a\\ I_x(1,b) &= 1 - (1-x)^b \\ I_x(a,b) &= 1 - I_{1-x}(b,a) \\ I_x(a+1,b) &= I_x(a,b)-\frac{x^a(1-x)^b}{a \Beta(a,b)} \\ I_x(a,b+1) &= I_x(a,b)+\frac{x^a(1-x)^b}{b \Beta(a,b)} \\ \int B(x;a,b) \mathrm{d}x &= x B(x; a, b) - B(x; a+1, b) \\ \Beta(x;a,b)&=(-1)^{a} \Beta\left(\frac{x}{x-1};a,1-a-b\right) \end{align}$$

बहुभिन्नरूपी बीटा फ़ंक्शन
बीटा फ़ंक्शन को दो से अधिक तर्कों वाले फ़ंक्शन तक बढ़ाया जा सकता है:


 * $$\Beta(\alpha_1,\alpha_2,\ldots\alpha_n) = \frac{\Gamma(\alpha_1)\,\Gamma(\alpha_2) \cdots \Gamma(\alpha_n)}{\Gamma(\alpha_1 + \alpha_2 + \cdots + \alpha_n)} .$$

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


 * $$\Beta(\alpha_1,\alpha_2,\ldots\alpha_n) = \Beta(\alpha_1+1,\alpha_2,\ldots\alpha_n)+\Beta(\alpha_1,\alpha_2+1,\ldots\alpha_n)+\cdots+\Beta(\alpha_1,\alpha_2,\ldots\alpha_n+1) .$$

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

सॉफ़्टवेयर कार्यान्वयन
सीधे तौर पर अनुपलब्ध होने पर भी, पूर्ण और अपूर्ण बीटा फ़ंक्शन मानों की गणना आमतौर पर स्प्रेडशीट या कंप्यूटर बीजगणित सिस्टम में शामिल फ़ंक्शन का उपयोग करके की जा सकती है।

उदाहरण के लिए, Microsoft Excel  में, संपूर्ण बीटा फ़ंक्शन की गणना इसके साथ की जा सकती है   फ़ंक्शन (या   पायथन (प्रोग्रामिंग भाषा) में | पायथन का SciPy पैकेज):

यह परिणाम गुण #Properties से आता है।

ऐसे संबंधों का उपयोग करके अपूर्ण बीटा फ़ंक्शन की सीधे गणना नहीं की जा सकती है और अन्य तरीकों का उपयोग किया जाना चाहिए। GNU Octave में, इसकी गणना निरंतर अंश विस्तार का उपयोग करके की जाती है।

अपूर्ण बीटा फ़ंक्शन का सामान्य भाषाओं में मौजूदा कार्यान्वयन है। उदाहरण के लिए,  (अपूर्ण बीटा फ़ंक्शन) MATLAB और GNU ऑक्टेव में,   (बीटा वितरण की संभावना) आर (प्रोग्रामिंग भाषा) में, या   SciPy में बीटा वितरण#संचयी वितरण फ़ंक्शन की गणना करें - जो वास्तव में, संचयी बीटा वितरण है - और इसलिए, वास्तविक अपूर्ण बीटा फ़ंक्शन प्राप्त करने के लिए, किसी को परिणाम को गुणा करना होगा   संगत द्वारा लौटाए गए परिणाम से   समारोह। गणित में,   और   देना $$ \Beta(x;\,a,b) $$ और $$ I_x(a,b) $$, क्रमश।

यह भी देखें

 * बीटा वितरण और बीटा प्राइम वितरण, बीटा फ़ंक्शन से संबंधित दो संभाव्यता वितरण
 * जैकोबी योग, परिमित क्षेत्रों पर बीटा फ़ंक्शन का एनालॉग।
 * नॉरलुंड-चावल अभिन्न
 * यूल-साइमन वितरण

बाहरी संबंध

 * Arbitrarily accurate values can be obtained from:
 * The Wolfram functions site: Evaluate Beta Regularized incomplete beta
 * danielsoper.com: Incomplete beta function calculator, Regularized incomplete beta function calculator
 * The Wolfram functions site: Evaluate Beta Regularized incomplete beta
 * danielsoper.com: Incomplete beta function calculator, Regularized incomplete beta function calculator