Unit 7: Differential Equations
- Syllabus
- 2020
- Section
- —
- Level
- —

A differential equation relates an unknown function to one or more of its derivatives. If a quantity P depends on time t, then dP/dt represents its instantaneous rate of change; the words describing that rate determine the right-hand side of the equation.
| Verbal relationship | Differential equation |
|---|---|
| changes at the constant rate r | dtdP=r |
| grows at a rate proportional to P | dtdP=kP, k>0 |
| decreases at a rate proportional to P | dtdP=−kP, k>0 |
| rate equals a stated function g(t,P) | dtdP=g(t,P) |
Suppose a population P(t) grows at a rate proportional to its current size. “Rate” gives dP/dt, “proportional to its current size” gives kP, and “grows” requires a positive sign. The model is dP/dt=kP with k>0. If t is measured in years, dP/dt has units of individuals per year and k has units of 1/year.
The differential equation describes the rate rule; it is not yet the function P(t). A statement such as P(0)=P0 is an initial condition that can select one solution later. Preserve the wording carefully: “decreases by r per unit time” gives dP/dt=−r, whereas “decreases proportionally to P” gives dP/dt=−kP.
To verify a candidate solution, compute every derivative named in the differential equation and substitute both the candidate function and those derivatives. It is a solution on an interval only if the left- and right-hand sides simplify to the same expression for every input in that interval.
| Step | Verification move |
|---|---|
| 1 | identify the candidate function and relevant interval |
| 2 | compute the derivative or derivatives required |
| 3 | substitute into both sides of the differential equation |
| 4 | simplify and confirm an identity, not a one-point match |
| 5 | separately check any initial or boundary condition |
Verify y=3e2x for dy/dx=2y. Differentiation gives dy/dx=6e2x, while substituting the candidate on the right gives 2y=2(3e2x)=6e2x. Both sides agree for every real x, so the candidate is a solution.
More generally, y=Ce2x gives dy/dx=2Ce2x=2y for every constant C. Thus the same differential equation has infinitely many solutions. An additional condition such as y(0)=3 selects C=3 from that family.
Matching the equation at a single point does not verify a solution, and satisfying an initial condition alone is not enough. The candidate must satisfy the differential equation throughout its stated domain and must also satisfy every extra condition provided.
For a first-order differential equation dy/dx=f(x,y), a slope field places a short line segment at each selected point (x,y) with slope f(x,y). Each segment gives the direction of any solution curve passing through that point; it is local information, not a separate piece of the solution.
For dy/dx=x−y:
| Point (x,y) | Slope x−y | Segment direction |
|---|---|---|
| (0,0) | 0 | horizontal |
| (1,0) | 1 | rising |
| (0,1) | −1 | falling |
| (1,1) | 0 | horizontal |
The zero-slope locations satisfy x−y=0, or y=x. Above that line, x−y<0, so solution curves locally fall; below it, x−y>0, so they locally rise. This pattern estimates how solutions bend as they move across the plane.
Do not connect the small segments end to end or treat all segments as one solution. A particular solution is a smooth curve through its specified initial point that is tangent to the field. A slope field estimates behavior; it does not by itself provide exact function values.
A slope field is not one solution curve. It displays the allowable tangent direction at many points, so many smooth curves can follow the field. A particular solution must pass through its given initial point and remain tangent to nearby segments as it moves across the plane.
| Field feature near a solution | What it implies locally |
|---|---|
| positive segment slopes | the solution is increasing |
| negative segment slopes | the solution is decreasing |
| horizontal segments | the solution has derivative 0 there |
| larger ∣slope∣ | the solution changes more steeply |
| a change from positive to negative slopes along the path | the curve turns from increasing to decreasing |
For dy/dx=y, segments above the x-axis have positive slope, those on the axis are horizontal, and those below have negative slope. A solution through (0,1) therefore rises as it follows the upper field; a solution through (0,−1) falls in the lower field; y=0 itself follows the horizontal segments. Together these curves illustrate a family of solutions.
To estimate a solution through (x0,y0), begin exactly there and sketch smoothly in both directions, continually matching nearby segment slopes. The initial point narrows the field's whole family to the solution curve or curves compatible with that condition.
Do not connect every segment or assume a visible segment is part of the same solution. The field supports qualitative estimates of direction and shape; without additional analysis it does not supply an exact formula, exact distant values, or a guarantee that an initial condition has exactly one solution.
For dy/dx=f(x,y), Euler’s method starts from a known point (xn,yn) and uses the tangent slope there to estimate the next point. Over a horizontal step h, the estimated vertical change is slope × step, or f(xn,yn)h.
x_{n+1}=x_n+h,\qquad y_{n+1}=y_n+h,f(x_n,y_n)
At each step: (1) evaluate the slope at the current point; (2) multiply it by the signed step size h; (3) add that change to the current y; (4) advance x by h; then recompute the slope at the new point.
For dy/dx=x+y, y(0)=1, and h=0.1: from (0,1) the slope is 1, so (x1,y1)=(0.1,1+0.1(1))=(0.1,1.1). Now the slope is 0.1+1.1=1.2, so (x2,y2)=(0.2,1.1+0.1(1.2))=(0.2,1.22). Thus y(0.2)≈1.22.
Euler’s method produces an approximation, not an exact solution. Do not reuse the first slope for every step: the derivative must be evaluated at each new approximate point. A smaller step generally follows changing slopes more closely, but it also requires more steps; moving toward smaller x requires a negative h.
A first-order equation is separable when it can be written as dy/dx=f(x)g(y). Rearrange it so one side contains only y and dy and the other only x and dx, then antidifferentiate both sides.
\frac{1}{g(y)},dy=f(x),dx\qquad\Longrightarrow\qquad\int\frac{1}{g(y)},dy=\int f(x),dx+C
For dy/dx=xy, first assume y=0 and write dy/y=xdx. Then ln∣y∣=x2/2+C, so y=Cex2/2 after absorbing sign and magnitude into C. Differentiation gives y′=Cxex2/2=xy, confirming the family.
Dividing by g(y) can discard constant solutions where g(y)=0. Here division by y temporarily excluded y=0; checking the original equation shows it is also a solution, and it is included by allowing C=0. Do not add unrelated constants to both sides—two antiderivative constants combine into one arbitrary constant.
A general solution contains an arbitrary constant and represents a family of functions. An initial condition such as y(a)=y0 determines that constant and selects the particular solution passing through (a,y0).
F(x)=y_0+\int_a^x f(t),dt
When dy/dx=f(x), this formula automatically satisfies both requirements: the Fundamental Theorem of Calculus gives F′(x)=f(x), and F(a)=y0 because an integral with equal bounds is 0. The integration variable t is a placeholder, leaving x as the input of F.
For dy/dx=y2 with y(0)=1, separation gives y−2dy=dx, so −1/y=x+C. Substituting (0,1) gives C=−1, hence y=1/(1−x). Differentiating yields y′=1/(1−x)2=y2, and y(0)=1, so both the equation and initial condition hold.
A particular formula is not automatically valid for every real x. The solution 1/(1−x) is undefined at x=1, so the maximal interval containing the initial input 0 is (−∞,1). State a domain interval that contains the initial point and does not cross a discontinuity of the solution or differential equation.
“The rate of change is proportional to the amount present” means that the instantaneous rate dy/dt equals a constant multiple of the current quantity y. The resulting model is dy/dt=ky, so the rate changes whenever the amount changes.
\frac{dy}{dt}=ky\qquad\text{or, when }y\ne0,\qquad\frac{1}{y}\frac{dy}{dt}=k
| Symbol or sign | Contextual meaning |
|---|---|
| t | independent variable, usually time |
| y(t) | changing quantity |
| dy/dt | instantaneous change in y per unit time |
| k>0 | exponential growth |
| k<0 | exponential decay |
| units of k | inverse time, so ky has units of quantity/time |
In the illustrative model dy/dt=0.03y, if y=200 units at a certain time, then dy/dt=0.03(200)=6 units per time unit at that instant. The constant 0.03 is the relative growth rate; it is not a constant increase of 6 forever.
Do not confuse proportional change with constant change. dy/dt=k gives the same absolute change rate at every amount, whereas dy/dt=ky gives the same relative rate (dy/dt)/y=k. For motion along a line, the same interpretation rule applies: if y is position, dy/dt is velocity, so variable meanings must come from the context.
Solving dy/dt=ky by separation gives dy/y=kdt, so ln∣y∣=kt+C and the general solution is y=Cekt. The arbitrary constant C represents the possible starting amounts.
y(0)=y_0\qquad\Longrightarrow\qquad y(t)=y_0e^{kt}
At t=0, the general solution gives y(0)=Ce0=C, so the initial condition forces C=y0. Differentiating y0ekt gives ky0ekt=ky, verifying both the differential equation and the initial value.
For the illustrative initial-value problem dy/dt=0.2y and y(0)=50, the particular solution is y=50e0.2t. At t=3, the model gives y(3)=50e0.6 units. Because k=0.2>0, the amount grows; a negative k would produce decay.
The formula is mathematically defined for all real t, but a context beginning at t=0 may restrict use to t≥0. Keep the units of t consistent with those of k, and do not replace the continuous model ekt with (1+k)t unless a different discrete model is explicitly given.
For k>0, the logistic model dy/dt=ky(a−y) says the rate is jointly proportional to the current amount y and the unused capacity a−y. Here a is the carrying capacity; in this form, k has units 1/(quantity⋅time).
| Current value | Sign of dy/dt | Model behavior |
|---|---|---|
| y=0 | 0 | equilibrium at zero |
| 0<y<a | positive | y increases toward a |
| y=a | 0 | equilibrium at carrying capacity |
| y>a | negative | y decreases toward a |
The initial condition tells which row applies. If 0<y(0)<a, the solution increases but the factor a−y shrinks, so growth slows and y approaches a as t→∞. If y(0)=0 or y(0)=a, the rate remains zero and the solution stays at that equilibrium.
For values between 0 and a, the growth rate as a function of y is k(ay−y2), a downward-opening quadratic. Its vertex occurs at y=a/2, so the quantity is increasing fastest when it reaches half the carrying capacity.
In the illustrative model dy/dt=ky(1000−y) with k>0 and y(0)=100, the quantity initially grows, approaches the carrying capacity 1000, and has its greatest growth rate when y=500. None of these conclusions requires solving for y(t).
The carrying capacity is the value that makes the capacity factor zero, not the coefficient k. Also distinguish “largest value of y” from “largest rate”: for a growth path below capacity, y approaches a, while dy/dt is largest earlier at y=a/2.