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

लैगुएरे बहुपद 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!)\,$

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

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

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

$$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)}.$$

पहले कुछ सामान्यीकृत लागुएरे बहुपद, 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}}$$