बेसेल बहुपद

गणित में, बेसेल बहुपद बहुपदों का एक ओर्थोगोनल बहुपद अनुक्रम हैं। कई अलग-अलग लेकिन सूक्ष्मता से संबंधित परिभाषाएँ हैं। गणितज्ञों द्वारा समर्थित परिभाषा श्रृंखला द्वारा दी गई है


 * $$y_n(x)=\sum_{k=0}^n\frac{(n+k)!}{(n-k)!k!}\,\left(\frac{x}{2}\right)^k.$$

इलेक्ट्रिकल इंजीनियरों द्वारा समर्थित एक अन्य परिभाषा को कभी-कभी रिवर्स बेसेल बहुपद के रूप में जाना जाता है


 * $$\theta_n(x)=x^n\,y_n(1/x)=\sum_{k=0}^n\frac{(n+k)!}{(n-k)!k!}\,\frac{x^{n-k}}{2^{k}}.$$

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


 * $$y_3(x)=15x^3+15x^2+6x+1$$

जबकि थर्ड-डिग्री रिवर्स बेसेल बहुपद है


 * $$\theta_3(x)=x^3+6x^2+15x+15.$$

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

बेसेल कार्यों के संदर्भ में परिभाषा
बेसेल बहुपद को बेसेल फलनों का उपयोग करके भी परिभाषित किया जा सकता है जिससे बहुपद को अपना नाम मिलता है।
 * $$y_n(x)=\,x^{n}\theta_n(1/x)\,$$
 * $$y_n(x)=\sqrt{\frac{2}{\pi x}}\,e^{1/x}K_{n+\frac 1 2}(1/x)$$
 * $$\theta_n(x)=\sqrt{\frac{2}{\pi}}\,x^{n+1/2}e^{x}K_{n+ \frac 1 2}(x)$$

जहां Kn(x) एक बेसेल फलन है संशोधित बेसेल फलन:आईसीई.बी1.2सी के.सीई.बी1, yn(x) साधारण बहुपद है, और θn(x) विपरीत बहुपद है. उदाहरण के लिए:
 * $$y_3(x)=15x^3+15x^2+6x+1 = \sqrt{\frac{2}{\pi x}}\,e^{1/x}K_{3+\frac 1 2}(1/x)$$

हाइपरजियोमेट्रिक फ़ंक्शन के रूप में परिभाषा
बेसेल बहुपद को एक मिश्रित अतिज्यामितीय फलन के रूप में भी परिभाषित किया जा सकता है


 * $$y_n(x)=\,_2F_0(-n,n+1;;-x/2)= \left(\frac 2 x\right)^{-n} U\left(-n,-2n,\frac 2 x\right)= \left(\frac 2 x\right)^{n+1} U\left(n+1,2n+2,\frac 2 x \right).$$

सामान्यीकृत बेसेल बहुपदों के लिए समान अभिव्यक्ति सही है (नीचे देखें):
 * $$y_n(x;a,b)=\,_2F_0(-n,n+a-1;;-x/b)= \left(\frac b x\right)^{n+a-1} U\left(n+a-1,2n+a,\frac b x \right).$$

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


 * $$\theta_n(x)=\frac{n!}{(-2)^n}\,L_n^{-2n-1}(2x)$$

जिससे यह अनुसरण करता है कि इसे हाइपरज्यामेट्रिक फ़ंक्शन के रूप में भी परिभाषित किया जा सकता है:


 * $$\theta_n(x)=\frac{(-2n)_n}{(-2)^n}\,\,_1F_1(-n;-2n;2x)$$

जहां (−2n)n पोचममेर प्रतीक (बढ़ती तथ्यात्मक) है।

जनरेटिंग फंक्शन
बेसल बहुपद, सूचकांक स्थानांतरित होने के साथ, जनरेटिंग फ़ंक्शन है
 * $$\sum_{n=0}^\infty \sqrt{\frac 2 \pi} x^{n+\frac 1 2} e^x K_{n-\frac 1 2}(x) \frac {t^n}{n!}=1+x\sum_{n=1}^\infty \theta_{n-1}(x) \frac{t^n}{n!}= e^{x(1-\sqrt{1-2t})}.$$

के सम्बन्ध में विभेद करना $$t$$, रद्द करना $$x$$, बहुपदों के लिए जनक फलन प्राप्त करता है $$\{\theta_n\}_{n\ge0}$$
 * $$\sum_{n=0}^\infty \theta_{n}(x) \frac{t^n}{n!}=\frac{1}{\sqrt{1-2t}}e^{x(1-\sqrt{1-2t})}.$$

के लिए समान जनरेटिंग फ़ंक्शन सम्मिलित है $$y_n$$ बहुपद भी:
 * $$\sum_{n=0}^\infty y_{n-1}(x)\frac{t^n}{n!}=\exp\left(\frac{1-\sqrt{1-2xt}}{x}\right).$$

सेट होने पर $$t=z-xz^2/2$$, किसी के पास घातीय कार्य के लिए निम्नलिखित प्रतिनिधित्व है:
 * $$e^z=\sum_{n=0}^\infty y_{n-1}(x)\frac{(z-xz^2/2)^n}{n!}.$$

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


 * $$y_0(x)=1\,$$
 * $$y_1(x)=x+1\,$$
 * $$y_n(x)=(2n\!-\!1)x\,y_{n-1}(x)+y_{n-2}(x)\,$$

और


 * $$\theta_0(x)=1\,$$
 * $$\theta_1(x)=x+1\,$$
 * $$\theta_n(x)=(2n\!-\!1)\theta_{n-1}(x)+x^2\theta_{n-2}(x)\,$$

विभेदक समीकरण
बेसेल बहुपद निम्नलिखित अवकल समीकरण का पालन करता है:


 * $$x^2\frac{d^2y_n(x)}{dx^2}+2(x\!+\!1)\frac{dy_n(x)}{dx}-n(n+1)y_n(x)=0$$

और


 * $$x\frac{d^2\theta_n(x)}{dx^2}-2(x\!+\!n)\frac{d\theta_n(x)}{dx}+2n\,\theta_n(x)=0$$

ओर्थोगोनलिटी
वजन के संबंध में बेसेल बहुपद ऑर्थोगोनल हैं $$e^{-2/x}$$ जटिल विमान के यूनिट सर्कल पर एकीकृत। दूसरे शब्दों में, यदि $$n \neq m$$,

$$\int_0^{2\pi} y_n\left(e^{i\theta}\right) y_m\left(e^{i\theta}\right) ie^{i\theta} \mathrm{d}\theta = 0$$

स्पष्ट रूप
बेसेल बहुपदों का एक सामान्यीकरण साहित्य में निम्नलिखित के रूप में सुझाया गया है:


 * $$y_n(x;\alpha,\beta):= (-1)^n n! \left(\frac x \beta\right)^n L_n^{(-1-2n-\alpha)}\left(\frac \beta x\right),$$

संगत विपरीत बहुपद हैं
 * $$\theta_n(x;\alpha, \beta):= \frac{n!}{(-\beta)^n}L_n^{(-1-2n-\alpha)}(\beta x)=x^n y_n\left(\frac 1 x;\alpha,\beta\right).$$

के स्पष्ट गुणांक $$y_n(x;\alpha, \beta)$$ बहुपद हैं:
 * $$y_n(x;\alpha, \beta)= \sum_{k=0}^n\binom{n}{k}(n+k+\alpha-2)^{\underline{k}}\left(\frac{x}{\beta}\right)^k.$$

नतीजतन, द $$\theta_n(x;\alpha, \beta)$$ बहुपदों को स्पष्ट रूप से इस प्रकार लिखा जा सकता है:
 * $$\theta_n(x;\alpha, \beta)=\sum_{k=0}^n\binom{n}{k}(2n-k+\alpha-2)^{\underline{n-k}}\frac{x^k}{\beta^{n-k}}.$$

वेटिंग फंक्शन के लिए
 * $$\rho(x;\alpha,\beta):= \, _1F_1\left(1,\alpha-1,-\frac \beta x\right)$$

वे संबंध के लिए ओर्थोगोनल हैं


 * $$0= \oint_c\rho(x;\alpha,\beta)y_n(x;\alpha,\beta) y_m(x;\alpha,\beta)\mathrm d x$$

m ≠ n और c के लिए 0 बिंदु के चारों ओर एक वक्र रखता है।

वे α = β = 2 के लिए बेसेल बहुपदों के विशेषज्ञ हैं, किस स्थिति में ρ(x) = exp(−2 / x)।

बेसेल बहुपदों के लिए रोड्रिग्स सूत्र
उपरोक्त अंतर समीकरण के विशेष समाधान के रूप में बेसेल बहुपदों के लिए रोड्रिग्स सूत्र है:


 * $$B_n^{(\alpha,\beta)}(x)=\frac{a_n^{(\alpha,\beta)}}{x^{\alpha} e^{-\frac{\beta}{x}}} \left(\frac{d}{dx}\right)^n (x^{\alpha+2n} e^{-\frac{\beta}{x}})$$

जहाँ a$(&alpha;, &beta;) n$ सामान्यीकरण गुणांक हैं।

संबद्ध बेसेल बहुपद
इस सामान्यीकरण के अनुसार संबंधित बेसेल बहुपदों के लिए हमारे पास निम्नलिखित सामान्यीकृत अवकल समीकरण हैं:


 * $$x^2\frac{d^2B_{n,m}^{(\alpha,\beta)}(x)}{dx^2} + [(\alpha+2)x+\beta]\frac{dB_{n,m}^{(\alpha,\beta)}(x)}{dx} - \left[ n(\alpha+n+1) + \frac{m \beta}{x} \right] B_{n,m}^{(\alpha,\beta)}(x)=0$$

जहाँ $$0\leq m\leq n$$. समाधान हैं,


 * $$B_{n,m}^{(\alpha,\beta)}(x)=\frac{a_{n,m}^{(\alpha,\beta)}}{x^{\alpha+m} e^{-\frac{\beta}{x}}} \left(\frac{d}{dx}\right)^{n-m} (x^{\alpha+2n} e^{-\frac{\beta}{x}})$$

शून्य
यदि एक के शून्य को निरूपित करता है $$y_n(x;\alpha,\beta)$$ जैसा $$\alpha_k^{(n)}(\alpha,\beta)$$, और वह $$\theta_n(x;\alpha,\beta)$$ द्वारा $$\beta_k^{(n)}(\alpha,\beta)$$, तो निम्नलिखित अनुमान सम्मिलित हैं:


 * $$\frac{2}{n(n+\alpha-1)}\le\alpha_k^{(n)}(\alpha,2)\le\frac{2}{n+\alpha-1},$$

और
 * $$\frac{n+\alpha-1}{2}\le\beta_k^{(n)}(\alpha,2)\le\frac{n(n+\alpha-1)}{2},$$

सभी के लिए $$\alpha\ge2$$. इसके अलावा, इन सभी शून्यों में नकारात्मक वास्तविक भाग होता है।

तीव्र परिणाम कहा जा सकता है यदि कोई बहुपदों के शून्यों के अनुमानों के बारे में अधिक शक्तिशाली प्रमेयों का सहारा लेता है (अधिक संक्षेप में, सैफ और वर्गा का परबोला प्रमेय, या अंतर समीकरण तकनीकें)।

एक परिणाम निम्न है:
 * $$\frac{2}{2n+\alpha-\frac23}\le\alpha_k^{(n)}(\alpha,2)\le\frac{2}{n+\alpha-1}.$$

विशेष मूल्य
बेसेल बहुपद $$y_n(x)$$ तक $$n=5$$ हैं

\begin{align} y_0(x) & = 1 \\ y_1(x) & = x +  1 \\ y_2(x) & = 3x^2+ 3x  +  1 \\ y_3(x) & = 15x^3+ 15x^2+ 6x  +  1 \\ y_4(x) & = 105x^4+105x^3+ 45x^2+ 10x + 1 \\ y_5(x) & = 945x^5+945x^4+420x^3+105x^2+15x+1 \end{align} $$ परिमेय गुणांकों वाले निम्न कोटि के बहुपदों में किसी भी बेसल बहुपद का गुणनखण्ड नहीं किया जा सकता है।

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

समान रूप से, $\theta_k(x) = x^k y_k(1/x)$.

इसका परिणाम निम्नलिखित होता है:

\begin{align} \theta_0(x) & = 1 \\ \theta_1(x) & = x + 1 \\ \theta_2(x) & = x^{2} + 3 x + 3 \\ \theta_3(x) & = x^{3} + 6 x^{2} + 15 x + 15 \\ \theta_4(x) & = x^{4} + 10 x^{3} + 45 x^{2} + 105 x + 105 \\ \theta_5(x) & = x^{5} + 15 x^{4} + 105 x^{3} + 420 x^{2} + 945 x + 945 \\ \end{align} $$

यह भी देखें

 * बेसेल फ़ंक्शन
 * न्यूमैन बहुपद
 * लोमेल बहुपद
 * हैंकेल ट्रांसफॉर्म
 * फूरियर-बेसेल श्रृंखला