ऑर्थोगोनल फ़ंक्शन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, लंबकोणीय फलन, [[समारोह स्थान|फलन स्पेस]] से संबंधित होते हैं जो कि द्विरेखीय फॉर्म से लैस [[ सदिश स्थल | सदिश स्पेस]] होता है। जब फलन स्पेस में फलन के डोमेन के रूप में [[अंतराल (गणित)|अंतराल]] होता है, तो [[द्विरेखीय रूप]] अंतराल पर फलनों के उत्पाद का [[अभिन्न]] अंग हो सकता है:
गणित में, ऑर्थोगोनल फलन, [[समारोह स्थान|फलन स्पेस]] से संबंधित होते हैं जो कि द्विरेखीय फॉर्म से लैस [[ सदिश स्थल |सदिश स्पेस]] होता है। जब फलन स्पेस में फलन के डोमेन के रूप में [[अंतराल (गणित)|अंतराल]] होता है, तो [[द्विरेखीय रूप]] अंतराल पर फलनों के उत्पाद का [[अभिन्न]] अंग हो सकता है:
:<math> \langle f,g\rangle = \int \overline{f(x)}g(x)\,dx  .</math>
:<math> \langle f,g\rangle = \int \overline{f(x)}g(x)\,dx  .</math>
जब यह अभिन्न शून्य है, तो फलन <math>f</math> और <math>g</math> लंबकोणीय होते हैं, उदाहरण, <math>\langle f, \, g \rangle = 0</math> जब कभी भी <math>f \neq g</math> है। परिमित-आयामी अंतरिक्ष में सदिश के [[आधार (रैखिक बीजगणित)]] के साथ, लंबकोणीय फलन फलन स्पेस के लिए अनंत आधार बना सकते हैं। संकल्पनात्मक रूप से, उपरोक्त अभिन्न सदिश [[डॉट उत्पाद]] के बराबर है; दो सदिश परस्पर स्वतंत्र (लंबकोणीय) हैं यदि उनका बिंदु-उत्पाद शून्य है।
जब यह अभिन्न शून्य है, तो फलन <math>f</math> और <math>g</math> ऑर्थोगोनल होते हैं, उदाहरण, <math>\langle f, \, g \rangle = 0</math> जब कभी भी <math>f \neq g</math> है। परिमित-आयामी अंतरिक्ष में सदिश के [[आधार (रैखिक बीजगणित)]] के साथ, ऑर्थोगोनल फलन फलन स्पेस के लिए अनंत आधार बना सकते हैं। संकल्पनात्मक रूप से, उपरोक्त अभिन्न सदिश [[डॉट उत्पाद]] के बराबर है; दो सदिश परस्पर स्वतंत्र (ऑर्थोगोनल) हैं यदि उनका बिंदु-उत्पाद शून्य है।


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


== त्रिकोणमितीय फलन ==
== त्रिकोणमितीय फलन ==
{{Main article|फोरियर श्रेणी|हार्मोनिक विश्लेषण}}
{{Main article|फोरियर श्रेणी|हार्मोनिक विश्लेषण}}


लंबकोणीय फलन के कई समुच्चय अनुमानित फलनों के लिए मानक आधार बन गए हैं। उदाहरण के लिए, साइन फलन {{nowrap|sin ''nx''}} और {{nowrap|sin ''mx''}}, अंतराल <math>x \in (-\pi, \pi)</math> जब <math>m \neq n</math> और n तथा m धनात्मक पूर्णांक पर लंबकोणीय हैं। तब के लिए:
ऑर्थोगोनल फलन के कई समुच्चय अनुमानित फलनों के लिए मानक आधार बन गए हैं। उदाहरण के लिए, साइन फलन {{nowrap|sin ''nx''}} और {{nowrap|sin ''mx''}}, अंतराल <math>x \in (-\pi, \pi)</math> जब <math>m \neq n</math> और n तथा m धनात्मक पूर्णांक पर ऑर्थोगोनल हैं। तब के लिए:
:<math>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), </math>
:<math>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), </math>
और दो साइन फलनों के उत्पाद का अभिन्न अंग लुप्त हो जाता है।<ref>[[Antoni Zygmund]] (1935) ''[[Trigonometric Series|Trigonometrical Series]]'', page 6, Mathematical Seminar, University of Warsaw</ref> कोसाइन फलन के साथ, इन लंबकोणीय फलन को [[त्रिकोणमितीय बहुपद]] में इकट्ठा किया जा सकता है जिससे इसकी फोरियर श्रेणी के साथ अंतराल पर दिए गए फलन का अनुमान लगाया जा सके।
और दो साइन फलनों के उत्पाद का अभिन्न अंग लुप्त हो जाता है।<ref>[[Antoni Zygmund]] (1935) ''[[Trigonometric Series|Trigonometrical Series]]'', page 6, Mathematical Seminar, University of Warsaw</ref> कोसाइन फलन के साथ, इन ऑर्थोगोनल फलन को [[त्रिकोणमितीय बहुपद]] में इकट्ठा किया जा सकता है जिससे इसकी फोरियर श्रेणी के साथ अंतराल पर दिए गए फलन का अनुमान लगाया जा सकता है।


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


लंबकोणीय बहुपदों के अध्ययन में भार फलन <math>w(x)</math> सम्मिलित हैं, जो द्विरेखीय फॉर्म में डाले गए हैं:
ऑर्थोगोनल बहुपदों के अध्ययन में वजन फलन <math>w(x)</math> सम्मिलित हैं, जो द्विरेखीय फॉर्म में डाले गए हैं:
:<math> \langle f,g\rangle = \int w(x) f(x) g(x)\,dx  .</math>
:<math> \langle f,g\rangle = \int w(x) f(x) g(x)\,dx  .</math>
<math>(0,\infty)</math> [[लैगुएरे बहुपद|लैगुएरे बहुपदों]] के लिए भार फलन <math>w(x) = e^{-x}</math> है।
<math>(0,\infty)</math> [[लैगुएरे बहुपद|लैगुएरे बहुपदों]] के लिए वजन फलन <math>w(x) = e^{-x}</math> है।


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


<math>[-1,1]</math> पर, [[चेबिशेव बहुपद|चेबीशेव]] [[लैगुएरे बहुपद|बहुपदों]] को परिभाषित किया गया है, और भार  <math display="inline">w(x) = \frac{1}{\sqrt{1 - x^2}}</math> या <math display="inline">w(x) = \sqrt{1 - x^2}</math> का प्रयोग करें।
<math>[-1,1]</math> पर, [[चेबिशेव बहुपद|चेबीशेव]] [[लैगुएरे बहुपद|बहुपदों]] को परिभाषित किया गया है, और वजन <math display="inline">w(x) = \frac{1}{\sqrt{1 - x^2}}</math> या <math display="inline">w(x) = \sqrt{1 - x^2}</math> का प्रयोग करें।


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


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


== तर्कसंगत फलन ==
== तर्कसंगत फलन ==
[[File:ChebychevRational1.png|thumb|x=0.01 और 100 के बीच क्रम n=0,1,2,3 और 4 के चेबीशेव तर्कसंगत फलनों का प्लॉट।]]लीजेंड्रे और चेबीशेव बहुपद {{nowrap|[−1, 1]}} अंतराल के लिए लंबकोणीय परिवार प्रदान करते हैं जबकि कभी-कभी लंबकोणीय परिवारों की {{nowrap|[0, ∞)}} आवश्यकता होती है। इस स्थिति में तर्क को {{nowrap|[−1, 1]}} में लाने के लिए पहले केली रूपांतरण को प्रयुक्त करना सुविधाजनक है। इस प्रक्रिया के परिणामस्वरूप तर्कसंगत फलन लंबकोणीय फलन के परिवार होते हैं जिन्हें लीजेंड्रे तर्कसंगत फलन और चेबीशेव तर्कसंगत फलन कहा जाता है।
[[File:ChebychevRational1.png|thumb|x=0.01 और 100 के बीच क्रम n=0,1,2,3 और 4 के चेबीशेव तर्कसंगत फलनों का प्लॉट।]]लीजेंड्रे और चेबीशेव बहुपद {{nowrap|[−1, 1]}} अंतराल के लिए ऑर्थोगोनल परिवार प्रदान करते हैं, जबकि कभी-कभी ऑर्थोगोनल परिवारों की {{nowrap|[0, ∞)}} आवश्यकता होती है। इस स्थिति में तर्क को {{nowrap|[−1, 1]}} में लाने के लिए पहले केली रूपांतरण को प्रयुक्त करना सुविधाजनक है। इस प्रक्रिया के परिणामस्वरूप तर्कसंगत फलन ऑर्थोगोनल फलन के परिवार होते हैं, जिन्हें लीजेंड्रे तर्कसंगत फलन और चेबीशेव तर्कसंगत फलन कहा जाता है।


== [[अंतर समीकरण]] में ==
== [[अंतर समीकरण]] में ==
सीमा स्थितियों के साथ रैखिक अंतर समीकरणों के समाधान को अधिकांशतः लंबकोणीय समाधान फलनों (उपनाम [[eigenfunction|आइजनफलन]]) के भारित योग के रूप में लिखा जा सकता है, जिससे [[सामान्यीकृत फूरियर श्रृंखला|सामान्यीकृत फोरियर श्रृंखला]] हो सकती है।
सीमा स्थितियों के साथ रैखिक अंतर समीकरणों के समाधान को अधिकांशतः ऑर्थोगोनल समाधान फलनों (उपनाम [[eigenfunction|आइजनफलन]]) के भारित योग के रूप में लिखा जा सकता है, जिससे [[सामान्यीकृत फूरियर श्रृंखला|सामान्यीकृत फोरियर श्रृंखला]] हो सकती है।


== यह भी देखें ==
== यह भी देखें ==
Line 46: Line 46:
* George B. Arfken & Hans J. Weber (2005) ''Mathematical Methods for Physicists'', 6th edition, chapter 10: Sturm-Liouville Theory — Orthogonal Functions, [[Academic Press]].
* George B. Arfken & Hans J. Weber (2005) ''Mathematical Methods for Physicists'', 6th edition, chapter 10: Sturm-Liouville Theory — Orthogonal Functions, [[Academic Press]].
* {{cite journal|author=Price, Justin J.|authorlink=Justin Jesse Price|title=Topics in orthogonal functions|journal=[[American Mathematical Monthly]]|volume=82|year=1975|pages=594–609|url=http://www.maa.org/programs/maa-awards/writing-awards/topics-in-orthogonal-functions|doi=10.2307/2319690}}
* {{cite journal|author=Price, Justin J.|authorlink=Justin Jesse Price|title=Topics in orthogonal functions|journal=[[American Mathematical Monthly]]|volume=82|year=1975|pages=594–609|url=http://www.maa.org/programs/maa-awards/writing-awards/topics-in-orthogonal-functions|doi=10.2307/2319690}}
* [[Giovanni Sansone]] (translated by Ainsley H. Diamond) (1959) ''Orthogonal Functions'', [[Interscience Publishers]].
* [[Giovanni Sansone]] (translated by Ainsley H. Diamond) (1959) ''Orthogonal Functions'', [[Interscience Publishers]].





Revision as of 21:28, 18 March 2023

गणित में, ऑर्थोगोनल फलन, फलन स्पेस से संबंधित होते हैं जो कि द्विरेखीय फॉर्म से लैस सदिश स्पेस होता है। जब फलन स्पेस में फलन के डोमेन के रूप में अंतराल होता है, तो द्विरेखीय रूप अंतराल पर फलनों के उत्पाद का अभिन्न अंग हो सकता है:

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

माना गैर-शून्य L2-मानदंड के ऑर्थोगोनल फलन का क्रम है। यह क्रम L2-मानदंड के इस क्रम का अनुसरण करके ओर्थोनॉर्मल अनुक्रम बनाता है। परिभाषित L2-मानदंड होने के लिए, अभिन्न को बाध्य होना चाहिए, जो फलनों को वर्ग-अभिन्न होने के लिए प्रतिबंधित करता है।

त्रिकोणमितीय फलन

ऑर्थोगोनल फलन के कई समुच्चय अनुमानित फलनों के लिए मानक आधार बन गए हैं। उदाहरण के लिए, साइन फलन sin nx और sin mx, अंतराल जब और n तथा m धनात्मक पूर्णांक पर ऑर्थोगोनल हैं। तब के लिए:

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

बहुपद

यदि कोई मोनोमियल अनुक्रम , अंतराल पर प्रारंभ होता है और ग्राम-श्मिट प्रक्रिया को प्रयुक्त करता है, फिर लेजेंड्रे बहुपद प्राप्त करता है। ऑर्थोगोनल बहुपदों का एक और संग्रह संबंधित लीजेंड्रे बहुपद हैं।

ऑर्थोगोनल बहुपदों के अध्ययन में वजन फलन सम्मिलित हैं, जो द्विरेखीय फॉर्म में डाले गए हैं:

लैगुएरे बहुपदों के लिए वजन फलन है।

पर भौतिक विज्ञानी और संभाव्यता सिद्धांतकार दोनों ही हर्मिट बहुपदों का उपयोग करते हैं, जहां वजन फलन या है।

पर, चेबीशेव बहुपदों को परिभाषित किया गया है, और वजन या का प्रयोग करें।

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

बाइनरी-वैल्यूड फलन

वाल्श फलन और हार तरंगिकाएँ असतत श्रेणियों के साथ ऑर्थोगोनल फलन के उदाहरण हैं।

तर्कसंगत फलन

x=0.01 और 100 के बीच क्रम n=0,1,2,3 और 4 के चेबीशेव तर्कसंगत फलनों का प्लॉट।

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

अंतर समीकरण में

सीमा स्थितियों के साथ रैखिक अंतर समीकरणों के समाधान को अधिकांशतः ऑर्थोगोनल समाधान फलनों (उपनाम आइजनफलन) के भारित योग के रूप में लिखा जा सकता है, जिससे सामान्यीकृत फोरियर श्रृंखला हो सकती है।

यह भी देखें

संदर्भ

  1. Antoni Zygmund (1935) Trigonometrical Series, page 6, Mathematical Seminar, University of Warsaw
  • George B. Arfken & Hans J. Weber (2005) Mathematical Methods for Physicists, 6th edition, chapter 10: Sturm-Liouville Theory — Orthogonal Functions, Academic Press.
  • Price, Justin J. (1975). "Topics in orthogonal functions". American Mathematical Monthly. 82: 594–609. doi:10.2307/2319690.
  • Giovanni Sansone (translated by Ainsley H. Diamond) (1959) Orthogonal Functions, Interscience Publishers.


बाहरी संबंध