Skip to main content

Differential equations and integral calculus

A real-valued function ff is said to be differentiable at a point x0x_0 if limh0f(x0+h)f(x0)h=limxx0f(x)f(x0)xx0\lim\limits_{h\to 0} \frac{f(x_0+h)-f(x_0)}{h} = \lim\limits_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0} exists. The function is differentiable if it is differentiable at every point. The limit is called the derivative of ff at x0x_0 and is denoted by f(x0)f'(x_0) or ddxf(x0)\frac{d}{dx}f(x_0).

  • We define the tangent line to the graph of ff at x0x_0 be the linear function T(x)=f(x0)+f(x0)(xx0)T(x) = f(x_0) + f'(x_0)(x-x_0).
  • If f:(a,b)Rf:(a,b)\to \R is differentiable at x0(a,b)x_0 \in (a,b), then it is continuous at x0x_0. (Every differentiable function is continuous.)
  • Let ff be a function on (a,b)(a,b) that is differentiable at x0x_0. Let TT be the tangent line to the graph of ff at x0x_0. Then limxx0f(x)T(x)xx0=0\lim\limits_{x\to x_0} \frac{f(x)-T(x)}{x-x_0} = 0 and such tangent line TT is unique.

Let f:(a,b)Rf:(a,b)\to \R and x0(a,b)x_0 \in (a,b), the following are equivalent:

  1. ff is differentiable at x0x_0.
  2. There are functions TT and ϵ\epsilon on (a,b)(a,b) such that f(x)=T(x)+ϵ(x)(xx0)f(x) = T(x) + \epsilon(x)(x-x_0) where TT is linear and ϵ\epsilon is continuous at 00 with ϵ(0)=0\epsilon(0) = 0.
  3. There is a function φ\varphi on (a,b)(a,b) such that f(x)=f(x0)+φ(x)(xx0)f(x) = f(x_0) + \varphi(x)(x-x_0) where φ\varphi is continuous at x0x_0

Such φ\varphi satisfying (3) is φ(x)=f(x0)\varphi(x) = f'(x_0). And such TT satisfying (2) is T(x)=f(x0)+f(x0)(xx0)T(x) = f(x_0) + f'(x_0)(x-x_0) the tangent line to the graph of ff at x0x_0. If ff is continuous at x0x_0, then φ,ϵ\varphi, \epsilon is continuous at x0x_0.

THE CHAIN RULE: Suppose f:[a,b][c,d]f:[a,b] \to [c,d] is differentiable at x0[a,b]x_0 \in [a,b] and g:[c,d]Rg:[c,d] \to \R is differentiable at f(x0)f(x_0). Then the composition h=gfh = g \circ f is differentiable at x0x_0, and h(x0)=g(f(x0))f(x0)h'(x_0) = g'(f(x_0))f'(x_0).

THEOREM 6.1.7: Suppose f:(a,b)Rf:(a,b) \to \R is continuous and one-to-one. If ff is differentiable at x0x_0 and f(x0)0f'(x_0) \ne 0, then f1f^{-1} is differentiable at y0=f(x0)y_0 = f(x_0) and (f1)(y0)=1f(x0)=1f(f1(y0))(f^{-1})'(y_0) = \frac{1}{f'(x_0)} = \frac{1}{f'(f^{-1}(y_0))}.

FERMAT'S THEOREM: Let f:[a,b]Rf:[a,b] \to \R be a continuous function that takes its maximum or minimum value at a point x0(a,b)x_0\in (a,b). If ff is differentiable at x0x_0, then f(x0)=0f'(x_0) = 0.

MEAN VALUE THEOREM: Let f:[a,b]Rf:[a,b] \to \R be a continuous and differentiable on (a,b)(a,b), then there is a point x0(a,b)x_0 \in (a,b) such that f(x0)=f(b)f(a)baf'(x_0) = \frac{f(b)-f(a)}{b-a}.

  • If ff' positive, then ff is increasing.
  • If ff' negative, then ff is decreasing.
  • If ff' zero at every points, then ff is constant.

ff is convex/convace up if f(x)0f''(x) \ge 0 for all x[a,b]x \in [a,b]. ff is concave/concave down if f(x)0f''(x) \le 0 for all x[a,b]x \in [a,b]. If f(x)=0f''(x) = 0, then xx is a iinflection point of ff.

ROLLE'S THEOREM: Let f:[a,b]Rf:[a,b] \to \R be a continuous and differentiable on (a,b)(a,b) such that f(a)=f(b)f(a) = f(b). Then there is a point x0[a,b]x_0 \in [a,b] such that f(x0)=0f'(x_0) = 0.

Special notation: fCn[a,b]f\in C^n[a,b] means ff is nth differentiable on [a,b][a,b].

Riemann integral

A partition of [a,b][a,b] is a finite set P={a=x0<x1<<xn=b}P = \{a=x_0 < x_1 < \cdots < x_n=b\}. Define Δi=xixi1\Delta_i = x_{i} - x_{i - 1} for i=0,1,,n1i=0,1,\cdots,n-1. Then we have the mesh of PP which defined as mesh(P)=max{Δi:1in}\text{mesh}(P) = \max\{\Delta_i: 1 \le i \le n\}. We also define the the maximum and minimum of ff on each interval [xi1,xi][x_{i-1}, x_i] by Mi(f,P)=sup{f(x):xi1xxi}M_i(f, P) = \sup\{f(x): x_{i-1} \le x \le x_i\} and mi(f,P)=inf{f(x):xi1xxi}m_i(f, P) = \inf\{f(x): x_{i-1} \le x \le x_i\}. Then we have upper and lower sums of ff on PP defined as U(f,P)=i=1nMi(f,P)ΔiU(f, P) = \sum\limits_{i=1}^n M_i(f, P)\Delta_i and L(f,P)=i=1nmi(f,P)ΔiL(f, P) = \sum\limits_{i=1}^n m_i(f, P) \Delta_i respectively.

For a partition PP, we call X=(x1,x2,,xn)X = (x_1', x_2', \ldots, x_n') with xi(xi1,xi)x'i \in (x_{i-1}, x_i) as evaluation sequence for PP. The associated Riemann sum is defined as I(f,P,X)=i=1nf(xi)ΔiI(f, P, X) = \sum\limits_{i=1}^n f(x_i')\Delta_i.

  • We always have L(f,P)I(f,P,X)U(f,P)L(f, P) \le I(f, P, X) \le U(f, P).

A partition RR is a refinement of a partition PP if PRP \subset R. Let QQ and PP are two partitions, then RR is a common refinement of PP and QQ if PQRP \cup Q \subset R.

Lemma 6.3.2: If PP and QQ are partitions of [a,b][a,b], then L(f,P)U(f,Q)L(f, P) \le U(f, Q).

Define L(f)=suppL(f,P)L(f) = \sup_p L(f,P) and U(f)=infpU(f,P)U(f) = \inf_p U(f,P) the bounded function ff on [a,b][a,b] is called Riemann integrable if L(f)=U(f)L(f) = U(f). We denote as abf(x)dx\int_a^b f(x)dx

RIEMANN'S CONDITION: Suppose ff is bounded on [a,b][a,b]. Then ff is Riemann integrable if and only if for each ϵ>0\epsilon >0, there is a partition PP of [a,b][a,b] such that U(f,P)L(f,P)<ϵU(f, P) - L(f, P) < \epsilon.

THEOREM 6.3.6: Suppose f:[a,b]Rf:[a,b] \to \R is bounded. The following are equivalent:

  1. ff is Riemann integrable.
  2. For each ϵ>0\epsilon >0, there is a partition PP of [a,b][a,b] such that U(f,P)L(f,P)<ϵU(f, P) - L(f, P) < \epsilon.
  3. For every ϵ>0\epsilon >0, there is δ>0\delta > 0 such that every partition QQ with mesh(Q)<δ(Q)< \delta satisfies U(f,Q)L(f,Q)<ϵU(f, Q) - L(f, Q) < \epsilon.
  4. For every ϵ>0\epsilon >0, there is δ>0\delta > 0 such that every partition QQ with mesh(Q)<δ(Q)< \delta and every evaluation sequence XX for QQ satisfies I(f,Q,X)abf(x)dx<ϵ|I(f, Q, X) - \int_a^b f(x)dx| < \epsilon.

THEOREM 6.3.7: Every monotone function ff on [a,b][a,b] is Riemann integrable.

THEOREM 6.3.8: Every continuous function ff on [a,b][a,b] is Riemann integrable.

The fundamental Theorem of Calculus

Lemma 6.4.1: suppose that ff is integrable on [a,b][a,b] and bounded by MM. then abf(x)dxM(ba)|\int_a^b f(x)dx| \le M(b-a).

FUNDAMENTAL THEOREM OF CALCULUS PART1: Let ff be integrable on [a,b][a,b]. Define F(x)=axf(t)dtF(x) = \int_a^x f(t)dt. Then FF is continuous on [a,b][a,b]. ff is continuous at x0x_0 then FF is differentiable at x0x_0 and F(x0)=f(x0)F'(x_0) = f(x_0).

FUNDAMENTAL THEOREM OF CALCULUS PART2: Let ff be continuous on [a,b][a,b]. If there is a continuous function gg on [a,b][a,b] that is differentiable on (a,b)(a,b) such that g(x)=f(x)g'(x) = f(x) for a<x<ba < x < b, then g(b)g(a)=abf(x)dxg(b) - g(a) = \int_a^b f(x)dx.

change of variable formula: Let ff be integrable on [a,b][a,b].if G(x)=F(u(x))G(x) = F(u(x)) then G(x)=F(u(x))u(x)G'(x) = F'(u(x))u'(x) . Then abf(u(x))u(x)dx=G(b)G(a)=F(u(b))F(u(a))=u(a)u(b)f(t)dt\int_a^b f(u(x))u'(x)dx = G(b) - G(a) = F(u(b)) - F(u(a)) = \int_{u(a)}^{u(b)} f(t)dt.