Sine and cosine transforms

 

The Fourier sine transform of ${\displaystyle f(t)}$  is:^{[note 1]}

If ${\displaystyle t}$  means time, then ${\displaystyle \xi }$  is frequency in cycles per unit time,^{[note 2]} but in the abstract, they can be any dual pair of variables (e.g. position and spatial frequency).

The sine transform is necessarily an odd function of frequency, i.e. for all ${\displaystyle \xi }$ :

$${\displaystyle {\hat {f}}^{s}(-\xi )=-{\hat {f}}^{s}(\xi ).}$$ 

 

The Fourier cosine transform of ${\displaystyle f(t)}$  is:^{[note 3]}

The cosine transform is necessarily an even function of frequency, i.e. for all ${\displaystyle \xi }$ :

$${\displaystyle {\hat {f}}^{c}(\xi )={\hat {f}}^{c}(-\xi ).}$$ 

 

The multiplication rules for even and odd functions shown in the overbraces in the following equations dramatically simplify the integrands when transforming even and odd functions. Some authors^[1] even only define the cosine transform for even functions ${\displaystyle f_{\text{even}}(t)}$ . Since cosine is an even function and because the integral of an even function from ${\displaystyle {-}\infty }$  to ${\displaystyle \infty }$  is twice its integral from ${\displaystyle 0}$  to ${\displaystyle \infty }$ , the cosine transform of any even function can be simplified to avoid negative ${\displaystyle t}$ :

$${\displaystyle {\hat {f}}^{c}(\xi )=\int _{-\infty }^{\infty }\overbrace {f_{\text{even}}(t)\cdot \cos(2\pi \xi t)} ^{\text{even·even=even}}\,dt=2\int _{0}^{\infty }f_{\text{even}}(t)\cos(2\pi \xi t)\,dt.}$$ 

And because the integral from ${\displaystyle {-}\infty }$  to ${\displaystyle \infty }$  of any odd function from is zero, the cosine transform of any odd function is simply zero:

$${\displaystyle {\hat {f}}^{c}(\xi )=\int _{-\infty }^{\infty }\overbrace {f_{\text{odd}}(t)\cdot \cos(2\pi \xi t)} ^{\text{odd·even=odd}}\,dt=0.}$$ 

 

Similarly, because sin is odd, the sine transform of any odd function ${\displaystyle f_{\text{odd}}(t)}$  also simplifies to avoid negative ${\displaystyle t}$ :

$${\displaystyle {\hat {f}}^{s}(\xi )=\int _{-\infty }^{\infty }\overbrace {f_{\text{odd}}(t)\cdot \sin(2\pi \xi t)} ^{\text{odd·odd=even}}\,dt=2\int _{0}^{\infty }f_{\text{odd}}(t)\sin(2\pi \xi t)\,dt}$$ 

and the sine transform of any even function is simply zero:

$${\displaystyle {\hat {f}}^{s}(\xi )=\int _{-\infty }^{\infty }\overbrace {f_{\text{even}}(t)\cdot \sin(2\pi \xi t)} ^{\text{even·odd=odd}}\,dt=0.}$$ 

The sine transform represents the odd part of a function, while the cosine transform represents the even part of a function.

Just like the Fourier transform takes the form of different equations with different constant factors (see Fourier transform § Unitarity and definition for square integrable functions for discussion), other authors also define the cosine transform as^[2] $${\displaystyle {\hat {f}}^{c}(\xi )={\sqrt {\frac {2}{\pi }}}\int _{0}^{\infty }f(t)\cos(2\pi \xi t)\,dt}$$  and the sine transform as $${\displaystyle {\hat {f}}^{s}(\xi )={\sqrt {\frac {2}{\pi }}}\int _{0}^{\infty }f(t)\sin(2\pi \xi t)\,dt.}$$ Another convention defines the cosine transform as^[3] $${\displaystyle F_{c}(\alpha )={\frac {2}{\pi }}\int _{0}^{\infty }f(x)\cos(\alpha x)\,dx}$$  and the sine transform as $${\displaystyle F_{s}(\alpha )={\frac {2}{\pi }}\int _{0}^{\infty }f(x)\sin(\alpha x)\,dx}$$ using ${\displaystyle \alpha }$  as the transformation variable. And while ${\displaystyle t}$  is typically used to represent the time domain, ${\displaystyle x}$  is often instead used to represent a spatial domain when transforming to spatial frequencies.

The original function ${\displaystyle f}$  can be recovered from its sine and cosine transforms under the usual hypotheses^{[note 4]} using the inversion formula:^[4]

Note that since both integrands are even functions of ${\displaystyle \xi }$ , the concept of negative frequency can be avoided by doubling the result of integrating over non-negative frequencies:

$${\displaystyle f(t)=2\int _{0}^{\infty }{\hat {f}}^{s}(\xi )\sin(2\pi \xi t)\,d\xi \,+2\int _{0}^{\infty }{\hat {f}}^{c}(\xi )\cos(2\pi \xi t)\,d\xi \,.}$$ 

Also, if ${\displaystyle f}$  is an odd function, then the cosine transform is zero, so its inversion simplifies to:$${\displaystyle f(t)=\int _{-\infty }^{\infty }{\hat {f}}^{s}(\xi )\sin(2\pi \xi t)\,d\xi ,{\text{ only if }}f(t){\text{ is odd.}}}$$ 

Likewise, if the original function ${\displaystyle f}$  is an even function, then the sine transform is zero, so its inversion also simplifies to:

$${\displaystyle f(t)=\int _{-\infty }^{\infty }{\hat {f}}^{c}(\xi )\cos(2\pi \xi t)\,d\xi ,{\text{ only if }}f(t){\text{ is even.}}}$$ 

Remarkably, these last two simplified inversion formulas look identical to the original sine and cosine transforms, respectively, though with ${\displaystyle t}$  swapped with ${\displaystyle \xi }$  (and with ${\displaystyle f}$  swapped with ${\displaystyle {\hat {f}}^{s}}$  or ${\displaystyle {\hat {f}}^{c}}$ ). A consequence of this symmetry is that their inversion and transform processes still work when the two functions are swapped. Two such functions are called transform pairs.^{[note 5]}

Using the addition formula for cosine, the full inversion formula can also be rewritten as Fourier's integral formula:^[5][6] $${\displaystyle f(t)=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }f(x)\cos(2\pi \xi (x-t))\,dx\,d\xi .}$$  This theorem is often stated under different hypotheses, that ${\displaystyle f}$  is integrable, and is of bounded variation on an open interval containing the point ${\displaystyle t}$ , in which case $${\displaystyle {\tfrac {1}{2}}\lim _{h\to 0}\left(f(t+h)+f(t-h)\right)=2\int _{0}^{\infty }\int _{-\infty }^{\infty }f(x)\cos(2\pi \xi (x-t))\,dx\,d\xi .}$$ 

This latter form is a useful intermediate step in proving the inverse formulae for the since and cosine transforms. One method of deriving it, due to Cauchy is to insert a ${\displaystyle e^{-\delta \xi }}$  into the integral, where ${\displaystyle \delta >0}$  is fixed. Then $${\displaystyle 2\int _{-\infty }^{\infty }\int _{0}^{\infty }e^{-\delta \xi }\cos(2\pi \xi (x-t))\,d\xi \,f(x)\,dx=\int _{-\infty }^{\infty }f(x){\frac {2\delta }{\delta ^{2}+4\pi ^{2}(x-t)^{2}}}\,dx.}$$  Now when ${\displaystyle \delta \to 0}$ , the integrand tends to zero except at ${\displaystyle x=t}$ , so that formally the above is $${\displaystyle f(t)\int _{-\infty }^{\infty }{\frac {2\delta }{\delta ^{2}+4\pi ^{2}(x-t)^{2}}}\,dx=f(t).}$$ 

The complex exponential form of the Fourier transform used more often today is^[7] $${\displaystyle {\begin{aligned}{\hat {f}}(\xi )&=\int _{-\infty }^{\infty }f(t)e^{-2\pi i\xi t}\,dt\\\end{aligned}}\,}$$ where ${\displaystyle i}$  is the square root of negative one. By applying Euler's formula ${\textstyle (e^{ix}=\cos x+i\sin x),}$  it can be shown (for real-valued functions) that the Fourier transform's real component is the cosine transform (representing the even component of the original function) and the Fourier transform's imaginary component is the negative of the sine transform (representing the odd component of the original function):^[8]$${\displaystyle {\begin{aligned}{\hat {f}}(\xi )&=\int _{-\infty }^{\infty }f(t)\left(\cos(2\pi \xi t)-i\,\sin(2\pi \xi t)\right)dt&&{\text{Euler's Formula}}\\&=\left(\int _{-\infty }^{\infty }f(t)\cos(2\pi \xi t)\,dt\right)-i\left(\int _{-\infty }^{\infty }f(t)\sin(2\pi \xi t)\,dt\right)\\&={\hat {f}}^{c}(\xi )-i\,{\hat {f}}^{s}(\xi )\,.\end{aligned}}}$$ Because of this relationship, the cosine transform of functions whose Fourier transform is known (e.g. in Fourier transform § Tables of important Fourier transforms) can be simply found by taking the real part of the Fourier transform:$${\displaystyle {\hat {f}}^{c}(\xi )=\mathrm {Re} {[\;{\hat {f}}(\xi )\;]}}$$ while the sine transform is simply the negative of the imaginary part of the Fourier transform:$${\displaystyle {\hat {f}}^{s}(\xi )=-\mathrm {Im} {[\;{\hat {f}}(\xi )\;]}\,.}$$ 

 

An advantage of the modern Fourier transform is that while the sine and cosine transforms together are required to extract the phase information of a frequency, the modern Fourier transform instead compactly packs both phase and amplitude information inside its complex valued result. But a disadvantage is its requirement on understanding complex numbers, complex exponentials, and negative frequency.

The sine and cosine transforms meanwhile have the advantage that all quantities are real. Since positive frequencies can fully express them, the non-trivial concept of negative frequency needed in the regular Fourier transform can be avoided. They may also be convenient when the original function is already even or odd or can be made even or odd, in which case only the cosine or the sine transform respectively is needed. For instance, even though an input may not be even or odd, a discrete cosine transform may start by assuming an even extension of its input while a discrete sine transform may start by assuming an odd extension of its input, to avoid having to compute the entire discrete Fourier transform.

Using standard methods of numerical evaluation for Fourier integrals, such as Gaussian or tanh-sinh quadrature, is likely to lead to completely incorrect results, as the quadrature sum is (for most integrands of interest) highly ill-conditioned. Special numerical methods which exploit the structure of the oscillation are required, an example of which is Ooura's method for Fourier integrals^[9] This method attempts to evaluate the integrand at locations which asymptotically approach the zeros of the oscillation (either the sine or cosine), quickly reducing the magnitude of positive and negative terms which are summed.

• Discrete cosine transform
• Discrete sine transform
• List of Fourier-related transforms

• Whittaker, Edmund, and James Watson, A Course in Modern Analysis, Fourth Edition, Cambridge Univ. Press, 1927, pp. 189, 211