लांबिक फलन

गणित में, ऑर्थोगोनल फ़ंक्शंस एक कार्य स्थान से संबंधित होते हैं जो एक सदिश स्थल  होता है जो  द्विरेखीय रूप  से सुसज्जित होता है। जब फ़ंक्शन स्पेस में फ़ंक्शन के डोमेन के रूप में एक अंतराल (गणित) होता है, तो बिलिनियर फॉर्म अंतराल पर कार्यों के उत्पाद का अभिन्न अंग हो सकता है:
 * $$ \langle f,g\rangle = \int \overline{f(x)}g(x)\,dx .$$

कार्य $$f$$ और $$g$$ जब यह इंटीग्रल शून्य होता है, तो द्विरेखीय रूप#रिफ्लेक्सिविटी और ऑर्थोगोनैलिटी होते हैं। $$\langle f, \, g \rangle = 0$$ जब कभी भी $$f \neq g$$. परिमित-आयामी स्थान में वैक्टर के आधार (रैखिक बीजगणित) के साथ, ऑर्थोगोनल फ़ंक्शन फ़ंक्शन स्थान के लिए अनंत आधार बना सकते हैं। वैचारिक रूप से, उपरोक्त इंटीग्रल एक वेक्टर डॉट उत्पाद के समतुल्य है; यदि उनका डॉट-उत्पाद शून्य है तो दो वेक्टर परस्पर स्वतंत्र (ऑर्थोगोनल) होते हैं।

कल्पना करना $$ \{ f_0, f_1, \ldots\}$$ गैर-शून्य L2-मानदंड|L के ऑर्थोगोनल कार्यों का एक क्रम है2-मानदंड $ \left\| f_n \right\| _2 = \sqrt{\langle f_n, f_n \rangle} = \left(\int f_n ^2 \ dx \right) ^\frac{1}{2} $. यह क्रम इस प्रकार है $$\left\{ f_n / \left\| f_n \right\| _2 \right\}$$ एल के कार्यों का है2-सामान्य एक, एक लम्बवत अनुक्रम बनाता है। एक परिभाषित एल होना2-मानदंड, इंटीग्रल को परिबद्ध किया जाना चाहिए, जो फ़ंक्शंस को वर्ग-अभिन्न होने तक सीमित करता है।

त्रिकोणमितीय फलन
ऑर्थोगोनल फ़ंक्शंस के कई सेट अनुमानित फ़ंक्शंस के लिए मानक आधार बन गए हैं। उदाहरण के लिए, साइन कार्य करता है sin nx और sin mx अंतराल पर ऑर्थोगोनल हैं $$x \in (-\pi, \pi)$$ कब $$m \neq n$$ और n और m धनात्मक पूर्णांक हैं। तब के लिए
 * $$2 \sin \left(mx\right) \sin \left(nx\right) = \cos \left(\left(m - n\right)x\right) - \cos\left(\left(m+n\right) x\right), $$

और दो ज्या फलनों के गुणनफल का समाकलन लुप्त हो जाता है। कोसाइन फ़ंक्शंस के साथ, इन ऑर्थोगोनल फ़ंक्शंस को फूरियर श्रृंखला के साथ अंतराल पर दिए गए फ़ंक्शन को अनुमानित करने के लिए एक त्रिकोणमितीय बहुपद में इकट्ठा किया जा सकता है।

बहुपद
यदि कोई एकपदी अनुक्रम से प्रारंभ करता है $$ \left\{1, x, x^2, \dots\right\} $$ अंतराल पर $$[-1,1]$$ और ग्राम-श्मिट प्रक्रिया को लागू करता है, फिर लीजेंड्रे बहुपद प्राप्त होता है। ऑर्थोगोनल बहुपदों का एक अन्य संग्रह संबंधित लीजेंड्रे बहुपद हैं।

ऑर्थोगोनल बहुपदों के अध्ययन में वजन कार्य शामिल होते हैं $$w(x)$$ जिन्हें द्विरेखीय रूप में डाला गया है:
 * $$ \langle f,g\rangle = \int w(x) f(x) g(x)\,dx .$$

लैगुएरे बहुपद के लिए $$(0,\infty)$$ वज़न फ़ंक्शन है $$w(x) = e^{-x}$$.

भौतिक विज्ञानी और संभाव्यता सिद्धांतकार दोनों हर्माइट बहुपद का उपयोग करते हैं $$(-\infty,\infty)$$, जहां वजन फ़ंक्शन है $$w(x) = e^{-x^2}$$ या $$w(x) = e^{- x^2/2}$$.

चेबीशेव बहुपदों को परिभाषित किया गया है $$[-1,1]$$ और वज़न का उपयोग करें $w(x) = \frac{1}{\sqrt{1 - x^2}}$ या $w(x) = \sqrt{1 - x^2}$.

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

बाइनरी-वैल्यू फ़ंक्शंस
वाल्श समारोह और उसकी तरंगिका ्स अलग-अलग श्रेणियों के साथ ऑर्थोगोनल फ़ंक्शंस के उदाहरण हैं।

तर्कसंगत कार्य
लीजेंड्रे और चेबीशेव बहुपद अंतराल के लिए ऑर्थोगोनल परिवार प्रदान करते हैं [−1, 1] जबकि कभी-कभी ऑर्थोगोनल परिवारों की आवश्यकता होती है [0, ∞). इस मामले में तर्क लाने के लिए पहले केली ट्रांसफॉर्म#रियल होमोग्राफी को लागू करना सुविधाजनक है [−1, 1]. इस प्रक्रिया के परिणामस्वरूप तर्कसंगत फ़ंक्शन ऑर्थोगोनल फ़ंक्शन के परिवार बनते हैं जिन्हें लीजेंड्रे तर्कसंगत फ़ंक्शन और चेबीशेव तर्कसंगत फ़ंक्शन कहा जाता है।

विभेदक समीकरणों में
सीमा स्थितियों के साथ रैखिक अंतर समीकरणों के समाधानों को अक्सर ऑर्थोगोनल समाधान कार्यों (a.k.a. eigenfunctions) के भारित योग के रूप में लिखा जा सकता है, जिससे सामान्यीकृत फूरियर श्रृंखला बनती है।

यह भी देखें

 * आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स
 * हिल्बर्ट स्थान
 * करहुनेन-लोवे प्रमेय
 * लॉरीसेला का प्रमेय
 * वानियर फ़ंक्शन

संदर्भ

 * George B. Arfken & Hans J. Weber (2005) Mathematical Methods for Physicists, 6th edition, chapter 10: Sturm-Liouville Theory — Orthogonal Functions, Academic Press.
 * Giovanni Sansone (translated by Ainsley H. Diamond) (1959) Orthogonal Functions, Interscience Publishers.
 * Giovanni Sansone (translated by Ainsley H. Diamond) (1959) Orthogonal Functions, Interscience Publishers.

बाहरी संबंध

 * Orthogonal Functions, on MathWorld.