在一阶常微分方程的可解类型中，可以利用变量分离法 [1] 和常系数变易法 [2] 等对一些特殊的方程进行求解计算。但是绝大多数一阶常微分方程的解还是很难给出的。恰当微分方程(即全微分方程)是一类十分常见且非常重要的一阶常微分方程，但并不是所有一阶常微分方程都是恰当微分方程。对于非恰当微分方程往往需要借助积分因子将其转化为恰当微分方程，再进一步进行求解。因此，求解非恰当微分方程的关键是寻找合适的积分因子。文 [3] 对积分因子的基本性质进行了梳理汇总，并介绍了待定指数法、分组组合法以及变量代换法等求非恰当微分方程积分因子的常见方法。文 [4] 则介绍了一类乘积型积分因子的存在性定理及其应用。崔晓棋和杨高翔 [5] 探讨了一类非恰当微分方程积分因子的求解方法及其应用。国内外学者对不同类型的微分方程积分因子的求解方法进行了不同角度和不同层面的探讨 [5] - [8] 。常见的积分因子法中，所得的因子往往局限于x或y的单变量依赖，这显然会给实际应用带来一定的局限性。实际上，探讨多元复合积分因子的求解策略在实际问题中至关重要。本文给出了三类同时依赖于x和y的非恰当微分方程积分因子 $x^a+y^b$、 $a^x+b^y$和 $a^x{b}^y$。这三类积分因子具有对称形式，结构优美，简洁明了，方便记忆。首先，给出这三类积分因子存在的充要条件。然后，对这些充要条件进行证明。最后，通过实例说明这些充要条件的应用。通过探讨这些充要条件，为寻找合适的非恰当微分方程积分因子提供新的思路和新视野。

首先介绍恰当微分方程、非恰当微分方程和积分因子等相关概念。

定义1 [9] 对于给定的关于x和y的连续且可导函数 $M\left(x,y\right)$、 $N\left(x,y\right)$，若存在一个定义在区域D内的二元函数 $u\left(x,y\right)$，满足在该区域D内对所有变量x和y，有等式

$\text{d}u\left(x,y\right)=M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y$

恒成立，那么我们称方程

$M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$

为一个恰当的微分方程。在这种情况下，该方程的通用解即为 $u\left(x,y\right)=c$，其中 $u\left(x,y\right)$是满足上述条件的一个解。

不满足该式的微分方程则称为非恰当微分方程。

定义2 [9] 在区域 $D$内，如果存在一个连续可微的函数 $\mu =\mu \left(x,y\right)$，它使得

$\mu \left(x,y\right)M\left(x,y\right)\text{d}x+\mu \left(x,y\right)N\left(x,y\right)\text{d}y=0$

成为恰当微分方程，那么这个函数 $\mu \left(x,y\right)$就被称为方程

$M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$

的一个积分因子。

由定义2可以看出，利用积分因子是把非恰当微分方法转化为恰当微分方程的重要手段。接下来，将阐述非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$存在特定形式 $x^a+y^b$、 $a^x+b^y$和 $a^x{b}^y$的积分因子的充要条件。

定理1 非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =x^a+y^b$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{a{x}^{a-1}N-b{y}^{b-1}M}{x^a+y^b}$。

证明 首先证明其必要性。假设方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =x^a+y^b$的积分因子，根据定义2，可以推断出方程

$\left(x^a+y^b\right)M\left(x,y\right)\text{d}x+\left(x^a+y^b\right)N\left(x,y\right)\text{d}y=0$

是一个恰当微分方程.进一步地，根据定义1，确认存在一个二元可微函数 $u\left(x,y\right)$，使得

$\text{d}u\left(x,y\right)=\left(x^a+y^b\right)M\left(x,y\right)\text{d}x+\left(x^a+y^b\right)N\left(x,y\right)\text{d}y$。

因此，有

$\frac{\partial u}{\partial x}=\left(x^a+y^b\right)M$， $\frac{\partial u}{\partial y}=\left(x^a+y^b\right)N$。

然后分别对y和x求偏导数，可以得到

$\frac{{\partial }^{2}u}{\partial x\partial y}=b{y}^{b-1}M+\left(x^a+y^b\right)\frac{\partial M}{\partial y}$， $\frac{{\partial }^{2}u}{\partial y\partial x}=a{x}^{a-1}N+\left(x^a+y^b\right)\frac{\partial N}{\partial x}$。

鉴于 $M\left(x,y\right)$、 $N\left(x,y\right)$关于x和y的连续可微特性，由微积分中的基本定理可知，其二阶混合偏导数必然相等，从而有

$b{y}^{b-1}M+\left(x^a+y^b\right)\frac{\partial M}{\partial y}=a{x}^{a-1}N+\left(x^a+y^b\right)\frac{\partial N}{\partial x}$，

进而可得

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{a{x}^{a-1}}{x^a+y^b}N-\frac{b{y}^{b-1}}{x^a+y^b}M$。

接下来证明充分性。假设

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{a{x}^{a-1}}{x^a+y^b}N-\frac{b{y}^{b-1}}{x^a+y^b}M$。

要证明方程

$\left(x^a+y^b\right)M\left(x,y\right)\text{d}x+\left(x^a+y^b\right)N\left(x,y\right)\text{d}y=0$

为恰当微分方程，即令 $\mu =x^a+y^b$，需要证明

$\frac{\partial \left(\mu M\right)}{\partial y}=\frac{\partial \left(\mu N\right)}{\partial x}$。

即证明

$N\frac{\partial \left(\mu \right)}{\partial x}-M\frac{\partial \left(\mu \right)}{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$。

为此，设 $z=x^a+y^b$，有

$\frac{\partial \mu }{\partial x}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial x}=\frac{\text{d}\mu }{\text{d}z}a{x}^{a-1}$， $\frac{\partial \mu }{\partial y}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial y}=\frac{\text{d}\mu }{\text{d}z}b{y}^{b-1}$，

代入式子 $N\frac{\partial \mu }{\partial x}-M\frac{\partial \mu }{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$中得

$\left(a{x}^{a-1}N-b{y}^{b-1}M\right)\frac{\text{d}\mu }{\text{d}z}=\mu \left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\frac{\text{d}\mu }{\mu }=\frac{\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}}{a{x}^{a-1}N-b{y}^{b-1}M}\text{d}z$。

利用已知条件 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{a{x}^{a-1}}{x^a+y^b}N-\frac{b{y}^{b-1}}{x^a+y^b}M$，可以得到

$a{x}^{a-1}N-b{y}^{b-1}M=\left(x^a+y^b\right)\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\frac{\text{d}\mu }{\mu }=\frac{1}{x^a+y^b}\text{d}z=\frac{1}{z}\text{d}z$，

从而 $\mu =z=x^a+y^b$为方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$的积分因子，由定义1可知，此函数 $u\left(x,y\right)$满足条件

$\text{d}u\left(x,y\right)=\left(x^a+y^b\right)M\left(x,y\right)\text{d}x+\left(x^a+y^b\right)N\left(x,y\right)\text{d}y$。

方程的通解公式为

${\displaystyle \int \left(x^a+y^b\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(x^a+y^b\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(x^a+y^b\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

依据该定理，求解微分方程的步骤中，只需通过计算得出一个特定的表达式 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}$，将其与 $\frac{a{x}^{a-1}}{x^a+y^b}N-\frac{b{y}^{b-1}}{x^a+y^b}M$进行对比，这样便能确定积分因子的确切形式，进而可以借助这个形式将原方程转

化为恰当微分方程，从而顺利求解。

推论1 当方程中的a、b满足 $a=b=1$时，非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =x+y$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N-M}{x+y}$，

并且在此情况下，方程的通解可以表示为

${\displaystyle \int \left(x+y\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(x+y\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(x+y\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

推论2 当方程中的a满足 $a=0$时，非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =y^b+1$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=-\frac{b{y}^{b-1}}{y^b+1}M$，

并且在此情况下，方程的通解可以表示为

${\displaystyle \int \left(y^b+1\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(y^b+1\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(y^b+1\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

推论3 当方程中的b满足 $b=0$时，非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =x^a+1$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=-\frac{a{x}^{a-1}}{x^a+1}N$，

并且在此情况下，方程的通解可以表示为

${\displaystyle \int \left(x^a+1\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(x^a+1\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(x^a+1\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

定理2 非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =a^x+b^y$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}$。

证明 首先证明其必要性。假设方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =a^x+b^y$的积分因子。根据定义2，可以推断出该方程

$\left(a^x+b^y\right)M\left(x,y\right)\text{d}x+\left(a^x+b^y\right)N\left(x,y\right)\text{d}y=0$

是一个恰当微分方程。进一步地，根据定义1，确认存在一个二元可微函数 $u\left(x,y\right)$，使得

$\text{d}u\left(x,y\right)=\left(a^x+b^y\right)M\left(x,y\right)\text{d}x+\left(a^x+b^y\right)N\left(x,y\right)\text{d}y$。

因此，有

$\frac{\partial u}{\partial x}=\left(a^x+b^y\right)M$， $\frac{\partial u}{\partial y}=\left(a^x+b^y\right)N$。

然后分别对y和x求偏导数，可以得到

$\frac{{\partial }^{2}u}{\partial x\partial y}=M{b}^y\ln b+\left(a^x+b^y\right)\frac{\partial M}{\partial y}$， $\frac{{\partial }^{2}u}{\partial y\partial x}=N{a}^x\ln a+\left(a^x+b^y\right)\frac{\partial N}{\partial x}$。

鉴于 $M\left(x,y\right)$、 $N\left(x,y\right)$关于x和y的连续可微特性，由微积分中的基本定理可知，其二阶混合偏导数必然相等，从而有

$M{b}^y\ln b+\left(a^x+b^y\right)\frac{\partial M}{\partial y}=N{a}^x\ln a+\left(a^x+b^y\right)\frac{\partial N}{\partial x}$，

进而可得

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}$。

接下来证明充分性。假设

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}$。

要证明方程

$\left(a^x+b^y\right)M\left(x,y\right)\text{d}x+\left(a^x+b^y\right)N\left(x,y\right)\text{d}y=0$

为恰当微分方程，即令 $\mu =\mu \left(a^x+b^y\right)$，需要证明

$\frac{\partial \left(\mu M\right)}{\partial y}=\frac{\partial \left(\mu N\right)}{\partial x}$，

即证明

$N\frac{\partial \mu }{\partial x}-M\frac{\partial \mu }{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$。

为此，设 $z=a^x+b^y$，有

$\frac{\partial \mu }{\partial x}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial x}=\frac{\text{d}\mu }{\text{d}z}{a}^x\ln a$， $\frac{\partial \mu }{\partial y}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial y}=\frac{\text{d}\mu }{\text{d}z}{b}^y\ln b$，

代入式子 $N\frac{\partial \mu }{\partial x}-M\frac{\partial \mu }{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$中得

$\left(N{a}^x\ln a-M{b}^y\ln b\right)\frac{\text{d}\mu }{\text{d}z}=\mu \left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\frac{\text{d}\mu }{\mu }=\frac{\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}}{N{a}^x\ln a-M{b}^y\ln b}\text{d}z$。

利用已知条件 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}$，可以得到

$N{a}^x\ln a-M{b}^y\ln b=\left(a^x+b^y\right)\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\frac{\text{d}\mu }{\mu }=\frac{1}{a^x+b^y}\text{d}z=\frac{1}{z}\text{d}z$，

从而 $\mu =z=a^x+b^y$为方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$的积分因子，由定义1可知，此函数 $u\left(x,y\right)$满足条件

$\text{d}u\left(x,y\right)=M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y$。

方程的通解公式为

${\displaystyle \int \left(a^x+b^y\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(a^x+b^y\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(a^x+b^y\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

依据该定理，求解微分方程的步骤中，只需要通过计算得出一个特定的表达式 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}$，将其与 $\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}$进行对比，这样便能确定积分因子的确切形式，进而可以借助这个形式将原方程转化

为恰当微分方程，从而顺利求解。

定理3 非恰当微分方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =a^x{b}^y$的积分因子的充要条件是

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=N\ln a-M\ln b$。

证明 首先证明其必要性。假设方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$具有特定形式 $\mu =a^x{b}^y$的积分因子，根据定义2，可以推断出该方程

$\left(a^x{b}^y\right)M\left(x,y\right)\text{d}x+\left(a^x{b}^y\right)N\left(x,y\right)\text{d}y=0$

是一个恰当微分方程。进一步地，根据定义1，确认存在一个二元可微函数 $u\left(x,y\right)$，使得

$du\left(x,y\right)=\left(a^x{b}^y\right)M\left(x,y\right)\text{d}x+\left(a^x{b}^y\right)N\left(x,y\right)\text{d}y$，

因此，有

$\frac{\partial u}{\partial x}=\left(a^x{b}^y\right)M$， $\frac{\partial u}{\partial y}=\left(a^x{b}^y\right)N$。

然后分别对y和x求偏导数，可以得到

$\frac{{\partial }^{2}u}{\partial x\partial y}=M{a}^x{b}^y\ln b+\left(a^x{b}^y\right)\frac{\partial M}{\partial y}$， $\frac{{\partial }^{2}u}{\partial y\partial x}=N{a}^x{b}^y\ln a+\left(a^x{b}^y\right)\frac{\partial N}{\partial x}$。

鉴于 $M\left(x,y\right)$、 $N\left(x,y\right)$关于x和y的连续可微特性，由微积分中的基本定理可知，其二阶混合偏导数必然相等，从而有

$M{a}^x{b}^y\ln b+\left(a^x{b}^y\right)\frac{\partial M}{\partial y}=N{a}^x{b}^y\ln a+\left(a^x{b}^y\right)\frac{\partial N}{\partial x}$，

进而可得

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=N\ln a-M\ln b$。

接下来证明充分性。假设

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=N\ln a-M\ln b$。

要证明方程

$\left(a^x{b}^y\right)M\left(x,y\right)\text{d}x+\left(a^x{b}^y\right)N\left(x,y\right)\text{d}y=0$

为恰当微分方程，即令 $\mu =\mu \left(a^x{b}^y\right)$，需要证明

$\frac{\partial \left(\mu M\right)}{\partial y}=\frac{\partial \left(\mu N\right)}{\partial x}$，

即证明

$N\frac{\partial \mu }{\partial x}-M\frac{\partial \mu }{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$。

为此，设 $z=a^x{b}^y$，有

$\frac{\partial \mu }{\partial x}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial x}=\frac{\text{d}\mu }{\text{d}z}{a}^x{b}^y\ln a$， $\frac{\partial \mu }{\partial y}=\frac{\text{d}\mu }{\text{d}z}\frac{\partial z}{\partial y}=\frac{\text{d}\mu }{\text{d}z}{a}^x{b}^y\ln b$，

代入式子 $N\frac{\partial \mu }{\partial x}-M\frac{\partial \mu }{\partial y}=\left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\mu$中得

$\left(N{a}^x{b}^y\ln a-M{a}^x{b}^y\ln b\right)\frac{\text{d}\mu }{\text{d}z}=\mu \left(\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}\right)\frac{\text{d}\mu }{\mu }=\frac{\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}}{N{a}^x{b}^y\ln a-M{a}^x{b}^y\ln b}\text{d}z$。

利用已知条件 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=N\ln a-M\ln b$，可以得到

$\frac{\text{d}\mu }{\mu }=\frac{1}{a^x{b}^y}\text{d}z=\frac{1}{z}\text{d}z$，

从而 $\mu =z=a^x{b}^y$为方程 $M\left(x,y\right)\text{d}x+N\left(x,y\right)\text{d}y=0$的积分因子，由定义1可知，此函数 $u\left(x,y\right)$满足条件

$\text{d}u\left(x,y\right)=\left(a^x{b}^y\right)M\left(x,y\right)\text{d}x+\left(a^x{b}^y\right)N\left(x,y\right)\text{d}y$。

方程的通解公式为

${\displaystyle \int \left(a^x{b}^y\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(a^x{b}^y\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(a^x{b}^y\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

依据该定理，求解微分方程的步骤中，只需通过计算得出一个特定的表达式 $\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}$，将其与 $N\ln a-M\ln b$

进行对比，这样便能确定积分因子的确切形式，进而可以借助这个形式将原方程转化为恰当微分方程，从而顺利求解。

例1 求解方程 $x^2\text{d}x+y^2\text{d}y=0$。

解 设 $M=x^2$、 $N=y^2$。计算得

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=0$， $\frac{a{x}^{a-1}N-b{y}^{b-1}M}{x{}^a+y^b}=\frac{a{x}^{a-1}{y}^2-b{y}^{b-1}{x}^2}{x{}^a+y^b}$。

根据上述定理1，令

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{a{x}^{a-1}N-b{y}^{b-1}M}{x{}^a+y^b}$，

即

$0=a{x}^{a-1}{y}^2-b{y}^{b-1}{x}^2$。

容易看出， $a=b=3$，故方程的积分因子为 $\mu =x^3+y^3$。应用通解公式

$\begin{array}{l}{\displaystyle \int \left(x^a+y^b\right)}M\left(x,y\right)\text{d}x+{\displaystyle \int \left({\displaystyle \int \left(x^a+y^b\right)N\left(x,y\right)}-\frac{\partial }{\partial y}{\displaystyle \int \left(x^a+y^b\right)}M\left(x,y\right)\text{d}x\right)\text{d}y}\\ ={\displaystyle \int \left(x^3+y^3\right)x^2\text{d}x}+{\displaystyle \int \left({\displaystyle \int \left(x^3+y^3\right)y^2}-\frac{\partial }{\partial y}{\displaystyle \int \left(x^3+y^3\right)x^2\text{d}x}\right)\text{d}y}=c。\end{array}$

求得方程通解为 $\frac{1}{6}{x}^6+\frac{1}{3}{x}^3{y}^3+y^5=c$，其中 $c$为任意常数。

例2 求解方程 $\left(3^x+2^y\right)\left(\cos x\text{d}x+\sin y\text{d}y\right)=0$。

解 设 $M=3^x\cos x$、 $N=2^y\sin y$。计算得

$\begin{array}{l}\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=2^y\ln 2\cos x-3^x\ln 3\sin y\frac{N{a}^x\ln a-M{b}^y\ln b}{a^x+b^y}\\ =\frac{\left(3^x+2^y\right)\sin y{a}^x\ln a-\left(3^x+2^y\right)\cos x{b}^y\ln b}{a^x+b^y}。\end{array}$

根据上述定理2，令

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=\frac{N{a}^x\ln a-M{b}^y\ln b}{a{}^x+b^y}$。

容易看出， $a=3$、 $b=2$，故方程的积分因子为 $\mu =-\left(3^x+2^y\right)$。应用通解公式

${\displaystyle \int \left(a^x+b^y\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(a^x+b^y\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(a^x+b^y\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$，

求得方程通解为

$\begin{array}{l}\frac{2^{2y}\cos y}{4\log {\left(2\right)}^2+1}-\frac{3^{2x}\sin x}{4\log {\left(3\right)}^2+1}+\frac{2^y\left(3^x\sin x+3^x\log 3\cos x\right)}{\log {\left(3\right)}^2+1}-\frac{2^y{3}^x\sin x}{\log {\left(3\right)}^2+1}\\ -\frac{2\cdot 3^{2x}\log 3\cos x}{4\log {\left(3\right)}^2+1}-\frac{2\cdot 2^{2y}\log 2\sin y}{4\log {\left(2\right)}^2+1}\frac{2^y\cos y\left(3^x\log {\left(3\right)}^2+3^x\right)}{\left(\log {\left(2\right)}^2+1\right)\left(\log {\left(3\right)}^2+1\right)}\\ -\frac{2^y{3}^x\log 3\cos x}{\log 3+1}-\frac{2^y\log 2\sin y(3^x\log {\left(3\right)}^2+3^x)}{\left(\log {\left(2\right)}^2+1\right)\left(\log {\left(3\right)}^2+1\right)}=c，\end{array}$

其中为任意常数。

例3 求解方程 $2^{y}dy+3^{x}dy=0$。

解 设 $M=2^y$、 $N=3^x$。计算得

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=2^y\ln 2-3^x\ln 3M\ln b-N\ln a=2^y\ln b-3^x\ln a$。

根据上述定理3，令

$\frac{\partial M}{\partial y}-\frac{\partial N}{\partial x}=M\ln b-N\ln a$。

容易看出， $a=3$、 $b=2$，故方程的积分因子为 $\mu =3^x{2}^y$。应用通解公式

${\displaystyle \int \left(a^x{b}^y\right)M\left(x,y\right)\text{d}x}+{\displaystyle \int \left(\left(a^x{b}^y\right)N\left(x,y\right)-\frac{\partial }{\partial y}{\displaystyle \int \left(a^x{b}^y\right)M\left(x,y\right)\text{d}x}\right)\text{d}y}=c$。

求得方程通解为 $\frac{2^{2y}{3}^x}{\log 3}+\frac{2^y{3}^x\left(3^x\log 3-2^y\log 2\right)}{\log 2\log 3}=c$，其中 $c$为任意常数。

非恰当微分方程是一类特殊的微分方程，本文主要讨论了非恰当微分方程的积分因子求解问题。首先，给出了三类形如 $x^a+y^b$、 $a^x+b^y$和 $a^x{b}^y$的非恰当微分方程积分因子的充要条件及相应的推论。这三

类积分因子比形如 $\frac{y^b}{x^a}$和 $\frac{1}{y}{\text{e}}^{{\displaystyle \int f(x)\text{d}x}}$等其他类型的非恰当微分方程积分因子更加简洁，求解方法更加简便，

拓展了非恰当微分方程的求解范围，丰富了非恰当微分方程的求解方法。然后，就这些积分因子予以举例分析。最后，以本文类型对应的方程及相应的结论进行求解。但是寻找非恰当微分方程合适的积分因子是十分困难的，因此，方便快捷找出合适实用的积分因子，为求解非恰当微分方程提供更加有效的方法是值得今后努力探索的课题。

国家自然科学基金资助项目(12161028)，广西自然科学基金资助项目(GuikeAD20159017)，广西科技基地和人才专项(桂科AD20159017)。

^*通讯作者。