Chapter 4: Partial Differentiation
Section 4.11: Differentiability
Essentials
The function fx,y is differentiable if it has a differential.
The differential of fx,y exists if Δ f=fx+h,y+k−fx,y can be written as
Ax,y h+Bx,y k+ηh,k h2+k2
where ηh,k→0 as h,k→0,0.
If Δ f has such a representation, then it necessarily follows that A=fx and B=fy and the expression df=fxx,y dx+fyx,y dy is called the exact, or total differential of f.
Table 4.11.1 lists three functions that serve as counterexamples for clarifying the discussion of differentiability and its connection to partial derivatives and continuity.
Function
Properties
fx,y={x2+y2⁢sin⁡1x2+y2x,y≠0,00x,y=0,0)
Differentiable
First partials exist and are bounded but are not continuous
Not in class C1
gx,y={x2+y2⁢sin⁡1x2+y2x,y≠0,00x,y=0,0
First partials exist, are not bounded and are not continuous
hx,y={x⁢y⁢x2−y2x2+y2x,y≠0,00x,y=0,0
First partials exist and are continuous
Second partials exist but are not continuous
Hence, hxy0,0≠hyx0,0
In class C1 but not C2
Table 4.11.1 Three counterexamples
The Venn diagram in Figure 4.11.1 helps clarify the contrasting properties of the three functions in Table 4.11.1.
Figure 4.11.1 Venn diagram for the functions and properties in Table 4.11.1
The functions f and g are differentiable, but their first partials are not continuous, so they are not in continuity class C1. The function f is differentiable, and its first partials are continuous, so it is in continuity class C1, but not C2 because its second partials, which exist, are not continuous. Moreover, the mixed partials for this function are not equal. If C0 represents the set of continuous functions; and D, the set of differentiable ones, then Figure 4.11.1 suggests the following set inclusions: C0⊃D⊃C1⊃C2.
Table 4.11.2 states three theorems relating differentiability, continuity, and partial derivatives.
A differentiable function is continuous.
A sufficient (but not necessary) condition for differentiability is the continuity of the first partial derivatives.
A sufficient (but not necessary) condition for the equality of the mixed second partials is their continuity.
Table 4.11.2 Three theorems relating differentiability, continuity, and partial derivatives
Examples
Example 4.11.1
Show that the function fx,y in Table 4.11.1 has first partial derivatives everywhere.
Example 4.11.2
Show that the function fx,y in Table 4.11.1 has a differential at the origin, and hence, is differentiable at the origin.
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.
Example 4.11.4
Show that the function gx,y in Table 4.11.1 has first partial derivatives everywhere.
Example 4.11.5
Show that the function gx,y in Table 4.11.1 has a differential at the origin, and hence, is differentiable at the origin.
Example 4.11.6
Show that the first partial derivatives of the function gx,y in Table 4.11.1 are not bounded, and are not continuous.
Example 4.11.7
Find the first partial derivatives for the function hx,y in Table 4.11.1.
Example 4.11.8
Show that the first partial derivatives of the function hx,y in Table 4.11.1 are continuous.
Example 4.11.9
Show that the function hx,y in Table 4.11.1 has a differential at the origin, and hence is differentiable at the origin.
Example 4.11.10
Find the second partial derivatives for the function hx,y in Table 4.11.1. As a consequence of this construction, establish that hxy0,0≠hyx0,0.
<< Previous Section Table of Contents Next Chapter >>
© 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