156RCs - VV156 Honors Calculus Review
156RCs
Authors: Li Mingrui, Xia Yiwei, Zhang Haoran
Date: Spring 2023
Sincerest appreciation dedicated to
2022 VV156 TAs
Yishen Zhou, Junhao Li and Jiahe Huang,
as well as all previous VV156 TAs.
Sincerest appreciation dedicated to
2022 VV156 TAs
Yishen Zhou, Junhao Li and Jiahe Huang,
as well as all previous VV156 TAs.
About Honors Calculus
Contents
-
Limits
-
Derivatives and Integrals
-
Series
-
Polar Coordinates
-
Basic Differential Equations
-
Simple Linear Algebra
-
Partial Derivatives
-
Multiple Integrals
-
Differential Equations
-
Deeper Linear Algebra
-
Fourier Transform and Laplace Transform
Other courses might contribute to Honors Calculus:
VV214, VE203, etc.
Useful Software and Websites
MATLAB:

Mathematica:

Integration with Steps:

About This Slide
You had better understand the contents on green slides. They are relatively fundamental.
About This Slide
The content shown on blue slides may be relatively hard, but may contribute to getting high marks in the exams more or less. Do not worry when you cannot handle it.
About This Slide
Those on pink slides are just some interesting problems and crazy thoughts. Maybe they are of little application in exams, but they are quite interesting.
Functions
Definitions & Properties
Basic definitions
Three essential factors of a function:
- Domain: $D$\A set containing the action objects of correspondence rule.
- Correspondence Rule
- Range: $E$\ A set of all images corresponding to all elements in the domain under a certain correspondence rule.
Definition
A function $f$ is a rule that assigns to each element $x$ in a set $D$ exactly one element, called $f(x)$, in a set $E$.
The Vertical Line Test
A curve in the $xy$-plane is the graph of a function of $x$ iff (if and only if) no vertical line intersects the curve more than once.
Definitions & Properties
Representation of Functions
There are four ways to represent a function:
- Verbally (by a description in words)
- Numerically (by a table of values)
- Visually (by a graph)
- Algebraically (by an explicit formula)
Definitions & Properties
Basic Properties
Symmetry
- Even function: $f(-x)=f(x)$
- Odd function: $f(-x)=-f(x)$
Tip: Give priority to whether the domain D of the function is symmetrical.
Increasing & Decreasing property
A function $f$ is called (strictly) increasing on an interval $I$ if
$$
f\left(x_{1}\right)<f\left(x_{2}\right) \quad \text { whenever } x_{1}<x_{2} \text { in } I
$$
A function $$f$ is called (strictly) decreasing on an interval $I$ if
$$
f\left(x_{1}\right)>f\left(x_{2}\right) \quad \text { whenever } x_{1}<x_{2} \text { in } I
$$
Basic function types
Linear function
The graph of the function is a line:
$$y=f(x)=mx+b$
$m$ is the slope of the line and $b$ is the y-intercept.
Polynomials
A function $P$ is called a polynomial if
$P(x)=\sum_{i=0}^n a_ix^i$
$a_i$ are coefficients and $n$ is the degree of the polynomial if $a_n\neq0$.
Quadratic function
A polynomial of degree 2 is of the form $P(x)=ax^2+bx+c$ and is called a quadratic function.
Basic function types
Power function
A function of the form $f(x)=x^a$ is called a power function, where $a$ is a constant. Consider an arbitary positive integer $n$:
- $a=n$:
$y=x$: line $y=x^2$: parabola - $a=\frac{1}{n}$: root function
- $a=-1$: reciprocal function
Ratio function
A Ratio function $f$ is a ratio of two polynomials:
$f(x)=\frac{P(x)}{Q(x)}$
The domain consists of all values of $x$ such that $Q(x)\neq 0$.
Basic function types
Trigonometric function
$$
\sin (x+2\pi)=\sin x \quad \cos (x+2\pi)=\cos x \quad \tan (x+\pi)=\tan x
$$
Exponential function
The exponential functions are the functions of the form $$f(x) = a^x$, where the base a is a positive constant.
Logarithmic function
The logarithmic functions $f(x) = \log_ax$, where the base $a$ is a positive constant, are the inverse functions of the exponential functions.
Think about the question:
What condition does $a$ meet when the exponential function increases in its domain? What about the logarithmic function?
How to draw a function
- You can simply trace the dots for simple functions.
- You may also try to use software:
https://www.geogebra.org
Special Functions
Dirichlet Function
$$
1_{\mathbb{Q}}(x)= \begin{cases}1 & x \in \mathbb{Q} \ 0 & x \notin \mathbb{Q}\end{cases}
$$
Special Functions
Impulse Function
$$
delta(t)= \begin{cases}\infty & t=0 \ 0 & t \neq 0\end{cases}
$$
Step Function
$$
H[n]= \begin{cases}0, & n<0 \ 1, & n \geq 0\end{cases}
$$
Ramp Function
$$
R(x):= \begin{cases}x, & x \geq 0 \ 0, & x<0\end{cases}
$$
Special Functions
Hyperbolic Function
$$
sinh (x)=\frac{e^{x}-e^{-x}}{2}, \cosh (x)=\frac{e^{x}+e^{-x}}{2}, \tanh (x)=\frac{\sinh (x)}{\cosh (x)}
$$
Inverse trigonometric function
$$
\begin{aligned}
&\arcsin (x), \arccos (x), \arctan (x)
&\operatorname{arsinh}(x)=\ln \left(x+\sqrt{x^{2}+1}\right)\ &\operatorname{arcosh}(x)=\ln \left(x+\sqrt{x^{2}-1}\right)\ &\operatorname{artanh}(x)=\frac{1}{2} \ln \left(\frac{1+x}{1-x}\right)
\end{aligned}
$$
Function Transformation
Vertical and Horizontal Shifts, suppose $$c>0$
$y=f(x)+c$, shift the graph of $y=f(x)$ a distance $c$ units upward\ $y=f(x)-c$, shift the graph of $y=f(x)$ a distance $c$ units downward\ $y=f(x-c)$, shift the graph of $y=f(x)$ a distance $c$ units to the right\ $y=f(x+c)$, shift the graph of $y=f(x)$ a distance $c$ units to the left
Vertical and Horizontal Stretching and Reflecting, suppose $c>1$
$y=c f(x)$, stretch the graph of $y=f(x)$ vertically by a factor of $c$\ $y=(1 / c) f(x)$, shrink the graph of $y=f(x)$ vertically by a factor of $c$
$y=f(c x)$, shrink the graph of $y=f(x)$ horizontally by a factor of $c$\ $y=f(x / c)$, stretch the graph of $y=f(x)$ horizontally by a factor of $c$
$y=-f(x)$, reflect the graph of $y=f(x)$ about the $x$-axis\ $y=f(-x)$, reflect the graph of $y=f(x)$ about the $y$-axis
Function Combination
Definition
Given two functions $f$ and $g$, the composite function $f \circ g$ (also called the composition of $f$ and $g$ ) is defined by
$$
(f \circ g)(x)=f(g(x))
$$
It is possible to take the composition of three or more functions. For instance, the composite function $$f \circ g \circ h$ is found by first applying $h$, then $g$, and then $f$ as follows:
$$
(f \circ g \circ h)(x)=f(g(h(x)))
$$
Exercise 1
Skip it if you find the exercise quite simple.
Find the domain of these functions:
- $$h(x)=\frac{1}{\sqrt[4]{x^{2}-5 x}}$
- $f(u)=\frac{u+1}{1+\frac{1}{u+1}}$
- $F(p)=\sqrt{2-\sqrt{p}}$
Exercise 1
Conclusions
How to solve this kind of questions
- The denominator in the fractional function cannot be zero
- The quantity in the even root formula cannot take a negative value, that is, it should be greater than or equal to zero
- The antilogarithm of the logarithm cannot be negative and zero, that is, it must take a positive value
- The domain of the function $y=\arcsin x, y=\arccos x$ is $-1 \leqslant x \leqslant 1$
- $y=\tan x$ , $x \neq k \pi+\pi / 2, y=\cot x$ , $x \neq k \pi$, $k$ is integer
Exercise 2
Prove or Disprove
- If $f$ and $g$ are both even functions, is $f+g$ even? If $f$ and $g$ are both odd functions, is $f+g$ odd? What if $f$ is even and $g$ is odd? Justify your answers.
- If $f$ and $g$ are both even functions, is the product $f g$ even? If $f$ and $g$ are both odd functions, is $f g$ odd? What if $f$ is even and $g$ is odd? Justify your answers.
Exercise 3
Graph the functions step by step
(1)$y=1-2 \sqrt{x+3}$
(2)$y=|\cos \pi x|$
Exercise 4
Find the function (a) $f \circ g$, (b) $g \circ f$, (c) $f \circ f$, and (d) $g \circ g$ and their domains.
$f(x)=\frac{x}{1+x}, g(x)=\sin 2 x$
Exercise 5
Find $f \circ g\circ h$:
- $f(x)=\tan x$
- $g(x)=\frac{x}{x-1}$
- $h(x)=\sqrt[3]{x}$
(It is unnecessary to find the domain of this composite function in this exercise!)
Exercise 6
Composite Function
- If $g(x)=2 x+1$ and $h(x)=4 x^{2}+4 x+7$, find a function $f$ such that $f \circ g=h$. \(Think about what operations you would have to perform on the formula for $g$ to end up with the formula for $h$.)
- If $f(x)=3 x+5$ and $h(x)=3 x^{2}+3 x+2$, find a function $g$ such that $f \circ g=h$.
References
[1] Huang, Yucheng. VV156_RC1_updated.pdf. 2021.
[2] Cai, Runze. Chapter01.pdf. 2021.
[3] Zhou,Yishen.RC1. 2022.
Exercise Answer 1-2
- $x^2-5x>0 \Rightarrow x\in (-\infty,0)\cup (5,\infty)$
- $1+\frac{1}{u+1}\neq0,u+1\neq0 \Rightarrow u\in (\infty,-2)\cup(-2,-1)\cup (-1,\infty)$
- $p\geq0,2-\sqrt{q}\geq0 \Rightarrow p\in [0,4]$
- Yes. Yes. Not necessarily.
- Yes. No.(fg is Even) fg is Odd.
Exercise Answer 3
(1)

(2)

Exercise Answer 4-5
(a) $f\circ g(x)=\frac{\sin 2x}{1+\sin 2x}$. Domain: $x\in{x|x\neq k\pi-\frac{\pi}{4},k\in\mathbb{B}}$
(b) $g\circ f(x)=\sin(\frac{2x}{1+x})$. Domain: $x\in (\infty,-1)\cup(-1,\infty)$
(c) $f\circ f(x)=\frac{x}{1+2x}(x\neq-1)$. Domain:$x\in (\infty,-1)\cup(-1,-\frac{1}{2})\cup (-\frac{1}{2},\infty)$
(d) $g\circ g(x)=\sin(2sin(2x))$. Domain:$x\in\mathbb{R}$
$\tan(\frac{\sqrt[3]{x}}{\sqrt[3]{x}-1})$
Exercise Answer 6
- $x=\frac{g(x)-1}{2}$.
Plug into h(x), $h(x)=4(\frac{g(x)-1}{2})^2+4(\frac{g(x)-1}{2})+7=g^2(x)+6$.
Also, $h(x)=f(g(x))$.
Therefore, $f(x)=x^2-6$ - $3g(x)+5=h(x)$, $g(x)=x^2+x-1$
Limits
"Rough" Definition of a Limit
Suppose $f(x)$ is defined when $x$ is near the number $a$. (This means that $f$ is defined on some open interval that contains $a$, except possibly at $a$ itself.)
Then we write
$$lim\limits_{x \to a}f(x) = L$$
and say
"the limit if $$f(x)$, as $x$ approaches $a$, equals $L$"
if we can make the values of $f(x)$ arbitrarily close to $L$ (as close to $L$ as we like) by taking $x$ to be sufficiently close to $a$ (on either side of $a$) but not equal to $a$.
One-sided Limits
Considering a function called Heaviside Function
$$
H(t)=
\\begin{cases}
0 & t<0
1 & t \geq 0
\end{cases}
$$
Does $$
One-sided Limits
We write
$$lim\limits_{x \to a^{-}}f(x) = L$$
and say the left-hand limit of $f(x)$ as $x$ approaches $a$ is equal to $L$ if we can make the values of $f(x)$ arbitrarily close to $L$ by taking $x$ to be sufficiently close to $a$ and $x$ less than $a$.
When calculating $
Similarly, we can get the right-hand limit of $f(x)$ as $x$ approaches $a$.
One-sided Limits
When does $
$$lim\limits_{x \to a}f(x) = L$$
if and only if
$$lim\limits_{x \to a^{-}}f(x) = L$$ and $
Can we directly regard $L$ as $f(a)$?
Infinite Limits
Let $f$ be a function defined on both sides of $a$, except possibly at $a$ itself. Then
$$lim\limits_{x \to a}f(x) = \infty$$
means that the values of $f(x)$ can be made arbitrarily large (as large as we please) by taking $x$ sufficiently close to $a$, but not equal to $a$.
Let $f$ be a function defined on both sides of $a$, except possibly at $a$ itself. Then
$$lim\limits_{x \to a}f(x) = -\infty$$
means that the values of $f(x)$ can be made arbitrarily large negative by taking $x$ sufficiently close to $a$, but not equal to $a$.
Infinite Limits
Warning:
$$lim\limits_{x \to a}f(x) = (-)\infty$$ does not mean that we are regarding $(-)\infty$ as a number. Nor does it mean that the limit exists!
Limits at Infinity
- Let $f$ be a function defined on some interval $(a, \infty)$. Then
$$lim\limits_{x \to \infty}f(x) = L$$
means that the values of $f(x)$ can be made arbitrarily close to $L$ by taking $x$ sufficiently large. - Let $f$ be a function defined on some interval ($-\infty$, $a$). Then
$$lim\limits_{x \to -\infty}f(x) = L$$
means that the values of $f(x)$ can be made arbitrarily close to $L$ by taking $x$ sufficiently large negative.
Infinite Limits at Infinity
- $
- $
- $
- $
The Limit Laws
Five basic laws:
Suppose that $c$ is a constant and the limits
$$lim\limits_{x \to a}f(x)$$ and $
exists. Then
- $
- $
- $
- $
- $
The Limit Laws
Another six laws:
- $
- $
- $
- $
- $
if $n$ is even, we assume that $a > 0$ - $
**if $n$ is even, we assume that $
The Limit Laws
Warning:
The Limit Laws can't be applied to infinite limits because $(-)\infty$ is not a number!
The Limit Laws
Two additional properties of limits:
- if $f(x) \leq g(x)$ when $x$ is near $a$ (except possibly at $a$) and the limits of $f$ and $g$ both exists as $x$ approaches $a$, then
$$lim\limits_{x \to a}f(x) \leq \lim\limits_{x \to a}g(x)$$ - (The Squeeze Theorem) if $f(x) \leq g(x) \leq h(x)$ when $x$ is near $a$ (except possibly at $a$) and
$$lim\limits_{x \to a}f(x) = \lim\limits_{x \to a}h(x) = L$$
then
$$lim\limits_{x \to a}g(x) = L$$
Two Important Limits
Be sure to keep these two limits in mind!
- $
(How to prove it? Considering $
\sin{x}$, $x$ and $
\tan{x}$. Then, use the squeeze theorem.) - $


The Precise Definition of a Limit
Let $f$ be a function defined on some open interval that contains the number $a$, except possibly at $a$ itself. Then we say that the limit if $f(x)$ as $x$ approaches $a$ is $L$, and we write
$$lim\limits_{x \to a}f(x) = L$$
if for every number $
varepsilon > 0$, there is a number $
delta > 0$ such that
if $0 < |x - a| < \delta$ then $|f(x) - L| < \varepsilon$
The Precise Definition of a Limit
Left-hand limits:
$$lim\limits_{x \to a^{-}}f(x) = L$$
if for every number $
varepsilon > 0$, there is a number $
delta > 0$ such that
if $a - \delta < x < a$ then $|f(x) - L| < \varepsilon$
Right-hand limits:
$$lim\limits_{x \to a^{+}}f(x) = L$$
if for every number $
varepsilon > 0$, there is a number $
delta > 0$ such that
if $a < x < a + \delta$ then $|f(x) - L| < \varepsilon$
The Precise Definition of a Limit
Infinite limits:
- Let $f$ be a function defined on some open interval that contains the number $a$, except possibly at $a$ itself. Then
$$lim\limits_{x \to a}f(x) = \infty$$
means that for every positive number $M$, there is a number $
delta > 0$ such that
if $0 < |x - a| < \delta$ then $f(x) > M$ - Let $f$ be a function defined on some open interval that contains the number $a$, except possibly at $a$ itself. Then
$$lim\limits_{x \to a}f(x) = -\infty$$
means that for every negative number $N$, there is a number $
delta > 0$ such that
if $0 < |x - a| < \delta$ then $f(x) < N$
The Precise Definition of a Limit
Limits at Infinity:
- Let $f$ be a function defined on some interval $(a, \infty)$. Then
$$lim\limits_{x \to \infty}f(x) = L$$
means that for every $
varepsilon > 0$, there is a corresponding number $N$ such that
if $x > N$ then $|f(x) - L| < \varepsilon$ - Let $f$ be a function defined on some interval ($-\infty$, $a$). Then
$$lim\limits_{x \to -\infty}f(x) = L$$
means that for every $
varepsilon > 0$, there is a corresponding number $N$ such that
if $x < N$ then $|f(x) - L| < \varepsilon$
Exercise 1
Evaluate the following limits
- $
- $
- $
- $
Exercise 2
Evaluate the following limits
- $
- $
- $
- $
- $
Conclusions
Some methods to calculate the limits:
- Use those limit laws directly
- Exchange the order of functions and limit symbols based on the continuity of composite function. (Will be mentioned later)
- Do factorization, denominator rationalization or numerator rationalization.
- If a factor approaching zero is find in the denominator, try to eliminate it.
- Translate the formula into the form of "two important limits"
- **The method to solve those formulas having the form of $u(x)^{v(x)$ will be discussed at a deeper level after the differentiation and l'Hôpital's rule are taught.}
Exercise Answer 1
- $
- $
- $
- Let $t^{n}-1:=x$, $
Exercise Answer 2
- $
- $
- $
- $
- $
References
References
[1] Huang, Yucheng. VV156_RC2.pdf. 2021.
[2] Cai, Runze. Chapter01.pdf. 2021.
[3] Department of mathematics, Tongji University. Advanced Mathematics (7th Edition). 2014.
[4] James Stewart. Calculus (7th Edition). 2014.
[5] Department of mathematics, Tongji University. Learning Guidance of Advanced Mathematics (7th Edition). 2014.
[6]Zhou,Yishen.RC2. 2022.
Continuity
Definition of Continuity
A function $f$ is continuous at a number $a$ if
$$lim\limits_{x \to a} = f(a)$$
This definition actually implicitly requires three things:
- $f(a)$ is defined
- $
- $
Definition of Continuity
A function $f$ is continuous from the right at a number $a$ if
$$lim\limits_{x \to a^{+}} = f(a)$$
A function $f$ is continuous from the left at a number $a$ if
$$lim\limits_{x \to a^{-}} = f(a)$$
Definition of Continuity
A function is continuous on an interval if it is continuous at every number in the interval. (If $f$ is defined only on one side of an endpoint of the interval, we understand continuous at the endpoint to mean continuous from the right or continuous from the left.)
Theorem 1
If $f$ and $g$ are continuous at $a$ and $c$ is a constant, then the following functions are also continuous at $a$:
- $f + g$
- $f - g$
- $cf$
- $fg$
- $
\dfrac{f}{g}$ (if $g(a) \neq 0$)
Theorem 2
The following types of functions are continuous at every number in their domain(s):
- polynomials
- rational functions
- root functions
- (inverse) trigonometric functions
- exponential functions
- logarithmic functions
Theorem 3
If $f$ is continuous at $b$ and $
In other words,
$$lim\limits_{x \to a}f(g(x))=f(\lim\limits_{x \to a}g(x))$$
Theorem 4
If $g$ is continuous at $a$ and $f$ is continuous at $g(a)$, then $f(g(x))$ is continuous at $a$.
"A continuous function of a continuous function is a continuous function."
Theorem 5-The Intermediate Value Theorem
Suppose that $f$ is continuous on the closed interval $[a,b]$ and let $N$ be any number between $f(a)$ and $f(b)$, where $f(a) \neq f(b)$. Then there exists a number $c$ in $(a,b)$ such that $f(c) = N$.
Note that the value $N$ can be taken on once or more than once.

Types of Discontinuities
- removable discontinuity
- infinite discontinuity
- jump discontinuity
Exercise 1
Use the Intermediate Value Theorem to show that there is a root of the given equation in the specified interval.
$$sqrt[3]{x} = 1 - x$$, \ (0, 1)
Exercise 1
Use the Intermediate Value Theorem to show that there is a root of the given equation in the specified interval.
$$sqrt[3]{x} = 1 - x$$, \ (0, 1)
Solution:
$$sqrt[3]{x} = 1 - x$$ has a root on (0, 1) equals to $f(x) = \sqrt[3]{x} + x -1 = 0$ has a solution on (0, 1).
Since $f(0) = -1$, $f(1) = 1$, and 0 is between -1 and 1, there must be a point c such that $f(c) = 0$.
Exercise 2
Let $f(x) = \dfrac{e^{\frac{1}{x}} - 1}{e^{\frac{1}{x}} + 1}$. What kind of discontinuity is $x = 0$?
Exercise 2
Let $f(x) = \dfrac{e^{\frac{1}{x}} - 1}{e^{\frac{1}{x}} + 1}$. What kind of discontinuity is $x = 0$?
Solution:
$$lim\limits_{x \to 0^-}f(x)=\dfrac{0-1}{0+1} = -1$$
$$lim\limits_{x \to 0^+}f(x)=\dfrac{\infty - 1}{\infty + 1} = 1$$
Jump discontinuity.
Exercise 3
Find the values of $a$ and $b$ that make $f$ continuous everywhere.
$$
f(x)=
\\begin{cases}
\d\frac{x^{2} - 4}{x - 2} & x < 2
ax^{2} - b{x} + 3 & 2 \leq x < 3
2x - a - b & x \leq 3
\end{cases}
$$
Exercise 3
Find the values of $$a$ and $b$ that make $f$ continuous everywhere.
$$
f(x)=
\\begin{cases}
\d\frac{x^{2} - 4}{x - 2} & x < 2
ax^{2} - b{x} + 3 & 2 \leq x < 3
2x - a - b & x \leq 3
\end{cases}
$$
Solution:
$$lim\limits_{x \to 2^-}f(x)=\dfrac{(x-2)(x+2)}{(x-2)} = 4$$
$f(2)=4a-2b+3$
$$lim\limits_{x \to 3^-}f(x)=9a-3b+3$$
$f(3) = 6 - a -b$
Let $
$$ightarrow $$a = \dfrac{1}{3}, b = \dfrac{1}{6}$
Exercise 4
Find $a$ and $b$ that make $f(x) = \lim\limits_{n \to +\infty}\dfrac{x^{2n - 1} + ax^{2} + bx}{x^{2n} + 1}$ continuous on ($-\infty$, \infty$ ).
Exercise 4
Find $a$ and $b$ that make $f(x) = \lim\limits_{n \to +\infty}\dfrac{x^{2n - 1} + ax^{2} + bx}{x^{2n} + 1}$ continuous on ($-\infty$, \infty$ ).
Solution:
$f(x) = \begin{cases}
ax^2 + bx: -1<x<1
dfrac{a-b-1}{2}: x = -1
dfrac{a+b+1}{2}: x = 1
dfrac{1}{x}: x>1 or x<-1
\end{cases}$
At x = 1,
\begin{cases}
$$dfrac{a+b+1}{2} = a+b$$
$a+b = 1$
\end{cases}
At x = -1,
$a - b = -1$
Thus, we have a = 0, b = 1
Exercise 5
There are two functions:
$f(x)$ is continuous on ($-\infty$, \infty$ ), and $f(x) \neq 0$.
$$varphi (x)$$ is defined on ($-\infty$, \infty$ ), but $
varphi (x)$ has discontinuity.
Judge whether the following four statements are correct:
- $
varphi [f(x)]$\ must have discountinuity. - $[\varphi (x)]^{2}$\ must have discountinuity.
- Whether $f[\varphi (x)]$\ has discountinuity is uncertain.
- $
dfrac{\varphi (x)}{f(x)}$\ must have discountinuity.
Exercise 5
There are two functions:
$f(x)$ is continuous on ($-\infty$, \infty$ ), and $f(x) \neq 0$.
$$varphi (x)$$ is defined on ($-\infty$, \infty$ ), but $
varphi (x)$ has discontinuity.
Judge whether the following four statements are correct:
- $
varphi [f(x)]$\ must have discountinuity. - $[\varphi (x)]^{2}$\ must have discountinuity.
- Whether $f[\varphi (x)]$\ has discountinuity is uncertain.
- $
dfrac{\varphi (x)}{f(x)}$\ must have discountinuity.
Solution:
- No
- No
- Yes
- Yes
List of Limits
- $
- $
- $
- $
- $
- $
- $
- $
List of Limits
- $
- $
- $
- $
- $
- $
- $
- $
References
[1] Huang, Yucheng. VV156_RC2.pdf. 2021.
[2] Cai, Runze. Chapter01.pdf. 2021.
[3] Department of mathematics, Tongji University. Advanced Mathematics (7th Edition). 2014.
[4] James Stewart. Calculus (7th Edition). 2014.
[5] Department of mathematics, Tongji University. Learning Guidance of Advanced Mathematics (7th Edition). 2014.
[6]Zhou,Yishen.RC2. 2022.
Derivatives
Introduction
Tangent Line
The tangent line to the curve $y=f(x)$ at the point $P(a, f(a))$ is the line through $P$ with slope
$$
m=\lim _{x \rightarrow a} \frac{f(x)-f(a)}{x-a}
$$
provided that this limit exists.
Instantaneous rate of change
$$
f^{\prime}(a)=\lim _{x \rightarrow a} \frac{f(x)-f(a)}{x-a}
$$
text { instantaneous rate of change }=\lim {\Delta x \rightarrow 0} \frac{\Delta y}{\Delta x}=\lim {x{2} \rightarrow x{1}} \frac{fleft(x_{2}right)-fleft(x_{1}right)}{x_{2}-x_{1}}
$$
Try to define velocity in this way.
$$
\text{average velocity} = \frac{\text{displacement}}{\text{time}} = \frac{f(a+h)-f(a)}{h}
$$
$$v(a)=\lim _{h\rightarrow 0}\frac{f(a+h)-f(a)}{h}$$
Definition
Derivative
The derivative of a function \boldmath{$$f$ at a number \boldmath{$a$}}, denoted by $f'(a)$, is
$$
f^{\prime}(a)=\lim _{x \rightarrow a} \frac{f(x)-f(a)}{x-a}
$$
if this limit exists.
The slope of the tangent line of a function is the corresponding derivative.
Definition
Notations
Newton: $$
\dot{y}
$$
Leibniz:
$$
\frac{d y}{d x}
$$
Lagrange:
$$
f^{prime}(x)
$$
Jacobi: (Partial Derivatives)
$$
\frac{\partial f}{\partial x}
$$
A function $$f$ is differentiable at $
a if $f^{\prime}(a)$ exists. It is differentiable on an open interval $(a, b)$ [or $(a, \infty)$ or $(-\infty, a)$ or $(-\infty, \infty)]$ if it is differentiable at every number in the interval.
If $f$ is differentiable at $a$, then $f$ is continuous at $a$.
**NOTE** The converse of Theorem is false; that is, there are functions that are continuous but not differentiable. For instance, the function $f(x)=|x|$ is continuous at 0 because
$$
$$
The function is not differentiable at these points:

$$
(f')' = f'' \text{second derivative}
$$
(f'')' = f'''\qquad \text{third derivative}
$$
Example: still consider the position function: position-velocity-acceleration-jerk-snap $$\\c\dots$
$$
x-\frac{d y}{d t}-\frac{d^2 y}{d t^2}-\frac{d^3 y}{d t^3}-\frac{d^4 y}{d t^4}\cdots
$$
Differential formulas
$$
\frac{d}{d x}(C)=0
$$
\frac{d}{d x}(x^{n})=n x^{n-1}
$$
(c f)^{\prime}=c f^{\prime}
$$
(f+g)^{prime}=f^{prime}+g^{prime}
$$
(f-g)^{\prime}=f^{\prime}-g^{\prime}
$$
(f g)^{prime}=f g^{prime}+g f^{prime}
$$
(\frac{f}{g})^{\prime}=\frac{g f^{\prime}-f g^{\prime}}{g^{2}}
$$
Differential formulas
$$
\begin{aligned}
&\frac{d}{d x}(\sin x)=\cos x
&\frac{d}{d x}(\csc x)=-\csc x \cot x
&\frac{d}{d x}(\cos x)=-\sin x
&\frac{d}{d x}(\sec x)=\sec x \tan x
&\frac{d}{d x}(\tan x)=\sec ^{2} x
&\frac{d}{d x}(\cot x)=-\csc ^{2} x
\end{aligned}
$$
Differential formulas
$$
\begin{aligned}
&\frac{d}{d x}\left(\sin ^{-1} x\right)=\frac{1}{\sqrt{1-x^{2}}}
&\frac{d}{d x}\left(\csc ^{-1} x\right)=-\frac{1}{x \sqrt{x^{2}-1}}
&\frac{d}{d x}\left(\cos ^{-1} x\right)=-\frac{1}{\sqrt{1-x^{2}}}
&\frac{d}{d x}\left(\sec ^{-1} x\right)=\frac{1}{x \sqrt{x^{2}-1}}
&\frac{d}{d x}\left(\tan ^{-1} x\right)=\frac{1}{1+x^{2}}
&\frac{d}{d x}\left(\cot ^{-1} x\right)=-\frac{1}{1+x^{2}}
\end{aligned}
$$
Differential formulas
$$
\begin{aligned}
&\frac{d}{d x}\left(\log _{a} x\right)=\frac{1}{x \ln a}
&\frac{d}{d x}(\ln x)=\frac{1}{x}
&\frac{d}{d x} \ln |x|=\frac{1}{x}
\end{aligned}
$$
Exercise 1
Images of a Function and Its Derivative
Find an equation of the tangent line to the curve $$y = 2x\sin{x}$ at the point ($
dfrac{\pi}{2}$, \pi$ ).
Exercise 1
Images of a Function and Its Derivative
Find an equation of the tangent line to the curve $y = 2x\sin{x}$ at the point ($
dfrac{\pi}{2}$, \pi$ ).
Solution:
$y' = 2(sinx + xcosx)$
$k = y'(\dfrac{\pi}{2}) = 2$
$y - \pi = 2(x - \dfrac{\pi}{2})$
$ y - 2x = 0$
Exercise 2
Basic Derivation Formula
Differentiate:
- $y = x^{3} + \dfrac{7}{x^{4}} - \dfrac{2}{x} + 12$
- $y = \sin{x}\cos{x}$
- $y = \sqrt{x}\sin{x}$
- $y = 3e^{x}\cos{x}$
- $y = \dfrac{x\sin{x}}{1 + x}$
- $y = \dfrac{1 - \sec{x}}{\tan{x}}$
- $y = x^{2}\ln{x}\cos{x}$
- $y = \ln{3} + \dfrac{e^{x}}{x^{2}}$
Exercise 2
Solution:
- $3x^2 - \dfrac{28}{x^5} + \dfrac{2}{x^2}$
- cos2x
- $
dfrac{1}{2}x^{-\frac{1}{2}}sinx + x^{\frac{1}{2}}cosx$ - $3e^x(-sinx + cosx)$
- $
dfrac{dy}{dx} = \dfrac{(xsinx)'(1+x)-xsinx}{(1+x)^2} = \dfrac{sinx + (1+x)xcosx}{(1+x)^2}$ - $y = \dfrac{cosx-1}{sinx} \rightarrow \dfrac{dy}{dx} = \dfrac{1}{1+cosx}$
- $
dfrac{dy}{dx} = 2xlnxcosx + xcosx - x^2lnxsinx$ - $(-2x^{-3} + x^{-2})e^x$
Exercise 3
Basic Derivation Formula
Let $y = \log_{\varphi (x)}{f(x)}$\ ($
varphi (x) > 0$,\ $
varphi (x) \neq 1$,\ $f(x) > 0$). Suppose that both $
varphi (x)$ and $f(x)$ are differentiable. Calculate $
dfrac{dy}{dx}$.
Exercise 3
Solution:
$y = \dfrac{lnf(x)}{ln\varphi(x)}$
$$dfrac{dy}{dx} = \dfrac{\frac{1}{f(x)}f'(x)ln\varphi(x) - \frac{1}{\varphi(x)}\varphi'(x)lnf(x)}{[ln\varphi(x)]^2}$$
$=\dfrac{f'(x)}{f(x)ln\varphi(x)} - \dfrac{\varphi'(x)lnf(x)}{\varphi(x)[ln\varphi(x)]^2}$
Chain rule
Chain Rule
If $g$ is differentiable at $x$ and $f$ is differentiable at $g(x)$, then the composite function $F=f \circ g$ defined by $F(x)=f(g(x))$ is differentiable at $x$ and $F^{\prime}$ is given by the product
$$
F^{\prime}(x)=f^{\prime}(g(x)) \cdot g^{\prime}(x)
$$
In Leibniz notation, if $$y=f(u)$ and $u=g(x)$ are both differentiable functions, then
$$
\frac{d y}{d x}=\frac{d y}{d u} \frac{d u}{d x}
$$
Chain rule
**The Power Rule Combined with the Chain Rule **
If $$n$ is any real number and $u=g(x)$ is differentiable, then
$$
\frac{d}{d x}\left(u^{n}\right)=n u^{n-1} \frac{d u}{d x}
$$
Alternatively,
$$
\frac{d}{d x}[g(x)]^{n}=n[g(x)]^{n-1} \cdot g^{\prime}(x)
$$
Exercise 4
Chain Rule
Find the derivative of the function:
- $$y = (4x - x^{2})^{100}$
- $y = 5^{-\frac{1}{x}}$
- $y = e^{-2x}\cos{4x}$
- $y = (\dfrac{x^{2}+1}{x^{2}-1})^{3}$
- $y = \dfrac{\arcsin{x}}{\arccos{x}}$
- $y = [\sin{(e^{(\sin{x})^{2}})}]^{2}$
- $y = \arcsin{\sqrt{\dfrac{1 - x}{1 + x}}}$
- $y = n^{n^{x}} + x^{n^{n}} + n^{x^{n}}$\ ($n > 0$,\ $n \neq 1$)
Exercise 4
- $200(2-x)(4x-x^2)^{99}$
- $ln5\cdot5^{-\frac{1}{x}}\cdot x^{-2}$
- $-2e^{-2x}(cos4x + 2sin4x)$
- $y' = 3(\dfrac{x^2+1}{x^2-1})^2(-\dfrac{2}{(x^2 - 1)^2})\cdot 2x = -\dfrac{12x(x^2+1)^2}{(x^2-1)^3}$
- $y' = \dfrac{(arcsinx)'arccosx - (arccosx)'arcsinx}{(arccosx)^2} = \dfrac{arccosx + arcsinx}{\sqrt{1-x^2}(arccosx)^2}$
- $y' = 2[sin(e^{(sinx)^2)}]\cdot cos(e^{(sinx)^2}) \cdot e^{(sinx)^2} \cdot 2sinxcosx = sin2x \cdot sin(2e^{(sinx)^2})\cdot e^{(sinx)^2}$
- $y' = (1-\dfrac{1-x}{1+x})^{-\frac{1}{2}}\cdot \dfrac{1}{2}(\dfrac{1-x}{1+x})^{-\dfrac{1}{2}}[-\dfrac{2}{(x+1)^2}] = -\dfrac{1}{\sqrt{2x(1-x)}\cdot (x+1)}$
- $y' = n^{n^x + x}(lnn)^2 + n^nx^{n^n -1} + n^{x^n + 1}x^{(n-1)}lnn$
Exercise 5
Higher Derivative
Find the second derivative of the following function:
(Warning: Don't forget to double check your first derivative!)
- $y = \tan{x}$
- $y = \dfrac{1}{x^{3} + 1}$
- $y = x\cos{x}$
Exercise 5
- $y' = sec^2x$
$y'' = 2secx \cdot (tanx \cdot secx) = 2tanx \cdot sec^2x$ - $y' = -\dfrac{1}{(x^3 + 1)^2}\cdot 3x^2$
$y'' = -3 \cdot \dfrac{2x(x^3+1)^2 - 2(x^3+1)3x^4}{(x^3 + 1)^4} = \dfrac{6x(2x^3 - 1)}{(x^3 + 1)^3}$ - $y' = cosx - xsinx$
$y'' = -2sinx - xcosx$
Exercise 6
Higher Derivative
Answer the following three questions based on $
dfrac{dy}{dx} = y'$:
- Express $
dfrac{dx}{dy}$ with $y'$ - Express $
dfrac{d^{2}x}{dy^{2}}$ with $y'$ and $y''$ - Express $
dfrac{d^{3}x}{dy^{3}}$ with $y'$ ,$y''$ and $y'''$
Exercise 6
Solution:
- $
dfrac{dx}{dy} = \dfrac{1}{dy/dx} = \dfrac{1}{y'}$ - $
dfrac{d^2x}{dy^2} = \dfrac{d}{dy}\cdot \dfrac{dx}{dy} = \dfrac{d}{dx}\dfrac{1}{y'}\dfrac{dx}{dy} = -\dfrac{y''}{(y')^3}$ - $
dfrac{d^3x}{dy^3} = \dfrac{d}{dy}\dfrac{d^2x}{dy^2} = \dfrac{d}{dx}\dfrac{d^2x}{dy^2}\dfrac{dx}{dy} = - \dfrac{y'''(y')^3 - 3(y')^2(y'')^2}{(y')^6}\cdot \dfrac{1}{y'} = \dfrac{3y''' - y' (y'')^2}{(y')^5}$
Implicit Differentiation
**Find $y^{prime
Differentiating implicitly with respect to $x$ and remembering that $y$ is a function of $x$, we get
$$
cos (x+y) \cdot\left(1+y^{\prime}\right)=y^{2}(-\sin x)+(\cos x)\left(2 y y^{\prime}\right)
$$
(Note that we have used the Chain Rule on the left side and the Product Rule and Chain Rule on the right side.) If we collect the terms that involve $$y^{\prime}$, we get
$$
cos (x+y)+y^{2} \sin x=(2 y \cos x) y^{\prime}-\cos (x+y) \cdot y^{\prime}
$$
So
$$
y^{\prime}=\frac{y^{2} \sin x+\cos (x+y)}{2 y \cos x-\cos (x+y)}
$$
Exercise 7
Implicit Differentiation
Calculate the derivative of the following implicit function:
- $$y^{2} - 2xy + 9 = 0$
- $xy = e^{xy}$
Solution
- $2yy'-2y-2xy'=0$,$y'=\dfrac{y}{y-x}$
- The derivative does not exist!
Exercise 8
Implicit Differentiation
Use logarithmatic differentiation to calculate the derivative of the following implicit function:
- $y = (\dfrac{x}{x + 1})^{x}$
- $y = \sqrt[5]{\dfrac{x - 5}{\sqrt[5]{x^{2} + 2}}}$
Exercise 8
Solution:
- $lny = x[lnx - \ln(x+1)]$
$$\dfrac{1}{y}y' = [lnx - \ln(x+1)] + x[\dfrac{1}{x} - \dfrac{1}{x+1}]$$
$y' = (\dfrac{x}{x+1})^x [\ln|\dfrac{x}{x+1}| + \dfrac{1}{x+1}]$ - $lny = \dfrac{1}{5}\ln|x-5| - \dfrac{1}{25}\ln(x^2 + 2)$
$y'\dfrac{1}{y} = \dfrac{1}{5(x-5)} - \dfrac{2x}{25(x^2+2)}$
$y' = y[\dfrac{1}{5(x-5)} - \dfrac{2x}{25(x^2+2)}]$
Exercise 9
Implicit Differentiation
The Bessel function of order $0, y=J(x)$, satisfies the differential equation $x y^{\prime \prime}+y^{\prime}+x y=0$ for all values of $x$ and its value at 0 is $J(0)=1$.
(a) Find $J^{\prime}(0)$.
(b) Use implicit differentiation to find $J^{\prime \prime}(0)$.
Exercise 9
Solution:
- Take x=0, 0 + J'(0) + 0 = 0 $
$$ightarrow $$ J'(0) = 0 - xy''' + 2y'' + y + xy' = 0
At x = 0, 2y'' + 1 = 0, y'' = $-\dfrac{1}{2}$
Linear approximation
Definition
$$
f(x) \approx f(a)+f^{\prime}(a)(x-a)
$$
is called the linear approximation or tangent line approximation of $$f$ at $a$. The linear function whose graph is this tangent line, that is,
$$
L(x)=f(a)+f^{\prime}(a)(x-a)
$$
is called the linearization of $$f$ at $a$.
Exercise 10
Use linear approximation to estimate $2.0006^{1.9998}$
Exercise 10
Solution:
$f(x) = 2^{x+2}$
$f'(x) = 2^{x+2}ln2$
$2^{1.9998} = f(0) + f'(0) \times (-0.0002) = 2^2 + 4ln2 \times (-0.0002) = 3.9994$
$g(x) = (2+x)^{1.9998}$
$g'(x) = 1.9998(2+x)^{0.9998}$
$2.0006^{1.9998} = g(0) + g'(0)\times 0.0006 = 2^{1.9998} + 1.9998\times 2^{0.9998}\times 0.0006 = 4.0018$
Equivalent Infinitesimal
Tip: You're highly recommended to remember this part!
$$
\begin{aligned}
&**When ** x \rightarrow 0
&a^{x}-1 \sim x \ln a
&\arcsin (a) x \sim \sin (a) x \sim(a) x
&\arctan (a) x \sim \tan (a) x \sim(a) x
&\ln (1+x) \sim x
&\sqrt{1+x}-\sqrt{1-x} \sim x
&(1+a x)^{b}-1 \sim a b x
&\sqrt[b]{1+a x}-1 \sim \frac{a}{b} x
&1-\cos x \sim \frac{x^{2}}{2}
&x-\ln (1+x) \sim \frac{x^{2}}{2}
\end{aligned}
$$
Equivalent Infinitesimal
$$
\begin{aligned}
&**When ** x \rightarrow 0
&\tan x-\sin x \sim \frac{x^{3}}{2}
&\tan x-x \sim \frac{x^{3}}{3}
&x-\arctan x \sim \frac{x^{3}}{3}
&x-\sin x \sim \frac{x^{3}}{6}
&\arcsin x-x \sim \frac{x^{3}}{6}
\end{aligned}
$$
Equivalent Infinitesimal
Example: Solve the limit
$$
\begin{aligned}
\lim _{x \rightarrow 0} \frac{\ln (1+4 x)}{\sin (3 x)}&=\lim _{x \rightarrow 0} \frac{\ln (1+4 x)}{\sin (3 x)} \lim _{x \rightarrow 0} \frac{4 x}{\ln (1+4 x)} \lim _{x \rightarrow 0} \frac{\sin (3 x)}{3 x}\&=\lim _{x \rightarrow 0} \frac{4 x}{3 x}=4 / 3
\end{aligned}
$$
For more exercise regarding to equivalent infinitesimal, please refer to Worksheet 1.
Taylor Expansion
Definition
Taylor expansion around x=x_0:
$$f(x)=f(x_0)+\sum_{i=1}^n\frac{f^{(i)}(x)}{i!}(x-x_0)^i+R_n$, where $R_n=o[(x-x_0)^n]$
It simulates a function around a point with a polynomial function.
Taylor Expansion
Taylor expansion of some polynomials when x is around 0:
- $e^x=1+x+\frac{x^2}{2}+\frac{x^3}{6}+o(x^3)$
- $ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}+o(x^3)$
- $sinx=x-\frac{x^3}{6}+\frac{x^5}{120}+o(x^5)$
- $cosx=1-\frac{x^2}{2}+\frac{x^4}{24}+o(x^4)$
- $tanx=x+\frac{x^3}{3}+\frac{2x^5}{15}+o(x^5)$
Tip
o(x^n) means the order of the polynomial is larger than n;
O(x^n) means the order of the polynomial is larger than or equal to n.
Taylor Expansion
The transformation of Taylor Expansion:
Example
The Taylor expansion of $e^{x^2}$ around\ x=0:
$e^{x^2}=1+x^2+\frac{(x^2)^2}{2}+\frac{(x^2)^3}{6}+o((x^2)^3)=1+x^2+\frac{x^4}{2}+\frac{x^6}{6}+o(x^6)$
Exercise 11
- Calculate The Taylor expansion of:
- $e^{sinx}$ around\ x=0 (below degree 4)
- $ln(2+x)$ around\ x=-1 (below degree 4)
- Calculate the limit $$
Exercise 11
Solution:
(1)
- $$e^{sinx}=1+(x-\dfrac{1}{6}x^3+O(x^5))+\dfrac{1}{2}(x-\dfrac{1}{6}x^3+O(x^5))^2+\dfrac{1}{6}(x+O(x^3))^3+\dfrac{1}{24}(x+O(x^3))^4=1+x+\dfrac{x^2}{2}-\dfrac{x^4}{8}+O(x^5)$
- $ln(2+x)=ln(1+(1+x))=ln(1+x)=(1+x)-\frac{(1+x)^2}{2}+\frac{(1+x)^3}{3}-\frac{(1+x)^4}{4}+O((1+x)^5)$
Exercise 11
Solution:
(2)
The denominator's Taylor expansion is $x^2tanx=x^3+O(x^5)$, thus for the numerator we can ignore elements of degree 4 or higher.
- $e^x+x=1+2x+\dfrac{x^2}{2}+\dfrac{x^3}{6}+O(x^4)$
- $ln(e^x+x)=2x+\dfrac{x^2}{2}+\dfrac{x^3}{6}-\dfrac{1}{2}(2x+\dfrac{x^2}{2}+\dfrac{x^3}{6})^2+\dfrac{1}{3}(2x+\dfrac{x^2}{2}+\dfrac{x^3}{6})^3+O(x^4)=2x-\dfrac{3}{2}x^2-\dfrac{1}{2}x^3+O(x^4)$
- $ln(e^{sinx}+sinx)=2x-\dfrac{1}{3}x^3-\dfrac{3}{2}x^2-\dfrac{1}{2}x^3+O(x^4)$
- $ln(e^{tanx}+tanx)=2x+\dfrac{2}{3}x^3-\dfrac{3}{2}x^2-\dfrac{1}{2}x^3+O(x^4)$
$ans=\dfrac{-x^3}{x^3}=-1$
Maximum and minimum
Absolute Maximum and Absolute Minimum
Let $c$ be a number in the domain $D$ of a function $f$. Then $f(c)$ is the
- absolute maximum value of $f$ on $D$ if $f(c) \geqslant f(x)$ for all $x$ in $D$.
- absolute minimum value of $f$ on $D$ if $f(c) \leqslant f(x)$ for all $x$ in $D$.
Local Maximum and Local Minimum
The number $f(c)$ is a
- local maximum value of $f$ if $f(c) \geqslant f(x)$ when $x$ is near $c$.
- local minimum value of $f$ if $f(c) \leqslant f(x)$ when $x$ is near $c$.
Critical number
A critical number of a function $f$ is a number $c$ in the domain such that either $f^\prime (c)=0$ or $f^\prime (c)$ does not exist.
local maximum/minimum $
$$ightarrow $$ critical number
Related Theorems
The Extreme Value Theorem
If $f$ is continuous on a closed interval $[a, b]$, then $f$ attains an absolute maximum value $f(c)$ and an absolute minimum value $f(d)$ at some numbers $c$ and $d$ in $[a, b]$.
Fermat's Theorem
If $f$ has a local maximum or minimum at $c$, and if $f^{\prime}(c)$ exists, then $f^{\prime}(c)=0$.
Rolle's Theorem
Let $f$ be a function that satisfies the following three hypotheses:
- $f$ is continuous on the closed interval $[a, b]$.
- $f$ is differentiable on the open interval $(a, b)$.
- $f(a)=f(b)$
Then there is a number $c$ in $(a, b)$ such that $f^{\prime}(c)=0$.
Related Theorems
Lagrange Mean Value Theorem
Let $f$ be a function that satisfies the following hypotheses:
- $f$ is continuous on the closed interval $[a, b]$.
- $f$ is differentiable on the open interval $(a, b)$.
Then there is a number $c$ in $(a, b)$ such that
$$
f^{\prime}(c)=\frac{f(b)-f(a)}{b-a}
$$
or, equivalently,
$$f(b)-f(a)=f^{\prime}(c)(b-a)$
Related Theorems
Cauchy Mean Value Theorem (Extended Mean Value Theorem)
Let $f,g$ be two functions that satisfy the following hypotheses:
- $f,g$ is continuous on the closed interval $[a, b]$.
- $f,g$ is differentiable on the open interval $(a, b)$.
3.$x \in(a, b), g^{\prime}(x) \neq 0$
Then there is a number $c$ in $(a, b)$ such that
$$
\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f^{\prime}(c)}{g^{\prime}(c)}
$$
or, equivalently,
$$(f(b)-f(a)) g^{\prime}(c)=(g(b)-g(a)) f^{\prime}(c)$
Exercise 12
The Mean Value Theorem
Verify that the function satisfies the hypotheses of the Mean Value Theorem on the given interval. Then find all numbers $c$ that satisfy the conclusion of the Mean Value Theorem.
- $f(x)=x^{3}-3 x+2, [-2,2]$
- $f(x)=\ln x, [1,4]$
Exercise 12
Solutions:
- f(-2) = 0, f(2) = 4
$k = \dfrac{f(2) - f(-2)}{4} = 1$
$f'(x) = 3x^2 - 3, 3c^2 - 3 = 1$
$c = \dfrac{2\sqrt{3}}{3}$
$k = \dfrac{f(4) - f(1)}{3} = \dfrac{2ln2}{3}$
$f'(x) = \dfrac{1}{x}$
$d = \dfrac{3}{2ln2}$
Relationship between $f^\prime$ and $f$
Increasing/Decreasing Test
If $f^\prime(x)>0$ on an interval, then $f$ is increasing on that interval.
If $f^\prime(x)<0$ on an interval, then $f$ is decreasing on that interval.
The First Derivative Test
Suppose that $c$ is a critical number of a continuous function $f$.
If $f^\prime$ changes from positive to negative at $c$, $f$ has a local maximum at $c$.
If $f^\prime$ changes from negative to positive at $c$, $f$ has a local minimum at $c$.
If $f^\prime$ does not change sign at $c$, $f$ has no local maximum or minimum at $c$.
Relationship between $f^{primeprime
Concave upward/downward
If the graph of $f$ lies above all of its tangents on an interval $I$, then it is called concave upward on $I$. If the graph of $f$ lies below all of its tangents on an interval $I$, then it is called concave downward on $I$.
Concavity Test
If $f^{\prime\prime}(x)>0$ for all $x$ in $I$, then the graph of $I$ is concave upward on $I$.
If $f^{\prime\prime}(x)<0$ for all $x$ in $I$, then the graph of $I$ is concave downward on $I$.
Relationship between $f^{primeprime
Inflection point
A point $P$ on a curve $y=f(x)$ is called an inflection point if $f$ is continuous there and the curve changes from concave upward to concave downward or from concave downward to concave upward at $P$.
The Second Derivative Test
Suppose $f^{\prime\prime}$ is continuous near $c$.
If $f^\prime(c)=0$ and $f^{\prime\prime}(c)>0$, then $f$ has a local minimum at $c$.
If $f^\prime(c)=0$ and $f^{\prime\prime}(c)<0$, then $f$ has a local maximum at $c$.
L'Hospital's Rule
L'Hospital's Rule
Suppose $f$ and $g$ are differentiable and $g^\prime(x)\neq0$ on an open interval $I$ that contains $a$ (except possibly at $a$). Suppose that
$$
$$\lim_{x\rightarrow a}f(x)=0\quad \text{and}\quad \lim_{x\rightarrow a}g(x)=0
$$
or that
$$
$$\lim_{x\rightarrow a}f(x)=\pm\infty\quad \text{and}\quad \lim_{x\rightarrow a}g(x)=\pm\infty
$$
(In other words, we have an indeterminate form of type $$
\frac{0}{0}$ or $
infty/\infty$.) Then
$$
$$\lim_{x\rightarrow a}\frac{f(x)}{g(x)}=\lim_{x\rightarrow a}\frac{f^\prime(x)}{g^\prime(x)}
$$
if the limit on the right side exists (or is \infty$$ or $-\infty$).
Exercise 13
l'Hôpital's rule
Warning: Always judge whether l'Hôpital's rule can be applied before you use it, and don't neglect those basic methods of finding the limit.
Evaluate the following limits:
- $
- $
- $
- $

$$lim\limits_{x \to \infty}\dfrac{x}{\sqrt{x^{2} + 1}}$$
Exercise 13
Solution:
- 1
- 1
- $
- $ u = \dfrac{1}{x}$
$$lim\limits_{u \to 0} \dfrac{u - ln(u+1)}{u^2} = \lim\limits_{u \to 0} \dfrac{1 - \dfrac{1}{u+1}}{2u} = \lim\limits_{u \to 0} \dfrac{\dfrac{1}{(u+1)^2}}{2} = \dfrac{1}{2}$$ - $
References
[1] Huang, Yucheng. VV156_RC2.pdf. 2021.
[2] Huang, Yucheng. VV156_RC3.pdf. 2021.
[3] Cai, Runze. Chapter02.pdf. 2021.
[4] Cai, Runze. Chapter03.pdf. 2021.
[5] Department of mathematics, Tongji University. Advanced Mathematics (7th Edition). 2014.
[6] James Stewart. Calculus (7th Edition). 2014.
[7] Department of mathematics, Tongji University. Learning Guidance of Advanced Mathematics (7th Edition). 2014.
[8]Huang, Jiahe, Zhou Yishen. VV156 RC3. 2022
Integral
Antiderivatives
Definition
A function F is called an antiderivative of f on an interval I if F′(x) = f(x) for all x in I.
Theorem
If F is an antiderivative of f on an interval I, then the most general antiderivative of f on I is $$F(x)+C$$,
where C is an arbitrary constant.

Antiderivatives
notation
$$
$$
How to understand this notation?
Theorem
If the antiderivatives of functions f(x) and g(x) exist, then for any constant p and q, the antiderivate of pf(x)+qg(x) also exists, and we have
$$
Keep the following indefinite integrals firmly in mind!
$$
\begin{array}{ll}
\int c f(x) d x=c \int f(x) d x
int[f(x)+g(x)] d x=\int f(x) d x+\int g(x) d x
\int k d x=k x+C
\int \dfrac{1}{x} d x=\ln |x|+C
\int x^{n} d x=\dfrac{x^{n+1}}{n+1}+C
\int a^{x} d x=\dfrac{a^{x}}{\ln a}+C
\int e^{x} d x=e^{x}+C
\int \cos x d x=\sin x+C
\int \sin x d x=-\cos x+C
\int \csc ^{2} x d x=-\cot x+C
\int \sec ^{2} x d x=\tan x+C
\int \csc x \cot x d x=-\csc x+C
\int \sec x \tan x d x=\sec x+C
\int \dfrac{1}{\sqrt{1-x^{2}}} d x=\arcsin x+C
\int \d\frac{1}{x^{2}+1} d x=\arctan x+C
\int \cosh x d x=\sinh x+C
\int \sinh x d x=\cosh x+C
\end{array}
$$
$$
$$
How to memorize?
$$dfrac{dg(x)}{dx}=g^{\prime}(x)$$\$
Rightarrow dx=\dfrac{dg(x)}{g^{\prime}(x)}$\$
Rightarrow \int f(x) g^{\prime}(x) dx= \int f(x)g^{\prime}(x)\cdot \dfrac{dg(x)}{g^{\prime}(x)}=\int f(x)dg(x)$
Type 1: Direct Substitution ($u=g(x)$)
If $u=g(x)$ is a differentiable function whose range is an interval $I$ and $f$ is continuous on $I$, then
$$
$$
Type 2: Inverse Substitution ($$x=\varphi(t)$)
If $x=\varphi(t)$ is an invertible function, then
$$
$$
begin{enumerate}
\item$$
\item $
\item $
end{enumerate}
An Important Application: Trigonometric Substitutions:
$$
\\begin{array}{|c|c|c|}
\hline \text { Expression } & \text { Substitution } & \text { Identity }
\hline \sqrt{a^{2}-x^{2}} & x=a \sin \theta, \quad-\frac{\pi}{2} \leqslant \theta \leqslant \frac{\pi}{2} & 1-\sin ^{2} \theta=\cos ^{2} \theta
\sqrt{a^{2}+x^{2}} & x=a \tan \theta, \quad-\frac{\pi}{2}<\theta<\frac{\pi}{2} & 1+\tan ^{2} \theta=\sec ^{2} \theta
\sqrt{x^{2}-a^{2}} & x=a \sec \theta, \quad 0 \leqslant \theta<\frac{\pi}{2} & \sec ^{2} \theta-1=\tan ^{2} \theta
\hline
\end{array}
$$
$$
$$
$$
$$
How to choose $$f(x)$ and $g'(x)$?
Among the following function types:
the more to the left, the more suitable to be $f(x)$
the more to the right, the more suitable to be $g'(x)$
\alert{(left)} inverse trigonometric function, logarithm function, power function, trigonometric function, exponential function \alert{(right)}
When should we consider applying Integration by Parts?
-
If the integrand is the product of \alert{inverse trigonometric function, logarithm function or power function} and another function \alert{whose antiderivative is easy to calculate}.
-
If the integrand is the product of \alert{trignometric function and exponential function}, apply Integration by Part twice in order to find an identical equation about the original integral, and then solve that equation.
-
If the integrand contains $n$ (or a relatively large number), apply Integration by Part to \alert{find the recursion formula}.
-
$
-
$
-
$
-
If at least m and n is odd, adopt substitution rule.
-
Else, use half-angle identities that $sin^2x=\dfrac{1}{2}(1-cos2x)$, $cos^2x=\dfrac{1}{2}(1+cos2x)$.
-
If m is even (not 0), use $d(tanx)=sec^2xdx$ to transform it into the integration of tanx.
-
If n is odd, use$d(secx)=secxtanxdx$ to transform it into the integration of secx.
-
$sin\alpha cos\beta=\dfrac{1}{2}(sin(\alpha+\beta)+sin(\alpha-\beta))$
-
$
-
ans=$0.75\int\dfrac{1}{1-x^4}dx^4$=$-\dfrac{3}{3}\int\dfrac{1}{1-x^4}d(1-x^4)$=$-\dfrac{3}{4}\ln|1-x^4|+C$
-
ans=$-\int xd(cosx)$=$-xcosx+\int cosx dx$=$-xcosx+sinx+C$
-
$
-
$
-
Try to prove that $
-
$
-
$
Form: $
dfrac{f(x)}{[A(x)]^{a}[B(x)]^{b}...}=\dfrac{f_{a}(x)}{[A(x)]^{a}}+\dfrac{f_{b}(x)}{[B(x)]^{b}}+...$
Purpose: Split a complex rational function into several functions whose forms are familiar and easy to integrate, or change the integration into familiar forms with trignometric substitution
Critical skill: \alert{Undetermined coefficient method, Trigonometrical Substitution, Reciprocal Substitution.}
Also, as rational functions are easier to deal with, we can carry out \alert{Rationalization.}
Key chracter: Whether the denominator of the integrand can be factorized or not
If the degree of the polynomial (or other type of functions) in the numerator is greater than or equal to that in the denominator, \alert{extract a polynomial (or other type of functions)}.
If the degree of the polynomial in the denominator is too high, in order to reduce the workload, it's recommended to \alert{apply substitution rule before attempting to split the function}.
-
$
-
$
-
$
-
$
-
$
-
Simply Transform into Integration.
Exercise: Refer to Worksheet 1 1.3,1.4
[1] Huang, Yucheng. VV156\_RC2.pdf. 2021. [2] Cai, Runze. Chapter02.pdf. 2021. [3] Department of mathematics, Tongji University. Advanced Mathematics (7th Edition). 2014. [4] James Stewart. Calculus (7th Edition). 2014. [5] Department of mathematics, Tongji University. Learning Guidance of Advanced Mathematics (7th Edition). 2014. [6] Cai, Runze. Chapter03.pdf. 2021.[7] Huang, Yucheng. VV156_RC3.pdf. 2021.
[8] Chen, Jixiu et al. Mathematical Analysis (3rd Version). 2019
[9] Li, Junhao. VV156 Regular RC3/RC4.pdf. 2022.
[10] Zhou, Yishen. VV156 Mid2 Big RC Part1.pdf. 2022.
\section{Parametric Equations & Polar Coordinates}
Suppose that x and y are both given as functions of a third variable t
(called a parameter) by the equations
$x=f(t) y=g(t)$
$x=cost$ $y=\sin t$ $(0 \leqslant t \leqslant 2\pi)$
If we plot points, it appears that the curve is a circle. We can confirm this
impression by eliminating t. Observe that
$$x^2+y^2=sin^2t +cos^2 t= 1$$
Thus the point $$(x,y)$ moves on the unit circle $x^2+y^2=1$. Notice that in
this example the parameter t can be interpreted as the angle (in radians).
As t increases from 0 to 2π, the point $(x,y) = (cost,sint)$ moves once
around the circle in the counterclockwise direction starting from the point
$(1,0)$.
A Typical Example: Cycloid
Definition
The curve traced out by a point on the circumference of a circle as the
circle rolls along a straight line is called a cycloid .
Therefore parametric equations of the cycloid are
$x=r(\theta-\sin\theta)$ $y=r(1-\cos\theta)$ $
theta \in R$

Polar Coordinates
We choose a point in the plane that is called the pole (or origin) and is
labeled O. Then we draw a ray (half-line) starting at O called the polar
axis. This axis is usually drawn horizontally to the right and corresponds
to the positive x-axis in Cartesian coordinates.
If P is any other point in the plane, let r be the distance from O to P and
let $\theta$ be the angle (usually measured in radians) between the polar axis and the line OP as in Figure 1 . Then the point P is represented by the
ordered pair $(r,\theta)$ and r,$\theta$ are called polar coordinates of P. We use the convention that an angle is positive if measured in the counterclockwise direction from the polar axis and negative in the clockwise direction. If P = O, then $r = 0$ and we agree that $(0,\theta)$ represents the pole for any value of $ heta$.
Polar Coordinates

In fact, since a complete counterclockwise rotation is given by an angle
$2\pi$, the point represented by polar coordinates $(r,\theta)$ is also represented by
$(r,\theta+2n\pi)$ and $(-r,\theta+(2n+1)\pi)$
Polar Coordinates and Cartesian Coordinates
Relationship between Polar Coordinates and Cartesian Coordinates
$x=r \cos$\theta y=r \sin $\theta$
$r^2=x^2+y^2 \tan\theta = \frac{y}{x}$
Cartesian coordinates and Cylindrical coordinates
cylindrical to Cartesian coordinates
$x=r \cos \phi$
$y=r \sin \phi$
$z=z$
inverse relations (from Cartesian to cylindrical coordinates)
$r=\sqrt{x^2+y^2}$
$\tan \phi=\frac{y}{x}$
$z=z$
Cartesian coordinates and Spherical coordinates
spherical to Cartesian coordinates
$x=r \sin \theta \cos \phi$
$y=r \sin\theta \sin \phi$
$z=r \cos\theta$
inverse relations (from Cartesian to spherical coordinates)
$r=\sqrt{x^2+y^2+z^2}$
$\tan \phi=\frac{y}{x}$
$\tan \theta=\frac{\sqrt{x^2+y^2}}{z}$
Cardioid
Definition
- parametric representation:
$x(\theta)=2a(1-\cos \theta)\cos $\theta$
$y(\theta)=2a(1-\cos \theta)\sin $\theta$
$(0\leqslant \theta \leqslant 2\pi)$ - polar coordinates:
$r =2a(1-\cos \theta)$
$(0\leqslant \theta \leqslant 2\pi)$
Cardioid is special Cycloid and special Limaçon
Cardioid
Cardioid

Limaçon
Definition
$r=1+c \sin\theta$

Conchoid
Definition
$r=1+c \sec\theta$

Epicycloid
Definition
$x(\theta)=(R+r)\cos\theta-r \cos(\frac{R+r}{r}\theta)$
$y(\theta)=(R+r)\sin\theta-r \sin(\frac{R+r}{r}\theta)$

Epitrochoid
Definition
$x(\theta)=(R+r)\cos\theta-d \cos(\frac{R+r}{r}\theta)$
$y(\theta)=(R+r)\sin\theta-d \sin(\frac{R+r}{r}\theta)$

Hypocycloid
Definition
$x(\theta)=(R-r)\cos\theta-r \cos(\frac{R-r}{r}\theta)$
$y(\theta)=(R-r)\sin\theta-r \sin(\frac{R-r}{r}\theta)$

Hypotrochoid
Definition
$x(\theta)=(R-r)\cos\theta-d \cos(\frac{R-r}{r}\theta)$
$y(\theta)=(R-r)\sin\theta-d \sin(\frac{R-r}{r}\theta)$

Bézier curves
Definition
Bézier curves are used in computer-aided design and are named after the
French mathematician Pierre Bézier (1910-1999), who worked in the
automotive industry. A cubic Bézier curve is determined by four control
points, $P_0 (x_0,y_0)$,$P_1 (x_1,y_1)$,$P_2 (x_2,y_2)$, and $P_3 (x_3,y_3)$, and is defined by the parametric equations:
$x=x_0 (1-t)^3 + 3x_1 t(1-t)^2 + 3x_2 t^2(1-t)+ x_3 t^3$
$y=y_0 (1-t)^3 + 3y_1 t(1-t)^2 + 3x_2 t^2(1-t)+ y_3 t^3$
More Details: https://zhuanlan.zhihu.com/p/471457420
Application of Bézier Curves in desmos

Application of Bézier Curves in desmos

Application of Bézier Curves in desmos

Tangents
Slope of the Tangent Line with Parametric Curves
$$
\frac{dy}{dx}=\frac{\frac{dy}{dt}}{\frac{dx}{dt}}$$
For the second order derivative, we have:
$$
\frac{d^2y}{dx^2}=\frac{d}{dx}\frac{dy}{dx}=\frac{\frac{d}{dt}\frac{dy}{dx}}{\frac{dx}{dt}}$$
Area and Arc Length
Area
We know that the area under a curve $$y = F(x)$ from $a$ to $b$ is
$A = \int_a ^b F(x) dx$, where $F(x) \geqslant 0$. If the curve is traced out once by the parametric equations $x = f(t)$ and $y = g(t)$, $
alpha \leqslant t \leqslant \beta$, then we can calculate an area formula by using the Substitution Rule for Definite Integrals as follows:
$$A=\int a^b y dx = \int{\alpha}^{\beta} g(t) f^{\prime}(t) dt$$ or $$=\int^{\alpha}_{\beta} g(t) f^{\prime}(t) dt$$
If a curve C is described by the parametric equations $$x = f(t)$,$y = g(t)$,$
alpha \leqslant t \leqslant \beta $, where $f^{\prime}$ and $g^{\prime}$ are continuous on $[\alpha,\beta]$ and C is traversed exactly once as t increases from\alpha$ to $
beta$, then the length of C is
$$L=\int_{\alpha}^{\beta}\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2} dt $$
Surface Area
Surface Area
In the same way as for arc length, we can adapt to obtain a formula for
surface area. If the curve given by the parametric equations $$x = f(t)$,$y = g(t)$,$
alpha \leqslant t \leqslant \beta $ is rotated about the x-axis, where $f^{\prime}$ and $g^{\prime}$ are continuous and $g(t) \geqslant 0$, then the area of the resulting surface is given by
$$ S=\int_{\alpha}^{\beta} 2\pi y\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2} dt $$
$$x=r \cos\theta,y=r \sin\theta$$
where r can be regarded as a function of $$\theta$ . Hence we have
$$
\frac{dy}{dx}=\frac{\frac{dy}{d\theta}}{\frac{dx}{d\theta}}=\frac{\frac{dy}{d\theta}sin \theta + r \cos\theta}{\frac{dy}{d\theta} \cos\theta -r \sin\theta}$$
Suppose we have the function in polar coordinates:
$$r=f(\theta),a \leqslant \theta \leqslant b$$
For the area enclosed by this function, we have:
$$A=\int_a^b \frac{1}{2}f^2(\theta)d\theta$$
For the area enclosed by this function, we have:
$$L=\int_a^b \sqrt{r^2+(\frac{dr}{d\theta})^2} d\theta$$
Exercise 1
tangents
Find equations of the tangents to the curve $$x = 3t^2 +1, y = 2t^3 +1$ that
pass through the point $(4,3)$.
Exercise 2
- Find the exact length of the curve
$x=1+3t^2$, $y=4+2t^3$, $0 \leqslant t \leqslant 1$
Find the area enclosed by the x-axis and the curve
$x=1+e^t$, $y=t-t^2$
3.
Find the exact area of the surface obtained by rotating the given curve about the x-axis.
$x=3t-t^3$, $y=3t^2$, $0 \leqslant t \leqslant 1$
Exercise 3
- Find the slope of the tangent line to the given polar curve at the point specified by the value of $\theta$: $r=2-\sin\theta$, $\theta=\frac{\pi}{3}$
Find the area of the region enclosed by one loop of the curve:
$r=2 sin5\theta$
Answers
exercises 1:
$$\frac{dy}{dx}=\frac{\frac{dy}{dt}}{\frac{dx}{dt}}=\frac{6t^2}{6t}=t$$
when pass through $(4,3)$, we have $3-(2t^3+1)=t(4-(3t^2+1)) \Rightarrow t=1$ or $t=-2$
$$Rightarrow y=x-1$$ or $y=-2x+11$
Answers
exercises 2:
1.
$L=\int_0^1\sqrt{(\frac{dy}{dt})^2+(\frac{dx}{dt})^2} dt=\int_0^1 6t \sqrt{1+t^2}dt = \int_1^2 \sqrt{u}(\frac{1}{2}d u)= 3 \cdot \frac{3}{2} [u ^ {\frac{3}{2}}]|_1^2= 2(2\sqrt{2}-1)$
2.
The curve $x = 1+e^t$,$y = t−t^2=t(1-t)$ intersects the x-axis when $y = 0$, that is, when $t = 0$ and $t = 1$. The corresponding values of x are $2$ and $1+e$. The shaded area is given by
$$$\int_2^{1+e} (y_T-y_B) dx = \int_0^1 (y(t)-0) x^{\prime}(t) dt=\int _0^1 (t-t^2)e^t dt $$
$=\int _0^1 t e^t dt - \int_0^1 t^2 \cdot e^t dt$
$= 3\int_0^1 t e^t dt - t^2 e^t|_0^1$
$=3((t-1)e^t)|_0^1 - e =3-e$
3.
$x=3t-t^3$,$y=3t^2$,$0 \leqslant t \leqslant 1$.
$(\frac{dx}{dt})^2+(\frac{dy}{dt})^2=(3-3t^2)^2+(6t)^2=(3(1+t)^2)^2$
$S=\int_0^1 2\pi \cdot 3t^2 \cdot (1+t^2) dt$
$=18\pi(\frac{1}{3} t^3 + \frac{1}{5} t^5)|_0^1$
$=\frac{48}{5}\pi$
Answers
$x=r \cos\theta= (2-\sin\theta)\cos\theta$,$y=r \sin\theta =(2-\sin\theta) \sin\theta$
$$frac{dy}{dx}=\frac{2\cos\theta-sin2\theta}{-2\sin\theta-cos2\theta}$$
when $
theta = \frac{\pi}{3}$, $
frac{dy}{dx}=\frac{2-\sqrt{3}}{1-2\sqrt{3}}$
2.
$sin 5\theta= 0 \Rightarrow 5\theta=n\pi \Rightarrow \theta=\frac{\pi}{5} n$
$A=\int_0^{\frac{\pi}{5}} \frac{1}{2}(2sin5\theta)^2 d\theta$
$=2 \int_0^{\frac{\pi}{5}}\frac{1}{2}(1-cos10\theta)|_0^{\frac{\pi}{5}}=\frac{\pi}{5}$
Reference
[1] Huang, Jiahe. VV156_RC4.pdf.2022.
[2] Huang, Yucheng. VV156_ RC6.pdf. 2021.
[3] Chen, Jixiu et al. Mathematical Analysis (3rd Version). 2019
[4] Li, Junhao.VV156_RC5.pdf.2022.
Series
Limits of Sequences
A sequence {$a_n$} has the limit L and we write:
$$mathop{lim} \limits_{n \rightarrow \infty} a_n = L$$ or $a_n \rightarrow L$ as n $
$$ightarrow \infty$$
if we can make the terms $a_n$ as close to L as we like by taking n sufficiently large. If $
mathop{lim} \limits_{n \rightarrow \infty} a_n$ exists, we say the sequence converges (or is convergent). Otherwise, we say the sequence diverges (or is divergent).
Limits of Sequences: Precise Definition
Definition
Suppose that there is a sequence $a_n$. If for any fixed positive number \varepsilon$ , there exits a positive integer N such that for any $n > N$, we have
$$|a_n - L|< \varepsilon$$
Then we say that the sequence an has the limit L.
-
If $$\lim_{n\rightarrrow \infty} f (x) = L$ and $f (n) = a_n$ when n is an integer, then $\lim_{n\rightarrrow \infty} a_n = L$.
-
$\lim_{n\rightarrow \infty} a_n = \infty$ means that for every positive number M there is an integer N such that if $n > N$ then $a_n > M$.
-
(Squeeze theorem) If $a_n \leqslant b_n \leqslant c_n$ for $n \geqslant n_0$ and $\lim_{n \rightarrow \infty} a_n = \lim_{n \rightarrow \infty} c_n = L$, then $\lim_{n\rightarrow\infty} b_n = L$.
-
If $\lim_{n \rightarrow \infty} |a_n| = 0$, then $\lim_{n \rightarrow \infty} a_n = 0$.
-
Every bounded, monotonic sequence is convergent.
-
*(Bolzano Weierstrass Theorem) A Bounded sequence must have a convergent subsequence.
If {$a_n$} and {$b_n$} are convergent sequences and c is a constant, then: -
$
-
Divergence Test Theorem (Requirement for Convergent Series)
-
Integral Test
-
Comparison Test
-
Cauchy Test (Root Test)
-
d’Alembert Test (Ratio Test)
-
Leibniz Test
-
Absolute Convergence Test
Suppose f is a continuous, positive, decreasing function on $[1,\infty)$ and let $a_n = f (n)$. Then the series $
$\sum_1^{\infty} a_n$ an is convergent if and only if the improper integral \is convergent. In other words:
(i) If $
$\int_1^{\infty}f(x) dx$ is convergent, then $
$\sum_{n=1}^{\infty}a_n$ is convergent.
(ii) If $
$\int_1^{\infty}f(x) dx$ is divergent, then $
$\sum_{n=1}^{\infty}a_n$ is divergent.
For what values of p is the series $
\sum_{n=1}^{\infty} \frac{1}{n^p}$ convergent?
SOLUTION:
(i) If $p<0$, then $\lim_{n\rightarrow \infty}(\frac{1}{n^p})=\infty$
(ii) If $p=0$ $\lim_{n\rightarrow \infty}(\frac{1}{n^p})=1$
In either case $\lim_{n\rightarrow \infty}(\frac{1}{n^p}) \neq 0$
(iii)$p>0$,$f(x)=\frac{1}{x^p}$ is clearly continuous, positive, and decreasing on $[1,\infty]$. And we have:
$$$\int_1^{\infty} \frac{1}{x^p} dx $$ converges if $p>1$ and diverges if $p \leqslant 1$
The p-series $
$\sum_{n=1}^{\infty}\frac{1}{n^p}$
is convergent if $p>1$ and divergent if $p \geqslant 1$.
Suppose that $
sum a_n$ and $
sum b_n$ are series with positive terms.
(i) If $
sum b_n$ is convergent and $a_n \leqslant b_n$ for all n, then $
sum a_n$ is also convergent.
(ii) If $
sum b_n$ is divergent and $a_n \geqslant b_n$ for all n, then $
sum a_n$ is also divergent.
In using the Comparison Test we must, of course, have some known series $
sum b_n$ for the purpose of comparison. Most of the time we use one of these
series:
- A p-series [$
sum \frac{1}{n^p}$ converges if $p > 1$ and diverges if $p \leqslant 1$] - A geometric series $
sum ar^{n-1}$ converges if $|r| < 1$ and diverges if $|r| \geqslant 1$]
Suppose that $
sum a_n$ and $
sum b_n$ are series with positive terms. If
$$
mathop{limits}\limits_{n \rightarrow \infty} \frac{a_n}{b_n}= c$$
where c is a finite number and $$c > 0$, then either both series converge or both diverge.
Remark:Usually, this is more convenient to use.
d’Alembert Test (Ratio Test)
(i) If $\lim_{n\rightarrow \infty}|\frac{a_{n+1}}{a_n}|=L<1$ then the series $
$\sum_{n=1}^{\infty} a_n$ is absolutely convergent (and therefore convergent).
(ii) If $lim_{n\rightarrow \infty}|\frac{a_{n+1}}{a_n}|=L>1$ or $lim_{n\rightarrow \infty}|\frac{a_{n+1}}{a_n}|=\infty$, then the series $
$\sum_{n=1}^{\infty}$ is divergent.
(iii) If $\lim_{n\rightarrow \infty}|\frac{a_{n+1}}{a_n}|=L=1$, the Ratio Test is inconclusive; that is, no conclusion can be drawn about the convergence or divergence of $
sum a_n$.
Cauchy Test (Root Test)
(i) If $\lim_{n \rightarrow \infty} \sqrt[n]{|a_n|} =L<1 $, then the series $
sum {n=1}^{\infty} a_n$ is absolutely convergent (and therefore convergent).
(ii) If $\lim{n \rightarrow \infty} \sqrt[n]{|a_n|} =L>1 $ or $\lim_{n \rightarrow \infty} \sqrt[n]{|a_n|} = \infty $, then the series $
sum {n=1}^{\infty} a_n$ is divergent.
(iii) If $\lim{n \rightarrow \infty} \sqrt[n]{|a_n|} =L=1 $, the Root Test is inconclusive.
Alternating Series
Definition
If the series satisfies
$$
\sum_{n=1}^{\infty}x_n=\sum_{n=1}^{\infty}(-1)^{u+1} u_n$$
Then we call it an alternating series.
Further, if the series
$$
\sum_{n=1}^{\infty}(-1)^{u+1} u_n$$
satisfies:
$$(i) u_{n+1} \leqslant u_n$ for all n
$(ii) \lim_{n\rightarrow \infty}u_n=0$
Then the series is convergent.
We call it Leibniz series.
Important Conclusion
Conclusion
The convergence and divergence property of a series has nothing to do with the first N terms, where N is a finite number.
So, we can write:
$$
$$\sum_{n=1}^{\infty}a_n= \sum_{n=1}^{N} a_n+ \sum {n=N+1}^{\infty}$$
Then, if the series
$$
$$\sum{n=N+1}^{\infty} a_n$$
satisfies the conditions of Leibniz Series, we can still conclude that the series is convergent.
Absolute Convergence and Conditional Convergence
Definition
Suppose that $$
\sum_{n=1}^{\infty} x_n$ is a convergent series. Then if $
\sum_{n=1}^{\infty} |x_n|$ is convergent, $
\sum_{n=1}^{\infty} x_n$ is absolutely convergent. Else $
\sum_{n=1}^{\infty} x_n$ is a conditionally convergent.
Theorem
If a series $
sum a_n$ is absolutely convergent, then it is convergent.
Absolute Convergence and Conditional Convergence
Methods
The convergence and divergence property of $
$\sum_{n=1}^{\infty} |x_n|$ can be determined by the criterion mentioned before.
Typically, if$
$\sum_{n=1}^{\infty} |x_n|$ diverges, $
$\sum_{n=1}^{\infty} x_n$ does not necessarily diverges. \However, if the divergence property is determined by Ratio Test or Root Test, then the series$
$\sum_{n=1}^{\infty} x_n$ also diverges.That’s because these two criterion are based on the fact that the sequence is not approaches 0 $(x \rightarrow \infty)$.
Shanks Transformation
For each series $
$\sum_{n=0}^{\infty} a_n$, we can form the sequence of \partial sums
$$A_n= \sum \limits {k=0}^{n} a_n$$
and
$$S_n=\frac{A{n+1}A_(n-1)-A_n^2}{A_{n+1}+A_{n-1}-2A_n}$$
This new sequence, called the Shanks transformation of the series, will usually converge faster than the original series. It is denoted by S ($$A_n$), and works particular well on alternating series.
Function Series
Now let’s expand the concept of series to functions.
Series with Function Terms
Suppose un(x) is a function sequence with common domain E, then the sum of these infinite numbers of function terms $$u_1(x)+u_2(x)+\cdot+\cdot+\cdot+u_n(x)+\cdot+\cdot+\cdot$$ is called function series, denoted as $$
\sum_{n=1}^{\infty}u_n(x)$$
Convergence Point and Convergence Domain
Different from series of number terms, function series has the concept of convergence point and convergence domain.
Convergence Point
For a fixed $$x_0 \in E$, if the series $$
\sum_{n=1}^{\infty}u_n(x_0)$$is convergent, then we say that the function series $$
\sum_{n=1}^{\infty}u_n(x)$$ is convergent at $$x_0$.
Convergence Point and Convergence Domain
Convergence Domain
The set that includes all the convergence point of the given function series is called the convergence domain.
Power Series
Power Series is a special kind of function series.
$$
\sum_{n=0}^{\infty} a_n(x-x_0)^n= a_0+ a_1 (x-x_0)+ a_2(x-x_0)^2 + ...+a_n(x-x_0)^n+...$$
This kind of function series is called power series.
The power series $$
\sum_{n=0}^{\infty}a_n x^n$$
is absolutely convergent when $$|x| < R$, and it is divergent when $|x| > R (R > 0)$. R is called the radius of convergence.
Note: at the endpoints $x=\pm R$, the convergence and divergence property of the function series should be judged by other methods.
Radius of Convergence
Cauchy-Hadamard Theorem: for General Cases
The power series $$
\sum_{n=0}^{\infty} a_n (x-x_0)^n$$
is absolutely convergent when $$|x - x_0| < R$, and it is divergent when $|x - x_0| > R (R > 0)$.
Radius of Convergence: Cauchy Test
Cauchy Test
For the power series
$$
\sum_{n=0}^{\infty}a_n x^n$$
If
$$
mathop{lim}\limits_{n\rightarrow \infty} \sqrt[n]{|a_n|}=A$$
Then the radius of convergence of this power series is $$
frac{1}{A}$
Specially, If $A = 0$, then $R = +\infty$; if $A = +\infty$, then $R = 0$.
Radius of Convergence: d’Alembert Test
d’Alembert Test
For the power series
$$
\sum_{n=0}^{\infty}a_n x^n$$
If $$
mathop{lim}\limits_{n\rightarrow \infty} \frac{a_{n+1}}{a_n}=A$$
Then the radius of convergence of this power series is $$
frac{1}{A}$
Specially, If $A = 0$, then $R = +\infty$; if $A = +\infty$, then $R = 0$.
Properties of Power Series
Integrals Term by Term
We can take the integrals of a power series term by term, if the interval lies in its domain of convergence.
That means, if $a,b \in D $(D is the domain of convergence), then
$$
$$\int_a^b \sum_{n=0}^{\infty} a_n x^n dx=\sum_{n=0}^{\infty}\int_a^b a_n x^n dx$$
If we take $$a = 0$ and $b = x$, then
$$
$$\int_0^x \sum_{n=0}^{\infty} a_n x^n dx=\sum_{n=0}^{\infty}\frac {a_n}{n+1} x^{n+1} dx$$
Properties of Power Series
Derivatives Term by Term
Suppose the power series $$
$\sum_{n=0}^{\infty}a_n x^n$ has the radius of convergence R. Then we can take the derivatives term by term on $(−R,R)$.
$$
\frac{d}{dx}\sum_{n=0}^{\infty}a_n x^n = \sum_{n=0}^{\infty} \frac{d}{dx} a_n x^n = \sum_{n=0}^{\infty} n a_n x^{n-1}$$
$$
\frac{d}{dx}\sum_{n=0}^{\infty}a_n (x-x_0)^n = \sum_{n=0}^{\infty} \frac{d}{dx} a_n (x-x_0)^n = \sum_{n=0}^{\infty} n a_n (x-x_0)^{n-1}$$
Shift the Index of Summation
We can shift the ”starting point” of summation. General Case:
$$
\sum_{n=m}^{\infty} a_n (x-x_0)^n = \sum_{n=m+k}^{\infty} a_{n-k} (x-x_0)^{n-k}$$
$$
\sum_{n=m}^{\infty} a_n (x-x_0)^n = \sum_{n=m-k}^{\infty} a_{n+k} (x-x_0)^{n+k}$$
Taylor Expansion of Elementary Functions
$$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}=1+x+\frac{1}{2}x^3+\frac{1}{6}x^3+...,x \in R$$
$$ln(1+x)=\sum_{n=0}^{\infty}\frac{(-1)^{n-1}}{n}x^n = x-\frac{x^2}{2}+\frac{x^3}{3}-..., x \in (-1,1]$$
$$sin x =\sum_{n=0}^{\infty} \frac{(-1)^{n}}{(2n+1)!} x^{2n+1}=x -\frac{x^3}{3!} +\frac{x^5}{5!}-...,x\in R$$
$$cos x =\sum_{n=0}^{\infty} \frac{(-1)^{2n}}{(2n)!}x^{2n} = 1 - \frac{x^2}{2}+ \frac{x^4}{4!}-...,x\in R$$
$$arctan x =\sum_{n=0}^{\infty} \frac{(-1)^{n-1}}{2n-1}x^{2n-1} =x -\frac{x^3}{3}+\frac{x^5}{5}-..., x\in [-1,1]$$
$$(1+x)^\alpha = \sum_{n=0}^{\infty} \frac{(\alpha(\alpha-1)...(\alpha-n+1))}{n!} x^n$$
$$
\frac{1}{1-x}=\sum_{n=0}^{\infty} x^n = 1+x+x^2+...,x\in (-1,1)$$
$$
\frac{1}{1-x}=\sum_{n=0}^{\infty} (-1)^n x^n = 1-x+x^2-...,x\in (-1,1)$$
Ex1
Sequences and Series
Let $$a_n=\frac{2n}{3n+1}$
- Determine whether {$a_n$} is convergent.
- Determine whether $
$\sum_{n=1}^{\infty} a_n$ is convergent.
Ex2
Convergence and Divergence
Find the values of x for which the series converges. Find the sum of
the series for those values of x.
- $$
\sum_{n=0}^{\infty}(-4)^n(x-5)^n$$ - $$
\sum_{n=0}^{\infty}\frac{\sin^n x}{3^n}$$
Ex3: Integral Test
Determine whether the series is convergent or divergent
1.$$
\sum_{n=1}^{\infty} \frac{n^2}{n^3+1}$$
2.$$
\sum_{n=1}^{\infty} \frac{n}{n^4+1}$$
Ex4: Comparison Test
Determine whether the series is convergent or divergent
1.$$
\sum_{n=1}^{\infty} \frac{1}{(n^2+2n+2)^2}$$
2.$$
\sum_{n=1}^{\infty} \frac{n!}{n^n}$$
Ex5: Ratio & Root
Determine whether the series is convergent or divergent
1.$$
\sum_{n=1}^{\infty} \frac{n!}{n^n}$$
2.$$
\sum_{n=1}^{\infty} (\frac{-2n}{n+1})^{5n}$$
Ex6
- Determine the Power Series Expansion of $$f (x) = \frac{1}{3+5x-2x^2}$
at $x = 0$. - Determine the Power Series Expansion of $f (x) = ln (\frac{sinx}{x})$
at $x = 0$.
Differential Equation
Differential Equation
Definition
Equations representing the relationship between some unknown functions, the derivative of those functions and the independent variable.
Order: The order of the highest derivative of the unknown function is called the order of the differential equation.
Linear: The highest degree of the unknown function and its derivatives of any order is 1.
Generally, $n^th$ order differential equations have the form of $F(x, y, y', ....., y^{(n)}) = 0$
In Vv156, we only need to solve some special types of ODEs.
subsection {Type 1}
Type 1: y' + p(x) y = q(x)
Step1: Find the general solution to the corresponding homogeneous ode $y' + p(x)y = 0$
$$dfrac{dy}{dx} = -p(x) y$$
$$dfrac{dy}{y} = -p(x)dx$$
$ln|y| = -\int p(x)dx + c_1$
$y_g = C e^{-\int p(x)dx} (C = e^{\pm c_1})$
Type 1:$y' + p(x) y = q(x)$
Step2: Find one special solution to $y' + p(x) y = q(x)$
Variation of constants:
$Ce^{-\int p(x)dx} \rightarrow C(x)e^{-\int p(x)dx}$
$y' = C'(x)e^{-\int p(x)dx} - C(x)p(x) e^{-\int p(x)dx}$
$C'(x)e^{-\int p(x)dx} - C(x)p(x) e^{-\int p(x)dx} + C(x)p(x)e^{\int p(x)dx} = q(x)$
$C'(x)e^{-\int p(x)dx} = q(x)$
$C'(x) = q(x)e^{\int p(x)dx}$
$C(x) = \int q(x)e^{\int p(x)dx} dx + C_2$
Since we only need to find one special solution, we assume $C_2 = 0$
$y_s = e^{-\int p(x)dx}\cdot \int q(x)e^{p(x)dx} dx$
Type 1:$y' + p(x) y = q(x)$
Step 3: Combine $y_g$ and $y_s$ together
$$
y = Ce^{-\int p(x)dx} + e^{-\int p(x)dx}\cdot \int q(x)e^{p(x)dx} dx
$$
Bernoulli's equation
$$y' + p(x)y = q(x) y^n$
When $n\pm 0, 1$ the equation is not linear.
However, we can do some transformation:
- $y^{-n}\cdot y' + p(x) \cdot y^{1-n} = q(x)$
- $z = y^{1-n}$
Then, $
dfrac{dz}{dx} = (1-n)y^{-n}\dfrac{dy}{dx}$
Thus, $z' + (1-n)p(x) z = (1-n)q(x)$
which is in the form of $y' + p(x)y = q(x)$
subsection{Type 2}
Type 2: $y'' + py' + qy = f(x)$
Step 1: Find the general solution to the corresponding homogeneous ode $y'' + py' + qy = 0$
Solve the characteristic equation: $
lambda^2 + p\lambda + q = 0$
$$
\left{
\begin{aligned}
&\text{Two different real roots} \ \lambda_1, \lambda_2 \quad y_g = C_1 e^{\lambda_1 x} + C_2 e^{\lambda_2 x}
& \text{Two equal real roots} \ \lambda \quad y_g = C_1 e^{\lambda x} + C_2 xe^{\lambda x}
& \text{Two different complex roots} \ \alpha\pm \beta i \quad y_g = C_1 e^{\alpha x}\sin\beta x + C_2 e^{\alpha x}\cos\beta x
\end{aligned}
\right.
$$
Type 2: $$y'' + py' + qy = f(x)$
Step 2: Find one special solution to $y'' + py' + qy = f(x)$
In Vv156, we only have two types of $f(x)$:
- $f(x) = e^{\lambda x}P_m(x)$
- $f(x) = e^{\lambda x}[P_n(x)cos(\omega x) + P_l(x) sin(\omega x)]$
For both 1, 2, we first need to check whether $
lambda (\pm \omega i)$ is the root of the characteristic equation $
lambda^2 + p \lambda + q = 0$ or not
Type 2: $y'' + py' + qy = f(x)$
$f(x) = e^{\lambda x}P_m(x)$:
$1$ : $k$
\lambda$ is one of the different real roots of $
lambda^2 + p\lambda + q = 0$
: $1$
\lambda$ is the identical real roots of $
lambda^2 + p\lambda + q = 0$
: $2$
\lambda$ is not the real root of $
lambda^2 + p\lambda + q = 0$
: $0$
$f(x) = e^{\lambda x}[P_n(x)cos(\omega x) + P_l(x) sin(\omega x)]$:
$2$ : $k$
$$lambda \pm \omega i$$ are the complex roots of $
lambda^2 + p\lambda + q = 0$
: $1$
$$lambda \pm \omega i$$ are not the complex roots of $
lambda^2 + p\lambda + q = 0$
: $0$
Type 2: $y'' + py' + qy = f(x)$
Apply undetermined coefficient method:
- For 1: $y_s = x^k e^{\lambda x}\cdot Q_m(x) $
- For 2: $y_s = x^k e^{\lambda x}[Q_m(x)cos(\omega x) + R_m(x) sin(\omega x)]$
$(m = MAX{n ,l})$
$Q_m$ and $R_m$ are another polynomial of degree m
\ightarrow Calculate $y'_s$ and $y''_s$ to solve $Q_m$ and $R_m$
Type 2: $y'' + py' + qy = f(x)$
Step 3: Combine $y_g$ and $y_s$ together
If $f(x) = f_1(x) + ... + f_n(x)$, and $f_i(x)$ is the form of 1, 2, we can calculate $y_{si}$ separately.
Exercise
- $y' = \dfrac{y}{2x} + \dfrac{x^2}{2y}$
- $y'' + 6y' + 10y = e^{-3x}sinx$
Exercise
Solution 1:
- $y' + (-\dfrac{1}{2x})y = 0.5x^2y^{-1}$
$yy' + (-\dfrac{1}{2x})y^2 = 0.5 x^2$ - Let $z = y^2$
$$ightarrow $$
dfrac{dz}{dx} = 2y \dfrac{dy}{dx}$\ $z' - \dfrac{z}{x} = x^2$\Now $p(x) = -\dfrac{1}{x}$ $q(x) = x^2$ - Apply $y = Ce^{-\int p(x)dx} + e^{-\int p(x)dx}\cdot \int q(x)e^{p(x)dx} dx$ \We can get $z = Cx + \dfrac{1}{2}x^3$\Thus, $y = \pm \sqrt{Cx + \dfrac{1}{2}x^3}$
Exercise
Solution 2:
- $
lambda^2 + 6\lambda + 10 = 0$ \ $
lambda = -3 \pm i$ \Thus, the general solution is $y_g = e^{-3x}(C_1cosx + C_2 sinx)$ - Observe $e^{-3x}sinx$
$$ightarrow $$
lambda = -3, \omega = 1$ \ Since $-3\pm i$ are complex roots of $
lambda^2 + 6 \lambda + 10 = 0$, there is k = 1 \So $y_s = e^{-3x}x(acosx + bsinx)$\ $y'_s = e^{-3x}x[(b-3a)cosx + (-3b-a)sinx] +e^{-3x}(acosx + bsinx)$
$y''_s = e^{-3x}x[(8a - 6b)cosx + (6a + 8b)sinx] + e^{-3x}[(2b-6a)cosx - (2a + 6b)sinx]$
Since $y''+6y'+ 10y = e^{-3x}sinx$\ Check the coefficient, $a = -0.5, b = 0$\ $y_s = e^{-3x}x (-0.5cosx)$ - Combine $y_g$ and $y_s$
$y = y_g + y_s = C_1 e^{-3x}cosx + C_2 e^{-3x}sinx - 0.5 xe^{-3x}cosx$