Chapter 4: Partial Differentiation
Section 4.2: Higher-Order Partial Derivatives
Essentials
Table 4.2.1 lists the four second-order partial derivatives for a function two variables. There are three common styles of notation for these derivatives, the subscript notation, the operator notation, and the D-operator notation.
Notation
Second-Order Partial Derivatives for fx,y
Subscript
fxx,fxy,fyx,fyy
Operator
∂2f∂x2,∂2f∂y ∂x,∂2f∂x ∂y,∂2f∂y2
D-operator
D1,1f,D1,2f,D2,1f,D2,2f
Table 4.2.1 Second-order partial derivatives for fx,y
For subscript notation, the lexical order of the subscripts is the order in which the derivatives are taken. Thus, in the derivative fxy, the derivative with respect to x is taken first, while the derivative with respect to y is taken second.
However, for operator notation, the operators are applied from the left, so that in the derivative ∂2f∂y ∂x, the derivative with respect to x is taken first, with the derivative with respect to y taken second. Hence
fxy=∂2f∂y ∂x and fyx=∂2f∂x ∂y
The subscripts in D-operator notation refer to the variable in that position in the argument list for the function. This, for fx,y, the subscript 1 refers to the first variable, namely, x; whereas the subscript 2 refers to the second, namely, y. Thus
D1,2f=fxy=∂2f∂y ∂x and D2,1f=fyx=∂2f∂x ∂y
At any point at which fx,y is sufficiently well behaved, the mixed partial derivatives fxy and fyx are equal. Section 4.11 explores the precise conditions under which the mixed partial derivatives are equal. Example 4.2.5 explores a function fx,y for which the mixed partials are not equal at the origin.
Table 4.2.2 lists the eight third-order partial derivatives for fx,y.
fxxx=∂3f∂x3=D1,1,1f
fyyy=∂3f∂y3=D2,2,2f
fxxy=∂3f∂y ∂x2=D1,1,2f
fxyy=∂3f∂y2 ∂x=D1,2,2f
fxyx=∂3f∂x ∂y ∂x=D1,2,1f
fyxy=∂3f∂y ∂x ∂y=D2,1,2f
fyxx=∂3f∂x2 ∂y=D2,1,1f
fyyx=∂3f∂x ∂y2=D2,2,1f
Table 4.2.2 Third-order partial derivatives for fx,y
Under the assumption of the equality of mixed partials, the following equalities hold.
fxxy=fxyx=fyxx
fxyy=fyxy=fyyx
∂3f∂y ∂x2=∂3f∂x ∂y ∂x=∂3f∂x2 ∂y
∂3f∂y2 ∂x=∂3f∂y ∂x ∂y=∂3f∂x ∂y2
D1,1,2f=D1,2,1f=D2,1,1f
D1,2,2f=D2,1,2f=D2,2,1f
The Calculus palette contains templates for both first-order and second-order partial derivatives of a function of two variables. These templates can be edited to fit other cases, and the symbol ∂, found in the Operators palette, can be used to build operator-notation templates.
Maple's D-operator acts on a function and returns derivatives as functions. Hence, parentheses are required, as in D1,2f and D1,2fx,y. In the first instance, the mixed partial fxy is returned as a function; in the second, it is evaluated at the point x,y, so is simply an expression in x and y.
Examples
For each f and a,b in Examples 4.2.(1-5), obtain all second partial derivatives, both at x,y and at a,b.
Example 4.2.1
f=x yx2+y2; a,b=2,3
Example 4.2.2
f=x−yx+y; a,b=−3,2
Example 4.2.3
f=sinx y; a,b=π/6,π/3
Example 4.2.4
f=lnx/y; a,b=2,−3
Example 4.2.5
f={x y x2−y2x2+y2x,y≠0,00x,y=0,0; a,b=0,0 (See Example 4.1.5.)
Example 4.2.6
At x,y=3,−2, obtain all third-order partial derivatives of f=x+yx−y.
<< Previous Section Table of Contents Next Section >>
© 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