موضوع مقاله: تبدیل فوریه گسسته | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # تبدیل فوریه گسسته | مقدمه: بنابراین تبدیل فوریۀ گسسته را نباید با تبدیل فوریۀ یک سیگنال گسسته، که حاصل آن پیوسته است اشتباه گرفت. | ## بخش 1: تبدیل فوریه گسسته | البته تبدیل فوریه گسسته در بررسی الگوریتم‌ها برای ضرب سریع چندجمله‌ایها نیز استفاده می‌شود. تعاریف و ویژگی‌های کلی تعریف ویژگی‌ها کامل بودن کامل بودن تبدیل فوریه بدین معنا است که می‌توان سیگنال اولیه را از سیگنال انتقال یافته دوباره ساخت. به عبارت دیگر با اعمال تبدیل فوریه داده‌ای از دست نمی‌رود و تبدیل بازگشت‌پذیر است. کاربرد در ضرب چندجمله‌ای‌ها علاوه بر این کاربردها، در بررسی الگوریتم‌ها، برای ضرب چند جمله‌ای‌ها نیز از تبدیل فوریه سریع استفاده می‌شود. در این روش ابتدا چندجمله‌ای را به فرم دیگری تبدیل می‌کنیم که انجام عملیات ضرب و تقسیم بر روی این فرم نمایش می‌تواند سریع انجام شود. پس از انجام عملیات، با تبدیل عکس فوریه می‌توان پاسخ را در قالب چندجمله‌ای بدست آورد. فرم‌های نمایش توابع برای نمایش توابع راه‌های گوناگونی وجود دارد، به طور مثال می‌توان یک تابع را با مجموعه اعضا (برای توابع با دامنهٔ محدود)، ضابطهٔ کلی تابع، یک سری مانند بسط تیلور یا بسط فوریه و… نمایش داد. می‌دانیم که در صفحه می‌توان هرچند جمله‌ای از درجه n را با دقیقاً n+1 نقطه از آن به طور یکتا مشخص کرد. مثلاً هر خط راست را می‌توان با دو نقطه از آن به طور یکتا مشخص کرد و برعکس؛ یا این که هر سه نقطه یک سهمی را به طور یکتا تعیین می‌کنند. به طور دقیق تر: برای مثال نمایش‌های زیر هم ارزند: نکته‌ای مهم در این نمایش این است که لازم نیست که مختصات نقاط حقیقی باشند و می‌توان مقدار تابع را در نقاطی مختلط محاسبه کرد و به عنوان نمایش آن تابع دانست. لازم است ذکر شود که اگر یک چندجمله‌ای درجه n را در بیش از تعداد لازم نقطه مقدار یابی کنیم، به آن فرم فوریهٔ گسترش یافته می‌گویند. مثلاً این که سه نقطهٔ هم خط هم یک چندجمله‌ای درجه یک را مشخص می‌کنند، هر چند که یک نقطهٔ آن اضافی است. در نتیجه می‌توان هر چندجمله‌ای در فرم فوریه را با یافتن آن در تعدادی نقاط اضافی، به فرم گسترش یافته تبدیل کرد. این کار نیز در ضرب چند جمله‌ای‌ها لازم است، زیرا اگر دو چندجمله‌ای درجه n را در فرم فوریه داشته باشیم برای بدست آوردن حاصل ضرب آن دو نیاز به تعداد بیش تری نقطه از هر یک داریم. تبدیل فرم‌ها تا این جا دو فرم مهم برای نمایش چندجمله‌ای‌ها ارائه دادیم: فرم فوریه و فرم ضابطه‌ای. به تبدیل از فرم ضابطه‌ای به فرم فوریه، مقدار یابی می‌گویند و به عکس این عمل یعنی تبدیل از فرم فوریه به فرم چندجمله‌ای درون یابی گفته می‌شود. یک الگوریتم برای تبدیل فرم ضابطه‌ای به فرم فوریه، این است که ابتدا n+1 مقدار دلخواه را انتخاب کنیم و سپس مقدار چند جمله‌ای را در این نقاط محاسبه کنیم (مثلاً با الگوریتم هورنر) که زوج مرتب‌های بدست آمده یک فرم فوریه برای چندجمله‌ای خواهند بود. در ادامه نشان می‌دهیم که می‌توان برای هر چندجمله‌ای، فرم فوریه آن را در زمان بدست آورد که به این الگوریتم تبدیل سریع (گسسته ی) فوریه می‌گویند. | ## بخش 2: تبدیل فوریه گسسته | محاسبات روی فرم فوریه نکتهٔ جالب در مورد فرم فوریه برای نمایش چند جمله‌ای‌ها، سادگی انجام برخی محاسبات روی آن است. به طور مثال اگر بخواهیم دو چندجمله‌ای را جمع/ضرب کنیم، کافی است آن دو را با یک سری مقادیر x یکسان به فرم فوریه تبدیل کنیم و سپس مقادیر متناظر هر نقطه از آن دو تابع را با هم جمع/ضرب کنیم. دیده می‌شود که در این فرم اعمالی مانند ضرب یا تقسیم بسیار آسان تر از صورت ضابطه‌ای قابل انجام اند. مسئلهٔ ضرب چندجمله‌ای در این مسئله می‌خواهیم دو چندجمله‌ای از درجه‌های و که به فرم ضابطه‌ای با ضرایب هر توانی از آن‌ها مشخص شده‌اند را در هم ضرب کنیم و ضابطهٔ چندجمله‌ای حاصل را بدست آوریم. حال با توجه به بحث پیش، می‌توان دید که اگر دو چندجمله‌ای داشته باشیم می‌توان ابتدا آن‌ها را در تعدادی نقطهٔ مشترک مقدار یابی کرد و پس از آن فرم فوریهٔ ضرب آن‌ها را از ضرب مولفه‌های دوم زوج مرتب‌های بدست آمده پیدا کرد. باید توجه کرد که حاصل ضرب، یعنی دارای درجه‌ای برابر است پس باید برای نمایش آن به تعداد زوج مرتب از آن را داشته باشیم، به همین منظور می‌توان از ابتدا هر دو چندجمله‌ای را به فرم فوریهٔ گسترش یافته با نقطه تبدیل کرد، و سپس این نقاط را نظیر به نظیر ضرب کرد و حاصل ضرب را در فرم فوریه بدست آورد. پس دوباره با دو مسئله‌ای که به آن‌ها اشاره کردیم روبرو شدیم: تبدیل فرم‌های ضابطه‌ای و فوریه. تبدیل سریع فرم‌ها برای این که بتوانیم از روی فرم ضابطه‌ای چندجمله‌ای، n نقطه از نمودار را بدست آوریم، به گونه‌ای هوشمندانه طوری آن نقطه را انتخاب می‌کنیم که نوعی وابستگی به هم داشته باشند و در نتیجه بتوانیم در کل محاسبات مربوط به پیدا کردن مقدار تابع در آن نقطه را به خاطر همان وابستگی سریع تر انجام دهیم، زیرا عملاً برخی از محاسبات تکراری می‌شوند. تبدیل فوریهٔ ام را ماتریس مقدارهای این چندجمله‌ای در ریشه‌های ام واحد تعریف کرده و با نشان می‌دهیم: به طور بدیهی می‌توان این ماتریس را در زمان محاسبه کرد زیرا محاسبهٔ آن شامل بار محاسبهٔ مقدار چندجمله‌ای است که هر بار آن با روشی مانند الگوریتم هورنر به میزان زمان نیاز دارد. اگر تعریف کنیم: خواهیم داشت: ولی اگر n زوج باشد، مربعات ریشهٔ ام واحد، ریشه‌های ام واحد هستند. زیرا که: پس توانستیم مسئله را به دو زیر مسئله تقسیم کنیم، زیرا اکنون کافی است که ماتریس تبدیل فوریهٔ ها را که از اندازهٔ هستند، در نقاط با مختص اول ریشه‌های ام واحد پیدا کنیم که همان مسئلهٔ ابتدایی است. پس از دو بازگشت، کافی است با رابطهٔ داده شده جواب‌ها را با هم ادغام کنیم تا جواب اصلی مسئله حاصل شود. توجه می‌کنیم که می‌توان تبدیل فوریه را به شکل ماتریسی زیر هم نوشت: که در آن V ماتریس وندرموند است که با رابطهٔ زیر تعریف می‌شود: پس یک معادلهٔ ماتریسی برای تبدیل فوریه یافتیم. حال اگر حدس طرفین معادله را در وارون ماتریس وندرموند ضرب کنیم می‌توانیم A را بر حسب Y بیان کرد؛ ولی به راحتی می‌توان دید که برای وارون ماتریس وندرموند داریم: زیرا که ضرب آن در خود ماتریس وندرموند ماتریس همانی می‌شود: نکتهٔ جالب تشابه بسیار زیاد ماتریس وندرموند و وارون آن است، تا جایی که می‌توان از همان الگوریتم تبدیل فوریهٔ مستقیم برای وارون تبدیل فوریه نیز استفاده کنیم با این تغییرات که در آن الگوریتم، نقش A و Y را جابجا کنیم، را به تبدیل کنیم و تک تک درایه‌ های نتیجهٔ حاصل را در آخر کار بر تقسیم کنیم. نکات پیاده‌سازی با وجود آسان بودن بیان الگوریتم بازگشتی بالا، پیاده‌سازی آن سختی‌های خاص خود را دارد. ۱) اولین مشکل این است که باید در هر مرحله از بازگشت، n عددی زوج باشد، که یعنی n آغازین باید توانی از دو باشد که شاید مسئلهٔ اصلی این شرط را برآورده نکند. برای حل این مشکل، متداول‌ترین راه چندجمله‌ای اولیه است، به این معنی که آن را یک چندجمله‌ای با درجه‌ای بیش از n فرض کرد، مثلاً m که m کوچک‌ترین توان دوی بزرگ‌تر از n باشد، و سپس ضرایب بزرگ‌تر از n آن را صفر گذاشت. این کار به ظاهر مشکل را حل می‌کند و در اکثر کاربردها نیز همین گونه است ولی در برخی موارد مانند پردازش سیگنال، این روش به خاطر ماهیت الگوریتم فوریه که شامل محاسبات مختلط است، دچار خطا شده و حتی در جواب پایانی سیگنال‌هایی با فرکانس بالای اضافه پدید می‌آیند. | ## بخش 3: تبدیل فوریه گسسته | زیرا در هر مرحله باید آرایه را به دو بخش جدید تقسیم کنیم که نیاز به حافظهٔ اضافی دارد. یک روش این است که پیش از فراخوانی بازگشتی مسئله برای اندازهٔ نصف، به جای ایجاد دو آرایهٔ جدید، عناصر آرایهٔ اولیه را جابجا کنیم و عناصر با اندیس زوج را به نیمهٔ اول آرایه و عناصر با اندیس فرد را به نیمهٔ دوم آرایه انتقال دهیم و پس از اتمام بازگشت نیز دوباره ترتیب قبلی را بازیابی کنیم. همچنین خود بازگشتی بودن الگوریتم کمی سربار اضافی دارد که می‌توان سعی کرد که آن را به فرم غیر بازگشتی پیاده‌سازی کرد. با اعمال این دو تغییر به پیاده‌سازی کاراتری خواهیم رسید که در بخش بعد به توضیح آن می‌پردازیم. ۳) مشکل بنیادی تری که الگوریتم تبدیل سریع فوریه دارد این است که حتی زمانی که چند جمله‌ای اولیه دارای ضرایب صحیح باشد، نیاز به محاسبات مختلط پیش می‌آید. با این که این گونه محاسبات در رایانه‌های پیشرفتهٔ امروزی به راحتی و با سرعت قابل قبولی انجام پذیر است، ولی مشکلی که وجود دارد این است که شاید در طی این محاسبات مختلط، بخشی از دقت محاسبه کم شود. به بیان دقیق تر این الگوریتم از لحاظ محاسباتی پایداری کمی دارد و خطای اولیه به شدت تشدید می‌شود. این مشکل برای حالتی که ضرایب صحیح باشند با استفاده از حساب پیمانه‌ای به جای حساب مختلط قابل حل است ولی بیش از این به جزئیات آن نمی‌پردازیم. روش‌های پیاده‌سازی سریع اگر به روش بازگشت تابع بازگشتی فوق دقت کنیم خواهیم دید که ترتیب خاصی در فراخوانی زیر تابع‌ها وجود دارد. یعنی عملاً به جای رویکرد بالا به بایین از روش بایین به بالا بهره بردیم که باعث سادگی بیاده سازی و کارایی بیش تر آن می‌شود. این الگوریتم منحصر به این مبحث نیست و در بسیاری از تابع‌های بازگشتی مورد استفاده قرار می‌گیرد. به این معنی که مراحل اولیهٔ ادغام بخش‌های مختلف آرایه می‌توانند مستقل از هم انجام شوند. به این ترتیب اگر ما بیش از یک پردازنده داشته باشیم به راحتی می‌توان بهترین استفاده از این موضوع را برد و مراحل اولیه را بین پردازنده‌ها تقسیم کنیم. در پایان نیز می‌توان عمل ادغام نهایی کار پردازنده‌ها را مشابها با یک پردازنده انجام داد و به جواب رسید. در الگوریتم DFT که در بالا آمده بخش اصلی پردازش مربوط به سه خط درونی حلقهٔ برنامه است. حال اگر به این فرایند یک عملیات پروانه‌ای بگوییم می‌توان گفت که کل تبدیل فوریه بر اساس عملیات‌های پروانه‌ای انجام می‌شود. به طور خلاصه در این نظریه فرض می‌شود که تعداد زیادی پردازنده داریم (متناسب با n) که هر کدام تنها می‌توانند عمل خاصی را انجام دهند مانند مقایسه یا… حال شبکه‌ای طراحی می‌شود که داده‌ها با عبور از آن و پردازش شدن در حین عبور در انتهای شبکه فرم دلخواه را بگیرند (و به جواب برسیم). با استفاده از این نظریه در حالتی که n پردازنده داشته باشیم (که هر یک بتوانند عملیات پروانه‌ای روی دو یا چند ورودی خود انجام دهند) می‌توان با شبکه‌ای با عمق lg n تبدیل فوریه را محاسبه کرد. | ## جمع‌بندی | ایدهٔ کلی بسیار ساده است به این صورت که در درخت بازگشت که یک مثال آن در بالا رسم شده است راس‌های برگ را ورودی فرض کنیم و به جای هر راس غیر برگ یک پردازنده قرار دهیم.