A related transform is the discrete cosine transform (DCT), which is equivalent to a DFT of real and even functions.
|
Formally, the discrete sine transform is a linear, invertible function F : Rn -> Rn (where R denotes the set of real numbers). There are several variants of the DST with slightly modified definitions. The n real numbers x0, ...., xn-1 are transformed into the n real numbers f0, ..., fn-1 according to one of the formulas:
A DST-I of n=3 real numbers abc is exactly equivalent to a DFT of eight real numbers 0abc0(-c)(-b)(-a) (odd symmetry). (In contrast, DST types II-IV involve a half-sample shift in the equivalent DFT.)
Thus, the DST-I corresponds to the boundary conditions: xk is odd around k=-1 and odd around k=n; similarly for fj.
\sum_{k=0}^{n-1} x_k \sin \left[\frac{\pi}{n} (j+1) (k+1/2) \right]</math>
Some authors further multiply the fn-1 term by 1/√2 (see below for the corresponding change in DST-III); this does not affect the basic properties, but breaks the direct correspondence with a real-odd DFT of half-shifted input.
The DST-II implies the boundary conditions: xk is odd around k=-1/2 and odd around k=n-1/2; fj is odd around j=-1 and even around j=n-1.
\sum_{k=0}^{n-2} x_k \sin \left[\frac{\pi}{n} (j+1/2) (k+1) \right]</math>
Some authors further multiply the xn-1 term by √2 (see above for the corresponding change in DST-II); this does not affect the basic properties, but breaks the direct correspondence with a real-odd DFT of half-shifted output.
The DST-III implies the boundary conditions: xk is odd around k=-1 and even around k=n-1; fj is odd around j=-1/2 and odd around j=n-1/2.
\sum_{k=0}^{n-1} x_k \sin \left[\frac{\pi}{n} (j+1/2) (k+1/2) \right]</math>
The DST-IV implies the boundary conditions: xk is odd around k=-1/2 and even around k=n-1/2; similarly for fj.
In principle, there are actually four additional types of discrete sine transform (Martucci, 1994), corresponding to real-odd DFTs of logically odd order, which have factors of n+1/2 in the denominators of the sine arguments. However, these variants seem to be rarely used in practice.
The inverse of DST-I is DST-I multiplied by 2/(n+1). The inverse of DST-IV is DST-IV multiplied by 2/n. The inverse of DST-II is DST-III multiplied by 2/n (and vice versa).
Like for the DFT, the normalization factor in front of these transform definitions is merely a convention and differs between treatments. For example, some authors multiply the transforms by <math>\sqrt{2/n}</math> so that the inverse does not require any additional multiplicative factor.
Although the direct application of these formulas would require O(n2) operations, as in the fast Fourier transform (FFT) it is possible to compute the same thing with only O(n log n) complexity by factorizing the computation. (One can also compute DSTs via FFTs combined with O(n) pre- and post-processing steps.)
DSTs are widely employed in solving partial differential equations by spectral methods, where the different variants of the DST correspond to slightly different odd/even boundary conditions at the two ends of the array.
Search Encyclopedia
|
Featured Article
|