2060A Ex 1 2019
2060A Ex 1 2019
2060A Ex 1 2019
Supplementary Exercises
2. Find (a) the maximal domain on which the function is well-defined, (b) the domain on
which it is continuous and (c) the domain on which it is differentiable in each of the
following cases. Justify your answer in (c).
3. Find a function which is not differentiable exactly at the following points on (−∞, ∞) in
each of the following cases:
0 f (c + h) − f (c − h)
fs (c) = lim
h→0 2h
0 0 0
exists. Show that fs (c) = f (c) if the latter exists. But fs (c) may exist even though f is
not differentiable at c. Can you give an example?
It follows that
|f (x) − f (x0 ) − f 0 (x0 )(x − x0 )| ≤ |x − x0 | ,
for all x ∈ (x0 − δ1 , x0 + δ1 ). Therefore,
Then,
|f (x) − f (x0 )| ≤ ε, ∀x ∈ (x0 − δ, x0 + δ) ,
done.
In our text book, there is a short proof based on the Limit Theorem. Here we show how to use
the ε − δ argument to the same effect.
There are plenty examples showing continuity does not imply differentiability. Some typical
examples were discussed in class, including the following three:
• The function f (x) = |x| is not differentiable at x0 = 0. (Reason: The left derivative and
right derivative at 0, although exist, do not match.)
• The function h(x) = x sin 1/x (and set h(0) = 0) is not differentiable at x0 = 0. (Reason:
The difference quotient does not converge due to rapid oscillation.)
Spring 2019 MATH2060A 3
Elementary Functions
Here we summarize the formulas of derivatives of elementary functions and outline how they are
proved.
(1) Polynomials
1
(ex )0 = ex , ∀x ∈ R, (log x)0 =
, ∀x > 0.
x
The exponential function is defined and differentiable on (−∞, ∞) and the logarithmic function
is defined and differentiable on (0, ∞).
Proof of (3) By the inverse rule and chain rule. When α = 1/n, n ≥ 1, x1/n is the inverse func-
tion of xn for x > 0. When α = p/q, p, q > 0, recall that xα = xp/q = (x1/q )p = (xp )1/q . When
p < 0, q > 0, recall that xα = 1/(x1/q )−p . Later we will extend this formula to all non-zero real
number α after the meaning of xα for irrational α is given.
Proof of (4) You may take the first formula for granted. It will be proved after the “ultimate”
definition of the exponential function is introduced in a later chapter. The second formula fol-
lows from the first one by the inverse rule.
Proof of (5) You may take this for granted or follow my formal proof in class. They will be
proved once more after the “ultimate” definition of the sine and cosine functions is introduced
in a later chapter.
Derivatives of many functions can be computed using the formulas in (1) to (6) together with
linearity, the product, quotient, chain and inverse rules.