W5L2 Updated Complete
W5L2 Updated Complete
Week 5 Lecture 2
Haotian Wu
2023 Semester 1
Lecture plan
Last time:
• Derivative
f (a+h) f (a)
- definition: f 0 (a) = lim h provided the limit exists
h!0
_Y=ti×
Today: t '"
,
• Di↵erentiation rules:
- basic rules
a
- chain rule
• Implicit di↵erentiation
- di↵erentiating inverse functions
- logarithmic di↵erentiation
• Mean Value Theorem
Higher order derivatives
• Notation: ④
3
✓ ◆ fix ) ✗ =
f- ( , 3×2
dx dx dx dx × =
✓ ✓ ◆◆
d 00 d d d d3 "
f- Ix ) bx =
.. " '
. f- ex , 0 =
d n
:
nth order is
f (n) (x) = n f (x) (di↵erentiate n times)
dx f (
" '
0
×, =
for all h
> 4
,
Di↵erentiation rules
f (x) f 0 (x)
xn nxn 1
sin x cos x
cos x sin x
ex ex
1
ln x x
sinh x cosh x
cosh x sinh x
Di↵erentiation rules
I }
'
If g)
-
= f -
g
2. (f + g)0 (x) = f 0 (x) + g 0 (x)
.
'
✓ ◆0 counterexample : ( 1.x ) = I
f f 0 (x)g(x) f (x)g 0 (x) *
4. (Quotient rule) (x) = (g(x) 6= 0)
g g(x)2 III. 1×11--0-1=0
a-
&
dy dy du
(chain rule)
dx
=
du dx
=
thy)%u )
✗
¥ 1- 1) ✓ v1
' '
(E) 4- 1) u
'
"
+
Luv 1) ii. V + u
-
. .
= =
.
=
wvjz . ""
ex Di↵erentiate (a) tan x (b) x ln(x3 )
u
✗
(a)
dalton ) =
£1"÷÷ ) ivj
Tv
=
Gs×ws×[,±n✗tsi
=
""j = ¥ = seix .
-1×1-4×1 = see ✗ .
"
"
'
'
(b) ( ✗ lnlx )
?
) =
(x ) 'hl✗3 ) 1- ✗ .
Unix 's )
= t.hu )
}
+ ✗ .
.
3×2
= b. 1×31+3
= 3 lnx 1- 3
3×4×5
'
Or ,
( ✗ hix } ) ) = (
'
= 3 ( ✗ tax )
=3 ( I -
tax 1- ✗ .
)
=
34×+1 ) %
ex Prove the product rule (f g)0 = f 0 g + f g 0 by definition of derivative.
Proof:
-
0 (f g)(x + h) (f g)(x) g
(f g) (x) = lim
h!0 h
f (x + h)g(x + h) f (x)g(x)
= lim
h!0 h
f (x + h)g(x + h) f (x + h)g(x) + f (x + h)g(x) - f (x)g(x)
= lim mm m m mm
h!0
✓ h ◆
g(x + h) g(x) f (x + h) f (x)
h!0 ☐☐
= lim f (x + h) ·
h
+
☐ h
· g(x +
= h)
P I
g differentiable ⇤
f differentiable fits him f- Ixth ) =
fix )
h→o
Implicit di↵erentiation
p
• An equation like y= 1 x2 is explicit.
• We can di↵erentiate both sides of this equation directly to find dy
dx :
dy d 1 x
= (1 x2 )1/2 = (1 x2 ) 1/2
( 2x) = x(1 x2 ) 1/2
= p
dx dx 2 1 x2
>
?
'
I
'
. .
'
1
The theory behind this is the Implicit Function Theorem, which will be discussed in MATH1023. We
don’t need all the details in MATH1021.
Implicit di↵erentiation
• In the example x2 + y 2 = 1, we can solve the implicit equation for y to get y = y(x),
dy
and then calculate dx = y 0 (x).
1.0
0.5
0.0
easy !
-0.5
not
-1.0
I
-1.5
F (x, y) = 0.
1×2+1 )
:
= ✗ cos ( 2x ) Sinlsy )
2×+27
-
¥ = O t 1 .
cos th ) sin by )
1- ✗ .
I -
sink ) .
2) Sino y)
+ ✗ .
cos (4) .
cos ↳y) .
3¥×
.
-
.
Cos ( 2x ) sin ( by ) -
2x sink ) Sindy ) -
2x
'
Y =
ay -
(b) At ✗ =0
,
4=1 :
"
sins
✗ ( o) = .
.
.
=
-2
'
-
.
9-4 of tangent line at 10,1 ) is
Y -
I =
5¥ (✗ - o ) Y =
si¥ ✗ + I
%
Di↵erentiating inverse functions
f 0 (y)y 0 = 1,
so then
0 1
y0 = f 1
(x) = .
f 0 (f 1 (x))
T
d 1
ex Compute dx sinh x.
"
Sol Y = Sinh ✗
✗ = Sinh y
( da both sides )
I Y
' the costly -
sink 'y= ,
=
cushy
ÉÉ¥×ÑÑ
.
'
Y =
£× ×_
i. "
Sinh ✗ =
. ""
Logarithmic di↵erentiation
I try =
sent ÷
,
y
'
= silent -18¥
£ both sides
-1M¥ )
>
i. Y
'
=
Yfiht -18¥ ) =
f Is 'hf ☒
ex Let y = xx . Compute y 0 .
⑨ by =
h☒× )
£ both sides
hey = ✗ h✗
f-
'
Y =
1. hx + ✗ -
'
Y =
Ylhnxti )
' ✗
i , y =
✗ ltnxtl ) ""
.
ex Let g = (cos x)sin x . Compute g 0 .
hxercise
( )
'
"" sinxtanx
Answer : G =
cos ✗ Gsx lnlcosx ) -
.
Mean Value Theorem (MVT)2
f (b) f (a)
f 0 (c) = .
b a
• Remarks:
I
- MVT guarantees the existence of at least one c 2 (a, b) s.t.
f 0 (c) = f (b)b fa (a) .
1
1
I
I 1
I
- MVT tells you such c exists, but does not tell you the exact
I
1
:c :
value of c.
2
Not examinable in MATH1021. This Theorem will be used in Week 7 (proof of the Lagrange form of
the remainder of Taylor series) and Week 10 (proof of the Fundamental Theorem of Calculus).
Consequence of the Mean Value Theorem
• The Mean Value Theorem has many important and useful consequences. Here, we
just state and prove one of them.
⇐ )
tra
• Theorem: If f 0 (x) = 0 for all x 2 (a, b), then f is constant on (a, b).
reading
Proof: Pick any x1 , x2 2 (a, b). Without loss of generality, we can assume x1 < x2 .
Since f is di↵erentiable on (a, b) (x1 , x2 ), f is di↵erentiable on (x1 , x2 ). Then by
the Mean Value Theorem, there exists c 2 (x1 , x2 ) ⇢ (a, b) such that
f (x2 ) f (x1 )
f 0 (c) = () f (x2 ) f (x1 ) = f 0 (c)(x2 x1 ) = 0
x2 x1
since f 0 (c) = 0 by the hypothesis that f 0 (x) = 0 for all x 2 (a, b).
Therefore, f (x1 ) = f (x2 ) for any x1 , x2 2 (a, b). That is, f is constant on (a, b). ⇤
Lecture summary