Notation for differentiation

Notation of differential calculus

Part of a series of articles about

Calculus
∫ a b f ′ ( t ) d t = f ( b ) − f ( a ) {\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}

* Fundamental theorem

* Limits
* Continuity

* Rolle's theorem
* Mean value theorem
* Inverse function theorem

Differential

|  Definitions

* Derivative (generalizations)
* Differential
* infinitesimal
* of a function
* total

Concepts

* Differentiation notation
* Second derivative
* Implicit differentiation
* Logarithmic differentiation
* Related rates
* Taylor's theorem

Rules and identities

* Sum
* Product
* Chain
* Power
* Quotient
* L'Hôpital's rule
* Inverse
* General Leibniz
* Faà di Bruno's formula
* Reynolds

Integral

* Lists of integrals
* Integral transform
* Leibniz integral rule

Definitions

* Antiderivative
* Integral (improper)
* Riemann integral
* Lebesgue integration
* Contour integration
* Integral of inverse functions

Integration by

* Parts
* Discs
* Cylindrical shells
* Substitution (trigonometric, tangent half-angle, Euler)
* Euler's formula
* Partial fractions (Heaviside's method)
* Changing order
* Reduction formulae
* Differentiating under the integral sign
* Risch algorithm

Series

* Geometric (arithmetico-geometric)
* Harmonic
* Alternating
* Power
* Binomial
* Taylor

Convergence tests

* Summand limit (term test)
* Ratio
* Root
* Integral
* Direct comparison

Limit comparison
* Alternating series
* Cauchy condensation
* Dirichlet
* Abel

Vector

* Gradient
* Divergence
* Curl
* Laplacian
* Directional derivative
* Identities

Theorems

* Gradient
* Green's
* Stokes'
* Divergence
* Generalized Stokes
* Helmholtz decomposition

Multivariable

|  Formalisms

* Matrix
* Tensor
* Exterior
* Geometric

Definitions

* Partial derivative
* Multiple integral
* Line integral
* Surface integral
* Volume integral
* Jacobian
* Hessian

Advanced

* Calculus on Euclidean space
* Generalized functions
* Limit of distributions

Specialized

* Fractional
* Malliavin
* Stochastic
* Variations

Miscellanea

* Precalculus
* History
* Glossary
* List of topics
* Integration Bee
* Mathematical analysis
* Nonstandard analysis

* v
* t
* e

In differential calculus, there is no single standard notation for differentiation. Instead, several notations for the derivative of a function or a dependent variable have been proposed by various mathematicians, including Leibniz, Newton, Lagrange, and Arbogast. The usefulness of each notation depends on the context in which it is used, and it is sometimes advantageous to use more than one notation in a given context. For more specialized settings—such as partial derivatives in multivariable calculus, tensor analysis, or vector calculus—other notations, such as subscript notation or the ∇ operator are common. The most common notations for differentiation (and its opposite operation, antidifferentiation or indefinite integration) are listed below.

## Leibniz's notation

[edit]

Main article: Leibniz's notation

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. Leibniz's notation makes this relationship explicit by writing the derivative as:[1] d y d x . {\displaystyle {\frac {dy}{dx}}.} Furthermore, the derivative of f at x is therefore written  d f d x ( x )  or  d f ( x ) d x  or  d d x f ( x ) . {\displaystyle {\frac {df}{dx}}(x){\text{ or }}{\frac {df(x)}{dx}}{\text{ or }}{\frac {d}{dx}}f(x).}

Higher derivatives are written as:[2] d 2 y d x 2 , d 3 y d x 3 , d 4 y d x 4 , … , d n y d x n . {\displaystyle {\frac {d^{2}y}{dx^{2}}},{\frac {d^{3}y}{dx^{3}}},{\frac {d^{4}y}{dx^{4}}},\ldots ,{\frac {d^{n}y}{dx^{n}}}.} This is a suggestive notational device that comes from formal manipulations of symbols, as in,  d ( d y d x ) d x = ( d d x ) 2 y = d 2 y d x 2 . {\displaystyle {\frac {d\left({\frac {dy}{dx}}\right)}{dx}}=\left({\frac {d}{dx}}\right)^{2}y={\frac {d^{2}y}{dx^{2}}}.}

The value of the derivative of y at a point x = a may be expressed in two ways using Leibniz's notation:  d y d x | x = a  or  d y d x ( a ) . {\displaystyle \left.{\frac {dy}{dx}}\right|_{x=a}{\text{ or }}{\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:  d y d x = d y d u ⋅ d u d x . {\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}.}

Leibniz's notation for differentiation does not require assigning meaning to symbols such as dx or dy (known as differentials) on their own, and some authors do not attempt to assign these symbols meaning.[1] Leibniz treated these symbols as infinitesimals. Later authors have assigned them other meanings, such as infinitesimals in non-standard analysis, or exterior derivatives. Commonly, dx is left undefined or equated with  Δ x {\displaystyle \Delta x} , while dy is assigned a meaning in terms of dx, via the equation

d y = d y d x ⋅ d x , {\displaystyle dy={\frac {dy}{dx}}\cdot dx,}

which may also be written, e.g.

d f = f ′ ( x ) ⋅ d x {\displaystyle df=f'(x)\cdot dx}

(see below). Such equations give rise to the terminology found in some texts wherein the derivative is referred to as the "differential coefficient" (i.e., the coefficient of dx).

Some authors and journals set the differential symbol d in roman type instead of italic: dx. The ISO/IEC 80000 scientific style guide recommends this style.

## Lagrange's notation

[edit]

f′(x)

A function f of x, differentiated once in Lagrange's notation.

One of the most common modern notations for differentiation is named after Joseph Louis Lagrange, although it was in fact invented by Euler and popularized by the former. In Lagrange's notation, a prime mark denotes a derivative. If f is a function, then its derivative evaluated at x is written

f ′ ( x ) {\displaystyle f'(x)} .

It first appeared in print in 1749.[3]

Higher derivatives are indicated using additional prime marks, as in  f ″ ( x ) {\displaystyle f''(x)} for the second derivative and  f ‴ ( x ) {\displaystyle f'''(x)} for the third derivative. The use of repeated prime marks eventually becomes unwieldy; some authors continue by employing Roman numerals, usually in lower case,[4][5] as in

f i v ( x ) , f v ( x ) , f v i ( x ) , … , {\displaystyle f^{\mathrm {iv} }(x),f^{\mathrm {v} }(x),f^{\mathrm {vi} }(x),\ldots ,}

to denote fourth, fifth, sixth, and higher order derivatives. Other authors use Arabic numerals in parentheses, as in

f ( 4 ) ( x ) , f ( 5 ) ( x ) , f ( 6 ) ( x ) , … . {\displaystyle f^{(4)}(x),f^{(5)}(x),f^{(6)}(x),\ldots .}

This notation also makes it possible to describe the nth derivative, where n is a variable. This is written

f ( n ) ( x ) . {\displaystyle f^{(n)}(x).}

Unicode characters related to Lagrange's notation include

* U+2032 ◌′ PRIME (derivative)
* U+2033 ◌″ DOUBLE PRIME (double derivative)
* U+2034 ◌‴ TRIPLE PRIME (third derivative)
* U+2057 ◌⁗ QUADRUPLE PRIME (fourth derivative)

When there are two independent variables for a function  f ( x , y ) {\displaystyle f(x,y)} , the following notation was sometimes used:[6]

f ′ = ∂ f ∂ x = f x f ′ = ∂ f ∂ y = f y f ′ ′ = ∂ 2 f ∂ x 2 = f x x f ′ ′ = ∂ 2 f ∂ y ∂ x   = f x y f ′ ′ = ∂ 2 f ∂ y 2 = f y y {\displaystyle {\begin{aligned}f^{\prime }&={\frac {\partial f}{\partial x}}=f_{x}\\\\[5pt]f_{\prime }&={\frac {\partial f}{\partial y}}=f_{y}\\\\[5pt]f^{\prime \prime }&={\frac {\partial ^{2}f}{\partial x^{2}}}=f_{xx}\\\\[5pt]f_{\prime }^{\prime }&={\frac {\partial ^{2}f}{\partial y\partial x}}\ =f_{xy}\\\\[5pt]f_{\prime \prime }&={\frac {\partial ^{2}f}{\partial y^{2}}}=f_{yy}\end{aligned}}}

### Lagrange's notation for antidifferentiation

[edit]

f(−1)(x)
f(−2)(x)

The single and double indefinite integrals of f with respect to x, in the Lagrange notation.

When taking the antiderivative, Lagrange followed Leibniz's notation:[7]

f ( x ) = ∫ f ′ ( x ) d x = ∫ y ′ d x . {\displaystyle f(x)=\int f'(x)\,dx=\int y'\,dx.}

However, because integration is the inverse operation of differentiation, Lagrange's notation for higher order derivatives extends to integrals as well. Repeated integrals of f may be written as

f ( − 1 ) ( x ) {\displaystyle f^{(-1)}(x)} for the first integral (this is easily confused with the inverse function f − 1 ( x ) {\displaystyle f^{-1}(x)} ),
f ( − 2 ) ( x ) {\displaystyle f^{(-2)}(x)} for the second integral,
f ( − 3 ) ( x ) {\displaystyle f^{(-3)}(x)} for the third integral, and
f ( − n ) ( x ) {\displaystyle f^{(-n)}(x)} for the nth integral.

## D-notation

[edit]

Dxy
D2f

The x derivative of y and the second derivative of f, Euler notation.

This notation is sometimes called Euler's notation although it was introduced by Louis François Antoine Arbogast,[8] and it seems that Leonhard Euler did not use it.[citation needed]

This notation uses a differential operator denoted as D (D operator)[9][failed verification] or D̃ (Newton–Leibniz operator).[10] When applied to a function f(x), it is defined by

( D f ) ( x ) = d f ( x ) d x . {\displaystyle (Df)(x)={\frac {df(x)}{dx}}.}

Higher derivatives are notated as "powers" of D (where the superscripts denote iterated composition of D), as in[6]

D 2 f {\displaystyle D^{2}f} for the second derivative,
D 3 f {\displaystyle D^{3}f} for the third derivative, and
D n f {\displaystyle D^{n}f} for the nth derivative.

D-notation leaves implicit the variable with respect to which differentiation is being done. However, this variable can also be made explicit by putting its name as a subscript: if f is a function of a variable x, this is done by writing[6]

D x f {\displaystyle D_{x}f} for the first derivative,
D x 2 f {\displaystyle D_{x}^{2}f} for the second derivative,
D x 3 f {\displaystyle D_{x}^{3}f} for the third derivative, and
D x n f {\displaystyle D_{x}^{n}f} for the nth derivative.

When f is a function of several variables, it is common to use "∂", a stylized cursive lower-case d, rather than "D". As above, the subscripts denote the derivatives that are being taken. For example, the second partial derivatives of a function  f ( x , y ) {\displaystyle f(x,y)} are:[6]

∂ x x f = ∂ 2 f ∂ x 2 , ∂ x y f = ∂ 2 f ∂ y ∂ x , ∂ y x f = ∂ 2 f ∂ x ∂ y , ∂ y y f = ∂ 2 f ∂ y 2 . {\displaystyle {\begin{aligned}&\partial _{xx}f={\frac {\partial ^{2}f}{\partial x^{2}}},\\\\[5pt]&\partial _{xy}f={\frac {\partial ^{2}f}{\partial y\,\partial x}},\\\\[5pt]&\partial _{yx}f={\frac {\partial ^{2}f}{\partial x\,\partial y}},\\\\[5pt]&\partial _{yy}f={\frac {\partial ^{2}f}{\partial y^{2}}}.\end{aligned}}}

See § Partial derivatives.

D-notation is useful in the study of differential equations and in differential algebra.

### D-notation for antiderivatives

[edit]

D−1

D−2f

The x antiderivative of y and the second antiderivative of f, Euler notation.

D-notation can be used for antiderivatives in the same way that Lagrange's notation is[11] as follows[10]

D − 1 f ( x ) {\displaystyle D^{-1}f(x)} for a first antiderivative,
D − 2 f ( x ) {\displaystyle D^{-2}f(x)} for a second antiderivative, and
D − n f ( x ) {\displaystyle D^{-n}f(x)} for an nth antiderivative.

## Newton's notation

[edit]

The first and second derivatives of x, Newton's notation.

Isaac Newton's notation for differentiation (also called the dot notation, fluxions, or sometimes, crudely, the flyspeck notation[12] for differentiation) places a dot over the dependent variable. That is, if y is a function of t, then the derivative of y with respect to t is

y ˙ {\displaystyle {\dot {y}}}

Higher derivatives are represented using multiple dots, as in

y ¨ , y . . . {\displaystyle {\ddot {y}},{\overset {...}{y}}}

Newton extended this idea quite far:[13]

y ¨ ≡ d 2 y d t 2 = d d t ( d y d t ) = d d t ( y ˙ ) = d d t ( f ′ ( t ) ) = D t 2 y = f ″ ( t ) = y t ″ y . . . = y ¨ ˙ ≡ d 3 y d t 3 = D t 3 y = f ‴ ( t ) = y t ‴ y ˙ 4 = y . . . . = y ¨ ¨ ≡ d 4 y d t 4 = D t 4 y = f I V ( t ) = y t ( 4 ) y ˙ 5 = y . . . ¨ = y ¨ ¨ ˙ = y ¨ ˙ ¨ ≡ d 5 y d t 5 = D t 5 y = f V ( t ) = y t ( 5 ) y ˙ 6 = y . . . . . . ≡ d 6 y d t 6 = D t 6 y = f V I ( t ) = y t ( 6 ) y ˙ 7 = y . . . . . . ˙ ≡ d 7 y d t 7 = D t 7 y = f V I I ( t ) = y t ( 7 ) y ˙ 10 = y ¨ ¨ ¨ ¨ ¨ ≡ d 10 y d t 10 = D t 10 y = f X ( t ) = y t ( 10 ) y ˙ n ≡ d n y d t n = D t n y = f ( n ) ( t ) = y t ( n ) {\displaystyle {\begin{aligned}{\ddot {y}}&\equiv {\frac {d^{2}y}{dt^{2}}}={\frac {d}{dt}}\left({\frac {dy}{dt}}\right)={\frac {d}{dt}}{\Bigl (}{\dot {y}}{\Bigr )}={\frac {d}{dt}}{\Bigl (}f'(t){\Bigr )}=D_{t}^{2}y=f''(t)=y''_{t}\\\\[5pt]{\overset {...}{y}}&={\dot {\ddot {y}}}\equiv {\frac {d^{3}y}{dt^{3}}}=D_{t}^{3}y=f'''(t)=y'''_{t}\\\\[5pt]{\overset {\,4}{\dot {y}}}&={\overset {....}{y}}={\ddot {\ddot {y}}}\equiv {\frac {d^{4}y}{dt^{4}}}=D_{t}^{4}y=f^{\rm {IV}}(t)=y_{t}^{(4)}\\\\[5pt]{\overset {\,5}{\dot {y}}}&={\ddot {\overset {...}{y}}}={\dot {\ddot {\ddot {y}}}}={\ddot {\dot {\ddot {y}}}}\equiv {\frac {d^{5}y}{dt^{5}}}=D_{t}^{5}y=f^{\rm {V}}(t)=y_{t}^{(5)}\\\\[5pt]{\overset {\,6}{\dot {y}}}&={\overset {...}{\overset {...}{y}}}\equiv {\frac {d^{6}y}{dt^{6}}}=D_{t}^{6}y=f^{\rm {VI}}(t)=y_{t}^{(6)}\\\\[5pt]{\overset {\,7}{\dot {y}}}&={\dot {\overset {...}{\overset {...}{y}}}}\equiv {\frac {d^{7}y}{dt^{7}}}=D_{t}^{7}y=f^{\rm {VII}}(t)=y_{t}^{(7)}\\\\[5pt]{\overset {\,10}{\dot {y}}}&={\ddot {\ddot {\ddot {\ddot {\ddot {y}}}}}}\equiv {\frac {d^{10}y}{dt^{10}}}=D_{t}^{10}y=f^{\rm {X}}(t)=y_{t}^{(10)}\\\\[5pt]{\overset {\,n}{\dot {y}}}&\equiv {\frac {d^{n}y}{dt^{n}}}=D_{t}^{n}y=f^{(n)}(t)=y_{t}^{(n)}\end{aligned}}}

Unicode characters related to Newton's notation include:

* U+0307 ◌̇ COMBINING DOT ABOVE (derivative)
* U+0308 ◌̈ COMBINING DIAERESIS (double derivative)
* U+20DB ◌⃛ COMBINING THREE DOTS ABOVE (third derivative) ← replaced by "combining diaeresis" + "combining dot above".
* U+20DC ◌⃜ COMBINING FOUR DOTS ABOVE (fourth derivative) ← replaced by "combining diaeresis" twice.
* U+030D ◌̍ COMBINING VERTICAL LINE ABOVE (integral)
* U+030E ◌̎ COMBINING DOUBLE VERTICAL LINE ABOVE (second integral)
* U+25AD ▭ WHITE RECTANGLE (integral)
* U+20DE ◌⃞ COMBINING ENCLOSING SQUARE (integral)
* U+1DE0 ◌ᷠ COMBINING LATIN SMALL LETTER N (nth derivative)

Newton's notation is generally used when the independent variable denotes time. If location y is a function of t, then  y ˙ {\displaystyle {\dot {y}}} denotes velocity[14] and  y ¨ {\displaystyle {\ddot {y}}} denotes acceleration.[15] This notation is popular in physics and mathematical physics. It also appears in areas of mathematics connected with physics such as differential equations.

When taking the derivative of a dependent variable y = f(x), an alternative notation exists:[16]

y ˙ x ˙ = y ˙ : x ˙ ≡ d y d t : d x d t = d y d t d x d t = d y d x = d d x ( f ( x ) ) = D y = f ′ ( x ) = y ′ . {\displaystyle {\frac {\dot {y}}{\dot {x}}}={\dot {y}}:{\dot {x}}\equiv {\frac {dy}{dt}}:{\frac {dx}{dt}}={\frac {\frac {dy}{dt}}{\frac {dx}{dt}}}={\frac {dy}{dx}}={\frac {d}{dx}}{\Bigl (}f(x){\Bigr )}=Dy=f'(x)=y'.}

Newton developed the following partial differential operators using side-dots on a curved X ( ⵋ ). Definitions given by Whiteside are below:[17][18]

X   =   f ( x , y ) , ⋅ X   =   x ∂ f ∂ x = x f x , X ⋅   =   y ∂ f ∂ y = y f y , : X  or  ⋅ ( ⋅ X )   =   x 2 ∂ 2 f ∂ x 2 = x 2 f x x , X :  or  ( X ⋅ ) ⋅   =   y 2 ∂ 2 f ∂ y 2 = y 2 f y y , ⋅ X ⋅     =   x y ∂ 2 f ∂ x ∂ y = x y f x y , {\displaystyle {\begin{aligned}{\mathcal {X}}\ &=\ f(x,y)\,,\\\\[5pt]\cdot {\mathcal {X}}\ &=\ x{\frac {\partial f}{\partial x}}=xf_{x}\,,\\\\[5pt]{\mathcal {X}}\\!\cdot \ &=\ y{\frac {\partial f}{\partial y}}=yf_{y}\,,\\\\[5pt]\colon \\!{\mathcal {X}}\,{\text{ or }}\,\cdot \\!\left(\cdot {\mathcal {X}}\right)\ &=\ x^{2}{\frac {\partial ^{2}f}{\partial x^{2}}}=x^{2}f_{xx}\,,\\\\[5pt]{\mathcal {X}}\colon \,{\text{ or }}\,\left({\mathcal {X}}\cdot \right)\\!\cdot \ &=\ y^{2}{\frac {\partial ^{2}f}{\partial y^{2}}}=y^{2}f_{yy}\,,\\\\[5pt]\cdot {\mathcal {X}}\\!\cdot \ \ &=\ xy{\frac {\partial ^{2}f}{\partial x\,\partial y}}=xyf_{xy}\,,\end{aligned}}}

### Newton's notation for integration

[edit]

x̍x̎

The first and second antiderivatives of x, in one of Newton's notations.

Newton developed many different notations for integration in his Quadratura curvarum (1704) and later works: he wrote a small vertical bar or prime above the dependent variable (y̍ ), a prefixing rectangle (▭y), or the inclosure of the term in a rectangle (y) to denote the fluent or time integral (absement).

y = ◻ y ˙ ≡ ∫ y ˙ d t = ∫ f ′ ( t ) d t = D t − 1 ( D t y ) = f ( t ) + C 0 = y t + C 0 y ′ = ◻ y ≡ ∫ y d t = ∫ f ( t ) d t = D t − 1 y = F ( t ) + C 1 {\displaystyle {\begin{aligned}y&=\Box {\dot {y}}\equiv \int {\dot {y}}\,dt=\int f'(t)\,dt=D_{t}^{-1}(D_{t}y)=f(t)+C_{0}=y_{t}+C_{0}\\\\{\overset {\,\prime }{y}}&=\Box y\equiv \int y\,dt=\int f(t)\,dt=D_{t}^{-1}y=F(t)+C_{1}\end{aligned}}}

To denote multiple integrals, Newton used two small vertical bars or primes (y̎), or a combination of previous symbols ▭y̍ y̍, to denote the second time integral (absity).

y ′ ′ = ◻ y ′ ≡ ∫ y ′ d t = ∫ F ( t ) d t = D t − 2 y = g ( t ) + C 2 {\displaystyle {\overset {\,\prime \prime }{y}}=\Box {\overset {\,\prime }{y}}\equiv \int {\overset {\,\prime }{y}}\,dt=\int F(t)\,dt=D_{t}^{-2}y=g(t)+C_{2}}

Higher order time integrals were as follows:[19]

y ′ ′ ′ = ◻ y ′ ′ ≡ ∫ y ′ ′ d t = ∫ g ( t ) d t = D t − 3 y = G ( t ) + C 3 y ′ ′ ′ ′ = ◻ y ′ ′ ′ ≡ ∫ y ′ ′ ′ d t = ∫ G ( t ) d t = D t − 4 y = h ( t ) + C 4 y ′ n = ◻ y ′ n − 1 ≡ ∫ y ′ n − 1 d t = ∫ s ( t ) d t = D t − n y = S ( t ) + C n {\displaystyle {\begin{aligned}{\overset {\,\prime \prime \prime }{y}}&=\Box {\overset {\,\prime \prime }{y}}\equiv \int {\overset {\,\prime \prime }{y}}\,dt=\int g(t)\,dt=D_{t}^{-3}y=G(t)+C_{3}\\\\{\overset {\,\prime \prime \prime \prime }{y}}&=\Box {\overset {\,\prime \prime \prime }{y}}\equiv \int {\overset {\,\prime \prime \prime }{y}}\,dt=\int G(t)\,dt=D_{t}^{-4}y=h(t)+C_{4}\\\\{\overset {\;n}{\overset {\,\prime }{y}}}&=\Box {\overset {\;n-1}{\overset {\,\prime }{y}}}\equiv \int {\overset {\;n-1}{\overset {\,\prime }{y}}}\,dt=\int s(t)\,dt=D_{t}^{-n}y=S(t)+C_{n}\end{aligned}}}

This mathematical notation did not become widespread because of printing difficulties[Citation needed] and the Leibniz–Newton calculus controversy.

## Partial derivatives

[edit]

fxfxy

A function f differentiated against x, then against x and y.

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

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

f x = d f d x f x x = d 2 f d x 2 . {\displaystyle {\begin{aligned}f_{x}&={\frac {df}{dx}}\\\\[5pt]f_{xx}&={\frac {d^{2}f}{dx^{2}}}.\end{aligned}}}

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

⁠∂f/∂x⁠

A function f differentiated against x.

Partial derivatives are generally 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:

∂ f ∂ x = f x = ∂ x f . {\displaystyle {\frac {\partial f}{\partial x}}=f_{x}=\partial _{x}f.}

What makes this distinction important is that a non-partial derivative such as  d f d x {\displaystyle \textstyle {\frac {df}{dx}}} may, depending on the context, be interpreted as a rate of change in  f {\displaystyle f} relative to  x {\displaystyle x} when all variables are allowed to vary simultaneously, whereas with a partial derivative such as  ∂ f ∂ x {\displaystyle \textstyle {\frac {\partial f}{\partial x}}} it is explicit that only one variable should vary.

Other notations can be found in various subfields of mathematics, physics, and engineering; see for example the Maxwell relations of thermodynamics. The symbol  ( ∂ T ∂ V ) S {\displaystyle \left({\frac {\partial T}{\partial V}}\right)_{\\!S}} is the derivative of the temperature T with respect to the volume V while keeping constant the entropy (subscript) S, while  ( ∂ T ∂ V ) P {\displaystyle \left({\frac {\partial T}{\partial V}}\right)_{\\!P}} is the derivative of the temperature with respect to the volume while keeping constant the pressure P. This becomes necessary in situations where the number of variables exceeds the degrees of freedom, so that one has to choose which other variables are to be kept fixed.

Higher-order partial derivatives with respect to one variable are expressed as

∂ 2 f ∂ x 2 = f x x , ∂ 3 f ∂ x 3 = f x x x , {\displaystyle {\begin{aligned}&{\frac {\partial ^{2}f}{\partial x^{2}}}=f_{xx},\\\\[5pt]&{\frac {\partial ^{3}f}{\partial x^{3}}}=f_{xxx},\end{aligned}}}

and so on. Mixed partial derivatives can be expressed as

∂ 2 f ∂ y ∂ x = f x y . {\displaystyle {\frac {\partial ^{2}f}{\partial y\,\partial x}}=f_{xy}.}

In this last case the variables are written in inverse order between the two notations, explained as follows:

( f x ) y = f x y , ∂ ∂ y ( ∂ f ∂ x ) = ∂ 2 f ∂ y ∂ x . {\displaystyle {\begin{aligned}&(f_{x})_{y}=f_{xy},\\\\[5pt]&{\frac {\partial }{\partial y}}\\!\left({\frac {\partial f}{\partial x}}\right)={\frac {\partial ^{2}f}{\partial y\,\partial x}}.\end{aligned}}}

So-called multi-index notation is used in situations when the above notation becomes cumbersome or insufficiently expressive. When considering functions on  R n {\displaystyle \mathbb {R} ^{n}} , we define a multi-index to be an ordered list of  n {\displaystyle n} non-negative integers:  α = ( α 1 , … , α n ) ,   α i ∈ Z ≥ 0 {\displaystyle \alpha =(\alpha _{1},\ldots ,\alpha _{n}),\ \alpha _{i}\in \mathbb {Z} _{\geq 0}} . We then define, for  f : R n → X {\displaystyle f:\mathbb {R} ^{n}\to X} , the notation

∂ α f = ∂ α 1 ∂ x 1 α 1 ⋯ ∂ α n ∂ x n α n f {\displaystyle \partial ^{\alpha }f={\frac {\partial ^{\alpha _{1}}}{\partial x_{1}^{\alpha _{1}}}}\cdots {\frac {\partial ^{\alpha _{n}}}{\partial x_{n}^{\alpha _{n}}}}f}

In this way some results (such as the Leibniz rule) that are tedious to write in other ways can be expressed succinctly -- some examples can be found in the article on multi-indices.[20]

## Notation in vector calculus

[edit]

Vector calculus concerns differentiation and integration of vector or scalar fields. Several notations specific to the case of three-dimensional Euclidean space are common.

Assume that (x, y, z) is a given Cartesian coordinate system, that A is a vector field with components  A = ( A x , A y , A z ) {\displaystyle \mathbf {A} =(A_{x},A_{y},A_{z})} , and that  φ = φ ( x , y , z ) {\displaystyle \varphi =\varphi (x,y,z)} is a scalar field.

The differential operator introduced by William Rowan Hamilton, written ∇ and called del or nabla, is symbolically defined in the form of a vector,

∇ = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) , {\displaystyle \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 of the scalar field φ.

* Gradient: The gradient  g r a d φ {\displaystyle \mathrm {grad\,} \varphi } of the scalar field  φ {\displaystyle \varphi } is a vector, which is symbolically expressed by the multiplication of ∇ and scalar field  φ {\displaystyle \varphi } ,

grad ⁡ φ = ( ∂ φ ∂ x , ∂ φ ∂ y , ∂ φ ∂ z ) = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) φ = ∇ φ {\displaystyle {\begin{aligned}\operatorname {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 \end{aligned}}}

∇∙A

The divergence of the vector field A.

* Divergence: The divergence  d i v A {\displaystyle \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,

div ⁡ A = ∂ A x ∂ x + ∂ A y ∂ y + ∂ A z ∂ z = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) ⋅ A = ∇ ⋅ A {\displaystyle {\begin{aligned}\operatorname {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} \end{aligned}}}

∇2φ

The Laplacian of the scalar field φ.

* Laplacian: The Laplacian  div ⁡ grad ⁡ φ {\displaystyle \operatorname {div} \operatorname {grad} \varphi } of the scalar field  φ {\displaystyle \varphi } is a scalar, which is symbolically expressed by the scalar multiplication of ∇2 and the scalar field φ,

div ⁡ grad ⁡ φ = ∇ ⋅ ( ∇ φ ) = ( ∇ ⋅ ∇ ) φ = ∇ 2 φ = Δ φ {\displaystyle {\begin{aligned}\operatorname {div} \operatorname {grad} \varphi &=\nabla \cdot (\nabla \varphi )\\\&=(\nabla \cdot \nabla )\varphi \\\&=\nabla ^{2}\varphi \\\&=\Delta \varphi \\\\\end{aligned}}}

∇×A

The curl of vector field A.

* Rotation: The rotation  c u r l A {\displaystyle \mathrm {curl} \,\mathbf {A} } , or  r o t A {\displaystyle \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,

curl ⁡ A = ( ∂ A z ∂ y − ∂ A y ∂ z , ∂ A x ∂ z − ∂ A z ∂ x , ∂ A y ∂ x − ∂ A x ∂ y ) = ( ∂ A z ∂ y − ∂ A y ∂ z ) i + ( ∂ A x ∂ z − ∂ A z ∂ x ) j + ( ∂ A y ∂ x − ∂ A x ∂ y ) k = | i j k ∂ ∂ x ∂ ∂ y ∂ ∂ z A x A y A z | = ∇ × A {\displaystyle {\begin{aligned}\operatorname {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} \\\\{\cfrac {\partial }{\partial x}}&{\cfrac {\partial }{\partial y}}&{\cfrac {\partial }{\partial z}}\\\A_{x}&A_{y}&A_{z}\end{vmatrix}}\\\&=\nabla \times \mathbf {A} \end{aligned}}}

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 ′       ⟹       ∇ ( ϕ ψ ) = ( ∇ ϕ ) ψ + ϕ ( ∇ ψ ) . {\displaystyle (fg)'=f'g+fg'~~~\Longrightarrow ~~~\nabla (\phi \psi )=(\nabla \phi )\psi +\phi (\nabla \psi ).}

Many other rules from single variable calculus have vector calculus analogues for the gradient, divergence, curl, and Laplacian.

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  ◻ {\displaystyle \Box } , or as  Δ {\displaystyle \Delta } when not in conflict with the symbol for the Laplacian.

## See also

[edit]

* Analytical Society – 19th-century British group who promoted the use of Leibnizian or analytical calculus, as opposed to Newtonian calculusPages displaying wikidata descriptions as a fallback
* Derivative – Instantaneous rate of change (mathematics)
* Fluxion – Historical mathematical concept; form of derivative
* Hessian matrix – Matrix of second derivatives
* Jacobian matrix – Matrix of partial derivatives of a vector-valued functionPages displaying short descriptions of redirect targets
* List of mathematical symbols by subject
* Operational calculus

## References

[edit]

1. ^ a b Varberg, Dale E.; Purcell, Edwin J.; Rigdon, Steven E. (2007). Calculus (9th ed.). Pearson Prentice Hall. p. 104\. ISBN 978-0131469686.
2. ^ Varberg, Purcell & Rigdon (2007), p. 125–126.
3. ^ Grosse, Johann; Breitkopf, Bernhard Christoph; Martin, Johann Christian; Gleditsch, Johann Friedrich (September 1749). "Notation for differentiation". Nova Acta Eruditorum: 512.
4. ^ Morris, Carla C. (2015-07-28). Fundamentals of calculus. Stark, Robert M., 1930-2017. Hoboken, New Jersey. ISBN 9781119015314. OCLC 893974565.`{{cite book}}`: CS1 maint: location missing publisher (link)
5. ^ Osborne, George A. (1908). Differential and Integral Calculus. Boston: D. C. Heath and co. pp. 63-65.
6. ^ a b c d The Differential and Integral Calculus (Augustus De Morgan, 1842). pp. 267-268
7. ^ Lagrange, Nouvelle méthode pour résoudre les équations littérales par le moyen des séries (1770), p. 25-26. http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=PPN308900308|LOG_0017&physid=PHYS_0031
8. ^ Cajori, Florian (1923). "The History of Notations of the Calculus". Mathematics Department, Princeton University. p. 7\. JSTOR 1967725. Retrieved 2025-01-07.
9. ^ "The D operator - Differential - Calculus - Maths Reference with Worked Examples". www.codecogs.com. Archived from the original on 2016-01-19.
10. ^ a b Weisstein, Eric W. "Differential Operator." From MathWorld\--A Wolfram Web Resource. "Differential Operator". Archived from the original on 2016-01-21. Retrieved 2016-02-07.
11. ^ Weisstein, Eric W. "Repeated Integral." From MathWorld\--A Wolfram Web Resource. "Repeated Integral". Archived from the original on 2016-02-01. Retrieved 2016-02-07.
12. ^ Zill, Dennis G. (2009). "1.1". A First Course in Differential Equations (9th ed.). Belmont, CA: Brooks/Cole. p. 3\. ISBN 978-0-495-10824-5.
13. ^ Newton's notation reproduced from:
* 1st to 5th derivatives: Quadratura curvarum (Newton, 1704), p. 7 (p. 5r in original MS: "Newton Papers : On the Quadrature of Curves". Archived from the original on 2016-02-28. Retrieved 2016-02-05.).
* 1st to 7th, nth and (n+1)th derivatives: Method of Fluxions (Newton, 1736), pp. 313-318 and p. 265 (p. 163 in original MS: "Newton Papers : Fluxions". Archived from the original on 2017-04-06. Retrieved 2016-02-05.)
* 1st to 5th derivatives : A Treatise of Fluxions (Colin MacLaurin, 1742), p. 613
* 1st to 4th and nth derivatives: Articles "Differential" and "Fluxion", Dictionary of Pure and Mixed Mathematics (Peter Barlow, 1814)
* 1st to 4th, 10th and nth derivatives: Articles 622, 580 and 579 in A History of Mathematical Notations (F .Cajori, 1929)
* 1st to 6th and nth derivatives: The Mathematical Papers of Isaac Newton Vol. 7 1691-1695 (D. T. Whiteside, 1976), pp.88 and 17
* 1st to 3rd and nth derivatives: A History of Analysis (Hans Niels Jahnke, 2000), pp. 84-85
The dot for nth derivative may be omitted (  y n {\displaystyle {\overset {\,n}{y}}} )
14. ^ Weisstein, Eric W. "Overdot." From MathWorld\--A Wolfram Web Resource. "Overdot". Archived from the original on 2015-09-05. Retrieved 2016-02-05.
15. ^ Weisstein, Eric W. "Double Dot." From MathWorld\--A Wolfram Web Resource. "Double Dot". Archived from the original on 2016-03-03. Retrieved 2016-02-05.
16. ^ Article 580 in Florian Cajori, A History of Mathematical Notations (1929), Dover Publications, Inc. New York. ISBN 0-486-67766-4
17. ^ "Patterns of Mathematical Thought in the Later Seventeenth Century", Archive for History of Exact Sciences Vol. 1, No. 3 (D. T. Whiteside, 1961), pp. 361-362,378
18. ^ S.B. Engelsman has given more strict definitions in Families of Curves and the Origins of Partial Differentiation (2000), pp. 223-226
19. ^ Newton's notation for integration reproduced from:
* 1st to 3rd integrals: Quadratura curvarum (Newton, 1704), p. 7 (p. 5r in original MS: "Newton Papers : On the Quadrature of Curves". Archived from the original on 2016-02-28. Retrieved 2016-02-05.)
* 1st to 3rd integrals: Method of Fluxions (Newton, 1736), pp. 265-266 (p. 163 in original MS: "Newton Papers : Fluxions". Archived from the original on 2017-04-06. Retrieved 2016-02-05.)
* 4th integrals: The Doctrine of Fluxions (James Hodgson, 1736), pp. 54 and 72
* 1st to 2nd integrals: Articles 622 and 365 in A History of Mathematical Notations (F .Cajori, 1929)
The nth integral notation is deducted from the nth derivative. It could be used in Methodus Incrementorum Directa & Inversa (Brook Taylor, 1715)
20. ^ Tu, Loring W. (2011). An introduction to manifolds (2 ed.). New York: Springer. ISBN 978-1-4419-7400-6. OCLC 682907530.

## External links

[edit]

* Earliest Uses of Symbols of Calculus, maintained by Jeff Miller (Archived 2020-07-26 at the Wayback Machine).

* v
* t
* e

Differential equations

Classification|

| Operations|

* Differential operator
* Notation for differentiation
* Ordinary
* Partial
* Differential-algebraic
* Integro-differential
* Fractional
* Linear
* Non-linear
* Holonomic

|

Attributes of variables|

* Dependent and independent variables
* Homogeneous
* Nonhomogeneous
* Coupled
* Decoupled
* Order
* Degree
* Autonomous
* Exact differential equation
* On jet bundles

Relation to processes|

* Difference (discrete analogue)
* Stochastic
* Stochastic partial
* Delay

Solutions|

| Existence/uniqueness|

* Picard–Lindelöf theorem
* Peano existence theorem
* Carathéodory's existence theorem
* Cauchy–Kowalevski theorem

|

Solution topics|

* Wronskian
* Phase portrait
* Phase space
* Lyapunov stability
* Asymptotic stability
* Exponential stability
* Rate of convergence
* Series solutions
* Integral solutions
* Numerical integration
* Dirac delta function

Solution methods|

* Inspection
* Substitution
* Separation of variables
* Method of undetermined coefficients
* Variation of parameters
* Integrating factor
* Integral transforms
* Euler method
* Finite difference method
* Crank–Nicolson method
* Runge–Kutta methods
* Finite element method
* Finite volume method
* Galerkin method
* Perturbation theory

Examples|

* List of named differential equations
* List of linear ordinary differential equations
* List of nonlinear ordinary differential equations
* List of nonlinear partial differential equations

Mathematicians|

* Isaac Newton
* Gottfried Wilhelm Leibniz
* Leonhard Euler
* Jacob Bernoulli
* Émile Picard
* Józef Maria Hoene-Wroński
* Ernst Lindelöf
* Rudolf Lipschitz
* Joseph-Louis Lagrange
* Augustin-Louis Cauchy
* John Crank
* Phyllis Nicolson
* Carl David Tolmé Runge
* Martin Kutta
* Sofya Kovalevskaya

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template