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

Where Existence and Uniqueness Fail

How can every line through $(0,1)$ solve one equation, while points on the $y$-axis have no solution at all?


Loading…

←Previous Existence and Uniqueness: One Curve Through a PointNext Euler's Method and Its Three Equations →

Your summary note

    1. 1

      Solving x dydx=y−1x\,\frac{dy}{dx} = y - 1xdxdy​=y−1 by separation

      Separate to dyy−1=dxx\frac{dy}{y-1} = \frac{dx}{x}y−1dy​=xdx​, integrate to ln⁡∣y−1∣=ln⁡∣x∣+c1\ln|y-1| = \ln|x| + c_1ln∣y−1∣=ln∣x∣+c1​, and absorb the absolute values with C=±ec1C = \pm e^{c_1}C=±ec1​ to reach y=1+Cxy = 1 + Cxy=1+Cx.

    2. 2

      The fan of lines through (0,1)(0,1)(0,1)

      Describe the solutions as all lines with yyy-intercept 111 and any slope, and note that off the yyy-axis exactly one line passes through each point.

    3. 3

      Where existence and uniqueness fail

      Record that on the yyy-axis no solution passes (existence fails) while at (0,1)(0,1)(0,1) every line passes (uniqueness fails).

    4. 4

      No violation of the Existence and Uniqueness Theorem

      Rewrite in standard form dydx=y−1x\frac{dy}{dx} = \frac{y-1}{x}dxdy​=xy−1​, note f(x,y)f(x,y)f(x,y) is undefined at x=0x=0x=0 so the hypotheses fail there, and state this is how failure happens in ordinary practice.

    Attempt 1 of 2