可微为什么推不出偏导数连续

引言

在数学分析中，特别是在多变量函数的研究领域，我们经常遇到“可微”和“偏导数连续”这两个概念。虽然这两个概念都涉及到函数的光滑性，但它们之间存在重要的区别。本文旨在探讨为什么一个函数在某点可微，并不意味着其偏导数在该点连续。

基本概念回顾

1. 可微性

对于一个多元函数 ( f: \mathbb{R}^n \to \mathbb{R} )，如果在点 ( \mathbf{a} ) 处存在一个线性映射 ( L: \mathbb{R}^n \to \mathbb{R} )，使得：

[ \lim_{\mathbf{h} \to \mathbf{0}} \frac{f(\mathbf{a} + \mathbf{h}) - f(\mathbf{a}) - L(\mathbf{h})}{\|\mathbf{h}\|} = 0 ]

则称函数 ( f ) 在点 ( \mathbf{a} ) 处可微。这里的 ( L(\mathbf{h}) ) 称为 ( f ) 在 ( \mathbf{a} ) 处的微分，通常表示为 ( df_{\mathbf{a}}(\mathbf{h}) )。

2. 偏导数连续

如果一个多元函数 ( f: \mathbb{R}^n \to \mathbb{R} ) 的所有偏导数在点 ( \mathbf{a} ) 处存在，并且这些偏导数在 ( \mathbf{a} ) 的某个邻域内连续，则称 ( f ) 在点 ( \mathbf{a} ) 处偏导数连续。

可微与偏导数连续的关系

1. 可微性蕴含偏导数存在

首先，如果一个函数在某点可微，那么它在该点的所有偏导数必定存在。这是因为微分的存在性要求函数在该点附近的变化可以近似为一个线性映射，而这个线性映射的系数就是偏导数。

2. 偏导数存在不意味着连续

然而，偏导数的存在并不意味着它们在该点连续。偏导数的连续性是一个更强的条件，它要求偏导数不仅存在，而且在该点的邻域内变化平滑。

3. 可微性不蕴含偏导数连续

即使一个函数在某点可微，也不能保证其偏导数在该点连续。这可以通过以下例子来说明：

例子：可微但偏导数不连续

考虑函数 ( f: \mathbb{R}^2 \to \mathbb{R} ) 定义为：

[ f(x, y) = \begin{cases} \frac{x^2 y}{x^2 + y^2} & \text{if } (x, y) \neq (0, 0) \ 0 & \text{if } (x, y) = (0, 0) \end{cases} ]

步骤 1：验证 ( f ) 在原点处可微

计算 ( f ) 在原点的偏导数：

[ f_x(0, 0) = \lim_{h \to 0} \frac{f(h, 0) - f(0, 0)}{h} = \lim_{h \to 0} \frac{0 - 0}{h} = 0 ]

[ f_y(0, 0) = \lim_{k \to 0} \frac{f(0, k) - f(0, 0)}{k} = \lim_{k \to 0} \frac{0 - 0}{k} = 0 ]

接下来，验证 ( f ) 在原点处可微：

[ \lim_{(h, k) \to (0, 0)} \frac{f(h, k) - f(0, 0) - f_x(0, 0)h - f_y(0, 0)k}{\sqrt{h^2 + k^2}} = \lim_{(h, k) \to (0, 0)} \frac{\frac{h^2 k}{h^2 + k^2}}{\sqrt{h^2 + k^2}} ]

[ = \lim_{(h, k) \to (0, 0)} \frac{h^2 k}{(h^2 + k^2)^{3/2}} = 0 ]

因此， ( f ) 在原点处可微。

步骤 2：验证偏导数在原点不连续

考虑 ( f_x(x, y) ) 和 ( f_y(x, y) ) 在原点附近的表达式：

[ f_x(x, y) = \frac{2xy^3}{(x^2 + y^2)^2} ]

[ f_y(x, y) = \frac{x^4 - x^2 y^2}{(x^2 + y^2)^2} ]

观察 ( f_x(x, y) ) 沿不同路径接近原点的行为：

• 沿 ( y = x ) 路径： ( f_x(x, x) = \frac{2x^4}{(2x^2)^2} = \frac{1}{2} )
• 沿 ( y = 0 ) 路径： ( f_x(x, 0) = 0 )

显然， ( f_x(x, y) ) 在原点处不连续。

结论

从上述分析可以看出，一个函数在某点可微，并不意味着其偏导数在该点连续。可微性只是要求函数在该点附近的变化可以用一个线性映射来近似，而偏导数的连续性则要求这些偏导数在该点的邻域内变化平滑。因此，可微性是偏导数存在的充分条件，但不是偏导数连续的充分条件。

希望本文能够帮助读者更好地理解可微性和偏导数连续性的关系。如果你对这些概念有任何疑问，欢迎在评论区留言讨论！