Calculus/The chain rule and Clairaut's theorem

← Derivatives of multivariate functions Calculus Inverse function theorem, implicit function theorem →
The chain rule and Clairaut's theorem
Theorem

Let be a function and let be another function. Assume that is differentiable at and that is differentiable at .

Then is differentiable at and

Proof

We prove that is a valid differential of , thereby proving differentiability.

We begin by noting from the second triangle inequality, that

and hence the boundedness of

implies that of

where is the matrix of .

Now we note by the triangle inequality, that

We shall first treat the first summand, which is more difficult, but not so difficult still. We rewrite it as

The latter factor is bounded due to the above considerations, and the first one converges to 0 as (and thus due to the same boundedness (multiply with ); in fact, differentiability thus implies continuity).

Now for the second summand, which, by elementary cancellation and linearity of differentials, equals

where is the matrix of the differential of . This goes to 0 as due to the definition of the differential of .

The gradient edit

The first application of the chain rule that we shall present has something to do with a thing called gradient, which is defined for functions  , that is, the image is one-dimensional (in the special case   these functions look like "mountains" of a function on the plane  ).

Definition

Let   be differentiable. Then the column vector

 

is called the gradient.

Theorem:

Let   be two functions totally differentiable at  . Since they both map to  , their product is defined, and we have

 

Proof:

Now one could compute this directly from the definition of the gradient and the usual one-dimensional product rule (which actually has the merit of not requiring total differentiability), but there is a clever trick using the chain rule, which I found in Terence Tao's lecture notes, on which I based my repetition of this part of mathematics.

We simply define   and  . Then the function   equals  . Now the differential of   is given by the Jacobian matrix

 

and the differential of   is given by the Jacobian matrix

 

Hence, the product rule implies that the differential of   at   is given by

 

and from the definition of the gradient we see that the differential is nothing but the transpose of the gradient (and vice versa, as taking transpose is idempotent). 

Now we shall use the chain rule to generalize a well-known theorem from one dimension, the mean value theorem, to several dimensions.

Theorem:

Let   be totally differentiable, and let  . Then there exists   such that

 

where   is the standard scalar product on  .

Proof:

This is actually a straightforward application of the chain rule.

We set

 

thus   and  . By the one-dimensional mean-value theorem,

 

for a suitable  . Now by the chain rule,

 . 

Clairaut's theorem edit

The next theorem shows that the order of differentiation does not matter, provided that the considered function is sufficiently differentiable. We will not need the general chain rule or any of its consequences during the course of the proof, but we will use the one-dimensional mean-value theorem.

Theorem (Clairaut's theorem):

Let   be such that the partial derivatives up to order 2 exist and are continuous. Then

 .

Proof:

We begin with the following lemma:

Lemma:

 

Proof: We first apply the fundamental theorem of calculus to obtain that the above limit equals

 

Using integration by substitution and linearity of the integral, we may rewrite this as

 

Now we apply the mean value theorem in one variable to obtain

 

for a suitable  . Hence, the above limit equals

 

This is the average of   over a certain subset of   and therefore converges to   by the continuity of   (you can prove this rigorously by using

 

and subtracting the integrals and applying the triangle inequality for integrals). 

Now the expression of the lemma is totally symmetric in   and  , which is why Clairaut's theorem follows.