fbpx

Chain rule

Derivative formulas

Topic: Formula for function’s increment. Chain rule.

Summary

In this lecture we will deal with the powerful practical use of calculating derivatives (i.e. calculating from formulas, not from definitions). This is, of course, the chain rule:

It so happens that the formula above – used at every step – is at the same time the least understandable and generally omitted. This is because it is much easier to simply learn how to calculate these derivatives (from the chain rule) in practice than to introduce some theoretical formula.

However, in a moment we will explain how this formula “works” and we will prove it. To do this, we will use another theorem – about the increase in the value of a function and about the markings , that I introduced in the previous lecture (and I will remind them later).

I carry out the proof as it has been shown in Fichtenholz’s book (“Differential and integral calculus. Volume I.” GM Fichtenholz. Ed. 1966.). By the way, if you are really passionate about mathematics (or more precisely: calculus) you MUST have this 3-volume book, just type Fichtenholz in Google or Amazon,  there is no possibility of mistake.

So let’s get started…

Function composition. Derivatives of functions compositions.

We should already encounter functions compositions in high school. These are functions in which the argument of a function is not an ordinary ‘x’, but some other function.

For example:

This is function composition. The argument of the sine function is not x (as it would be in a simple function ), but some other function, to be specific – .

Function composition can be more hidden, such as:

Here we need a more experienced eye to notice that this is a function , in which instead of the argument a function is inserted.

A function composition ‘f’ whose argument is some other function ‘g’ can be writen like this:

It makes sense, right? f is calculated not from x, but from another function: g(x).

As we know, the derivative of a function composition is calculated using the formula:

(chain rule)

How to read it? Well, yes: the derivative of a function f, in which the argument is the function g, is equal to the derivative of the function f (the argument of this derivative is the function g), multiplied by the derivative of the function g.

It’s best to understand this with an example. Let’s take our function composition:

The most important thing is to get which function is in which, that is, the argument of which function is which function, that is, which function from the formula is our function f (you can also call it: “external function”) and which is function g (you can also say about it: “internal function”). Our f function in this example is the sine function and its argument is the g function.

According to the formula: , derivative of the function will be equal to the derivative of the sine function (i.e. cosine), the argument of which is the function g=lnx (i.e. we will have the cosine of lnx) times the derivative of the lnx function (i.e. ):

You can write it nicer:

And that’s it 🙂

We will now formally prove our formula (chain rule). But first, let’s prove something helpful…

Increment theorem

As we already know from the previous lecture, the increase in the value of the function ( ) at any point can be written as:

This can be seen directly from the drawing:

delta y gainFormula for the increase in the value of the function w point

However, it can also be written differently, in a not so obvious way:

Proposition

If the function f(x) has at point   finite derivative, then the increase in the value of this function at this point can be presented as:

Where is a value dependent on and along with tending to zero.

Proof

Note that according to the definition of derivative and (see above):

So if we assume that:

We see that depends on and taking we will have (because we showed above that ).

Such   meet the conditions specified in the proposition.

I multiply both sides of the equation by : :

I adjust the equation little bit more and I have:

We have thus derived the formula for the increase in the value of the function from the proposition, which ends the proof.

We will use the increment theorem in the proof of the formula for the derivative of a composition.

Theorem on the derivative of a composite (chain rule)

Derivative of a composite function (with the assumptions regarding the existence of derivatives of the function at the point) is given by:

Proof

For arguments increment we will get both a certain increase in the value of the function g: and some increase in the value of the function f: . Now note that the increase in the value of the function g is also the increment of the arguments for the function f (because the values ​​of the function g are the arguments of the function f).

Using our function increment theorem (proven above) for the function f we have:

I replaced in the formula from the theorem with – because the arguments of function f are the values ​​of function g.

We can divide both sides by and we have:

Taking now is, by definition, equal to the value of the derivative of the function g at the point , .

Component: so converge to zero, just because converge to the value of the derivative of the function g, and converge to zero (according to the increment theorem), and one multiplied by the other converge to zero.

So we have (converging to the limit at ):

What needed to be proven.

END

While writing this post, I used…

1. “Differential and integral calculus. Volume I.” GM Fichtenholz. Ed. 1966.


Click here to review how to derive formulas for derived properties (previous Lecture)< —

Click here to return to the derivatives lecture page

Leave a Reply

Your email address will not be published. Required fields are marked *

Your comment will be publicly visible on our website along with the above signature. You can change or delete your comment at any time. The administrator of personal data provided in this form is eTrapez Usługi Edukacyjne E-Learning Krystian Karczyński. The principles of data processing and your related rights are described in our Privace Policy (polish).