Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Learn the language of change

A visual, interactive workbook

Differential equations stop feeling like a bag of tricks when you can read what an equation says about motion. This book trains that reading skill first, then turns it into reliable solution habits.

What you will learn to do

Most courses organize differential equations by chapter titles. Problems rarely arrive with their chapter title attached. This workbook organizes your attention around four questions:

1What changes?

Name the state and its units.

2What sets the rate?

Read signs, factors, and feedback.

3Which fingerprint fits?

Choose a method from structure.

4Does the answer behave?

Check units, shape, and substitution.

By the end, you should be able to move among four representations of the same model:

The workout rhythm

Each chapter repeats the same deliberate sequence.

  1. Notice. Predict from a picture, a story, or the equation's shape.
  2. Name. Learn one small piece of mathematical language.
  3. Work. Study a fully explained example.
  4. Fade. Complete a similar example with fewer steps supplied.
  5. Choose. Mix the new method with older ones so that you must identify the method yourself.
  6. Check. Test the result against the original equation and its expected behavior.

Your practice contract

Make a prediction before touching the algebra. Write one line for every transformation. Open a solution only after committing to an attempt. When an answer is wrong, name the first line where the reasoning changed course.

What you need

You should be comfortable with derivatives, antiderivatives, exponentials, logarithms, and basic algebra. Chapter 9 introduces the small amount of linear algebra it needs. A calculator helps with arithmetic, but every central idea works without special software.

No interactive lab sends data anywhere. Checkpoints stay in your browser. You can clear them from the button below.

Your workbook progress

No checkpoints completed yet.

A two-minute preflight

Try these without notes. The point is to choose a starting pace, not to earn a score.

1. If y′(t)<0y'(t)\lt 0 on an interval, what must the graph of yy do there?

2. Which derivative rule recognizes e2ty′+2e2tye^{2t}y' + 2e^{2t}y?

If either question felt unfamiliar, work straight through Parts I and II. If both felt immediate, skim Chapter 1 and spend more time on the integrated problems.

Next: Learn to separate the state, the rate, and the solution.

State, rate, and solution

Chapter 1 - Read before you solve

An ordinary differential equation is a sentence about change. It names a state, gives a rule for the state's rate, and asks for a solution function whose motion obeys that rule.

By the end of this chapter, you should be able to:

  • identify the independent variable, state, rate, and parameters;
  • translate a verbal rate law into an equation;
  • distinguish a differential equation from one of its solutions; and
  • verify a proposed solution by substitution and by behavior.

The three nouns

Suppose T(t)T(t) measures a cup of coffee's temperature in degrees Celsius, while the independent variable tt measures minutes. Then:

  • TT is the state, with units °C;
  • T′T' is the rate, with units °C/min;
  • room temperature, say 2222 °C, and a cooling constant kk are parameters, fixed quantities that set the model's behavior;
  • T′=−k(T−22)T'=-k(T-22) is the differential equation; and
  • T(t)=22+68e−ktT(t)=22+68e^{-kt} is the solution that starts at 9090 °C.

The equation is a local rule: it tells the slope at the current state. A solution collects those local instructions into an entire curve.

Say the equation aloud

"The temperature changes at a rate proportional to its signed distance from room temperature, directed back toward the room." If you cannot say an equation in words, the symbols have not become usable language yet.

Units expose meaning

Terms added together must have the same units. In

T′=−k(T−22), T'=-k(T-22),

the left side has units °C/min. The factor (T−22)(T-22) has units °C, so kk must have units 1/min1/\text{min}.

This gives a fast error detector. The equation T′=−(T−22)2T'=-(T-22)^2 cannot use a proportionality constant with no units: its right side would have units °C² rather than °C/min.

Unit check. In P′=rP(1−P/K)P'=rP(1-P/K), population PP is measured in cells and time in hours. What are the units of rr?

Worked example: read a model from a story

Medicine leaves the bloodstreamfully worked

A patient starts with 120 mg of a medicine in the bloodstream. The body removes 18% of the current amount per hour. Build an initial-value problem, an equation paired with a starting value, and predict the graph before solving.

  1. Name the state. Let A(t)A(t) be the amount in milligrams after tt hours. Then A′A' has units mg/hour.
  2. Translate the rate phrase. "18% of the current amount per hour" gives magnitude 0.18A0.18A. "Removes" supplies the negative sign: A′=−0.18AA'=-0.18A.
  3. Attach the initial condition. "Starts with 120 mg" means A(0)=120A(0)=120.
  4. Predict before solving. When A>0A\gt 0, the rate is negative, so the graph decreases. As AA shrinks, ∣A′∣|A'| shrinks, so the curve flattens toward zero.
  5. State the model. A′=−0.18A,A(0)=120A'=-0.18A,\quad A(0)=120. Chapter 4 will solve it; for now, its behavior already says a great deal.

Fade the support

I do

"Grows by 7% of its current size per year" becomes P′=0.07PP'=0.07P.

We do

"Loses 4 grams plus 3% of its current mass per day" becomes M′=‾M'=\underline{\hspace{3em}}.

Check the two rate contributions

M′=−4−0.03MM'=-4-0.03M.

You do

A tank receives 5 L/min of clean water and drains 5 L/min. If SS is grams of salt in a 100 L tank, write the salt rate.

One cue

Rate in minus rate out. Clean inflow carries no salt.

The last model is S′=0−(5 L/min)(S/100 g/L)=−S/20S'=0-(5\text{ L/min})(S/100\text{ g/L})=-S/20 g/min.

A solution is a function, not a final number

Students often carry an algebra habit into differential equations: "solve" should produce a number. Here it usually produces a function.

For y′=2yy'=2y:

  • the differential equation names a family of possible motions;
  • y=Ce2ty=Ce^{2t} is the general solution family;
  • y(0)=3y(0)=3 selects the particular solution y=3e2ty=3e^{2t}; and
  • y(4)=3e8y(4)=3e^8 is one value of that solution.
A family of exponential solution curves Several curves satisfy the same differential equation, while one initial condition selects a single curve. initial condition selects one curve time state
One rate law can admit many solution curves. An initial condition chooses one.

Verify in three passes

To test the claim that y=4e−3ty=4e^{-3t} solves y′=−3yy'=-3y with y(0)=4y(0)=4:

  1. Differentiate: y′=−12e−3ty'=-12e^{-3t}.
  2. Substitute: −3y=−3(4e−3t)=−12e−3t=y′-3y=-3(4e^{-3t})=-12e^{-3t}=y'.
  3. Check the condition and behavior: y(0)=4y(0)=4, the curve stays positive, decreases, and flattens. That matches a negative rate whose magnitude shrinks with yy.

Symbolic substitution proves the equation. Behavior checks catch sign and interpretation errors that algebra can hide.

Error clinic: checking only the initial value

A student claims y=4−3ty=4-3t solves y′=−3yy'=-3y because y(0)=4y(0)=4. The condition is necessary, but it is not enough. Here y′=−3y'=-3, while −3y=−12+9t-3y=-12+9t; they disagree except at one accidental time.

Practice

  1. Practice - translation

    1.1 A pond contains W(t)W(t) cubic meters of water. Rain adds 12 m³/hour, while leakage removes 4% of the current volume per hour. Write the differential equation and state the units of every term.

    Detailed solution

  2. Practice - verification

    1.2 Verify whether y=2+3e−ty=2+3e^{-t} solves y′=2−yy'=2-y and y(0)=5y(0)=5. Use all three passes.

    Detailed solution

  3. Integrated - representation

    1.3 For N′=0.4N(1−N/50)N'=0.4N(1-N/50), decide whether the state initially rises or falls when N(0)=20N(0)=20, 5050, and 8080. Do not solve.

    Detailed solution

  4. Challenge - modeling

    1.4 A 200 L tank initially holds 10 kg of dissolved salt. Brine containing 0.08 kg/L enters at 3 L/min; well-mixed solution leaves at 3 L/min. Let S(t)S(t) be kilograms of salt. Build the initial-value problem and identify the long-run amount suggested by a zero rate.

    Detailed solution

  5. Practice - extension

    1.5 A dye amount D(t)D(t), measured in grams, obeys D′=−0.2DD'=-0.2D, with tt in hours and D(0)=10D(0)=10. Find the initial rate, verify D=10e−0.2tD=10e^{-0.2t}, and compare its one-hour percentage loss with an exact 20% loss each hour.

    Detailed solution

  6. Challenge - transfer

    1.6 A well-mixed tank initially contains 100 L of clean water. Brine with concentration 3 g/L enters at 2 L/min, while solution leaves at 1 L/min. Assuming no overflow, write V(t)V(t), the initial-value problem for salt amount S(t)S(t), and the initial salt rate. Explain why the outflow concentration changes with time.

    Detailed solution

Retrieve before you leave

Close the page or cover the text. Say these answers aloud:

  1. What are the four objects you name when reading a model?
  2. Why does a differential equation usually have a family of solutions?
  3. What three passes verify a proposed solution?

Next: See the field of slopes before choosing any solution method.

See the field before solving

Chapter 2 - Turn a rate rule into a picture

An equation y′=f(t,y)y'=f(t,y) assigns one slope to every point (t,y)(t,y). A direction field draws a small segment with that slope at each point. A solution curve does not invent its path; it threads through the assigned segments.

By the end of this chapter, you should be able to:

  • read increasing, decreasing, and equilibrium behavior from a field;
  • sketch solution curves through initial conditions;
  • connect features of f(t,y)f(t,y) to visible features of the field; and
  • identify what a numerical or symbolic answer must look like before calculating it.

Lab: move the initial condition

Direction-field explorerEvery short mark is a local instruction.

local slopesolution curveinitial condition

Try these moves before reading on:

  1. Choose y′=−0.65yy'=-0.65y. Place the initial point above, on, and below y=0y=0.
  2. Choose the logistic equation. Find every horizontal row where the marks go flat.
  3. Choose y′=sin⁡t−0.35yy'=\sin t-0.35y. Notice that equal heights can have different slopes at different times.

Read a field in four passes

1. Find zero-slope sets

Where f(t,y)=0f(t,y)=0, the field is horizontal. If the equation is autonomous, y′=f(y)y'=f(y), its rate depends only on the state, and a horizontal zero-slope row often gives an equilibrium solution: a state that stays constant.

For y′=y(4−y)y'=y(4-y), the zero-rate states are y=0y=0 and y=4y=4.

2. Mark the sign regions

  • y′>0y'\gt 0: solution curves rise as tt increases.
  • y′<0y'\lt 0: solution curves fall as tt increases.
  • large ∣y′∣|y'|: solution curves look steep.

For y′=y(4−y)y'=y(4-y), the rate is positive between 0 and 4 and negative above 4. Positive solutions move toward 4.

3. Ask what stays constant

If ff depends only on yy, every mark on one horizontal row has the same slope. If ff depends only on tt, every mark in one vertical column has the same slope. These repeated patterns identify structure before algebra does.

4. Thread, do not connect dots

A solution curve stays tangent to the field and remains smooth where ff is smooth. It cannot turn at a point where the assigned slope is strictly positive or cross an equilibrium when uniqueness applies.

Field fingerprint. A direction field looks identical along every horizontal row but changes from one row to the next. What form is most likely?

Worked example: predict without solving

Read y′=2−yy'=2-y, y(0)=5y(0)=5fully worked
  1. Zero rate: 2−y=02-y=0 at y=2y=2. The row y=2y=2 is horizontal.
  2. Sign: above y=2y=2, y′<0y'\lt 0; below it, y′>0y'\gt 0. Arrows point toward 2 from both sides.
  3. Initial motion: y′(0)=2−5=−3y'(0)=2-5=-3, so the curve starts downward with slope −3-3.
  4. Long-run prediction: the rate weakens as yy nears 2, so the curve falls and flattens toward y=2y=2.
  5. Shape check: differentiating the equation gives y′′=−y′y''=-y'. While the solution falls, y′<0y'\lt 0, so y′′>0y''\gt 0. The curve is concave up.

Same structure, less support

For y′=1−12yy'=1-\tfrac12 y, y(0)=−2y(0)=-2:

  • the equilibrium is y=‾y=\underline{\hspace{2em}};
  • the initial slope is ‾\underline{\hspace{3em}};
  • the solution moves [toward / away from] the equilibrium; and
  • while it rises, its concavity is [up / down].
Check the four predictions

The equilibrium is y=2y=2; the initial slope is 22; the solution moves toward 2; and y′′=−12y′<0y''=-\tfrac12 y'\lt 0, so it is concave down while rising.

What can go wrong?

Error clinic: treating a slope mark as a point to hit

The small segment at (1,2)(1,2) reports the slope a solution would have if it passed through (1,2)(1,2). It does not require every solution to pass through that point. A field encodes infinitely many possible initial-value problems at once.

Error clinic: drawing vertical solution segments

A classical solution y(t)y(t) is a function of tt, so its graph cannot double back or become vertical. Very steep is possible; vertical is not a finite derivative.

When may solution curves cross?

If f(t,y)f(t,y) and its dependence on yy are sufficiently well behaved near a point, one initial condition selects one local solution. Two distinct solution curves cannot cross there: the crossing point would give the same initial condition two different futures.

This is a conceptual use of uniqueness. You do not need the full theorem yet. Use the practical rule: for the smooth equations in the early chapters, never sketch two solution curves crossing.

Practice

  1. Practice - qualitative

    2.1 For y′=y−3y'=y-3, identify the equilibrium, sign regions, and long-run direction for initial values 1, 3, and 5.

    Detailed solution

  2. Practice - field fingerprint

    2.2 Describe how the fields for y′=cos⁡ty'=\cos t, y′=cos⁡yy'=\cos y, and y′=cos⁡(t+y)y'=\cos(t+y) differ in repeated pattern.

    Detailed solution

  3. Integrated - derivatives

    2.3 A solution satisfies y′=y(1−y)y'=y(1-y) and y(0)=1/4y(0)=1/4. Predict monotonicity, limiting state, and the sign of y′′y'' before and after y=1/2y=1/2.

    Detailed solution

  4. Challenge - nonuniqueness

    2.4 Verify that both y=0y=0 and y=(t/2)2y=(t/2)^2 for t≥0t\ge0 solve y′=yy'=\sqrt{y} with y(0)=0y(0)=0. What field-sketching rule must you suspend at this nonsmooth point?

    Detailed solution

  5. Practice - extension

    2.5 For y′=t−yy'=t-y, mark the zero-slope line and sign regions. Is the line y=ty=t itself a solution? For the solution through (0,0)(0,0), compute y′(0)y'(0) and y′′(0)y''(0), then predict its initial motion for small positive time.

    Detailed solution

  6. Challenge - transfer

    2.6 For y′=t2−yy'=t^2-y, derive y′′y'' along a solution. A solution passes through (1,1)(1,1), while another passes through (−1,1)(-1,1). Both have zero slope there. Determine which point is a local minimum and which is a local maximum, and explain why horizontal slope alone does not settle the question.

    Detailed solution

Spaced retrieval 1

Without looking back, translate: "A quantity moves toward 10 at a rate equal to twice its signed distance from 10." Check the sign by testing a state above 10.

Reveal after committing

y′=−2(y−10)=2(10−y)y'=-2(y-10)=2(10-y). At y=12y=12, the rate is −4-4, so the state moves down toward 10.

Next: Learn the structural fingerprints that select a solution method.

Choose a method from fingerprints

Chapter 3 - Recognition before execution

Solving is not only performing a method. It is deciding which method fits. Homework grouped by method hides that decision because every exercise under "Separable Equations" is separable. Real problems do not carry those labels.

This chapter builds a method-selection guide you will retrieve and refine throughout the book.

Normalize, then inspect

Before naming a method:

  1. identify the unknown function and independent variable;
  2. identify the highest derivative and therefore the order;
  3. move or divide terms to expose a familiar form; and
  4. check whether a simpler qualitative answer should come first.

The same equation can wear a disguise. For example,

(1+t)y′=2y (1+t)y'=2y

looks different from y′=a(t)b(y)y'=a(t)b(y) until division gives

y′=21+ty. y'=\frac{2}{1+t}y.

Now its separable fingerprint is visible. It is also linear; either method works.

The first-course method map

Autonomousy' = f(y)

First draw the phase line: a state axis with arrows showing motion. Equilibria and their response to nearby starting states may answer the important question without a formula.

Separabley' = a(t)b(y)

Move all state factors beside dydy and all time factors beside dtdt.

First-order lineary' + p(t)y = q(t)

Use an integrating factor, a multiplier that creates one product derivative.

Second-order constant coefficientay'' + by' + cy = g(t)

Use characteristic roots, the rates of the equation's exponential solutions, for natural motion; add a response shaped like the input.

Linear systemx' = Ax

Read eigen-directions and eigenvalues, which encode basic motions such as growth, decay, and oscillation. Then connect them to a phase portrait: a picture of paths through state space.

No elementary fingerprinty' = f(t,y)

Use a field, numerical approximation, bounds, or a qualitative argument.

These categories overlap. y′=tyy'=ty is autonomous? No, because the rate contains tt. It is both separable and linear. Choose the shorter route and retain the other as a check.

Lab: classify before solving

Method trainerEight mixed equations; no chapter labels.

Contrast cases: train the boundary

Deep recognition grows when similar-looking examples require different moves.

Separable

y′=t(1+y)y'=t(1+y)

dy1+y=t dt\dfrac{dy}{1+y}=t\,dt

Why

one factor uses only tt, the other only yy

Linear, not separable

y′=t+yy'=t+y

y′−y=ty'-y=t

Why

the sum t+yt+y cannot split into a(t)b(y)a(t)b(y)

Neither elementary form

y′=t+y2y'=t+y^2

use a field or numerical method

Why

nonlinear in yy, and no product separates

Almost separable. Which equation fails the separable test?

Worked example: name two routes

Classify ty′+2y=t3ty'+2y=t^3, t>0t\gt 0method selection
  1. Normalize. Divide by tt: y′+(2/t)y=t2y'+(2/t)y=t^2.
  2. Test separability. Rewriting gives y′=t2−(2/t)yy'=t^2-(2/t)y, a sum whose terms mix tt and yy. It does not split into a(t)b(y)a(t)b(y).
  3. Test linearity. It matches y′+p(t)y=q(t)y'+p(t)y=q(t) with p(t)=2/tp(t)=2/t and q(t)=t2q(t)=t^2.
  4. State the next move. Use the integrating factor μ=e∫2/t dt=t2\mu=e^{\int 2/t\,dt}=t^2 on t>0t\gt 0. Chapter 5 develops the method.

Fade the classification

Classify each equation and state only the first move, not the full solution.

  1. y′=(t2+1)e−yy'=(t^2+1)e^{-y}
  2. y′−1ty=ty'-\frac{1}{t}y=t
  3. y′=y2−4y'=y^2-4
  4. y′′−5y′+6y=0y''-5y'+6y=0
Check the fingerprints
  1. Separable; multiply by eye^y and pair eydye^y dy with (t2+1)dt(t^2+1)dt.
  2. First-order linear; compute an integrating factor on an interval excluding zero.
  3. Autonomous and separable; first find equilibria y=±2y=\pm2 and draw a phase line.
  4. Homogeneous second-order constant coefficient; form r2−5r+6=0r^2-5r+6=0.

Method choice is a claim you can test

Before executing, point to the exact fingerprint. "It looks linear" is too vague. Say "after dividing by tt, the equation has y′+p(t)y=q(t)y'+p(t)y=q(t), and yy appears only to the first power."

Error clinic: distributing dydy as if it were an algebra tile

Separation is justified through differential or integral notation, but only after the rate factors correctly. From y′=t+yy'=t+y, writing dy/y=t dt+dtdy/y=t\,dt+dt does not separate anything: the right side still came from an invalid division of a sum.

Practice

For every problem, write a one-line fingerprint justification before any algebra.

  1. Practice - classification

    3.1 Classify: (a) y′=t2/yy'=t^2/y, (b) y′+ety=1y'+e^t y=1, (c) y′=ysin⁡yy'=y\sin y, (d) y′′+9y=0y''+9y=0.

    Detailed solution

  2. Practice - contrast

    3.2 Explain why y′=ty+ty'=t y+t is separable, while y′=ty+1y'=t y+1 is generally not. Identify a method that works for both.

    Detailed solution

  3. Integrated - multiple routes

    3.3 Find every applicable early-course method for y′=y/ty'=y/t, t>0t\gt 0. Which route uses less machinery?

    Detailed solution

  4. Challenge - strategy boundary

    3.4 For y′=y2+ty'=y^2+t, explain precisely why the separable and first-order linear fingerprints fail. List three useful things you can still do without an elementary formula.

    Detailed solution

  5. Practice - extension

    3.5 Normalize (t−2)y′+3y=(t−2)2(t-2)y'+3y=(t-2)^2. Identify the method and coefficient functions on intervals avoiding 2. Which interval containing t=3t=3 is appropriate for the normalized equation? What condition would the original equation impose if a differentiable solution extended to t=2t=2? Do not solve.

    Detailed solution

  6. Challenge - transfer

    3.6 The equation y′=y+ty2y'=y+ty^2 is neither first-order linear nor separable in its given variables. Record the equilibrium lost by dividing by yy, then set v=1/yv=1/y on a nonzero branch. Derive the equation for vv and identify its method. Explain why the transformed equation does not make the original equation linear in yy.

    Detailed solution

Retrieve the map

On blank paper, recreate the six-box method map from memory. For each box, write a representative equation that did not appear on this page. Then compare.

Next: Turn the separable fingerprint into a reliable sequence of moves.

Separable equations

Chapter 4 - Put each variable on its own side

A first-order equation is separable when its rate factors into a time-only part and a state-only part:

y′=a(t)b(y). y'=a(t)b(y).

The method reverses the chain rule. It rewrites the equation so one integral uses yy and the other uses tt.

The fingerprint and the move

See

dydt=a(t)b(y)\dfrac{dy}{dt}=a(t)b(y)

1b(y) dy=a(t) dt\dfrac{1}{b(y)}\,dy=a(t)\,dt

Do

integrate both sides, then use the initial condition

Before dividing by b(y)b(y), solve b(y)=0b(y)=0. Every root may give an equilibrium solution that division would erase.

Equilibrium safeguard

Write "lost-solution check: b(y)=0b(y)=0" above the first line of every separation. This five-second habit prevents one of the most common errors in the course.

Worked example: full support

Solve y′=tyy'=ty, y(0)=2y(0)=2fully worked
  1. Recognize. The rate is a(t)b(y)a(t)b(y) with a(t)=ta(t)=t and b(y)=yb(y)=y.
  2. Protect equilibria. b(y)=0b(y)=0 gives y=0y=0, an equilibrium of the differential equation. It does not meet y(0)=2y(0)=2, but it belongs to the general solution set.
  3. Separate. On a region where y≠0y\ne0, 1y dy=t dt\dfrac{1}{y}\,dy=t\,dt.
  4. Integrate. ln⁡∣y∣=t2/2+C\ln|y|=t^2/2+C.
  5. Expose the family. ∣y∣=eCet2/2|y|=e^Ce^{t^2/2}. Absorb sign and positive magnitude into one nonzero constant: y=Cet2/2y=Ce^{t^2/2}. Including C=0C=0 restores the equilibrium.
  6. Use the condition. 2=C2=C, so y=2et2/2\boxed{y=2e^{t^2/2}}.
  7. Check. y′=2tet2/2=tyy'=2te^{t^2/2}=ty, and y(0)=2y(0)=2. The curve decreases for t<0t\lt 0, has zero slope at 0, and increases for t>0t\gt 0, exactly as tyty predicts for positive yy.

Why the absolute value disappears carefully

From ln⁡∣y∣=F(t)+C\ln|y|=F(t)+C, exponentiation gives ∣y∣=AeF(t)|y|=Ae^{F(t)} with A>0A\gt 0. A solution stays either positive or negative on the interval where the derivation holds. Write y=CeF(t)y=Ce^{F(t)}, where C≠0C\ne0 can have either sign. Then check whether C=0C=0 restores an equilibrium.

Erasing ∣⋅∣|\cdot| without accounting for sign can delete negative solutions.

Fade the support backward

Solve y′=(1+t)(1+y2)y'=(1+t)(1+y^2), y(0)=0y(0)=0.

Given

dy1+y2=(1+t)dt\dfrac{dy}{1+y^2}=(1+t)dt

arctan⁡y=t+t2/2+C\arctan y=t+t^2/2+C

Complete

Use y(0)=0y(0)=0 to find C=‾C=\underline{\hspace{2em}}.

Apply tangent: y=‾y=\underline{\hspace{8em}}.

Verify

Differentiate your function and name the interval containing 0 on which it remains finite.

Check the completion

C=0C=0, so y=tan⁡(t+t2/2)y=\tan(t+t^2/2). The argument has minimum −1/2-1/2, so it never reaches −π/2-\pi/2. Both nearest poles instead occur where t+t2/2=π/2t+t^2/2=\pi/2, at t=−1±1+πt=-1\pm\sqrt{1+\pi}. The maximal interval containing 0 is (−1−1+π,−1+1+π)(-1-\sqrt{1+\pi},-1+\sqrt{1+\pi}). Substitution confirms y′=(1+t)sec⁡2(t+t2/2)=(1+t)(1+y2)y'=(1+t)\sec^2(t+t^2/2)=(1+t)(1+y^2).

Definite integrals keep conditions attached

Instead of adding constants and solving for them later, you can incorporate y(t0)=y0y(t_0)=y_0 directly:

∫y0y(t)1b(u) du=∫t0ta(s) ds. \int_{y_0}^{y(t)}\frac{1}{b(u)},du=\int_{t_0}^{t}a(s),ds.

The dummy variables uu and ss prevent the same symbol from serving as both a limit and an integration variable. This form often reduces constant errors and naturally produces an implicit solution, an equation relating the variables without isolating the state.

Implicit can be finished

For y′=t/(1+y2)y'=t/(1+y^2) with y(0)=1y(0)=1, definite integration gives

∫1y(t)(1+u2)du=∫0ts ds, \int_1^{y(t)}(1+u^2)du=\int_0^t s,ds,

so

y+y33=t22+43. y+\frac{y^3}{3}=\frac{t^2}{2}+\frac43.

Solving the cubic explicitly would make the answer harder to read. The implicit equation already defines the solution locally and is easy to differentiate for verification.

Lost solution check. Separating y′=y(1−y)y'=y(1-y) requires division by y(1−y)y(1-y). Which solutions must be recorded first?

Error clinic

Incorrect: y′=t+y⇒dy/y=t dt+dty'=t+y \Rightarrow dy/y=t\,dt+dt.

Division by yy gives y′/y=t/y+1y'/y=t/y+1, not t+1t+1. A sum does not separate unless the entire right side factors into a time-only part times a state-only part.

Incomplete: ∫y−1dy=ln⁡y\int y^{-1}dy=\ln y.

The real antiderivative is ln⁡∣y∣\ln|y| on intervals avoiding zero. If an initial condition forces y>0y\gt 0, say so; otherwise preserve both signs.

Practice

  1. Practice - core move

    4.1 Solve y′=3t2/yy'=3t^2/y, y(0)=2y(0)=2. State the branch selected by the initial condition and verify it.

    Detailed solution

  2. Practice - equilibrium safeguard

    4.2 Find all equilibrium and non-equilibrium solutions of y′=y(y−2)y'=y(y-2). Then solve the initial-value problem y(0)=1y(0)=1.

    Detailed solution

  3. Integrated - modeling

    4.3 A culture grows at rate P′=0.6P(1−P/500)P'=0.6P(1-P/500), with P(0)=50P(0)=50. Separate and solve. Use the equation, not only the formula, to predict the long-run population.

    Detailed solution

  4. Challenge - interval

    4.4 Solve y′=1+y2y'=1+y^2, y(0)=1y(0)=1. Find the maximal open interval containing zero on which the solution exists.

    Detailed solution

  5. Practice - extension

    4.5 Solve y′=2ty2y'=2ty^2, y(0)=−2y(0)=-2. Include the lost-solution check, state the maximal interval containing zero, and explain why the solution stays negative even though its derivative changes sign.

    Detailed solution

  6. Challenge - transfer

    4.6 Solve y′=y3/2y'=y^{3/2}, y(0)=4y(0)=4, for real nonnegative yy. State the maximal interval containing zero and verify the branch restriction before squaring. Explain why the resulting rational expression is not a continuation of this solution past its pole.

    Detailed solution

Spaced retrieval 2

Without notes:

  1. rebuild the three-pass verification from Chapter 1;
  2. state the horizontal-row fingerprint from Chapter 2; and
  3. write the equilibrium safeguard for separation.

Next: Use an integrating factor to turn a linear equation into one product derivative.

First-order linear equations

Chapter 5 - Manufacture a product derivative

A first-order linear equation has the normalized form

y′+p(t)y=q(t). y'+p(t)y=q(t).

The obstacle is the extra p(t)yp(t)y term. An integrating factor μ(t)\mu(t) makes the left side become one product derivative:

μy′+μpy=(μy)′. \mu y'+\mu p y=(\mu y)'.

Derive the method once

The product rule says

(μy)′=μy′+μ′y. (\mu y)'=\mu y'+\mu' y.

To match μy′+μpy\mu y'+\mu p y, require μ′=μp\mu'=\mu p, or μ′/μ=p\mu'/\mu=p. Therefore

μ(t)=e∫p(t) dt. \boxed{\mu(t)=e^{\int p(t),dt}}.

This formula is not a magic insertion. It solves the small design problem "which multiplier makes these two terms a product derivative?"

Integrating factor transformation A linear equation is multiplied by an integrating factor so its two left terms lock into one product derivative. y' + p(t)y = q(t) two left-hand terms multiply by μ μy' + μ' y choose μ' = μp = (μy)' integrate once
The multiplier is chosen to create structure, not merely to change the equation.

The reliable sequence

  1. Normalize the coefficient of y′y' to 1.
  2. Identify p(t)p(t) and q(t)q(t).
  3. Compute μ=e∫p(t)dt\mu=e^{\int p(t)dt}.
  4. Multiply every term by μ\mu.
  5. Replace the left side with (μy)′(\mu y)'.
  6. Integrate and solve for yy.
  7. Apply the initial condition and verify.

Worked example: full support

Solve y′+2y=6y'+2y=6, y(0)=5y(0)=5fully worked
  1. Read the model. y′=6−2y=−2(y−3)y'=6-2y=-2(y-3). Before solving, predict movement toward the equilibrium y=3y=3. Starting at 5, the curve should decrease and flatten.
  2. Identify. p(t)=2p(t)=2, q(t)=6q(t)=6.
  3. Build the factor. μ=e∫2dt=e2t\mu=e^{\int 2dt}=e^{2t}.
  4. Multiply all terms. e2ty′+2e2ty=6e2te^{2t}y'+2e^{2t}y=6e^{2t}.
  5. Recognize the product. (e2ty)′=6e2t(e^{2t}y)'=6e^{2t}.
  6. Integrate. e2ty=3e2t+Ce^{2t}y=3e^{2t}+C, hence y=3+Ce−2ty=3+Ce^{-2t}.
  7. Use and check. 5=3+C5=3+C, so y=3+2e−2ty=3+2e^{-2t}. Its graph decreases toward 3, matching the prediction. Substitution gives y′+2y=−4e−2t+6+4e−2t=6y'+2y=-4e^{-2t}+6+4e^{-2t}=6.

Backward-faded example

Solve ty′−y=t3ty'-y=t^3, t>0t\gt 0, with y(1)=2y(1)=2.

Given

Normalize: y′−1ty=t2y'-\frac1t y=t^2.

Thus p(t)=−1/tp(t)=-1/t.

Complete

μ=e∫−1/t dt=‾\mu=e^{\int -1/t\,dt}=\underline{\hspace{4em}}.

Then (‾ y)′=‾(\underline{\hspace{3em}}\,y)'=\underline{\hspace{4em}}.

You finish

Integrate, use y(1)=2y(1)=2, and verify in the normalized equation.

Check the missing work

On t>0t\gt 0, μ=e−ln⁡t=1/t\mu=e^{-\ln t}=1/t. Multiplication gives (y/t)′=t(y/t)'=t. Thus y/t=t2/2+Cy/t=t^2/2+C, so y=t3/2+Cty=t^3/2+Ct. The condition gives C=3/2C=3/2, hence y=(t3+3t)/2y=(t^3+3t)/2.

When linear and separable overlap

The homogeneous linear equation y′+p(t)y=0y'+p(t)y=0, with no external input on the right, is also separable:

y′y=−p(t). \frac{y'}{y}=-p(t).

For y′=tyy'=ty, separation is shorter. For y′+p(t)y=q(t)y'+p(t)y=q(t) with nonzero qq, the integrating-factor route usually survives while separation fails.

Normalize first. For 2ty′+6y=t22ty'+6y=t^2 on t>0t\gt 0, what is p(t)p(t)?

Modeling example: a mixing tank

A 100 L tank receives brine at 2 L/min with concentration 0.1 kg/L. The same volume leaves each minute. If S(t)S(t) is kilograms of salt, then

S′=(2)(0.1)⏟rate in−(2)S100⏟rate out=0.2−0.02S. S'=\underbrace{(2)(0.1)}{\text{rate in}}-\underbrace{(2)\frac{S}{100}}{\text{rate out}} =0.2-0.02S.

In linear form, S′+0.02S=0.2S'+0.02S=0.2. Before solving, the zero-rate amount is 10 kg, so every solution should move toward 10. The integrating factor gives S=10+Ce−0.02tS=10+Ce^{-0.02t}. The constant records the initial displacement from equilibrium.

Error clinic

Error clinic: reading p(t)p(t) before normalization

In ty′+2y=1t y'+2y=1, the coefficient used in the integrating factor is 2/t2/t, not 2. Divide by the coefficient of y′y' first and state the interval, such as t>0t\gt 0.

Error clinic: multiplying only the left side

An integrating factor preserves equality only when it multiplies every term. Write the multiplied equation in full before compressing the product derivative.

Practice

  1. Practice - constant coefficient

    5.1 Solve y′−3y=6y'-3y=6, y(0)=1y(0)=1. Predict the long-run behavior first and reconcile it with the result.

    Detailed solution

  2. Practice - variable coefficient

    5.2 Solve y′+(2/t)y=ty'+(2/t)y=t for t>0t\gt 0, with y(1)=0y(1)=0.

    Detailed solution

  3. Integrated - model

    5.3 A room at 20 °C contains an object initially at 80 °C. Newton cooling gives T′=−0.25(T−20)T'=-0.25(T-20). Solve, then find when the object reaches 30 °C.

    Detailed solution

  4. Challenge - reverse engineering

    5.4 Find a first-order linear differential equation whose general solution is y=t2+Ce−ty=t^2+Ce^{-t}. Explain how your equation separates the forced response from the transient.

    Detailed solution

  5. Practice - extension

    5.5 Solve y′+2y=e−ty'+2y=e^{-t}, y(0)=0y(0)=0, using an integrating factor. For t≥0t\ge0, determine when the solution reaches its maximum and find that maximum. Check both the equation and the initial condition.

    Detailed solution

  6. Challenge - transfer

    5.6 Solve the variable-volume tank model S′+S/(100+t)=6S'+S/(100+t)=6, S(0)=0S(0)=0, for t≥0t\ge0, with SS in grams and 100+t100+t in liters. Find the concentration S/(100+t)S/(100+t) and its limit. Explain why salt amount has no finite limit even though concentration does.

    Detailed solution

Retrieve and discriminate

On blank paper, solve only far enough to expose the key transformation:

  1. y′=t(1−y)y'=t(1-y) by separation;
  2. y′+ty=ty'+ty=t by an integrating factor; and
  3. show that these are the same equation, so both methods apply; then explain why replacing the right side of the second equation by t2t^2 generally removes separability but preserves linearity.

Next: Use phase lines and feedback to understand autonomous equations.

Autonomous equations and stability

Chapter 6 - Read feedback from a phase line

An autonomous equation has no explicit time dependence:

y′=f(y). y'=f(y).

The same state always receives the same rate. This makes long-run behavior visible on a one-dimensional phase line, often before any solution formula appears.

The phase-line procedure

  1. Solve f(y)=0f(y)=0 for equilibrium states.
  2. Use those states to divide the line into intervals.
  3. Test the sign of f(y)f(y) on each interval.
  4. Draw an arrow up for f(y)>0f(y)\gt 0 and down for f(y)<0f(y)\lt 0.
  5. Classify each equilibrium by the arrows around it.

An equilibrium is:

  • asymptotically stable when nearby arrows point toward it (called stable in the phase-line examples below);
  • unstable when nearby arrows point away; and
  • semistable when one side points in and the other points out.
Phase line for y prime equals y times one minus y over four Rates are negative below zero, positive between zero and four, and negative above four. Zero is unstable and four is stable. y = 0, unstable y = 4, stable f(y) < 0 f(y) > 0 f(y) < 0 The vertical coordinate is state, not time.
A phase line compresses every solution's direction into one state axis.

Lab: logistic feedback

Logistic feedback explorerChange the environment and the initial state.

solutioncarrying capacity

Questions to test in the lab:

  • Which parameter changes the destination?
  • Which parameter changes how quickly the solution travels?
  • Does a positive initial state above KK blow up, cross KK, or approach KK?

Worked example: stability before formula

Analyze y′=y(2−y)(y−5)y'=y(2-y)(y-5)qualitative first
  1. Equilibria. The zeros are y=0,2,5y=0,2,5.
  2. Sign below 0. Test y=−1y=-1: (−)(+)(−)(-)(+)(-) is positive, so arrows point up.
  3. Sign from 0 to 2. Test y=1y=1: (+)(+)(−)(+)(+)(-) is negative, so arrows point down.
  4. Sign from 2 to 5. Test y=3y=3: (+)(−)(−)(+)(-)(-) is positive, so arrows point up.
  5. Sign above 5. All factors have signs (+)(−)(+)(+)(-)(+), so the rate is negative.
  6. Classify. Arrows point toward 0, away from 2, and toward 5. Thus 0 and 5 are stable; 2 is unstable.

Fade the phase line

For y′=(y+1)(y−2)2y'=(y+1)(y-2)^2:

  • equilibria: y=‾y=\underline{\hspace{4em}};
  • sign on (−∞,−1)( -\infty,-1): ‾\underline{\hspace{2em}};
  • sign on (−1,2)(-1,2): ‾\underline{\hspace{2em}};
  • sign on (2,∞)(2,\infty): ‾\underline{\hspace{2em}};
  • stability at −1-1: ‾\underline{\hspace{5em}}; at 2: ‾\underline{\hspace{5em}}.
Check the line

The equilibria are −1-1 and 2. Since the squared factor never changes sign, the rate is negative below −1-1 and positive on both intervals above −1-1. Thus −1-1 is unstable, while 2 is semistable: trajectories below 2 move upward toward it, while trajectories above 2 move upward away from it.

Feedback language

Near an equilibrium y∗y_*, examine whether a small displacement triggers a correcting or amplifying rate.

  • Negative feedback: a positive displacement produces a negative rate, and a negative displacement produces a positive rate. The equilibrium restores itself.
  • Positive feedback: a displacement produces a rate in the same direction. The equilibrium repels.

When ff is differentiable and f′(y∗)≠0f'(y_*)\ne0:

  • f′(y∗)<0f'(y_*)\lt 0 suggests local stability;
  • f′(y∗)>0f'(y_*)\gt 0 suggests local instability.

The sign chart remains safer when f′(y∗)=0f'(y_*)=0.

Stability from feedback. Near y=3y=3, a model is approximately y′=−0.4(y−3)y'=-0.4(y-3). What happens after a small upward displacement?

Parameters can change the portrait

Consider y′=y(r−y)y'=y(r-y). When r>0r\gt 0, y=0y=0 is unstable and y=ry=r is stable. When r<0r\lt 0, their order swaps: y=ry=r is unstable and y=0y=0 is stable. At r=0r=0, the equilibria meet.

This qualitative change as a parameter passes a threshold is a bifurcation. It matters because parameter changes can alter not only speed, but the number and stability of long-run states.

Error clinic

Error clinic: putting time on the phase line

A phase line's coordinate is the state yy. Arrows report how yy changes as time advances. A solution graph uses horizontal time and vertical state; the two pictures carry different axes.

Practice

  1. Practice - phase line

    6.1 Draw and classify the phase line for y′=y(y−1)(y−3)y'=y(y-1)(y-3).

    Detailed solution

  2. Practice - solution behavior

    6.2 For the same equation, describe the long-run behavior for y(0)=−1,1/2,2,4y(0)=-1, 1/2, 2, 4. Do not solve.

    Detailed solution

  3. Integrated - logistic interpretation

    6.3 In P′=rP(1−P/K)P'=rP(1-P/K), with r,K>0r,K\gt 0, show that the growth rate P′P' is largest at P=K/2P=K/2. Distinguish "largest growth rate" from "largest population."

    Detailed solution

  4. Challenge - threshold

    6.4 Analyze y′=y2−ay'=y^2-a for a>0a\gt 0, a=0a=0, and a<0a\lt 0. Track how the equilibria and their stability change.

    Detailed solution

  5. Practice - extension

    6.5 Analyze y′=−(y−2)3y'=-(y-2)^3. Classify the equilibrium using a sign chart, then compute f′(2)f'(2). What does this example show about concluding instability from a zero linearization derivative? Predict the limits for y(0)=1y(0)=1 and y(0)=3y(0)=3.

    Detailed solution

  6. Challenge - transfer

    6.6 A harvested population follows P′=P(1−P/8)−HP'=P(1-P/8)-H, where H≥0H\ge0 is a constant removal rate. Find and classify equilibria for 0≤H<20\le H\lt 2, H=2H=2, and H>2H\gt 2. For 0<H<20\lt H\lt 2, explain the role of the smaller equilibrium. Treat P=0P=0 as extinction: stop the physical model there instead of allowing negative population.

    Detailed solution

Retrieve and connect

Without looking, answer:

  1. Why must separation record equilibria before division?
  2. How does an integrating factor use the product rule?
  3. What do inward, outward, and one-sided arrows mean at an equilibrium?

Next: Turn second-order equations into the language of natural modes and oscillation.

Second-order equations and oscillation

Chapter 7 - Position needs velocity

A second-order equation tracks curvature or acceleration. To select one motion, you usually need two initial facts, such as position and velocity:

y′′+ay′+by=0,y(0)=y0,y′(0)=v0. y''+ay'+by=0,\qquad y(0)=y_0,\quad y'(0)=v_0.

The solution is built from natural modes: motions the unforced system can sustain on its own.

From derivatives to a polynomial

Exponentials reproduce themselves under differentiation. Try y=erty=e^{rt}:

r2ert+arert+bert=0. r^2e^{rt}+ar e^{rt}+be^{rt}=0.

Since ert≠0e^{rt}\ne0, the possible rates rr solve the characteristic equation

r2+ar+b=0. r^2+ar+b=0.

The roots predict the motion's geometry.

Two real roots r1≠r2r_1\ne r_2y=C_1e^{r_1t}+C_2e^{r_2t}

The mode with the larger root dominates late if its coefficient is nonzero. If both roots are negative, this is the slower-decaying mode.

Repeated real root rry=(C_1+C_2t)e^{rt}

The factor tt creates a second independent motion.

Complex roots α±iβ\alpha\pm i\betay=e^{\alpha t}(C_1\cos\beta t+C_2\sin\beta t)

α\alpha controls the envelope, the curve bounding the oscillation's size; β\beta controls angular frequency, measured in radians per unit time.

Root signsRe(r) < 0 → decay

Positive real part gives a growing mode. A nonzero pure imaginary pair gives undamped oscillation; a zero root gives a constant mode, and a repeated zero root also permits linear drift.

Lab: watch damping reshape motion

Damped oscillatorx′′+cx′+x=0x''+cx'+x=0

position over timeposition-velocity path

Move cc slowly through 2. For 0<c<20\lt c\lt 2, roots are complex and nonzero trajectories spiral inward; at c=0c=0, they form closed orbits without decay. At 2, the root repeats and the system returns without sustained oscillation. Above 2, two negative real modes give a non-oscillatory return; the slower mode decays more slowly than at critical damping unless its coefficient is zero. Critical damping is the boundary between oscillatory and non-oscillatory return.

Worked example: read roots, then constants

Solve y′′+4y′+13y=0y''+4y'+13y=0, y(0)=2y(0)=2, y′(0)=−1y'(0)=-1fully worked
  1. Characteristic equation. r2+4r+13=0r^2+4r+13=0.
  2. Roots. r=(−4±16−52)/2=−2±3ir=(-4\pm\sqrt{16-52})/2=-2\pm3i.
  3. Predict. The motion oscillates at angular frequency 3 under an envelope e−2te^{-2t}. It decays rapidly.
  4. Write the real family. y=e−2t(C1cos⁡3t+C2sin⁡3t)y=e^{-2t}(C_1\cos3t+C_2\sin3t).
  5. Use position. y(0)=C1=2y(0)=C_1=2.
  6. Use velocity. Differentiating and evaluating at zero gives y′(0)=−2C1+3C2=−1y'(0)=-2C_1+3C_2=-1. With C1=2C_1=2, C2=1C_2=1.
  7. Result and check. y=e−2t(2cos⁡3t+sin⁡3t)y=e^{-2t}(2\cos3t+\sin3t). The roots guarantee the equation; direct evaluation checks both initial conditions.

Fade the root cases

Match each equation to a root picture and solution form.

y′′+5y′+6y=0y''+5y'+6y=0

Roots: ‾\underline{\hspace{5em}}

Form: ‾\underline{\hspace{8em}}

y′′+4y′+4y=0y''+4y'+4y=0

Root: ‾\underline{\hspace{5em}}

Form: ‾\underline{\hspace{8em}}

y′′+9y=0y''+9y=0

Roots: ‾\underline{\hspace{5em}}

Interpret the motion.

Check the forms
  1. Roots −2,−3-2,-3; y=C1e−2t+C2e−3ty=C_1e^{-2t}+C_2e^{-3t}.
  2. Repeated root −2-2; y=(C1+C2t)e−2ty=(C_1+C_2t)e^{-2t}.
  3. Roots ±3i\pm3i; y=C1cos⁡3t+C2sin⁡3ty=C_1\cos3t+C_2\sin3t, an undamped oscillation.

Mechanical language

The mass-spring-damper model

mx′′+cx′+kx=0 mx''+cx'+kx=0

balances inertia mx′′mx'', damping cx′cx', and restoring force kxkx. Dividing by mm shows that the key comparisons use c/mc/m and k/mk/m. The discriminant c2−4mkc^2-4mk separates overdamped, critically damped, and underdamped motion.

Root reading. A characteristic root is −0.2+5i-0.2+5i. What does each part control?

Error clinic

Error clinic: one constant for a second-order equation

A second-order linear homogeneous equation generally needs two independent modes and two constants. A repeated root does not reduce that dimension; it changes the second mode to tertte^{rt}.

Error clinic: using complex exponentials but dropping real solutions

Complex roots are a calculation device. For real initial data, report the equivalent real sine-cosine form unless the context explicitly prefers complex notation.

Practice

  1. Practice - distinct roots

    7.1 Solve y′′−y′−6y=0y''-y'-6y=0, y(0)=1y(0)=1, y′(0)=0y'(0)=0. Predict which mode dominates for large positive time.

    Detailed solution

  2. Practice - repeated root

    7.2 Solve y′′+6y′+9y=0y''+6y'+9y=0, y(0)=0y(0)=0, y′(0)=2y'(0)=2.

    Detailed solution

  3. Integrated - oscillator

    7.3 For x′′+2ζx′+x=0x''+2\zeta x'+x=0, classify motion for ζ=0,1/2,1,2\zeta=0, 1/2, 1, 2. Connect each case to a path in position-velocity space.

    Detailed solution

  4. Challenge - design

    7.4 Choose aa and bb so y′′+ay′+by=0y''+ay'+by=0 has oscillations with envelope e−te^{-t} and period π\pi. Explain from the desired roots.

    Detailed solution

  5. Practice - extension

    7.5 Solve x′′+4x=0x''+4x=0, x(0)=1x(0)=1, x′(0)=2x'(0)=2. Rewrite the solution as a single shifted cosine, identify its amplitude and period, and verify that E=(x′)2/2+2x2E=(x')^2/2+2x^2 stays constant.

    Detailed solution

  6. Challenge - transfer

    7.6 Solve y′′+2y′=0y''+2y'=0, y(0)=1y(0)=1, y′(0)=−4y'(0)=-4. Identify both characteristic modes and the limit as t→∞t\to\infty. Explain why the zero root produces neither a decaying mode nor a sustained oscillation.

    Detailed solution

Retrieve across chapters

Explain how these are the same idea in different dimensions:

  • a stable equilibrium on a phase line;
  • a negative real characteristic root; and
  • an inward-moving position-velocity path.

Next: Add an external input and learn why matching frequencies can amplify motion.

Forcing and resonance

Chapter 8 - Separate natural motion from response

A nonhomogeneous equation adds an input:

ay′′+by′+cy=g(t). ay''+by'+cy=g(t).

Every solution splits into

y=yh+yp, \boxed{y=y_h+y_p},

where yhy_h is homogeneous natural motion and ypy_p is one particular response to the forcing. Natural motion is a decaying transient only when all homogeneous modes decay; undamped oscillations persist, and unstable modes can grow.

Match the input's shape

For constant coefficients, undetermined coefficients proposes a particular solution with the same family of shapes as g(t)g(t).

Polynomialg(t)=t²+1

Try a general polynomial of the same degree.

Exponentialg(t)=e^{at}

Try AeatAe^{at}.

Sinusoidg(t)=cos(ωt)

Try Acos⁡(ωt)+Bsin⁡(ωt)A\cos(ωt)+B\sin(ωt).

Productsg(t)=te^{at}

Multiply the corresponding trial families.

If the trial already belongs to yhy_h, multiply it by enough powers of tt to make it independent. This is the algebraic signature of resonance.

Worked example: ordinary forcing

Solve y′′+y=3cos⁡2ty''+y=3\cos2tshape matching
  1. Natural motion. r2+1=0r^2+1=0 gives yh=C1cos⁡t+C2sin⁡ty_h=C_1\cos t+C_2\sin t.
  2. Choose a trial. Since frequency 2 does not appear in yhy_h, try yp=Acos⁡2t+Bsin⁡2ty_p=A\cos2t+B\sin2t.
  3. Substitute. yp′′+yp=(−4A+A)cos⁡2t+(−4B+B)sin⁡2ty_p''+y_p=(-4A+A)\cos2t+(-4B+B)\sin2t.
  4. Match coefficients. −3A=3-3A=3 and −3B=0-3B=0, so A=−1A=-1, B=0B=0.
  5. Combine. y=C1cos⁡t+C2sin⁡t−cos⁡2ty=C_1\cos t+C_2\sin t-\cos2t.
  6. Interpret. The output contains natural frequency 1 and forced frequency 2. Initial conditions would set the natural-motion amplitudes.

Lab: sweep through resonance

Forced oscillatorx′′+cx′+x=cos⁡(ωt)x''+cx'+x=\cos(\omega t)

time responsesteady-state amplitude

Reduce damping, then move ω\omega near 1. The response curve rises sharply because the input frequency approaches the natural frequency. Damping keeps the steady-state amplitude finite and shifts the exact peak slightly below 1.

Resonant forcing

For

y′′+y=cos⁡t, y''+y=\cos t,

the ordinary trial Acos⁡t+Bsin⁡tA\cos t+B\sin t duplicates yhy_h. Multiply by tt:

yp=t(Acos⁡t+Bsin⁡t). y_p=t(A\cos t+B\sin t).

Substitution gives one valid choice yp=12tsin⁡ty_p=\tfrac12 t\sin t. Its envelope grows linearly because an undamped input adds energy in phase with the natural motion.

Trial collision. For y′′−2y′+y=ety''-2y'+y=e^t, which particular trial is appropriate?

The root r=1r=1 repeats twice in the homogeneous equation, so multiply the exponential trial by t2t^2.

Fade the response

Find a particular solution of y′′+3y′+2y=4e−ty''+3y'+2y=4e^{-t}.

  1. Characteristic roots: ‾\underline{\hspace{5em}}.
  2. Collision? The input e−te^{-t} [is / is not] a natural mode.
  3. Correct trial: yp=‾y_p=\underline{\hspace{6em}}.
  4. Substitute and find the coefficient.
Check the response

The roots are −1,−2-1,-2, so e−te^{-t} collides once. Try yp=Ate−ty_p=Ate^{-t}. Substitution yields Ae−t=4e−tA e^{-t}=4e^{-t}, so A=4A=4. One particular solution is 4te−t4te^{-t}.

Transient versus steady state

In a damped stable system, yhy_h decays. What remains is the steady-state response ypy_p. This split explains why two experiments with different initial conditions can eventually show the same driven behavior.

Error clinic: applying initial conditions to ypy_p alone

The particular solution only supplies one response to the input. Initial conditions select constants after yh+ypy_h+y_p has been assembled.

Practice

  1. Practice - polynomial input

    8.1 Find the general solution of y′′+y=ty''+y=t.

    Detailed solution

  2. Practice - sinusoidal input

    8.2 Solve y′′+4y=cos⁡ty''+4y=\cos t, y(0)=0y(0)=0, y′(0)=0y'(0)=0.

    Detailed solution

  3. Integrated - collision

    8.3 For each input to y′′+4y=g(t)y''+4y= g(t), state the trial without solving: (a) e−te^{-t}, (b) cos⁡2t\cos2t, (c) t2t^2.

    Detailed solution

  4. Challenge - beating

    8.4 Use cos⁡at−cos⁡bt=−2sin⁡((a+b)t/2)sin⁡((a−b)t/2)\cos at-\cos bt=-2\sin((a+b)t/2)\sin((a-b)t/2) to explain the slow amplitude modulation when an undamped oscillator is forced near, but not at, its natural frequency.

    Detailed solution

  5. Practice - extension

    8.5 Solve y′′−2y′+y=ety''-2y'+y=e^t, y(0)=0y(0)=0, y′(0)=0y'(0)=0. Explain the required power of tt in the particular trial, and verify the complete solution using the substitution y=etuy=e^t u.

    Detailed solution

  6. Challenge - transfer

    8.6 Solve y′′+2y′+2y=cos⁡ty''+2y'+2y=\cos t, y(0)=0y(0)=0, y′(0)=0y'(0)=0. Find the steady-state amplitude, identify the transient, and explain why two solutions with different initial conditions approach the same periodic response.

    Detailed solution

Retrieve the design logic

Explain without formulas:

  1. why a particular solution should resemble the input;
  2. why a collision with natural motion requires a factor of tt; and
  3. why damping changes a resonance peak.

Next: Read coupled states as vector fields, eigen-directions, and phase portraits.

Systems and phase portraits

Chapter 9 - Several states move together

A system tracks a state vector, a list of state components, rather than one number:

x′=Ax,x=[xy]. \mathbf{x}'=A\mathbf{x},\qquad \mathbf{x}=\begin{bmatrix}x\y\end{bmatrix}.

At every point in the phase plane, whose axes are the two state components, the system assigns a velocity vector. A solution follows a trajectory, a path tangent to that field.

Lab: change the eigenvalue pattern

Linear phase-plane explorerClick to launch another trajectory.

velocity fieldtrajectoriesequilibrium

Ask three questions for each preset:

  1. Do trajectories approach or leave the origin?
  2. Do they rotate?
  3. Are any straight-line directions preserved?

Eigenvectors are invariant directions

If Av=λvA\mathbf{v}=\lambda\mathbf{v}, try a solution x=eλtv\mathbf{x}=e^{\lambda t}\mathbf{v}. Then

x′=λeλtv=eλtAv=Ax. \mathbf{x}'=\lambda e^{\lambda t}\mathbf{v} =e^{\lambda t}A\mathbf{v} =A\mathbf{x}.

Starting on a real eigenvector line keeps the trajectory on that line. Its real eigenvalue says whether motion grows, decays, or stays constant. A complex conjugate pair describes rotating motion in the real plane, not two real eigenvector lines.

Both real parts negativestable node or spiral sink

Nearby trajectories approach the equilibrium.

Both real parts positiveunstable node or spiral source

Nearby trajectories leave the equilibrium.

Opposite signssaddle

One direction contracts while another expands.

Pure imaginary paircenter in the ideal linear case

Trajectories orbit without decay or growth.

Worked example: an unstable node

Analyze x′=3x+y, y′=x+3yx'=3x+y,\ y'=x+3yeigen-directions
  1. Matrix. A=[3113]A=\begin{bmatrix}3&1\\1&3\end{bmatrix}.
  2. Eigenvalues. det⁡(A−λI)=(3−λ)2−1=0\det(A-\lambda I)=(3-\lambda)^2-1=0, so λ=4,2\lambda=4,2.
  3. Eigenvectors. For λ=4\lambda=4, one eigenvector is [1,1]T[1,1]^T. For λ=2\lambda=2, one is [1,−1]T[1,-1]^T.
  4. Build the family. x=C1e4t[1,1]T+C2e2t[1,−1]T\mathbf{x}=C_1e^{4t}[1,1]^T+C_2e^{2t}[1,-1]^T.
  5. Classify. Both eigenvalues are positive, so the origin is an unstable node, not a saddle. The λ=4\lambda=4 direction dominates for most initial states as t→∞t\to\infty.
  6. Sketch. Draw both eigenvector lines first. Other trajectories leave the origin and bend toward the faster [1,1]T[1,1]^T direction.

Classification comes from eigenvalue signs, not from the visual appearance of the matrix. A saddle would require eigenvalues with opposite signs.

Backward-faded system

For x′=x, y′=−2yx'=x,\ y'=-2y:

  • matrix: A=‾A=\underline{\hspace{7em}};
  • eigenpairs: (λ1,v1)=‾(\lambda_1,\mathbf v_1)=\underline{\hspace{7em}}, (λ2,v2)=‾(\lambda_2,\mathbf v_2)=\underline{\hspace{7em}};
  • general solution: x=‾x=\underline{\hspace{4em}}, y=‾y=\underline{\hspace{4em}};
  • classification: ‾\underline{\hspace{5em}}.
Check the portrait

A=diag⁡(1,−2)A=\operatorname{diag}(1,-2). Eigenpairs are (1,[1,0]T)(1,[1,0]^T) and (−2,[0,1]T)(-2,[0,1]^T). Thus x=C1etx=C_1e^t, y=C2e−2ty=C_2e^{-2t}. One direction grows and one decays, so the origin is a saddle.

Second-order equations are systems in disguise

Let x1=yx_1=y and x2=y′x_2=y'. Then

y′′+ay′+by=0 y''+ay'+by=0

becomes

[x1′x2′]=[01−b−a][x1x2]. \begin{bmatrix}x_1'\x_2'\end{bmatrix} = \begin{bmatrix}0&1\-b&-a\end{bmatrix} \begin{bmatrix}x_1\x_2\end{bmatrix}.

The characteristic polynomial of this matrix is the same λ2+aλ+b\lambda^2+a\lambda+b from Chapter 7. The time trace and phase portrait are two views of one solution.

Classification. A 2×2 system has eigenvalues −1-1 and 33. What is the origin?

Error clinic

Error clinic: drawing component graphs in the phase plane

The phase plane plots y(t)y(t) against x(t)x(t); time is implicit along the trajectory. A time-series plot uses tt on the horizontal axis. Label axes before interpreting a curve.

Error clinic: classifying from trace alone

A negative trace does not guarantee stability when the determinant is negative. Opposite-sign eigenvalues always produce a saddle. Compute enough information to determine both eigenvalue signs or real parts.

Practice

  1. Practice - diagonal system

    9.1 Solve and sketch x′=−x, y′=−3yx'=-x,\ y'=-3y. Which eigen-direction dominates late?

    Detailed solution

  2. Practice - coupled system

    9.2 Find eigenvalues, eigenvectors, and the general solution for x′=[2112]x\mathbf{x}'=\begin{bmatrix}2&1\\1&2\end{bmatrix}\mathbf{x}.

    Detailed solution

  3. Integrated - oscillator bridge

    9.3 Convert y′′+2y′+5y=0y''+2y'+5y=0 into a first-order system. Use its eigenvalues to predict the phase portrait.

    Detailed solution

  4. Challenge - trace and determinant

    9.4 For a real 2×2 matrix, eigenvalues satisfy λ2−τλ+Δ=0\lambda^2-\tau\lambda+\Delta=0, where τ\tau is trace and Δ\Delta determinant. Build a qualitative classification map in the (τ,Δ)(\tau,\Delta)-plane.

    Detailed solution

  5. Practice - extension

    9.5 Solve x′=−x+y, y′=−yx'=-x+y,\ y'=-y, with x(0)=0, y(0)=1x(0)=0,\ y(0)=1, by finding yy first. Compute the matrix's eigenvalues and real eigenvector directions. Explain why one eigenvector mode alone cannot satisfy these initial conditions, and classify the origin.

    Detailed solution

  6. Challenge - transfer

    9.6 For x′=−4y, y′=xx'=-4y,\ y'=x, with x(0)=2, y(0)=0x(0)=2,\ y(0)=0, find the solution and prove that x2+4y2x^2+4y^2 is conserved. Determine the orbit, rotation direction, and period. Is the origin attracting?

    Detailed solution

Retrieve the representation bridge

Choose one oscillator setting from Chapter 7. Describe the same motion in four languages: roots, time trace, phase portrait, and physical behavior.

Next: Approximate a solution step by step and learn to see numerical error.

Numerical solutions and error

Chapter 10 - Follow the local rule in finite steps

Many useful differential equations have no solution expressible by a finite combination of familiar elementary functions. Numerical methods turn the rate rule into a sequence of approximations.

Euler's method uses the current slope for one short step:

yn+1=yn+hf(tn,yn),tn+1=tn+h. \boxed{y_{n+1}=y_n+h f(t_n,y_n)},\qquad t_{n+1}=t_n+h.

It is the tangent-line approximation repeated.

Lab: shrink the step

Euler step-size explorerCompare the polygonal approximation with the exact curve.

exact solutionEuler approximation

For each equation, compare h=1h=1, 0.50.5, 0.250.25, and 0.10.1. Smaller steps usually reduce error, but they require more work. "Numerical" does not mean "unreliable"; it means error must be estimated and controlled.

Worked example: show every step

Approximate y′=t−yy'=t-y, y(0)=1y(0)=1, with h=0.5h=0.5three Euler steps
  1. Start. (t0,y0)=(0,1)(t_0,y_0)=(0,1). The slope is f(0,1)=−1f(0,1)=-1.
  2. Step to t=0.5t=0.5. y1=1+0.5(−1)=0.5y_1=1+0.5(-1)=0.5.
  3. Recompute the slope. At (0.5,0.5)(0.5,0.5), f=0.5−0.5=0f=0.5-0.5=0. Do not reuse the old slope.
  4. Step to t=1t=1. y2=0.5+0.5(0)=0.5y_2=0.5+0.5(0)=0.5.
  5. Recompute again. At (1,0.5)(1,0.5), f=0.5f=0.5. Thus y3=0.5+0.5(0.5)=0.75y_3=0.5+0.5(0.5)=0.75 at t=1.5t=1.5.
  6. Behavior check. The state first falls because t−y<0t-y\lt 0, pauses near the line y=ty=t, then rises after t−y>0t-y\gt 0. The discrete values reproduce that qualitative change.

A table is part of the reasoning

nntnt_nyny_nslope f(tn,yn)f(t_n,y_n)next yy
00.01.000-1.0000.500
10.50.5000.0000.500
21.00.5000.5000.750

The table prevents a common error: evaluating the new slope at a mixture of old and new coordinates.

Local and global error

Euler replaces a curved segment by a tangent step. If the exact solution has bounded second derivative, one step's local truncation error (the unscaled one-step defect from exact starting data) is O(h2)O(h^2). Some texts divide this defect by hh and call the result local truncation error instead. If ff is also Lipschitz in the state near the solution, accumulation across a fixed time interval gives global error O(h)O(h). These are upper-order bounds; special solutions can have zero error.

Practical consequence: halving hh should roughly halve Euler's global error once the steps are small enough for this small-step pattern to appear.

Error estimate. Euler with h=0.2h=0.2 has error about 0.08 at a fixed final time. What error would first-order behavior predict for h=0.1h=0.1?

Better slopes: midpoint and Runge-Kutta

Euler uses the slope at the start of a step. A midpoint method samples a slope near the middle. Classical fourth-order Runge-Kutta blends four slope samples. The central design idea is the same: spend more rate evaluations to approximate the curve across each step more accurately.

You do not need to memorize this fourth-order method, often called RK4, here. You should be able to ask:

  • where does the method sample slopes?
  • what order of global error does it claim?
  • does halving the step produce the expected convergence?
  • does the numerical curve respect known equilibria, signs, and bounds?

Numerical stability is not physical stability

For y′=−10yy'=-10y, the true solution decays. Euler gives

yn+1=(1−10h)yn. y_{n+1}=(1-10h)y_n.

If h=0.3h=0.3, the multiplier is −2-2: the approximation alternates and grows even though the true system decays. The step is too large for Euler's stability region.

Error clinic: trusting a smooth-looking plot

A plotting tool can connect inaccurate points smoothly. Test convergence by rerunning with a smaller step, and compare the result with qualitative facts from the differential equation.

Fade the computation

Use Euler with h=0.25h=0.25 for y′=y(1−y)y'=y(1-y), y(0)=0.2y(0)=0.2.

  1. y1=0.2+0.25[0.2(0.8)]=‾y_1=0.2+0.25[0.2(0.8)]=\underline{\hspace{4em}}.
  2. Evaluate the next slope at (t1,y1)=(0.25,‾)(t_1,y_1)=(0.25,\underline{\hspace{3em}}).
  3. Compute y2y_2 and confirm that the approximation stays between 0 and 1.
Check two steps

y1=0.24y_1=0.24. Then the slope is 0.24(0.76)=0.18240.24(0.76)=0.1824, so y2=0.24+0.25(0.1824)=0.2856y_2=0.24+0.25(0.1824)=0.2856. Both points respect the phase-line prediction of growth toward 1.

Practice

  1. Practice - Euler table

    10.1 Use Euler with h=0.2h=0.2 to approximate y(0.6)y(0.6) for y′=y−ty'=y-t, y(0)=1y(0)=1. Show a slope table.

    Detailed solution

  2. Practice - convergence

    10.2 For y′=yy'=y, y(0)=1y(0)=1, derive Euler's approximation yn=(1+h)ny_n=(1+h)^n. Compare h=1,1/2,1/4h=1,1/2,1/4 at t=1t=1 with ee.

    Detailed solution

  3. Integrated - qualitative check

    10.3 Design a test that would catch a numerical solution of P′=P(1−P/10)P'=P(1-P/10), P(0)=2P(0)=2, crossing above 10.

    Detailed solution

  4. Challenge - step stability

    10.4 For y′=−ayy'=-ay with a>0a\gt 0, find all h>0h\gt 0 for which Euler approximations decay in magnitude. Which subset decays without alternating sign?

    Detailed solution

  5. Practice - extension

    10.5 The explicit midpoint method uses k1=f(tn,yn)k_1=f(t_n,y_n), k2=f(tn+h/2,yn+hk1/2)k_2=f(t_n+h/2,y_n+hk_1/2), and yn+1=yn+hk2y_{n+1}=y_n+hk_2. Apply two steps with h=0.5h=0.5 to y′=y−t, y(0)=0y'=y-t,\ y(0)=0. Compare y(1)y(1) with two Euler steps and the exact value from y=t+1−ety=t+1-e^t.

    Detailed solution

  6. Challenge - transfer

    10.6 For z′=rz(1−z)z'=rz(1-z), r>0r\gt 0, Euler gives zn+1=zn+hrzn(1−zn)z_{n+1}=z_n+hrz_n(1-z_n). Show that 0<zn<10\lt z_n\lt 1 implies 0<zn+1<10\lt z_{n+1}\lt 1 whenever 0<hr≤10\lt hr\le1. Test r=1, h=2, z0=0.75r=1,\ h=2,\ z_0=0.75 to demonstrate overshoot, and explain why a bound-preserving step is not automatically accurate.

    Detailed solution

Retrieve the whole loop

Choose one equation from any earlier chapter and state:

  1. its structural fingerprint;
  2. a qualitative prediction;
  3. an analytic method, if available;
  4. a numerical fallback; and
  5. two independent checks.

Next: Enter the mixed practice studio, where the method is never named for you.

Mixed practice studio

Chapter 11 - The method is part of the problem

This studio removes chapter labels. Your first written line for every problem must name a structural feature, a qualitative prediction, or both. Only then should you calculate.

How to use the studio

For each problem:

  1. cover the solution link;
  2. write a method and confidence from 0 to 100%;
  3. solve or analyze;
  4. verify with a different representation; and
  5. if you miss, record the first wrong decision, not merely the final wrong answer.

Error log format

"I treated a sum as a product, so I chose separation" is useful. "Careless mistake" is not. Name the cue you missed and the cue you will inspect next time.

Round A: recognize and predict

Do not solve these. Name the most useful first method and one behavior or checking strategy.

  1. Mixed - recognition

    M1 y′=ty+sin⁡ty'=ty+\sin t

    Detailed solution

  2. Mixed - recognition

    M2 y′=et/(1+y2)y'=e^t/(1+y^2)

    Detailed solution

  3. Mixed - recognition

    M3 y′′+6y′+9y=ty''+6y'+9y=t

    Detailed solution

  4. Mixed - recognition

    M4 x′=[0−110]x\mathbf{x}'=\begin{bmatrix}0&-1\\1&0\end{bmatrix}\mathbf{x}

    Detailed solution

  5. Mixed - qualitative

    M5 y′=(y−1)(y+2)y'=(y-1)(y+2)

    Detailed solution

  6. Mixed - verification

    M6 A student claims y=1/(1−t)y=1/(1-t) solves y′=yy'=y, y(0)=1y(0)=1. Diagnose the first mismatch.

    Detailed solution

Round A checkpoint

Your six first moves should include linear integrating factor, separation, homogeneous-plus-particular response, phase-plane eigenanalysis, autonomous phase line, and substitution.

Round B: execute and verify

  1. Mixed - first order

    M7 Solve y′=(1+t)y2y'=(1+t)y^2, y(0)=−1y(0)=-1. State the interval around zero on which the denominator remains nonzero.

    Detailed solution

  2. Mixed - first order

    M8 Solve y′+(2/t)y=t2y'+(2/t)y=t^2, t>0t\gt 0, y(1)=1y(1)=1.

    Detailed solution

  3. Mixed - second order

    M9 Solve y′′+2y′+2y=0y''+2y'+2y=0, y(0)=1y(0)=1, y′(0)=0y'(0)=0. Describe its phase portrait.

    Detailed solution

  4. Mixed - forcing

    M10 Find the general solution of y′′+y=sin⁡3ty''+y=\sin3t.

    Detailed solution

  5. Mixed - numerical

    M11 Use two Euler steps of size 0.50.5 for y′=y(2−y)y'=y(2-y), y(0)=0.5y(0)=0.5. Check the values against the phase line.

    Detailed solution

  6. Mixed - system

    M12 Classify the origin for x′=[−211−2]x\mathbf{x}'=\begin{bmatrix}-2&1\\1&-2\end{bmatrix}\mathbf{x} and identify the late-time direction for generic initial data.

    Detailed solution

Round C: challenge transfers

C1. Design a safe infusion model

A medication concentration C(t)C(t) in a fixed blood volume VV receives a constant infusion II mg/hour and clears at a rate proportional to concentration, kCkC mg/hour.

  1. Build the differential equation with units.
  2. Find and classify the equilibrium concentration.
  3. Solve for C(0)=0C(0)=0.
  4. Express the time to reach 90% of equilibrium.
  5. Explain which parameters change the target and which change only the approach speed.

Detailed solution

C2. Compare two models, not two formulas

Two populations start at P(0)=1P(0)=1:

P1′=P1,P2′=P2(1−P2/10). P_1'=P_1,\qquad P_2'=P_2(1-P_2/10).

Compare them through rate laws, direction fields, early-time behavior, long-run behavior, and numerical sensitivity. Find the first nonzero term at which their Taylor expansions around t=0t=0 differ.

Detailed solution

C3. Reverse-engineer a portrait

Construct a 2x2 linear system with a spiral sink whose trajectories rotate counterclockwise and whose amplitude envelope is e−0.5te^{-0.5t}. Give one valid matrix, its eigenvalues, and the corresponding scalar second-order equation for the first component.

Detailed solution

A four-session spacing plan

Do not finish the whole studio in one sitting.

SessionNew workClosed-book retrieval
Day 1M1-M6method map; equilibrium safeguard
Day 3M7-M9integrating-factor derivation; root cases
Day 7M10-M12phase-line and phase-plane classifications
Day 14C1-C3one worked example reconstructed from memory

After Day 14, create six new problems by changing coefficients or initial conditions. Mix them before solving so the labels disappear again.

Exit interview

Answer in complete sentences:

  1. What do you inspect before choosing a method?
  2. Which visual representation would you use for one autonomous state? For two coupled states?
  3. How do you distinguish transient and forced behavior?
  4. What evidence makes a numerical result credible?
  5. Which error recurred in your log, and what cue will interrupt it?

Next: Study the detailed solutions by comparing first decisions, not by copying final lines.

Detailed solutions

Compare reasoning, not handwriting

Use these solutions after an honest attempt. Put your work beside the solution and locate the first line where the decisions differ. A different valid method is not an error; explain why it works and compare its cost.

Chapter 1

Solution 1.1

Rain contributes +12+12 m³/hour. Leakage contributes −0.04W-0.04W m³/hour because 0.040.04 has units 1/hour and WW has units m³. Therefore

W′=12−0.04W.W'=12-0.04W.

Both right-side terms and W′W' have units m³/hour. The zero-rate volume is W=300W=300 m³, which also gives a behavioral check.

Solution 1.2

For y=2+3e−ty=2+3e^{-t}, differentiate: y′=−3e−ty'=-3e^{-t}. Substitute into the right side: 2−y=2−(2+3e−t)=−3e−t=y′2-y=2-(2+3e^{-t})=-3e^{-t}=y'. The condition is y(0)=2+3=5y(0)=2+3=5. The curve decreases toward the stable level 2, matching the sign of 2−y2-y above 2.

Solution 1.3

The rate factors as 0.4N(1−N/50)0.4N(1-N/50). At N=20N=20, both factors are positive, so the state rises. At N=50N=50, the second factor is zero, so 50 is an equilibrium. At N=80N=80, the second factor is negative while NN is positive, so the state falls. The equation points positive populations toward 50.

Solution 1.4

Salt enters at (3 L/min)(0.08 kg/L)=0.24(3\text{ L/min})(0.08\text{ kg/L})=0.24 kg/min. It leaves at (3 L/min)(S/200 kg/L)=0.015S(3\text{ L/min})(S/200\text{ kg/L})=0.015S kg/min. Thus

S′=0.24−0.015S,S(0)=10.S'=0.24-0.015S,\qquad S(0)=10.

At zero rate, 0.24=0.015S0.24=0.015S, so the model suggests a long-run amount of S=16S=16 kg.

Solution 1.5

  1. The coefficient 0.20.2 has units 1/hour1/\text{hour}, so D′(0)=−0.2(10)=−2D'(0)=-0.2(10)=-2 g/hour.
  2. Differentiate the proposed function: D′=−2e−0.2t=−0.2DD'=-2e^{-0.2t}=-0.2D. Also D(0)=10D(0)=10, and its positive decreasing graph matches removal.
  3. After one hour, D(1)=10e−0.2≈8.1873D(1)=10e^{-0.2}\approx8.1873 g. The fraction lost is 1−e−0.2≈0.181271-e^{-0.2}\approx0.18127, or about 18.13%, not 20%.
  4. Exact 20% loss at each hourly checkpoint instead gives Dn=10(0.8)nD_n=10(0.8)^n. A continuous exponential matching those checkpoints would use D′=(ln⁡0.8)D≈−0.22314DD'=(\ln0.8)D\approx-0.22314D. An instantaneous percentage rate and a finite-interval percentage loss are different statements.

Solution 1.6

  1. Net volume inflow is 2−1=12-1=1 L/min, so V(t)=100+tV(t)=100+t L for t≥0t\ge0, as long as the tank does not overflow.
  2. Salt enters at (2 L/min)(3 g/L)=6(2\text{ L/min})(3\text{ g/L})=6 g/min.
  3. Well-mixed outflow has concentration S(t)/(100+t)S(t)/(100+t) g/L. At 1 L/min, it removes S(t)/(100+t)S(t)/(100+t) g/min. Therefore

S′=6−S100+t,S(0)=0.S'=6-\frac{S}{100+t},\qquad S(0)=0.

Initially, S′(0)=6S'(0)=6 g/min because there is no salt to remove yet. Both the amount and volume vary, so replacing the outflow concentration by S/100S/100 would use the wrong volume. Exercise 5.6 solves this model.

Chapter 2

Solution 2.1

The equilibrium is y=3y=3. Below 3, y−3<0y-3\lt 0, so solutions fall; above 3, they rise. Arrows point away from 3, so it is unstable. The initial values 1 and 5 move down and up, respectively, while 3 remains constant.

Solution 2.2

For y′=cos⁡ty'=\cos t, each vertical column has a common slope because only time matters. For y′=cos⁡yy'=\cos y, each horizontal row has a common slope because only state matters. For y′=cos⁡(t+y)y'=\cos(t+y), equal slopes lie on diagonal bands where t+yt+y is constant.

Solution 2.3

Between 0 and 1, y′=y(1−y)>0y'=y(1-y)\gt 0, so the solution rises toward the stable equilibrium 1. Differentiate along a solution:

y′′=y′(1−2y).y''=y'(1-2y).

While 0<y<1/20\lt y\lt 1/2, both factors are positive, so the graph is concave up. After yy passes 1/21/2, 1−2y<01-2y\lt 0, so it is concave down. The growth rate peaks at the inflection state y=1/2y=1/2.

Solution 2.4

For y=0y=0, both y′y' and y\sqrt y are zero. For y=t2/4y=t^2/4 with t≥0t\ge0, y′=t/2y'=t/2 and y=t/2\sqrt y=t/2. Both satisfy y(0)=0y(0)=0. The usual no-crossing/unique-future rule fails because y\sqrt y is not Lipschitz in yy at zero. In fact, solutions may wait at zero before departing.

Solution 2.5

The slope vanishes where t−y=0t-y=0, or y=ty=t. Below this line the rate is positive; above it the rate is negative. But the candidate y=ty=t has derivative 1 while the equation demands 0 along the line, so the zero-slope line is not a solution.

At (0,0)(0,0), y′(0)=0y'(0)=0. Differentiating the equation along the solution gives y′′=1−y′y''=1-y', hence y′′(0)=1y''(0)=1. The curve has a local minimum at zero and rises for sufficiently small positive time. As an optional check, y=t−1+e−ty=t-1+e^{-t} has the correct initial condition and derivative, with expansion y=t2/2+O(t3)y=t^2/2+O(t^3).

Solution 2.6

Differentiate along a solution, remembering that yy also depends on tt:

y′′=2t−y′=2t−t2+y.y''=2t-y'=2t-t^2+y.

At (1,1)(1,1), y′=0y'=0 and y′′=2>0y''=2\gt 0, so this solution has a strict local minimum at t=1t=1. At (−1,1)(-1,1), y′=0y'=0 and y′′=−2<0y''=-2\lt 0, so that solution has a strict local maximum at t=−1t=-1. The smooth rate rule guarantees local solutions through both points. A horizontal field mark reports only the first derivative; the second derivative distinguishes these two turning behaviors.

Chapter 3

Solution 3.1

(a) y′=t2/yy'=t^2/y is separable: y dy=t2dty,dy=t^2dt. (b) y′+ety=1y'+e^t y=1 is first-order linear with p=etp=e^t. (c) y′=ysin⁡yy'=y\sin y is autonomous and separable; draw the phase line first. (d) y′′+9y=0y''+9y=0 is homogeneous second-order constant coefficient, so use characteristic roots.

Solution 3.2

Factor y′=ty+t=t(y+1)y'=ty+t=t(y+1), so dy/(y+1)=t dtdy/(y+1)=t,dt: it is separable. The equation y′=ty+1y'=ty+1 gives y′−ty=1y'-ty=1, but the right side ty+1ty+1 does not factor into a time-only and state-only product. Both equations are first-order linear; separation is the shorter option for the first.

Solution 3.3

On t>0t\gt 0, y′=y/ty'=y/t is separable because dy/y=dt/tdy/y=dt/t. It is also homogeneous first-order linear: y′−(1/t)y=0y'-(1/t)y=0. Separation uses less setup. Both produce y=Cty=Ct.

Solution 3.4

The sum y2+ty^2+t cannot be factored as a(t)b(y)a(t)b(y), so it is not separable. The squared state violates the linear form y′+p(t)y=q(t)y'+p(t)y=q(t). Useful next steps include drawing a direction field, computing a numerical solution for specified initial data, deriving local Taylor coefficients, and proving qualitative bounds or monotonicity.

Solution 3.5

For t≠2t\ne2, divide by t−2t-2:

y′+3t−2y=t−2.y'+\frac{3}{t-2}y=t-2.

This is first-order linear with p(t)=3/(t−2)p(t)=3/(t-2) and q(t)=t−2q(t)=t-2. The maximal coefficient-continuity interval containing 3 is (2,∞)(2,\infty); the other interval is (−∞,2)(-\infty,2). The next move would be an integrating factor, μ=∣t−2∣3\mu=|t-2|^3.

The original equation still makes an algebraic demand at t=2t=2: 3y(2)=03y(2)=0, so a differentiable extension must have y(2)=0y(2)=0. This is a necessary condition, not a guarantee that every branch extends. Dividing by a coefficient that can vanish requires an interval check.

Solution 3.6

The state factor is y(1+ty)y(1+ty), whose second factor mixes time and state; the y2y^2 term also rules out linearity in yy. First record the equilibrium y=0y=0. On a branch where y≠0y\ne0, set v=1/yv=1/y. The chain rule gives

v′=−y′y2=−y+ty2y2=−v−t,v'=-\frac{y'}{y^2}=-\frac{y+ty^2}{y^2}=-v-t,

so v′+v=−tv'+v=-t, a first-order linear equation with integrating factor ete^t. Linearity depends on the unknown: the transformed equation is linear in vv, while the original remains nonlinear in yy. Recovering y=1/vy=1/v requires v≠0v\ne0, and the separate equilibrium y=0y=0 cannot be recovered by taking a finite reciprocal.

Chapter 4

Solution 4.1

Separate and integrate:

y dy=3t2dt,y22=t3+C.y,dy=3t^2dt,\qquad \frac{y^2}{2}=t^3+C.

The condition gives C=2C=2, so y2=2t3+4y^2=2t^3+4. Since y(0)=2>0y(0)=2\gt 0, select

y=2t3+4.y=\sqrt{2t^3+4}.

Differentiation gives y′=3t2/yy'=3t^2/y. The real solution interval containing zero requires 2t3+4>02t^3+4\gt 0, so t>−23t\gt -\sqrt[3]{2}.

Solution 4.2

The division safeguard records equilibria y=0y=0 and y=2y=2. For other solutions,

∫dyy(y−2)=t+C⇒12ln⁡∣y−2y∣=t+C.\int\frac{dy}{y(y-2)}=t+C \quad\Rightarrow\quad \frac12\ln\left|\frac{y-2}{y}\right|=t+C.

Exponentiating with a signed nonzero constant gives (y−2)/y=Ce2t(y-2)/y=Ce^{2t}, hence the non-equilibrium family y=2/(1−Ce2t)y=2/(1-Ce^{2t}), C≠0C\ne0, on any interval where the denominator is nonzero. The equilibria y=0y=0 and y=2y=2 complete the solution set. Using y(0)=1y(0)=1 gives C=−1C=-1, hence

y=21+e2t.y=\frac{2}{1+e^{2t}}.

This solution remains between the two equilibria and decreases toward zero, matching the phase line.

Solution 4.3

The equilibria are 0 and 500. Partial fractions or the standard logistic integration gives

P=5001+Ae−0.6t.P=\frac{500}{1+Ae^{-0.6t}}.

From P(0)=50P(0)=50, 50=500/(1+A)50=500/(1+A), so A=9A=9:

P(t)=5001+9e−0.6t.P(t)=\frac{500}{1+9e^{-0.6t}}.

The rate is positive between 0 and 500 and negative above 500, so positive nonzero solutions approach 500.

Solution 4.4

Integrating dy/(1+y2)=dtdy/(1+y^2)=dt gives arctan⁡y=t+C\arctan y=t+C. The condition y(0)=1y(0)=1 gives C=π/4C=\pi/4, so

y=tan⁡(t+π/4).y=\tan(t+\pi/4).

The nearest tangent poles occur when t+π/4=−π/2t+\pi/4=-\pi/2 and t+π/4=π/2t+\pi/4=\pi/2. The maximal interval containing zero is

(−3π/4, π/4).(-3\pi/4,\ \pi/4).

Solution 4.5

Record y=0y=0 before division; it does not satisfy the initial condition. For the negative branch, separate and integrate:

dyy2=2t dt,−1y=t2+C.\frac{dy}{y^2}=2t,dt,\qquad -\frac1y=t^2+C.

Using y(0)=−2y(0)=-2 gives C=1/2C=1/2, hence

y=−21+2t2.y=-\frac{2}{1+2t^2}.

The denominator is positive for every real tt, so the maximal interval is (−∞,∞)(-\infty,\infty). Differentiation gives y′=8t/(1+2t2)2=2ty2y'=8t/(1+2t^2)^2=2ty^2, and y(0)=−2y(0)=-2. The curve decreases before zero and increases after zero, but never crosses y=0y=0: a change in derivative sign changes direction, not necessarily the sign of the state.

Solution 4.6

The equilibrium y=0y=0 is excluded by y(0)=4y(0)=4. On the positive branch,

∫y−3/2 dy=∫dt⇒−2y=t+C.\int y^{-3/2},dy=\int dt \quad\Rightarrow\quad -\frac2{\sqrt y}=t+C.

The initial condition gives C=−1C=-1, so 2/y=1−t2/\sqrt y=1-t. The left side is positive, which requires t<1t\lt 1. Therefore

y=4(1−t)2,−∞<t<1.y=\frac4{(1-t)^2},\qquad -\infty<t<1.

On this interval, y′=8/(1−t)3=y3/2y'=8/(1-t)^3=y^{3/2}, and y(0)=4y(0)=4. The solution blows up as t→1−t\to1^-. Although the rational expression is also finite for t>1t\gt 1, there its derivative is negative while y3/2y^{3/2} is positive. Squaring without preserving the branch inequality would introduce a false continuation.

Chapter 5

Solution 5.1

The zero-rate state in y′=3y+6=3(y+2)y'=3y+6=3(y+2) is −2-2, and arrows point away, so it is unstable. The integrating factor is e−3te^{-3t}, giving

y=−2+Ce3t.y=-2+Ce^{3t}.

From y(0)=1y(0)=1, C=3C=3, so y=−2+3e3ty=-2+3e^{3t}. It grows away from −2-2, as predicted.

Solution 5.2

Here p(t)=2/tp(t)=2/t, so on t>0t\gt 0, μ=t2\mu=t^2. Then

(t2y)′=t3. (t^2y)'=t^3.

Integration gives t2y=t4/4+Ct^2y=t^4/4+C, or y=t2/4+C/t2y=t^2/4+C/t^2. The condition y(1)=0y(1)=0 gives C=−1/4C=-1/4:

y=t24−14t2.y=\frac{t^2}{4}-\frac{1}{4t^2}.

Solution 5.3

Rewrite as T′+0.25T=5T'+0.25T=5, or read the equilibrium directly as 20. The solution is

T=20+60e−0.25t.T=20+60e^{-0.25t}.

Set T=30T=30: 10=60e−0.25t10=60e^{-0.25t}, so e−0.25t=1/6e^{-0.25t}=1/6 and

t=4ln⁡6≈7.17 time units.t=4\ln6\approx7.17\text{ time units}.

Solution 5.4

The transient Ce−tCe^{-t} is annihilated by the operator D+1D+1. Apply it to the proposed family:

y′+y=(2t−Ce−t)+(t2+Ce−t)=t2+2t.y'+y=(2t-Ce^{-t})+(t^2+Ce^{-t})=t^2+2t.

Thus one valid equation is

y′+y=t2+2t.y'+y=t^2+2t.

The polynomial t2t^2 is the forced response; Ce−tCe^{-t} is the decaying transient.

Solution 5.5

The integrating factor is e2te^{2t}, so

(e2ty)′=et,e2ty=et+C.(e^{2t}y)'=e^t,\qquad e^{2t}y=e^t+C.

Thus y=e−t+Ce−2ty=e^{-t}+Ce^{-2t}. The initial condition gives C=−1C=-1, hence y=e−t−e−2ty=e^{-t}-e^{-2t}. Its derivative is −e−t+2e−2t-e^{-t}+2e^{-2t}, which is positive before t=ln⁡2t=\ln2 and negative afterward. On t≥0t\ge0, the maximum is therefore

y(ln⁡2)=12−14=14.y(\ln2)=\frac12-\frac14=\frac14.

Finally, y′+2y=e−ty'+2y=e^{-t}, and y(0)=0y(0)=0. The solution first builds up under the input, then falls to zero as the input fades.

Solution 5.6

On t≥0t\ge0, the integrating factor is μ=100+t\mu=100+t. Multiplying every term gives

[(100+t)S]′=6(100+t).[(100+t)S]'=6(100+t).

Integration yields (100+t)S=3(100+t)2+C(100+t)S=3(100+t)^2+C. At t=0t=0, S=0S=0, so C=−30000C=-30000, and

S=3(100+t)−30000100+t.S=3(100+t)-\frac{30000}{100+t}.

Consequently the concentration is

S100+t=3−30000(100+t)2⟶3 g/L.\frac{S}{100+t}=3-\frac{30000}{(100+t)^2}\longrightarrow3\text{ g/L}.

The concentration approaches that of the inflow, but volume grows without bound in this idealized no-overflow model, so the amount grows without a finite limit. As a check, S′=3+30000/(100+t)2=6−S/(100+t)S'=3+30000/(100+t)^2=6-S/(100+t), and S′(0)=6S'(0)=6 g/min, as predicted in Exercise 1.6.

Chapter 6

Solution 6.1

The equilibria are 0, 1, and 3. The sign pattern of y(y−1)(y−3)y(y-1)(y-3), from left to right, is −,+,−,+-,+,-,+. Arrows point away from 0, toward 1, and away from 3. Thus 0 and 3 are unstable, while 1 is stable.

Solution 6.2

The phase line gives: y(0)=−1y(0)=-1 decreases away below 0; y(0)=1/2y(0)=1/2 rises toward 1; y(0)=2y(0)=2 falls toward 1; and y(0)=4y(0)=4 rises away above 3. The two inner solutions tend to 1 as t→∞t\to\infty. The outer solutions instead become unbounded in finite positive time: separation expresses the time to reach a state as an integral of 1/[y(y−1)(y−3)]1/[y(y-1)(y-3)], and the integral to either infinite endpoint converges because its magnitude behaves like 1/∣y∣31/|y|^3. Thus their arrows must not be interpreted as solutions that remain finite for every positive time.

Solution 6.3

Treat P′=rP−(r/K)P2P'=rP-(r/K)P^2 as a function of state. Differentiate with respect to PP:

dP′dP=r−2rKP.\frac{dP'}{dP}=r-\frac{2r}{K}P.

With r,K>0r,K\gt 0, the critical state is P=K/2P=K/2, and the downward-opening parabola makes it a maximum. The maximum rate is rK/4rK/4. The carrying-capacity population is the equilibrium KK; these have different units. A population may start above KK, but then its rate is negative, so KK is not an absolute upper bound on every initial state.

Solution 6.4

For a>0a\gt 0, equilibria are ±a\pm\sqrt a. The rate is positive outside them and negative between them, so −a-\sqrt a is stable and +a+\sqrt a is unstable. For a=0a=0, y′=y2≥0y'=y^2\ge0; zero is semistable, attracting from below and repelling above. For a<0a\lt 0, y′=y2+∣a∣>0y'=y^2+|a|\gt 0, so no equilibria exist and every solution rises on its interval of existence.

Solution 6.5

The only equilibrium is y=2y=2. Below it, (y−2)3<0(y-2)^3\lt 0, so the rate is positive. Above it, the rate is negative. Both arrows point inward: 2 is asymptotically stable.

Yet f′(y)=−3(y−2)2f'(y)=-3(y-2)^2, so f′(2)=0f'(2)=0. A zero derivative makes the first-derivative test inconclusive, not unstable. Starting at 1, the solution rises toward 2; starting at 3, it falls toward 2. Smoothness prevents crossing the equilibrium. Each trajectory is monotone and bounded, and any limit different from 2 would retain a nonzero rate, so both limits must equal 2.

Solution 6.6

Complete the square in the rate:

P′=2−H−(P−4)28.P'=2-H-\frac{(P-4)^2}{8}.

For 0≤H<20\le H\lt 2, the two equilibria are

P−=4−16−8H,P+=4+16−8H.P_-=4-\sqrt{16-8H},\qquad P_+=4+\sqrt{16-8H}.

The rate is positive between them and negative outside. Thus P−P_- is unstable and P+P_+ is asymptotically stable. For 0<H<20\lt H\lt 2, a starting population between 0 and P−P_- declines to extinction, while a starting population above P−P_- approaches P+P_+. The lower equilibrium is a survival threshold. At H=0H=0, it is zero itself, and positive populations instead approach 8.

At H=2H=2, P′=−(P−4)2/8P'=-(P-4)^2/8: the double equilibrium 4 attracts from above and repels from below, so it is semistable. At H>2H\gt 2, the rate is strictly negative everywhere and there are no equilibria; positive populations reach extinction. Because a constant harvest would otherwise drive PP below zero, the physical model stops at extinction. The threshold H=2H=2 equals the unharvested model's maximum growth rate.

Chapter 7

Solution 7.1

The characteristic equation r2−r−6=(r−3)(r+2)=0r^2-r-6=(r-3)(r+2)=0 gives roots 3 and −2-2. Thus

y=C1e3t+C2e−2t.y=C_1e^{3t}+C_2e^{-2t}.

The conditions give C1+C2=1C_1+C_2=1 and 3C1−2C2=03C_1-2C_2=0, hence C1=2/5C_1=2/5, C2=3/5C_2=3/5. The growing e3te^{3t} mode dominates for large positive time.

Solution 7.2

The characteristic polynomial is (r+3)2(r+3)^2, so

y=(C1+C2t)e−3t.y=(C_1+C_2t)e^{-3t}.

The first condition gives C1=0C_1=0. Differentiating then evaluating at zero gives C2=2C_2=2. Therefore y=2te−3ty=2te^{-3t}.

Solution 7.3

The roots are −ζ±ζ2−1-\zeta\pm\sqrt{\zeta^2-1}. At ζ=0\zeta=0, they are pure imaginary and the phase portrait is a center. At 1/21/2, they are complex with negative real part, producing a spiral sink. At 1, the negative root repeats, giving critical damping and a degenerate stable node. At 2, both roots are real and negative, giving an overdamped stable node.

Solution 7.4

Envelope e−te^{-t} requires real part −1-1. Period π\pi requires angular frequency 22, since 2π/β=π2\pi/\beta=\pi. Desired roots are −1±2i-1\pm2i. Their polynomial is

(r+1)2+4=r2+2r+5. (r+1)^2+4=r^2+2r+5.

Choose a=2a=2, b=5b=5.

Solution 7.5

The roots are ±2i\pm2i, so x=C1cos⁡2t+C2sin⁡2tx=C_1\cos2t+C_2\sin2t. Position gives C1=1C_1=1, and velocity gives 2C2=22C_2=2, hence

x=cos⁡2t+sin⁡2t=2cos⁡(2t−π/4).x=\cos2t+\sin2t=\sqrt2\cos(2t-\pi/4).

The amplitude is 2\sqrt2 and the period is 2π/2=π2\pi/2=\pi. For E=(x′)2/2+2x2E=(x')^2/2+2x^2, differentiate:

E′=x′x′′+4xx′=x′(x′′+4x)=0.E'=x'x''+4xx'=x'(x''+4x)=0.

Initially E=22/2+2(1)2=4E=2^2/2+2(1)^2=4, so E=4E=4 at every time. This gives an independent physical check: the undamped oscillator exchanges kinetic and potential energy without losing their sum.

Solution 7.6

The characteristic equation is r(r+2)=0r(r+2)=0. Therefore

y=C1+C2e−2t,y′=−2C2e−2t.y=C_1+C_2e^{-2t},\qquad y'=-2C_2e^{-2t}.

Velocity gives −2C2=−4-2C_2=-4, so C2=2C_2=2. Position then gives C1=−1C_1=-1, hence y=−1+2e−2ty=-1+2e^{-2t} and lim⁡t→∞y=−1\lim_{t\to\infty}y=-1. Direct substitution gives y′′+2y′=8e−2t−8e−2t=0y''+2y'=8e^{-2t}-8e^{-2t}=0.

The root 0 supplies the constant mode e0t=1e^{0t}=1, while the root −2-2 supplies a decaying mode. Undamped oscillation needs a nonzero imaginary pair; a real zero root alone gives no rotation or periodic motion.

Chapter 8

Solution 8.1

Natural roots are ±i\pm i, so yh=C1cos⁡t+C2sin⁡ty_h=C_1\cos t+C_2\sin t. For the polynomial input tt, try yp=At+By_p=At+B. Since yp′′=0y_p''=0, matching At+B=tAt+B=t gives A=1,B=0A=1,B=0. Thus

y=C1cos⁡t+C2sin⁡t+t.y=C_1\cos t+C_2\sin t+t.

Solution 8.2

The homogeneous solution is C1cos⁡2t+C2sin⁡2tC_1\cos2t+C_2\sin2t. Try yp=Acos⁡t+Bsin⁡ty_p=A\cos t+B\sin t; substitution gives 3A=13A=1, 3B=03B=0. Thus yp=13cos⁡ty_p=\frac13\cos t. The conditions give C1=−1/3C_1=-1/3, C2=0C_2=0, so

y=cos⁡t−cos⁡2t3.y=\frac{\cos t-\cos2t}{3}.

Solution 8.3

(a) Ae−tAe^{-t}; it does not collide with the natural modes. (b) t(Acos⁡2t+Bsin⁡2t)t(A\cos2t+B\sin2t); frequency 2 is the natural frequency, so multiply once by tt. (c) At2+Bt+CAt^2+Bt+C; use the complete polynomial family.

Solution 8.4

For y′′+ω02y=Fcos⁡(ωt)y''+\omega_0^2y=F\cos(\omega t) with zero initial position and velocity, ω0>0\omega_0\gt 0, and ω≠ω0\omega\ne\omega_0, the response is

y=F[cos⁡(ωt)−cos⁡(ω0t)]ω02−ω2.y=\frac{F[\cos(\omega t)-\cos(\omega_0t)]}{\omega_0^2-\omega^2}.

The identity rewrites the numerator as a fast oscillation with average angular frequency (ω+ω0)/2(\omega+\omega_0)/2, multiplied by −2sin⁡((ω−ω0)t/2)-2\sin((\omega-\omega_0)t/2). Close frequencies produce a slowly varying amplitude, or beats. In the limit ω→ω0\omega\to\omega_0, both numerator and denominator vanish; their ratio tends to Ftsin⁡(ω0t)/(2ω0)Ft\sin(\omega_0t)/(2\omega_0). It is this full response, not the numerator alone, whose resonant envelope grows linearly.

Solution 8.5

The homogeneous characteristic polynomial is (r−1)2(r-1)^2, so both ete^t and tette^t are natural modes. The forcing trial must therefore be At2etAt^2e^t, not AetAe^t or AtetAte^t.

For a direct verification, set y=etuy=e^t u. Then

y′′−2y′+y=etu′′.y''-2y'+y=e^t u''.

The equation becomes u′′=1u''=1, so u=t2/2+C1+C2tu=t^2/2+C_1+C_2t. Since y(0)=u(0)=0y(0)=u(0)=0, C1=0C_1=0. Also y′(0)=u(0)+u′(0)=0y'(0)=u(0)+u'(0)=0, so C2=0C_2=0. Thus

y=12t2et.y=\frac12t^2e^t.

The transformed equation verifies the forcing, and evaluation verifies both conditions. The homogeneous modes grow rather than decay, so they should not be described as decaying transients.

Solution 8.6

The roots of r2+2r+2=0r^2+2r+2=0 are −1±i-1\pm i, giving yh=e−t(C1cos⁡t+C2sin⁡t)y_h=e^{-t}(C_1\cos t+C_2\sin t). Try yp=Acos⁡t+Bsin⁡ty_p=A\cos t+B\sin t. Substitution yields

(A+2B)cos⁡t+(B−2A)sin⁡t=cos⁡t.(A+2B)\cos t+(B-2A)\sin t=\cos t.

Thus A+2B=1A+2B=1, B−2A=0B-2A=0, so A=1/5A=1/5, B=2/5B=2/5. Apply the initial conditions to the full solution: C1+1/5=0C_1+1/5=0 and −C1+C2+2/5=0-C_1+C_2+2/5=0. Therefore

y=e−t(−15cos⁡t−35sin⁡t)+15cos⁡t+25sin⁡t.y=e^{-t}\left(-\frac15\cos t-\frac35\sin t\right) +\frac15\cos t+\frac25\sin t.

The steady-state amplitude is (1/5)2+(2/5)2=1/5\sqrt{(1/5)^2+(2/5)^2}=1/\sqrt5. The first term is the decaying transient. The difference of any two solutions satisfies the homogeneous equation, whose modes decay, so their periodic responses agree asymptotically.

Chapter 9

Solution 9.1

The system is already diagonal:

x=C1e−t,y=C2e−3t.x=C_1e^{-t},\qquad y=C_2e^{-3t}.

Both modes decay, so the origin is a stable node. Unless C1=0C_1=0, the slower e−te^{-t} mode dominates late, and trajectories approach tangent to the xx-axis.

Solution 9.2

The matrix has eigenvalue 3 with eigenvector [1,1]T[1,1]^T, and eigenvalue 1 with eigenvector [1,−1]T[1,-1]^T. Therefore

x=C1e3t[11]+C2et[1−1].\mathbf{x}=C_1e^{3t}\begin{bmatrix}1\1\end{bmatrix}+C_2e^t\begin{bmatrix}1\-1\end{bmatrix}.

Both modes grow, so the origin is an unstable node; the [1,1]T[1,1]^T direction dominates generically.

Solution 9.3

Let x1=yx_1=y, x2=y′x_2=y'. Then

[x1′x2′]=[01−5−2][x1x2].\begin{bmatrix}x_1'\x_2'\end{bmatrix} =\begin{bmatrix}0&1\-5&-2\end{bmatrix} \begin{bmatrix}x_1\x_2\end{bmatrix}.

The eigenvalues solve λ2+2λ+5=0\lambda^2+2\lambda+5=0, giving −1±2i-1\pm2i. The negative real part and nonzero imaginary part produce a spiral sink.

Solution 9.4

The eigenvalue discriminant is D=τ2−4ΔD=\tau^2-4\Delta. If Δ<0\Delta\lt 0, eigenvalues have opposite signs: saddle. If Δ>0\Delta\gt 0 and D>0D\gt 0, the roots are real with common sign set by τ\tau: stable node for τ<0\tau\lt 0, unstable node for τ>0\tau\gt 0. If D<0D\lt 0, they are complex: spiral sink for τ<0\tau\lt 0, spiral source for τ>0\tau\gt 0, and center in the ideal linear case τ=0\tau=0. The curves Δ=0\Delta=0 and D=0D=0 are classification boundaries.

On D=0D=0 with Δ>0\Delta\gt 0, the repeated nonzero eigenvalue is τ/2\tau/2: its sign still determines decay or growth, but eigenvectors distinguish a scalar-matrix node from a defective node. On Δ=0\Delta=0, at least one eigenvalue is zero and the origin is not an isolated equilibrium. If τ<0\tau\lt 0, trajectories approach a line of equilibria, so the origin is stable but not asymptotically stable; if τ>0\tau\gt 0, it is unstable. At (τ,Δ)=(0,0)(\tau,\Delta)=(0,0), A=0A=0 leaves every point fixed, whereas a nonzero nilpotent matrix permits linear drift. Trace and determinant alone cannot distinguish these last two cases.

Solution 9.5

First solve y′=−yy'=-y, y(0)=1y(0)=1, obtaining y=e−ty=e^{-t}. Then x′+x=e−tx'+x=e^{-t}, so the integrating factor ete^t gives (etx)′=1(e^tx)'=1. Using x(0)=0x(0)=0 yields

x=te−t,y=e−t.x=te^{-t},\qquad y=e^{-t}.

Differentiate to check: x′=(1−t)e−t=−x+yx'=(1-t)e^{-t}=-x+y, and y′=−e−t=−yy'=-e^{-t}=-y.

The matrix [−110−1]\begin{bmatrix}-1&1\0&-1\end{bmatrix} has repeated eigenvalue −1-1, but its eigenvectors satisfy v2=0v_2=0, leaving only the xx-axis direction. An eigenvector mode has zero second component and cannot match y(0)=1y(0)=1. The additional te−tte^{-t} contribution is essential. In general, y=C2e−ty=C_2e^{-t} and x=(C1+C2t)e−tx=(C_1+C_2t)e^{-t}; every solution tends to zero, so the origin is a defective stable node.

Solution 9.6

Differentiate x′=−4yx'=-4y to get x′′=−4y′=−4xx''=-4y'=-4x. Since x(0)=2x(0)=2 and x′(0)=0x'(0)=0,

x=2cos⁡2t,y=−x′/4=sin⁡2t.x=2\cos2t,\qquad y=-x'/4=\sin2t.

You can also prove the invariant without solving:

ddt(x2+4y2)=2x(−4y)+8yx=0.\frac{d}{dt}(x^2+4y^2)=2x(-4y)+8yx=0.

Its initial value is 4, so the orbit is the ellipse x2+4y2=4x^2+4y^2=4, or x2/4+y2=1x^2/4+y^2=1. At (2,0)(2,0), the velocity is (0,2)(0,2), pointing upward, so rotation is counterclockwise. The period is π\pi. The origin is a center: nearby trajectories remain nearby, but nonzero invariant level sets never approach it. Thus it is stable, not attracting or asymptotically stable.

Chapter 10

Solution 10.1

With h=0.2h=0.2, use yn+1=yn+0.2(yn−tn)y_{n+1}=y_n+0.2(y_n-t_n):

tnt_nyny_nslopenext value
0.01.01.01.2
0.21.21.01.4
0.41.41.01.6

Thus y(0.6)≈1.6y(0.6)\approx1.6.

In fact, y=1+ty=1+t satisfies both the equation and initial condition, so Euler is exact at these grid points in exact arithmetic. This special straight-line solution is not evidence that Euler generally has zero error.

Solution 10.2

Euler gives yn+1=(1+h)yny_{n+1}=(1+h)y_n, so from y0=1y_0=1, yn=(1+h)ny_n=(1+h)^n. At t=1t=1, n=1/hn=1/h:

  • h=1h=1: 22;
  • h=1/2h=1/2: 1.52=2.251.5^2=2.25;
  • h=1/4h=1/4: 1.254≈2.44141.25^4\approx2.4414.

The values rise toward e≈2.7183e\approx2.7183 as the step shrinks.

Solution 10.3

The phase line shows that solutions starting between 0 and 10 rise toward 10 without crossing it. A useful numerical test should therefore: assert 0<Pn<100\lt P_n\lt 10, rerun with half the step, compare the two trajectories over the same times, and reject a method or step size that crosses the invariant equilibrium. A direction-field overlay supplies an independent visual check.

Solution 10.4

Euler gives yn+1=(1−ah)yny_{n+1}=(1-ah)y_n. Decay in magnitude requires

∣1−ah∣<1⇒0<h<2a.|1-ah|<1\quad\Rightarrow\quad 0<h<\frac{2}{a}.

Decay without alternating sign requires 0≤1−ah<10\le1-ah\lt 1, hence

0<h≤1a.0<h\le\frac1a.

At h=1/ah=1/a, the numerical state reaches zero in one step.

Solution 10.5

For f(t,y)=y−tf(t,y)=y-t, the midpoint stages are:

Start (tn,yn)(t_n,y_n)k1k_1Midpoint (tn+h/2,yn+hk1/2)(t_n+h/2,y_n+hk_1/2)k2k_2Next yy
(0,0)(0,0)0(0.25,0)(0.25,0)-0.25-0.125
(0.5,−0.125)(0.5,-0.125)-0.625(0.75,−0.28125)(0.75,-0.28125)-1.03125-0.640625

Euler instead gives y1=0y_1=0 and y2=0+0.5(0−0.5)=−0.25y_2=0+0.5(0-0.5)=-0.25. The exact value is y(1)=2−e≈−0.718282y(1)=2-e\approx-0.718282, making the absolute errors about 0.077657 for midpoint and 0.468282 for Euler.

The midpoint result is closer in this comparison because it samples the rate inside each step. It uses four rate evaluations rather than Euler's two, so the comparison fixes step size, not computational cost. One example does not prove a convergence order; repeated step-halving tests provide that evidence.

Solution 10.6

Write a=hra=hr. For 0<zn<10\lt z_n\lt1 and 0<a≤10\lt a\le1, the update zn+1=zn+azn(1−zn)z_{n+1}=z_n+az_n(1-z_n) is positive and greater than znz_n. For its upper bound, factor

1−zn+1=(1−zn)(1−azn).1-z_{n+1}=(1-z_n)(1-az_n).

Both factors are positive because zn<1z_n\lt 1 and azn<1az_n\lt 1. Thus zn+1<1z_{n+1}\lt 1, and induction preserves the interval for every finite step in exact arithmetic.

For r=1r=1, h=2h=2, and z0=0.75z_0=0.75,

z1=0.75+2(0.75)(0.25)=1.125,z_1=0.75+2(0.75)(0.25)=1.125,

which crosses the equilibrium even though the exact solution cannot. The bound hr≤1hr\le1 is sufficient to preserve the interval for every starting state within it; it does not estimate the time-trajectory error. Step-halving comparisons are still needed for accuracy, and floating-point implementations should allow roundoff-sized tolerances.

Mixed studio

Solution M1

Rewrite as y′−ty=sin⁡ty'-ty=\sin t. It is first-order linear with p(t)=−tp(t)=-t, so μ=e−t2/2\mu=e^{-t^2/2}. A direction field or substitution can check the eventual solution.

Solution M2

The factors separate: (1+y2)dy=etdt(1+y^2)dy=e^t dt. Integration gives y+y3/3=et+Cy+y^3/3=e^t+C, generally best left implicit unless an initial condition selects a useful form.

Solution M3

Use homogeneous plus particular response. The characteristic root −3-3 repeats, so yh=(C1+C2t)e−3ty_h=(C_1+C_2t)e^{-3t}. For the polynomial input, try yp=At+By_p=At+B.

Solution M4

The matrix has eigenvalues ±i\pm i. The system is x′=−y,y′=xx'=-y, y'=x, so d(x2+y2)/dt=0d(x^2+y^2)/dt=0. Trajectories are counterclockwise circles centered at the origin, an ideal center.

Solution M5

Use an autonomous phase line before separation. Equilibria are −2-2 and 1. The sign pattern is positive outside and negative between, so −2-2 is stable and 1 unstable.

Solution M6

The condition holds, but the equation does not. The derivative is y′=1/(1−t)2=y2y'=1/(1-t)^2=y^2, not yy. The claimed function solves y′=y2y'=y^2 instead.

Solution M7

The equilibrium y=0y=0 does not match the condition. Separate:

∫y−2dy=∫(1+t)dt⇒−1y=t+t22+C.\int y^{-2}dy=\int(1+t)dt \quad\Rightarrow\quad -\frac1y=t+\frac{t^2}{2}+C.

At t=0,y=−1t=0,y=-1, C=1C=1, so

y=−11+t+t2/2.y=-\frac{1}{1+t+t^2/2}.

The quadratic denominator has discriminant 1−2<01-2\lt 0, so it never vanishes; the solution exists for all real tt.

Solution M8

On t>0t\gt 0, μ=t2\mu=t^2. Then (t2y)′=t4(t^2y)'=t^4, so t2y=t5/5+Ct^2y=t^5/5+C. The condition gives 1=1/5+C1=1/5+C, hence C=4/5C=4/5:

y=t35+45t2.y=\frac{t^3}{5}+\frac{4}{5t^2}.

Solution M9

Roots are −1±i-1\pm i, so y=e−t(C1cos⁡t+C2sin⁡t)y=e^{-t}(C_1\cos t+C_2\sin t). The conditions give C1=1C_1=1 and −C1+C2=0-C_1+C_2=0, so

y=e−t(cos⁡t+sin⁡t).y=e^{-t}(\cos t+\sin t).

Negative real part plus rotation gives a spiral sink in the (y,y′)(y,y') phase plane.

Solution M10

Natural motion is C1cos⁡t+C2sin⁡tC_1\cos t+C_2\sin t. Try Asin⁡3t+Bcos⁡3tA\sin3t+B\cos3t. Matching gives −8A=1-8A=1, −8B=0-8B=0, hence

y=C1cos⁡t+C2sin⁡t−18sin⁡3t.y=C_1\cos t+C_2\sin t-\frac18\sin3t.

Solution M11

At y0=0.5y_0=0.5, the slope is 0.5(1.5)=0.750.5(1.5)=0.75, so y1=0.5+0.5(0.75)=0.875y_1=0.5+0.5(0.75)=0.875. The next slope is 0.875(1.125)=0.9843750.875(1.125)=0.984375, so y2=1.3671875y_2=1.3671875. Both values remain between the unstable equilibrium 0 and stable equilibrium 2 and move upward, matching the phase line.

Solution M12

The matrix has eigenvalue −1-1 along [1,1]T[1,1]^T and −3-3 along [1,−1]T[1,-1]^T. Both decay, so the origin is a stable node. The slower e−te^{-t} mode dominates generically, so trajectories approach tangent to [1,1]T[1,1]^T.

Solution C1

If CC is concentration in mg/L, the amount in the fixed volume is VCVC. Its balance is VC′=I−kCV C'=I-kC, so

C′+kVC=IV.C'+\frac{k}{V}C=\frac{I}{V}.

Here II has units mg/hour, kk has units L/hour, and every term in the amount balance has units mg/hour. The equilibrium is C∗=I/kC_=I/k, stable because the displacement equation is (C−C∗)′=−(k/V)(C−C∗)(C-C_)'=-(k/V)(C-C_*). From C(0)=0C(0)=0,

C(t)=Ik(1−e−kt/V).C(t)=\frac{I}{k}\left(1-e^{-kt/V}\right).

For 90% of equilibrium, e−kt/V=0.1e^{-kt/V}=0.1, so t=(V/k)ln⁡10t=(V/k)\ln10. The ratio I/kI/k sets the target; k/Vk/V sets the approach rate, though changing kk affects both.

Solution C2

Both models start with positive rate, but P1P_1 has unlimited positive feedback while P2P_2 weakens as it approaches 10. Thus P1=etP_1=e^t grows without bound, while P2P_2 approaches 10. At P=1P=1, rates are 1 and 0.9, so their Taylor series already differ in the linear term:

P1=1+t+O(t2),P2=1+0.9t+O(t2).P_1=1+t+O(t^2),\qquad P_2=1+0.9t+O(t^2).

The exponential field has horizontal-row slopes proportional to PP; the logistic field adds a zero-slope row at 10 and reverses sign above it. Numerical checks for the logistic model should preserve the interval (0,10)(0,10).

Solution C3

Counterclockwise rotation with envelope e−0.5te^{-0.5t} can use

A=[−0.5−11−0.5].A=\begin{bmatrix}-0.5&-1\1&-0.5\end{bmatrix}.

Its eigenvalues are −0.5±i-0.5\pm i. Since x′=−0.5x−yx'=-0.5x-y, differentiating and eliminating yy gives

x′′+x′+1.25x=0.x''+x'+1.25x=0.

The roots of this scalar equation are the same −0.5±i-0.5\pm i, confirming the envelope and angular frequency.

Next: See the evidence and design choices behind this workbook.

Learning design and sources

Why the workbook works this way

This is an independent differential-equations workbook. It does not reproduce text, exercises, or artwork from David Klein's Organic Chemistry as a Second Language, and it is not affiliated with Klein or Wiley. It transfers a public, high-level teaching pattern: turn an intimidating subject into a small language of reusable skills, explain each move, and require the learner to practice immediately.

What the chemistry workbook establishes

Wiley describes Klein's book as a skill-building supplement that teaches learners to ask useful questions, connects critical principles across the course, places hands-on exercises and step-by-step explanations in each section, and moves from single-skill Practice Problems to Integrated Problems and Challenge Problems. Wiley also highlights Klein's use of analogy and an informal presentation. Those are documented features of the book, not proof of causal effectiveness. See the official Wiley description.

I could not locate a controlled study that isolates the workbook as an intervention. A Journal of Chemical Education review establishes contemporary scholarly attention, but a review is not an efficacy trial. Popularity, testimonials, and publisher language should not be converted into learning-effect claims.

The defensible conclusion is narrower: the public structure of the book aligns with several instructional practices supported by broader research. This workbook adopts those practices and makes the alignment explicit.

How the pattern transfers

Learning designWorkbook implementationLearner action
Coherent language, not a bag of tricksstate-rate-solution vocabulary and one recurring four-question loopsay what the equation means before calculating
Recognition cuesfingerprint cards and mixed method trainername the structural cue that selects a method
Worked examplesnumbered steps pair each operation with a reasonexplain why each step is legal
Faded guidance"I do / we do / you do" and backward-completion examplessupply progressively earlier steps
Immediate practicePractice items sit beside each new methodattempt before opening a solution
Integrated and challenge workevery chapter ends with three difficulty levelscombine old and new skills
Detailed feedbacksolution bank includes method choice, calculation, and behavior checksfind the first divergent decision
Visual analogyfields, phase lines, time traces, and phase portraits show the same ruletranslate among symbolic, graphical, numerical, and verbal forms

Why examples fade

Novices can spend working memory on unproductive search when they face an unfamiliar problem with no model. A major review of worked-example research describes how examples can help learners build reusable mental patterns, especially when examples integrate steps with explanations and prompt self-explanation (Atkinson et al., 2000).

The handoff to independent solving matters. Research comparing example-problem pairs and fading found benefits from both, with backward fading especially useful for intra-mathematical skills in the reported study (Große, 2015, ERIC record). The US What Works Clearinghouse likewise recommends interleaving worked examples with problem solving and combining graphics with verbal descriptions (IES practice guide).

That evidence motivates the recurring sequence:

  1. see a complete example;
  2. complete its missing late steps;
  3. complete a similar problem with earlier steps removed; and
  4. solve a mixed problem without a method label.

The book reduces guidance as the learner gains experience. This avoids turning a helpful scaffold into permanent dependence.

Why practice becomes mixed

Blocked practice, which groups problems by method, teaches execution while quietly giving away the method. Mixed practice forces a separate skill: discriminating among strategies from problem structure. In a cluster-randomized study summarized by the Institute of Education Sciences, classes receiving more interleaved, or mixed, mathematics practice outperformed the blocked-practice control on an unannounced delayed test. The two groups received the same problems in different orders (IES study summary).

This workbook therefore uses short blocked sets while a move is new, then mixes it with older moves. The method trainer, integrated problems, mixed studio, and four-session schedule all remove chapter-label cues.

Why every equation gets several pictures

Differential-equations students can manipulate a formula without treating a solution as a function or connecting a rate rule to graphical behavior. Research on student thinking in ordinary differential equations identifies this "function-as-solution" difficulty and the importance of students' intuitions and images (Rasmussen, 2001).

Direction-field instruction built around guided inquiry has been developed specifically to address students' conceptions of ODE solutions (Hyland, van Kampen, and Nolan, 2021). Later interview research found that students noticed and valued the intervention's emphasis on conceptual questioning and active interaction, though those perception data do not by themselves establish achievement gains (2023 ERIC record).

The interactive labs repeatedly coordinate:

  • an equation's symbols;
  • the local rate field;
  • a solution over time;
  • a phase line or phase portrait;
  • a numerical approximation; and
  • a sentence about feedback or motion.

The controls do not merely animate a finished graph. They ask the learner to move an initial condition, change a parameter, predict a transition, and then compare the result with the equation.

Why errors appear beside correct work

An incorrect answer becomes useful when the learner explains the first invalid decision. IES describes example-based mathematics activities that present correct and incorrect fictitious student work, target common misconceptions, and require explanation before a matched problem (IES overview of AlgebraByExample).

The error clinics in this book focus on high-leverage misconceptions:

  • dividing away equilibrium solutions;
  • treating a sum as separable;
  • reading p(t)p(t) before normalizing a linear equation;
  • confusing a phase line with a time graph;
  • forgetting the second mode at a repeated root;
  • colliding a forced-response trial with natural motion; and
  • trusting a numerical plot without a convergence check.

Why retrieval repeats

The end of each chapter asks the learner to close or cover the page and reconstruct a small set of ideas. Later chapters retrieve earlier methods in a different context. The aim is durable access, not a feeling of familiarity produced by rereading.

The evidence base for retrieval and spacing extends beyond this specific book and subject. This workbook uses a conservative implementation: short closed-book prompts, immediate correction, and revisits after increasing gaps. It does not claim that one schedule fits every learner.

Design limitations

This book is a first-course workout, not a complete differential-equations text. It omits exact equations, Laplace transforms, power-series methods, boundary-value problems, partial differential equations, rigorous existence theory, and nonlinear systems beyond an introduction. It also cannot observe a learner's written reasoning or adapt problem difficulty automatically.

Interactive graphs support exploration, but hand sketching and algebra remain essential. A learner should use the canvases to test predictions, not as a substitute for making them.

A testable definition of effectiveness

The workbook succeeds only if a learner can do more than reproduce its examples. A useful evaluation would measure whether learners can:

  1. classify unfamiliar equations without chapter labels;
  2. translate among rate laws, fields, and solution behavior;
  3. retain methods after a delay;
  4. detect realistic erroneous solutions;
  5. choose analytic or numerical tools appropriately; and
  6. transfer the reasoning to a new model.

Those outcomes should be compared with a relevant alternative using delayed, mixed assessments. Until such a study exists, describe this workbook as evidence-informed, not evidence-proven.

Source selection favors official publisher descriptions, government evidence summaries, peer-reviewed research records, and original scholarly articles. Claims about a source's implications remain scoped to the population and design studied.