प्लांचरेल प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Theorem in harmonic analysis}} | {{Short description|Theorem in harmonic analysis}} | ||
गणित में, '''प्लांचरेल प्रमेय''' ( जिसे कभी-कभी [[मार्क-एंटोनी पारसेवल]] पहचान कहा जाता है)<ref>{{cite book |author1=Cohen-Tannoudji, Claude |author2=Dupont-Roc, Jacques |author3=Grynberg, Gilbert |title=Photons and Atoms : Introduction to Quantum Electrodynamics |year=1997 |url=https://archive.org/details/photonsatomsintr00cohe_398 |url-access=limited |publisher=Wiley |isbn=0-471-18433-0 |page=[https://archive.org/details/photonsatomsintr00cohe_398/page/n39 11]}}</ref>) और | गणित में, '''प्लांचरेल प्रमेय''' ( जिसे कभी-कभी [[मार्क-एंटोनी पारसेवल]] पहचान कहा जाता है)<ref>{{cite book |author1=Cohen-Tannoudji, Claude |author2=Dupont-Roc, Jacques |author3=Grynberg, Gilbert |title=Photons and Atoms : Introduction to Quantum Electrodynamics |year=1997 |url=https://archive.org/details/photonsatomsintr00cohe_398 |url-access=limited |publisher=Wiley |isbn=0-471-18433-0 |page=[https://archive.org/details/photonsatomsintr00cohe_398/page/n39 11]}}</ref>) और [[हार्मोनिक विश्लेषण]] का परिणाम है, जिसे 1910 में [[मिशेल प्लांचरेल]] द्वारा सिद्ध किया गया था। इसमें कहा गया है इस प्रकार से किसी फलन के [[वर्ग मापांक]] का अभिन्न अंग उसके [[आवृत्ति स्पेक्ट्रम]] के वर्ग मापांक के अभिन्न अंग के समान होता है। अर्थात यदि <math>f(x) </math> वास्तविक रेखा पर फलन है, और <math>\widehat{f}(\xi)</math> तो, इसका आवृत्ति स्पेक्ट्रम है तब | ||
{{Equation box 1 | {{Equation box 1 | ||
|indent = | |indent = | ||
Line 12: | Line 12: | ||
इस प्रकार से अधिक स्पष्ट सूत्रीकरण यह माना जाता है कि यदि कोई फलन ''Lp'' [[एलपी स्पेस|स्पेस]] <math>L^1(\mathbb{R})</math> और <math>L^2(\mathbb{R})</math> दोनों में व्यक्त है तो इसका [[फूरियर रूपांतरण|फ़ोरियर रूपांतरण]] <math>L^2(\mathbb{R})</math> में है और फ़ोरियर ट्रांसफ़ॉर्म मैप ''L''<sup>2</sup> मानदंड के संबंध में एक आइसोमेट्री है। इसका तात्पर्य यह है कि <math>L^1(\mathbb{R}) \cap L^2(\mathbb{R})</math> तक सीमित फूरियर ट्रांसफॉर्म मैप में एक रैखिक आइसोमेट्रिक मैप <math>L^2(\mathbb{R}) \mapsto L^2(\mathbb{R})</math> का एक अनूठा विस्तार है जिसे कभी-कभी प्लांचरेल ट्रांसफॉर्म भी कहा जाता है। यह आइसोमेट्री वास्तव में एक एकात्मक मानचित्र माना जाता | इस प्रकार से अधिक स्पष्ट सूत्रीकरण यह माना जाता है कि यदि कोई फलन ''Lp'' [[एलपी स्पेस|स्पेस]] <math>L^1(\mathbb{R})</math> और <math>L^2(\mathbb{R})</math> दोनों में व्यक्त है तो इसका [[फूरियर रूपांतरण|फ़ोरियर रूपांतरण]] <math>L^2(\mathbb{R})</math> में है और फ़ोरियर ट्रांसफ़ॉर्म मैप ''L''<sup>2</sup> मानदंड के संबंध में एक आइसोमेट्री है। इसका तात्पर्य यह है कि <math>L^1(\mathbb{R}) \cap L^2(\mathbb{R})</math> तक सीमित फूरियर ट्रांसफॉर्म मैप में एक रैखिक आइसोमेट्रिक मैप <math>L^2(\mathbb{R}) \mapsto L^2(\mathbb{R})</math> का एक अनूठा विस्तार है जिसे कभी-कभी प्लांचरेल ट्रांसफॉर्म भी कहा जाता है। यह आइसोमेट्री वास्तव में एक एकात्मक मानचित्र माना जाता है। वास्तव में, इससे द्विघात रूप से एकीकृत फलन के फूरियर परिवर्तनों के बारे में संवाद करना संभव हो जाता है। | ||
जैसा कि ''n''-डायमेंशनल [[ यूक्लिडियन स्थान |यूक्लिडियन स्पेस]] <math>\mathbb{R}^n</math> पर कहा गया है, प्लैंचरेल का प्रमेय मान्य होता | जैसा कि ''n''-डायमेंशनल [[ यूक्लिडियन स्थान |यूक्लिडियन स्पेस]] <math>\mathbb{R}^n</math> पर कहा गया है, प्लैंचरेल का प्रमेय मान्य होता है . यह प्रमेय समान्यतः [[स्थानीय रूप से सघन एबेलियन समूह|स्पेस रूप से सघन एबेलियन समूह]] में भी प्रयुक्त किया जाता है। और प्लांचरेल प्रमेय का संस्करण भी है, जोकी कुछ विधियों मान्यताओं को संतुष्ट करने वाले गैर-कम्यूटेटिव स्पेसकीय रूप से कॉम्पैक्ट समूहों के लिए समझ में आता है। इस प्रकार से यह गैर-कम्यूटेटिव हार्मोनिक विश्लेषण का विषय माना जाता है। | ||
इस प्रकार से फूरियर रूपांतरण के [[एकात्मक परिवर्तन]] को सदैव विज्ञान और इंजीनियरिंग क्षेत्रों में पार्सेवल का प्रमेय कहा जाता है, जोकी प्रथम (किन्तु कम सामान्य) परिणाम पर आधारित था, जिसका उपयोग फूरियर श्रृंखला की एकात्मकता को प्रमाणित करने के लिए किया गया था। | इस प्रकार से फूरियर रूपांतरण के [[एकात्मक परिवर्तन]] को सदैव विज्ञान और इंजीनियरिंग क्षेत्रों में पार्सेवल का प्रमेय कहा जाता है, जोकी प्रथम (किन्तु कम सामान्य) परिणाम पर आधारित था, जिसका उपयोग फूरियर श्रृंखला की एकात्मकता को प्रमाणित करने के लिए किया गया था। | ||
अतः [[ध्रुवीकरण पहचान]] के कारण, कोई व्यक्ति दो फलन के <math>L^2(\mathbb{R})</math> आंतरिक उत्पाद पर प्लांचरेल के प्रमेय को भी प्रयुक्त कर सकता है। अर्थात्, यदि <math>f(x)</math> और <math>g(x)</math> दो <math>L^2(\mathbb{R})</math> फलन हैं, और <math> \mathcal P</math> प्लैंचरेल ट्रांसफॉर्म को दर्शाता है | अतः [[ध्रुवीकरण पहचान]] के कारण, कोई व्यक्ति दो फलन के <math>L^2(\mathbb{R})</math> आंतरिक उत्पाद पर प्लांचरेल के प्रमेय को भी प्रयुक्त कर सकता है। अर्थात्, यदि <math>f(x)</math> और <math>g(x)</math> दो <math>L^2(\mathbb{R})</math> फलन हैं, और <math> \mathcal P</math> प्लैंचरेल ट्रांसफॉर्म को दर्शाता है | ||
<math display="block">\int_{-\infty}^\infty f(x)\overline{g(x)} \, dx = \int_{-\infty}^\infty (\mathcal P f)(\xi) \overline{(\mathcal P g)(\xi)} \, d\xi,</math> | <math display="block">\int_{-\infty}^\infty f(x)\overline{g(x)} \, dx = \int_{-\infty}^\infty (\mathcal P f)(\xi) \overline{(\mathcal P g)(\xi)} \, d\xi,</math> | ||
और यदि <math>f(x)</math> और <math>g(x)</math> इसके अतिरिक्त हैं <math>L^1(\mathbb{R})</math> फलन तब | और यदि <math>f(x)</math> और <math>g(x)</math> इसके अतिरिक्त हैं <math>L^1(\mathbb{R})</math> फलन तब | ||
<math display="block"> (\mathcal P f)(\xi) = \widehat{f}(\xi) = \int_{-\infty}^\infty f(x) e^{-2\pi i \xi x} \, dx ,</math> | <math display="block"> (\mathcal P f)(\xi) = \widehat{f}(\xi) = \int_{-\infty}^\infty f(x) e^{-2\pi i \xi x} \, dx ,</math> | ||
और | और | ||
<math display="block"> (\mathcal P g)(\xi) = \widehat{g}(\xi) = \int_{-\infty}^\infty g(x) e^{-2\pi i \xi x} \, dx ,</math> | <math display="block"> (\mathcal P g)(\xi) = \widehat{g}(\xi) = \int_{-\infty}^\infty g(x) e^{-2\pi i \xi x} \, dx ,</math> | ||
इसलिए | इसलिए | ||
{{Equation box 1 | {{Equation box 1 | ||
|indent = | |indent = | ||
Line 34: | Line 34: | ||
|background colour=#F5FFFA}} | |background colour=#F5FFFA}} | ||
==यह भी देखें== | ==यह भी देखें == | ||
*गोलाकार फलन के लिए प्लांचरेल का प्रमेय | *गोलाकार फलन के लिए प्लांचरेल का प्रमेय | ||
== संदर्भ == | == संदर्भ == |
Revision as of 00:15, 12 July 2023
गणित में, प्लांचरेल प्रमेय ( जिसे कभी-कभी मार्क-एंटोनी पारसेवल पहचान कहा जाता है)[1]) और हार्मोनिक विश्लेषण का परिणाम है, जिसे 1910 में मिशेल प्लांचरेल द्वारा सिद्ध किया गया था। इसमें कहा गया है इस प्रकार से किसी फलन के वर्ग मापांक का अभिन्न अंग उसके आवृत्ति स्पेक्ट्रम के वर्ग मापांक के अभिन्न अंग के समान होता है। अर्थात यदि वास्तविक रेखा पर फलन है, और तो, इसका आवृत्ति स्पेक्ट्रम है तब
इस प्रकार से अधिक स्पष्ट सूत्रीकरण यह माना जाता है कि यदि कोई फलन Lp स्पेस और दोनों में व्यक्त है तो इसका फ़ोरियर रूपांतरण में है और फ़ोरियर ट्रांसफ़ॉर्म मैप L2 मानदंड के संबंध में एक आइसोमेट्री है। इसका तात्पर्य यह है कि तक सीमित फूरियर ट्रांसफॉर्म मैप में एक रैखिक आइसोमेट्रिक मैप का एक अनूठा विस्तार है जिसे कभी-कभी प्लांचरेल ट्रांसफॉर्म भी कहा जाता है। यह आइसोमेट्री वास्तव में एक एकात्मक मानचित्र माना जाता है। वास्तव में, इससे द्विघात रूप से एकीकृत फलन के फूरियर परिवर्तनों के बारे में संवाद करना संभव हो जाता है।
जैसा कि n-डायमेंशनल यूक्लिडियन स्पेस पर कहा गया है, प्लैंचरेल का प्रमेय मान्य होता है . यह प्रमेय समान्यतः स्पेस रूप से सघन एबेलियन समूह में भी प्रयुक्त किया जाता है। और प्लांचरेल प्रमेय का संस्करण भी है, जोकी कुछ विधियों मान्यताओं को संतुष्ट करने वाले गैर-कम्यूटेटिव स्पेसकीय रूप से कॉम्पैक्ट समूहों के लिए समझ में आता है। इस प्रकार से यह गैर-कम्यूटेटिव हार्मोनिक विश्लेषण का विषय माना जाता है।
इस प्रकार से फूरियर रूपांतरण के एकात्मक परिवर्तन को सदैव विज्ञान और इंजीनियरिंग क्षेत्रों में पार्सेवल का प्रमेय कहा जाता है, जोकी प्रथम (किन्तु कम सामान्य) परिणाम पर आधारित था, जिसका उपयोग फूरियर श्रृंखला की एकात्मकता को प्रमाणित करने के लिए किया गया था।
अतः ध्रुवीकरण पहचान के कारण, कोई व्यक्ति दो फलन के आंतरिक उत्पाद पर प्लांचरेल के प्रमेय को भी प्रयुक्त कर सकता है। अर्थात्, यदि और दो फलन हैं, और प्लैंचरेल ट्रांसफॉर्म को दर्शाता है
इसलिए
यह भी देखें
- गोलाकार फलन के लिए प्लांचरेल का प्रमेय
संदर्भ
- ↑ Cohen-Tannoudji, Claude; Dupont-Roc, Jacques; Grynberg, Gilbert (1997). Photons and Atoms : Introduction to Quantum Electrodynamics. Wiley. p. 11. ISBN 0-471-18433-0.
- Plancherel, Michel (1910), "Contribution à l'étude de la représentation d'une fonction arbitraire par des intégrales définies", Rendiconti del Circolo Matematico di Palermo, 30 (1): 289–335, doi:10.1007/BF03014877, S2CID 122509369.
- Dixmier, J. (1969), Les C*-algèbres et leurs Représentations, Gauthier Villars.
- Yosida, K. (1968), Functional Analysis, Springer Verlag.
बाहरी संबंध
- "Plancherel theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Plancherel's Theorem on Mathworld