Properties of mixed partial derivatives

[wefoust2]

Hi, I am sort of hung up with a particular step in a derivation, and this has caused me to ponder a few properties of partial derivatives. As a result, I believe I may be correct for the wrong reasons. For this example, the starting term is

($\frac{\partial}{\partial x}$$\frac{\partial v}{\partial t}$-$\frac{\partial}{\partial y}$$\frac{\partial u}{\partial t}$)

I want to go from the above term to

$\frac{\partial}{\partial t}$ ($\frac{\partial v}{\partial x}$ - $\frac{\partial u}{\partial y}$)

I am a little confused how this is done. I am not sure if you can "factor" out the $\frac{\partial}{\partial t}$ or not. I thought about simply rearranging the partials, but I don't think I can assume the function is smooth or symmetric. Any help or insight you can provide will be appreciated.

Thanks,
wefoust

 

[cristo]

Well, partial derivatives commute, so

$$\frac{\partial}{\partial x} \Big(\frac{\partial v}{\partial t}\Big)=\frac{\partial^2v}{\partial x \partial t}=\frac{\partial}{\partial t}\Big(\frac{\partial v }{\partial x}\Big)$$

from there you can factor out the time derivative.

 

[tiny-tim]

hi wefoust2! welcome to pf!

(for partial derivatives, use tex instead of itex, and they'll come out a sensible size )

for the precise conditions for when they commute, see http://en.wikipedia.org/wiki/Symmetry_of_second_derivatives#Schwarz.27_theorem

 

[DeIdeal]

Well, partial derivatives commute, so

Doesn't that require the continuity of the second partial derivatives in order to be true in general? It seems to me that OP explicitly stated that not enough is known about the function to guarantee that?

 

[wefoust2]

Hi guys,
Thank you very much for you input so far! I've looked up some more info based on the links and terms you all have used, and I feel that I am getting descent understanding about the property. It seems that assuming all partials commute is a bit of an overstatement. In most cases the partials should commute, but there do exists special cases, as when the 2nd order is not defined or continuous (this holds for both ways as in Fxy or Fyx).

Again, thanks for the help, and let me know if you come across something more convincing.