वलय पर असतत फूरियर रूपांतरित: Difference between revisions
(Created page with "{{Fourier transforms}} गणित में, एक रिंग के ऊपर असतत फूरियर रूपांतरण एक फ़ंक्शन...") |
No edit summary |
||
(9 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, एक वलय पर [[असतत फूरियर रूपांतरण]] एक फलन के असतत फूरियर रूपांतरण (डीएफटी) को सामान्यीकृत करता है, जिसके मान सामान्यतः एक इच्छानुसार वलय (गणित) पर [[सम्मिश्र संख्या]]एं होते हैं। | |||
गणित में, एक | |||
==परिभाषा== | ==परिभाषा== | ||
होने देना <math>R</math> कोई भी | होने देना <math>R</math> कोई भी वलय हो (गणित), चलो <math>n\geq 1</math> एक पूर्णांक हो, और चलो <math>\alpha \in R</math> एकता का एक प्रमुख मूल बनें और एकता की मूल जड़ बनें, इसे निम्न द्वारा परिभाषित किया गया है:<ref name="furer">Martin Fürer, "[https://web.archive.org/web/20130425232048/http://www.cse.psu.edu/~furer/Papers/mult.pdf Faster Integer Multiplication]", STOC 2007 Proceedings, pp. 57–66. Section 2: The Discrete Fourier Transform.</ref> | ||
: <math> | : <math> | ||
\begin{align} | \begin{align} | ||
Line 11: | Line 8: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
असतत फूरियर | असतत फूरियर R के तत्वों के n-टपल <math>(v_0,\ldots,v_{n-1})</math> को दूसरे n-टपल <math>(f_0,\ldots,f_{n-1})</math> में बदल देता है। R के तत्वों का निम्नलिखित सूत्र के अनुसार: | ||
:<math>f_k = \sum_{j=0}^{n-1} v_j\alpha^{jk}.\qquad (2)</math> | :<math>f_k = \sum_{j=0}^{n-1} v_j\alpha^{jk}.\qquad (2)</math> | ||
परंपरा के अनुसार, टुपल <math>(v_0,\ldots,v_{n-1})</math> समय डोमेन | परंपरा के अनुसार, टुपल <math>(v_0,\ldots,v_{n-1})</math>को समय डोमेन में कहा जाता है और सूचकांक j को समय कहा जाता है। टपल<math>(f_0,\ldots,f_{n-1})</math> को आवृत्ति डोमेन में कहा जाता है और सूचकांक <math>k</math> को आवृत्ति कहा जाता है। टपल <math>(f_0,\ldots,f_{n-1})</math> को <math>(v_0,\ldots,v_{n-1})</math> का स्पेक्ट्रम भी कहा जाता है। यह शब्दावली सिग्नल प्रोसेसिंग में फूरियर रूपांतरण के अनुप्रयोगों से ली गई है। | ||
यदि R एक अभिन्न डोमेन है (जिसमें क्षेत्र सम्मिलित हैं), तो <math>\alpha</math> को एकता की आदिम nवीं जड़ के रूप में चुनना पर्याप्त है, जो नियम (1) को प्रतिस्थापित करता है:<ref name="furer" /> | |||
:<math>\alpha^{k} \ne 1</math> के लिए <math>1 \leq k < n</math> | :<math>\alpha^{k} \ne 1</math> के लिए <math>1 \leq k < n</math> | ||
Line 23: | Line 21: | ||
जहां योग (1) से मेल खाता है। तब से <math>\alpha</math> एकता की आदिम जड़ है, <math>\beta - 1 \ne 0</math>. तब से <math>R</math> एक अभिन्न डोमेन है, योग शून्य होना चाहिए। ∎ | जहां योग (1) से मेल खाता है। तब से <math>\alpha</math> एकता की आदिम जड़ है, <math>\beta - 1 \ne 0</math>. तब से <math>R</math> एक अभिन्न डोमेन है, योग शून्य होना चाहिए। ∎ | ||
एक और सरल | एक और सरल नियम उस स्थिति में प्रयुक्त होती है जहां n दो की घात है: (1) को <math>\alpha^{n/2} = -1</math> से प्रतिस्थापित किया जा सकता है।<ref name="furer" /> | ||
Line 31: | Line 30: | ||
:<math>v_j = \frac{1}{n}\sum_{k=0}^{n-1} f_k\alpha^{-jk}.\qquad (3)</math> | :<math>v_j = \frac{1}{n}\sum_{k=0}^{n-1} f_k\alpha^{-jk}.\qquad (3)</math> | ||
जहाँ <math>1/n</math>, R में n का गुणात्मक व्युत्क्रम है (यदि यह व्युत्क्रम उपस्थित नहीं है, तो डीएफटी को विपरीत नहीं किया जा सकता है)। | |||
प्रमाण: (3) के दाईं ओर (2) रखने पर, हमें प्राप्त होता है | प्रमाण: (3) के दाईं ओर (2) रखने पर, हमें प्राप्त होता है | ||
Line 42: | Line 41: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
ये बिल्कुल | ये बिल्कुल समान है <math>v_j</math>, क्योंकि | ||
<math>\sum_{k=0}^{n-1}\alpha^{(j'-j)k}=0</math> | <math>\sum_{k=0}^{n-1}\alpha^{(j'-j)k}=0</math> जब <math>j'\neq | ||
j</math> (द्वारा (1) के साथ <math>k=j'-j</math>), और | j</math> (द्वारा (1) के साथ <math>k=j'-j</math>), और | ||
<math>\sum_{k=0}^{n-1}\alpha^{(j'-j)k}=n</math> | <math>\sum_{k=0}^{n-1}\alpha^{(j'-j)k}=n</math> जब <math>j'=j</math>. ∎ | ||
== | ==आव्यूह सूत्रीकरण== | ||
चूंकि असतत फूरियर रूपांतरण एक [[रैखिक ऑपरेटर]] है, इसलिए इसे [[मैट्रिक्स गुणन]] द्वारा वर्णित किया जा सकता है। | चूंकि असतत फूरियर रूपांतरण एक [[रैखिक ऑपरेटर]] है, इसलिए इसे [[मैट्रिक्स गुणन|आव्यूह गुणन]] द्वारा वर्णित किया जा सकता है। आव्यूह नोटेशन में असतत फूरियर रूपांतरण निम्नानुसार व्यक्त किया गया है: | ||
:<math> | :<math> | ||
\begin{bmatrix}f_0\\f_1\\\vdots\\f_{n-1}\end{bmatrix} | \begin{bmatrix}f_0\\f_1\\\vdots\\f_{n-1}\end{bmatrix} | ||
Line 61: | Line 60: | ||
\begin{bmatrix}v_0\\v_1\\\vdots\\v_{n-1}\end{bmatrix}. | \begin{bmatrix}v_0\\v_1\\\vdots\\v_{n-1}\end{bmatrix}. | ||
</math> | </math> | ||
इस परिवर्तन के | इस परिवर्तन के आव्यूह को [[डीएफटी मैट्रिक्स|डीएफटी]] आव्यूह कहा जाता है। | ||
इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण के लिए | इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण के लिए आव्यूह नोटेशन है | ||
:<math> | :<math> | ||
\begin{bmatrix}v_0\\v_1\\\vdots\\v_{n-1}\end{bmatrix} | \begin{bmatrix}v_0\\v_1\\\vdots\\v_{n-1}\end{bmatrix} | ||
Line 79: | Line 78: | ||
==बहुपद सूत्रीकरण== | ==बहुपद सूत्रीकरण== | ||
कभी-कभी | कभी-कभी औपचारिक बहुपद के साथ <math>n</math>-ट्यूपल <math>(v_0,\ldots,v_{n-1})</math>की पहचान करना सुविधाजनक होता है | ||
:<math>p_v(x) = v_0 + v_1x + v_2x^2 + \cdots + v_{n-1}x^{n-1}. \, </math> | :<math>p_v(x) = v_0 + v_1x + v_2x^2 + \cdots + v_{n-1}x^{n-1}. \, </math> | ||
Line 85: | Line 84: | ||
:<math>f_k = v_0 + v_1\alpha^{k} + v_2\alpha^{2k} + \cdots + v_{n-1}\alpha^{(n-1)k}. \, </math> | :<math>f_k = v_0 + v_1\alpha^{k} + v_2\alpha^{2k} + \cdots + v_{n-1}\alpha^{(n-1)k}. \, </math> | ||
इसका अर्थ यह है कि<math>f_k</math> , <math>x=\alpha^k</math> के लिए बहुपद <math>p_v(x)</math> का मान मात्र है। | |||
:<math>f_k = p_v(\alpha^k).\,</math> | :<math>f_k = p_v(\alpha^k).\,</math> | ||
इसलिए फूरियर रूपांतरण को बहुपद के गुणांकों और मूल्यों से संबंधित देखा जा सकता है: गुणांक समय-क्षेत्र में हैं, और मान आवृत्ति डोमेन में हैं। | इसलिए फूरियर रूपांतरण को बहुपद के गुणांकों और मूल्यों से संबंधित देखा जा सकता है: गुणांक समय-क्षेत्र में हैं, और मान आवृत्ति डोमेन में हैं। यहां निश्चित रूप से, यह महत्वपूर्ण है कि बहुपद का मूल्यांकन एकता की <math>n</math>वीं जड़ों पर किया जाता है, जो बिल्कुल <math>\alpha</math> की शक्तियां हैं। | ||
इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण (3) की परिभाषा लिखी जा सकती है: | इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण (3) की परिभाषा लिखी जा सकती है: | ||
Line 96: | Line 95: | ||
:<math>p_f(x) = f_0 + f_1x + f_2x^2 + \cdots + f_{n-1}x^{n-1},</math> | :<math>p_f(x) = f_0 + f_1x + f_2x^2 + \cdots + f_{n-1}x^{n-1},</math> | ||
इस का | इस का अर्थ है कि | ||
:<math>v_j = \frac{1}{n}p_f(\alpha^{-j}).</math> | :<math>v_j = \frac{1}{n}p_f(\alpha^{-j}).</math> | ||
हम इसे इस प्रकार संक्षेप में प्रस्तुत कर सकते हैं: यदि | हम इसे इस प्रकार संक्षेप में प्रस्तुत कर सकते हैं: यदि <math>p(x)</math> का मान <math>q(x)</math> का गुणांक है तो <math>q(x)</math> का मान एक अदिश कारक और पुनर्क्रमण तक <math>p(x)</math> का गुणांक है।<ref>R. Lidl and G. Pilz. Applied Abstract Algebra, 2nd edition. Wiley, 1999, pp. 217–219.</ref> | ||
==विशेष | ==विशेष स्थिति == | ||
===सम्मिश्र संख्याएँ=== | ===सम्मिश्र संख्याएँ=== | ||
यदि <math>F={\mathbb C}</math> सम्मिश्र संख्याओं का क्षेत्र है, तो <math>n</math>एकता की जड़ों को सम्मिश्र तल के इकाई वृत्त पर बिंदुओं के रूप में देखा जा सकता है। इस स्थिति में, सामान्यतः कोई लेता है | |||
:<math>\alpha=e^{\frac{-2\pi i}{n}},</math> | :<math>\alpha=e^{\frac{-2\pi i}{n}},</math> | ||
Line 112: | Line 111: | ||
:<math>f_k = \sum_{j=0}^{n-1} v_j e^{\frac{-2\pi i}{n}jk}.</math> | :<math>f_k = \sum_{j=0}^{n-1} v_j e^{\frac{-2\pi i}{n}jk}.</math> | ||
सम्मिश्र संख्याओं पर अधिकांशतः डीएफटी के लिए सूत्र में 1 और व्युत्क्रम के लिए सूत्र में <math>\frac{1}{n}</math> के अतिरिक्त दोनों सूत्रों में अदिश कारक <math>\frac{1}{\sqrt{n}}</math> का उपयोग करके डीएफटी और व्युत्क्रम डीएफटी के लिए सूत्रों को सामान्य करने की प्रथा है। डीएफटी. इस सामान्यीकरण के साथ, डीएफटी आव्यूह तब एकात्मक होता है। ध्यान दें कि किसी इच्छानुसार क्षेत्र में <math>\sqrt{n}</math> का कोई अर्थ नहीं है। | |||
ध्यान दें कि <math>\sqrt{n}</math> | |||
===परिमित | ===परिमित क्षेत्र=== | ||
यदि <math>F=GF(q)</math> एक सीमित क्षेत्र है, जहां <math>q</math> एक [[अभाज्य संख्या]] शक्ति है, तो एक आदिम का अस्तित्व <math>n</math>मूल स्वतः ही इसका तात्पर्य करता है कि <math>n</math> <math>q-1</math> को विभाजित करता है, क्योंकि प्रत्येक तत्व के गुणक क्रम को [[गुणक समूह]] के आकार को विभाजित करना होगा <math>F</math>, जो <math>q-1</math> है यह विशेष रूप से यह सुनिश्चित करता है <math>n=\underbrace{1+1+\cdots+1}_{n\ \rm times}</math> विपरीत है, जिससे अंकन <math>\frac{1}{n}</math> (3) में समझ में आता है। | |||
<math>GF(q)</math> पर असतत फूरियर रूपांतरण का एक अनुप्रयोग कोडिंग सिद्धांत में रीड-सोलोमन कोड को बीसीएच कोड में कम करना है। इस तरह के परिवर्तन को उचित तेज एल्गोरिदम के साथ कुशलतापूर्वक किया जा सकता है, उदाहरण के लिए साइक्लोटोमिक फास्ट फूरियर रूपांतरण होता है। | |||
===संख्या-सैद्धांतिक परिवर्तन=== | ===संख्या-सैद्धांतिक परिवर्तन=== | ||
संख्या-सैद्धांतिक परिवर्तन (एनटीटी)<ref>{{Cite journal|last1=Agarwal|first1=R.|last2=Burrus|first2=C.|date=April 1974|title=फ़र्मेट नंबर का उपयोग करके तेज़ कन्वोल्यूशन अनुप्रयोगों के साथ डिजिटल फ़िल्टरिंग में बदल जाता है|url=https://ieeexplore.ieee.org/document/1162555|journal=IEEE Transactions on Acoustics, Speech, and Signal Processing|language=en|volume=22|issue=2|pages=87–97|doi=10.1109/TASSP.1974.1162555|issn=0096-3518}}</ref> असतत फूरियर रूपांतरण | संख्या-सैद्धांतिक परिवर्तन (एनटीटी)<ref>{{Cite journal|last1=Agarwal|first1=R.|last2=Burrus|first2=C.|date=April 1974|title=फ़र्मेट नंबर का उपयोग करके तेज़ कन्वोल्यूशन अनुप्रयोगों के साथ डिजिटल फ़िल्टरिंग में बदल जाता है|url=https://ieeexplore.ieee.org/document/1162555|journal=IEEE Transactions on Acoustics, Speech, and Signal Processing|language=en|volume=22|issue=2|pages=87–97|doi=10.1109/TASSP.1974.1162555|issn=0096-3518}}</ref> असतत फूरियर रूपांतरण को <math>F={\mathbb Z}/p</math> में विशेषज्ञता द्वारा प्राप्त किया जाता है, पूर्णांक मॉड्यूल एक अभाज्य {{mvar|p}} यह एक परिमित क्षेत्र है, और जब भी {{mvar|n}}, <math>p-1</math> को विभाजित करता है तो एकता की आदिम {{mvar|n}}वीं जड़ें उपस्थित होती हैं, इसलिए हमारे पास एक सकारात्मक पूर्णांक {{mvar|ξ}} के लिए <math>p=\xi n+1</math> है। विशेष रूप से, मान लीजिए कि <math>\omega</math> एकता का एक आदिम <math>(p-1)</math>वाँ मूल है, तो एकता का nवाँ मूल <math>\alpha</math> ,<math>\alpha=\omega^{\xi}</math>मानकर पाया जा सकता है। | ||
जैसे के लिए <math>p=5</math>, <math>\alpha = 2</math> :<math>\begin{align}2^{1}&=2 \pmod 5\\2^{2}&=4 \pmod 5\\2^{3}&=3 \pmod 5\\2^{4}&=1 \pmod 5\end{align}</math> | जैसे के लिए <math>p=5</math>, <math>\alpha = 2</math> :<math>\begin{align}2^{1}&=2 \pmod 5\\2^{2}&=4 \pmod 5\\2^{3}&=3 \pmod 5\\2^{4}&=1 \pmod 5\end{align}</math> | ||
जब <math>N=4</math> | |||
:<math> | :<math> | ||
\begin{bmatrix} | \begin{bmatrix} | ||
Line 143: | Line 141: | ||
f(3) \end{bmatrix} | f(3) \end{bmatrix} | ||
</math> | </math> | ||
संख्या सैद्धांतिक परिवर्तन | संख्या सैद्धांतिक परिवर्तन वलय <math>\mathbb{Z}/m</math> में सार्थक हो सकता है, तब भी जब मापांक {{mvar|m}} अभाज्य नहीं है, परन्तु क्रम n का एक प्रमुख मूल उपस्थित हो। संख्या सैद्धांतिक परिवर्तन के विशेष स्थिति जैसे कि फ़र्मेट नंबर रूपांतरण ({{math|1=''m'' = 2<sup>''k''</sup>+1}}), जो शॉनहेज-स्ट्रैसेन एल्गोरिदम द्वारा उपयोग किया जाता है, या मेर्सन नंबर रूपांतरण <ref>{{Cite journal|last=Rader|first=C.M.|date=December 1972|title=मेर्सन ट्रांसफॉर्म्स के माध्यम से अलग-अलग संकल्प|url=https://ieeexplore.ieee.org/document/1672090|journal=IEEE Transactions on Computers|volume=C-21|issue=12|pages=1269–1273|doi=10.1109/T-C.1972.223497|s2cid=1939809 |issn=0018-9340}}</ref> ({{math|1=''m'' = 2<sup>''k''</sup> − 1}}) एक समग्र मापांक का उपयोग करते हैं। | ||
===असतत भारित परिवर्तन=== | ===असतत भारित परिवर्तन=== | ||
असतत भारित परिवर्तन (डीडब्ल्यूटी) | असतत भारित परिवर्तन (डीडब्ल्यूटी) इच्छानुसार वलय पर असतत फूरियर रूपांतरण पर एक भिन्नता है जिसमें वजन सदिश द्वारा तत्ववार गुणा करके इसे बदलने से पहले इनपुट को वजन कार्य करना सम्मिलित है, फिर परिणाम को दूसरे सदिश द्वारा भारित करना।<ref>{{Citation | last1 = Crandall | first1 = Richard | last2 = Fagin | first2 = Barry | title = Discrete weighted transforms and large-integer arithmetic | journal = Mathematics of Computation | volume = 62 | issue = 205 | year = 1994 | pages = 305–324 | url = http://www.faginfamily.net/barry/Papers/Discrete%20Weighted%20Transforms.pdf | doi=10.2307/2153411| jstor = 2153411 | doi-access = free }}</ref> अपरिमेय आधार असतत भारित परिवर्तन इसका एक विशेष स्थिति है। | ||
==गुण== | ==गुण== | ||
व्युत्क्रम परिवर्तन, | व्युत्क्रम परिवर्तन, कनवल्शन प्रमेय और सबसे तेज फूरियर रूपांतरण (एफएफटी) एल्गोरिदम सहित सम्मिश्र डीएफटी की अधिकांश महत्वपूर्ण विशेषताएं, केवल इस संपत्ति पर निर्भर करती हैं कि रूपांतरण का कर्नेल एकता की प्रमुख जड़ है। ये गुण, समान प्रमाणों के साथ, इच्छानुसार छल्लों पर भी लागू होते हैं। क्षेत्र के मामले में, इस सादृश्य को एक तत्व के साथ क्षेत्र द्वारा औपचारिक रूप दिया जा सकता है, विस्तार क्षेत्र <math>\mathbf{F}_{1^n}.</math> पर बीजगणित के रूप में एकता की आदिम nवीं जड़ वाले किसी भी क्षेत्र पर विचार किया जा सकता है। | ||
विशेष रूप से, की | विशेष रूप से, एनटीटी की गणना करने के लिए <math>O(n \log n)</math> फास्ट फूरियर रूपांतरण एल्गोरिदम की प्रयोज्यता, कनवल्शन प्रमेय के साथ मिलकर, इसका अर्थ है कि संख्या-सैद्धांतिक परिवर्तन पूर्णांक अनुक्रमों के स्पष्ट कनवल्शन की गणना करने का एक कुशल विधि देता है। जबकि सम्मिश्र डीएफटी समान कार्य कर सकता है, यह परिमित-परिशुद्धता फ़्लोटिंग पॉइंट अंकगणित में राउंड-ऑफ त्रुटि के लिए अतिसंवेदनशील है; एनटीटी का कोई राउंड-ऑफ नहीं है क्योंकि यह पूरी तरह से निश्चित आकार के पूर्णांकों से संबंधित है जिन्हें स्पष्ट रूप से दर्शाया जा सकता है। | ||
==तेज़ एल्गोरिदम== | ==तेज़ एल्गोरिदम== | ||
एक तेज एल्गोरिदम के कार्यान्वयन के लिए (फूरियर | एक तेज एल्गोरिदम के कार्यान्वयन के लिए (फूरियर रूपांतरण कितनी तेजी से असतत फूरियर रूपांतरण की गणना करता है) यह अधिकांशतः वांछनीय होता है कि रूपांतरण लंबाई भी अत्यधिक समग्र हो, उदाहरण के लिए, [[दो की शक्ति]]। चूँकि परिमित क्षेत्रों के लिए विशेष तेज़ फूरियर रूपांतरण एल्गोरिदम हैं, जैसे वांग और झू का एल्गोरिदम,<ref>[[Yao Wang]] and Xuelong Zhu, "A fast algorithm for the Fourier transform over finite fields and its VLSI implementation", IEEE Journal on Selected Areas in Communications 6(3)572–577, 1988</ref> जो परिवर्तन लंबाई कारकों की परवाह किए बिना कुशल हैं। | ||
==यह भी देखें== | ==यह भी देखें== | ||
*असतत फूरियर रूपांतरण|असतत फूरियर रूपांतरण ( | *असतत फूरियर रूपांतरण|असतत फूरियर रूपांतरण (सम्मिश्र) | ||
*परिमित समूहों पर फूरियर रूपांतरण | *परिमित समूहों पर फूरियर रूपांतरण | ||
*[[गॉस राशि]] | *[[गॉस राशि]] | ||
Line 174: | Line 172: | ||
* http://www.apfloat.org/ntt.html | * http://www.apfloat.org/ntt.html | ||
{{DEFAULTSORT:Discrete Fourier Transform (General)}} | {{DEFAULTSORT:Discrete Fourier Transform (General)}} | ||
[[Category: | [[Category:CS1 English-language sources (en)|Discrete Fourier Transform (General)]] | ||
[[Category:Created On 04/07/2023]] | [[Category:Created On 04/07/2023|Discrete Fourier Transform (General)]] | ||
[[Category:Machine Translated Page|Discrete Fourier Transform (General)]] | |||
[[Category:Templates Vigyan Ready|Discrete Fourier Transform (General)]] | |||
[[Category:फूरियर विश्लेषण|Discrete Fourier Transform (General)]] |
Latest revision as of 11:51, 30 August 2023
गणित में, एक वलय पर असतत फूरियर रूपांतरण एक फलन के असतत फूरियर रूपांतरण (डीएफटी) को सामान्यीकृत करता है, जिसके मान सामान्यतः एक इच्छानुसार वलय (गणित) पर सम्मिश्र संख्याएं होते हैं।
परिभाषा
होने देना कोई भी वलय हो (गणित), चलो एक पूर्णांक हो, और चलो एकता का एक प्रमुख मूल बनें और एकता की मूल जड़ बनें, इसे निम्न द्वारा परिभाषित किया गया है:[1]
असतत फूरियर R के तत्वों के n-टपल को दूसरे n-टपल में बदल देता है। R के तत्वों का निम्नलिखित सूत्र के अनुसार:
परंपरा के अनुसार, टुपल को समय डोमेन में कहा जाता है और सूचकांक j को समय कहा जाता है। टपल को आवृत्ति डोमेन में कहा जाता है और सूचकांक को आवृत्ति कहा जाता है। टपल को का स्पेक्ट्रम भी कहा जाता है। यह शब्दावली सिग्नल प्रोसेसिंग में फूरियर रूपांतरण के अनुप्रयोगों से ली गई है।
यदि R एक अभिन्न डोमेन है (जिसमें क्षेत्र सम्मिलित हैं), तो को एकता की आदिम nवीं जड़ के रूप में चुनना पर्याप्त है, जो नियम (1) को प्रतिस्थापित करता है:[1]
- के लिए
प्रमाण: लो साथ . तब से , , देना:
जहां योग (1) से मेल खाता है। तब से एकता की आदिम जड़ है, . तब से एक अभिन्न डोमेन है, योग शून्य होना चाहिए। ∎
एक और सरल नियम उस स्थिति में प्रयुक्त होती है जहां n दो की घात है: (1) को से प्रतिस्थापित किया जा सकता है।[1]
उलटा
असतत फूरियर रूपांतरण का व्युत्क्रम इस प्रकार दिया गया है:
जहाँ , R में n का गुणात्मक व्युत्क्रम है (यदि यह व्युत्क्रम उपस्थित नहीं है, तो डीएफटी को विपरीत नहीं किया जा सकता है)।
प्रमाण: (3) के दाईं ओर (2) रखने पर, हमें प्राप्त होता है
ये बिल्कुल समान है , क्योंकि
जब (द्वारा (1) के साथ ), और जब . ∎
आव्यूह सूत्रीकरण
चूंकि असतत फूरियर रूपांतरण एक रैखिक ऑपरेटर है, इसलिए इसे आव्यूह गुणन द्वारा वर्णित किया जा सकता है। आव्यूह नोटेशन में असतत फूरियर रूपांतरण निम्नानुसार व्यक्त किया गया है:
इस परिवर्तन के आव्यूह को डीएफटी आव्यूह कहा जाता है।
इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण के लिए आव्यूह नोटेशन है
बहुपद सूत्रीकरण
कभी-कभी औपचारिक बहुपद के साथ -ट्यूपल की पहचान करना सुविधाजनक होता है
असतत फूरियर रूपांतरण (2) की परिभाषा में सारांश लिखकर, हम प्राप्त करते हैं:
इसका अर्थ यह है कि , के लिए बहुपद का मान मात्र है।
इसलिए फूरियर रूपांतरण को बहुपद के गुणांकों और मूल्यों से संबंधित देखा जा सकता है: गुणांक समय-क्षेत्र में हैं, और मान आवृत्ति डोमेन में हैं। यहां निश्चित रूप से, यह महत्वपूर्ण है कि बहुपद का मूल्यांकन एकता की वीं जड़ों पर किया जाता है, जो बिल्कुल की शक्तियां हैं।
इसी प्रकार, व्युत्क्रम फूरियर रूपांतरण (3) की परिभाषा लिखी जा सकती है:
साथ
इस का अर्थ है कि
हम इसे इस प्रकार संक्षेप में प्रस्तुत कर सकते हैं: यदि का मान का गुणांक है तो का मान एक अदिश कारक और पुनर्क्रमण तक का गुणांक है।[2]
विशेष स्थिति
सम्मिश्र संख्याएँ
यदि सम्मिश्र संख्याओं का क्षेत्र है, तो एकता की जड़ों को सम्मिश्र तल के इकाई वृत्त पर बिंदुओं के रूप में देखा जा सकता है। इस स्थिति में, सामान्यतः कोई लेता है
जो असतत फूरियर रूपांतरण के लिए सामान्य सूत्र उत्पन्न करता है:
सम्मिश्र संख्याओं पर अधिकांशतः डीएफटी के लिए सूत्र में 1 और व्युत्क्रम के लिए सूत्र में के अतिरिक्त दोनों सूत्रों में अदिश कारक का उपयोग करके डीएफटी और व्युत्क्रम डीएफटी के लिए सूत्रों को सामान्य करने की प्रथा है। डीएफटी. इस सामान्यीकरण के साथ, डीएफटी आव्यूह तब एकात्मक होता है। ध्यान दें कि किसी इच्छानुसार क्षेत्र में का कोई अर्थ नहीं है।
परिमित क्षेत्र
यदि एक सीमित क्षेत्र है, जहां एक अभाज्य संख्या शक्ति है, तो एक आदिम का अस्तित्व मूल स्वतः ही इसका तात्पर्य करता है कि को विभाजित करता है, क्योंकि प्रत्येक तत्व के गुणक क्रम को गुणक समूह के आकार को विभाजित करना होगा , जो है यह विशेष रूप से यह सुनिश्चित करता है विपरीत है, जिससे अंकन (3) में समझ में आता है।
पर असतत फूरियर रूपांतरण का एक अनुप्रयोग कोडिंग सिद्धांत में रीड-सोलोमन कोड को बीसीएच कोड में कम करना है। इस तरह के परिवर्तन को उचित तेज एल्गोरिदम के साथ कुशलतापूर्वक किया जा सकता है, उदाहरण के लिए साइक्लोटोमिक फास्ट फूरियर रूपांतरण होता है।
संख्या-सैद्धांतिक परिवर्तन
संख्या-सैद्धांतिक परिवर्तन (एनटीटी)[3] असतत फूरियर रूपांतरण को में विशेषज्ञता द्वारा प्राप्त किया जाता है, पूर्णांक मॉड्यूल एक अभाज्य p यह एक परिमित क्षेत्र है, और जब भी n, को विभाजित करता है तो एकता की आदिम nवीं जड़ें उपस्थित होती हैं, इसलिए हमारे पास एक सकारात्मक पूर्णांक ξ के लिए है। विशेष रूप से, मान लीजिए कि एकता का एक आदिम वाँ मूल है, तो एकता का nवाँ मूल ,मानकर पाया जा सकता है।
जैसे के लिए , : जब
संख्या सैद्धांतिक परिवर्तन वलय में सार्थक हो सकता है, तब भी जब मापांक m अभाज्य नहीं है, परन्तु क्रम n का एक प्रमुख मूल उपस्थित हो। संख्या सैद्धांतिक परिवर्तन के विशेष स्थिति जैसे कि फ़र्मेट नंबर रूपांतरण (m = 2k+1), जो शॉनहेज-स्ट्रैसेन एल्गोरिदम द्वारा उपयोग किया जाता है, या मेर्सन नंबर रूपांतरण [4] (m = 2k − 1) एक समग्र मापांक का उपयोग करते हैं।
असतत भारित परिवर्तन
असतत भारित परिवर्तन (डीडब्ल्यूटी) इच्छानुसार वलय पर असतत फूरियर रूपांतरण पर एक भिन्नता है जिसमें वजन सदिश द्वारा तत्ववार गुणा करके इसे बदलने से पहले इनपुट को वजन कार्य करना सम्मिलित है, फिर परिणाम को दूसरे सदिश द्वारा भारित करना।[5] अपरिमेय आधार असतत भारित परिवर्तन इसका एक विशेष स्थिति है।
गुण
व्युत्क्रम परिवर्तन, कनवल्शन प्रमेय और सबसे तेज फूरियर रूपांतरण (एफएफटी) एल्गोरिदम सहित सम्मिश्र डीएफटी की अधिकांश महत्वपूर्ण विशेषताएं, केवल इस संपत्ति पर निर्भर करती हैं कि रूपांतरण का कर्नेल एकता की प्रमुख जड़ है। ये गुण, समान प्रमाणों के साथ, इच्छानुसार छल्लों पर भी लागू होते हैं। क्षेत्र के मामले में, इस सादृश्य को एक तत्व के साथ क्षेत्र द्वारा औपचारिक रूप दिया जा सकता है, विस्तार क्षेत्र पर बीजगणित के रूप में एकता की आदिम nवीं जड़ वाले किसी भी क्षेत्र पर विचार किया जा सकता है।
विशेष रूप से, एनटीटी की गणना करने के लिए फास्ट फूरियर रूपांतरण एल्गोरिदम की प्रयोज्यता, कनवल्शन प्रमेय के साथ मिलकर, इसका अर्थ है कि संख्या-सैद्धांतिक परिवर्तन पूर्णांक अनुक्रमों के स्पष्ट कनवल्शन की गणना करने का एक कुशल विधि देता है। जबकि सम्मिश्र डीएफटी समान कार्य कर सकता है, यह परिमित-परिशुद्धता फ़्लोटिंग पॉइंट अंकगणित में राउंड-ऑफ त्रुटि के लिए अतिसंवेदनशील है; एनटीटी का कोई राउंड-ऑफ नहीं है क्योंकि यह पूरी तरह से निश्चित आकार के पूर्णांकों से संबंधित है जिन्हें स्पष्ट रूप से दर्शाया जा सकता है।
तेज़ एल्गोरिदम
एक तेज एल्गोरिदम के कार्यान्वयन के लिए (फूरियर रूपांतरण कितनी तेजी से असतत फूरियर रूपांतरण की गणना करता है) यह अधिकांशतः वांछनीय होता है कि रूपांतरण लंबाई भी अत्यधिक समग्र हो, उदाहरण के लिए, दो की शक्ति। चूँकि परिमित क्षेत्रों के लिए विशेष तेज़ फूरियर रूपांतरण एल्गोरिदम हैं, जैसे वांग और झू का एल्गोरिदम,[6] जो परिवर्तन लंबाई कारकों की परवाह किए बिना कुशल हैं।
यह भी देखें
- असतत फूरियर रूपांतरण|असतत फूरियर रूपांतरण (सम्मिश्र)
- परिमित समूहों पर फूरियर रूपांतरण
- गॉस राशि
- संकल्प
- न्यूनतम-वर्ग वर्णक्रमीय विश्लेषण
- गुणा एल्गोरिथ्म
संदर्भ
- ↑ 1.0 1.1 1.2 Martin Fürer, "Faster Integer Multiplication", STOC 2007 Proceedings, pp. 57–66. Section 2: The Discrete Fourier Transform.
- ↑ R. Lidl and G. Pilz. Applied Abstract Algebra, 2nd edition. Wiley, 1999, pp. 217–219.
- ↑ Agarwal, R.; Burrus, C. (April 1974). "फ़र्मेट नंबर का उपयोग करके तेज़ कन्वोल्यूशन अनुप्रयोगों के साथ डिजिटल फ़िल्टरिंग में बदल जाता है". IEEE Transactions on Acoustics, Speech, and Signal Processing (in English). 22 (2): 87–97. doi:10.1109/TASSP.1974.1162555. ISSN 0096-3518.
- ↑ Rader, C.M. (December 1972). "मेर्सन ट्रांसफॉर्म्स के माध्यम से अलग-अलग संकल्प". IEEE Transactions on Computers. C-21 (12): 1269–1273. doi:10.1109/T-C.1972.223497. ISSN 0018-9340. S2CID 1939809.
- ↑ Crandall, Richard; Fagin, Barry (1994), "Discrete weighted transforms and large-integer arithmetic" (PDF), Mathematics of Computation, 62 (205): 305–324, doi:10.2307/2153411, JSTOR 2153411
- ↑ Yao Wang and Xuelong Zhu, "A fast algorithm for the Fourier transform over finite fields and its VLSI implementation", IEEE Journal on Selected Areas in Communications 6(3)572–577, 1988