关于混合偏导数对称性条件的疑问：一阶偏导数可微是否蕴含高阶偏导连续？

嘿，这个问题戳中了克莱罗定理里很容易混淆的关键点！我当初学这部分的时候也卡过，咱们慢慢捋清楚。

你提到的逻辑链是：相关资料指出“一阶偏导数在某点可微（加上邻域内存在一阶偏导）”能推出混合偏导对称，而且这个条件比“混合偏导连续”更弱。但你觉得奇怪——毕竟通常函数可微不代表它的偏导数连续，那这里一阶偏导可微，会不会反倒让高阶偏导（也就是混合偏导）连续？

先给你明确结论：一阶偏导数在某点可微，并不蕴含混合偏导数在该点连续，这也是为什么前者是更弱条件的核心原因。

咱们拆解一下关键概念：

• 首先别搞混“原函数可微”和“一阶偏导可微”：原函数可微，只要求它的增量能被线性主部近似，确实和自身偏导的连续性无关；但一阶偏导作为单独的函数，它们在某点可微，是指偏导数自己的增量能被线性主部拟合，这和它们的偏导数（也就是原函数的二阶混合偏导）是否连续完全是两码事。
• 克莱罗定理的这个弱版本，只要求一阶偏导在目标点可微，不需要混合偏导在该点或者邻域内连续。甚至存在这样的函数：它的一阶偏导在某点可微，所以混合偏导在该点相等，但混合偏导在该点根本不连续——这就直接证明了“一阶偏导可微”是比“混合偏导连续”更宽松的条件。

再补充下克莱罗定理的不同条件层级，帮你更清晰对比：

• 最强条件：混合偏导在邻域内连续 → 混合偏导相等；
• 中等条件：一阶偏导在邻域内存在，且在目标点可微 → 混合偏导相等；
• 更弱的特殊情况：一阶偏导在邻域内存在，混合偏导在目标点处极限存在 → 混合偏导相等。

说白了，“一阶偏导可微”只是刚好满足了混合偏导对称的最低要求之一，它不需要高阶偏导具备连续性这种更强的性质。

备注：内容来源于stack exchange，提问作者xIxnx