Chapter 4: Partial Differentiation
Section 4.1: First-Order Partial Derivatives
|
Essentials
|
|
|
What is a Partial Derivative?
|
|
•
|
For the function , the first partial derivative with respect to is the rate of change of along the cross section . On this cross section, is held constant, and the derivative of is taken with respect to . See Figure 4.1.1.
|
•
|
For the function , the first partial derivative with respect to is the rate of change of along the cross section . On this cross section, is held constant, and the derivative of is taken with respect to . See Figure 4.1.2.
|
=
=
|
Figure 4.1.1 First partial with respect to : Slope of the tangent line along cross section
|
|
|
|
=
=
|
Figure 4.1.2 First partial with respect to : Slope of the tangent line along cross section
|
|
|
|
|
|
Table 4.1.1 contains the formal definitions for the first partial derivatives of , and uses the subscript notations and , to denote the first partials with respect to and , respectively.
|
|
Table 4.1.1 Formal definitions of the first partial derivatives with respect to and
|
|
|
|
|
Notations for First-Order Partial Derivatives
|
|
•
|
Recall the two most prevalent notations for ordinary derivatives, listed in Table 4.1.2.
|
Leibniz
|
Newton
|
|
|
Table 4.1.2 Notations for ordinary derivatives
|
|
|
•
|
The advantage of the Newtonian notation is that a derivative, evaluated at , can easily be expressed as , whereas in the notation of Leibniz, it becomes the much more involved . Much the same issues prevail for the three common notations used for partial derivatives.
|
•
|
The operator of Leibniz becomes for partial differentiation. The prime of Newtonian notation becomes the subscript seen in Table 4.1.1. And then there's the -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
|
at
|
Leibniz
|
and
|
and
|
D-operator
|
and
|
and
|
Subscript
|
and
|
and
|
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 . The first variable is the first argument, here ; the second, is the second argument, here .
|
•
|
Sometimes the Leibniz usage is abused when evaluating at a point by writing . In a certain sense, if it is clear that is really a function of and , and that 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, is the name of an expression in the variables and and is the name of a function of and .
|
Mathematical
Notation
|
Maple Implementation
|
Comments
|
Expressions
|
|
|
Type the diff command.
|
|
•
|
Calculus palette: Partial derivative operator
(Template must be used - will not work.)
|
|
Context Panel (for the expression):
Differentiate≻With Respect To≻
|
|
Functions
|
|
|
•
|
Type the diff command.
(Arguments of must be included.)
|
|
|
•
|
Calculus palette: Partial derivative operator
|
•
|
(Template must be used - will not work; arguments of must be included.)
|
|
Context Panel (for the name ):
Differentiate≻Parameter 1
|
•
|
The result is a function, not an expression.
|
|
|
•
|
The subscript must be a table-index, not a literal.
|
•
|
The subscript 1 refers to the first argument of ;
a subscript of 2 would refer to the second.
|
•
|
The result is a function, not an expression.
|
|
|
•
|
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 .
Mathematical
Notation
|
Maple Implementation
|
Comments
|
Expressions
|
|
|
|
|
•
|
Expression palette: Evaluation template
|
•
|
Calculus palette:
Partial-derivative operator
|
|
•
|
Context Panel (for the expression): Differentiate≻With Respect To≻
|
•
|
Context Panel: Evaluate at a Point≻
|
|
|
|
•
|
Context Panel: Assign Function
|
|
Functions
|
|
|
|
|
•
|
Expression palette: Evaluation template
|
•
|
Calculus palette:
Partial-derivative operator
|
|
|
•
|
The subscript must be a table-index, not a literal, that is, not an Atomic Identifier.
|
|
|
|
•
|
Context Panel: Assign to a Name≻g__x
(The double underscore creates the function name 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 and as sufficiently distinct for these purposes. Hence, if the names are to be related, as in and , then the subscripted name has to be an Atomic Identifier. It would "work" to use for the function (or expression) and for the derivative, without making 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 and in Examples 4.1.(1-5), obtain and both at and at .
Example 4.1.1
|
;
|
Example 4.1.2
|
;
|
Example 4.1.3
|
;
|
Example 4.1.4
|
;
|
Example 4.1.5
|
;
|
|
|
|
<< 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
|