General Leibniz rule

Template:Short description Template:Other uses {{#invoke:sidebar|collapsible | class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = Calculus | image = $\underset{a}{\overset{b}{\int }}{f}^{\prime }(t)dt=f(b)-f(a)$ | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = | abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• Fundamental theorem

• Limits
• Continuity

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

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = Template:Bigger | list2 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Definitions
 | content1 =

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

 | heading2 = Concepts
 | content2 =

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

 | heading3 = Rules and identities
 | content3 =

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

}}

| list3name = integral | list3title = Template:Bigger | list3 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Lists of integrals
• Integral transform
• Leibniz integral rule

| heading2 = Definitions

 | content2 =

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

 | heading3 = Integration by
 | content3 =

• 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

}}

| list4name = series | list4title = Template:Bigger | list4 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

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

 | heading2 = Convergence tests
 | content2 =

• Summand limit (term test)
• Ratio
• Root
• Integral
• Direct comparison
• 
  Limit comparison
• Alternating series
• Cauchy condensation
• Dirichlet
• Abel

}}

| list5name = vector | list5title = Template:Bigger | list5 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Gradient
• Divergence
• Curl
• Laplacian
• Directional derivative
• Identities

 | heading2 = Theorems
 | content2 =

• Gradient
• Green's
• Stokes'
• Divergence
• generalized Stokes
• Helmholtz decomposition

}}

| list6name = multivariable | list6title = Template:Bigger | list6 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Formalisms
 | content1 =

• Matrix
• Tensor
• Exterior
• Geometric

 | heading2 = Definitions
 | content2 =

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

}}

| list7name = advanced | list7title = Template:Bigger | list7 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

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

}}

| list8name = specialized | list8title = Template:Bigger | list8 =

• Fractional
• Malliavin
• Stochastic
• Variations

| list9name = miscellanea | list9title = Template:Bigger | list9 =

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

}} In calculus, the general Leibniz rule, named after Gottfried Wilhelm Leibniz, generalizes the product rule for the derivative of the product of two (which is also known as "Leibniz's rule"). It states that if $f$ and $g$ are Template:Mvar-times differentiable functions, then the product $fg$ is also Template:Mvar-times differentiable and its Template:Mvar-th derivative is given by $$(fg{)}^{(n)}=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n-k)}{g}^{(k)},$$ where $(\genfrac{}{}{0ex}{}{n}{k})=\frac{n!}{k!(n-k)!}$ is the binomial coefficient and $f^{(j)}$ denotes the jth derivative of f (and in particular $f^{(0)}=f$).

The rule can be proven by using the product rule and mathematical induction.

Second derivative

If, for example, Template:Math, the rule gives an expression for the second derivative of a product of two functions: $$(fg{)}^{″}(x)=\sum _{k=0}^2(\genfrac{}{}{0ex}{}{2}{k})f^{(2-k)}(x)g^{(k)}(x)=f^{″}(x)g(x)+2f^{\prime }(x)g^{\prime }(x)+f(x)g^{″}(x).$$

More than two factors

The formula can be generalized to the product of m differentiable functions f₁,...,f_m. $${(f_1{f}_2\cdots f_m)}^{(n)}=\sum _{k_1+k_2+\cdots +k_m=n}(\genfrac{}{}{0ex}{}{n}{k_1,k_2,\dots ,k_m})\prod _{1\le t\le m}{f}_t^{(k_t)},$$ where the sum extends over all m-tuples (k₁,...,k_m) of non-negative integers with ${\sum }_{t=1}^m{k}_t=n,$ and $$(\genfrac{}{}{0ex}{}{n}{k_1,k_2,\dots ,k_m})=\frac{n!}{k_1!k_2!\cdots k_m!}$$ are the multinomial coefficients. This is akin to the multinomial formula from algebra.

Proof

The proof of the general Leibniz ruleTemplate:Rp proceeds by induction. Let $f$ and $g$ be $n$-times differentiable functions. The base case when $n=1$ claims that: $$(fg{)}^{\prime }=f^{\prime }g+f{g}^{\prime },$$ which is the usual product rule and is known to be true. Next, assume that the statement holds for a fixed $n\ge 1,$ that is, that $$(fg{)}^{(n)}=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n-k)}{g}^{(k)}.$$

Then, $$\begin{array}{cc}(fg{)}^{(n+1)}& =\left[\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n-k)}{g}^{(k)}\right]\\ & =\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n+1-k)}{g}^{(k)}+\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n-k)}{g}^{(k+1)}\\ & =\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n+1-k)}{g}^{(k)}+\sum _{k=1}^{n+1}(\genfrac{}{}{0ex}{}{n}{k-1})f^{(n+1-k)}{g}^{(k)}\\ & =(\genfrac{}{}{0ex}{}{n}{0})f^{(n+1)}{g}^{(0)}+\sum _{k=1}^n(\genfrac{}{}{0ex}{}{n}{k})f^{(n+1-k)}{g}^{(k)}+\sum _{k=1}^n(\genfrac{}{}{0ex}{}{n}{k-1})f^{(n+1-k)}{g}^{(k)}+(\genfrac{}{}{0ex}{}{n}{n})f^{(0)}{g}^{(n+1)}\\ & =(\genfrac{}{}{0ex}{}{n+1}{0})f^{(n+1)}{g}^{(0)}+\left(\sum _{k=1}^n[(\genfrac{}{}{0ex}{}{n}{k-1})+(\genfrac{}{}{0ex}{}{n}{k})]f^{(n+1-k)}{g}^{(k)}\right)+(\genfrac{}{}{0ex}{}{n+1}{n+1})f^{(0)}{g}^{(n+1)}\\ & =(\genfrac{}{}{0ex}{}{n+1}{0})f^{(n+1)}{g}^{(0)}+\sum _{k=1}^n(\genfrac{}{}{0ex}{}{n+1}{k})f^{(n+1-k)}{g}^{(k)}+(\genfrac{}{}{0ex}{}{n+1}{n+1})f^{(0)}{g}^{(n+1)}\\ & =\sum _{k=0}^{n+1}(\genfrac{}{}{0ex}{}{n+1}{k})f^{(n+1-k)}{g}^{(k)}.\end{array}$$ And so the statement holds for Template:Nowrap and the proof is complete.

Relationship to the binomial theorem

The Leibniz rule bears a strong resemblance to the binomial theorem, and in fact the binomial theorem can be proven directly from the Leibniz rule by taking $f(x)=e^{ax}$ and $g(x)=e^{bx},$ which gives

$(a+b{)}^n{e}^{(a+b)x}=e^{(a+b)x}\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})a^{n-k}{b}^k,$

and then dividing both sides by $e^{(a+b)x}.$Template:Rp

Multivariable calculus

With the multi-index notation for partial derivatives of functions of several variables, the Leibniz rule states more generally: $${\partial }^{\alpha }(fg)=\sum _{\beta :\beta \le \alpha }(\genfrac{}{}{0ex}{}{\alpha }{\beta })({\partial }^{\beta }f)({\partial }^{\alpha -\beta }g).$$

This formula can be used to derive a formula that computes the symbol of the composition of differential operators. In fact, let P and Q be differential operators (with coefficients that are differentiable sufficiently many times) and $R=P\circ Q.$ Since R is also a differential operator, the symbol of R is given by: $$R(x,\xi )=e^{-⟨x,\xi ⟩}R(e^{⟨x,\xi ⟩}).$$

A direct computation now gives: $$R(x,\xi )=\sum _{\alpha }\frac{1}{\alpha !}{\left(\frac{\partial }{\partial \xi }\right)}^{\alpha }P(x,\xi ){\left(\frac{\partial }{\partial x}\right)}^{\alpha }Q(x,\xi ).$$

This formula is usually known as the Leibniz formula. It is used to define the composition in the space of symbols, thereby inducing the ring structure.

See also

• Derivation (differential algebra)
• Umbral calculus