ऑर्थोगोनल बहुपद

गणित में, एक ऑर्थोगोनल बहुपद अनुक्रम बहुपदों का एक परिवार है जैसे कि अनुक्रम में कोई भी दो अलग-अलग बहुपद किसी आंतरिक गुणन के तहत एक दूसरे के लिए ऑर्थोगोनल हैं।

सबसे व्यापक रूप से प्रयोग किए जाने वाले ऑर्थोगोनल बहुपद चिरसम्मत ऑर्थोगोनल बहुपद हैं, जिनमें हर्मिट बहुपद, लैगुएरे बहुपद और जैकोबी बहुपद सम्मिलित हैं। गेंगेंबोइर बहुपद जैकोबी बहुपदों का सबसे महत्वपूर्ण वर्ग बनाते हैं; वे विशेष स्थिति के रूप में चेबीशेव बहुपद, और लीजेंड्रे बहुपद को सम्मिलित करते हैं।

ऑर्थोगोनल बहुपदों का क्षेत्र 19वीं सदी के अंत में पी. एल. चेबिशेव द्वारा निरंतर अंशों के अध्ययन से विकसित हुआ और ए. ए. मार्कोव और टी. जे. स्टिल्टजेस द्वारा इसका अनुसरण किया गया। वे विभिन्न प्रकार के क्षेत्रों में दिखाई देते हैं: संख्यात्मक विश्लेषण (गाऊसी चतुर्भुज), संभाव्यता सिद्धांत, प्रतिनिधित्व सिद्धांत (झूठे समूह, क्वांटम समूह और संबंधित ऑब्जेक्ट्स का), गणनात्मक संयोजक, बीजगणितीय संयोजक, गणितीय भौतिकी (यादृच्छिक मैट्रिक्स का सिद्धांत, समाकलनीय प्रणाली, आदि), और संख्या सिद्धांत। ऑर्थोगोनल बहुपदों पर काम करने वाले कुछ गणितज्ञों में गेबोर स्जेगो, सर्गेई नटनोविच बर्नस्टीन, नौम अखीजर, आर्थर एर्डेली, याकूब गेरोनिमस, वोल्फगैंग हैन, थिओडोर सियो चिहारा, मोर्ड इस्माइल, वलीद अल-सलाम, रिवेरिएबल्ड आस्की और रेहुएल लोबेटो सम्मिलित हैं।

वास्तविक माप के लिए 1-वेरिएबल स्थिति की परिभाषा
किसी भी गैर-घटते कार्य को देखते हुए $α$ वास्तविक संख्याओं पर, हम लेबसग़ई-स्टिलट्जेस समाकल को परिभाषित कर सकते हैं $$\int f(x) \, d\alpha(x)$$ एक एफ का फलन है। यदि यह समाकल सभी बहुपदों f के लिए परिमित है, तो हम बहुपदों f और g के युग्मों पर आंतरिक गुणनफल को इस प्रकार परिभाषित कर सकते हैं $$\langle f, g \rangle = \int f(x) g(x) \, d\alpha(x).$$ यह संक्रिया सभी बहुपदों के सदिश स्थान पर एक धनात्मक अर्धनिश्चित आंतरिक गुणन है, और यदि फलन α में वृद्धि के अनंत बिंदु हैं तो यह सकारात्मक निश्चित है। यह सामान्य तरीके से ऑर्थोगोनलिटी की धारणा को प्रेरित करता है, अर्थात् दो बहुपद ऑर्थोगोनल हैं यदि उनका आंतरिक गुणन शून्य है।

फिर क्रम $(P_{n})∞ n=0$ ऑर्थोगोनल बहुपद संबंधों द्वारा परिभाषित किया गया है $$ \deg P_n = n~, \quad \langle P_m, \, P_n \rangle = 0 \quad \text{for} \quad m \neq n~.$$ दूसरे शब्दों में, इस आंतरिक गुणन के संबंध में ग्राम-श्मिट प्रक्रिया द्वारा एकपदी 1, x, x2, ...के अनुक्रम से अनुक्रम प्राप्त किया जाता है ।

प्रायः अनुक्रम को ऑर्थोनॉर्मल होना आवश्यक है, अर्थात्, $$ \langle P_n, P_n \rangle = 1, $$ हालाँकि, अन्य मानक कभी-कभी उपयोग किए जाते हैं।

बिल्कुल निरंतर स्थिति
कभी-कभी हमारे पास होता है $$ d\alpha(x) = W(x) \, dx$$ जहाँ $$W : [x_1, x_2] \to \R$$ वास्तविक रेखा में कुछ अंतराल$[x_{1}, x_{2}]$ पर समर्थन के साथ एक गैर-नकारात्मक फलन है  (जहाँ $x_{1} = −∞$ और $x_{2} = ∞$ अनुमति दी जाती है)। इस तरह का एक $W$ को वेट फलन कहा जाता है। फिर आंतरिक गुणन द्वारा दिया जाता है $$\langle f, g \rangle = \int_{x_1}^{x_2} f(x) g(x) W(x) \, dx.$$ हालांकि, ऑर्थोगोनल बहुपदों के कई उदाहरण हैं जहां माप $dα(x)$ में गैर-शून्य माप वाले बिंदु होते हैं जहां फलन $α$ विच्छिन्न है, इसलिए वजन फंक्शन द्वारा नहीं दिया जा सकता है $W$ ऊपरोक्त अनुसार।

ऑर्थोगोनल बहुपदों के उदाहरण
एक वास्तविक अंतराल में समर्थन के साथ माप के लिए सबसे अधिक प्रयोग किया जाने वाला ऑर्थोगोनल बहुपद ऑर्थोगोनल है। यह भी सम्मिलित है:
 * शास्त्रीय ऑर्थोगोनल बहुपद (जैकोबी बहुपद, लैगुएरे बहुपद, हर्मिट बहुपद, और उनके विशेष मामले गेगेनबॉयर बहुपद, चेबीशेव बहुपद और लीजेंड्रे बहुपद)।
 * विल्सन बहुपद, जो जैकोबी बहुपदों का सामान्यीकरण करता है। वे कई ऑर्थोगोनल बहुपदों को विशेष स्थिति के रूप में सम्मिलित करते हैं, जैसे कि मेक्सनर-पोलकज़ेक बहुपद, निरंतर [[हैन बहुपद]], निरंतर दोहरी हान बहुपद, और क्लासिकल बहुपद, जो आस्की योजना द्वारा वर्णित हैं।
 * एस्की-विल्सन बहुपद विल्सन बहुपदों में एक अतिरिक्त पैरामीटर क्यू पेश करते हैं।

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

मीक्सनर ने सभी ऑर्थोगोनल शेफ़र अनुक्रम को वर्गीकृत किया है: केवल हेर्माइट, लैगुएरे, चार्लीयर, मीक्सनर और मीक्सनर-पोलाकज़ेक हैं। कुछ अर्थों में क्रावचौक भी इस सूची में होना चाहिए, लेकिन वे एक परिमित अनुक्रम हैं। ये छह परिवार Natural_exponential_family#The_six_NEF-QVFs|NEF-QVFs के अनुरूप हैं और कुछ लेवी प्रक्रियाओं के लिए मार्टिंगेल_(संभाव्यता_सिद्धांत) बहुपद हैं। लेवी प्रक्रियाएं।

छलनी ऑर्थोगोनल बहुपद, जैसे छना हुआ अल्ट्रास्फेरिकल बहुपद, छना हुआ जैकोबी बहुपद, और छलनी पोलाज़ेक बहुपद, ने पुनरावृत्ति संबंधों को संशोधित किया है।

कोई जटिल विमान में कुछ वक्र के लिए ऑर्थोगोनल बहुपदों पर भी विचार कर सकता है। सबसे महत्वपूर्ण मामला (वास्तविक अंतराल के अलावा) तब होता है जब वक्र यूनिट सर्कल होता है, जो यूनिट सर्कल पर ऑर्थोगोनल बहुपद देता है, जैसे रोजर्स-सेगो बहुपद।

ऑर्थोगोनल बहुपदों के कुछ परिवार हैं जो त्रिकोण या डिस्क जैसे समतल क्षेत्रों पर ऑर्थोगोनल हैं। उन्हें कभी-कभी जैकोबी बहुपदों के संदर्भ में लिखा जा सकता है। उदाहरण के लिए, Zernike बहुपद यूनिट डिस्क पर ओर्थोगोनल हैं।

हर्मिट बहुपदों के विभिन्न आदेशों के बीच रूढ़िवादिता का लाभ सामान्यीकृत आवृत्ति विभाजन बहुसंकेतन (जीएफडीएम) संरचना पर लागू होता है। समय-आवृत्ति जाली के प्रत्येक ग्रिड में एक से अधिक प्रतीक ले जा सकते हैं।

गुण
वास्तविक रेखा पर एक गैर-ऋणात्मक माप द्वारा परिभाषित एक वेरिएबल के ऑर्थोगोनल बहुपदों में निम्नलिखित गुण होते हैं।

क्षण से संबंध
ऑर्थोगोनल बहुपद पीn पल के संदर्भ में व्यक्त किया जा सकता है (गणित)


 * $$ m_n = \int x^n \, d\alpha(x) $$

निम्नलिखित नुसार:


 * $$ P_n(x) = c_n \, \det \begin{bmatrix}

m_0 & m_1 & m_2 &\cdots & m_n \\ m_1 & m_2 & m_3 &\cdots & m_{n+1} \\ \vdots&\vdots&\vdots&\ddots& \vdots \\ m_{n-1} &m_n& m_{n+1} &\cdots &m_{2n-1}\\ 1 & x & x^2 & \cdots & x^n \end{bmatrix}~,$$ जहां स्थिरांक सीn मनमाने हैं (पी के सामान्यीकरण पर निर्भर करते हैंn).

यह सीधे ग्राम-श्मिट प्रक्रिया को मोनोमियल्स पर लागू करने से आता है, प्रत्येक बहुपद को पिछले वाले के संबंध में ऑर्थोगोनल होने के लिए लागू करता है। उदाहरण के लिए, के साथ रूढ़िवादिता $$P_0$$ यह निर्धारित करता है $$P_1$$ रूप होना चाहिए$$P_1(x) = c_1 \left(x- \frac{\langle P_0, x\rangle P_0}{\langle P_0,P_0\rangle} \right) = c_1 ( x - m_1),$$जिसे निर्धारक के साथ पहले दी गई अभिव्यक्ति के अनुरूप देखा जा सकता है।

पुनरावृत्ति संबंध
बहुपद पीn प्रपत्र के पुनरावृत्ति संबंध को संतुष्ट करें
 * $$ P_n(x) = (A_n x + B_n) P_{n-1}(x) + C_n P_{n-2}(x)$$

जहाँ एकn0 नहीं है। विलोम भी सत्य है; Favard की प्रमेय देखें।

शून्य
यदि माप dα एक अंतराल [a, b] पर समर्थित है, तो P के सभी शून्यn [ए, बी] में झूठ। इसके अलावा, शून्य में निम्नलिखित इंटरलेसिंग गुण होते हैं: यदि m < n, तो P का एक शून्य होता हैn P के किन्हीं दो शून्यों के बीचm. शून्य की इलेक्ट्रोस्टैटिक व्याख्या दी जा सकती है।

मिश्रित व्याख्या
1980 के दशक से, X. G. Viennot, J. Labelle, Y.-N. येह, डी. फोटा, और अन्य, सभी शास्त्रीय ऑर्थोगोनल बहुपदों के लिए संयोजी व्याख्याएं पाई गईं।

बहुभिन्नरूपी ऑर्थोगोनल बहुपद
मैकडोनाल्ड बहुपद कई वेरिएबलों में ऑर्थोगोनल बहुपद हैं, जो एक सजातीय रूट सिस्टम की पसंद पर निर्भर करता है। वे विशेष स्थिति के रूप में बहुभिन्नरूपी ऑर्थोगोनल बहुपदों के कई अन्य परिवारों को सम्मिलित करते हैं, जिनमें जैक बहुपद, हॉल-लिटिलवुड बहुपद, हेकमैन-ओपडम बहुपद, और कोर्नविंदर बहुपद सम्मिलित हैं। एस्की-विल्सन बहुपद रैंक 1 की एक निश्चित गैर-कम जड़ प्रणाली के लिए मैकडोनाल्ड बहुपदों का विशेष मामला है।

एकाधिक ऑर्थोगोनल बहुपद
एकाधिक ऑर्थोगोनल बहुपद एक वेरिएबल में बहुपद होते हैं जो उपायों के परिमित परिवार के संबंध में ऑर्थोगोनल होते हैं।

सोबोलेव ऑर्थोगोनल बहुपद
ये सोबोलेव स्पेस इनर प्रोडक्ट के संबंध में ऑर्थोगोनल पॉलीनॉमियल हैं, यानी डेरिवेटिव के साथ एक आंतरिक गुणन। डेरिवेटिव सहित बहुपदों के लिए बड़े परिणाम हैं, सामान्य तौर पर वे शास्त्रीय ऑर्थोगोनल बहुपदों की कुछ अच्छी विशेषताओं को साझा नहीं करते हैं।

मैट्रिसेस के साथ ऑर्थोगोनल बहुपद
मेट्रिसेस वाले ऑर्थोगोनल पॉलीनॉमियल में या तो गुणांक होते हैं जो मैट्रिसेस होते हैं या अनिश्चित एक मैट्रिक्स होता है।

यह भी देखें

 * अपील अनुक्रम
 * हाइपरज्यामितीय ऑर्थोगोनल बहुपदों की आस्की योजना
 * Favard की प्रमेय
 * द्विपद प्रकार
 * बायोर्थोगोनल बहुपद
 * सामान्यीकृत फूरियर श्रृंखला
 * माध्यमिक उपाय
 * शेफर अनुक्रम
 * स्टर्म-लिउविल सिद्धांत
 * उम्ब्रल कैलकुलस

संदर्भ

 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.
 * C. Chan, A. Mironov, A. Morozov, A. Sleptsov,.