全微分方程是微分方程中的一种特殊类型，其核心特点在于方程的左端可以表示为某个二元函数的全微分。具体定义和性质如下：

一、定义

若一阶微分方程能写成形式：

$$P(x,y)dx + Q(x,y)dy = 0$$

且存在一个二元函数 $u（x,y）$，使得：

$$du = Pdx + Qdy$$

即方程左端是 $u（x,y）$ 的全微分，则该方程称为 全微分方程 （又称 恰当方程 ）。

二、充分必要条件

全微分方程的充分必要条件是：

$$frac{partial P}{partial y} = frac{partial Q}{partial x}$$

即混合偏导数相等。

三、解法

直接积分法

若满足 $frac{partial P}{partial y} = frac{partial Q}{partial x}$，则可通过积分求出原函数 $u（x,y）$：

$$u(x,y) = int P(x,y)dx + g(y)$$

其中 $g（y）$ 是关于 $y$ 的任意函数，再通过 $frac{partial u}{partial y} = Q（x,y）$ 确定 $g（y）$。

分组法

将 $P（x,y）$ 和 $Q（x,y）$ 分组，通过代数运算调整为可积分形式。

积分因子法

若原方程不是全微分方程，可寻找积分因子 $mu（x,y）$ 使其变为全微分方程，再积分求解。

四、示例

考虑方程 $x^2 + xy + y^2 = C$，其中 $P=2x+y$，$Q=x+2y$。计算偏导数：

$$frac{partial P}{partial y} = 1, quad frac{partial Q}{partial x} = 1$$

由于 $frac{partial P}{partial y} = frac{partial Q}{partial x}$，该方程是全微分方程。通过积分可得：

$$u(x,y) = x^2 + frac{1}{2}xy^2 + C = C'$$

其中 $C'$ 为常数。

五、与偏微分方程的区别

全微分方程属于 常微分方程 （未知函数为单变量），而偏微分方程（如热传导方程）的未知函数是多元函数。

综上，全微分方程通过判断混合偏导数是否相等，并通过积分方法求解，是微分方程理论中重要且实用的一类方程。