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

Existence and Uniqueness: One Curve Through a Point

Why can two integral curves never even touch, when every point of the plane carries just one line element?


Loading…

←Previous Isocline Corridors and a Trap for SolutionsNext Where Existence and Uniqueness Fail →

Your summary note

    1. 1

      Principle 1: integral curves cannot cross at an angle

      State the Intersection Principle part (i) and argue from the direction field giving a single line element with one value f(x0,y0)f(x_0,y_0)f(x0​,y0​) at each point.

    2. 2

      Asymptotic corridor and the exact solution y=xy=xy=x

      Describe how trapped curves close in on y=xy=xy=x for y′=1+x−yy'=1+x-yy′=1+x−y, and verify y=xy=xy=x solves it by substituting to get 1=11=11=1.

    3. 3

      Principle 2: integral curves cannot be tangent

      Record that touching is also forbidden, so trapped curves only become asymptotic to y=xy=xy=x rather than joining and riding along it.

    4. 4

      Existence and Uniqueness Theorem and its hypotheses

      Write that y′=f(x,y)y'=f(x,y)y′=f(x,y) has one and only one solution through (x0,y0)(x_0,y_0)(x0​,y0​), distinguishing 'one' as existence from 'only one' as uniqueness, and list continuity of fff and of ∂f/∂y\partial f/\partial y∂f/∂y.

    Attempt 1 of 2