फूरियर व्युत्क्रम प्रमेय: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 15: | Line 15: | ||
:<math>\mathcal{F}^{-1}=\mathcal{F}R=R\mathcal{F}.</math> | :<math>\mathcal{F}^{-1}=\mathcal{F}R=R\mathcal{F}.</math> | ||
प्रमेय धारण करता है यदि दोनों <math>f</math> और इसके फूरियर रूपांतरण पूरी तरह से | प्रमेय धारण करता है यदि दोनों <math>f</math> और इसके फूरियर रूपांतरण पूरी तरह से समाकलन फलन हैं (लेबेसेग एकीकरण में) और <math>f</math> बिंदु <math>x</math> पर सतत है, हालाँकि, अधिक सामान्य परिस्थितियों में भी फूरियर व्युत्क्रम प्रमेय के संस्करण लागू होते हैं। इन मामलों में उपरोक्त समाकल सामान्य अर्थों में अभिसरित नहीं हो सकते हैं। | ||
== कथन == | == कथन == | ||
इस खंड में हम मानते हैं <math>f</math> एक | इस खंड में हम मानते हैं <math>f</math> एक समाकलन सतत फलन है। फूरियर रूपांतरण सम्मेलन का प्रयोग करें | ||
:<math>(\mathcal{F}f)(\xi):=\int_{\mathbb{R}^n} e^{-2\pi iy\cdot\xi} \, f(y)\,dy.</math> | :<math>(\mathcal{F}f)(\xi):=\int_{\mathbb{R}^n} e^{-2\pi iy\cdot\xi} \, f(y)\,dy.</math> | ||
इसके अलावा, हम मानते हैं कि फूरियर रूपांतरण भी पूर्णांक है। | इसके अलावा, हम मानते हैं कि फूरियर रूपांतरण भी पूर्णांक है। | ||
'''व्युत्क्रम फूरियर रूपांतरण समाकलन के रूप में''' | |||
फूरियर व्युत्क्रम प्रमेय का सबसे | फूरियर व्युत्क्रम प्रमेय का सबसे सामान्य कथन व्युत्क्रम परिवर्तन को एक समाकलन के रूप में बताना है। किसी भी समाकलन फलन के लिए <math>g</math> और सभी <math>x \in \mathbb R^n</math> समूह | ||
:<math>\mathcal{F}^{-1}g(x):=\int_{\mathbb{R}^n} e^{2\pi ix\cdot\xi} \, g(\xi)\,d\xi.</math> | :<math>\mathcal{F}^{-1}g(x):=\int_{\mathbb{R}^n} e^{2\pi ix\cdot\xi} \, g(\xi)\,d\xi.</math> | ||
Line 33: | Line 33: | ||
:<math>\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x).</math> | :<math>\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x).</math> | ||
=== ''' फूरियर समाकलन प्रमेय''' === | |||
=== फूरियर | |||
प्रमेय के रूप में पुनर्स्थापित किया जा सकता है | प्रमेय के रूप में पुनर्स्थापित किया जा सकता है | ||
Line 43: | Line 41: | ||
:<math>f(x)=\int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \cos (2\pi (x-y)\cdot\xi) \, f(y)\,dy\,d\xi.</math> | :<math>f(x)=\int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \cos (2\pi (x-y)\cdot\xi) \, f(y)\,dy\,d\xi.</math> | ||
==== फ्लिप परिचालक के पदों में व्युत्क्रम रूपांतरण ==== | |||
किसी समारोह के लिए <math>g</math> फ्लिप परिचालक <math>R</math> को परिभाषित करें<ref group="note">An [[operator (mathematics)|operator]] is a transformation that maps functions to functions. The flip operator, the Fourier transform, the inverse Fourier transform and the identity transform are all examples of operators.</ref> | |||
=== फ्लिप | |||
किसी समारोह के लिए <math>g</math> फ्लिप | |||
:<math>Rg(x):=g(-x).</math> | :<math>Rg(x):=g(-x).</math> | ||
तब हम इसके | तब हम इसके अतिरिक्त परिभाषित कर सकते हैं | ||
:<math>\mathcal{F}^{-1}f := R\mathcal{F}f = \mathcal{F}Rf.</math> | :<math>\mathcal{F}^{-1}f := R\mathcal{F}f = \mathcal{F}Rf.</math> | ||
यह फूरियर रूपांतरण और फ्लिप | यह फूरियर रूपांतरण और फ्लिप परिचालक की परिभाषा से स्पष्ट है कि दोनों <math>R\mathcal{F}f</math> तथा <math>\mathcal{F}Rf</math> की समाकलन परिभाषा से मेल खाता है <math>\mathcal{F}^{-1}f</math>, और विशेष रूप से एक दूसरे के बराबर हैं और संतुष्ट हैं <math>\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x)</math>. | ||
तब से <math>Rf=R\mathcal{F}^{-1}\mathcal{F}f =RR \mathcal{FF}f</math> अपने पास <math>R=\mathcal{F}^2</math> तथा | तब से <math>Rf=R\mathcal{F}^{-1}\mathcal{F}f =RR \mathcal{FF}f</math> अपने पास <math>R=\mathcal{F}^2</math> तथा | ||
Line 60: | Line 55: | ||
=== | === द्वी पक्ष व्युत्क्रम === | ||
ऊपर वर्णित फूरियर व्युत्क्रम प्रमेय का रूप, | ऊपर वर्णित फूरियर व्युत्क्रम प्रमेय का सामान्य रूप, इस प्रकार का है, | ||
:<math>\mathcal{F}^{-1}(\mathcal{F}f)(x) = f(x).</math> | :<math>\mathcal{F}^{-1}(\mathcal{F}f)(x) = f(x).</math> | ||
Line 76: | Line 71: | ||
& =\mathcal{F}(\mathcal{F}^{-1}f)(x). | & =\mathcal{F}(\mathcal{F}^{-1}f)(x). | ||
\end{align}</math> | \end{align}</math> | ||
वैकल्पिक रूप से, इसे | वैकल्पिक रूप से, इसे <math>\mathcal{F}^{-1}f</math> और फ्लिप परिचालक के मध्य संबंध से देखा जा सकता है और साथ ही साथ फलन संरचना की सहयोगीता के रूप में भी देखा जा सकता है इस प्रकार, चूंकि | ||
:<math>f = \mathcal{F}^{-1}(\mathcal{F}f) = \mathcal{F}R\mathcal{F}f = \mathcal{F} (\mathcal{F}^{-1}f).</math> | :<math>f = \mathcal{F}^{-1}(\mathcal{F}f) = \mathcal{F}R\mathcal{F}f = \mathcal{F} (\mathcal{F}^{-1}f).</math> | ||
Line 87: | Line 82: | ||
=== श्वार्ट्ज फलन === | === श्वार्ट्ज फलन === | ||
फूरियर व्युत्क्रम प्रमेय सभी श्वार्ट्ज फलनों के लिए मान्य है (मोटे तौर पर बोलना, सुचारू फलन जो जल्दी से क्षय हो जाते हैं और जिनके सभी डेरिवेटिव जल्दी से क्षय हो जाते हैं)। इस स्थिति का लाभ यह है कि यह फलन के विषय में एक प्राथमिक प्रत्यक्ष कथन है (इसके फूरियर रूपांतरण पर एक शर्त लगाने के विपरीत), और | फूरियर व्युत्क्रम प्रमेय सभी श्वार्ट्ज फलनों के लिए मान्य है (मोटे तौर पर बोलना, सुचारू फलन जो जल्दी से क्षय हो जाते हैं और जिनके सभी डेरिवेटिव जल्दी से क्षय हो जाते हैं)। इस स्थिति का लाभ यह है कि यह फलन के विषय में एक प्राथमिक प्रत्यक्ष कथन है (इसके फूरियर रूपांतरण पर एक शर्त लगाने के विपरीत), और समाकलन जो फूरियर रूपांतरण और इसके व्युत्क्रम को परिभाषित करता है, बिल्कुल पूर्णांक हैं। प्रमेय के इस संस्करण का उपयोग टेम्पर्ड वितरण के लिए फूरियर व्युत्क्रम प्रमेय के प्रमाण में किया जाता है (नीचे देखें)। | ||
=== पूर्णांक फूरियर रूपांतरण के साथ एकीकृत फलन === | === पूर्णांक फूरियर रूपांतरण के साथ एकीकृत फलन === | ||
Line 109: | Line 104: | ||
; टुकड़ों में सतत; एक आयाम | ; टुकड़ों में सतत; एक आयाम | ||
यदि फलन एक आयाम में पूरी तरह से पूर्णांक है (अर्थात <math> f \in L^1(\mathbb R)</math>) लेकिन केवल टुकड़ों में सतत तो फूरियर व्युत्क्रम प्रमेय का एक संस्करण अभी भी कायम है। इस मामले में व्युत्क्रम फूरियर रूपांतरण में | यदि फलन एक आयाम में पूरी तरह से पूर्णांक है (अर्थात <math> f \in L^1(\mathbb R)</math>) लेकिन केवल टुकड़ों में सतत तो फूरियर व्युत्क्रम प्रमेय का एक संस्करण अभी भी कायम है। इस मामले में व्युत्क्रम फूरियर रूपांतरण में समाकलन को एक तेज कट ऑफ फलन के बजाय एक चिकनी की सहायता से परिभाषित किया गया है; विशेष रूप से हम परिभाषित करते हैं | ||
:<math>\mathcal{F}^{-1}g(x):=\lim_{R\to\infty}\int_{\mathbb{R}} \varphi(\xi/R)\,e^{2\pi ix\xi}\,g(\xi)\,d\xi,\qquad\varphi(\xi):=e^{-\xi^2}.</math> | :<math>\mathcal{F}^{-1}g(x):=\lim_{R\to\infty}\int_{\mathbb{R}} \varphi(\xi/R)\,e^{2\pi ix\xi}\,g(\xi)\,d\xi,\qquad\varphi(\xi):=e^{-\xi^2}.</math> | ||
Line 130: | Line 125: | ||
=== वर्ग पूर्णांक फलन === | === वर्ग पूर्णांक फलन === | ||
इस मामले में फूरियर रूपांतरण को सीधे एक | इस मामले में फूरियर रूपांतरण को सीधे एक समाकलन के रूप में परिभाषित नहीं किया जा सकता है क्योंकि यह बिल्कुल अभिसरण नहीं हो सकता है, इसलिए इसे घनत्व तर्क द्वारा परिभाषित किया गया है (Fourier_transform#On_Lp_spaces देखें)। उदाहरण के लिए, लगाना | ||
:<math>g_k(\xi):=\int_{\{y\in\mathbb{R}^n:\left\vert y\right\vert\leq k\}} e^{-2\pi iy\cdot\xi} \, f(y)\,dy,\qquad k\in\mathbb{N},</math> | :<math>g_k(\xi):=\int_{\{y\in\mathbb{R}^n:\left\vert y\right\vert\leq k\}} e^{-2\pi iy\cdot\xi} \, f(y)\,dy,\qquad k\in\mathbb{N},</math> | ||
हम सेट कर सकते हैं <math>\textstyle\mathcal{F}f := \lim_{k\to\infty}g_k</math> जहां सीमा में लिया जाता है <math>L^2</math>-आदर्श। व्युत्क्रम परिवर्तन को घनत्व द्वारा उसी तरह परिभाषित किया जा सकता है या इसे फूरियर रूपांतरण और फ्लिप | हम सेट कर सकते हैं <math>\textstyle\mathcal{F}f := \lim_{k\to\infty}g_k</math> जहां सीमा में लिया जाता है <math>L^2</math>-आदर्श। व्युत्क्रम परिवर्तन को घनत्व द्वारा उसी तरह परिभाषित किया जा सकता है या इसे फूरियर रूपांतरण और फ्लिप परिचालक के संदर्भ में परिभाषित किया जा सकता है। हमारे पास तब है | ||
:<math>f(x)=\mathcal{F}(\mathcal{F}^{-1}f)(x)=\mathcal{F}^{-1}(\mathcal{F}f)(x)</math> एलपी अंतरिक्ष में। एक आयाम (और केवल एक आयाम) में, यह भी दिखाया जा सकता है कि यह लगभग हर एक के लिए अभिसरण करता है {{math|''x''∈ℝ}}- यह कार्लसन का प्रमेय है, लेकिन माध्य वर्ग मानदंड में अभिसरण की तुलना में सिद्ध करना बहुत कठिन है। | :<math>f(x)=\mathcal{F}(\mathcal{F}^{-1}f)(x)=\mathcal{F}^{-1}(\mathcal{F}f)(x)</math> एलपी अंतरिक्ष में। एक आयाम (और केवल एक आयाम) में, यह भी दिखाया जा सकता है कि यह लगभग हर एक के लिए अभिसरण करता है {{math|''x''∈ℝ}}- यह कार्लसन का प्रमेय है, लेकिन माध्य वर्ग मानदंड में अभिसरण की तुलना में सिद्ध करना बहुत कठिन है। | ||
Line 140: | Line 135: | ||
फूरियर रूपांतरण फूरियर रूपांतरण # टेम्पर्ड_डिस्ट्रीब्यूशन <math>\mathcal{S}'(\mathbb{R}^n)</math> श्वार्ट्ज फलनों के स्थान पर फूरियर रूपांतरण के द्वैत द्वारा। विशेष तौर पर <math>f\in\mathcal{S}'(\mathbb{R}^n)</math> और सभी परीक्षण फलनों के लिए <math>\varphi\in\mathcal S(\mathbb{R}^n)</math> हमलोग तैयार हैं | फूरियर रूपांतरण फूरियर रूपांतरण # टेम्पर्ड_डिस्ट्रीब्यूशन <math>\mathcal{S}'(\mathbb{R}^n)</math> श्वार्ट्ज फलनों के स्थान पर फूरियर रूपांतरण के द्वैत द्वारा। विशेष तौर पर <math>f\in\mathcal{S}'(\mathbb{R}^n)</math> और सभी परीक्षण फलनों के लिए <math>\varphi\in\mathcal S(\mathbb{R}^n)</math> हमलोग तैयार हैं | ||
:<math>\langle \mathcal{F}f,\varphi\rangle := \langle f,\mathcal{F}\varphi\rangle,</math> | :<math>\langle \mathcal{F}f,\varphi\rangle := \langle f,\mathcal{F}\varphi\rangle,</math> | ||
कहाँ पे <math>\mathcal{F}\varphi</math> | कहाँ पे <math>\mathcal{F}\varphi</math> समाकलन सूत्र का उपयोग करके परिभाषित किया गया है। यदि <math>f \in L^1(\mathbb R^n) \cap L^2(\mathbb R^n)</math> तो यह सामान्य परिभाषा से सहमत है। हम व्युत्क्रम परिवर्तन को परिभाषित कर सकते हैं <math>\mathcal{F}^{-1}\colon\mathcal{S}'(\mathbb{R}^n)\to\mathcal{S}'(\mathbb{R}^n)</math>, या तो उसी तरह श्वार्ट्ज फलनों पर व्युत्क्रम परिवर्तन से द्वैत द्वारा, या इसे फ्लिप परिचालक के संदर्भ में परिभाषित करके (जहां फ्लिप परिचालक द्वैत द्वारा परिभाषित किया गया है)। हमारे पास तब है | ||
:<math>\mathcal{F}\mathcal{F}^{-1} = \mathcal{F}^{-1}\mathcal{F} = \operatorname{Id}_{\mathcal{S}'(\mathbb{R}^n)}.</math> | :<math>\mathcal{F}\mathcal{F}^{-1} = \mathcal{F}^{-1}\mathcal{F} = \operatorname{Id}_{\mathcal{S}'(\mathbb{R}^n)}.</math> | ||
Line 162: | Line 157: | ||
[[File:Commutative diagram illustrating problem solving via the Fourier transform.svg|thumb|400px|फूरियर रूपांतरण लागू होने पर कुछ समस्याएं, जैसे कुछ अंतर समीकरण, हल करना आसान हो जाता है। उस मामले में व्युत्क्रमफूरियर रूपांतरण का उपयोग करके मूल समस्या का समाधान पुनर्प्राप्त किया जाता है।]]फूरियर रूपांतरण#अनुप्रयोगों में फूरियर व्युत्क्रमप्रमेय अक्सर एक महत्वपूर्ण भूमिका निभाता है। कई स्थितियों में मूल रणनीति फूरियर रूपांतरण को लागू करना है, कुछ संचालन या सरलीकरण करना है, और फिर व्युत्क्रमफूरियर रूपांतरण लागू करना है। | [[File:Commutative diagram illustrating problem solving via the Fourier transform.svg|thumb|400px|फूरियर रूपांतरण लागू होने पर कुछ समस्याएं, जैसे कुछ अंतर समीकरण, हल करना आसान हो जाता है। उस मामले में व्युत्क्रमफूरियर रूपांतरण का उपयोग करके मूल समस्या का समाधान पुनर्प्राप्त किया जाता है।]]फूरियर रूपांतरण#अनुप्रयोगों में फूरियर व्युत्क्रमप्रमेय अक्सर एक महत्वपूर्ण भूमिका निभाता है। कई स्थितियों में मूल रणनीति फूरियर रूपांतरण को लागू करना है, कुछ संचालन या सरलीकरण करना है, और फिर व्युत्क्रमफूरियर रूपांतरण लागू करना है। | ||
अधिक संक्षेप में, फूरियर व्युत्क्रमप्रमेय एक | अधिक संक्षेप में, फूरियर व्युत्क्रमप्रमेय एक परिचालक (गणित) के रूप में फूरियर रूपांतरण के विषय में एक बयान है (फूरियर रूपांतरण#Fourier_transform_on_function_spaces देखें)। उदाहरण के लिए, फूरियर व्युत्क्रम प्रमेय पर <math>f \in L^2(\mathbb R^n)</math> दिखाता है कि फूरियर रूपांतरण एक एकात्मक संकारक है <math>L^2(\mathbb R^n)</math>. | ||
== व्युत्क्रमपरिवर्तन के गुण == | == व्युत्क्रमपरिवर्तन के गुण == | ||
व्युत्क्रमफूरियर रूपांतरण मूल फूरियर रूपांतरण के समान ही है: जैसा कि ऊपर चर्चा की गई है, यह केवल फ्लिप | व्युत्क्रमफूरियर रूपांतरण मूल फूरियर रूपांतरण के समान ही है: जैसा कि ऊपर चर्चा की गई है, यह केवल फ्लिप परिचालक के आवेदन में भिन्न है। इस कारण से फूरियर रूपांतरण #Properties_of_the_Fourier_transform व्युत्क्रम फूरियर रूपांतरण के लिए होल्ड करता है, जैसे कि कनवल्शन प्रमेय और रीमैन-लेबेस्गु लेम्मा। | ||
फूरियर रूपांतरण # महत्वपूर्ण फूरियर रूपांतरणों की तालिकाएं आसानी से व्युत्क्रमफूरियर रूपांतरण के लिए फ्लिप | फूरियर रूपांतरण # महत्वपूर्ण फूरियर रूपांतरणों की तालिकाएं आसानी से व्युत्क्रमफूरियर रूपांतरण के लिए फ्लिप परिचालक के साथ लुक-अप फलन की रचना करके उपयोग की जा सकती हैं। उदाहरण के लिए, रेक्ट फंक्शन के फूरियर रूपांतरण को देखते हुए हम देखते हैं | ||
<math display="block">f(x) = \operatorname{rect}(a x) \quad \Rightarrow \quad (\mathcal{F}f)(\xi)=\frac{1}{|a|} \operatorname{sinc}\left(\frac{\xi}{a}\right),</math> | <math display="block">f(x) = \operatorname{rect}(a x) \quad \Rightarrow \quad (\mathcal{F}f)(\xi)=\frac{1}{|a|} \operatorname{sinc}\left(\frac{\xi}{a}\right),</math> | ||
तो व्युत्क्रमपरिवर्तन के लिए संगत तथ्य है | तो व्युत्क्रमपरिवर्तन के लिए संगत तथ्य है |
Revision as of 09:00, 8 December 2022
गणित की फूरियर व्युत्क्रम प्रमेय के अनुसार ,कई प्रकार के फलनों के लिए किसी फलन को उसके फूरियर रूपांतरण से पुनर्प्राप्त करना संभव है। सहज रूप से इसे इस कथन के रूप में देखा जा सकता है कि यदि हम तरंगों की सभी आवृत्ति और कला (तरंगों) की जानकारी के विषय में जानते हैं तो हम मूल तरंग का ठीक-ठीक पुनर्निर्माण कर सकते हैं।
प्रमेय कहता है कि यदि हमारे पास कोई फलन है कुछ शर्तों को पूरा करते हैं, और हम फूरियर रूपांतरण के लिए अन्य सम्मेलनों का उपयोग करते हैं
फिर
दूसरे शब्दों में, प्रमेय कहता है कि
इस अंतिम समीकरण को फूरियर समाकलन प्रमेय कहा जाता है।
प्रमेय को बताने का दूसरा तरीका यह है कि अगर फ्लिप परिचालक है यानी , फिर
प्रमेय धारण करता है यदि दोनों और इसके फूरियर रूपांतरण पूरी तरह से समाकलन फलन हैं (लेबेसेग एकीकरण में) और बिंदु पर सतत है, हालाँकि, अधिक सामान्य परिस्थितियों में भी फूरियर व्युत्क्रम प्रमेय के संस्करण लागू होते हैं। इन मामलों में उपरोक्त समाकल सामान्य अर्थों में अभिसरित नहीं हो सकते हैं।
कथन
इस खंड में हम मानते हैं एक समाकलन सतत फलन है। फूरियर रूपांतरण सम्मेलन का प्रयोग करें
इसके अलावा, हम मानते हैं कि फूरियर रूपांतरण भी पूर्णांक है।
व्युत्क्रम फूरियर रूपांतरण समाकलन के रूप में
फूरियर व्युत्क्रम प्रमेय का सबसे सामान्य कथन व्युत्क्रम परिवर्तन को एक समाकलन के रूप में बताना है। किसी भी समाकलन फलन के लिए और सभी समूह
फिर सभी के लिए अपने पास
फूरियर समाकलन प्रमेय
प्रमेय के रूप में पुनर्स्थापित किया जा सकता है
यदि f वास्तविक मूल्य है तो उपरोक्त के प्रत्येक पक्ष का वास्तविक भाग लेने से हम प्राप्त करते हैं
फ्लिप परिचालक के पदों में व्युत्क्रम रूपांतरण
किसी समारोह के लिए फ्लिप परिचालक को परिभाषित करें[note 1]
तब हम इसके अतिरिक्त परिभाषित कर सकते हैं
यह फूरियर रूपांतरण और फ्लिप परिचालक की परिभाषा से स्पष्ट है कि दोनों तथा की समाकलन परिभाषा से मेल खाता है , और विशेष रूप से एक दूसरे के बराबर हैं और संतुष्ट हैं .
तब से अपने पास तथा
द्वी पक्ष व्युत्क्रम
ऊपर वर्णित फूरियर व्युत्क्रम प्रमेय का सामान्य रूप, इस प्रकार का है,
दूसरे शब्दों में, फूरियर रूपांतरण के लिए एक बायां प्रतिलोम है। हालाँकि यह फूरियर रूपांतरण के लिए एक सही व्युत्क्रम भी है अर्थात
तब से के समान है , यह फूरियर व्युत्क्रम प्रमेय (बदलते चर) से बहुत आसानी से अनुसरण करता है ):
वैकल्पिक रूप से, इसे और फ्लिप परिचालक के मध्य संबंध से देखा जा सकता है और साथ ही साथ फलन संरचना की सहयोगीता के रूप में भी देखा जा सकता है इस प्रकार, चूंकि
फलन पर शर्तें
जब भौतिकी और इंजीनियरिंग में उपयोग किया जाता है, तो फूरियर व्युत्क्रमप्रमेय अक्सर इस धारणा के तहत प्रयोग किया जाता है कि सब कुछ अच्छी तरह से व्यवहार करता है। गणित में इस तरह के अनुमानी तर्कों की अनुमति नहीं है, और फूरियर व्युत्क्रम प्रमेय में एक स्पष्ट विनिर्देश शामिल है कि किस वर्ग के फलनों की अनुमति दी जा रही है। हालांकि, फूरियर व्युत्क्रम प्रमेय के इतने सारे रूपों पर विचार करने के लिए फलनों का कोई सर्वश्रेष्ठ वर्ग मौजूद नहीं है, यद्यपि संगत निष्कर्ष के साथ।
श्वार्ट्ज फलन
फूरियर व्युत्क्रम प्रमेय सभी श्वार्ट्ज फलनों के लिए मान्य है (मोटे तौर पर बोलना, सुचारू फलन जो जल्दी से क्षय हो जाते हैं और जिनके सभी डेरिवेटिव जल्दी से क्षय हो जाते हैं)। इस स्थिति का लाभ यह है कि यह फलन के विषय में एक प्राथमिक प्रत्यक्ष कथन है (इसके फूरियर रूपांतरण पर एक शर्त लगाने के विपरीत), और समाकलन जो फूरियर रूपांतरण और इसके व्युत्क्रम को परिभाषित करता है, बिल्कुल पूर्णांक हैं। प्रमेय के इस संस्करण का उपयोग टेम्पर्ड वितरण के लिए फूरियर व्युत्क्रम प्रमेय के प्रमाण में किया जाता है (नीचे देखें)।
पूर्णांक फूरियर रूपांतरण के साथ एकीकृत फलन
फूरियर व्युत्क्रम प्रमेय उन सभी सतत फलनों के लिए है जो बिल्कुल पूर्णांक हैं (अर्थात ) बिल्कुल पूर्णांक फूरियर रूपांतरण के साथ। इसमें श्वार्ट्ज के सभी फलन शामिल हैं, इसलिए यह प्रमेय का पिछले एक से अधिक मजबूत रूप है। यह शर्त वही है जो ऊपर #Statement में प्रयोग की गई है।
एक मामूली संस्करण उस स्थिति को छोड़ना है जो function सतत हो लेकिन फिर भी आवश्यकता है कि यह और इसका फूरियर रूपांतरण पूरी तरह से एकीकृत हो। फिर लगभग हर जगह जहां g एक सतत फलन है, और हरएक के लिए .
एक आयाम में एकीकृत फलन
- टुकड़ा-टुकड़ा चिकना; एक आयाम
यदि फलन एक आयाम में पूरी तरह से पूर्णांक है (अर्थात ) और टुकड़े की तरह चिकनी है तो फूरियर व्युत्क्रमप्रमेय का एक संस्करण धारण करता है। इस मामले में हम परिभाषित करते हैं
फिर सभी के लिए
अर्थात। की बाएँ और दाएँ सीमा के औसत के बराबर है पर . जिन बिंदुओं पर सतत है यह बस बराबर है .
प्रमेय के इस रूप का एक उच्च-आयामी अनुरूप भी है, लेकिन फोलैंड (1992) के अनुसार यह नाजुक है और बहुत उपयोगी नहीं है।
- टुकड़ों में सतत; एक आयाम
यदि फलन एक आयाम में पूरी तरह से पूर्णांक है (अर्थात ) लेकिन केवल टुकड़ों में सतत तो फूरियर व्युत्क्रम प्रमेय का एक संस्करण अभी भी कायम है। इस मामले में व्युत्क्रम फूरियर रूपांतरण में समाकलन को एक तेज कट ऑफ फलन के बजाय एक चिकनी की सहायता से परिभाषित किया गया है; विशेष रूप से हम परिभाषित करते हैं
प्रमेय का निष्कर्ष तब वही होता है जैसा ऊपर चर्चा की गई टुकड़े-टुकड़े चिकने मामले के लिए होता है।
- सतत; किसी भी संख्या में आयाम
यदि सतत और पूर्णतः समाकलनीय है तब फूरियर व्युत्क्रम प्रमेय अभी भी तब तक कायम रहता है जब तक कि हम फिर से व्युत्क्रम परिवर्तन को एक चिकने कट ऑफ फंक्शन के साथ परिभाषित करते हैं अर्थात
निष्कर्ष अब बस इतना ही है कि सभी के लिए
- कोई नियमितता की स्थिति नहीं; किसी भी संख्या में आयाम
यदि हम (टुकड़ेवार) सततता के विषय में सभी धारणाओं को छोड़ दें और मान लें कि यह पूरी तरह से पूर्णांक है, तो प्रमेय का एक संस्करण अभी भी कायम है। व्युत्क्रम परिवर्तन को फिर से चिकनी कट ऑफ के साथ परिभाषित किया गया है, लेकिन इस निष्कर्ष के साथ कि
- लगभग हर के लिए [1]
वर्ग पूर्णांक फलन
इस मामले में फूरियर रूपांतरण को सीधे एक समाकलन के रूप में परिभाषित नहीं किया जा सकता है क्योंकि यह बिल्कुल अभिसरण नहीं हो सकता है, इसलिए इसे घनत्व तर्क द्वारा परिभाषित किया गया है (Fourier_transform#On_Lp_spaces देखें)। उदाहरण के लिए, लगाना
हम सेट कर सकते हैं जहां सीमा में लिया जाता है -आदर्श। व्युत्क्रम परिवर्तन को घनत्व द्वारा उसी तरह परिभाषित किया जा सकता है या इसे फूरियर रूपांतरण और फ्लिप परिचालक के संदर्भ में परिभाषित किया जा सकता है। हमारे पास तब है
- एलपी अंतरिक्ष में। एक आयाम (और केवल एक आयाम) में, यह भी दिखाया जा सकता है कि यह लगभग हर एक के लिए अभिसरण करता है x∈ℝ- यह कार्लसन का प्रमेय है, लेकिन माध्य वर्ग मानदंड में अभिसरण की तुलना में सिद्ध करना बहुत कठिन है।
टेम्पर्ड वितरण
फूरियर रूपांतरण फूरियर रूपांतरण # टेम्पर्ड_डिस्ट्रीब्यूशन श्वार्ट्ज फलनों के स्थान पर फूरियर रूपांतरण के द्वैत द्वारा। विशेष तौर पर और सभी परीक्षण फलनों के लिए हमलोग तैयार हैं
कहाँ पे समाकलन सूत्र का उपयोग करके परिभाषित किया गया है। यदि तो यह सामान्य परिभाषा से सहमत है। हम व्युत्क्रम परिवर्तन को परिभाषित कर सकते हैं , या तो उसी तरह श्वार्ट्ज फलनों पर व्युत्क्रम परिवर्तन से द्वैत द्वारा, या इसे फ्लिप परिचालक के संदर्भ में परिभाषित करके (जहां फ्लिप परिचालक द्वैत द्वारा परिभाषित किया गया है)। हमारे पास तब है
फूरियर श्रृंखला से संबंध
फूरियर व्युत्क्रम प्रमेय फूरियर श्रृंखला के अभिसरण के अनुरूप है। हमारे पास फूरियर रूपांतरण केस में है
फूरियर श्रृंखला के मामले में हमारे पास इसके बजाय है
विशेष रूप से, एक आयाम में और योग से चलता है प्रति .
अनुप्रयोग
फूरियर रूपांतरण#अनुप्रयोगों में फूरियर व्युत्क्रमप्रमेय अक्सर एक महत्वपूर्ण भूमिका निभाता है। कई स्थितियों में मूल रणनीति फूरियर रूपांतरण को लागू करना है, कुछ संचालन या सरलीकरण करना है, और फिर व्युत्क्रमफूरियर रूपांतरण लागू करना है।
अधिक संक्षेप में, फूरियर व्युत्क्रमप्रमेय एक परिचालक (गणित) के रूप में फूरियर रूपांतरण के विषय में एक बयान है (फूरियर रूपांतरण#Fourier_transform_on_function_spaces देखें)। उदाहरण के लिए, फूरियर व्युत्क्रम प्रमेय पर दिखाता है कि फूरियर रूपांतरण एक एकात्मक संकारक है .
व्युत्क्रमपरिवर्तन के गुण
व्युत्क्रमफूरियर रूपांतरण मूल फूरियर रूपांतरण के समान ही है: जैसा कि ऊपर चर्चा की गई है, यह केवल फ्लिप परिचालक के आवेदन में भिन्न है। इस कारण से फूरियर रूपांतरण #Properties_of_the_Fourier_transform व्युत्क्रम फूरियर रूपांतरण के लिए होल्ड करता है, जैसे कि कनवल्शन प्रमेय और रीमैन-लेबेस्गु लेम्मा।
फूरियर रूपांतरण # महत्वपूर्ण फूरियर रूपांतरणों की तालिकाएं आसानी से व्युत्क्रमफूरियर रूपांतरण के लिए फ्लिप परिचालक के साथ लुक-अप फलन की रचना करके उपयोग की जा सकती हैं। उदाहरण के लिए, रेक्ट फंक्शन के फूरियर रूपांतरण को देखते हुए हम देखते हैं
प्रमाण
सबूत दिए गए कुछ तथ्यों का उपयोग करता है तथा .
- यदि तथा , फिर .
- यदि तथा , फिर .
- के लिये , फुबिनी का सिद्धांत इसे पूरा करता है .
- परिभाषित करना ; फिर .
- परिभाषित करना . फिर साथ कनवल्शन को दर्शाते हुए, एक नवजात डेल्टा फलन है: किसी भी सतत के लिए और बिंदु , (जहां अभिसरण बिंदुवार है)।
चूंकि, धारणा से, , तो यह वर्चस्व वाले अभिसरण प्रमेय का अनुसरण करता है
परिभाषित करना . तथ्यों 1, 2 और 4 को बार-बार लागू करके, यदि आवश्यक हो, तो हम प्राप्त करते हैं
तथ्य 3 का उपयोग करना तथा , प्रत्येक के लिए , अपने पास
का कनवल्शन अनुमानित पहचान के साथ। लेकिन जबसे , तथ्य 5 कहता है
उपरोक्त को एक साथ रखकर हमने दिखाया है
टिप्पणियाँ
इस पेज में लापता आंतरिक लिंक की सूची
संदर्भ
This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. (January 2013) (Learn how and when to remove this template message) |
- Folland, G. B. (1992). Fourier Analysis and its Applications. Belmont, CA, USA: Wadsworth. ISBN 0-534-17094-3.
- Folland, G. B. (1995). Introduction to Partial Differential Equations (2nd ed.). Princeton, USA: Princeton Univ. Press. ISBN 978-0-691-04361-6.
- ↑ "DMat0101, नोट्स 3: फूरियर L^1 पर रूपांतरित होता है". I Woke Up In A Strange Place (in English). 2011-03-10. Retrieved 2018-02-12.