जैकोबी बहुपद

गणित में, जैकोबी बहुपद (कभी-कभी अतिज्यामितीय बहुपद कहा जाता है) $$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).$$

यह भी देखें

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