Notation for differentiation

From Wikipedia, the free encyclopedia
  (Redirected from Newton's notation)
Jump to: navigation, search

In differential calculus, there is no single uniform notation for differentiation. Instead, several different notations for the derivative of a function or variable have been proposed by different mathematicians. The usefulness of each notation varies with the context, and it is sometimes advantageous to use more than one notation in a given context. The most common notations for differentiation are listed below.

Leibniz's notation[edit]

Main article: Leibniz's notation
dy
dx
d 2y
dx2


The original notation employed by Gottfried Leibniz is used throughout mathematics. It is particularly common when the equation y = f(x) is regarded as a functional relationship between dependent and independent variables y and x. In this case the derivative can be written as:

\frac{dy}{dx}

The function whose value at x is the derivative of f at x is therefore written

\frac{d\bigl(f(x)\bigr)}{dx}\text{ or }\frac{d}{dx}\bigl(f(x)\bigr)

(although strictly speaking this denotes the variable value of the derivative function rather than the derivative function itself).

Higher derivatives are expressed as

\frac{d^ny}{dx^n},\quad\frac{d^n\bigl(f(x)\bigr)}{dx^n},\text{ or }\frac{d^n}{dx^n}\bigl(f(x)\bigr)

for the nth derivative of y = f(x). Historically, this came from the fact that, for example, the third derivative is:

\frac{d \Bigl(\frac{d \left( \frac{d y} {dx}\right)} {dx}\Bigr)} {dx} = \left(\frac{d}{dx}\right)^3 \bigl(f(x)\bigr)

which we can loosely write (dropping the brackets in the denominator) as:

 \frac{d^3}{\left(dx\right)^3} \bigl(f(x)\bigr)=\frac{d^3}{dx^3} \bigl(f(x)\bigr)

as above.

With Leibniz's notation, the value of the derivative of y at a point x = a can be written in two different ways:

\frac{dy}{dx}\left.{\!\!\frac{}{}}\right|_{x=a} = \frac{dy}{dx}(a).

Leibniz's notation allows one to specify the variable for differentiation (in the denominator). This is especially helpful when considering partial derivatives. It also makes the chain rule easy to remember and recognize:

\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.

In the formulation of calculus in terms of limits, the du symbol has been assigned various meanings by various authors.

Some authors do not assign a meaning to du by itself, but only as part of the symbol du/dx.

Others define dx as an independent variable, and use d(x + y) = dx + dy and d(x·y) = dx·y + x·dy as formal axioms for differentiation. See differential algebra.

In non-standard analysis du is defined as an infinitesimal.

It is also interpreted as the exterior derivative du of a function u.

Lagrange's notation[edit]

f ʹ(x)  f ʺ(x)

One of the most common modern notations for differentiation is due to Joseph Louis Lagrange and uses the prime mark: the first three derivatives of f are denoted

f'\; for the first derivative,
f''\; for the second derivative,
f'''\; for the third derivative.

After this, some authors continue by employing Roman numerals such as f IV for the fourth derivative of f, while others put the ordinal of the derivative in parentheses, so that the fourth derivative of f would be denoted f (4). The latter notation extends readily to any number of derivatives, so that the nth derivative of f is denoted f (n).

Euler's notation[edit]

Dx y D2f

Euler's notation uses a differential operator, denoted as D, which is prefixed to the function so that the derivatives of a function f are denoted by

Df \; for the first derivative,
D^2f \; for the second derivative, and
D^nf \; for the nth derivative, for any positive integer n.

When taking the derivative of a dependent variable y = f(x) it is common to add the independent variable x as a subscript to the D notation, leading to the alternative notation

D_x y \; for the first derivative,
D^2_x y\; for the second derivative, and
D^n_x y \; for the nth derivative, for any positive integer n.

If there is only one independent variable present, the subscript to the operator is usually dropped, however.

Euler's notation is useful for stating and solving linear differential equations, as it simplifies presentation of the differential equation, which can make seeing the essential elements of the problem easier.

Newton's notation[edit]

ẋ ẍ

Newton's notation for differentiation (also called the dot notation for differentiation) requires placing a dot over the dependent variable and is often used for time derivatives such as velocity

\dot{y} = \frac{dy}{dt} \,,

acceleration

\ddot{y} = \frac{d^2y}{dt^2} \,,

and so on. It can also be used as a direct substitute for the prime in Lagrange's notation. Again this is common for functions f(t) of time. Newton referred to this as a fluxion.[1]

Newton's notation is mainly used in mechanics, physics, and the theory of ordinary differential equations. It is usually only used for first and second derivatives, and then, only to denote derivatives with respect to time.

Dot notation is not very useful for higher-order derivatives, but in mechanics and other engineering fields, the use of higher than second-order derivatives is limited.

In physics, macroeconomics and other fields, Newton's notation is used mostly for time derivatives, as opposed to slope or position derivatives.

Newton did not develop a standard mathematical notation for integration but used many different notations.

Partial derivatives[edit]

fx  fxy

When more specific types of differentiation are necessary, such as in multivariate calculus or tensor analysis, other notations are common.

For a function f(x), we can express the derivative using subscripts of the independent variable:

f_x = \frac{df}{dx}
f_{x x} = \frac{d^2f}{dx^2}.

This is especially useful for taking partial derivatives of a function of several variables.

∂f
∂x

Partial derivatives will generally be distinguished from ordinary derivatives by replacing the differential operator d with a "" symbol. For example, we can indicate the partial derivative of f(x,y,z) with respect to x, but not to y or z in several ways:

\frac{\partial f}{\partial x} = f_x = \partial_x f = \partial^x f,

where the final two notations are equivalent in flat Euclidean Space but are different in other manifolds.

Other generalizations of the derivative can be found in various subfields of mathematics, physics, and engineering. One example is the use the nabla operator using subscripts to indicate the variables with respect to which the function is being derived:

\nabla_t f = \frac{\partial f}{\partial t}.

Notation in vector calculus[edit]

Vector calculus concerns differentiation and integration of vector or scalar fields particularly in a three-dimensional Euclidean space, and uses specific notations of differentiation. In a Cartesian coordinate o-xyz, assuming a vector field A is \mathbf{A} = (\mathbf{A}_x, \mathbf{A}_y, \mathbf{A}_z), and a scalar field \varphi is \varphi = f(x,y,z)\,.

First, a differential operator, or a Hamilton operator which is called del is symbolically defined in the form of a vector,

\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right),

where the terminology symbolically reflects that the operator ∇ will also be treated as an ordinary vector.

φ
  • Gradient: The gradient \mathrm{grad\,} \varphi\, of the scalar field \varphi is a vector, which is symbolically expressed by the multiplication of ∇ and scalar field \varphi,
 \mathrm{grad\,}\,\varphi = \left( \frac{\partial \varphi}{\partial x}, \frac{\partial \varphi}{\partial y}, \frac{\partial \varphi}{\partial z} \right),
= \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right) \varphi,
= \nabla \varphi,
∇∙A
  • Divergence: The divergence \mathrm{div}\,\mathbf{A}\, of the vector field A is a scalar, which is symbolically expressed by the dot product of ∇ and the vector A,
 \mathrm{div\,} \mathbf{A} =  {\partial A_x \over \partial x} +  {\partial A_y \over \partial y} + {\partial A_z \over \partial z},
= \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z} \right)  \cdot \mathbf{A},
 = \nabla \cdot \mathbf{A}.
2φ
  • Laplacian: The Laplacian \mathrm{div} \, \mathrm{grad} \, \varphi\, of the scalar field \varphi is a scalar, which is symbolically expressed by the scalar multiplication of ∇2 and the scalar field φ,
\mathrm{div} \, \mathrm{grad} \, \varphi\,  = \nabla \cdot (\nabla \varphi)
 = (\nabla \cdot \nabla) \varphi = \nabla^2 \varphi = \Delta \varphi,
where, \Delta = \nabla^2 is called a Laplacian operator.
∇×A
  • Rotation: The rotation \mathrm{curl}\,\mathbf{A}\,, or \mathrm{rot}\,\mathbf{A}\,, of the vector field A is a vector, which is symbolically expressed by the cross product of ∇ and the vector A,
 \mathrm{curl}\,\mathbf{A} = \left(  {\partial A_z \over {\partial y} }  - {\partial A_y \over {\partial z} }, {\partial A_x \over {\partial z} } - {\partial A_z \over {\partial x} }, {\partial A_y \over {\partial x} } - {\partial A_x \over {\partial y} }  \right),
= \left( {\partial A_z \over {\partial y} }  - {\partial A_y \over {\partial z} } \right) \mathbf{i} + \left( {\partial A_x \over {\partial z} } - {\partial A_z \over {\partial x} } \right) \mathbf{j} + \left( {\partial A_y \over {\partial x} } - {\partial A_x \over {\partial y} }  \right) \mathbf{k},
=
\begin{vmatrix}
 \mathbf{i} & \mathbf{j} & \mathbf{k} \\[5pt]
 \cfrac{\partial}{\partial x} & \cfrac{\partial}{\partial y} & \cfrac{\partial}{\partial z} \\[12pt]
 A_x & A_y & A_z
\end{vmatrix},
= \nabla \times \mathbf{A}.

Many symbolic operations of derivatives can be generalized in a straightforward manner by the gradient operator in Cartesian coordinates. For example, the single-variable product rule has a direct analogue in the multiplication of scalar fields by applying the gradient operator, as in

(f g)' = f' g+f g' ~~~ \Longrightarrow ~~~ \nabla(\phi \psi) = (\nabla \phi) \psi + \phi (\nabla \psi).

Further notations have been developed for more exotic types of spaces. For calculations in Minkowski space, the D'Alembert operator, also called the D'Alembertian, wave operator, or box operator is represented as \Box, or as \Delta when not in conflict with the symbol for the Laplacian.

See also[edit]

References[edit]

  1. ^ Article 567 in Florian Cajori, A History of Mathematical Notations, Dover Publications, Inc. New York. ISBN 0-486-67766-4

External links[edit]