The main integrals, methods, theorems and conditions of the integrals course on one page, unit by unit, with links to the chapter pages that explain each topic in full.
This sheet follows the seven units of the course in order. Each unit starts with the big idea in a few sentences, then gives the antiderivatives, methods and theorems you will look up most often, each with the conditions it needs. Most topics end with the integral of the matching chapter worked as an example, and the links under each topic lead to the chapter pages with the full explanation.
Angles are in radians throughout. Definite integrals show their limits, as in ∫01xdx, and an antiderivative carries +C for an arbitrary constant on each interval where it holds. Improper integrals are defined as limits of ordinary integrals. A function is continuously differentiable on an interval when its derivative exists and is continuous there, with one-sided derivatives at the endpoints. Vectors are bold, as in F and r. A formula holds wherever both sides are defined unless a condition says otherwise.
Accumulation and foundations
A definite integral adds up rate times change in input across an interval. For a positive integrand it is the area under the graph. A limit of Riemann sums defines it, the fundamental theorem of calculus evaluates it with an antiderivative, and linearity splits a sum into separate signed parts.
The definite integral
In ∫abf(x)dx the function f is the integrand, the numbers a and b are the limits of integration and x is the variable of integration. The integral is the signed area between the graph and the x-axis, where area above the axis counts as positive and area below as negative. Its units are the units of f(x) times the units of x, so a rate in liters per second integrated over seconds gives liters.
For f integrable on an interval that contains every limit in the row,
Rule
Formula
Constant integrand
∫abcdx=c(b−a)
Equal limits
∫aaf(x)dx=0
Reversed limits
∫baf(x)dx=−∫abf(x)dx
Adjacent intervals
∫abf(x)dx+∫bcf(x)dx=∫acf(x)dx
Positivity
∫abf(x)dx≥0 when f≥0 on [a,b] and a<b
A flow of 2 liters per second for 3 seconds accumulates
∫032dx=2(3−0)=6
liters, the area of a rectangle of height 2 and width 3.
A regular partition splits [a,b] into n subintervals of equal width Δx=nb−a, with points xk=a+kΔx. The mesh width of a partition is the width of its widest subinterval, here Δx. The right-endpoint and left-endpoint sums are
RnLn=k=1∑nf(xk)Δx,=k=0∑n−1f(xk)Δx.
A function f is integrable on [a,b] when its Riemann sums, with any sample point in each subinterval, approach one limit as the mesh width tends to 0. That limit is ∫abf(x)dx. Continuous functions are integrable, and so are bounded functions with finitely many discontinuities. For an increasing f the integral lies between Ln and Rn, and the gap is Rn−Ln=(f(b)−f(a))Δx.
Sum
Closed form
1+2+⋯+n
2n(n+1)
12+22+⋯+n2
6n(n+1)(2n+1)
13+23+⋯+n3
(2n(n+1))2
For f(x)=x on [0,1] the points are xk=nk, and
Rn=n21k=1∑nk=21+2n1,
so R4=0.625, R10=0.55 and R100=0.505. The left sums are Ln=21−2n1, both tend to the same limit, and
An antiderivative of f on an interval is a function F with F′=f there. Any two antiderivatives on the same interval differ by a constant, and the indefinite integral ∫f(x)dx=F(x)+C names the whole family. Let f be continuous on [a,b].
Part 1. The accumulation function A(x)=∫axf(t)dt is continuous on [a,b] and differentiable on (a,b), with A′(x)=f(x).
Part 2. If F is an antiderivative of f on [a,b], then
∫abf(x)dx=[F(x)]ab=F(b)−F(a).
The constant of integration cancels in the difference. The reverse power rule reads the power rule backward,
∫xrdx=r+1xr+1+C,
for r=−1 on each interval where xr is defined. For example F(x)=3x3 has F′(x)=x2, so
∫02x2dx=323−0=38.
The theorem needs f continuous on all of [a,b]. See the improper integrals topic for what goes wrong at a point where f blows up.
For f and g integrable on [a,b] and constants α and β,
∫ab(αf+βg)dx=α∫abfdx+β∫abgdx.
The sum rule is the case α=β=1 and the constant multiple rule the case β=0. Each term keeps its own sign, so a term can make a negative signed contribution even when the whole integrand is positive. The integral of a product is not the product of the integrals. For a<b,
Quantity
Formula
Conditions
Average value
fˉ=b−a1∫abf(x)dx
f integrable on [a,b]
Mean value theorem
f(c)=fˉ for some c in (a,b)
f continuous on [a,b]
Bounds
m(b−a)≤∫abf(x)dx≤M(b−a)
m≤f≤M on [a,b]
For example the three terms of 3x2−4x+2 contribute 8, −8 and 4 on [0,2], so
∫02(3x2−4x+2)dx=4,
although the integrand 3(x−32)2+32 is positive everywhere. One antiderivative F(x)=x3−2x2+2x confirms F(2)−F(0)=4. The average value is 2, which the integrand takes at c=34.
Each method rewrites an integrand until it matches an entry of the table of standard antiderivatives. The work is mostly recognition, choosing the method from the shape of the integrand, and every answer can be checked by differentiating it.
Substitution
Substitution rule. If g is continuously differentiable on [a,b] and f is continuous on the set of values g([a,b]), then
∫abf(g(x))g′(x)dx=∫g(a)g(b)f(u)du.
The indefinite form is ∫f(g(x))g′(x)dx=F(g(x))+C for an antiderivative F of f, the chain rule in reverse. Look for an inner function u=g(x) whose derivative also appears as a factor, write the differential du=g′(x)dx, and either change the bounds to g(a) and g(b) or substitute back before using the original bounds. When leftover factors of x must be written in terms of u, the substitution must be one-to-one on the interval. For example u=x2 is one-to-one for x≥0, where x=u.
With u=x2 and du=2xdx, the bounds 0 and π/2 become 0 and 2π, and
Integration by parts. If u and v are continuously differentiable on [a,b], then
∫abuv′dx=[uv]ab−∫abu′vdx.
The indefinite form is ∫udv=uv−∫vdu. It is the product rule (uv)′=u′v+uv′ integrated and rearranged, and the boundary term [uv]ab must be kept. Choose u as the factor that gets simpler when differentiated, such as a polynomial or lnx, and dv as a factor you can integrate, such as exdx or sinxdx.
Integral
Choice
Result
∫xexdx
u=x, dv=exdx
(x−1)ex+C
∫lnxdx
u=lnx, dv=dx
xlnx−x+C for x>0
∫0πxsinxdx
u=x, dv=sinxdx
π
∫exsinxdx
parts twice, then solve for the integral
21ex(sinx−cosx)+C
With u=x and v=ex,
∫01xexdx=[xex]01−∫01exdx=e−(e−1)=1.
The same number is a complementary area. The rectangle [0,1]×[0,e] has area e, the region under y=ex has area e−1, and the region between the curve and the y-axis has area ∫1elnydy=1. In general, for f continuously differentiable and strictly increasing on [a,b],
For a>0, a square root of a2−x2, a2+x2 or x2−a2 becomes a single trigonometric function after the substitution below. The angle range makes the substitution one-to-one and makes the trigonometric function in the last column nonnegative, so the square root needs no absolute value.
Root
Substitution
Angle range
Identity
Root becomes
a2−x2
x=asinθ
−2π≤θ≤2π
1−sin2θ=cos2θ
acosθ
a2+x2
x=atanθ
−2π<θ<2π
1+tan2θ=sec2θ
asecθ
x2−a2
x=asecθ
0≤θ<2π for x≥a, π≤θ<23π for x≤−a
sec2θ−1=tan2θ
atanθ
The differentials are dx=acosθdθ, asec2θdθ and asecθtanθdθ. Change the bounds with the angle, or return to x with a right triangle, as in θ=arcsinax and cosθ=aa2−x2. The same substitution gives the quarter circle ∫0aa2−x2dx=4πa2.
With x=2sinθ and 0≤θ≤6π, which covers 0≤x≤1, the cosine is positive, so 4−x2=2cosθ and dx=2cosθdθ. Then
A rational function QP, a ratio of polynomials, is proper when the degree of P is less than the degree of Q. If it is not proper, divide first to write it as a polynomial plus a proper fraction. Factor Q over the real numbers into linear factors and irreducible quadratics, those with a negative discriminant. A proper fraction is then a sum of terms, with one group for each distinct factor of Q, where m is the power to which that factor appears.
Factor of Q
Terms
x−r
x−rA
(x−r)m
x−rA1+(x−r)2A2+⋯+(x−r)mAm
x2+px+q with p2<4q
x2+px+qBx+D
(x2+px+q)m with p2<4q
x2+px+qB1x+D1+⋯+(x2+px+q)mBmx+Dm
Find the constants by clearing denominators and comparing coefficients, or by putting the roots of Q into the cleared identity. That identity is between polynomials, so it holds at every x, even where the original fraction is undefined. The pieces integrate to logarithms, powers and, after completing the square, arctangents,
∫x−rdx=ln∣x−r∣+C,∫(x−r)kdx=1−k(x−r)1−k+C,
the second for k≥2.
Fraction
Decomposition
(x−1)2(x+2)x+5
(x−1)22−3(x−1)1+3(x+2)1
(x−1)(x2+1)2x2+x+1
x−12+x2+11
The poles of x2−11 are x=±1, and neither lies in [2,3], where both x−1 and x+1 are positive. From x2−11=2(x−1)1−2(x+1)1,
∫23x2−1dx=21[lnx+1x−1]23=21ln23≈0.2027.
With a pole inside the interval the integral is improper. The integral of x2−11 over [0,2] diverges, because near x=1 the integrand behaves like 2(x−1)1.
When the discriminant b2−4c is negative, the quadratic is irreducible over the real numbers and c−4b2=k2 with k>0. With h=−2b, the shift and scale substitution u=kx−h leads to ∫1+u2du, and
the second for ∣x−h∣<k. The inverse tangent takes values in (−2π,2π). A linear numerator is split into a multiple of the derivative 2x+b plus a constant, and ∫x2+bx+c2x+bdx=ln(x2+bx+c)+C when the quadratic is positive.
The quadratic x2+4x+8=(x+2)2+4 has discriminant 16−32=−16. With u=2x+2 and dx=2du the bounds become 1 and 2, and
Look at the integrand and try the first row that fits.
You see
Try
Key step
a function of g(x) times the factor g′(x)
substitution
u=g(x), du=g′(x)dx
a product such as xex or xsinx, or lnx alone
integration by parts
u is the factor that gets simpler
even powers of sinx and cosx
half-angle identities
sin2x=21−cos2x
an odd power of sinx or cosx
keep one factor
u=cosx or u=sinx
a2−x2, a2+x2 or x2−a2
trigonometric substitution
x=asinθ, atanθ or asecθ
a ratio of polynomials with a factorable denominator
partial fractions
divide first if it is not proper
an irreducible quadratic in a denominator or under a root
completing the square
u=kx−h
Some integrands, such as e−x2, xsinx and lnx1, have no elementary antiderivative. Their definite integrals come from symmetry, numerical rules, series or the methods of the last unit.
Some integrals are settled by structure rather than by an antiderivative. Symmetry cancels or doubles whole terms, an improper integral is a limit of ordinary integrals, Simpson’s rule estimates a value with a guaranteed error, and a power series can be integrated one term at a time.
Symmetry
A function is even when f(−x)=f(x) and odd when f(−x)=−f(x), for every x in a domain symmetric about 0. For f integrable on a symmetric interval [−a,a],
∫−aaf(x)dx=0,∫−aaf(x)dx=2∫0af(x)dx,
the first when f is odd and the second when f is even. A product of two even or two odd functions is even, and a product of an even and an odd function is odd. Any f on [−a,a] splits into an even part 2f(x)+f(−x) and an odd part 2f(x)−f(−x), so read the parity of each term before calculating. Since x3 is odd and cosx is even,
∫−11(x3+cosx)dx=0+2∫01cosxdx=2sin1≈1.682942.
For an improper integral the rule for odd functions applies only after the integral is known to converge. The integral of x over (−∞,∞) diverges, even though ∫−RRxdx=0 for every R, and the integral of x1 over [−1,1] diverges too.
An integral over an unbounded interval, or of a function that is unbounded near a point, is defined as a limit. For f continuous on [a,∞), and for f continuous on (a,b] and unbounded near a,
and similarly at the other end. The integral converges when the limit exists and is finite, and diverges otherwise. Over (−∞,∞), or with a problem at both ends or at an interior point, split the integral so that each piece has one problem, and it converges only when every piece converges.
The p-test. For real p,
Integral
Converges exactly when
Value
∫1∞xpdx
p>1
p−11
∫01xpdx
p<1
1−p1
Both follow from ∫1Rx−pdx=1−pR1−p−1 for p=1. In the boundary case p=1 both diverge, since ∫1Rxdx=lnR→∞ and ∫t1xdx=−lnt→∞, so ∫0∞x−pdx diverges for every p. For p>1 the remaining tail is
∫R∞xpdx=p−1R1−p.
For example p=2 gives ∫1Rx−2dx=1−R1→1, and p=1.1 gives 10, approached slowly.
Comparison test. If f and g are continuous with 0≤g≤f on [a,∞), convergence of ∫a∞fdx implies convergence of ∫a∞gdx, and divergence of the second implies divergence of the first. Since x2≥x for x≥1, the integral ∫1∞e−x2dx converges and is at most ∫1∞e−xdx=e1.
Absolute convergence. For f continuous on [a,∞), if ∫a∞∣f∣dx converges, so does ∫a∞fdx.
Singularities inside. The fundamental theorem needs f continuous on [a,b]. Applied blindly to x21 on [−1,1] it gives [−x1]−11=−2, a negative value for a positive integrand, while in fact ∫01x2dx diverges and so does the whole integral. Any integral of x1 over an interval containing 0 diverges in the same way.
On each pair of subintervals the rule integrates the quadratic interpolant through the three points, which gives 3h(f0+4f1+f2), and it is exact for every polynomial of degree at most 3.
Simpson’s error bound. If f(4) is continuous on [a,b] and ∣f(4)(x)∣≤M there, then
∫abf(x)dx−Sn≤180(b−a)h4M=180n4M(b−a)5.
Any valid bound M can be used, and a smaller one needs fewer subintervals. The function e−x2 has no elementary antiderivative. On [0,1] its fourth derivative is (16x4−48x2+12)e−x2, and since e−x2≤1 the crude bound M=16+48+12=76 holds. Two subintervals give S2=61(1+4e−1/4+e−1)≈0.747180. With n=100 the error is at most 180⋅100476≈4.22×10−9 and S100≈0.7468241329, so
∫01e−x2dx=0.746824
to six decimal places. The largest value of ∣f(4)∣ on [0,1] is in fact 12, at x=0.
A power series ∑n=0∞cn(x−a)n has a radius of convergence R with 0≤R≤∞. It converges absolutely for ∣x−a∣<R and diverges for ∣x−a∣>R.
Term-by-term integration. If R>0, then for ∣x−a∣<R the integral from a to x of the series is ∑n=0∞n+1cn(x−a)n+1, a power series with the same radius R. The series converges uniformly on every closed interval inside (a−R,a+R), which justifies exchanging the sum and the integral there.
Weierstrass M-test. If each fn is continuous on [α,β] with ∣fn(x)∣≤Mn there and ∑Mn converges, then ∑fn converges uniformly on [α,β] and its integral is the sum of the integrals of the fn.
Geometric tail bound. If an>0 and an+1≤ran for all n≥N+1 with r<1, then ∑n>Nan≤1−raN+1.
Series
Valid for
ex=n=0∑∞n!xn
all x
1−x1=n=0∑∞xn
−1<x<1
ln(1+x)=n=1∑∞n(−1)n−1xn
−1<x≤1
arctanx=n=0∑∞2n+1(−1)nx2n+1
−1≤x≤1
The last two come from integrating the geometric series for 1+t1 and 1+t21 term by term, and they also hold at the endpoints listed.
The function xex−1 has a removable singularity at 0. With the value 1 there it equals ∑n=1∞n!xn−1 for every x, each term is at most n!1 on [0,1], and ∑n!1 converges, so
∫01xex−1dx=n=1∑∞nn!1=1+41+181+⋯.
The terms an=nn!1 have ratio anan+1=(n+1)2n<N+21 for n≥N+1. The partial sum S10≈1.3179021490 therefore has a tail below 2.5×10−9, and the integral is 1.317902 to six decimal places.
Each formula here comes from one recipe. Cut the quantity into small pieces whose size is known, such as a strip, a washer, a shell or a short piece of curve, write one piece in terms of the variable, and add the pieces with an integral. Simpler shapes inside and around the figure give quick bounds that check the answer.
Area between curves
For f and g continuous on [a,b], the region between their graphs for a≤x≤b has area
A=∫ab∣f(x)−g(x)∣dx.
Where f≥g this is top minus bottom, ∫ab(f(x)−g(x))dx. Where the curves cross, split at the crossings and take top minus bottom on each piece. The limits are often the intersection points, the solutions of f(x)=g(x). With horizontal strips, for xL(y)≤xR(y) on [c,d], the area is ∫cd(xR(y)−xL(y))dy.
The line y=2x and the parabola y=x2 meet where x(x−2)=0, and 2x≥x2 between, so
A=∫02(2x−x2)dx=4−38=34.
Horizontal strips give the same area, ∫04(y−2y)dy=34. On [0,π] the difference sinx−cosx changes sign at 4π, so the area between the two graphs is (2−1)+(2+1)=22, while the signed integral ∫0π(sinx−cosx)dx is only 2.
If the cross-section of a solid perpendicular to the x-axis at x has area A(x), continuous on [a,b], the solid has volume V=∫abA(x)dx. Rotating the region r(x)≤y≤R(x), a≤x≤b, with r and R continuous and 0≤r≤R, about the x-axis gives a solid of revolution whose slices are washers with outer radius R and inner radius r. Its volume is
V=π∫ab(R2−r2)dx,
with R=R(x) and r=r(x).
The disk method is the case r=0. The radii are distances from the axis of rotation, so about a horizontal line y=k that does not cross the region, measure both radii from that line, and about the y-axis use horizontal slices and integrate in y. The washer area is π(R2−r2), not π(R−r)2.
Rotating x2≤y≤x, 0≤x≤1, about the x-axis gives R(x)=x and r(x)=x2, so
V=π∫01(x2−x4)dx=3π−5π=152π.
About the line y=−1 the radii become x+1 and x2+1, and the volume is 157π.
Rotate the region g(x)≤y≤f(x), a≤x≤b, with 0≤a and f and g continuous, about the y-axis. A strip parallel to the axis at x sweeps a cylindrical shell with radius x, height h(x)=f(x)−g(x) and thickness dx, so
V=2π∫abxh(x)dx.
About a vertical line x=c with c≤a or c≥b, the shell radius is ∣x−c∣. Shells use strips parallel to the axis and washers use strips perpendicular to it, and both give the same volume. Rotating 0≤y≤x2, 0≤x≤1, about the y-axis gives 2π∫01x3dx=2π by shells and π∫01(1−y)dy=2π by washers.
Rotating 0≤y≤e−x2, 0≤x≤1, about the y-axis and substituting u=−x2 gives
V=2π∫01xe−x2dx=π(1−e−1)≈1.985865.
The answer lies between the volumes eπ and π of the cylinders of radius 1 with heights e−1 and 1.
For f continuously differentiable on [a,b], the graph of f has length
L=∫ab1+f′(x)2dx.
The arc length element ds=dx2+dy2=1+f′(x)2dx is the Pythagorean length of a short segment of the curve. A parametric curve (x(t),y(t)), α≤t≤β, with continuous derivatives and traced once, has length ∫αβx′(t)2+y′(t)2dt. The catenary y=coshx on [0,1] has length sinh1≈1.175201, because 1+sinh2x=cosh2x.
For y=x3/2 on [0,1] the derivative y′=23x is continuous on [0,1], with right derivative 0 at x=0. Substituting u=1+49x,
L=∫011+49xdx=271313−8≈1.439710.
The length lies between the chord 2 and the sum 2 of the two legs, as it should for a curve that rises steadily.
Rotating the graph of y=f(x), with f≥0 continuously differentiable on [a,b], about the x-axis gives a lateral surface of area
S=2π∫abf1+(f′)2dx,
with f and f′ evaluated at x.
A short piece of the curve sweeps a band close to a conical frustum, whose lateral surface has area π(r1+r2)ℓ, the circumference at the average radius times the slant length ℓ. That gives the surface area element dS=2πyds. About the y-axis, with 0≤a, the radius is x and the integrand is 2πx1+f′(x)2. The formula counts only the curved lateral surface, not end disks. For the line y=hrx on [0,h] it gives the lateral area πrr2+h2 of a cone.
For y=x on [1,4] the integrand simplifies, since x1+4x1=214x+1, and
A double integral adds fΔA over small pieces of a plane region, and a triple integral adds fΔV over small pieces of a solid. Fubini’s theorem computes them as iterated single integrals, and new coordinates fit a round or slanted region at the cost of a scale factor, the absolute value of a Jacobian determinant.
Double and iterated integrals
The double integral ∬DfdA is the limit of sums of fΔA over small rectangles covering D as their size tends to 0, and for f≥0 it is the volume under the surface z=f(x,y) over D. The area of D is ∬D1dA, and when it is positive the average value of f is area(D)1∬DfdA. For f continuous on a rectangular region [a,b]×[c,d],
The inner integral holds the outer variable fixed. For a region a≤x≤b, g1(x)≤y≤g2(x) with g1≤g2 continuous, and f continuous on it,
∬DfdA=∫ab∫g1(x)g2(x)f(x,y)dydx,
and a region c≤y≤d, h1(y)≤x≤h2(y) works the same way with the roles exchanged. Over a rectangle a product g(x)k(y) of continuous functions integrates to the product of the two single integrals.
The surface z=x+y over the unit square has inner integral ∫01(x+y)dy=x+21, so
Fubini’s theorem. If f is continuous on a closed bounded region D that can be written both as a≤x≤b, g1(x)≤y≤g2(x) and as c≤y≤d, h1(y)≤x≤h2(y), with continuous bounds, then both iterated integrals equal ∬DfdA. For an unbounded region or integrand the same holds when ∬D∣f∣dA is finite, and for f≥0 the two orders always agree, finite or infinite, which is Tonelli’s theorem. Without absolute integrability the orders can disagree. For (x2+y2)2x2−y2 on 0<x,y≤1, integrating first in y gives 4π and integrating first in x gives −4π.
To reverse the order, sketch the region, read the bounds in the new direction from the sketch, and check that both descriptions give the same region. The integral of ey2 in y has no elementary antiderivative, but the triangle 0≤x≤y≤1 can also be read as 0≤y≤1, 0≤x≤y. The new inner integral supplies the missing factor y for the substitution u=y2,
Polar coordinates are x=rcosθ and y=rsinθ with r≥0, so x2+y2=r2. The annular sector between the radii r and r+Δr and the angles θ and θ+Δθ has area exactly (r+2Δr)ΔrΔθ, which gives the polar area element dA=rdrdθ.
Double integral in polar coordinates. Let D be the region α≤θ≤β, h1(θ)≤r≤h2(θ), with 0<β−α≤2π and h1 and h2 continuous with 0≤h1≤h2. For f continuous on D, and with g(r,θ)=f(rcosθ,rsinθ),
∬DfdA=∫αβ∫h1(θ)h2(θ)g(r,θ)rdrdθ.
Polar coordinates suit radial symmetry, an integrand that depends on x2+y2 over a disk, an annulus or a sector. Over the annulus 1≤x2+y2≤4, for example, ∬x2+y2dA=2πln2. Over the unit disk,
∬x2+y2≤1(x2+y2)dA=∫02π∫01r2rdrdθ=2π,
and dividing by the area π gives the average value 21.
Its absolute value is the local area scale factor, and its sign only records orientation.
Change of variables theorem. Let S be a closed bounded region of the uv-plane with piecewise smooth boundary, let the map T be continuously differentiable on an open set containing S and one-to-one with nonzero Jacobian on the interior of S, and let R=T(S). For f continuous on R, and with J=∂(u,v)∂(x,y),
∬Rf(x,y)dxdy=∬Sf(T(u,v))∣J∣dudv.
When the new coordinates are given as functions u(x,y) and v(x,y), the inverse map has the reciprocal Jacobian, ∂(u,v)∂(x,y)=1/∂(x,y)∂(u,v).
Coordinates
Absolute value of the Jacobian
polar, (rcosθ,rsinθ)
r
linear, (x,y)=A(u,v) for a constant invertible matrix A
∣detA∣
spherical, as in the next topic
r2sinϕ
The parallelogram D with vertices (0,0), (21,21), (1,0) and (21,−21) is 0≤x+y≤1, 0≤x−y≤1. With u=x+y and v=x−y it becomes the unit square, and ∂(x,y)∂(u,v)=−2, so the area scale is ∂(u,v)∂(x,y)=21 and the area of D is 21. Then
A triple integral ∭EfdV adds fΔV over small boxes, and for f continuous on a box it can be computed as an iterated integral in any of the six orders. A solid with continuous density δ≥0 has mass M=∭EδdV. Spherical coordinates are
xyz=rsinϕcosθ,=rsinϕsinθ,=rcosϕ,
where r≥0 is the distance from the origin, the polar angle 0≤ϕ≤π is measured down from the positive z-axis and the azimuth θ runs over an interval of length at most 2π. Then x2+y2+z2=r2. A small cell has edges dr, rdϕ and rsinϕdθ, so the spherical volume element is
dV=r2sinϕdrdϕdθ.
Many books write ρ for this distance and keep r for the distance from the z-axis. The unit ball is 0≤r≤1, 0≤ϕ≤π, 0≤θ≤2π, with volume 34π. With the radial density x2+y2+z2=r2, the integrand r2⋅r2sinϕ separates into one factor for each coordinate, and the mass is
A vector field is integrated along curves for work and circulation and across surfaces for flux. The fundamental theorem for line integrals, Green’s theorem and the divergence theorem each replace one of these integrals by a simpler one, and each needs its orientation and its conditions on smoothness and on the domain.
Line integrals
Let C be an oriented piecewise smooth curve with a parametrization r(t)=(x(t),y(t)), a≤t≤b, that traces it once in the chosen direction, and let F=(P,Q) be continuous on C. The line integral is
∫CF⋅dr=∫abF(r(t))⋅r′(t)dt=∫CPdx+Qdy.
For a force field it is the work along C, and around a closed curve, written ∮C, it is the circulation. The value does not depend on the parametrization as long as the direction is kept, reversing the direction changes its sign, and a curve made of pieces gets the sum of the pieces. The field (−y,x) gives 31 along y=x2 from (0,0) to (1,1) and 0 along the straight segment, so its line integrals depend on the path.
Fundamental theorem for line integrals. If ψ is continuously differentiable on an open set D and C is a piecewise smooth curve in D from A to B, then
∫C∇ψ⋅dr=ψ(B)−ψ(A).
A field is conservative on D when F=∇ψ there for a potential function ψ, and then Pdx+Qdy=dψ is an exact differential. For a continuous field on a connected open set D three statements are equivalent. The field is conservative, its line integrals are path independent, and its integral around every closed piecewise smooth curve in D is 0.
If F=(P,Q) is continuously differentiable and conservative on an open set, then Py=Qx there. The converse holds on a simply connected open set, which in the plane means a connected open set with no holes, but not in general. The field (x2+y2−y,x2+y2x) has Py=Qx on the plane without the origin, yet its circulation counterclockwise around the unit circle is 2π. A potential is found by integrating P in x and fixing the added function of y with Q. For example (2xy+1,x2) has the potential x2y+x, so every path from (0,0) to (1,2) gives 3.
The field (y,x) is the gradient of ψ=xy on the whole plane, since ydx+xdy=d(xy). Every piecewise smooth path from (0,0) to (1,1) therefore gives
∫C(ydx+xdy)=ψ(1,1)−ψ(0,0)=1,
a closed path gives 0, and the reversed path gives −1.
Green’s theorem. Let C be a positively oriented (counterclockwise, with the region on the left), piecewise smooth, simple closed curve, let D be C together with the region inside it, and let P and Q be continuously differentiable on an open set containing D. Then
∮CPdx+Qdy=∬D(∂x∂Q−∂y∂P)dA.
The scalar curl Qx−Py measures circulation per unit area. Adding the circulations around small cells gives the theorem, because each shared interior edge is traversed once in each direction and cancels, leaving only the outer boundary. A clockwise boundary changes the sign. A single point of D where P or Q is undefined breaks the hypothesis, as for the field with circulation 2π in the previous topic. Taking Qx−Py=1 gives the area of D as 21∮Cxdy−ydx, which is πab for the ellipse x=acost, y=bsint with a,b>0.
The field (−y,x) has scalar curl 1−(−1)=2, so around the unit circle counterclockwise
∮C(−ydx+xdy)=∬D2dA=2π.
Directly, the field has length 1 and points along the circle, so the work is the length 2π of the circle. Clockwise, the circulation is −2π.
The flux of a field F through an oriented surface S with unit normal n is the surface integral ∬SF⋅ndS, where dS is the surface area element. For F=(F1,F2,F3) the divergence is
∇⋅F=∂x∂F1+∂y∂F2+∂z∂F3.
Divergence theorem. Let E be a bounded solid whose boundary S is a closed piecewise smooth surface oriented by the outward unit normal n, and let F be continuously differentiable on an open set containing E and S. Then
∬SF⋅ndS=∭E∇⋅FdV.
Adding the outward fluxes of small boxes gives the theorem, because the flux through each shared interior face is counted once in each direction and cancels. The inward normal changes the sign. The field must be continuously differentiable at every point of E. The field ∣r∣3r has divergence 0 away from the origin, yet its outward flux through every sphere about the origin is 4π.
For F=(x,y,z) the divergence is 3, and through the unit sphere, the boundary of the unit ball B, with the outward normal
∬SF⋅ndS=∭B3dV=3⋅34π=4π.
Directly, n=(x,y,z) on the unit sphere, so F⋅n=1 and the flux is the area 4π. With the inward normal it is −4π.
The theorems of this unit and the fundamental theorem of calculus all integrate a derivative over a region and get boundary values.
Some single integrals are easiest in a larger setting. Squaring the Gaussian integral moves it into the plane, a parameter turns one integral into a family that can be differentiated, and the residue theorem evaluates real integrals with contours in the complex plane.
The Gaussian integral
∫−∞∞e−x2dx=π.
Call the integral I. It is positive and finite, because e−x2≤e−∣x∣ for ∣x∣≥1. Squaring it as a product of independent integrals in x and y gives an improper double integral over the whole plane, and polar coordinates evaluate it,
I2=∬R2e−(x2+y2)dA=∫02π∫0∞e−r2rdrdθ=2π⋅21=π.
The integrand is positive and continuous, so Tonelli’s theorem allows the product to be written as a double integral and computed in Cartesian or in polar coordinates. The positive root gives I=π. The square I2 is not ∫−∞∞e−2x2dx, which equals π/2.
Leibniz integral rule. If f(x,t) and ∂t∂f(x,t) are continuous on [a,b]×[c,d], then F(t)=∫abf(x,t)dx is differentiable on [c,d], with one-sided derivatives at c and d, and
F′(t)=∫ab∂t∂f(x,t)dx.
Dominated version. For an improper integral, or an integrand that is not continuous at the ends, suppose that f(⋅,t) is integrable over the interval of integration for each t in an interval J, that ∂t∂f exists and is continuous for x inside the interval and t in J, and that ∂t∂f(x,t)≤g(x) for all such x and t, with ∫gdx finite. Then F is differentiable on J with the same formula, one-sided at an endpoint of J that belongs to J.
With variable limits a(t) and b(t), differentiable with values in [x0,x1], and f and ∂t∂f continuous on [x0,x1]×[c,d],
To evaluate ∫01lnxx−1dx, embed it in the parameter family
F(a)=∫01lnxxa−1dx
for a≥0. The integrand has removable endpoint limits, 0 as x→0+ and a as x→1−. Its derivative in a is xa, and 0≤xa≤1 on (0,1) is an integrable bound. So F′(a)=∫01xadx=a+11, with a right derivative at 0. The known value F(0)=0 fixes the constant in F(a)=ln(a+1), and
∫01lnxx−1dx=F(1)=ln2≈0.693147.
In the same way, differentiating ∫0∞e−txdx=t1 for t>0 repeatedly, with the bound xne−t0x for t≥t0>0, gives ∫0∞xne−txdx=tn+1n! for every whole number n.
A complex function f is analytic on an open set when it has a complex derivative at every point of the set. For a piecewise smooth curve z(t), a≤t≤b, the contour integral is ∫Cf(z)dz=∫abf(z(t))z′(t)dt. Counterclockwise around a circle of radius ρ>0 about p, the basic integral is ∮z−pdz=2πi.
Cauchy’s theorem. If f is analytic on an open set containing a simple closed piecewise smooth curve C and its inside, then ∮Cf(z)dz=0.
Residue theorem. Let C be a positively oriented simple closed piecewise smooth curve, and let f be analytic on an open set containing C and its inside, except at finitely many isolated singularities z1,…,zn inside C and none on C. Then
∮Cf(z)dz=2πik=1∑nRes(f,zk).
The residue Res(f,p) is the coefficient of z−p1 in the Laurent expansion of f about p.
Singularity at p
Residue
Conditions
simple pole
z→plim(z−p)f(z)
simple zero of a denominator
h′(p)g(p) for f=hg
g and h analytic at p, h(p)=0, h′(p)=0
pole of order m
(m−1)!1z→plimdzm−1dm−1[(z−p)mf(z)]
To evaluate a real integral over (−∞,∞), close the segment [−R,R] with the semicircle ΓR of radius R in the upper half-plane, and show that the integral over the arc tends to 0 as R→∞.
ML estimate. If ∣f∣≤M on a curve Γ of length L, then ∫Γf(z)dz≤ML.
Jordan’s lemma. If a>0 and MR is the largest value of ∣g∣ on ΓR, then ∫ΓRg(z)eiazdz≤aπMR, which tends to 0 when MR→0.
Rational integrands. If P and Q are polynomials, the degree of Q is at least the degree of P plus 2 and Q has no real zeros, the arc integral tends to 0 by the ML estimate and ∫−∞∞Q(x)P(x)dx is 2πi times the sum of the residues of QP in the upper half-plane.
For example 1+z2eiz has residue 2ie−1 at i. Since ∣eiz∣≤1 in the upper half-plane, the ML estimate makes the arc vanish, and taking real parts gives ∫−∞∞1+x2cosxdx=eπ.
The function f(z)=1+z41 has simple poles at the four fourth roots of −1. For R>1 the upper semicircle encloses p1=eiπ/4 and p2=e3iπ/4, where Res(f,p)=4p31=−4p because p4=−1. The two residues add up to −22i, and on the arc ∣1+z4∣≥R4−1, so the arc integral is at most R4−1πR in absolute value, which tends to 0. The integral over the real line is 2πi⋅(−22i)=2π, and since the integrand is even,
May we count page visits to understand which courses and learning features are useful? Cloudflare collects visit and performance statistics, without your account details or answers. Your choice does not affect access. Details