जैकोबी बहुपद

गणित में, जैकोबी बहुपद (कभी-कभी अतिज्यामितीय बहुपद कहा जाता है) $$P_n^{(\alpha,\beta)}(x)$$ शास्त्रीय लंबकोणीय बहुपदों  का एक वर्ग  हैं। वे अंतराल $$[-1,1]$$ पर   प्रभाव $$(1-x)^\alpha(1+x)^\beta$$  के संबंध में लंबकोणीय हैं। गेंगेंबोइर  बहुपद, और इस प्रकार लेजेंड्रे बहुपद, ज़र्निके बहुपद और चेबिशेव बहुपद, जैकोबी बहुपद के विशेष स्थितियां हैं।

जैकोबी बहुपद कार्ल गुस्ताव जैकब जैकोबी द्वारा प्रस्तुत किए गए थे।

हाइपरज्यामितीय फलन के माध्यम से
जैकोबी बहुपदों को हाइपरज्यामितीय फलन के माध्यम से निम्नानुसार परिभाषित किया गया है:
 * $$P_n^{(\alpha,\beta)}(z)=\frac{(\alpha+1)_n}{n!}\,{}_2F_1\left(-n,1+\alpha+\beta+n;\alpha+1;\tfrac{1}{2}(1-z)\right),$$

जहाँ $$(\alpha+1)_n$$ पोछाम्मेर का प्रतीक है (बढ़ते तथ्यात्मक के लिए)। इस स्थिति में, हाइपरज्यामितीय फलन के लिए श्रृंखला परिमित है, इसलिए निम्नलिखित समकक्ष अभिव्यक्ति प्राप्त होती है:


 * $$P_n^{(\alpha,\beta)} (z) = \frac{\Gamma (\alpha+n+1)}{n!\,\Gamma (\alpha+\beta+n+1)} \sum_{m=0}^n {n\choose m} \frac{\Gamma (\alpha + \beta + n + m + 1)}{\Gamma (\alpha + m + 1)} \left(\frac{z-1}{2}\right)^m.$$

रोड्रिग्स का सूत्र
रोड्रिग्स के सूत्र द्वारा एक समतुल्य परिभाषा दी गई है:
 * $$P_n^{(\alpha,\beta)}(z) = \frac{(-1)^n}{2^n n!} (1-z)^{-\alpha} (1+z)^{-\beta} \frac{d^n}{dz^n} \left\{ (1-z)^\alpha (1+z)^\beta \left (1 - z^2 \right )^n \right\}.$$

अगर $$ \alpha = \beta = 0 $$, तो यह लीजेंड्रे बहुपदों को कम कर देता है:
 * $$ P_{n}(z) = \frac{1 }{2^n n! } \frac{d^n }{ d z^n }  ( z^2 - 1 )^n  \; .  $$

वास्तविक तर्क के लिए वैकल्पिक अभिव्यक्ति
वास्तव में $$x$$ जैकोबी बहुपद को वैकल्पिक रूप से लिखा जा सकता है


 * $$P_n^{(\alpha,\beta)}(x)= \sum_{s=0}^n {n+\alpha\choose n-s}{n+\beta \choose s} \left(\frac{x-1}{2}\right)^{s} \left(\frac{x+1}{2}\right)^{n-s}$$

और पूर्णांक के लिए $$n$$
 * $${z \choose n} = \begin{cases} \frac{\Gamma(z+1)}{\Gamma(n+1)\Gamma(z-n+1)} & n \geq 0 \\ 0 & n < 0 \end{cases}$$

जहाँ $$\Gamma(z)$$ गामा फलन है।

विशेष स्थितियों में कि चार मात्राएँ $$n$$, $$n+\alpha$$, $$n+\beta$$, $$n+\alpha+\beta$$ गैर-नकारात्मक पूर्णांक हैं, जैकोबी बहुपद को इस रूप में लिखा जा सकता है

के सभी पूर्णांक मानों पर योग का विस्तार होता है $$s$$ जिसके लिए फैक्टोरियल्स के तर्क गैर-नकारात्मक हैं।

विशेष स्थितियां

 * $$P_0^{(\alpha,\beta)}(z)= 1,$$
 * $$P_1^{(\alpha,\beta)}(z)= (\alpha+1) + (\alpha+\beta+2)\frac{z-1}{2},$$
 * $$P_2^{(\alpha,\beta)}(z)= \frac{(\alpha+1)(\alpha+2)}{2}

+ (\alpha+2)(\alpha+\beta+3)\frac{z-1}{2}

+ \frac{(\alpha+\beta+3)(\alpha+\beta+4)}{2}\left(\frac{z-1}{2}\right)^2.$$

लंबकोणीयिटी
जैकोबी बहुपद लंबकोणीयिटी की स्थिति को संतुष्ट करते हैं


 * $$\int_{-1}^1 (1-x)^{\alpha} (1+x)^{\beta} P_m^{(\alpha,\beta)} (x)P_n^{(\alpha,\beta)} (x)\,dx =\frac{2^{\alpha+\beta+1}}{2n+\alpha+\beta+1} \frac{\Gamma(n+\alpha+1)\Gamma(n+\beta+1)}{\Gamma(n+\alpha+\beta+1)n!} \delta_{nm}, \qquad \alpha,\ \beta > -1.$$

जैसा कि परिभाषित किया गया है, प्रभाव के संबंध में उनके पास इकाई मानदंड नहीं है। इसे उपरोक्त समीकरण के दाहिने हाथ की ओर के वर्गमूल से विभाजित करके ठीक किया जा सकता है, जब $$n=m$$।

हालांकि यह एक अलौकिक आधार नहीं देता है, कभी-कभी इसकी सादगी के कारण एक वैकल्पिक सामान्यीकरण को प्राथमिकता दी जाती है:


 * $$P_n^{(\alpha, \beta)} (1) = {n+\alpha\choose n}.$$

सममिति संबंध
बहुपदों में सममिति संबंध होता है


 * $$P_n^{(\alpha, \beta)} (-z) = (-1)^n P_n^{(\beta, \alpha)} (z);$$

इस प्रकार अन्य टर्मिनल मान है


 * $$P_n^{(\alpha, \beta)} (-1) = (-1)^n { n+\beta\choose n}.$$

संजात
$$k$$वें> वें व्युत्पन्न स्पष्ट अभिव्यक्ति की ओर जाता है


 * $$\frac{d^k}{dz^k} P_n^{(\alpha,\beta)} (z) = \frac{\Gamma (\alpha+\beta+n+1+k)}{2^k \Gamma (\alpha+\beta+n+1)} P_{n-k}^{(\alpha+k, \beta+k)} (z).$$

विभेदक समीकरण
जैकोबी बहुपद $$P_n^{(\alpha,\beta)}$$ दूसरे क्रम के रैखिक सजातीय अंतर समीकरण का एक समाधान है


 * $$ \left (1-x^2 \right )y'' + ( \beta-\alpha - (\alpha + \beta + 2)x )y' + n(n+\alpha+\beta+1) y = 0.$$

पुनरावृत्ति संबंध
लंबकोणीय बहुपद # स्थिर के जैकोबी बहुपदों के लिए पुनरावृत्ति संबंध $$\alpha$$, $$\beta$$ है:



\begin{align} &2n (n + \alpha + \beta) (2n + \alpha + \beta - 2) P_n^{(\alpha,\beta)}(z) \\ &\qquad= (2n+\alpha + \beta-1) \Big\{ (2n+\alpha + \beta)(2n+\alpha+\beta-2) z + \alpha^2 - \beta^2 \Big\} P_{n-1}^{(\alpha,\beta)}(z) - 2 (n+\alpha - 1) (n + \beta-1) (2n+\alpha + \beta) P_{n-2}^{(\alpha, \beta)}(z), \end{align} $$ के लिए $$n=2,3,\ldots$$। संक्षिप्तता के लिए लिख रहा हूँ $$a:=n + \alpha $$, $$b:=n + \beta$$ और $$c:=a+b=2n + \alpha+ \beta$$, यह के संदर्भ में हो जाता है $$a,b,c $$
 * $$ 2n (c-n)(c-2) P_n^{(\alpha,\beta)}(z) =(c-1) \Big\{ c(c-2) z + (a-b)(c-2n) \Big\} P_{n-1}^{(\alpha,\beta)}(z)-2 (a-1)(b-1) c\; P_{n-2}^{(\alpha, \beta)}(z). $$

चूँकि जैकोबी बहुपदों को हाइपरज्यामितीय फलन के संदर्भ में वर्णित किया जा सकता है, हाइपरज्यामितीय फलन की पुनरावृत्ति जैकोबी बहुपदों के समकक्ष पुनरावृत्ति देती है। विशेष रूप से, गॉस के सन्निहित संबंध सर्वसमिकाओं के अनुरूप हैं



\begin{align} (z-1) \frac{d}{dz} P_n^{(\alpha,\beta)}(z) & = \frac{1}{2} (z-1)(1+\alpha+\beta+n)P_{n-1}^{(\alpha+1,\beta+1)} \\ & = n P_n^{(\alpha,\beta)} - (\alpha+n) P_{n-1}^{(\alpha,\beta+1)} \\ & =(1+\alpha+\beta+n) \left( P_n^{(\alpha,\beta+1)} - P_{n}^{(\alpha,\beta)} \right) \\ & =(\alpha+n) P_n^{(\alpha-1,\beta+1)} - \alpha P_n^{(\alpha,\beta)} \\ & =\frac{2(n+1) P_{n+1}^{(\alpha,\beta-1)} - \left(z(1+\alpha+\beta+n)+\alpha+1+n-\beta \right) P_n^{(\alpha,\beta)}}{1+z} \\ & =\frac{(2\beta+n+nz) P_n^{(\alpha,\beta)} - 2(\beta+n) P_n^{(\alpha,\beta-1)}}{1+z} \\ & =\frac{1-z}{1+z} \left( \beta P_n^{(\alpha,\beta)} - (\beta+n) P_{n}^{(\alpha+1,\beta-1)} \right) \,. \end{align} $$

जनरेटिंग फलन
जैकोबी बहुपदों का जनक फलन किसके द्वारा दिया जाता है


 * $$ \sum_{n=0}^\infty P_n^{(\alpha,\beta)}(z) t^n = 2^{\alpha + \beta} R^{-1} (1 - t + R)^{-\alpha} (1 + t + R)^{-\beta}, $$

जहाँ


 * $$ R = R(z, t) = \left(1 - 2zt + t^2\right)^{\frac{1}{2}}~, $$

और वर्गमूल की मुख्य शाखा को चुना जाता है ताकि $$R(z, 0) = 1$$।

जैकोबी बहुपदों के स्पर्शोन्मुख
के लिए $$x$$ के भीतरी भाग में $$[-1,1]$$, के स्पर्शोन्मुख $$P_n^{(\alpha,\beta)}$$ बड़े के लिए $$n$$ डार्बौक्स सूत्र द्वारा दिया गया है


 * $$P_n^{(\alpha,\beta)}(\cos \theta) = n^{-\frac{1}{2}}k(\theta)\cos (N\theta + \gamma) + O \left (n^{-\frac{3}{2}} \right ),$$

जहाँ



\begin{align} k(\theta) &= \pi^{-\frac{1}{2}} \sin^{-\alpha-\frac{1}{2}} \tfrac{\theta}{2} \cos^{-\beta-\frac{1}{2}} \tfrac{\theta}{2},\\ N        &= n + \tfrac{1}{2} (\alpha+\beta+1),\\ \gamma   &= - \tfrac{\pi}{2} \left (\alpha + \tfrac{1}{2} \right ), \end{align} $$ और यह$$O$$अवधि अंतराल पर एक समान है $$[\varepsilon,\pi-\varepsilon]$$ हरएक के लिए $$\varepsilon>0$$।

बिंदुओं के निकट जैकोबी बहुपदों की स्पर्शोन्मुखता $$\pm 1$$ मेहलर-हेन सूत्र द्वारा दिया गया है



\begin{align} \lim_{n \to \infty} n^{-\alpha}P_n^{(\alpha,\beta)}\left(\cos \left ( \tfrac{z}{n} \right ) \right)   &= \left(\tfrac{z}{2}\right)^{-\alpha} J_\alpha(z)\\ \lim_{n \to \infty} n^{-\beta}P_n^{(\alpha,\beta)}\left(\cos \left (\pi - \tfrac{z}{n} \right) \right) &= \left(\tfrac{z}{2}\right)^{-\beta} J_\beta(z) \end{align} $$ जहां सीमाएं एक समान हैं $$z$$ एक बंधे हुए डोमेन (गणितीय विश्लेषण) में।

बाहर स्पर्शोन्मुख $$[-1,1]$$ कम स्पष्ट है।

विग्नर डी-मैट्रिक्स
इजहार ($$) Wigner D-मैट्रिक्स#Wigner (छोटा) d-मैट्रिक्स|Wigner d-मैट्रिक्स की अभिव्यक्ति की अनुमति देता है $$d^j_{m',m}(\phi)$$ (के लिए $$0\leq \phi\leq 4\pi$$) जैकोबी बहुपदों के संदर्भ में:
 * $$d^j_{m'm}(\phi) =\left[ \frac{(j+m)!(j-m)!}{(j+m')!(j-m')!}\right]^{\frac{1}{2}} \left(\sin\tfrac{\phi}{2}\right)^{m-m'} \left(\cos\tfrac{\phi}{2}\right)^{m+m'} P_{j-m}^{(m-m',m+m')}(\cos \phi).$$

यह भी देखें

 * आस्की–गैस्पर असमानता
 * बड़ा क्यू-जैकोबी बहुपद
 * सतत क्यू-जैकोबी बहुपद
 * छोटे क्यू-जैकोबी बहुपद
 * छद्म जैकोबी बहुपद
 * जैकोबी प्रक्रिया
 * गेगेनबॉयर बहुपद
 * रोमनोवस्की बहुपद