Let and be given. Set and define
| 30.15.1 | |||
| , | |||
|
ⓘ
| |||
| 30.15.2 | |||
|
ⓘ
| |||
see §30.11(v).
| 30.15.3 | |||
|
ⓘ
| |||
| 30.15.4 | |||
|
ⓘ
| |||
| 30.15.5 | |||
|
ⓘ
| |||
where
| 30.15.6 | |||
|
ⓘ
| |||
Equations (30.15.4) and (30.15.6) show that the functions are -bandlimited, that is, their Fourier transform vanishes outside the interval .
| 30.15.7 | ||||
|
ⓘ
| ||||
| 30.15.8 | ||||
|
ⓘ
| ||||
The sequence , forms an orthonormal basis in the space of -bandlimited functions, and, after normalization, an orthonormal basis in .
The maximum (or least upper bound) of all numbers
| 30.15.9 | |||
|
ⓘ
| |||
taken over all subject to
| 30.15.10 | ||||
|
ⓘ
| ||||
for (fixed) , is given by
| 30.15.11 | |||
|
ⓘ
| |||
or equivalently,
| 30.15.12 | |||
|
ⓘ
| |||
The corresponding function is given by
| 30.15.13 | ||||
|
ⓘ
| ||||
If , then .