微分形式不变性描述了在函数复合的情况下，微分形式保持不变的性质。这个性质在链式法则的应用中尤为重要。

微分形式不变性的定义

设 ( y = f(u) ) 是一个可微函数，其中 ( u ) 是自变量。那么 ( y ) 对 ( u ) 的微分 ( dy ) 可以表示为：

$$dy=f^{\prime }(u)du$$

现在，假设 ( u ) 本身是一个函数 ( u = g(x) )，其中 ( x ) 是另一个自变量。根据链式法则，复合函数 ( y = f(g(x)) ) 的导数为：

$$\frac{dy}{dx}=f^{\prime }(g(x))\cdot g^{\prime }(x)$$

我们可以将这个导数表示为微分的形式：

$$dy=f^{\prime }(g(x))\cdot g^{\prime }(x)dx$$

注意到在这个表达式中，( f’(g(x)) ) 是 ( y ) 对 ( u ) 的导数，而 ( g’(x) ) 是 ( u ) 对 ( x ) 的导数。我们可以将 ( f’(g(x)) ) 简写为 ( f’(u) )，因为 ( u = g(x) )，所以：

$$dy=f^{\prime }(u)\cdot g^{\prime }(x)dx$$

由于 ( du = g’(x) , dx )，我们可以将上式改写为：

$$dy=f^{\prime }(u)du$$

这表明，无论 ( u ) 是自变量还是另一个变量的函数，微分 ( dy ) 的形式保持不变。这就是微分形式不变性。

微分形式不变性的意义

微分形式不变性说明了在复合函数的情况下，微分的形式不会因为变量是直接的自变量还是另一个函数的值而改变， 简化了复合函数微分的计算，可以在不同的变量表示下使用相同的微分形式。

例如，在物理学和工程学中，微分形式不变性允许在不同的坐标系下使用相同的微分方程，只需要正确地转换变量和微分。