偏导数

在数学中，偏导数（）的定義是：一個多變量的函数（或稱多元函數），對其中一個變量（導數）微分，而保持其他变量恒定。

偏导数的作用与价值在向量分析和微分几何以及机器学习领域中受到广泛认可。

函数关于变量的偏导数写为或。偏导数符号是全导数符号的变体，由阿德里安-马里·勒让德引入，并在雅可比的重新引入后得到普遍接受。

 简介 

假设  是一个多元函数。例如：


因为曲面上的每一点都有无穷多条切线，描述这种函数的导数相当困难。偏导数就是选择其中一条切线，并求出它的斜率。通常，最感兴趣的是垂直于  轴（平行于 平面）的切线，以及垂直于  轴（平行于 平面）的切线。

一种求出这些切线的好办法是把其他变量视为常数。例如，欲求出以上的函数在点  的与  平面平行的切线。右图中显示了函数的图像以及这个平面。左图中显示了函数在平面  上是什么样的。我们把变量  视为常数，通过对方程求导，我们可以发现  在点  的导数，记为：

于是在点  的  平面平行的切线的斜率是3。



在点 ，或称“ 在  的关于  的偏导数是3”。

 定义 
函数  可以解释为  为自变量而  为常数的函数：

 。

也就是说，每一个  的值定义了一个函数，记为，它是一个一元函数。也就是说：

 。

一旦选择了一个  的值，例如 ，那么  便定义了一个函数 ，把  映射到：

 。

在这个表达式中， 是常数，而不是变量，因此  是只有一个变量的函数，这个变量是 。这样，便可以使用一元函数的导数的定义：



以上的步骤适用于任何  的选择。把这些导数合并起来，便得到了一个函数，它描述了  在  方向上的变化：



这就是  关于  的偏导数，在这裡， 是一个弯曲的 ，称为偏导数符号。为了把它与字母  区分， 有时读作“der”、“del”、“dah”或“偏”，而不是“dee”。

一般地，函数  在点  关于 的偏导数定义为：



在以上的差商中，除了  以外的所有变量都是固定的。这个固定值的选择决定了一个一元函数，根据定义，



这个表达式说明了偏导数的计算可以化为一元导数的计算。

多变量函数的一个重要的例子，是欧几里德空间 （例如  或 ）上的标量值函数 。在这种情况下， 关于每一个变量  具有-{}-偏导数 。在点 ，这些偏导数定义了一个向量：

这个向量称为  在点  的梯度。如果  在定义域中的每一个点都是可微的，那么梯度便是一个向量值函数 ，它把点  映射到向量 。这样，梯度便决定了一个向量场。

一个常见的符号滥用是在欧几里得空间  中用单位向量 来定义Nabla算子（）如下：

或者，更一般地，对于n维欧几里得空间  的坐标和单位向量():

 例子 

考虑一个圆锥的体积 ；它与高度  和半径  有以下的关系：
 。

 关于  的偏导数为：
 ，它描述了高度固定而半径变化时，圆锥的体积的变化率。

 关于  的偏导数为：
 ，它描述了半径固定而高度变化时，圆锥的体积的变化率。

现在考虑  关于  和  的全导数。它们分别是：


以及


现在假设，由于某些原因，高度和半径的比  需要是固定的：


这便给出了关于  的全导数：


可以化简为：


类似地，关于  的全导数是：


含有未知函数的偏导数的方程，称为偏微分方程，它在物理学、工程学，以及其它应用科学中经常会见到。

与关于  和  二者相关的全导数是由雅可比矩阵给出的，它的形式为梯度向量。

 记法 
在以下的例子中，设  为 、 和  的函数。

 的一阶偏导数为：



二阶偏导数为：



二阶混合偏导数为：



高阶偏导数为：



当处理多变量函数时，有些变量可能互相有关，这样就需要明确指定哪些变量是固定的。在诸如统计力学的领域中， 关于  的偏导数，把  和  视为常数，通常记为：



 正式定义和性质 
像导数一样，偏导数也是定义为一个极限。设  为  的一个开子集， 是一个函数。我们定义  在点 关于第  个变量  的偏导数为：



即使在某个给定的点 ，所有的偏导数 都存在，函数仍然不一定在该点连续。然而，如果所有的偏导数在  的一个邻域内存在并连续，那么  在该邻域内完全可微分，且全导数是连续的。在这种情况下，我们称  是一个C1函数。

偏导数可以视为定义在  内的另外一个函数，并可以再次求偏导数。如果所有的混合二阶偏导数在某个点（或集合）连续，我们便称  为在该点（或集合）的一个C2函数；在这种情况下，根据克莱罗定理，偏导数可以互相交换：

 。

 参考文献 


注释

 参见 
达朗贝尔算符
复合函数求导法则
旋度
方向导数
散度
外微分
梯度
雅可比矩阵
拉普拉斯算子
二阶导数的对称性
三乘积法则，又称为循环链式法则。

Category:多变量微积分
Category:导数的推广
Category:微分算子