Differential Equations

The Geometric View of ODEs

01Direction Fields and the Geometric View of ODEs 02Integral Curves and the Isocline Method 03Perpendicular Isoclines: The Circles of y' = -x/y 04Isocline Corridors and a Trap for Solutions 05Existence and Uniqueness: One Curve Through a Point 06Where Existence and Uniqueness Fail Problem set0/10 Problem set 20/10 MIT problem set0/3

Numerical Methods

01Euler's Method and Its Three Equations 02Euler's Method by Hand: Building the Table 03Convexity and the Sign of Euler's Error 04First Order Error: Halve the Step, Halve the Error 05Improved Euler (RK2): Averaging Two Slopes 06Runge-Kutta 4 and the Price of Accuracy 07Singular Points: Where Every Method Fails Problem set0/10 Problem set 20/10 MIT problem set0/1

First-Order Linear Equations

01First Order Linear: Standard Form and the Sign of p 02The Conduction-Diffusion Model: Newton's Law of Cooling 03The Integrating Factor and the Four-Step Method 04Integrating Factors: Two Mistakes and a Trick Question 05Constant Coefficients: Steady State and Transient Problem set0/10 Problem set 20/10 MIT problem set0/1

Substitution Methods

01Scaling a First Order ODE: The Fourth-Power Cooling Law 02The Bernoulli Equation and the Substitution v = y^(1-n)03A Worked Bernoulli Example: The Substitution v = 1/y 04Homogeneous Equations: The Zoom Test and y = zx 05Modelling the Lighthouse Chase: A 45-Degree Heading 06The Boat's Path: A Logarithmic Spiral in Polar Coordinates Problem set0/10 Problem set 20/10

Autonomous Equations

01Autonomous Equations and Time-Translation Invariance 02Critical Points: Constant Solutions as Barriers 03The Embezzler Model dy/dt = ry - w: One Unstable Balance 04The Logistic Equation: Carrying Capacity Without Solving 05Stable, Unstable and Semi-Stable Critical Points 06Maximum Sustainable Harvest: Why h = a^2/4b Problem set0/10 Problem set 20/10 MIT problem set0/3

Complex Numbers

01Complex Division, Polar Form and the Definition of e^(iθ)02Why e^(iθ) Earns Its Name: Multiply Moduli, Add Angles 03Integrating e^(-x) cos x by Complexifying 04The nth Roots of Unity: Zeta on the Unit Circle Problem set0/10 Problem set 20/10 MIT problem set0/4

Input and Response

01Steady-State and Transient Solutions of y' + ky = q(t)02Input, Response and the Superposition Principle 03Solving y' + ky = k cos ωt by Complexification 04Amplitude and Phase Lag of a Sinusoidal Response Problem set0/10 Problem set 20/10 MIT problem set0/2

01Cartesian Method: Rationalise, Then Take the Real Part 02The Sinusoidal Identity and Its Right Triangle 03Three Proofs of the Sinusoidal Identity 04The Mixing Tank: Salt Balance and k = r/V 05RC Circuits, Decay Chains and Negative k Problem set0/10 Problem set 20/10 MIT problem set0/2

Second-Order Linear Equations

01Second-Order Linear ODEs and the Spring–Mass–Dashpot 02The Characteristic Equation and Overdamped Motion 03Complex Roots a ± bi and Underdamped Oscillation 04Critical Damping and Reduction of Order: t e^(−at)Problem set0/10 Problem set 20/10 MIT problem set0/2

01One Complex Root Is Enough: Conjugates and Real Solutions 02When a Damped Spring Oscillates: p Below ω₀ 03Damped Oscillations: Pseudo-Period and ω₁² + p² = ω₀² Problem set0/10 Problem set 20/10 MIT problem set0/1

01Superposition: Why Linearity Makes c₁y₁ + c₂y₂ a Solution 02The Wronskian and Abel's Theorem: Fitting Any Initial Values 03Normalized Solutions: Why cosh x and sinh x Solve y'' − y = 0 04Uniqueness: Why c₁y₁ + c₂y₂ Is Every Solution Problem set0/10 Problem set 20/10

Uniqueness: Why c₁y₁ + c₂y₂ Is Every Solution

How does the uniqueness theorem force every solution into the family $c_1y_1 + c_2y_2$, leaving none outside it?

Loading…

←Previous Normalized Solutions: Why cosh x and sinh x Solve y'' − y = 0

Your summary note

1. The one-line solution $y = y_0\,Y_1 + y_0'\,Y_2$
  Write the formula for the problem $y(0) = y_0$ , $y'(0) = y_0'$ and check both initial conditions, then solve $y'' - y = 0$ , $y(0) = 2$ , $y'(0) = 4$ both ways.
2. The existence and uniqueness theorem
  State the theorem for $y'' + p\,y' + q\,y = 0$ , including the continuity hypothesis on $p$ and $q$ , and separate what existence and uniqueness each assert.
3. Proof that every solution lies in the family
  Take an arbitrary solution $u$ , compare it with $u_0Y_1 + u_0'Y_2$ at $0$ , conclude $u = u_0Y_1 + u_0'Y_2$ , and record how $Y_1$ , $Y_2$ themselves lie in the family $c_1y_1 + c_2y_2$ .
Attempt 1 of 2