In this section we will describe the reconstruction process of the D-to-C convertor which converts the sequence of discrete-time samples $x[n]$ into the continuous-time signal $x(t)$.
Screencast video [⯈]
Ideal D-to-C convertor
Because of the uniqueness issue in the discrete-time domain, the ideal D-to-C convertor makes a choice which frequencies are used for the conversion to the continuous-time domain. For this reason the ideal D-to-C convertor selects only frequencies which are inside the FI.
Let's start the description of the reconstruction from discrete-time to continuous-time by using again a simple sinusoidal signal from which the sequence of samples is described by $$ x[n] = A \cos (\theta n + \phi). $$ Because of the uniqueness issue we assume that the relative frequency $\theta$ is within the Fundamental Interval (FI), thus $\theta < \pi$. In case this is not true, we first map the relative frequency into the FI. Furthermore we use the relation between relative and absolute frequency given by $$\theta= 2 \pi \frac{f}{f_s},$$ from which we assume as before that the ratio $\frac{f}{f_s}$ is a rational number. Finally, since we have for this simple example the mathematical description of the signal samples as a sinusoidal function, we can obtain the mathematical description of the continuous-time signal $x(t)$ by replacing the integer index $n$ by the continuous-time variable $t \cdot f_s$, leading to $$ x(t) = x[n]|_{n=t \cdot f_s} = A \cos ( 2 \pi \frac{f}{f_s} \cdot f_s \cdot t + \phi) = A \cos (2 \pi f t + \phi) $$ Fig. 1 shows an example where we converted the sequence of samples $x[n]=\cos (0.4 \pi n)= \ldots, 1, 0.3, -0.8, -0.8, 0.3, 1, \ldots $ to the continuous-time signal $x(t)$, with an ideal D-to-C convertor, which runs at a sample rate of $f_s=1000$ [samples/sec]. In Fig. 2 the sequence of input signal samples $x[n]$ is represented in a plot.
Example
A continuous-time input signal $x(t)$ is converted to the discrete-time domain samples $x[n]$ with an ideal C-to-D convertor which runs at a sample rate of $f_{s,in}$ [samples/sec]. After that the samples $x[n]$ are converted back to the continuous-time signal $y(t)$ with an ideal D-to-C convertor which runs at a sample rate of $f_{s,out}$ [samples/sec]. The input signal $x(t)$ and the sample rate $f_{s,in}$ are $x(t) = x_1(t) + x_2(t)$, with $x_1(t)= 4 \cos(400 \pi t + \frac{\pi}{4})$, $x_2(t)= 2 \sin (1000 \pi t - \frac{\pi}{3})$ and $f_{s,in}=600$ [samples/sec]. In first instance we choose the sample rate of the D-to-C convertor equal to the sample rate of the C-to-D convertor, thus $f_{s,out} = f_{s,in}=600$ [samples/sec]. After that we change the sample rate of the D-to-C convertor to $f_{s,out}=900$ [samples/sec].
Calculate an expression for the output signal $y(t)$ in both cases.
Reconstruction D-to-C convertor based on samples $x[n]$
The D-to-C convertor constructs a continuous-time signal $x(t)$, based on the discrete-time samples $x[n]$. In the previous subsection we have seen that for sampled sinusoidal signals the D-to-C convertor in effect replaces the discrete-time integer variable $n$ by the continuous-time variable $t \cdot f_s$. As a result we can construct, for such a case, the continuous-time signal $x(t)$ based on the mathematical description of the sinusoidal function. This procedure is only valid and possible in case of sampled sinusoidal signals and an example is shown at the left-hand side plot of Fig. 3. The continuous-time sinusoidal signal $x(t)$ (in blue) is constructed by replacing $n$ into $t \cdot f_s$ in the sinusoidal description of the samples $x[n]$.
In the more general case the continuous-time output signal $y(t)$ is constructed by placing a continuous-time function $p(t)$ at each new position of a sample $x[n]$ and adding together all the resulting continuous-time signals. This reconstruction is performed via the so called $$ \boxed{ \text{Interpolation equation} \qquad y(t)= \sum_{n=-\infty}^{\infty} x[n] p(t-n \cdot T_s)} $$ in which the continuous-time function $p(t)$ represents the characteristic of the D-to-C convertor. In practice there are many different characteristic forms $p(t)$, e.g. a square pulse: $$ p(t) = \begin{cases} 1, & - \frac{1}{2} T_s < t \leq \frac{1}{2} T_s \newline 0, & \text{otherwise} \end{cases} $$
which leads to the so called ‘zero order hold’ procedure, which is depicted in the middle-part of Fig. 3. In this procedure the electronics of the D-to-C convertor are build in such a way that around each new discrete-time sample a continuous-time signal is constructed which has the same value as the discrete-time sample, while this value is kept constant during one sampling period of $T_s$ [sec]. Thus the reconstructed continuous-time signal looks like a ‘stair-case’ approximation of the sinusoidal signal as depicted (in red) in the left-hand side figure. The electronics needed for this conversion procedure are very simple and cheap. For this reason the ‘zero order hold’ procedure is applied very often in practice.
Another characteristic form of $p(t)$ is a triangular pulse: $$ p(t) = \begin{cases} 1- \frac{|t|}{T_s} , & |t| \leq T_s \newline 0, & \text{otherwise} \end{cases} $$
which leads to the conversion as shown in the right-hand side of Fig. 3. The signal samples are interpolated in a linear way. The reconstructed continuous-time signal looks like a ‘triangular-like’ approximation of the sinusoidal signal as depicted (in red) in the left-hand side figure.
Sampling theorem
From the previous section it follows that for a system as depicted in Fig. 1, with $f_{s,in}=f_{s,out}=f_s$, the output $y(t)$ of the D-to-C convertor is equal to input $x(t)$ of the ideal C-to-D convertor if the continuous-time signal $x(t)$ contains no frequencies higher than $f_{max}$ and the sampling frequency $f_s$ is larger than $2 \cdot f_{max}$. This results into the following important sampling theorem, which is usually assigned to Shannon, who introduced this theorem around 1940. Almost at the same time Kotelnikov did the same. However some years before the theoretical basis was created by E.T. and J.A. Whittaker. This theorem states: