Question

有关于微积分中全微分的问题

全微分的公式很多，但是我一直没有想清楚全微分是用来做什么的0、0
特别是全微分中的符号，我一直没有弄懂是什么意思
求高手解答0.0





Answer 1

微分的本质是：在一点的局部用一个线性函数逼近，逼近的误差是自变量增量的高阶无穷小。

具体地说，如果一个函数f(x)，x取值为欧几里得空间里的点。固定一个点x0，然后x-x0 就表示自变量从x0到x的变化量。x-x0是一个向量。我们希望能弄一个线性函数T，使得 T(x-x0)能用来逼近函数的变化量 f(x)-f(x0)。逼近的误差就是
f(x)-f(x0) - T(x-x0)，我们希望这个误差是比|x-x0|的模长高阶的无穷小。于是就有了
f(x)-f(x0)=T(x-x0)+o(x-x0) 的定义。

这是微分的定义。而T这个线性函数就被称为f在x0处的导数。
当函数f(x)的值域是一维，x的维数是n维的时候（如果我把分量设为x=(a1,a2,...,an), x0=(b1,b2,...bn)
线性函数T就应该是 T(x-x0)= k1(a1-b1)+k2(a2-b2)+...kn(an-bn) k1,...,kn都是由x0和f决定的常数。
我们把k1,k2,...,kn分别称为f对x的第1个分量、对x的第2个分量、。。。、对x的第n个分量的 “偏导数”。都是实数。

偏导数的符号就用你说的那个没弄懂的那个符号表示。

此外，当自变量的取值范围也是一维的，也就是x和x0是实数里取的时候。
线性函数 T(x-x0)其实就是 k(x-x0) k是某个由f和x0决定的常数。此时导数可以用一个数k来表示。而不再是一串数(k1,...,kn)表示的线性函数了。所以一元函数没必要用偏导数符号，因为一元函数的导数本身作为线性函数按照上面的思想就只有一个分量，就是一个数就能表示了。

Answer 2