全微分怎么求原函数？凑微分法+路径无关条件，原理讲解

全微分是多元函数微分学中的一个重要概念，它描述了函数在一点处沿所有方向的变化率。当我们知道一个函数的全微分时，有时需要反过来求出原函数。凑微分法是求原函数的一种常用方法，尤其适用于路径无关的条件。下面，我们将详细讲解全微分如何求原函数，并探讨凑微分法的原理及其在路径无关条件下的应用。

全微分及其意义

设 ( u = f(x, y, ldots) ) 是一个多元函数，其全微分定义为：

[ du = frac{partial f}{partial x} dx + frac{partial f}{partial y} dy + cdots ]

全微分 ( du ) 表示函数 ( u ) 在点 ( (x, y, ldots) ) 处沿任意方向的变化率。如果 ( du ) 是某个函数 ( F(x, y, ldots) ) 的全微分，即 ( du = dF )，那么 ( F ) 就是 ( u ) 的原函数。

凑微分法求原函数

凑微分法是一种通过将全微分表达式重新组合，使其成为某个已知函数的全微分的方法。具体步骤如下：

1. 写出全微分表达式：写出函数 ( u ) 的全微分 ( du )。

2. 重新组合微分项：尝试将 ( du ) 中的微分项重新组合，使其符合某个已知函数的全微分形式。

3. 积分得到原函数：对重新组合后的微分项进行积分，得到原函数 ( F )。

例如，设 ( u = x^2 + y^2 )，其全微分为：

[ du = 2x dx + 2y dy ]

我们尝试将 ( du ) 重新组合：

[ du = 2x dx + 2y dy = d(x^2) + d(y^2) ]

注意到 ( d(x^2) = 2x dx ) 和 ( d(y^2) = 2y dy )，因此：

[ du = d(x^2) + d(y^2) = d(x^2 + y^2) ]

于是，原函数 ( F ) 为：

[ F(x, y) = x^2 + y^2 + C ]

其中 ( C ) 是积分常数。

路径无关条件

在路径无关的条件下，函数 ( u ) 的全微分 ( du ) 在区域 ( D ) 内与路径无关。这意味着，无论我们选择何种路径从一点到另一点，积分 ( int_C du ) 的值都是相同的。路径无关条件通常由以下条件保证：

1. 保守场：如果 ( u ) 是某个向量场 ( mathbf{F} ) 的势函数，即 ( mathbf{F} = abla u )，那么 ( mathbf{F} ) 是保守场，其线积分与路径无关。

2. 条件 ( frac{partial P}{partial y} = frac{partial Q}{partial x} )：对于平面区域 ( D )，如果 ( du = P(x, y) dx + Q(x, y) dy )，且 ( P ) 和 ( Q ) 在 ( D ) 内具有连续的一阶偏导数，且满足 ( frac{partial P}{partial y} = frac{partial Q}{partial x} )，那么 ( du ) 是路径无关的。

原理讲解

路径无关条件的原理基于保守场的性质。对于一个保守场 ( mathbf{F} = abla u )，其线积分可以表示为：

[ int_C mathbf{F} cdot dmathbf{r} = int_C abla u cdot dmathbf{r} = u(B) - u(A) ]

其中 ( A ) 和 ( B ) 是路径的起点和终点。由于 ( u ) 的值仅取决于起点和终点，与路径无关，因此线积分的值也与路径无关。

在路径无关的条件下，我们可以选择一个简单的路径（如折线路径）来计算积分，从而简化求原函数的过程。例如，对于 ( du = P(x, y) dx + Q(x, y) dy )，我们可以选择沿 ( x ) 轴和 ( y ) 轴的路径分别积分：

[ F(x, y) = int_{(x_0, y_0)}^{(x, y)} du = int_{x_0}^x P(x, y_0) dx + int_{y_0}^y Q(x, y) dy ]

具体例子

设 ( du = (2xy + 1) dx + (x^2 - 3y^2) dy )，我们检查路径无关条件：

[ P(x, y) = 2xy + 1, quad Q(x, y) = x^2 - 3y^2 ]

[ frac{partial P}{partial y} = 2x, quad frac{partial Q}{partial x} = 2x ]

由于 ( frac{partial P}{partial y} = frac{partial Q}{partial x} )，路径无关条件满足。

选择路径 ( (x_0, y_0) ) 到 ( (x, y) )：

1. 沿 ( x ) 轴积分（固定 ( y = y_0 )）：

[ int_{x_0}^x (2xy_0 + 1) dx = y_0 x^2 + x bigg|_{x_0}^x = y_0 x^2 + x - (y_0 x_0^2 + x_0) ]

2. 沿 ( y ) 轴积分（固定 ( x = x )）：

[ int_{y_0}^y (x^2 - 3y^2) dy = x^2 y - y^3 bigg|_{y_0}^y = x^2 y - y^3 - (x^2 y_0 - y_0^3) ]

将两部分积分结果相加：

[ F(x, y) = y_0 x^2 + x - (y_0 x_0^2 + x_0) + x^2 y - y^3 - (x^2 y_0 - y_0^3) ]

简化后得到：

[ F(x, y) = x^2 y + x - x_0 y_0 - x_0 + y_0^3 - y^3 ]

由于 ( F(x, y) ) 是 ( du ) 的原函数，我们可以验证其全微分确实为 ( du )：