为什么高阶混合偏导数与求导顺序无关？

求导次序无关的前提是混合偏导数在那个点连续

维基百科 搜索：Symmetry of second derivatives

从公式上好推，但如何从物理直观的角度解释不清楚，但在工程上，这个定理用的和公理一样，大自然大多情况下都满足连续光滑的条件。

@lcdtyph 在那个点连续只是一个前提条件，我是对结论不大理解（几何上也不理解）

这个有证明啊

比如二元函数的导数相当于一个平面，而他的偏导就是延某个数轴的一条线，两条线和一个点就确定一个平面了，也就是对应到混合偏导上了。而不连续的话，肯定是从某个方向上做不了偏导或者左右偏导不同，相当于出线两条线，就无法获得最终的混合偏导的面了。

据说《线性与非线性泛函分析及其应用 /恰莱》是一本高质量的教材，可以帮助你从更多的角度看待分析学。

（然鹅我并没有读下去……

这件事情对于“可分解”多元函数自然成立，所谓“可分解”二元函数，是指形如 f1(x)g1(y)+...+fn(x)gn(y) 的函数，其中各 f 、g 都可导，先对还是后对 x 求导数没有任何区别。

多项式函数就是“可分解”的，把多项式转换为幂级数，则可以看出此性质对多元解析函数成立。

实际情况是它对足够好的函数都成立，Peano 的版本是：如果 Dx 、DyDx 、Dy 在开集里存在，DyDx 内点连续，则 DxDy 存在且和 DyDx 相等。

在“好的函数”的世界里，各种操作可以换序是常态。

@yangyaofei #6 您似乎混淆了方向导数和高阶导数。

@siyemiaokube #7 这里的问题应该对应高阶微分，即是要问为什么各个二阶偏导数组成的双线性形式就对应二阶微分里的二次形式。二次形式总是用对称阵描述，而双线性形式不一定。马后炮来说，从美感上讲应该有这件事成立，即双线性形式 A 就是它对称化的结果 (A+A')/2 。

@siyemiaokube 这可能不是一个信任的问题了，我有点怀疑自己对微积分的理解还处于非常的肤浅程度。
数学真是一种强大的抽象和建模工具啊，要是能理解它那该多好。

因为坐标轴正交（垂直），所以 x 轴分量不管有啥幺蛾子都不会导致 y 轴分量变化，所以可以把各个分量分别处理完，而不用担心它们彼此影响

。。。。是我不对劲还是你们不对劲

@yangyaofei 一个容易理解的比喻，我觉得差不多，严格的搞证明什么的，才是楼主最不想看到的吧，理解了就好

@geelaw