Chapter 4: Partial Differentiation
Section 4.11: Differentiability
Example 4.11.3
Show that the first partial derivatives of the function fx,y in Table 4.11.1 are not continuous even though they are bounded.
Solution
The first partial derivatives of f, obtained in Example 4.11.1, are
fxx,y= {2⁢x⁢sin⁡1x2+y2−x⁢cos⁡1x2+y2x2+y2x,y≠0,00x,y=0,0
and
fyx,y={2⁢y⁢sin⁡1x2+y2−y⁢cos⁡1x2+y2x2+y2x,y≠0,00x,y=0,0
The following estimate shows that fxx,y is bounded.
fxx,y
=2⁢x⁢sin⁡1x2+y2−x⁢cos⁡1x2+y2x2+y2
≤2 x + xx2+y2
≤2 x + x2+y2x2+y2
=2 x+1
where the inequality x≤x2+y2 is Inequality 4 in Table 3.2.1.
The following estimate shows that fyx,y is bounded.
fyx,y
=2⁢y⁢sin1x2+y2−y⁢cos1x2+y2x2+y2
≤2 y + yx2+y2
≤2 y + x2+y2x2+y2
=2 y+1
where the inequality y≤x2+y2 is Inequality 5 in Table 3.2.1.
To show that fxx,y is discontinuous at the origin, consider its limit as x→0 along the x-axis. Since
fxx,0
=2 x sin1x2−x⁢cos⁡1x2x2
=2 x sin(1|x|)− xxcos1x
the limit of the first term is zero, but the limit of the second term does not exist because of the infinite oscillations in the cosine term. Hence, limx→0fxx,0 does not exist, so the bivariate limit as x,y→0,0 cannot exist. Hence, fxx,y is not continuous at the origin.
To show that fyx,y is discontinuous at the origin, consider its limit as y→0 along the y-axis. Since
fy0,x
=2 y sin1y2−y⁢cos1y2y2
=2 y sin1y− y|y|cos(1|y|)
the limit of the first term is zero, but the limit of the second term does not exist because of the infinite oscillations in the cosine term. Hence, limy→0fy0,y does not exist, so the bivariate limit as x,y→0,0 cannot exist. Hence, fyx,y is not continuous at the origin.
<< Previous Example Section 4.11 Next Example >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
Download Help Document