I try to write down the equations that show how constellation symbols (PSK, QAM etc.) are modulated into a time-continuous signal. I read the articles referenced at the end. However, I am still stuck at how the inverse discrete Fourier transform (IDFT) is supposed to produce the subcarriers at frequencies $f_\mathrm C + n f_\mathrm \Delta$, where $f_\mathrm C$ is the carrier frequency and $f_\mathrm \Delta$ is the frequency distance between two adjacent subcarriers.
The IDFT of the constellation symbols $s_n$ of a single OFDM symbol is: $$ x_k = \sum_{n=0}^{N_\mathrm C - 1} s_n \exp\left( \jmath 2 \pi k n / N_\mathrm C \right) $$ $N_\mathrm C$ is the number of subcarriers. I ignored the cyclic prefix.
To my understanding, the analog signal is produced by using a rectangular pulse shape (of length $T$) before upconversion. \begin{align} x(t) &= \sum_{k=0}^{N_\mathrm C - 1} x_k \mathrm{rect}\left( \frac{t - nT}{T} \right) \\\\ &= \sum_{k=0}^{N_\mathrm C - 1} \sum_{n=0}^{N_\mathrm C - 1} s_n \cdot \exp\left( \jmath 2 \pi k n / N_\mathrm C \right) \cdot \mathrm{rect}\left( \frac{t - nT}{T} \right) \end{align}
Converting this to the frequency domain: \begin{align} X(f) &= \sum_{k=0}^{N_\mathrm C - 1} \sum_{n=0}^{N_\mathrm C - 1} s_n \cdot \exp\left( \jmath 2 \pi k n / N_\mathrm C \right) \cdot \mathrm{sinc}(T f) \cdot \mathrm{exp}\left( -\jmath 2 \pi f n T \right) \cdot T \\\\ &= \sum_{k=0}^{N_\mathrm C - 1} \sum_{n=0}^{N_\mathrm C - 1} s_n \cdot \exp\left( \jmath 2 \pi n T k f_\mathrm \Delta \right) \cdot \mathrm{sinc}(T f) \cdot \mathrm{exp}\left( -\jmath 2 \pi f n T \right) \cdot T & \text{since: } f_\mathrm \Delta = 1 / (N_\mathrm C T) \end{align} Here, $\mathrm{sinc}(q) = \sin(\pi q) / (\pi q)$ is the normalized sinc function.
I cannot see how the IDFT exponentials $\exp\left( \jmath 2 \pi n T k f_\mathrm \Delta \right)$ actually change anything besides the phase since they include $n T$ instead of the continuous time $t$. I see that is similar to the Fourier series of some signal $y(t)$ $$ y(t) = \sum_{n=0}^N c_n \exp\left( \jmath 2 \pi n t / T \right) $$ as indicated in this explanation. But, again, I do not see where the switch to continuous time happens for the IDFT exponentials.
What am I missing here?
Related articles: