सामान्यीकृत फूरियर श्रृंखला: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:


{{Short description|Decompositions of inner product spaces into orthonormal bases}}
{{Short description|Decompositions of inner product spaces into orthonormal bases}}
[[गणितीय विश्लेषण]] में, फूरियर श्रृंखला के कई सामान्यीकरण उपयोगी साबित हुए हैं। वे सभी [[आंतरिक उत्पाद स्थान]] के [[ऑर्थोनॉर्मल आधार]] पर विघटन के विशेष मामले हैं। यहां हम वास्तविक रेखा के [[अंतराल (गणित)]] पर परिभाषित [[वर्ग-अभिन्न]] कार्यों पर विचार करते हैं, जो अन्य बातों के अलावा, [[प्रक्षेप]] सिद्धांत के लिए महत्वपूर्ण है।
[[गणितीय विश्लेषण]] में, फूरियर श्रृंखला के कई सामान्यीकरण उपयोगी सिद्ध हुए हैं। वे सभी [[आंतरिक उत्पाद स्थान]] के [[ऑर्थोनॉर्मल आधार]] पर विघटन की विशेष स्तिथि हैं। यहां हम वास्तविक रेखा के [[अंतराल (गणित)]] पर परिभाषित [[वर्ग-अभिन्न]] कार्यों पर विचार करते हैं, जो अन्य बातों के अतिरिक्त, [[प्रक्षेप]] सिद्धांत के लिए महत्वपूर्ण है।


==परिभाषा==
==परिभाषा==


मानों के साथ वर्ग-अभिन्न कार्यों के एक सेट पर विचार करें <math> \mathbb{F} = \Complex</math> या <math>\mathbb{F} = \R</math>,
मानों के साथ वर्ग-अभिन्न कार्यों के समुच्चय पर विचार करें <math> \mathbb{F} = \Complex</math> या <math>\mathbb{F} = \R</math>,<math display="block">\Phi = \{\varphi_n:[a,b] \to \mathbb{F}\}_{n=0}^\infty,</math>जो आंतरिक उत्पाद के लिए [[ ओर्थोगोनल |ओर्थोगोनल]] हैं:<math display="block">\langle f, g\rangle_w = \int_a^b f(x)\,\overline{g}(x)\,w(x)\,dx</math>जहाँ <math>w(x)</math> भार फलन है, और <math>\overline\cdot</math> [[जटिल संयुग्मन]] का प्रतिनिधित्व करता है, अर्थात, <math>\overline{g}(x) = g(x)</math> के लिए <math> \mathbb{F} = \R</math>.
<math display="block">\Phi = \{\varphi_n:[a,b] \to \mathbb{F}\}_{n=0}^\infty,</math>
जो आंतरिक उत्पाद के लिए जोड़ीवार [[ ओर्थोगोनल ]] हैं
<math display="block">\langle f, g\rangle_w = \int_a^b f(x)\,\overline{g}(x)\,w(x)\,dx</math>
कहाँ <math>w(x)</math> एक वज़न फ़ंक्शन है, और <math>\overline\cdot</math> [[जटिल संयुग्मन]] का प्रतिनिधित्व करता है, अर्थात, <math>\overline{g}(x) = g(x)</math> के लिए <math> \mathbb{F} = \R</math>.


एक वर्ग-अभिन्न फ़ंक्शन की सामान्यीकृत फूरियर श्रृंखला <math>f : [a, b] \to \mathbb{F}</math>, Φ के संबंध में, तब है
 
<math display="block">f(x) \sim \sum_{n=0}^\infty c_n\varphi_n(x),</math>
वर्ग-अभिन्न फलन का सामान्यीकृत फूरियर श्रृंखला <math>f : [a, b] \to \mathbb{F}</math>, Φ के संबंध में, तब है:<math display="block">f(x) \sim \sum_{n=0}^\infty c_n\varphi_n(x),</math>जहां गुणांक दिए गए हैं,<math display="block">c_n = {\langle f, \varphi_n \rangle_w\over \|\varphi_n\|_w^2}.</math>यदि Φ पूर्ण समुच्चय है, अर्थात, [a, b] पर सभी वर्ग-अभिन्न फलनों के स्थान का [[ऑर्थोगोनल आधार]], संबंध <math>\sim </math> L<sup>2</sup> स्पेस अर्थ में समानता बन जाता है, अधिक त्रुटिहीन रूप से मॉड्यूलो <math>|\cdot|_w </math> (आवश्यक नहीं कि बिंदुवार, न ही [[लगभग हर जगह|लगभग प्रत्येक स्थान]]) है।
जहां गुणांक दिए गए हैं
<math display="block">c_n = {\langle f, \varphi_n \rangle_w\over \|\varphi_n\|_w^2}.</math>
यदि Φ एक पूर्ण सेट है, यानी, [, बी] पर सभी वर्ग-अभिन्न कार्यों के स्थान का एक [[ऑर्थोगोनल आधार]], एक छोटे ऑर्थोगोनल सेट के विपरीत, संबंध <math>\sim </math> L2 स्पेस|L में समानता हो जाती है<sup>2</sup>बोध, अधिक सटीक रूप से मॉड्यूलो <math>|\cdot|_w </math> (जरूरी नहीं कि बिंदुवार, न ही [[लगभग हर जगह]])


==उदाहरण (फूरियर-लीजेंड्रे श्रृंखला)==
==उदाहरण (फूरियर-लीजेंड्रे श्रृंखला)==
लीजेंड्रे बहुपद स्टर्म-लिउविल सिद्धांत का समाधान हैं|स्टर्म-लिउविल समस्या
लीजेंड्रे बहुपद स्टर्म-लिउविल सिद्धांत का समाधान हैं:


: <math> \left((1-x^2)P_n'(x)\right)'+n(n+1)P_n(x)=0</math>
: <math> \left((1-x^2)P_n'(x)\right)'+n(n+1)P_n(x)=0</math>
और स्टर्म-लिउविले सिद्धांत के कारण, ये बहुपद समस्या के स्वदेशी कार्य हैं और इकाई भार के साथ उपरोक्त आंतरिक उत्पाद के संबंध में ऑर्थोगोनल समाधान हैं। तो हम लीजेंड्रे बहुपदों को शामिल करते हुए एक सामान्यीकृत फूरियर श्रृंखला (जिसे फूरियर-लीजेंडर श्रृंखला के रूप में जाना जाता है) बना सकते हैं, और
और स्टर्म-लिउविले सिद्धांत के कारण, ये बहुपद समस्या के स्वदेशी फलन हैं और इकाई भार के साथ उपरोक्त आंतरिक उत्पाद के संबंध में ऑर्थोगोनल समाधान हैं। तो हम लीजेंड्रे बहुपदों को सम्मिलित करते हुए सामान्यीकृत फूरियर श्रृंखला (जिसे फूरियर-लीजेंडर श्रृंखला के रूप में जाना जाता है) बना सकते हैं, और


:<math>f(x) \sim \sum_{n=0}^\infty c_n P_n(x),</math>
:<math>f(x) \sim \sum_{n=0}^\infty c_n P_n(x),</math>
:<math>c_n = {\langle f, P_n \rangle_w\over \|P_n\|_w^2}</math>
:<math>c_n = {\langle f, P_n \rangle_w\over \|P_n\|_w^2}</math>
उदाहरण के तौर पर, आइए हम [−1,1] पर f(x)=cosxx के लिए फूरियर-लीजेंड्रे श्रृंखला की गणना करें। अब,
उदाहरण, आइए हम [−1,1] पर ''f''(''x'') = cos ''x'' के लिए फूरियर-लीजेंड्रे श्रृंखला की गणना करें। अब,


:<math>
:<math>
Line 34: Line 27:
\end{align}
\end{align}
</math>
</math>
और इन शर्तों को शामिल करने वाली एक श्रृंखला
और इन नियमों को सम्मिलित करने वाली श्रृंखला


:<math>\begin{align}c_2P_2(x)+c_1P_1(x)+c_0P_0(x)&= {5 \over 2} (6 \cos{1} - 4\sin{1})\left({3x^2 - 1 \over 2}\right) + \sin1\\
:<math>\begin{align}c_2P_2(x)+c_1P_1(x)+c_0P_0(x)&= {5 \over 2} (6 \cos{1} - 4\sin{1})\left({3x^2 - 1 \over 2}\right) + \sin1\\
&= \left({45 \over 2} \cos{1} - 15 \sin{1}\right)x^2+6 \sin{1} - {15 \over 2}\cos{1}\end{align}</math>
&= \left({45 \over 2} \cos{1} - 15 \sin{1}\right)x^2+6 \sin{1} - {15 \over 2}\cos{1}\end{align}</math>
जो cos x से लगभग 0.003, लगभग 0 से भिन्न है। ऐसी फूरियर-लीजेंड्रे श्रृंखला का उपयोग करना फायदेमंद हो सकता है क्योंकि eigenfunctions सभी बहुपद हैं और इसलिए अभिन्न अंग हैं और इस प्रकार गुणांक की गणना करना आसान है।
जो cos x से लगभग 0.003, लगभग 0 से भिन्न है। ऐसी फूरियर-लीजेंड्रे श्रृंखला का उपयोग करना लाभ हो सकता है क्योंकि स्वयं के फलन सभी बहुपद हैं और इसलिए अभिन्न अंग हैं और इस प्रकार गुणांक की गणना करना सरल है।


==गुणांक प्रमेय==
==गुणांक प्रमेय==
गुणांक पर कुछ प्रमेय c<sub>''n''</sub> शामिल करना:
गुणांक c<sub>''n''</sub> पर कुछ प्रमेयों में सम्मिलित करना:


===बेसेल की असमानता===
===बेसेल की असमानता===
Line 47: Line 40:
:<math>\sum_{n=0}^\infty |c_n|^2\leq\int_a^b|f(x)|^2w(x)\,dx.</math>
:<math>\sum_{n=0}^\infty |c_n|^2\leq\int_a^b|f(x)|^2w(x)\,dx.</math>


'''पारसेवल का प्रमेय'''


===पारसेवल का प्रमेय===
यदि Φ पूर्ण समुच्चय है, तो
यदि Φ एक पूर्ण समुच्चय है, तो
:<math> \sum_{n=0}^\infty |c_n|^2 = \int_a^b |f(x)|^2w(x)\, dx.</math>
:<math> \sum_{n=0}^\infty |c_n|^2 = \int_a^b |f(x)|^2w(x)\, dx.</math>


 
== यह भी देखें ==
==यह भी देखें==
*बनाच स्थान
*बनाच स्थान
*[[eigenfunctions]]
*[[eigenfunctions|स्वयं के फलन]]
*[[फ्रैक्शनल फूरियर रूपांतरण]]
*[[फ्रैक्शनल फूरियर रूपांतरण]]
*[[कार्य स्थान]]
*[[कार्य स्थान|फलन स्थान]]
*[[हिल्बर्ट स्थान]]
*[[हिल्बर्ट स्थान]]
*[[न्यूनतम-वर्ग वर्णक्रमीय विश्लेषण]]
*[[न्यूनतम-वर्ग वर्णक्रमीय विश्लेषण]]
*[[ऑर्थोगोनल फ़ंक्शन]]
*[[ऑर्थोगोनल फ़ंक्शन]]
*रूढ़िवादिता
*ओर्थोगोनालिटी
*[[टोपोलॉजिकल वेक्टर स्पेस]]
*[[टोपोलॉजिकल वेक्टर स्पेस]]
*[[सदिश स्थल]]
*[[सदिश स्थल]]

Revision as of 18:12, 9 July 2023

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

परिभाषा

मानों के साथ वर्ग-अभिन्न कार्यों के समुच्चय पर विचार करें या ,

जो आंतरिक उत्पाद के लिए ओर्थोगोनल हैं:
जहाँ भार फलन है, और जटिल संयुग्मन का प्रतिनिधित्व करता है, अर्थात, के लिए .


वर्ग-अभिन्न फलन का सामान्यीकृत फूरियर श्रृंखला , Φ के संबंध में, तब है:

जहां गुणांक दिए गए हैं,
यदि Φ पूर्ण समुच्चय है, अर्थात, [a, b] पर सभी वर्ग-अभिन्न फलनों के स्थान का ऑर्थोगोनल आधार, संबंध L2 स्पेस अर्थ में समानता बन जाता है, अधिक त्रुटिहीन रूप से मॉड्यूलो (आवश्यक नहीं कि बिंदुवार, न ही लगभग प्रत्येक स्थान) है।

उदाहरण (फूरियर-लीजेंड्रे श्रृंखला)

लीजेंड्रे बहुपद स्टर्म-लिउविल सिद्धांत का समाधान हैं:

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

उदाहरण, आइए हम [−1,1] पर f(x) = cos x के लिए फूरियर-लीजेंड्रे श्रृंखला की गणना करें। अब,

और इन नियमों को सम्मिलित करने वाली श्रृंखला

जो cos x से लगभग 0.003, लगभग 0 से भिन्न है। ऐसी फूरियर-लीजेंड्रे श्रृंखला का उपयोग करना लाभ हो सकता है क्योंकि स्वयं के फलन सभी बहुपद हैं और इसलिए अभिन्न अंग हैं और इस प्रकार गुणांक की गणना करना सरल है।

गुणांक प्रमेय

गुणांक cn पर कुछ प्रमेयों में सम्मिलित करना:

बेसेल की असमानता

पारसेवल का प्रमेय

यदि Φ पूर्ण समुच्चय है, तो

यह भी देखें

श्रेणी:फूरियर विश्लेषण