【数学】一阶线性微分方程的通解的变限积分形式

嵌套积分的上下限变化

一阶线性微分方程的通解是：
$$y={\mathrm{e}}^{-\int p(x)\mathrm{d}x}\left[\int {\mathrm{e}}^{\int p(x)\mathrm{d}x}\cdot q(x)\mathrm{d}x+C\right]$$

也可以写为变限积分形式：
$$y={\mathrm{e}}^{-{\int }_{x_0}^{x}p(t)dt}\left[{\int }_{x_0}^{x}q(t){\mathrm{e}}^{{\int }_{x_0}^{t}p(s)\mathrm{d}s}\mathrm{d}t+C\right]$$

我不理解写为变限积分形式的时候，为什么外面如果是dt的微元，里面的变限积分的下界是x0，上届就是t了。

解答：

在解释一阶线性微分方程的通解为何能写成变限积分形式时，我们需要理解积分上下限的选择和微元的含义。具体解释如下：

首先，我们从一阶线性微分方程的标准形式出发：
$$\frac{dy}{dx}+p(x)y=q(x)$$

通过使用积分因子的方法解这类方程，得到的通解为：
$$y={\mathrm{e}}^{-\int p(x)dx}\left[\int {\mathrm{e}}^{\int p(x)dx}\cdot q(x)dx+C\right]$$

为了更好地理解这个解的形式，我们可以回顾一下求解过程中的几个关键步骤：

1. 积分因子的引入：
   设积分因子为 $\mu (x)={\mathrm{e}}^{\int p(x)dx}$，通过将原方程乘以这个积分因子，可以将方程变为可分离变量的形式。

2. 方程两边积分：
   将变换后的方程进行积分得到通解。

当我们使用变限积分的形式时，实际是应用了定积分的基本性质和积分因子的物理意义。

变限积分形式表示为：
$$y={\mathrm{e}}^{-{\int }_{x_0}^{x}p(t)dt}[{\int }_{x_0}$$