Riemann sum

∫abf(x)dx=limΔx→0∑i=1nf(xi*)Δxi,where Δx=max⁡(Δxi),i=1,2,…,n.\int_a^b f(x) \, dx = \lim_{\Delta x \to 0} \sum_{i=1}^{n} f(x_i^*) \, \Delta x_i, \quad \text{where } \Delta x = \max(\Delta x_i), \; i = 1, 2, \ldots, n.

where xi*∈[ai−1,ai] and a=a0<a1<⋯<an=b.\text{where } x_i^* \in [a_{i-1}, a_i] \text{ and } a = a_0 < a_1 < \cdots < a_n = b.

Choosing n equally spaced points, we get Δxi=b−an=Δx,\text{Choosing } n \text{ equally spaced points, we get } \Delta x_i = \frac{b - a}{n} = \Delta x,

and ∫abf(x)dx=limn→∞b−an∑i=1nf(xi*).\text{and } \int_a^b f(x) \, dx = \lim_{n \to \infty} \frac{b - a}{n} \sum_{i=1}^{n} f(x_i^*).

Properties

Continuity implies integrability

If f is continuous on [a,b], then it is integrable on [a,b].\text{If } f \text{ is continuous on } [a,b], \text{ then it is integrable on } [a,b].

**For non-continuous f, the integral F is continuous. F is differentiability only if f is continuous (area has no sharp turning points).

Heaviside function:

Integrability and boundedness

If f is integrable on [a,b], it is bounded on [a,b],\text{If } f \text{ is integrable on } [a,b], \text{ it is bounded on } [a,b],

and is continuous on [a,b] except at finitely many points.\text{and is continuous on } [a,b] \text{ except at finitely many points.}

This means an unbounded function is non-Reimann integrable; and a function with infinitely many discontinuous points is non-integrable.

Splitting at point c

∫abf(x)dx+∫bcf(x)dx=∫acf(x)dx.\int_a^b f(x) \, dx + \int_b^c f(x) \, dx = \int_a^c f(x) \, dx.

Comparing area under graphs

If f,g are both integrable on [a,b] and f(x)≤g(x), then ∫abf(x)dx≤∫abg(x)dx.\text{If } f, g \text{ are both integrable on } [a,b] \text{ and } f(x) \le g(x), \text{ then } \int_a^b f(x) \, dx \le \int_a^b g(x) \, dx.

Triangle inequality

Recap: |x+y|≤|x|+|y|.|x + y| \le |x| + |y|.

Generalising the triangle inequality, |∑i=1nxi|≤∑i=1n|xi|,\text{Generalising the triangle inequality, } \left|\sum_{i=1}^{n} x_i\right| \le \sum_{i=1}^{n} |x_i|,

we have |∫abf(x)dx|≤∫ab|f(x)|dx.\text{we have } \left|\int_a^b f(x) \, dx\right| \le \int_a^b |f(x)| \, dx.

Average value of a function

favg=1b−a∫abf(x)dxf_{\text{avg}} = \frac{1}{b - a} \int_a^b f(x) \, dx

Integral Mean Value Theorem

If f∈C([a,b]), then there exists c∈[a,b] such that f(c)=favg.\text{If } f \in C([a,b]), \text{ then there exists } c \in [a,b] \text{ such that } f(c) = f_{\text{avg}}.

Fundamental theorem of calculus

If f∈C([a,b]), let F:[a,b]→ℝ,F(x)=∫axf(t)dt.\text{If } f \in C([a,b]), \text{ let } F : [a,b] \to \mathbb{R}, \; F(x) = \int_a^x f(t) \, dt.

Then for all x∈(a,b),F′(x)=f(x), and F∈C([a,b]).\text{Then for all } x \in (a,b), \; F'(x) = f(x), \text{ and } F \in C([a,b]).

** if f continuous, F is differentiable. (There are no sharp jumps in the area under the graph).

** if x is inside the integral, pull x out then use product rule.

∫abf(x)dx=[F(x)]ab=F(b)−F(a)\int_a^b f(x) \, dx = [F(x)]_a^b = F(b) - F(a)

Improper integrals

∫a+∞f(x)dx=limR→+∞∫aRf(x)dx\int_a^{+\infty} f(x) \, dx = \lim_{R \to +\infty} \int_a^{R} f(x) \, dx

LHS is an improper integral. If the RHS limit exists, the improper integral converges.

Indefinite integrals

The indefinite integral ∫f(x)dx is the collection of all antiderivatives of f.\text{The indefinite integral } \int f(x) \, dx \text{ is the collection of all antiderivatives of } f.

Applications

dx represents a small quantity/change of some x, integrating across all dx represents summing all these dx’s up.

Work done

W=∫F(x)dx,for force F and displacement x.W = \int F(x) \, dx, \quad \text{for force } F \text{ and displacement } x.

Summing up all force, F, applied at each small distance, x.

Force

F=∫pdA,for pressure p and area A.F = \int p \, dA, \quad \text{for pressure } p \text{ and area } A.

Summing up all pressure, p, applied at each small area A.

Mass

M=∫dm=∫ρdV=∫ρA(x)dx,for density ρ and volume V.M = \int dm = \int \rho \, dV = \int \rho A(x) \, dx, \quad \text{for density } \rho \text{ and volume } V.

*Identify slices of A(x) that share the same density.

A(x) could be πr^2 / 2πr.

Special shapes

Cone

V=13πr2hV = \frac{1}{3} \pi r^2 h

For liquid pressure on side of container, may need to consider ds first, where ds is the slant height.

Usually involves using similar triangles / Pythagoras’ Thm to find relationship between r & h, ds & dx, etc.

**

Circle

(x - h)2 + (y - k)2 = r2

(h, k) is the centre of the circle, r is the radius.

Sphere

x2 + y2 + z2 = r2

z represents vertical plane, r represents radius of sphere

Each slice would be a circle.

Area=43πr3\text{Area} = \frac{4}{3}\pi r^3

Surface area=4πr2\text{Surface area} = 4 \pi r^2

Centre of mass

x‾=∫xdmM=∫xρdVM\bar{x} = \frac{\int x \, dm}{M} = \frac{\int x \rho \, dV}{M}

Methods of integration

Basic results

Integration by parts

∫fg′dx=fg−∫f′gdx\int f g' \, dx = f g - \int f' g \, dx

[derived from product rule].

**choose g that can be integrated, and f that can be differentiated.

[some integration may loop e.g. ∫exsin⁡xdx\int e^x \sin x \, dx]

Change of variables

fg=∫f′(g)g′dxfg = \int f'(g)\, g'\, dx

Choosing u=g and du=g′dx,we get ∫f′(u)du=f(u)+C\text{Choosing } u = g \text{ and } du = g'\,dx,\ \text{we get } \int f'(u)\,du = f(u) + C

  1. Inverse trigo substitution

e.g. ∫1−x2dx,∫x2+1dx,∫x2−1dx\int \sqrt{1 - x^2}\,dx, \int \sqrt{x^2 + 1}\,dx, \int \sqrt{x^2 - 1}\,dx

Use formulas: $\sin^2 x + \cos^2 x = 1, \quad \tan^2 x + 1 = \sec^2 x$
  1. Trigo polynomials

e.g. ∫cos⁡mxsin⁡nxdx\int \cos^m x \sin^n x\,dx

Use double angle formulas: cos⁡2x=2cos⁡2x−1=1−2sin⁡2x\cos 2x = 2\cos^2 x - 1 = 1 - 2\sin^2 x

  1. Half-angle substitution

Let u=tan⁡(x2),then\text{Let } u = \tan\!\left(\frac{x}{2}\right), \text{then}

sin⁡(x2)=u1+u2,cos⁡(x2)=11+u2\sin\!\left(\frac{x}{2}\right) = \frac{u}{\sqrt{1+u^{2}}}, \quad \cos\!\left(\frac{x}{2}\right) = \frac{1}{\sqrt{1+u^{2}}}

andsin⁡x=2cos⁡(x2)sin⁡(x2)=2t1+t2,cos⁡x=2cos⁡2(x2)−1=1−t21+t2\text{and} \sin x = 2\cos\!\left(\frac{x}{2}\right)\sin\!\left(\frac{x}{2}\right) = \frac{2t}{1+t^{2}}, \quad \cos x = 2\cos^{2}\!\left(\frac{x}{2}\right) - 1 = \frac{1 - t^{2}}{1 + t^{2}}

and du=12sec⁡2(x2)dx=12(1+tan⁡2(x2))dx=12(1+u2)dx\text{and } du = \tfrac{1}{2}\sec^2\!\left(\tfrac{x}{2}\right)\,dx = \tfrac{1}{2}\bigl(1 + \tan^2\!\left(\tfrac{x}{2}\right)\bigr)\,dx = \tfrac{1}{2}(1 + u^2)\,dx

Example: $\int \frac{\sin^{3}x + \cos x}{\sin x - \cos x}\,dx$ (lowkey impossible nvm)
  1. Partial fractions

∫P(x)Q(x)dx\int \frac{P(x)}{Q(x)}\,dx

If deg⁡(P)≥deg⁡(Q), PQ.\text{If }\deg(P)\ge\deg(Q),\ \text{ } \frac{P}{Q}.

Q(x)=(x−α)(x−α)2⋯((x−β)2+δ2)((x−β)2+δ2)2⋯Q(x) = (x-\alpha)\,(x-\alpha)^2 \cdots \bigl((x-\beta)^2 + \delta^2\bigr)\,\bigl((x-\beta)^2 + \delta^2\bigr)^2 \cdots

Where each quadratic root has no real root.

Then find partial fractions:C1x−α+C2(x−α)2+⋯+A1x+B1(x−β)2+δ2+A2x+B2((x−β)2+δ2)2+⋯\text{Then find partial fractions:} \frac{C_1}{x-\alpha} + \frac{C_2}{(x-\alpha)^2} + \cdots + \frac{A_1 x + B_1}{(x-\beta)^2 + \delta^2} + \frac{A_2 x + B_2}{\bigl((x-\beta)^2 + \delta^2\bigr)^2} + \cdots

Fundamental theorem of algebra

Polynomial of degree n can be factorised into \text{Polynomial of degree } n \text{ can be factorised into } Q(x)=A(x−x1)(x−x2)…(x−xn), where each root may be complex.\begin{aligned} Q(x) = A(x - x_1)(x - x_2)\dots(x - x_n), \\ \text{ where each root may be complex.} \end{aligned}

If coefficients of the polynomial are real,

then complex roots occur only in conjugate pairs a−bi,a+bi.\text{then complex roots occur only in conjugate pairs } a-bi, a+bi.

Multiplying gives (x−a+bi)(x−a−bi)=(x−a)2+b2.\text{Multiplying gives } (x-a+bi)(x-a-bi) = (x-a)^2 + b^2.

Rational root theorem

Let P(x)=anxn+an−1xn−1+…+a0 have integer coefficients.\text{Let } P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_0 \text{ have integer coefficients.}

If pq is a rational root (in lowest terms), then\text{If } \frac{p}{q} \text{ is a rational root (in lowest terms), then}

p is a factor of the constant term a0.p \text{ is a factor of the constant term } a_0.

q is a factor of the leading coefficient an.q \text{ is a factor of the leading coefficient } a_n.

**Integral root theorem – If the leading coefficient = 1, all of its integer roots divide the constant term.