Ludium
Sign In
Differential Equations
The Geometric View of ODEs
01Direction Fields and the Geometric View of ODEs02Integral Curves and the Isocline Method03Perpendicular Isoclines: The Circles of y' = -x/y04Isocline Corridors and a Trap for Solutions05Existence and Uniqueness: One Curve Through a Point06Where Existence and Uniqueness FailProblem set0/10Problem set 20/10MIT problem set0/3
Numerical Methods
01Euler's Method and Its Three Equations02Euler's Method by Hand: Building the Table03Convexity and the Sign of Euler's Error04First Order Error: Halve the Step, Halve the Error05Improved Euler (RK2): Averaging Two Slopes06Runge-Kutta 4 and the Price of Accuracy07Singular Points: Where Every Method FailsProblem set0/10Problem set 20/10MIT problem set0/1
First-Order Linear Equations
01First Order Linear: Standard Form and the Sign of p02The Conduction-Diffusion Model: Newton's Law of Cooling03The Integrating Factor and the Four-Step Method04Integrating Factors: Two Mistakes and a Trick Question05Constant Coefficients: Steady State and TransientProblem set0/10Problem set 20/10MIT problem set0/1
Substitution Methods
01Scaling a First Order ODE: The Fourth-Power Cooling Law02The Bernoulli Equation and the Substitution v = y^(1-n)03A Worked Bernoulli Example: The Substitution v = 1/y04Homogeneous Equations: The Zoom Test and y = zx05Modelling the Lighthouse Chase: A 45-Degree Heading06The Boat's Path: A Logarithmic Spiral in Polar CoordinatesProblem set0/10Problem set 20/10
Autonomous Equations
01Autonomous Equations and Time-Translation Invariance02Critical Points: Constant Solutions as Barriers03The Embezzler Model dy/dt = ry - w: One Unstable Balance04The Logistic Equation: Carrying Capacity Without Solving05Stable, Unstable and Semi-Stable Critical Points06Maximum Sustainable Harvest: Why h = a^2/4bProblem set0/10Problem set 20/10MIT problem set0/3
Complex Numbers
01Complex Division, Polar Form and the Definition of e^(iθ)02Why e^(iθ) Earns Its Name: Multiply Moduli, Add Angles03Integrating e^(-x) cos x by Complexifying04The nth Roots of Unity: Zeta on the Unit CircleProblem set0/10Problem set 20/10MIT problem set0/4
Input and Response
01Steady-State and Transient Solutions of y' + ky = q(t)02Input, Response and the Superposition Principle03Solving y' + ky = k cos ωt by Complexification04Amplitude and Phase Lag of a Sinusoidal ResponseProblem set0/10Problem set 20/10MIT problem set0/2
01Cartesian Method: Rationalise, Then Take the Real Part02The Sinusoidal Identity and Its Right Triangle03Three Proofs of the Sinusoidal Identity04The Mixing Tank: Salt Balance and k = r/V05RC Circuits, Decay Chains and Negative kProblem set0/10Problem set 20/10MIT problem set0/2
Second-Order Linear Equations
01Second-Order Linear ODEs and the Spring–Mass–Dashpot02The Characteristic Equation and Overdamped Motion03Complex Roots a ± bi and Underdamped Oscillation04Critical Damping and Reduction of Order: t e^(−at)Problem set0/10Problem set 20/10MIT problem set0/2
01One Complex Root Is Enough: Conjugates and Real Solutions02When a Damped Spring Oscillates: p Below ω₀03Damped Oscillations: Pseudo-Period and ω₁² + p² = ω₀²Problem set0/10Problem set 20/10MIT problem set0/1

One Complex Root Is Enough: Conjugates and Real Solutions

Why does the conjugate root $a - bi$ give nothing new, and how can every real solution be written as a complex exponential plus its conjugate?


Loading…

←Previous Critical Damping and Reduction of Order: t e^(−at)Next When a Damped Spring Oscillates: p Below ω₀ →

Your summary note

    1. 1

      The conjugate root a−bia - bia−bi gives nothing new

      Take the real and imaginary parts of e(a−bi)te^{(a-bi)t}e(a−bi)t, compare them with y1=eatcos⁡bty_1 = e^{at}\cos bty1​=eatcosbt and y2=eatsin⁡bty_2 = e^{at}\sin bty2​=eatsinbt, and show the sign change is absorbed into c2c_2c2​.

    2. 2

      The conjugation test for a real expression

      State the test that replacing iii by −i-i−i leaves a real expression unchanged, apply it to C1e(a+bi)t+C2e(a−bi)tC_1 e^{(a+bi)t} + C_2 e^{(a-bi)t}C1​e(a+bi)t+C2​e(a−bi)t, match coefficients to get C2=C1‾C_2 = \overline{C_1}C2​=C1​​, and show the second condition is redundant.

    3. 3

      Converting the complex form back to sines and cosines

      Write cos⁡α\cos\alphacosα and sin⁡α\sin\alphasinα in terms of e±iαe^{\pm i\alpha}e±iα, factor eate^{at}eat out of (c+id)e(a+bi)t+(c−id)e(a−bi)t(c+id)e^{(a+bi)t} + (c-id)e^{(a-bi)t}(c+id)e(a+bi)t+(c−id)e(a−bi)t, and carry it through to eat(2ccos⁡bt−2dsin⁡bt)e^{at}(2c\cos bt - 2d\sin bt)eat(2ccosbt−2dsinbt).

    Attempt 1 of 2