रोमानोव्स्की बहुपद

गणित में, रोमानोव्स्की बहुपद वास्तविक लंबकोणीय बहुपदों के तीन परिमित उपसमुच्चयों में से एक हैं। जो सांख्यिकी में संभाव्यता वितरण फलनों के संदर्भ में वसेवोलॉड रोमानोव्स्की (फ्रेंच प्रतिलेखन में रोमनोव्स्की) द्वारा खोजे गए हैं। वे 1884 में एडवर्ड राउत द्वारा प्रस्तुत किए गए अल्प-ज्ञात रूथ बहुपदों के अधिक सामान्य वर्ग का एक लंबकोणीय उपसमुच्चय बनाते हैं। रोमानोव्स्की बहुपद शब्द रैपोसो द्वारा, लेस्की की वर्गीकरण योजना में तथाकथित  'छद्म-जैकोबी बहुपद ' के संदर्भ में आगे रखा गया था। रोमानोव्स्की-रूथ बहुपद के रूप में उन्हें संदर्भित करने के लिए यह अधिक सुसंगत लगता है, रोमानोव्स्की-बेसेल और रोमानोव्स्की-जैकोबी के साथ सादृश्य द्वारा लेस्की द्वारा लंबकोणीय बहुपद के दो अन्य समुच्चयों के लिए उपयोग किया जाता है।

मानक उत्कृष्ट लंबकोणीय बहुपदों के कुछ विपरीत, विचाराधीन बहुपद भिन्न होते हैं, जहां तक ​​एकपक्षीय पैरामीटर के लिए केवल उनमें से एक परिमित संख्या लंबकोणीय (ओर्थोगोनल) हैं, जैसा कि नीचे अधिक विस्तार से चर्चा की गई है।

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

विचित्र रूप से, उन्हें गणितीय भौतिकी और गणित में विशेष फलनों पर मानक पाठ्यपुस्तकों से हटा दिया गया है और गणितीय साहित्य में कहीं और अपेक्षाकृत दुर्लभ उपस्थिति है।

स्टर्म-लिउविल सिद्धांत हैं

वे पियर्सन के अवकल समीकरण को संशोधित करते हैं

जो अतिज्यामितीय के अवकल समीकरण के अवकल संक्रियक के स्व-आसन्न होने का आश्वासन देता है।

$α = 0$ और $β < 0$,के लिए रोमानोव्स्की बहुपदों का भार फलन लोरेंत्ज़ वितरण का आकार लेता है, जहाँ संबंधित बहुपदों को यादृच्छिक मैट्रिक्स सिद्धांत में उनके अनुप्रयोगों में कॉची बहुपदों के रूप में भी दर्शाया जाता है।

रोड्रिग्स सूत्र बहुपद $R(α,β) n(x)$ को इस रूप में निर्दिष्ट करता है

जहाँ $N_{n}$ एक सामान्यीकरण स्थिरांक है। यह स्थिरांक बहुपद $R(α,β) n(x)$ में घात n के पद के गुणांक cn से व्यंजक द्वारा संबंधित है

जो n ≥ 1 के लिए है।

रोमानोव्स्की और जैकोबी के बहुपदों के बीच संबंध
जैसा कि एस्के द्वारा दिखाया गया है कि वास्तविक लंबकोणीय बहुपदों के इस परिमित अनुक्रम को काल्पनिक तर्क के जैकोबी बहुपदों के संदर्भ में व्यक्त किया जा सकता है और इस तरह इसे प्रायः जटिल जैकोबी बहुपद कहा जाता है। अर्थात्, रोमानोव्स्की समीकरण ($$) औपचारिक रूप से जैकोबी समीकरण से प्राप्त किया जा सकता है,

प्रतिस्थापन के माध्यम से, वास्तविक $$ के लिए,

जिस स्थिति में कोई पाता है

जेकोबी बहुपदों के लिए उपयुक्त रूप से चयन किए गए सामान्यीकरण स्थिरांक के साथ और कुइजलर्स एट अल में दाईं ओर जटिल जैकोबी बहुपदों को (1.1) के माध्यम से परिभाषित किया गया है। (2003) मे जो आश्वस्त करता है कि ($$) x में वास्तविक बहुपद हैं। चूंकि उद्धृत लेखक गैर-हर्मिटियन (जटिल) लंबकोणीय स्थितियों पर चर्चा करते हैं, केवल वास्तविक जैकोबी अनुक्रमणिका (इंडेक्स) के लिए उनके विश्लेषण और रोमानोव्स्की बहुपदों की परिभाषा ($$) के बीच केवल परस्पर व्याप्त α = 0 सम्मिलित है। हालांकि इस विशिष्ट स्थिति की जांच के लिए इस लेख की सीमाओं से अधिक जांच की आवश्यकता होती है। व्युत्क्रमणीयता पर ध्यान दें ($$) समीकरण के अनुसार

जहाँ $P(α,β) n(x)$ वास्तविक जैकोबी बहुपद है और
 * $$R^{\left(i(\alpha-\beta), \frac{1}{2}(\alpha+\beta)+1)\right)}_n(-ix)$$
 * जटिल रोमानोव्स्की बहुपद होगा।

स्पष्ट निर्माण
वास्तविक $α, β$ और $n = 0, 1, 2, ...$, के लिए फलन $R(α,β) n(x)$ को समीकरण ($$) में रोड्रिग्स सूत्र द्वारा परिभाषित किया जा सकता है

जहाँ $w^{(α,β)}$ वही भार फलन है जो कि ($$) समीकरण मे है, और $s(x) = 1 + x^{2}$ अतिज्यामितीय अवकल समीकरण के दूसरे अवकलज का गुणांक है जैसा कि ($x$) समीकरण में है।

ध्यान दें कि हमने सामान्यीकरण स्थिरांक $N_{n} = 1$ चयन किया है, जो बहुपद में उच्चतम घात के गुणांक के विकल्प के बराबर है, जैसा कि समीकरण ($$) द्वारा दिया गया है। यह व्यंजक लेता है

यह भी ध्यान दें कि गुणांक $$ पैरामीटर $$ पर निर्भर नहीं करता है, लेकिन केवल $$ पर और, $$ के विशेष मानों के लिए $$ लुप्त हो जाता है (अर्थात, सभी मूल्यों के लिए
 * $$\beta=\frac{k(k-1) - n(n-1)}{2(n-k)}$$
 * जहाँ $k = 0, ..., n − 1$) यह अवलोकन नीचे संबोधित एक समस्या उत्पन्न करता है।

बाद के संदर्भ के लिए, हम स्पष्ट रूप से 0, 1, और 2 घात के बहुपदों को लिखते हैं,

\begin{align} R_0^{(\alpha,\beta)}(x) & = 1, \\[6pt] R^{(\alpha ,\beta )}_1(x) & = \frac{1}{w^{(\alpha,\beta)}(x)} \left(w'^{(\alpha,\beta)}(x)s(x)+s'(x)w^{(\alpha,\beta)}(x)\right)\\[6pt] & = t^{(\alpha,\beta)}(x)=2\beta x+\alpha,\\[6pt] R^{(\alpha ,\beta )}_2(x) & = \frac{1}{w^{(\alpha,\beta)}(x)}\frac{\mathrm d}{{\mathrm d}x} \left(s^2(x) w'^{(\alpha,\beta)}(x)+2s(x)s'(x)w^{(\alpha,\beta)}(x)\right)\\ & = \frac{1}{w^{(\alpha,\beta)}(x)}\frac{\mathrm d}{{\mathrm d}x}\left(s(x)w^{(\alpha,\beta)}(x) \left(t^{(\alpha,\beta)}(x)+s'(x)\right)\right)\\[6pt] & = \left(2x+t^{(\alpha,\beta)}(x)\right) t^{(\alpha,\beta)}(x)+\left(2+t'^{(\alpha,\beta)}(x)\right)s(x)\\[6pt] & = (2\beta+1)(2\beta+2) x^2 + 2(2\beta+1)\alpha x + \left(2\beta + \alpha^2 +2\right), \end{align} $$ जो पियर्सन के ओडीई ($$) समीकरण के संयोजन में रोड्रिग्स सूत्र समीकरण ($$) मे प्राप्त होता है।

लंबकोणीयता
दो बहुपद, $R(α,β) m(x)$ और $R(α,β) n(x)$ साथ $m ≠ n$, लंबकोणीय हैं,

जहां यदि और केवल यदि,

दूसरे शब्दों में, एकपक्षीय पैरामीटर के लिए, रोमानोव्स्की बहुपदों की केवल एक परिमित संख्या लंबकोणीय है। इस गुण को परिमित लंबकोणीय कहा जाता है। हालांकि, कुछ विशेष स्थितियों के लिए जिनमें पैरामीटर विशेष तरीके से बहुपद घात पर निर्भर करते हैं और अनंत लंबकोणीय प्राप्त की जा सकती है।

यह समीकरण ($$) के एक संस्करण की स्थिति है जिसे त्रिकोणमितीय रोसेन-मोर्स क्षमता की क्वांटम यांत्रिक समस्या की परिशुद्धता समाधेयता के संदर्भ में स्वतंत्र रूप से नए सिरे से से देखा गया है और कंपियन और किर्चबैक के द्वारा (2006) में रिपोर्ट किया गया है। वहां, बहुपद पैरामीटर $$ और $β$ एकपक्षीय नहीं हैं लेकिन संभावित मापदंडों, $$ और $$, और बहुपद की घात n संबंधों के अनुसार के संदर्भ में व्यक्त किए गए हैं

इसके अनुरूप, $c_{n}$, $λ_{n} = −n(2a + n − 1)$, के रूप में सामने आता है जबकि भार फलन आकार लेता है
 * $$\left(1+x^2\right)^{-(a+n+1) }\exp\left(-\frac{2b}{n+a+1} \arccot x\right).$$

अंत में, कॉम्पियन और किर्चबैक (2006) में एक-आयामी चर, x, को इस रूप में लिया गया है
 * $$x=\cot\left( \frac{r}{d}\right),$$

जहाँ $α$ रेडियल दूरी है, जबकि $$d$$ उपयुक्त लंबाई पैरामीटर है। अतः कॉम्पेन और किर्चबैक में यह दिखाया गया है कि पैरामीटर जोड़े के अनंत अनुक्रम के अनुरूप रोमनोवस्की बहुपदों का वर्ग,

लंबकोणीय है।

जनित्र फलन
वेबर में (2007) बहुआयामी पद $Q(α_{n}, β_{n} + n) ν(x)$, साथ $β_{n} + n = −a$, और पूरक $R(α_{n}, β_{n}) n(x)$ का अध्ययन किया गया है, जो निम्न प्रकार से उत्पन्न हुआ है:

संबंध को ध्यान में रखते हुए,

समीकरण ($β$) के बराबर हो जाता है

और इस प्रकार पूरक को प्रमुख रोमानोव्स्की बहुपदों से जोड़ता है।

पूरक बहुपदों का मुख्य आकर्षण यह है कि उनके जनक फलन की गणना संवृत रूप में की जा सकती है। समीकरण के आधार पर रोमानोव्स्की बहुपदों के लिए लिखा गया ऐसा जनक फलन समीकरण ($β$) में पैरामीटर के साथ ($c_{n}$) समीकरण और इसलिए अनंत लंबकोणीय का संदर्भ देते हुए, इसे प्रस्तुत किया गया है

वेबर और यहां उपयोग किए गए सांकेतिक अंतरों को संक्षेप में इस प्रकार दिया गया है: चर्चा के अंतर्गत जनित्र फलन वेबर में प्राप्त किया गया है।
 * $G^{(α_{n}, β_{n})}(x,y)$ यहाँ बनाम $Q(x,y;α,−a)$ वहाँ, $$ के स्थान पर $$ यहाँ,
 * $a = −β_{n} − n$, और
 * $Q(α,−a) ν(x)$ वेबर में समीकरण (15) में जहां $R(α_{n}, β_{n} + n − ν) ν(x)$ के अनुरूप है।

पुनरावृत्ति संबंध
उपरोक्त समीकरणों में पैरामीटर के साथ रोमनोवस्की बहुपदों की अनंत लंबकोणीय श्रृंखला के बीच पुनरावृत्ति संबंध ($$) उत्पादक फलन से अनुसरण करें,

और

वेबर (2007) के क्रमशः समीकरण (10) और (23) के रूप में।

यह भी देखें

 * सहचारी लेजान्ड्रे फलन
 * गॉसियन चतुष्कोण
 * गेगेनबॉयर बहुपद
 * लीजेंड्रे तर्कसंगत फलन
 * तुरान की असमानताएँ
 * लेजेंड्रे तरंगिका
 * जैकोबी बहुपद
 * लीजेंड्रे बहुपद
 * वृत्ताकार हार्मोनिक
 * त्रिकोणमितीय रोसेन-मोर्स क्षमता