常微分方程数学学院授课笔记31上次初等变换法Bernoulli伯努利.PDF

常常常微微微分分分方方方程程程 （（（数数数学学学学学学院院院）））授授授课课课笔笔笔记记记嬳 王成波 嬱嬮 上次 初等变换法 ：孂孥孲孮孯孵孬孬孩嬨伯努利嬩方程 嬫 嬨嬩 嬽 嬨嬩 嬽 嬰 嬱嬻 孒孩季季孡孴孩嬨黎卡提嬩方程 嬫 嬨嬩 嬫 嬨嬩 嬽 嬨嬩嬻 齐次嬨型嬩方程 嬽 嬨嬩嬻 恰当方程 嬨 嬩 嬫 嬨 嬩 嬽 嬰 若存在 ，使得 嬨 嬩 嬽 嬨 嬩嬫 嬨 嬩嬬 则称方程为恰当方程 ，且此时通解嬨积分嬩为 嬨 嬩 嬽 嬮 嬲嬮 积分因子法 孑嬱不是恰当方程 ，如何求解？线性非齐次方程的启示 。 嬨嬊嬩嬬 嬨嬨 嬩 嬽 嬰嬬 嬨 嬩 嬊嬩 嬨 嬩 嬫 嬨 嬩 嬽 嬰 若不是恰当方程嬨例如 嬽 嬩嬬 但是存在某个恒不为零的函数 ，使得 嬨 嬩 嬫 嬨 嬩 嬽 嬰 是恰当方程 ，称为积分因子 。 孑嬲 存在性？说明：可 以求解 存在积分因子 设 （非平凡）通积分为 嬨 嬩 嬽 ，则 嬫 嬽 嬰嬬 不失一般性嬬 在某个小邻域 内，设 嬽 嬰嬬 则 由隐函 数定理 ， 嬽 嬨 嬩为通解 ，我们断言 嬽 嬰嬮 事实上 ，由于是解嬬 嬫 嬽 嬫 嬽 嬨 嬫 嬩 嬽 嬰 嬫 嬰嬬 若 嬽 嬰嬬 则 嬽 嬰嬬 方程在该点退化嬮 与非退化假设不符嬮 嬽 嬽 令 嬽 ，则 嬽 嬬 即有 嬨 嬫 嬩 嬽 嬫 嬽 孑嬳 唯一性？ 不唯一嬮 嬬 嬽 嬰嬮 除此之外？ 换句话说 ，观察到 ，若包含 嬽 嬰 ，则积分因子的集合组成一个线性空间嬮 该线性空间维数是一维还是高维？ 例例例嬱嬮 嬽 嬰 嬰嬬 嬰 嬽 嬬 嬨嬩 嬽 嬰嬻 嬽 嬬 嬨嬩 嬽 嬰嬻 嬽 嬬 嬨孡孲季孴孡孮嬨嬩嬩 嬽 嬰 观察 ：发现一般的，积积积分分分因因因子子子不不不唯唯唯一一一嬮 但是通积分都有 嬨嬩的共同形式嬮 启 发 ：为积分 因子 ， 为相应 的原 函数 ，即有通积分 嬨 嬩 嬽 嬮 注意到 ，对于任意 非退化 的 函数 嬨 嬽 嬰嬩 ， 嬨 嬨 嬩嬩 嬽 仍然上方程的通积分嬮 于是 嬨 嬨 嬩嬩 嬽 嬨 嬩 嬽 嬨 嬩嬨 嬫 嬩 嬽 嬰 我们得到 嬨 嬩仍然是积分因子嬮 总总总结结结 ：：：为为为积积积分分分因因因子子子 ，，， 为为为原原原 函函函数数数 ，，，即即即 嬽 嬨 嬫 嬩 ，，，则则则对对对于于于任任任意意意恒恒恒不不不为为为零零零 的的的连连连续续续 函函函数数数 嬬 嬨 嬩仍仍仍 然然然是是是积积积分分分因因因子子子 ，因为