Extending the real number line into the complex plane — the key to understanding oscillatory solutions in differential equations
You may wonder: why study complex numbers in a course on differential equations? The answer is that they are not optional — they appear inevitably when solving even simple second-order ODEs.
Consider the simple harmonic oscillator equation:
The characteristic equation is $r^2 + 1 = 0$, which gives $r = \pm i$. These are complex numbers! Yet the physical solution is entirely real: $y(t) = c_1 \cos t + c_2 \sin t$. Understanding how complex exponentials become real sines and cosines is the bridge this chapter builds.
In electrical engineering specifically, complex numbers are the standard language for analyzing AC circuits, impedance, phasors, and signal processing. Every EE engineer works with complex numbers daily.
| Context | How Complex Numbers Arise |
|---|---|
| Characteristic equation $ar^2 + br + c = 0$ | Discriminant $b^2 - 4ac < 0$ gives complex conjugate roots |
| AC Circuit Analysis | Impedance $Z = R + j\omega L - \frac{j}{\omega C}$ is inherently complex |
| Euler's formula | $e^{i\theta} = \cos\theta + i\sin\theta$ unifies exponentials and trig |
| Signal Processing | Fourier transforms use $e^{-i\omega t}$ as basis functions |
| Control Theory | Transfer function poles are often complex conjugate pairs |
A complex number is a number of the form $z = a + bi$, where $a$ and $b$ are real numbers and $i$ is the imaginary unit defined by $i^2 = -1$. We call $a = \text{Re}(z)$ the real part and $b = \text{Im}(z)$ the imaginary part.
The set of all complex numbers is denoted $\mathbb{C}$. Every real number is a complex number (with $b = 0$), so $\mathbb{R} \subset \mathbb{C}$.
We visualize complex numbers as points in a 2D plane: the horizontal axis represents the real part $a$, and the vertical axis represents the imaginary part $b$. The complex number $z = 3 + 2i$ corresponds to the point $(3, 2)$.
Addition of complex numbers corresponds to vector addition in the plane. Multiplication by $i$ corresponds to a $90°$ counter-clockwise rotation. This geometric viewpoint makes many results intuitive: multiplying by $i$ four times ($i^4 = 1$) is a full $360°$ rotation back to the start.
The powers of $i$ cycle with period 4:
To find $i^n$ for any integer $n$, compute $n \bmod 4$ and use the pattern above.
The complex conjugate of $z = a + bi$ is $\bar{z} = a - bi$. Geometrically, $\bar{z}$ is the reflection of $z$ across the real axis. Key property: $z \bar{z} = a^2 + b^2$ is always a non-negative real number.
The modulus of $z = a + bi$ is $|z| = \sqrt{a^2 + b^2} = \sqrt{z\bar{z}}$. This is the distance from $z$ to the origin in the complex plane.
Master addition, subtraction, multiplication, division, and conjugation. Work fluently with complex expressions.
Convert to polar form $re^{i\theta}$. Derive and apply Euler's formula. Simplify multiplication via angles.
Use De Moivre's theorem. Find $n$th roots. Convert complex characteristic roots to real solutions.
Chapter 2 introduced the characteristic equation for second-order ODEs. When the discriminant is negative, the roots are complex — and this chapter explains exactly what those roots mean and how to extract real solutions from them.
Chapter 4 on systems of DEs uses eigenvalues, which are often complex. The polar form and Euler's formula from this chapter let you convert complex eigenvalue solutions into real-valued trajectories (spirals, centers, etc.).
This single identity connects the exponential function to trigonometric functions. Setting $\theta = \pi$ gives the celebrated Euler's identity: $e^{i\pi} + 1 = 0$.
If the characteristic equation has complex roots $r = \alpha \pm \beta i$, then:
The real part $\alpha$ controls exponential growth or decay. The imaginary part $\beta$ controls the oscillation frequency.
Complex numbers are not "imaginary" in the sense of being fictitious. They are as real and useful as negative numbers were once considered controversial. The term "imaginary" is historical — coined by Descartes as a criticism — and should not suggest that these numbers lack practical value.
Every polynomial of degree $n$ with complex coefficients has exactly $n$ roots (counting multiplicity) in $\mathbb{C}$. This is why complex numbers "complete" our number system for solving polynomial equations — no further extensions are needed.
A sinusoidal voltage $v(t) = V_0 \cos(\omega t + \phi)$ is represented as the complex phasor $\tilde{V} = V_0 e^{i\phi}$. Circuit analysis with phasors reduces calculus (derivatives and integrals) to algebra (multiplication and division).
Resistors, capacitors, and inductors each have complex impedance: $Z_R = R$, $Z_C = \frac{1}{i\omega C}$, $Z_L = i\omega L$. Combining them uses the same rules as combining resistances, but with complex arithmetic.
The governing equation for a series RLC circuit is $L\ddot{q} + R\dot{q} + \frac{1}{C}q = 0$. Its characteristic equation $Lr^2 + Rr + \frac{1}{C} = 0$ has complex roots when $R^2 < \frac{4L}{C}$ (underdamped case), producing oscillatory decay — exactly described by $e^{\alpha t}(c_1\cos\beta t + c_2\sin\beta t)$.