微分形式不變性

設函數為:y=f(u),這時:

如果u是自變量,則函數y=f(u)的微分形式為:

dy=y'du=f'(u)du

如果u是中間變量,即u=g(x),函數就為複合函數,自變量是x,即y=f[g(x)],複合函數求導得:y'=f'[g(x)]g'(x),那麼

複合函數y=f[g(x)](自變量是x)的微分形式為:dy=y'dx=f'[g(x)]g'(x)dx,因為u=g(x),g'(x)dx=du,帶入式得:

dy=f'(u)du.

因此,附上覆合函數求導證明

證明：令u=g（x）

則f（u）=f（g（x））

則f（u1)=f（g（x1））

f（u2)=f（g（x2））

則f（u1）-f（u2）=f（g（x1））-f（g（x2））

則f'（u）du=f'（g（x））dx

又du/dx=g'（x）（du=x引起g（x）的微小變化）

則f'（u）*g'（x）=f'(g（x）)

綜上得證