लैगुएरे बहुपद

लैगुएरे बहुपद L n(x) के जटिल रंग प्लॉट को -1 के रूप में विभाजित किया गया 9 और x के रूप में z से 4 की घात -2-2i से 2+2i तक

गणित में, एडमंड लैगुएरे (1834-1886) के नाम पर लैगुएरे बहुपद, मुख्य रूप से लैगुएरे के अंतर समीकरण के मान को प्रदर्शित करता हैं:

$$xy''+(1-x)y'+ny=0,y=y(x)$$

जो द्वितीय कोटि के रेखीय अवकल समीकरण को प्रदर्शित करता हैं। इस प्रकार यदि n गैर-ऋणात्मक पूर्णांक हो तब इस समीकरण का केवल ऐकक मान होता है। कभी-कभी लैगुएरे बहुपद नाम का उपयोग मान प्राप्त करने के लिए किया जाता है

$$xy''+(\alpha +1-x)y'+ny=0~.$$

जहाँ n गैर-ऋणात्मक पूर्णांक है।

इस प्रकार इन्हें सामान्यीकृत लैगुएरे बहुपद भी नाम दिया गया है, जैसा कि यहाँ पर इसका उपयोग करके दिखाया गया हैं। (वैकल्पिक रूप से जुड़े लैगुएरे बहुपद या, संभवतः ही कभी सोनिन बहुपद उनके आविष्कार के बाद निकोलाई याकोवलेविच सोनिन का उपयोग किया था।

अधिक सामान्य लैगुएरे फ़ंक्शन के कुछ मान होते है, इस प्रकार जब n आवश्यक रूप से गैर-ऋणात्मक पूर्णांक नहीं होते हैं। तब लैगुएरे बहुपदों का उपयोग गॉसियन चतुर्भुज के रूप में संख्यात्मक रूप से पूर्णांकों की गणना करने के लिए किया जाता है।

$$\int _{0}^{\infty }f(x)e^{-x}\,dx.$$

ये बहुपद सामान्यतः L₀, L₁, …, बहुपद अनुक्रम द्वारा निरूपित होते हैं जिसे रॉड्रिक्स सूत्र द्वारा परिभाषित किया जा सकता है,

$$L_{n}(x)={\frac {e^{x}}{n!}}{\frac {d^{n}}{dx^{n}}}\left(e^{-x}x^{n}\right)={\frac {1}{n!}}\left({\frac {d}{dx}}-1\right)^{n}x^{n},$$

निम्नलिखित खंड के बंद प्रारूप का कम उपयोग किया जाता हैं। वे आंतरिक उत्पाद के संबंध में ओर्थोगोनल बहुपद को प्रकट करते हैं।

$$\langle f,g\rangle =\int _{0}^{\infty }f(x)g(x)e^{-x}\,dx.$$

लैगुएरे बहुपदों का क्रम n! L_n शेफ़र अनुक्रम है,

$${\frac {d}{dx}}L_{n}=\left({\frac {d}{dx}}-1\right)L_{n-1}.$$

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

पहले कुछ बहुपद

ये पहले कुछ लैगुएरे बहुपद हैं:

n	$L_{n}(x)\,$
0	$1\,$
1	$-x+1\,$
2	${\tfrac {1}{2}}(x^{2}-4x+2)\,$
3	${\tfrac {1}{6}}(-x^{3}+9x^{2}-18x+6)\,$
4	${\tfrac {1}{24}}(x^{4}-16x^{3}+72x^{2}-96x+24)\,$
5	${\tfrac {1}{120}}(-x^{5}+25x^{4}-200x^{3}+600x^{2}-600x+120)\,$
6	${\tfrac {1}{720}}(x^{6}-36x^{5}+450x^{4}-2400x^{3}+5400x^{2}-4320x+720)\,$
n	${\tfrac {1}{n!}}((-x)^{n}+n^{2}(-x)^{n-1}+\dots +n({n!})(-x)+n!)\,$

File:Laguerre poly.svg

पहले छह लैगुएरे बहुपद।

रिकर्सिव डेफिनिशन, क्लोज्ड फॉर्म और जनरेटिंग फंक्शन

पहले दो बहुपदों को परिभाषित करते हुए लैगुएरे बहुपदों को पुनरावर्ती रूप से भी परिभाषित किया जा सकता है

$$L_{0}(x)=1$$

$$L_{1}(x)=1-x$$

और फिर किसी भी के लिए निम्नलिखित ओर्थोगोनल बहुपद पुनरावृत्ति संबंधों का उपयोग करना k ≥ 1:

$$L_{k+1}(x)={\frac {(2k+1-x)L_{k}(x)-kL_{k-1}(x)}{k+1}}.$$

इसी प्रकार आगे के मान इस प्रकार होंगे।

$$xL'_{n}(x)=nL_{n}(x)-nL_{n-1}(x).$$

कुछ सीमा तक प्राप्त होने वाले मानों से उत्पन्न होने वाली समस्याओं के मान में विशेष रूप से कुछ मान उपयोगी होते हैं:

$$L_{k}(0)=1,L_{k}'(0)=-k.$$

इस प्रकार यह क्लोज्ड प्रारूप को प्रदर्शित करते हैं।

$$L_{n}(x)=\sum _{k=0}^{n}{\binom {n}{k}}{\frac {(-1)^{k}}{k!}}x^{k}.$$

इनके लिए जनरेटिंग फ़ंक्शन भी इसी प्रकार है,

$$\sum _{n=0}^{\infty }t^{n}L_{n}(x)={\frac {1}{1-t}}e^{-tx/(1-t)}.$$

ऋणात्मक सूचकांक के बहुपदों को धनात्मक सूचकांक वाले लोगों का उपयोग करके व्यक्त किया जा सकता है:

$$L_{-n}(x)=e^{x}L_{n-1}(-x).$$

बाइनरी फ़ंक्शंस से संबंध

बाइनरी विस्तार से संबंधित कार्यों का उपयोग करके लैगुएरे बहुपदों $n$ को सेट करने की विधि है :

$$L_{n}(x)={\frac {x^{n}}{n!}}b({\frac {4^{n}-1}{3}},x).$$

यहाँ

$$b(n,x)={\frac {1}{x}}b({\frac {n-2^{f(n)}}{2}},x)+(-1)^{n}b(\left\lfloor {\frac {2n-2^{f(n)}}{2}}\right\rfloor ,x).$$

साथ में $b(0,x)=1$ माना जाता हैं।

$$f(2n+1)=0,f(2n)=f(n)+1.$$

यहाँ $f(n)$ A007814 है और $b(n)$ A347204 का सामान्यीकरण है।

सामान्यीकृत लैगुएरे बहुपद

वास्तविक α का मान प्राप्त करने के लिए अंतर समीकरण के बहुपद मान सेट किया जाता हैं।

$$x\,y''+\left(\alpha +1-x\right)y'+n\,y=0$$

सामान्यीकृत लैगुएरे बहुपद कहलाते हैं, या संबंधित लैगुएरे बहुपद कहलाते हैं।
पहले दो बहुपदों को परिभाषित करते हुए सामान्यीकृत लेगुएरे बहुपदों को पुनरावर्ती रूप से भी परिभाषित किया जा सकता है

$$L_{0}^{(\alpha )}(x)=1$$

$$L_{1}^{(\alpha )}(x)=1+\alpha -x$$

और फिर किसी भी के लिए निम्नलिखित ओर्थोगोनल बहुपद पुनरावृत्ति संबंधों का उपयोग करता हैं जिसके लिए k ≥ 1 का मान सेट किया जाता हैं:

$$L_{k+1}^{(\alpha )}(x)={\frac {(2k+1+\alpha -x)L_{k}^{(\alpha )}(x)-(k+\alpha )L_{k-1}^{(\alpha )}(x)}{k+1}}.$$

सरल लैगुएरे बहुपद विशेष स्थितियाँ हैं जहाँ पर α = 0 सामान्यीकृत लैगुएरे बहुपद हैं:

$$L_{n}^{(0)}(x)=L_{n}(x).$$

उनके लिए रोड्रिग्स सूत्र है

$$L_{n}^{(\alpha )}(x)={x^{-\alpha }e^{x} \over n!}{d^{n} \over dx^{n}}\left(e^{-x}x^{n+\alpha }\right)={\frac {x^{-\alpha }}{n!}}\left({\frac {d}{dx}}-1\right)^{n}x^{n+\alpha }.$$

उनके लिए जनरेटिंग फंक्शन है

$$\sum _{n=0}^{\infty }t^{n}L_{n}^{(\alpha )}(x)={\frac {1}{(1-t)^{\alpha +1}}}e^{-tx/(1-t)}.$$

File:Zugeordnete Laguerre-Polynome.svg

पहले कुछ सामान्यीकृत लैगुएरे बहुपद, L_n^(k)(x)

सामान्यीकृत लैगुएरे बहुपद के स्पष्ट उदाहरण और गुण

• लैगुएरे फ़ंक्शंस को संगम हाइपरज्यामितीय फंक्शन और कुमेर के परिवर्तन के रूप में परिभाषित किया गया है
  $$L_{n}^{(\alpha )}(x):={n+\alpha \choose n}M(-n,\alpha +1,x).$$
  जहाँ ${\textstyle {n+\alpha \choose n}}$ सामान्यीकृत द्विपद गुणांक है। जिसमें n पूर्णांक होते है जो फ़ंक्शन डिग्री के बहुपद n तक कम हो जाता है, इसकी वैकल्पिक अभिव्यक्ति भी की जाती है
  $$L_{n}^{(\alpha )}(x)={\frac {(-1)^{n}}{n!}}U(-n,\alpha +1,x)$$
  कंफ्लुएंट हाइपरज्यामेट्रिक फ़ंक्शन के संदर्भ में या दूसरा फ़ंक्शन उपयोग में लाया जाता हैं।
• डिग्री के इन सामान्यीकृत लैगुएरे बहुपदों के लिए बंद रूप n है
  $$L_{n}^{(\alpha )}(x)=\sum _{i=0}^{n}(-1)^{i}{n+\alpha \choose n-i}{\frac {x^{i}}{i!}}$$
  लीबनिज नियम (सामान्यीकृत उत्पाद नियम) लागू करके प्राप्त किया गया जाता हैं, रोड्रिग्स के फार्मूले से उत्पाद के विभेदन के लिए लाइबनिज की प्रमेय होती हैं।
• लैगुएरे बहुपदों में विभेदक संकारक प्रतिनिधित्व होता है, जो बहुत निकट से संबंधित हर्मिट बहुपदों की तरह होता है। अर्थात् $D={\frac {d}{dx}}$ और अंतर ऑपरेटर $M=qxD^{2}+(\alpha +1)D$ पर विचार करें, तब $\exp(-tM)x^{n}=(-1)^{n}q^{n}t^{n}n!L_{n}^{(\alpha )}\left({\frac {x}{qt}}\right)$ का मान होता हैं।
• पहले कुछ सामान्यीकृत लैगुएरे बहुपद हैं:
  $${\begin{aligned}L_{0}^{(\alpha )}(x)&=1\\L_{1}^{(\alpha )}(x)&=-x+(\alpha +1)\\L_{2}^{(\alpha )}(x)&={\frac {x^{2}}{2}}-(\alpha +2)x+{\frac {(\alpha +1)(\alpha +2)}{2}}\\L_{3}^{(\alpha )}(x)&={\frac {-x^{3}}{6}}+{\frac {(\alpha +3)x^{2}}{2}}-{\frac {(\alpha +2)(\alpha +3)x}{2}}+{\frac {(\alpha +1)(\alpha +2)(\alpha +3)}{6}}\end{aligned}}$$
• अग्रणी पद का गुणांक है (−1)ⁿ/n!;
• स्थिर पद, जिसका मान 0 है, है
  $$L_{n}^{(\alpha )}(0)={n+\alpha \choose n}={\frac {\Gamma (n+\alpha +1)}{n!\,\Gamma (\alpha +1)}};$$
  $${\begin{aligned}&L_{n}^{(\alpha )}(x)={\frac {n^{{\frac {\alpha }{2}}-{\frac {1}{4}}}}{\sqrt {\pi }}}{\frac {e^{\frac {x}{2}}}{x^{{\frac {\alpha }{2}}+{\frac {1}{4}}}}}\sin \left(2{\sqrt {nx}}-{\frac {\pi }{2}}\left(\alpha -{\frac {1}{2}}\right)\right)+O\left(n^{{\frac {\alpha }{2}}-{\frac {3}{4}}}\right),\\[6pt]&L_{n}^{(\alpha )}(-x)={\frac {(n+1)^{{\frac {\alpha }{2}}-{\frac {1}{4}}}}{2{\sqrt {\pi }}}}{\frac {e^{-x/2}}{x^{{\frac {\alpha }{2}}+{\frac {1}{4}}}}}e^{2{\sqrt {x(n+1)}}}\cdot \left(1+O\left({\frac {1}{\sqrt {n+1}}}\right)\right),\end{aligned}}$$
• यदि α गैर-ऋणात्मक है, तो L_n^(α) में n वास्तविक संख्या होती हैं, फ़ंक्शन का धनात्मक रूट (ध्यान दें कि $\left((-1)^{n-i}L_{n-i}^{(\alpha )}\right)_{i=0}^{n}$ स्टर्म श्रृंखला है), जो सभी अंतराल (गणित) में हैं $\left(0,n+\alpha +(n-1){\sqrt {n+\alpha }}\,\right].$
• इसमें से बड़े मान के लिए बहुपदों का स्पर्शोन्मुख मान n होता हैं, किन्तु α और x > 0, द्वारा दिया गया है और संक्षेप में
  $${\frac {L_{n}^{(\alpha )}\left({\frac {x}{n}}\right)}{n^{\alpha }}}\approx e^{x/2n}\cdot {\frac {J_{\alpha }\left(2{\sqrt {x}}\right)}{{\sqrt {x}}^{\alpha }}},$$
  जहाँ $J_{\alpha }$ बेसेल फ़ंक्शन असिम्प्टोटिक रूप है।

एक समोच्च अभिन्न के रूप में

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

$$L_{n}^{(\alpha )}(x)={\frac {1}{2\pi i}}\oint _{C}{\frac {e^{-xt/(1-t)}}{(1-t)^{\alpha +1}\,t^{n+1}}}\;dt,$$

जहां समोच्च 1 पर आवश्यक विलक्षणता को बंद किए बिना वामावर्त दिशा में बार मूल को घेरता है

पुनरावृत्ति संबंध

लैगुएरे बहुपदों के लिए अतिरिक्त सूत्र:

$$L_{n}^{(\alpha +\beta +1)}(x+y)=\sum _{i=0}^{n}L_{i}^{(\alpha )}(x)L_{n-i}^{(\beta )}(y).$$

लैगुएरे के बहुपद पुनरावर्तन संबंधों को संतुष्ट करते हैं

$$L_{n}^{(\alpha )}(x)=\sum _{i=0}^{n}L_{n-i}^{(\alpha +i)}(y){\frac {(y-x)^{i}}{i!}},$$

विशेष रूप से

$$L_{n}^{(\alpha +1)}(x)=\sum _{i=0}^{n}L_{i}^{(\alpha )}(x)$$

और

$$L_{n}^{(\alpha )}(x)=\sum _{i=0}^{n}{\alpha -\beta +n-i-1 \choose n-i}L_{i}^{(\beta )}(x),$$

या

$$L_{n}^{(\alpha )}(x)=\sum _{i=0}^{n}{\alpha -\beta +n \choose n-i}L_{i}^{(\beta -i)}(x);$$

इसके अतिरिक्त

$${\begin{aligned}L_{n}^{(\alpha )}(x)-\sum _{j=0}^{\Delta -1}{n+\alpha \choose n-j}(-1)^{j}{\frac {x^{j}}{j!}}&=(-1)^{\Delta }{\frac {x^{\Delta }}{(\Delta -1)!}}\sum _{i=0}^{n-\Delta }{\frac {n+\alpha \choose n-\Delta -i}{(n-i){n \choose i}}}L_{i}^{(\alpha +\Delta )}(x)\\[6pt]&=(-1)^{\Delta }{\frac {x^{\Delta }}{(\Delta -1)!}}\sum _{i=0}^{n-\Delta }{\frac {n+\alpha -i-1 \choose n-\Delta -i}{(n-i){n \choose i}}}L_{i}^{(n+\alpha +\Delta -i)}(x)\end{aligned}}$$

उनका उपयोग चार 3-बिंदु-नियमों को प्राप्त करने के लिए किया जा सकता है

$${\begin{aligned}L_{n}^{(\alpha )}(x)&=\left(2+{\frac {\alpha -1-x}{n}}\right)L_{n-1}^{(\alpha )}(x)-\left(1+{\frac {\alpha -1}{n}}\right)L_{n-2}^{(\alpha )}(x)\\[10pt]&={\frac {\alpha +1-x}{n}}L_{n-1}^{(\alpha +1)}(x)-{\frac {x}{n}}L_{n-2}^{(\alpha +2)}(x)\end{aligned}}$$