Negative frequency

In mathematics, the concept of signed frequency (negative and positive frequency) can indicate both the rate and sense of rotation; it can be as simple as a wheel rotating clockwise or counterclockwise. The rate is expressed in units such as revolutions (a.k.a. cycles) per second (hertz) or radian/second (where 1 cycle corresponds to 2π radians).

Example: Mathematically speaking, the vector $$(\cos(t), \sin(t))$$ has a positive frequency of +1 radian per unit of time and rotates counterclockwise around the unit circle, while the vector $$(\cos(-t), \sin(-t))$$ has a negative frequency of -1 radian per unit of time, which rotates clockwise instead.

Sinusoids
Let $(cos t, sin t)$ be an angular frequency with units of radians/second. Then the function $(cos −t, sin −t)$ has slope $2π$, which is called a negative frequency. But when the function is used as the argument of a cosine operator, the result is indistinguishable from $ω > 0$. Similarly, $f(t) = −ωt + θ$ is indistinguishable from $−ω$. Thus any sinusoid can be represented in terms of a positive frequency. The sign of the underlying phase slope is ambiguous.



The ambiguity is resolved when the cosine and sine operators can be observed simultaneously, because $cos(ωt − θ)$ leads $sin(−ωt + θ)$ by $1⁄4$ cycle (i.e. $π⁄2$ radians) when $sin(ωt − θ + π)$, and lags by $1⁄4$ cycle when $cos(ωt + θ)$. Similarly, a vector, $sin(ωt + θ)$, rotates counter-clockwise if $ω > 0$, and clockwise if $ω < 0$. Therefore, the sign of $$\omega$$ is also preserved in the complex-valued function:

whose corollary is:

In $$ the second term is an addition to $$\cos(\omega t)$$ that resolves the ambiguity. In $$ the second term looks like an addition, but it is actually a cancellation that reduces a 2-dimensional vector to just one dimension, resulting in the ambiguity. $$ also shows why the Fourier transform has responses at both $$\pm \omega,$$ even though $$\omega$$ can have only one sign. What the false response does is enable the inverse transform to distinguish between a real-valued function and a complex one.

Simplifying the Fourier transform
Perhaps the best-known application of negative frequency is the formula:


 * $$\hat{f}(\omega) = \int_{-\infty}^\infty f(t) e^{-i \omega t} dt,$$

which is a measure of the energy in function $$f(t)$$ at frequency $$\omega.$$ When evaluated for a continuum of argument $$\omega,$$ the result is called the Fourier transform.

For instance, consider the function:


 * $$f(t)= A_1 e^{i \omega_1 t}+A_2 e^{i \omega_2 t},\ \forall\ t \in \mathbb R,\ \omega_1 > 0,\ \omega_2 > 0.$$

And:



\begin{align} \hat{f}(\omega) &= \int_{-\infty}^\infty [A_1 e^{i \omega_1 t}+A_2 e^{i \omega_2 t}] e^{-i \omega t} dt\\ &= \int_{-\infty}^\infty A_1 e^{i \omega_1 t} e^{-i \omega t} dt + \int_{-\infty}^\infty A_2 e^{i \omega_2 t} e^{-i \omega t} dt\\ &= \int_{-\infty}^\infty A_1 e^{i (\omega_1 -\omega) t}dt + \int_{-\infty}^\infty A_2 e^{i (\omega_2 -\omega) t} dt \end{align} $$

Note that although most functions do not comprise infinite duration sinusoids, that idealization is a common simplification to facilitate understanding.

Looking at the first term of this result, when $$\omega = \omega_1,$$ the negative frequency $$-\omega_1$$ cancels the positive frequency, leaving just the constant coefficient $$A_1$$ (because $$e^{i 0 t} = e^0 = 1$$), which causes the infinite integral to diverge. At other values of $$\omega$$ the residual oscillations cause the integral to converge to zero. This idealized Fourier transform is usually written as:


 * $$\hat{f}(\omega) = 2\pi A_1 \delta(\omega - \omega_1) + 2\pi A_2 \delta(\omega - \omega_2).$$

For realistic durations, the divergences and convergences are less extreme, and smaller non-zero convergences (spectral leakage) appear at many other frequencies, but the concept of negative frequency still applies. Fourier's original formulation (the sine transform and the cosine transform) requires an integral for the cosine and another for the sine. And the resultant trigonometric expressions are often less tractable than complex exponential expressions. (see Analytic signal,, and Phasor)