一阶齐次线性微分方程

$$y ^{\prime} + P y \ {=} \ 0$$

$\Gamma: \left\langle y, P \right\rangle$

$\mathbf{Solution}\quad \alpha_0: x,\ x \Gamma y \quad \square \to \Gamma_0 \to \Gamma_1$

$\Gamma \to \Gamma_0 \ {=} \ \Gamma \mid \alpha_0$

改写导数形式

$${\color{Teal} \frac{\text{d} y}{\text{d} x}} + P {\color{Gray} y} \ {=} \ 0$$

$\left[\mathbb R :: \text{div}\right]$

$\alpha_1: \left\langle y \ne 0 \right\rangle \quad \square \to \Gamma_1$

$\_ : \left\langle y \ {=} \ 0 \right\rangle \quad \blacksquare$

$\Gamma \to \Gamma_0 \to \Gamma_1 \ {=} \ \Gamma_0 \mid \alpha_1$

除以 $y$

$${\color{Teal} \frac{1}{y}} \frac{\text{d} y }{\text{d} x} + {\color{Gray} P} {=} 0$$

$\mathbf{def}\quad \displaystyle I_1 \ {=} \ \int \text{d} {\color{Peach} x} \left\{ {\color{Peach} P} \right\}$

对 $x$ 积分

$${\color{Teal} \int} {\color{Cyan} \text{d} x} \left\{ \frac{1}{y} {\color{Gray} \frac{\text{d} y}{\text{d} x}}\right\} + {\color{Teal} I_1} \ {=} \ 0$$

$${\color{Grey} \int} {\color{Cyan} \text{d} y} {\color{Gray} \left\{ \frac{1}{y} \right\}} + I_1 \ {=} \ 0$$

$\left[\mathbb R :: \text{int}\right]\quad C$

$${\color{Cyan} \ln} {\color{Teal} \left| y \right|} + I_1 \ {=} \ {\color{Teal} C}$$

取指数

$${\color{Gray} \left| {\color{Black} y} \right|} \cdot {\color{Teal} e} ^{I_1} \ {=} \ {\color{Teal} e} ^C$$

$$y \ {=} \ {\color{Cyan} \pm} {\color{Gray} e^C} \cdot e ^{{\color{Teal} -} I_1}$$

$\mathbf{overload}\quad {\color{Peach} C} : C \ne 0$

$$y \ {=} \ {\color{Teal} C} e ^{- I_1}$$

$\blacksquare$

$\Gamma \to \Gamma_0 \rightleftharpoons \Gamma_1$

$\mathbf{overload}\quad {\color{Peach} C}$

$$y \ {=} \ {\color{Teal} C} e ^{- I_1}$$

$\blacksquare$

更笼统的情况

$y ^{\prime} + P y \ {=} \ {\color{Auqa} Q}$

更特殊的情况

$y ^{\prime} + {\color{Aqua} a} y \ {=} \ 0,\ {\color{Aqua} a ^{\prime} \ {=} \ 0}$