Exponential functions, often denoted , involve raising to an exponent with as the base. Curiously its derivative and integral is the same function.
Complex case
Exponential functions with complex inputs, i.e., also have surprising properties.
A complex exponent will have infinitely many values, because of the nature of the complex-valued logarithmic function.
Signal theory
Why do we care about complex exponential signals?
- They are building blocks for more complicated signals.
- They’re easy to manipulate, wrt to differentiation and integration.
- They simplify many formulas versus using and .
- The frequency spectrum of such a signal is very simple; for a signal , all energy is concentrated at a frequency .
The DT case has a few important differences from the CT case. Depending on , the DT signal can be periodic or aperiodic (with respect to time). If we drew out the unit circle on an Argand diagram, we may never reach the same point depending on what is (due to ).
If then the DT signal is periodic with respect to time.
For and : Note that it’s in fact periodic with respect to :
i.e., they’re periodic in frequency.
How do we tell if DT complex exponentials are periodic?
Find the usual way. If it’s a rational number, odds are that it’s actually periodic. The numerator is the fundamental period, the denominator is how many revolutions it takes for one cycle. Completely unintuitive.
When , we get , i.e., it’ll jump back and forth between , the fastest we can get in the DT case. A larger frequency doesn’t necessarily mean larger oscillations; oscillations will slow approaching an even multiple of , and fasten at an odd multiple of .
One important consequence of this is aliasing, since different frequency CT signals can produce the same looking DT signal.
By theorem, if is a desired period, then there are exactly distinct DT complex exponential signals of period given by:
where . i.e., there are a finite set of “building blocks” when working with DT exponential signals.
A right-sided CT signal is of exponential class if for some constants and valid . The smallest possible value for is denoted . What this intuitively represents is our sharpest bound on the growth rate of .