# Difference between revisions of "Clairaut's theorem on equality of mixed partials"

(→General statement) |
|||

Line 28: | Line 28: | ||

Note: The video below will probably be replaced by a better video that covers the subtleties better, but it's provisionally okay. | Note: The video below will probably be replaced by a better video that covers the subtleties better, but it's provisionally okay. | ||

− | <center>{{#widget:YouTube|id= | + | <center>{{#widget:YouTube|id=IAtCXqzBH3Q}}</center> |

==Particular cases== | ==Particular cases== |

## Latest revision as of 22:49, 25 January 2013

## Contents

## Statement

### Statement for second-order mixed partial of function of two variables

Suppose is a real-valued function of two variables and is defined on an open subset of . Suppose further that both the second-order mixed partial derivatives and exist and are continuous on . Then, we have:

on all of .

### General statement

The statement can be generalized in two ways:

- We can generalize it to higher-order partial derivatives.
- We can generalize it to functions of more than two variables.

The general version states the following. Suppose is a function of variables defined on an open subset of . Suppose *all* mixed partials with a certain number of differentiations in each input variable exist and are continuous on . Then, all the mixed partials are continuous.

Some examples are given below:

- Suppose is a function of two variables and , and the three mixed partials exist and are continuous on an open subset of . Then, all three of them are equal on . (Note that these mixed partials all involve differentiating twice with respect to and once with respect to ).
- Suppose is a function of three variables , and the six mixed partials exist and are continuous on an open subset of . Then, all six of them are equal on .

CAUTION: This general version of Clairaut's theorem does not merely state that if two higher-order mixed partials that involve the same number of differentiations in each variable are continuous, they must be equal.Rather, they requireallthe higher-order mixed partials of that type to be defined and continuous. The reason is that in the proof of this using Clairaut's theorem for second-order mixed partials, we may need to goviathe other higher-order mixed partials and hence need those to exist and be continuous as well. Thus, the generalization doesnotsay, for instance, that if and exist and are continuous, they must be equal.

We can formulate a slightly stronger version of this general statement, that only requires the continuity of certain specific other partial derivatives, but this would get too complicated.

Note: The video below will probably be replaced by a better video that covers the subtleties better, but it's provisionally okay.

## Particular cases

Clairaut's theorem can be verified in a number of special cases through direct computations. Some of these are illustrated below.

### Additively separable functions

`For further information, refer: Additively separable function`

Suppose is an additively separable function of two variables, i.e., we can write:

where are both functions of one variable. Assume that both and are both differentiable. Then, we have:

Differentiating each of these a second time with respect to the other variable, we obtain that:

Thus, we see that both second-order mixed partial derivatives are the zero function. In particular, they are equal to each other.

### Multiplicatively separable functions

`For further information, refer: Multiplicatively separable function`

Suppose is a multiplicatively separable function of two variables, i.e., we can write:

where are both functions of one variable. Assume that both and are both differentiable. Then, we have:

Differentiating each of these a second time with respect to the other variable, we obtain that:

We thus see that both the second-order mixed partial derivatives are equal.

Note that the proof for multiplicatively separable functions can be easily generalized to functions that are expressible as *sums* of multiplicatively separable functions. This, therefore, includes all polynomial functions.

## Related facts

- Failure of Clairaut's theorem where only one of the mixed partials is defined
- Failure of Clairaut's theorem where both mixed partials are defined but not equal (this happens because one or both of them is not continuous)

## Proof

### Key computation as a double limit at a point

Based on the definition as a double limit at a point, we have:

Now, conditional to the existence of this expression, we can use that limit is linear to combine the two limits in the inner sum on the right side and get:

With some simple algebraic tidying up, this becomes:

A similar calculation for the other mixed partial yields that:

We notice that, although the terms are written in a slightly different order, *the expressions whose limit is being computed is the same in both cases*. The only difference between the two cases is the order in which we are taking limits. In the case, we take the limit with respect to on the inside, and then take the limit with respect to on the outside. In the case, we take the limit with respect to on the inside, and then take the limit with respect to on the outside.