फूरियर व्युत्क्रम प्रमेय

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

प्रमेय कहता है कि यदि हमारे पास कोई फलन है $$f:\R \to \Complex$$ कुछ  प्रतिबन्धों को पूरा करते हैं, और हम फूरियर रूपांतरण के लिए अन्य सम्मेलनों का उपयोग करते हैं


 * $$(\mathcal{F}f)(\xi):=\int_{\mathbb{R}} e^{-2\pi iy\cdot\xi} \, f(y)\,dy,$$

फिर


 * $$f(x)=\int_{\mathbb{R}} e^{2\pi ix\cdot\xi} \, (\mathcal{F}f)(\xi)\,d\xi.$$

दूसरे शब्दों में, प्रमेय कहता है कि


 * $$f(x)=\iint_{\mathbb{R}^2} e^{2\pi i(x-y)\cdot\xi} \, f(y)\,dy\,d\xi.$$

इस अंतिम समीकरण को फूरियर समाकलन प्रमेय कहा जाता है।

प्रमेय को बताने का दूसरा तरीका यह है कि अगर $$R$$ फ्लिप परिचालक है यानी $$(Rf)(x) := f(-x)$$, फिर


 * $$\mathcal{F}^{-1}=\mathcal{F}R=R\mathcal{F}.$$

प्रमेय धारण करता है यदि दोनों $$f$$ और इसके फूरियर रूपांतरण पूरी तरह से समाकलन फलन हैं (लेबेसेग एकीकरण में) और $$f$$ बिंदु $$x$$ पर सतत है, हालाँकि, अधिक सामान्य परिस्थितियों में भी फूरियर व्युत्क्रम प्रमेय के संस्करण लागू होते हैं। इन मामलों में उपरोक्त समाकल सामान्य अर्थों में अभिसरित नहीं हो सकते हैं।

कथन
इस खंड में हम मानते हैं $$f$$ एक समाकलन सतत फलन है। फूरियर रूपांतरण सम्मेलन का प्रयोग करें


 * $$(\mathcal{F}f)(\xi):=\int_{\mathbb{R}^n} e^{-2\pi iy\cdot\xi} \, f(y)\,dy.$$

इसके अलावा, हम मानते हैं कि फूरियर रूपांतरण भी पूर्णांक है।

व्युत्क्रम फूरियर रूपांतरण समाकलन के रूप में

फूरियर व्युत्क्रम प्रमेय का सबसे सामान्य कथन व्युत्क्रम परिवर्तन को एक समाकलन के रूप में बताना है। किसी भी समाकलन फलन के लिए $$g$$ और सभी $$x \in \mathbb R^n$$ समूह


 * $$\mathcal{F}^{-1}g(x):=\int_{\mathbb{R}^n} e^{2\pi ix\cdot\xi} \, g(\xi)\,d\xi.$$

फिर सभी के लिए $$x \in \mathbb R^n$$ अपने पास


 * $$\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x).$$

फूरियर समाकलन प्रमेय
प्रमेय के रूप में पुनर्स्थापित किया जा सकता है


 * $$f(x)=\int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{2\pi i(x-y)\cdot\xi} \, f(y)\,dy\,d\xi.$$

यदि $f$ वास्तविक मूल्य है तो उपरोक्त के प्रत्येक पक्ष का वास्तविक भाग लेने से हम प्राप्त करते हैं


 * $$f(x)=\int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \cos (2\pi (x-y)\cdot\xi) \, f(y)\,dy\,d\xi.$$

फ्लिप परिचालक के पदों में व्युत्क्रम रूपांतरण
किसी समारोह के लिए $$g$$ फ्लिप परिचालक $$R$$ को परिभाषित करें


 * $$Rg(x):=g(-x).$$

तब हम इसके अतिरिक्त परिभाषित कर सकते हैं


 * $$\mathcal{F}^{-1}f := R\mathcal{F}f = \mathcal{F}Rf.$$

यह फूरियर रूपांतरण और फ्लिप परिचालक की परिभाषा से स्पष्ट है कि दोनों $$R\mathcal{F}f$$ तथा $$\mathcal{F}Rf$$ की समाकलन परिभाषा से मेल खाता है $$\mathcal{F}^{-1}f$$, और विशेष रूप से एक दूसरे के बराबर हैं और संतुष्ट हैं $$\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x)$$.

तब से $$Rf=R\mathcal{F}^{-1}\mathcal{F}f =RR \mathcal{FF}f$$ अपने पास $$R=\mathcal{F}^2$$ तथा


 * $$\mathcal{F}^{-1}=\mathcal{F}^3.$$

द्वी पक्ष व्युत्क्रम
ऊपर वर्णित फूरियर व्युत्क्रम प्रमेय का सामान्य रूप, इस प्रकार का है,


 * $$\mathcal{F}^{-1}(\mathcal{F}f)(x) = f(x).$$

दूसरे शब्दों में, $$\mathcal{F}^{-1}$$ फूरियर रूपांतरण के लिए एक बायां प्रतिलोम है। हालाँकि यह फूरियर रूपांतरण के लिए एक सही व्युत्क्रम भी है अर्थात


 * $$\mathcal{F}(\mathcal{F}^{-1}f)(\xi) = f(\xi).$$

तब से $$\mathcal{F}^{-1}$$ के समान है $$\mathcal{F}$$, यह फूरियर व्युत्क्रम प्रमेय (बदलते चर) से बहुत आसानी से अनुसरण करता है $$\zeta := -\zeta$$):


 * $$\begin{align}

f & =\mathcal{F}^{-1}(\mathcal{F}f)(x)\\[6pt] & =\int_{\mathbb{R}^{n}}\int_{\mathbb{R}^{n}}e^{2\pi ix\cdot\xi}\,e^{-2\pi iy\cdot\xi}\, f(y)\, dy\, d\xi\\[6pt] & =\int_{\mathbb{R}^{n}}\int_{\mathbb{R}^{n}}e^{-2\pi ix\cdot\zeta}\,e^{2\pi iy\cdot\zeta}\, f(y)\, dy\, d\zeta\\[6pt] & =\mathcal{F}(\mathcal{F}^{-1}f)(x). \end{align}$$ वैकल्पिक रूप से, इसे $$\mathcal{F}^{-1}f$$ और फ्लिप परिचालक के मध्य संबंध से देखा जा सकता है और साथ ही साथ फलन संरचना की सहयोगीता के रूप में भी देखा जा सकता है इस प्रकार, चूंकि


 * $$f = \mathcal{F}^{-1}(\mathcal{F}f) = \mathcal{F}R\mathcal{F}f = \mathcal{F} (\mathcal{F}^{-1}f).$$

फलन पर प्रतिबन्धें
जब भौतिकी और इंजीनियरिंग में उपयोग किया जाता है, तो फूरियर व्युत्क्रम प्रमेय सदैव इस धारणा के आधार पर प्रयोग किया जाता है कि सब कुछ भली प्रकार से व्यवहार करता है। गणित में इस तरह के अनुमानित तर्कों की अनुमति नहीं है, और फूरियर व्युत्क्रम प्रमेय में एक स्पष्ट विनिर्देश सम्मिलित है कि किस वर्ग के फलनों को अनुमति दी जा रही है। हालांकि, फूरियर व्युत्क्रम प्रमेय के इतने सारे रूपों पर विचार करने के लिए  फलनों का कोई सर्वश्रेष्ठ वर्ग मौजूद नहीं है, यद्यपि संगत निष्कर्ष के साथ।

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

पूर्णांक फूरियर रूपांतरण के साथ एकीकृत फलन
फूरियर व्युत्क्रम प्रमेय उन सभी सतत फलनों के लिए है जो बिल्कुल पूर्णांक हैं (अर्थात $$L^1(\mathbb R^n)$$) बिल्कुल पूर्णांक फूरियर रूपांतरण के साथ। इसमें श्वार्ट्ज के सभी फलन सम्मिलित हैं, इसलिए यह प्रमेय पूर्व में लिखी प्रमेय से अधिक प्रबल रूप है। यह  प्रतिबन्ध वही है जो उपरोक्त दिए कथन में प्रयोग की गई है।

एक सामान्य संस्करण उस स्थिति को त्यागना है कि फलन $$f $$ सतत हो लेकिन फिर भी आवश्यकता है कि यह और इसका फूरियर रूपांतरण पूरी तरह से एकीकृत हो। फिर $$f = g$$ लगभग हर जगह जहां $g$ एक सतत फलन है, और $$\mathcal{F}^{-1}(\mathcal{F}f)(x)=g(x)$$ प्रत्येक के लिए $$x \in \mathbb R^n$$.

एक विमीय समाकलनीय फलन
यदि फलन एक विमा में पूरी तरह से समाकलनीय है (अर्थात $$ f \in L^1(\mathbb R)$$) और खंडो के र्रोप में सुचारु है तो फूरियर व्युत्क्रम प्रमेय का एक संस्करण लागू होता है। इस सम्बन्ध को हम परिभाषित करते हैं
 * खंडो में सुचारु; एक विमीय


 * $$\mathcal{F}^{-1}g(x):=\lim_{R\to\infty}\int_{-R}^R e^{2\pi ix\xi}\,g(\xi)\,d\xi.$$

फिर सभी के लिए $$ x \in \mathbb R$$
 * $$\mathcal{F}^{-1}(\mathcal{F}f)(x) = \frac{1}{2}(f(x_-) + f(x_+)),$$

अर्थात। $$\mathcal{F}^{-1}(\mathcal{F}f)(x)$$ की बाएँ और दाएँ सीमा औसतन बराबर है $$ f$$ पर $$ x$$. जिन बिंदुओं पर $$ f$$ सतत है यह केवल $$ f(x)$$ के बराबर है.

प्रमेय के इस रूप का एक उच्च-विमीय अनुरूप भी है, लेकिन फोलैंड (1992) के अनुसार यह उत्कृष्ट है और बहुत उपयोगी नहीं है।


 * खंडो में सतत; एक विमीय

यदि फलन एक विमा में पूरी तरह से पूर्णांक है (अर्थात $$ f \in L^1(\mathbb R)$$) लेकिन केवल खंडो में सतत है तो फूरियर व्युत्क्रम प्रमेय का एक संस्करण अभी भी बना रहता है । इस सम्बन्ध में व्युत्क्रम फूरियर रूपांतरण में समाकलन को एक तेज कट ऑफ फलन के बजाय एक चिकनी की सहायता से परिभाषित किया गया है; विशेष रूप से हम परिभाषित करते हैं


 * $$\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}.$$

प्रमेय का निष्कर्ष तब वही होता है जैसा ऊपर चर्चा की गई टुकड़े-टुकड़े चिकने सम्बन्ध के लिए होता है।


 * सतत; किसी भी संख्या में विमा

यदि $$ f$$ सतत और पूर्णतः समाकलनीय है $$\mathbb R^n$$ तब फूरियर व्युत्क्रम प्रमेय अभी भी तब तक कायम रहता है जब तक कि हम फिर से व्युत्क्रम परिवर्तन को एक चिकने कट ऑफ फंक्शन के साथ परिभाषित करते हैं अर्थात


 * $$\mathcal{F}^{-1}g(x):=\lim_{R\to\infty}\int_{\mathbb{R}^n} \varphi(\xi/R)\,e^{2\pi ix\cdot\xi}\,g(\xi)\,d\xi,\qquad\varphi(\xi):=e^{-\vert\xi\vert^2}.$$

निष्कर्ष अब बस इतना ही है कि सभी के लिए $$x \in \mathbb R^n$$
 * $$\mathcal{F}^{-1}(\mathcal{F}f)(x)=f(x).$$


 * कोई नियमितता की स्थिति नहीं; किसी भी संख्या में विमा

यदि हम (टुकड़ेवार) सततता के विषय में सभी धारणाओं को छोड़ दें $$f$$ और मान लें कि यह पूरी तरह से पूर्णांक है, तो प्रमेय का एक संस्करण अभी भी कायम है। व्युत्क्रम परिवर्तन को फिर से चिकनी कट ऑफ के साथ परिभाषित किया गया है, लेकिन इस निष्कर्ष के साथ कि


 * $$\mathcal{F}^{-1}(\mathcal{F}f)(x) = f(x)$$ लगभग हर के लिए $$x \in \mathbb R^n.$$

वर्ग पूर्णांक फलन
इस सम्बन्ध में फूरियर रूपांतरण को सीधे एक समाकलन के रूप में परिभाषित नहीं किया जा सकता है क्योंकि यह बिल्कुल अभिसरण नहीं हो सकता है, इसलिए इसे घनत्व तर्क द्वारा परिभाषित किया गया है (Fourier_transform#On_Lp_spaces देखें)। उदाहरण के लिए, लगाना
 * $$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},$$

हम सेट कर सकते हैं $$\textstyle\mathcal{F}f := \lim_{k\to\infty}g_k$$ जहां सीमा में लिया जाता है $$L^2$$-आदर्श। व्युत्क्रम परिवर्तन को घनत्व द्वारा उसी तरह परिभाषित किया जा सकता है या इसे फूरियर रूपांतरण और फ्लिप परिचालक के संदर्भ में परिभाषित किया जा सकता है। हमारे पास तब है


 * $$f(x)=\mathcal{F}(\mathcal{F}^{-1}f)(x)=\mathcal{F}^{-1}(\mathcal{F}f)(x)$$ एलपी अंतरिक्ष में। एक विमा (और केवल एक विमा) में, यह भी दिखाया जा सकता है कि यह लगभग हर एक के लिए अभिसरण करता है $x∈ℝ$- यह कार्लसन का प्रमेय है, लेकिन माध्य वर्ग मानदंड में अभिसरण की तुलना में सिद्ध करना बहुत कठिन है।

टेम्पर्ड वितरण
फूरियर रूपांतरण फूरियर रूपांतरण # टेम्पर्ड_डिस्ट्रीब्यूशन $$\mathcal{S}'(\mathbb{R}^n)$$ श्वार्ट्ज फलनों के स्थान पर फूरियर रूपांतरण के द्वैत द्वारा। विशेष तौर पर $$f\in\mathcal{S}'(\mathbb{R}^n)$$ और सभी परीक्षण  फलनों के लिए $$\varphi\in\mathcal S(\mathbb{R}^n)$$ हमलोग तैयार हैं
 * $$\langle \mathcal{F}f,\varphi\rangle := \langle f,\mathcal{F}\varphi\rangle,$$

कहाँ पे $$\mathcal{F}\varphi$$ समाकलन सूत्र का उपयोग करके परिभाषित किया गया है। यदि $$f \in L^1(\mathbb R^n) \cap L^2(\mathbb R^n)$$ तो यह सामान्य परिभाषा से सहमत है। हम व्युत्क्रम परिवर्तन को परिभाषित कर सकते हैं $$\mathcal{F}^{-1}\colon\mathcal{S}'(\mathbb{R}^n)\to\mathcal{S}'(\mathbb{R}^n)$$, या तो उसी तरह श्वार्ट्ज फलनों पर व्युत्क्रम परिवर्तन से द्वैत द्वारा, या इसे फ्लिप परिचालक के संदर्भ में परिभाषित करके (जहां फ्लिप परिचालक द्वैत द्वारा परिभाषित किया गया है)। हमारे पास तब है


 * $$\mathcal{F}\mathcal{F}^{-1} = \mathcal{F}^{-1}\mathcal{F} = \operatorname{Id}_{\mathcal{S}'(\mathbb{R}^n)}.$$

फूरियर श्रृंखला से संबंध
फूरियर व्युत्क्रम प्रमेय फूरियर श्रृंखला के अभिसरण के अनुरूप है। हमारे पास फूरियर रूपांतरण केस में है
 * $$f\colon\mathbb{R}^n\to\mathbb{C},\quad\hat f\colon\mathbb{R}^n\to\mathbb{C},$$
 * $$\hat f(\xi):=\int_{\mathbb{R}^n} e^{-2\pi iy\cdot\xi} \, f(y)\,dy,$$
 * $$f(x)=\int_{\mathbb{R}^n} e^{2\pi ix\cdot\xi} \, \hat f(\xi)\,d\xi.$$

फूरियर श्रृंखला के सम्बन्ध में हमारे पास इसके बजाय है
 * $$f\colon[0,1]^n\to\mathbb{C},\quad\hat f\colon\mathbb{Z}^n\to\mathbb{C},$$
 * $$\hat f(k):=\int_{[0,1]^n} e^{-2\pi iy\cdot k} \, f(y)\,dy,$$
 * $$f(x)=\sum_{k\in\mathbb{Z}^n} e^{2\pi ix\cdot k} \, \hat f(k).$$

विशेष रूप से, एक विमा में $$k \in \mathbb Z$$ और योग से चलता है $$- \infty$$ प्रति $$\infty$$.

अनुप्रयोग
फूरियर रूपांतरण#अनुप्रयोगों में फूरियर व्युत्क्रमप्रमेय सदैव एक महत्वपूर्ण भूमिका निभाता है। कई स्थितियों में मूल रणनीति फूरियर रूपांतरण को लागू करना है, कुछ संचालन या सरलीकरण करना है, और फिर व्युत्क्रमफूरियर रूपांतरण लागू करना है।

अधिक संक्षेप में, फूरियर व्युत्क्रमप्रमेय एक परिचालक (गणित) के रूप में फूरियर रूपांतरण के विषय में एक बयान है (फूरियर रूपांतरण#Fourier_transform_on_फलन_spaces देखें)। उदाहरण के लिए, फूरियर व्युत्क्रम प्रमेय पर $$f \in L^2(\mathbb R^n)$$ दिखाता है कि फूरियर रूपांतरण एक एकात्मक संकारक है $$L^2(\mathbb R^n)$$.

व्युत्क्रमपरिवर्तन के गुण
व्युत्क्रमफूरियर रूपांतरण मूल फूरियर रूपांतरण के समान ही है: जैसा कि ऊपर चर्चा की गई है, यह केवल फ्लिप परिचालक के आवेदन में भिन्न है। इस कारण से फूरियर रूपांतरण #Properties_of_the_Fourier_transform व्युत्क्रम फूरियर रूपांतरण के लिए होल्ड करता है, जैसे कि कनवल्शन प्रमेय और रीमैन-लेबेस्गु लेम्मा।

फूरियर रूपांतरण # महत्वपूर्ण फूरियर रूपांतरणों की तालिकाएं आसानी से व्युत्क्रमफूरियर रूपांतरण के लिए फ्लिप परिचालक के साथ लुक-अप फलन की रचना करके उपयोग की जा सकती हैं। उदाहरण के लिए, रेक्ट फंक्शन के फूरियर रूपांतरण को देखते हुए हम देखते हैं $$f(x) = \operatorname{rect}(a x) \quad \Rightarrow \quad (\mathcal{F}f)(\xi)=\frac{1}{|a|} \operatorname{sinc}\left(\frac{\xi}{a}\right),$$ तो व्युत्क्रमपरिवर्तन के लिए संगत तथ्य है $$g(\xi)=\operatorname{rect}(a \xi) \quad \Rightarrow \quad (\mathcal{F}^{-1}g)(x)=\frac{1}{|a|} \operatorname{sinc}\left(-\frac{x}{a}\right) .$$

प्रमाण
सबूत दिए गए कुछ तथ्यों का उपयोग करता है $$f(y)$$ तथा $$\mathcal{F}f (\xi) = \int_{\mathbb{R}^n} e^{-2\pi i y\cdot\xi} f(y)\,dy$$.

चूंकि, धारणा से, $$\mathcal{F}f\in L^1(\mathbb{R}^n)$$, तो यह वर्चस्व वाले अभिसरण प्रमेय का अनुसरण करता है
 * 1) यदि $$x \in \mathbb R^n$$ तथा $$g(\xi) = e^{2 \pi \mathrm{i}x \cdot \xi} \psi(\xi)$$, फिर $$(\mathcal{F}g)(y) = (\mathcal{F}\psi)(y - x)$$.
 * 2) यदि $$\varepsilon \in \mathbb R$$ तथा $$\psi(\xi) = \varphi(\varepsilon\xi)$$, फिर $$(\mathcal{F}\psi)(y) = (\mathcal{F}\varphi)(y/\varepsilon)/|\varepsilon|$$.
 * 3) के लिये $$f, g \in L^1(\mathbb R^n)$$, फुबिनी का सिद्धांत इसे पूरा करता है $$\textstyle\int g(\xi) \cdot (\mathcal{F}f)(\xi)\,d\xi = \int(\mathcal{F}g)(y) \cdot f(y)\,dy$$.
 * 4) परिभाषित करना $$\varphi(\xi) = e^{-\pi \vert \xi \vert^2}$$; फिर $$(\mathcal{F}\varphi)(y) = \varphi(y)$$.
 * 5) परिभाषित करना $$\varphi_\varepsilon(y) = \varphi(y/\varepsilon)/\varepsilon^n$$. फिर साथ $$\ast$$ कनवल्शन को दर्शाते हुए, $$\varphi_\varepsilon$$ एक नवजात डेल्टा  फलन है: किसी भी सतत के लिए $$f \in L^1(\mathbb R^n)$$ और बिंदु $$x \in \mathbb R^n$$, $$\lim_{\varepsilon \to 0} (\varphi_\varepsilon \ast f)(x) = f(x)$$ (जहां अभिसरण बिंदुवार है)।


 * $$\int_{\mathbb{R}^n} e^{2\pi i x\cdot\xi}(\mathcal{F}f)(\xi)\,d\xi = \lim_{\varepsilon \to 0}\int_{\mathbb{R}^n} e^{-\pi\varepsilon^2|\xi|^2 + 2\pi i x\cdot\xi}(\mathcal{F}f)(\xi)\,d\xi.$$

परिभाषित करना $$g_x(\xi) = e^{-\pi\varepsilon^2\vert \xi \vert^2 + 2 \pi \mathrm{i} x \cdot \xi}$$. तथ्यों 1, 2 और 4 को बार-बार लागू करके, यदि आवश्यक हो, तो हम प्राप्त करते हैं
 * $$(\mathcal{F}g_x)(y) = \frac{1}{\varepsilon^n}e^{-\frac{\pi}{\varepsilon^2}|x - y|^2}=\varphi_\varepsilon(x-y).$$

तथ्य 3 का उपयोग करना $$f$$ तथा $$g_x$$, प्रत्येक के लिए $$x\in\mathbb R^n$$, अपने पास


 * $$\int_{\mathbb{R}^n} e^{-\pi\varepsilon^2|\xi|^2 + 2\pi i x\cdot\xi}(\mathcal{F}f)(\xi)\,d\xi = \int_{\mathbb{R}^n} \frac{1}{\varepsilon^n}e^{-\frac{\pi}{\varepsilon^2}|x - y|^2} f(y)\,dy = (\varphi_\varepsilon * f)(x),$$

का कनवल्शन $$f$$ अनुमानित पहचान के साथ। लेकिन जबसे $$f \in L^1(\mathbb R^n)$$, तथ्य 5 कहता है


 * $$\lim_{\varepsilon\to 0}(\varphi_{\varepsilon} * f) (x) = f(x).$$

उपरोक्त को एक साथ रखकर हमने दिखाया है


 * $$\int_{\mathbb{R}^n} e^{2\pi i x\cdot\xi}(\mathcal{F}f)(\xi)\,d\xi = f(x). \qquad\square$$