Differentiation rules: Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Titan877
No edit summary
 
(No difference)

Latest revision as of 19:26, 28 January 2025

Template:Short description {{#invoke:sidebar|collapsible | class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = Calculus | image = abf(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 = differential | abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

Template:Startflatlist

Template:EndflatlistTemplate:Startflatlist

Template:Endflatlist

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

 |contentclass=hlist
 | heading1 = Definitions
 | content1 =
 | heading2 = Concepts
 | content2 =
 | heading3 = Rules and identities
 | content3 =
}}

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

 |contentclass=hlist
 | content1 =

| heading2 = Definitions

 | content2 =
 | heading3 = Integration by
 | content3 =
}}

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

 |contentclass=hlist
 | content1 =
 | heading2 = Convergence tests
 | content2 =
}}

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

 |contentclass=hlist
 | content1 =
 | heading2 = Theorems
 | content2 =
}}

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

 |contentclass=hlist
 | heading1 = Formalisms
 | content1 =
 | heading2 = Definitions
 | content2 =
}}

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

 |contentclass=hlist
 | content1 =
}}

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

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

}} This article is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.

Elementary rules of differentiation

Unless otherwise stated, all functions are functions of real numbers () that return real values, although, more generally, the formulas below apply wherever they are well defined,[1][2] including the case of complex numbers ().[3]

Constant term rule

For any value of c, where c, if f(x) is the constant function given by f(x)=c, then dfdx=0.[4]

Proof

Let c and f(x)=c. By the definition of the derivative: f(x)=limh0f(x+h)f(x)h=limh0(c)(c)h=limh00h=limh00=0.

This computation shows that the derivative of any constant function is 0.

Intuitive (geometric) explanation

The derivative of the function at a point is the slope of the line tangent to the curve at the point. The slope of the constant function is 0, because the tangent line to the constant function is horizontal and its angle is 0.

In other words, the value of the constant function, y, will not change as the value of x increases or decreases.

At each point, the derivative is the slope of a line that is tangent to the curve at that point. Note: the derivative at point A is positive where green and dash–dot, negative where red and dashed, and 0 where black and solid.

Differentiation is linear

Template:Main For any functions f and g and any real numbers a and b, the derivative of the function h(x)=af(x)+bg(x) with respect to x is h(x)=af(x)+bg(x).

In Leibniz's notation, this formula is written as: d(af+bg)dx=adfdx+bdgdx.

Special cases include:

  • The constant factor rule:

(af)=af,

  • The sum rule:

(f+g)=f+g,

  • The difference rule:

(fg)=fg.

Product rule

Template:Main For the functions f and g, the derivative of the function h(x)=f(x)g(x) with respect to x is: h(x)=(fg)(x)=f(x)g(x)+f(x)g(x).

In Leibniz's notation, this formula is written: d(fg)dx=gdfdx+fdgdx.

Chain rule

Template:Main The derivative of the function h(x)=f(g(x)) is: h(x)=f(g(x))g(x).

In Leibniz's notation, this formula is written as: ddxh(x)=ddzf(z)|z=g(x)ddxg(x), often abridged to: dh(x)dx=df(g(x))dg(x)dg(x)dx.

Focusing on the notion of maps, and the differential being a map D, this formula is written in a more concise way as: [D(fg)]x=[Df]g(x)[Dg]x.

Inverse function rule

Template:Main If the function f has an inverse function g, meaning that g(f(x))=x and f(g(y))=y, then: g=1fg.

In Leibniz notation, this formula is written as: dxdy=1dydx.

Power laws, polynomials, quotients, and reciprocals

Polynomial or elementary power rule

Template:Main If f(x)=xr, for any real number r0, then: f(x)=rxr1.

When r=1, this formula becomes the special case that, if f(x)=x, then f(x)=1.

Combining the power rule with the sum and constant multiple rules permits the computation of the derivative of any polynomial.

Reciprocal rule

Template:Main The derivative of h(x)=1f(x) for any (nonvanishing) function f is: h(x)=f(x)(f(x))2, wherever f is nonzero.

In Leibniz's notation, this formula is written: d(1f)dx=1f2dfdx.

The reciprocal rule can be derived either from the quotient rule or from the combination of power rule and chain rule.

Quotient rule

Template:Main If f and g are functions, then: (fg)=fggfg2, wherever g is nonzero.

This can be derived from the product rule and the reciprocal rule.

Generalized power rule

Template:Main The elementary power rule generalizes considerably. The most general power rule is the functional power rule: for any functions f and g, (fg)=(eglnf)=fg(fgf+glnf), wherever both sides are well defined.

Special cases:

  • If f(x)=xa, then f(x)=axa1 when a is any nonzero real number and x is positive.
  • The reciprocal rule may be derived as the special case where g(x)=1.

Derivatives of exponential and logarithmic functions

ddx(cax)=acaxlnc,c>0. The equation above is true for all c, but the derivative for c<0 yields a complex number.

ddx(eax)=aeax.

ddx(logcx)=1xlnc,c>1. The equation above is also true for all c but yields a complex number if c<0.

ddx(lnx)=1x,x>0.

ddx(ln|x|)=1x,x0.

ddx(W(x))=1x+eW(x),x>1e, where W(x) is the Lambert W function.

ddx(xx)=xx(1+lnx).

ddx(f(x)g(x))=g(x)f(x)g(x)1dfdx+f(x)g(x)ln(f(x))dgdx,if f(x)>0 and dfdx and dgdx exist.

ddx(f1(x)f2(x)(...)fn(x))=[k=1nxk(f1(x1)f2(x2)(...)fn(xn))]|x1=x2=...=xn=x, if fi<n(x)>0 and dfidx exists.

Logarithmic derivatives

The logarithmic derivative is another way of stating the rule for differentiating the logarithm of a function (using the chain rule): (lnf)=ff, wherever f is positive.

Logarithmic differentiation is a technique which uses logarithms and its differentiation rules to simplify certain expressions before actually applying the derivative.Template:Citation needed

Logarithms can be used to remove exponents, convert products into sums, and convert division into subtraction—each of which may lead to a simplified expression for taking derivatives.

Derivatives of trigonometric functions

Template:Main

ddxsinx=cosx ddxarcsinx=11x2
ddxcosx=sinx ddxarccosx=11x2
ddxtanx=sec2x=1cos2x=1+tan2x ddxarctanx=11+x2
ddxcscx=cscxcotx ddxarccscx=1|x|x21
ddxsecx=secxtanx ddxarcsecx=1|x|x21
ddxcotx=csc2x=1sin2x=1cot2x ddxarccotx=11+x2

The derivatives in the table above are for when the range of the inverse secant is [0,π] and when the range of the inverse cosecant is [π2,π2].

It is common to additionally define an inverse tangent function with two arguments, arctan(y,x). Its value lies in the range [π,π] and reflects the quadrant of the point (x,y). For the first and fourth quadrant (i.e., x>0), one has arctan(y,x>0)=arctan(yx). Its partial derivatives are: arctan(y,x)y=xx2+y2andarctan(y,x)x=yx2+y2.

Derivatives of hyperbolic functions

Template:Main

ddxsinhx=coshx ddxarsinhx=11+x2
ddxcoshx=sinhx ddxarcoshx=1x21
ddxtanhx=sech2x=1tanh2x ddxartanhx=11x2
ddxcschx=cschxcothx ddxarcschx=1|x|1+x2
ddxsechx=sechxtanhx ddxarsechx=1x1x2
ddxcothx=csch2x=1coth2x ddxarcothx=11x2

Derivatives of special functions

Gamma function

Template:Main Γ(x)=0tx1etdt Γ(x)=0tx1etlntdt=Γ(x)(n=1(ln(1+1n)1x+n)1x)=Γ(x)ψ(x), with ψ(x) being the digamma function, expressed by the parenthesized expression to the right of Γ(x) in the line above.

Riemann zeta function

Template:Main ζ(x)=n=11nx ζ(x)=n=1lnnnx=ln22xln33xln44x=p primepxlnp(1px)2q prime,qp11qx

Derivatives of integrals

Template:Main Suppose that it is required to differentiate with respect to x the function: F(x)=a(x)b(x)f(x,t)dt,

where the functions f(x,t) and xf(x,t) are both continuous in both t and x in some region of the (t,x) plane, including a(x)tb(x), where x0xx1, and the functions a(x) and b(x) are both continuous and both have continuous derivatives for x0xx1. Then, for x0xx1: F(x)=f(x,b(x))b(x)f(x,a(x))a(x)+a(x)b(x)xf(x,t)dt.

This formula is the general form of the Leibniz integral rule and can be derived using the fundamental theorem of calculus.

Derivatives to nth order

Some rules exist for computing the nth derivative of functions, where n is a positive integer, including:

Faà di Bruno's formula

Template:Main If f and g are n-times differentiable, then: dndxn[f(g(x))]=n!{km}f(r)(g(x))m=1n1km!(g(m)(x))km, where r=m=1n1km and the set {km} consists of all non-negative integer solutions of the Diophantine equation m=1nmkm=n.

General Leibniz rule

Template:Main If f and g are n-times differentiable, then: dndxn[f(x)g(x)]=k=0n(nk)dnkdxnkf(x)dkdxkg(x).

See also

References

Template:Reflist

Sources and further reading

These rules are given in many books, both on elementary and advanced calculus, in pure and applied mathematics. Those in this article (in addition to the above references) can be found in:

  • Mathematical Handbook of Formulas and Tables (3rd edition), S. Lipschutz, M.R. Spiegel, J. Liu, Schaum's Outline Series, 2009, Template:ISBN.
  • The Cambridge Handbook of Physics Formulas, G. Woan, Cambridge University Press, 2010, Template:ISBN.
  • Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, Template:ISBN
  • NIST Handbook of Mathematical Functions, F. W. J. Olver, D. W. Lozier, R. F. Boisvert, C. W. Clark, Cambridge University Press, 2010, Template:ISBN.

Template:Library resources box

Template:Calculus topics Template:Analysis-footer

  1. Calculus (5th edition), F. Ayres, E. Mendelson, Schaum's Outline Series, 2009, Template:ISBN.
  2. Advanced Calculus (3rd edition), R. Wrede, M.R. Spiegel, Schaum's Outline Series, 2010, Template:ISBN.
  3. Complex Variables, M.R. Spiegel, S. Lipschutz, J.J. Schiller, D. Spellman, Schaum's Outlines Series, McGraw Hill (USA), 2009, Template:ISBN
  4. Template:Cite web