فوریهٔ زمان‌گسسته: DTFS، DTFT و DFT

۱. ایدهٔ اصلی

یک سیگنال زمان‌گسسته $x[n]$ را می‌توان به‌صورت مجموعی از نمایی‌های مختلط $e^{j\Omega n}$ نوشت. اینکه از کدام ابزار فوریه استفاده کنید فقط به دامنهٔ $x[n]$ بستگی دارد:

تنها واقعیتی که همه‌چیز را سامان می‌دهد: چون $n$ عددی صحیح است، $e^{j\Omega n}=e^{j(\Omega+2\pi)n}$، پس هر طیف زمان‌گسسته نسبت به $\Omega$ متناوب با دورهٔ $2\pi$ است. DTFS روی $N$ نقطه از یک دوره قرار دارد؛ DTFT یک منحنی پیوسته روی یک دوره است؛ DFT همان منحنی را در $N$ نقطهٔ هم‌فاصله نمونه‌برداری می‌کند. این‌ها یک نظریهٔ واحدند که با سه دقت تفکیک مختلف دیده می‌شود.

واقعیت سامان‌دهندهٔ دوم به همان اندازهٔ اولی ارزش دارد: مجموع تحلیل یک سری توانی برحسب $e^{-j\Omega}$ است که ضرایب آن همان نمونه‌ها هستند. هرگاه بتوان طیفی را به‌صورت $\sum_n c_n e^{-j\Omega n}$ نوشت، دنباله به‌سادگی $x[n]=c_n$ است — هیچ انتگرالی لازم نیست. بیشتر سؤال‌های «سخت» DTFT به‌محض بازنویسی طیف در این قالب فرو می‌ریزند.

۲. فرمول‌های کلیدی

۲.۱ سه زوج تبدیل

DTFT (نامتناوب). تحلیل و سنتز:

انتگرال سنتز روی هر بازه‌ای به طول $2\pi$ گرفته می‌شود. با قراردادن $n=0$ اتحاد مفید $x[0]=\tfrac{1}{2\pi}\int_{2\pi}X(e^{j\Omega})\,d\Omega$ به دست می‌آید، و نیز $X(e^{j0})=\sum_n x[n]$.

DTFS (متناوب، با دورهٔ تناوب $N$). با $\Omega_0 = 2\pi/N$:

ضرایب خودشان نسبت به $k$ متناوب با دورهٔ $N$ هستند: $a_{k+N}=a_k$. فقط $N$ تا از آن‌ها متمایزند. دو مقدار رایگان به دست می‌آید: $a_0=\tfrac1N\sum_{n=\langle N\rangle}x[n]$ (میانگین) و $\sum_{k=\langle N\rangle}a_k=x[0]$.

DFT (طول محدود $N$). $X[k]$ همان DTFT نمونه‌برداری‌شده در $\Omega_k = 2\pi k/N$ است (معادلاً $N\cdot a_k$ مربوط به گسترش متناوب):

۲.۲ زوج‌های DTFT که باید در نگاه اول شناخت

نسبت $\sin(L\Omega/2)/\sin(\Omega/2)$ همان هستهٔ دیریکله (سینک متناوب) است — همتای زمان‌گسستهٔ تابع سینک. این نسبت، تبدیلِ رشته‌ای از $L$ عدد یک است؛ مقدار آن در $\Omega=0$ برابر $L$ است. سطر مثلثی از همین نتیجه می‌شود: مثلث $L-\lvert n\rvert$ کانولوشن یک پالس به طول $L$ با وارونِ زمانی خودش است، پس تبدیل آن مجذور اندازهٔ هسته است.

۲.۳ خواص DTFT

هر سطر یک عمل زمانی را به یک عمل طیفی نگاشت می‌کند.

تقارن سیگنال حقیقی. اگر $x[n]$ حقیقی باشد، $X(e^{j\Omega}) = X^{*}(e^{-j\Omega})$ (تقارن مزدوج): $|X|$ زوج و $\angle X$ فرد است. برای یک سیگنال متناوب حقیقی، معادل آن در DTFS عبارت است از $a_k^{*}=a_{-k}=a_{N-k}$.

قسمت‌های حقیقی و موهومی یک طیف. چون $X^{*}(e^{j\Omega})\leftrightarrow x^{*}[-n]$، گرفتن قسمت حقیقی یا موهومی یک طیف، دنباله را به قسمت‌های مزدوج‌متقارن و مزدوج‌پادمتقارنش تجزیه می‌کند:

به‌طور دوگان، $\mathrm{Re}\{x[n]\}\leftrightarrow\tfrac12\left[X(e^{j\Omega})+X^{*}(e^{-j\Omega})\right]$. برای $x[n]$ حقیقی این روابط به «قسمت زوج $\leftrightarrow$ قسمت حقیقی» و «قسمت فرد $\leftrightarrow$ $j\,\times$ قسمت موهومی» ساده می‌شوند.

تغییر آفینِ آرگومان فرکانس. برای هر عدد صحیح ناصفر $c$ (منفی هم مجاز است) و هر عدد صحیح $n_0$:

همین یک خط، تأخیر ($c=1$)، وارون‌سازی ($c=-1$)، انبساط ($c=m>0$) و هر ترکیبی از آن‌ها را در بر دارد. اثبات آن با جایگذاری مجموع تحلیل انجام می‌شود: $e^{-j\Omega n_0}\sum_k x[k]e^{-j\Omega ck}$ نمونهٔ $x[k]$ را در مکان $n=ck+n_0$ قرار می‌دهد.

پارسوال (انرژی/توان).

صورت دوسیگنالی (تعمیم‌یافته) عبارت است از $\sum_n x[n]\,y^{*}[n]=\tfrac{1}{2\pi}\int_{2\pi}X(e^{j\Omega})\,Y^{*}(e^{j\Omega})\,d\Omega$.

انتگرال یک طیف در برابر یک هارمونیک. معادلهٔ سنتز را وارونه بخوانید — انتگرال روی یک دوره، یک نمونه است:

۲.۴ خواص DTFS

فرض کنید $x[n]\leftrightarrow a_k$ و $y[n]\leftrightarrow b_k$، هر دو با دورهٔ تناوب $N$ و $\Omega_0=2\pi/N$.

انتقال به اندازهٔ نیم‌دوره ($N$ زوج). با قراردادن $n_0=-N/2$ در سطر انتقال داریم $x[n+N/2]\leftrightarrow e^{jk\pi}a_k=(-1)^{k}a_k$. بنابراین

حالت اول پادتقارن نیم‌موج است (فقط هارمونیک‌های فرد)؛ حالت دوم صرفاً می‌گوید دورهٔ تناوب واقعی $N/2$ است.

دوگانی تُنُکی–تناوب. فرض کنید $M$ مقسوم‌علیه $N$ باشد. طبق سطر مدولاسیون، $a_{k-M}=a_k$ برای همهٔ $k$ها یعنی $\left(e^{jM\Omega_0 n}-1\right)x[n]=0$ برای همهٔ $n$ها، پس $x[n]$ فقط در جاهایی می‌تواند ناصفر باشد که $Mn/N$ عددی صحیح است:

گزارهٔ قرینه نقش‌ها را عوض می‌کند: $x[n+L]=x[n]$ با $L$ مقسوم‌علیه $N$ (دورهٔ تناوب واقعیِ کوتاه‌تر) $\Longleftrightarrow$ $a_k=0$ مگر آنکه $k$ مضربی از $N/L$ باشد. متناوب‌بودن در یک حوزه به معنای تُنُک‌بودن در حوزهٔ دیگر است.

۲.۵ از دنبالهٔ متناوب به قطار ضربهٔ زمان‌پیوسته

نمونه‌های یک دنباله با دورهٔ تناوب $N$ را روی ضربه‌هایی به فاصلهٔ $T_s$ از هم قرار دهید:

آنگاه $y(t)$ متناوب است با $T=NT_s$ و $\omega_0=2\pi/(NT_s)$، و هر دوره دقیقاً $N$ ضربه دارد. طبق خاصیت غربالی،

پس ضرایب سری فوریهٔ زمان‌پیوسته همان دنباله‌اند که در $1/T_s$ ضرب شده است — مستقل از $N$ — و برخلاف ضرایب یک سیگنال زمان‌پیوستهٔ معمولی، میرا نمی‌شوند: $c_{k+N}=c_k$. (آزمون درستی: $x[n]\equiv1$ در مضارب $N$ دارای $a_k=1$ است که همان ضرایب آشنای قطار ضربه یعنی $1/T_s$ را می‌دهد.) همتای نامتناوب آن $Y(j\omega)=X(e^{j\omega T_s})$ است: تبدیل زمان‌پیوستهٔ قطار ضربهٔ وزن‌دار همان DTFT با $\Omega=\omega T_s$ است.

۳. روش‌ها

۳.۱ استخراج ساختار از یک رابطهٔ طیفی

بسیاری از سؤال‌های آزمون یک رابطهٔ ورودی–خروجی در حوزهٔ فرکانس می‌دهند و می‌پرسند سیستم از چه رده‌ای است، یا ادعایی دربارهٔ تقارن/ضرایب مطرح می‌کنند. روال مطمئن:

1. جمله‌به‌جمله به حوزهٔ زمان ترجمه کنید. هر عمل طیفی را با همتای آن در جدول خواص جایگزین کنید: $e^{-j k\Omega}\!\to$ تأخیر به اندازهٔ $k$؛ $\tfrac{d}{d\Omega}\!\to$ ضرب در $n$؛ $X(e^{jm\Omega})\!\to$ بیش‌نمونه‌برداری $x[n/m]$؛ حاصل‌ضرب تبدیل‌ها $\to$ کانولوشن.
2. رابطهٔ حوزهٔ زمان $y[n]=T\{x\}[n]$ را صریحاً بنویسید.
3. از روی همان رابطه دسته‌بندی کنید.
   • خطی‌بودن: آیا $y$ تابعکی خطی (پیرو اصل جمع آثار) از $x$ است؟ بهره‌های معلومِ وابسته به اندیس مانند $(n-3)$ خطی‌بودن را حفظ می‌کنند.
   • تغییرناپذیری با زمان: آیا انتقال ورودی همان انتقال را در خروجی ایجاد می‌کند؟ بهره‌های وابسته به اندیس و بیش/کم‌نمونه‌برداری آن را از بین می‌برند؛ تأخیر ثابت $e^{-jk\Omega}$ آن را از بین نمی‌برد.
   • علّی‌بودن: آیا $y[n]$ هرگز به $x[m]$ با $m>n$ نیاز دارد؟ بیش‌نمونه‌برداری $x[n/2]$ برای ساختن $y[-2]$ به $x[-1]$ نیاز دارد — غیرعلّی.
4. برای ادعاهای تقارن/حقیقی‌بودن، با آزمونه‌های ساده امتحان کنید. یک انتگرال یا قید اسکالرِ تنها روی $X$، یک معادله برای بی‌نهایت نمونه است — بسیار ضعیف‌تر از آنکه یک ردهٔ تقارن کامل را تحمیل کند. $\delta[n]$، $j\delta[n]$ و یک ضربهٔ انتقال‌یافته $\delta[n-k]$ را امتحان کنید تا «لزوماً حقیقی / زوج / فرد» نقض شود.
5. برای مقیاس‌دهی دورهٔ تناوب در DTFS، همان سیگنال را با دورهٔ تناوب مفروضِ طولانی‌تر دوباره محاسبه کنید: ضرب دورهٔ تناوب در عدد صحیح $m$، هارمونیک $k$ را به هارمونیک $mk$ می‌نگارد و بین آن‌ها صفر می‌گذارد.

۳.۲ وارون‌کردن یک طیف مرکب با جای‌گذاری نمونه‌ها

وقتی طیفی چند عمل را روی هم انباشته است — یک ضریب فاز، آرگومان مقیاس‌شده یا منفی‌شده، مزدوج، قسمت حقیقی — زنجیره‌کردن خواص از حفظ همان جایی است که خطاهای علامت و ترتیب رخ می‌دهد. به‌جای آن:

1. ابتدا $\mathrm{Re}/\mathrm{Im}$ را حذف کنید: $2\,\mathrm{Re}[G]=G+G^{*}$ و $2j\,\mathrm{Im}[G]=G-G^{*}$.
2. مجموع تحلیل را در جملهٔ درونی جایگذاری کنید و یک نمایی واحد $e^{-j\Omega(\cdot)}$ را جمع‌وجور کنید. نما به شما می‌گوید هر نمونهٔ $x[k]$ در کدام اندیس $n$ می‌نشیند — این همان قاعدهٔ آفینِ §2.3 است.
3. جملهٔ مزدوج را با $G^{*}(e^{j\Omega})\leftrightarrow g^{*}[-n]$ مدیریت کنید: در $g$ به‌جای $n$ مقدار $-n$ بگذارید و مزدوج بگیرید.
4. در اندیس‌های خواسته‌شده مقدار بگیرید، و به یاد داشته باشید هر جا اندیس عدد صحیح نباشد $g[n]=0$ است.

۳.۳ محاسبهٔ یک انتگرال مثلثاتی به‌صورت یک نمونه

انتگرالِ روی یک دوره از (نسبت سینوس‌ها) $\times$ (یک کسینوس یا سینوس) تقریباً هیچ‌گاه برای انتگرال‌گیری مستقیم طرح نشده است.

1. تبدیل را بشناسید. $\sin(L\Omega/2)/\sin(\Omega/2)$ رشته‌ای از $L$ عدد یک است؛ مجذور آن مثلث $L-\lvert n\rvert$ است؛ حاصل‌ضرب طیف‌ها کانولوشن دنباله‌هاست.
2. دنبالهٔ $r[n]$ را صریحاً بنویسید — فهرست کوتاهی از اعداد.
3. پاسخ را از §2.3 بخوانید: $\int_{2\pi}R\cos(k\Omega)\,d\Omega=\pi\left(r[k]+r[-k]\right)$، $\int_{2\pi}R\,d\Omega=2\pi r[0]$، و $\int_{2\pi}\lvert X\rvert^{2}d\Omega=2\pi\sum\lvert x[n]\rvert^{2}$.

۳.۴ بازسازی یک دنبالهٔ متناوب از روی قیدهای ضرایب

1. هر شرط را به گزاره‌ای دربارهٔ نمونه‌ها یا دربارهٔ اینکه کدام $a_k$ها صفر می‌شوند تبدیل کنید، با استفاده از §2.4: تغییر علامت در نیم‌دوره هارمونیک‌های زوج را حذف می‌کند؛ متناوب‌بودن $a_k$ نسبت به $k$، دنبالهٔ $x[n]$ را تُنُک می‌کند؛ حقیقی‌بودن $a_{-k}=a_k^{*}$ را می‌دهد.
2. مجهول‌های باقی‌مانده را بشمارید — پس از شرط‌های تُنُکی و تقارن فقط چند نمونه باقی می‌ماند.
3. از شرط(های) عددی استفاده کنید؛ مجموع تحلیل را فقط روی همان نمونه‌ها بنویسید و حل کنید.
4. فقط پس از آن خواستهٔ مسئله را محاسبه کنید (یک مجموع، یک انرژی، یک نمونهٔ خاص). نمونه‌هایی که صفرند همچنان در هر مجموعی از یک تابع از $x[n]$ شرکت دارند.

۴. مثال‌های کوتاهِ حل‌شده

(الف) دسته‌بندی یک سیستم. با فرض $\displaystyle Y(e^{j\Omega}) = e^{-j2\Omega}X(e^{j\Omega}) + \frac{dX(e^{j\Omega})}{d\Omega}$، سیستم را دسته‌بندی کنید.

ترجمه. جملهٔ اول: تأخیر خالص به اندازهٔ $2$، پس $x[n-2]$. جملهٔ دوم: $\tfrac{dX}{d\Omega}\leftrightarrow -j\,n\,x[n]$ (زیرا $n\,x[n]\leftrightarrow j\tfrac{dX}{d\Omega}$). در نتیجه

دسته‌بندی. هر دو جمله نسبت به $x$ خطی‌اند $\Rightarrow$ خطی. بهرهٔ $-jn$ به اندیس $n$ وابسته است $\Rightarrow$ تغییرپذیر با زمان (ورودی را انتقال دهید؛ ضریب $-jn$ دیگر منطبق نمی‌شود). هر نمونهٔ به‌کاررفته، یعنی $x[n-2]$ و $x[n]$، اندیسی $\le n$ دارد $\Rightarrow$ علّی. پس: خطی، تغییرپذیر با زمان، علّی. (توجه کنید که جملهٔ تأخیر به‌تنهایی LTI می‌بود؛ آنچه تغییرناپذیری را از بین برد مشتق فرکانسی است.)

(ب) طیف مرکب. با فرض $Y(e^{j\Omega})=2\,\mathrm{Re}\left[e^{j4\Omega}X(e^{-j2\Omega})\right]$، مقادیر $y[0]$، $y[1]$ و $y[2]$ را بیابید.

قرار دهید $G=e^{j4\Omega}X(e^{-j2\Omega})$، پس $Y=G+G^{*}$. با جایگذاری مجموع تحلیل،

پس $x[k]$ در $n=-4-2k$ می‌نشیند، یعنی $g[n]=x\left[-2-\tfrac n2\right]$ برای $n$ زوج و $0$ برای $n$ فرد (قاعدهٔ آفین با $c=-2$, $n_0=-4$). جملهٔ مزدوج برابر است با $g^{*}[-n]=x^{*}\left[-2+\tfrac n2\right]$. بنابراین برای $n$ زوج،

که نتیجه می‌دهد $y[0]=x[-2]+x^{*}[-2]=2\,\mathrm{Re}\{x[-2]\}$، $y[2]=x[-3]+x^{*}[-1]$ و $y[1]=0$. توجه کنید که دو اندیس همواره نسبت به یک مرکز مشترک (در اینجا $-2$) قرینهٔ یکدیگرند — آزمونی سریع برای هر پاسخ پیشنهادی.

(ج) انتگرالی که به‌صورت نمونه خوانده می‌شود. محاسبه کنید: $\displaystyle I=\int_{-\pi}^{\pi}\frac{\sin^{2}(5\Omega/2)}{\sin^{2}(\Omega/2)}\cos(2\Omega)\,d\Omega$.

عامل اول انتگرال‌ده، تبدیلِ مثلث $r[n]=5-\lvert n\rvert$, $\lvert n\rvert\le4$ است، یعنی $\{1,2,3,4,5,4,3,2,1\}$. بنابراین

بدون کسینوس، همین انتگرال برابر $2\pi r[0]=10\pi$ می‌شد که همان پارسوال برای پنج عدد یک است: $2\pi\cdot5$.

(د) دنباله از روی قیدهای ضرایب. یک دنبالهٔ حقیقی دورهٔ تناوب $N=12$ دارد، با $a_{k+4}=a_k$، $x[n+6]=-x[n]$ و $a_1=\tfrac{1-j}{3}$. دنبالهٔ $x[n]$ و انرژی آن در یک دوره را بیابید.

$a_{k+4}=a_k$ با $M=4$ ایجاب می‌کند $x[n]=0$ مگر آنکه $n$ مضربی از $N/M=3$ باشد، و $x[0],x[3],x[6],x[9]$ باقی می‌مانند. شرط نیم‌دوره می‌دهد $x[6]=-x[0]$ و $x[9]=-x[3]$ — دو مجهول. با $\Omega_0=\pi/6$:

برابرقراردادن با $\tfrac{1-j}{3}$ با نمونه‌های حقیقی می‌دهد $x[0]=2$, $x[3]=2$، پس یک دوره برابر $\{2,0,0,2,0,0,-2,0,0,-2,0,0\}$ و انرژی $4\cdot4=16$ است. وارسی با پارسوال: هارمونیک‌های زوج صفر می‌شوند و هر یک از شش هارمونیک فرد دارای $\lvert a_k\rvert^{2}=\tfrac29$ است، پس $\sum\lvert a_k\rvert^{2}=\tfrac43=\tfrac{16}{12}$. ✓

(ه) قطار ضربه. دنباله‌ای با دورهٔ تناوب $N=5$ ضرایب $a_k$ دارد. ضرایب سری فوریهٔ $y(t)=\sum_n x[n]\,\delta(t-0.5n)$ را بیابید.

$T=NT_s=2.5$ و $c_k=a_k/T_s=2a_k$. دورهٔ تناوب $N$ هیچ نقشی در ضریب مقیاس ندارد؛ فقط $T$ و دورهٔ تناوب $c_k$ نسبت به $k$ را تعیین می‌کند.

۵. گونه‌های رایج و حالت‌های خاص

• مقیاس‌دهی فرکانسی $X(e^{jm\Omega})$. متناظر با بیش‌نمونه‌برداری (درج صفر) است: $x[n/m]$ برای $n$ مضرب $m$، وگرنه $0$. طیف را فشرده/تکرار می‌کند و ذاتاً تغییرپذیر با زمان است — تلهٔ کلاسیکِ «به نظر LTI می‌آید ولی نیست».
• آرگومان منفی $X(e^{-jm\Omega})$. وارون‌سازی و انبساط: $x[-n/m]$ روی مضارب $m$. در ترکیب با یک ضریب فاز، به‌جای اعمال انتقال و وارون‌سازی با ترتیبی حدسی، از قاعدهٔ آفین استفاده کنید — $e^{-j\Omega n_0}X(e^{-j\Omega})\leftrightarrow x[n_0-n]$، نه $x[-n-n_0]$.
• مزدوج در فرکانس در برابر مزدوج در زمان. $X^{*}(e^{j\Omega})\leftrightarrow x^{*}[-n]$ اما $X^{*}(e^{-j\Omega})\leftrightarrow x^{*}[n]$. برای $x[n]$ حقیقی، اولی فقط وارون‌سازی زمانی است.
• طولانی‌کردن دورهٔ تناوب در DTFS. برای یک سیگنال حقیقی با دورهٔ تناوب اصلی $N$، محاسبهٔ ضرایب با دورهٔ $mN$ می‌دهد $b_{mk}=a_k$ و در بقیهٔ جاها صفر؛ هارمونیک واقعی را با حل $mk = (\text{new index})$ بخوانید، سپس برای درایه‌های مزدوج‌شده $a_k^{*}=a_{N-k}$ را اعمال کنید.
• طول پالس زوج در برابر فرد. یک پالس متقارن حول مبدأ به طول فرد $2M+1$ نیاز دارد؛ طول زوج $L$ را نمی‌توان حول یک عدد صحیح متقارن کرد و فاز خطی $e^{-j\Omega(L-1)/2}$ را به همراه دارد. زوجِ مجذور هسته/مثلث برای هر $L$ برقرار است، زیرا فاز در $\lvert\cdot\rvert^{2}$ حذف می‌شود.
• پادتقارن نیم‌موج به $N$ زوج نیاز دارد. برای $N$ فرد نه انتقال نیم‌دوره‌ای وجود دارد و نه گزارهٔ «فقط هارمونیک‌های فرد».
• DFT در برابر DTFS. $X[k]=N a_k$ مربوط به گسترش متناوب — همان اعداد، با نرمال‌سازی متفاوت. FFT صرفاً یک DFT سریع با $O(N\log N)$ است.
• کانولوشن دایره‌ای در برابر خطی. ضرب دو DFT کانولوشن دایره‌ای به پیمانهٔ $N$ می‌دهد؛ برای بازیابی کانولوشن خطی معمولی، تا طول $\ge N_1+N_2-1$ صفر اضافه کنید.
• بهرهٔ ثابت در برابر بهرهٔ وابسته به اندیس. $c\cdot x[n]$ (با $c$ ثابت) LTI است؛ $g[n]\,x[n]$ (با $g[n]$ وابسته به اندیس) خطی ولی تغییرپذیر با زمان است.
• ضریب مقیاس قطار ضربه. $c_k=a_k/T_s$ بر فاصلهٔ ضربه‌ها یعنی $T_s$ تقسیم می‌شود، نه بر $N$: ضریب $1/T=1/(NT_s)$ سری زمان‌پیوسته با مجموع خام $\sum x[n]e^{-jk\Omega_0 n}=N a_k$ روبه‌رو می‌شود و $N$ حذف می‌گردد.

نکتهٔ کنکوری: یک ضریب فاز ثابت $e^{-jk\Omega}$ که در یک DTFT ضرب شود فقط یک تأخیر است — سیستم را LTI نگه می‌دارد. اما دو عملِ $\tfrac{d}{d\Omega}$ (که به وزنِ اندیسیِ $n\,x[n]$ تبدیل می‌شود) و $X(e^{jm\Omega})$ (که به بیش/کم‌نمونه‌برداری تبدیل می‌شود) هر دو تغییرناپذیری با زمان را از بین می‌برند و خطی‌بودن را حفظ می‌کنند، و عملِ نمونه‌برداری می‌تواند علّی‌بودن را هم نقض کند. و هرگز اجازه ندهید یک قید اسکالر/انتگرالیِ تنها روی $X(e^{j\Omega})$ شما را قانع کند که سیگنالی «لزوماً» حقیقی، زوج یا فرد است — یک معادله نمی‌تواند یک ردهٔ تقارن کامل را مشخص کند؛ یک مثال نقض سریع ($\delta[n]$, $j\delta[n]$, $\delta[n-2]$) معمولاً مسئله را فیصله می‌دهد.

نکتهٔ کنکوری: پیش از انتگرال‌گیری یا زنجیره‌کردن خواص، طیف را به‌صورت $\sum_n c_n e^{-j\Omega n}$ بازنویسی کنید. نسبت سینوس‌ها رشته‌ای از یک‌هاست، مجذور آن یک مثلث است، انتگرال در برابر $\cos(k\Omega)$ برابر $\pi\left(r[k]+r[-k]\right)$ است، و آرگومان مقیاس‌شده/منفی‌شده صرفاً هر نمونه را به $n=ck+n_0$ جابه‌جا می‌کند.

تلهٔ رایج: «متناوب نسبت به $k$» و «صفر به‌ازای برخی $k$ها» دو شرط متفاوت با معانی متفاوت در حوزهٔ زمان هستند — اولی $x[n]$ را تُنُک می‌کند، دومی تقارن یا دورهٔ تناوب آن را مقید می‌کند. و وقتی معلوم شد دنباله‌ای عمدتاً صفر است، آن صفرها همچنان در مجموع‌هایی مانند $\sum_n f(x[n])$ به حساب می‌آیند، هرگاه $f(0)\ne0$.