Calculus speedrun
Cram notes for single-variable calculus: differentiability, equivalent infinitesimals, Taylor remainders, integration technique, the Wallis integrals and product, ordinary differential equations, and curvature.
Exam-cram notes from February 2023, rebuilt and carefully checked afterwards.
Derivatives
Differentiability and the differential
A function is differentiable at when some constant satisfies
That is the derivative . The definition says can be approximated near by an affine function whose error shrinks faster than does.
The derivative and the differential are different objects. The differential is the linear part, , a function of . In one variable the distinction buys little and the two get used interchangeably. In several variables it stops being optional.
Continuity and differentiability
Differentiable implies continuous, and the converse fails.
Take at . It is continuous there and not differentiable there: the left derivative is , the right derivative is , and a derivative exists exactly when the one-sided derivatives exist and agree.
The Weierstrass function is continuous on all of and differentiable nowhere, so continuity constrains differentiability hardly at all.
The mean value theorem
If is continuous on and differentiable on , some has
The average rate of change across the interval is attained as an instantaneous rate somewhere inside it. Rolle’s theorem is the case , and each implies the other in a line.
Limits
Equivalent infinitesimals
Two infinitesimals and as are equivalent, written , when their ratio tends to one:
Substituting equivalents is legitimate for factors of a product or quotient. Across a sum the leading terms can cancel, leaving the answer in the part that was discarded. With and as , replacing both in
gives , while the limit is . Subtraction annihilates the linear terms and what survives is cubic.
L’Hôpital’s rule
The rule applies to and , given and differentiable near the point with there. Every other indeterminate form has to be pushed algebraically into one of those two shapes first.
It concludes only when exists or is infinite. Where that limit does not exist, the rule yields no information about , which may still be perfectly well behaved:
whose ratio of derivatives is , oscillating in forever.
Each application costs a differentiation, and on the rule argues in a circle, since the derivative of is the thing being established.
Taylor expansion
For with enough derivatives at ,
Maclaurin’s expansion is this with .
The two standard remainders answer different questions. The Peano remainder is qualitative,
and needs only that be times differentiable at . It says the error is of smaller order than the last term kept, which is enough to compute a limit and gives no numerical bound anywhere.
The Lagrange remainder is quantitative,
for some between and , and needs derivatives across the interval. Both the derivative order and the power are .
Integration
The techniques
- Basic formulas. , , , .
- Substitution, running in either direction. You recognize inside the integrand and collapse it, or you introduce a new variable to clear a radical. Trigonometric substitution is the second direction: wants , wants , and wants .
- Integration by parts, . So and .
- Partial fractions for rational integrands. For the denominator factors as , and solving for the coefficients gives .
- Trigonometric identities, to drop a power before integrating: .
- Reduction formulas, derived by parts. On , .
- Symmetry: an odd integrand over integrates to zero, an even one to twice the half-interval.
Worked examples
The denominator of has derivative , which surfaces once the integral is paired with its companion. Let
Then , while has numerator , exactly the derivative of the denominator, so . Subtracting,
For , put , so and . The integral becomes , giving
For , put with , so and , leaving .
For , put , so the differential is and the radical is , making the integrand . Integrating by parts and substituting back,
Wallis integrals
The Wallis integrals are
the two forms agreeing under . Integration by parts gives for , with and , so
The sequence satisfies for every , and decays as . Even terms carry a and odd terms are rational, which is the asymmetry the product below is built out of.
Wallis’s product
John Wallis found this in 1655 and published it in Arithmetica Infinitorum the following year, the second infinite product for after Viète’s of 1593.
The proof runs entirely through the integrals above. The sequence is positive and strictly decreasing, so ; dividing through by and applying the recurrence squeezes to , and writing that ratio out in closed form is the product.
Convergence is slow enough to rule the product out as a way of computing . A thousand factors give against , with the error falling like .
A related identity,
yields Viète’s product: at the left side is .
Improper integrals
Two kinds, split by where the infinity sits.
The first kind has an unbounded interval. Define and call it convergent when that limit is finite.
The second kind has an unbounded integrand at a finite point. Approach the bad point with a parameter and take the limit the same way. Where stays bounded and the discontinuity is removable, the integral is proper and needs no limit.
Either kind is tested by comparison against a known integrand, by limit comparison on the ratio, or by absolute convergence, which implies convergence. The benchmarks are the -integrals, and they point in opposite directions: converges exactly when , while converges exactly when .
Differential equations
Separable equations
For ,
Dividing by assumes it is nonzero. Each root of gives a constant solution, and those are read off separately.
Homogeneous equations
For , substitute , so and
which separates, the substitution having promoted a ratio to a variable.
First-order linear equations
For , the integrating factor is . It comes from asking for a that makes the left side a single derivative. Expanding,
which should equal . Matching forces , itself separable, and follows.
Then , so
with the outer multiplying both terms inside. For constant and constant this collapses to .
Constant coefficients
For with constant, substituting gives the characteristic equation . Three cases:
- Distinct real roots : .
- A repeated root : . The factor of supplies the second solution that a second-order equation needs.
- Complex roots : .
The characteristic equation exists because the coefficients are constants. An equation with variable coefficients admits no such polynomial in , since would have to depend on and would lose the derivatives the substitution assumed. Variable-coefficient second-order equations are genuinely harder and have no comparable general method.
Undetermined coefficients
For the general solution is , the homogeneous general solution plus any one particular solution.
Where has the form with polynomial, guess a of that same shape with undetermined coefficients, substitute, and match. A polynomial of degree calls for a general polynomial of degree , lower-order terms included.
Resonance decides whether the guess can work at all. A trial form that already solves the homogeneous equation cannot also produce a nonzero right-hand side, and substituting it returns . Multiply the trial form by , where is the multiplicity of as a root of the characteristic equation.
Variation of parameters
Let the constants in the homogeneous solution vary. For , write ; substituting collapses the terms and leaves , so , agreeing with the integrating factor.
For with homogeneous solutions , the same move writes , imposes , and solves the resulting pair for and :
Variation of parameters asks only that be continuous, so it handles right-hand sides like or that no trial form covers. Undetermined coefficients stays confined to exponentials, polynomials, sines and cosines.
Linear systems
A first-order system
with a constant matrix has homogeneous solution , and variation of parameters gives
Diagonalizing turns into an exponential of each eigenvalue on its own and uncouples the system into independent scalar equations. A defective needs the Jordan form and produces polynomial factors in , the same phenomenon as the repeated root above.
Curvature
For a curve ,
Parametrized by arc length instead, with the unit tangent, and no denominator is needed, since is what arc-length parametrization means.
For an explicit curve at the point ,
At a critical point, where , the denominator is and . Large drives down, and for twice-differentiable the curvature is finite everywhere.
A straight line has ; a circle of radius has at every point. The units follow: curvature is an inverse length, and is the radius of the circle that best fits the curve there.