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
01Superposition: Why Linearity Makes c₁y₁ + c₂y₂ a Solution02The Wronskian and Abel's Theorem: Fitting Any Initial Values03Normalized Solutions: Why cosh x and sinh x Solve y'' − y = 004Uniqueness: Why c₁y₁ + c₂y₂ Is Every SolutionProblem set0/10Problem set 20/10

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

Why is $\cosh x$, not $e^x$, the natural partner for $y'' - y = 0$ once you choose solutions by their starting values?


Loading…

←Previous The Wronskian and Abel's Theorem: Fitting Any Initial ValuesNext Uniqueness: Why c₁y₁ + c₂y₂ Is Every Solution →

Your summary note

    1. 1

      Any independent pair gives the same family

      Write u1u_1u1​, u2u_2u2​ as combinations of y1y_1y1​, y2y_2y2​, and show that the combinations of the uuu's and of the yyy's are the same collection of functions.

    2. 2

      The normalized solutions Y1Y_1Y1​, Y2Y_2Y2​ at 000

      Write the defining conditions Y1(0)=1Y_1(0) = 1Y1​(0)=1, Y1′(0)=0Y_1'(0) = 0Y1′​(0)=0, Y2(0)=0Y_2(0) = 0Y2​(0)=0, Y2′(0)=1Y_2'(0) = 1Y2′​(0)=1, and check that cos⁡x\cos xcosx, sin⁡x\sin xsinx satisfy them for y′′+y=0y'' + y = 0y′′+y=0.

    3. 3

      Deriving cosh⁡x\cosh xcoshx and sinh⁡x\sinh xsinhx from exe^{x}ex, e−xe^{-x}e−x

      For y′′−y=0y'' - y = 0y′′−y=0, solve the two 2×22 \times 22×2 systems for c1c_1c1​, c2c_2c2​ to get Y1=ex+e−x2Y_1 = \frac{e^x + e^{-x}}{2}Y1​=2ex+e−x​ and Y2=ex−e−x2Y_2 = \frac{e^x - e^{-x}}{2}Y2​=2ex−e−x​, then verify their initial values.

    4. 4

      Comparing the standard and normalized pairs

      Record which initial value rules out exe^xex and e−xe^{-x}e−x as Y1Y_1Y1​ or Y2Y_2Y2​, and write down (cosh⁡x)′=sinh⁡x(\cosh x)' = \sinh x(coshx)′=sinhx and (sinh⁡x)′=cosh⁡x(\sinh x)' = \cosh x(sinhx)′=coshx.

    Attempt 1 of 2