【改訂版】多変数関数の全微分の定義は正しいか、検証してみる。

ふたつの変数x,yを用いて新たに変数u,vを u=x^a v=b^y と定義する(ただしaとbは定数). そうすると, それらの変数の微分は, それぞれ du=a{x^(a-1)}dx dv=(b^y) logb dy と定義される. ということは多変数関数w=x^y については, その全微分は dw=y{x^(y-1)}dx+{(x^y) logx}dy と定義されるということである. 上記の式のy{…