Read the rates of sine and cosine from a rounded table
State sin′ = cos and cos′ = −sin as the claims the quotients demonstrate, and conclude that the rate of the rate of cos is −cos.
A mass on a spring, a pendulum at small angles and a circuit with an inductor all obey the same equation: the rate of the rate of the unknown, a multiple of its rate, and a multiple of the unknown itself add up to zero. Separable Equations, Growth and Decay solved y′ = k·y with e^(kt); this course tries the same exponential on the second-order equation and finds that it works, provided r is a root of a quadratic. The quadratic is the one from Algebra, and its three possible discriminants give three shapes of solution: two exponentials, an exponential with a factor of t, and an exponential multiplied by a cosine and a sine. Every closed form is checked by substituting it into the equation, and the two constants are fitted from the starting value and the starting rate. The last two lessons look at the same equation from outside, as a pair of first-order equations whose matrix carries the quadratic inside its trace and determinant, and show Euler's method pushing a circle's worth of motion steadily outward.
Overview
By the end you can turn a second-order linear equation with constant coefficients into its characteristic quadratic, solve it for every kind of root, fit both constants from starting values, check each answer exactly, and say what changes when the same equation is written as a system.
State sin′ = cos and cos′ = −sin as the claims the quotients demonstrate, and conclude that the rate of the rate of cos is −cos.
Differentiate it twice, substitute, and read the residual; say why a combination C·cos t + D·sin t needs two initial values.
Substitute y = e^(rt) into a·y″ + b·y′ + c·y = 0, obtain a·r² + b·r + c = 0, and solve it exactly, with the discriminant naming the kind of root.
Use two exponentials for distinct real roots, (C₁ + C₂·t)·e^(rt) for a repeated root and a damped cosine and sine for a complex pair, and read growth, decay or oscillation off the roots.
Solve the two-by-two system from y(0) and y′(0) exactly, and use the Wronskian at 0 to say when two solutions can fit any starting values.
Set x′ = v, find the trace and determinant that reproduce the characteristic equation, and compute the exact growth of Euler's method on x′ = v, v′ = −x.
Lessons
The course opens with the two functions that make the simplest second-order equation true, then asks why there are two constants. The characteristic equation is the centre: one derivation, then the three kinds of root in turn. Fitting the constants and the Wronskian say how far the answers can be trusted, and the last two lessons change the point of view from one equation to a system.
The previous course, First-Order Linear Equations, for the habit of checking a solution by substituting it, together with Separable Equations, Growth and Decay for the exponential solution of y′ = k·y, Differential Equations and Euler's Method for Euler's steps as exact fractions, the product rule from Rates of Change and the Derivative, and the quadratic formula and complex numbers from Algebra's Quadratics and Complex Numbers.
Substitute before you trust. Every closed form on this course is checked by differentiating it twice and putting it into the equation, and the lab prints the residual, which is exactly zero or it is not. A wrong sign in an exponent or a missing factor of t shows up there at once and does not show up in a plot.
Do the quadratic by hand first. Read a, b and c, compute b² − 4ac, and say which kind of root to expect before you pick a preset. The lab then confirms or corrects you, and the discriminant is the one number that decides which of three forms the solution has.
Fit the constants last, from two numbers. A second-order equation has two arbitrary constants, and the starting value alone leaves one of them free. Keep y(0) and y′(0) apart: the second is the rate of the unknown at the start, and not the derivative of the first number.
Say which figures are exact. Roots, constants and residuals are exact fractions or surds. A value of sin 1, cos 1 or e^(−2) is irrational, and is printed rounded, with ≈, and said to be rounded.
Equations with a forcing term. This course solves the homogeneous equation a·y″ + b·y′ + c·y = 0; a right-hand side that is not zero belongs to Oscillators, Damping and Resonance. Variation of parameters, the general tool when a guess does not work, is named here and not taught.
Variable coefficients. If a, b or c depends on t, as in the Euler–Cauchy equation t²·y″ + b·t·y′ + c·y = 0, then e^(rt) is no longer a solution and the method does not apply. Series solutions and special functions such as Bessel's are a different subject and are not here.
Proofs of existence and uniqueness. The course uses the fact that two initial values fix exactly one solution, and the Wronskian lesson shows why for the cases it builds; it does not prove the general theorem.
Irrational constants. The lab fits the two constants only when the roots are rational or the complex pair has rational parts, and it refuses the rest with the reason. That is a limit of the arithmetic, and the method itself works for any roots.
Equations of third order and higher. The same substitution gives a cubic or worse characteristic equation, and the Subject stays with second order and with two-by-two systems, where the trace and determinant are complete.