Chapter 4: Partial Differentiation
Section 4.1: First-Order Partial Derivatives
Essentials
What is a Partial Derivative?
For the function fx,y, the first partial derivative with respect to x is the rate of change of f along the cross section y=c. On this cross section, y is held constant, and the derivative of f is taken with respect to x. See Figure 4.1.1.
For the function fx,y, the first partial derivative with respect to y is the rate of change of f along the cross section x=c. On this cross section, x is held constant, and the derivative of f is taken with respect to y. See Figure 4.1.2.
x = =
Figure 4.1.1 First partial with respect to x: Slope of the tangent line along cross section y=c
y = =
Figure 4.1.2 First partial with respect to y: Slope of the tangent line along cross section x=c
Table 4.1.1 contains the formal definitions for the first partial derivatives of fx,y, and uses the subscript notations fx and fy, to denote the first partials with respect to x and y, respectively.
fxx,y=limh→0fx+h,y−fx,yh
fyx,y=limk→0fx,y+k−fx,yk
Table 4.1.1 Formal definitions of the first partial derivatives with respect to x and y
Notations for First-Order Partial Derivatives
Recall the two most prevalent notations for ordinary derivatives, listed in Table 4.1.2.
Leibniz
Newton
dfdx
f′x
Table 4.1.2 Notations for ordinary derivatives
The advantage of the Newtonian notation is that a derivative, evaluated at x=a, can easily be expressed as f′a, whereas in the notation of Leibniz, it becomes the much more involved dfdxx=a|f(x)a=a. Much the same issues prevail for the three common notations used for partial derivatives.
The ddx operator of Leibniz becomes ∂∂x for partial differentiation. The prime of Newtonian notation becomes the subscript seen in Table 4.1.1. And then there's the D-operator notation, an alternate form of the Leibniz notation. Of the three, once again the Newtonian notation is the clearest and most compact for expressing the evaluation of a partial derivative at some fixed point. Table 4.1.3 clarifies these issues.
Notation
at x,y
at x,y=a,b
∂f∂x and ∂f∂y
∂f∂xx=a|f(x)x,y=a,b and ∂f∂yx=a|f(x)x,y=a,b
D-operator
D1f and D2f
D1fx=a|f(x)x,y=a,b and D2fx=a|f(x)x,y=a,b
Subscript
fx and fy
fxa,b and fya,b
Table 4.1.3 Notations for first partial derivatives
The subscripts 1 and 2 on the D-operator refer to the "first" and "second" variables, respectively, in the definition of the function fx,y. The first variable is the first argument, here x; the second, is the second argument, here y.
Sometimes the Leibniz usage is abused when evaluating at a point by writing ∂∂xfa,b. In a certain sense, if it is clear that f is really a function of x and y, and that a,b is a point of evaluation, then it is possible to allow this notation to mean "first differentiate, then evaluate." However, this ambiguity will not appear in the remainder of this work. The alert reader will already realize there is a bias towards the subscript notation, which will be even more apparent throughout the remainder of this work.
First-Order Partial Derivatives in Maple
All derivatives in Maple are partial derivatives! The underlying diff command differentiates an expression with respect to a stated variable, holding all other variables constant. The D-operator uses a numeric subscript to indicate the variable of differentiation, and again, holds all other variables constant.
However, there are several options for obtaining a partial derivative in a syntax-free way. All these possibilities are summarized in Table 4.1.4, where, for the sake of clarity, G is the name of an expression in the variables x and y and g is the name of a function of x and y.
Mathematical
Maple Implementation
Comments
Expressions
∂G∂x
diffG,x
Type the diff command.
∂∂ x G
Calculus palette: Partial derivative operator (Template must be used - ∂G∂x will not work.)
Context Panel (for the expression): Differentiate≻With Respect To≻x
Functions
∂g∂x
diffgx,y,x
Type the diff command. (Arguments of g must be included.)
∂∂ x gx,y
Calculus palette: Partial derivative operator
(Template must be used - ∂gx,y∂x will not work; arguments of g must be included.)
Context Panel (for the name g):
Differentiate≻Parameter 1
The result is a function, not an expression.
D1g
The subscript must be a table-index, not a literal.
The subscript 1 refers to the first argument of g; a subscript of 2 would refer to the second.
D1gx,y
Returns the expression for the partial derivative.
Table 4.1.4 Mathematical notation for, and Maple implementation of, first partial derivatives
Table 4.1.5 details the mathematical notation for, and Maple implementation of, partial derivatives that are to be evaluated at some point x,y=a,b.
∂G∂xx=a|f(x)x,y=a,b
evaldiffG,x,x=a,y=b
Type the eval and diff commands.
∂∂ x Gx=a|f(x)x=a,y=b
Expression palette: Evaluation template
Calculus palette: Partial-derivative operator
Context Panel: Evaluate at a Point≻x=a,y=b
Gxa,b
Gxx,y=∂∂ x G
Context Panel: Assign Function
(Twice write Gx as an Atomic Identifier.)
∂g∂xx=a|f(x)x,y=a,b
evaldiffgx,y,x,x=a,y=b
∂∂ x gx,yx=a|f(x)x=a,y=b
D1ga,b
The subscript must be a table-index, not a literal, that is, not an Atomic Identifier.
gxa,b
Context Panel: Assign to a Name≻g__x (The double underscore creates the function name gx as an Atomic Identifier.)
Table 4.1.5 Evaluating partial derivatives at a point
To implement subscripts as differentiation operators, the name of the function (or expression) and the name for the derivative must be different. Maple does not see the names f and fx as sufficiently distinct for these purposes. Hence, if the names are to be related, as in f and fx, then the subscripted name has to be an Atomic Identifier. It would "work" to use f for the function (or expression) and F for the derivative, without making F an Atomic Identifier, but since there are two possible first partials, a third name would be required! The use of the Atomic Identifier for the subscripted name of the function representing the partial derivative seems to be the best choice.
Examples
For each f and a,b in Examples 4.1.(1-5), obtain fx and fy both at x,y and at a,b.
Example 4.1.1
f=x siny+y sinx; a,b=π/3,π/6
Example 4.1.2
f=x y2−3 y−2; a,b=3,2
Example 4.1.3
f=sinx ycosx/y; a,b=1,−1
Example 4.1.4
f=ex2/y lny2/x; a,b=2,−2
Example 4.1.5
f={x y x2−y2x2+y2x,y≠0,00x,y=0,0; a,b=0,0
<< Chapter Overview 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