微積分學(xué)PPt標(biāo)準(zhǔn)課件37-第37講線性微分方程解的結(jié)構(gòu)

高 等 院 校 非 數(shù) 學(xué) 類 本 科 數(shù) 學(xué) 課 程 腳 本 編 寫 ： 劉 楚 中 教 案 制 作 ： 劉 楚 中 第 七 章 常 微 分 方 程本 章 學(xué) 習(xí) 要 求 ：n了 解 微 分 方 程 、 解 、 通 解 、 初 始 條 件 和 特 解 的 概 念 .n了 解 下 列 幾 種 一 階 微 分 方 程 ： 變 量 可 分 離 的 方 程 、 齊 次 方 程 、 一 階 線 性 方 程 、 伯 努 利 （ Bernoulli） 方 程 和 全 微 分 方 程 .熟 練 掌 握 分 離 變 量 法 和 一 階 線 性 方 程 的 解 法 .n會 利 用 變 量 代 換 的 方 法 求 解 齊 次 方 程 和 伯 努 利 方 程 .n知 道 下 列 高 階 方 程 的 降 階 法 ： .)()( xfy n ),( yxfy ),( yyfy n了 解 高 階 線 性 微 分 方 程 階 的 結(jié) 構(gòu) ， 并 知 道 高 階 常 系 數(shù) 齊 線 性 微 分 方 程 的 解 法 .n熟 練 掌 握 二 階 常 系 數(shù) 齊 線 性 微 分 方 程 的 解 法 .n掌 握 自 由 項(xiàng) （ 右 端 ） 為 多 項(xiàng) 式 、 指 數(shù) 函 數(shù) 、 正 弦 函 數(shù) 、 余 弦 函 數(shù) 以 及 它 們 的 和 或 乘 積 的 二 階 常 系 數(shù) 非 齊 線 性 微 分 方 程 的 解 法 . 第 四 節(jié) 二 階 常 系 數(shù) 線 性 微 分 方 程一 、 高 階 線 性 微 分 方 程 的 一 般 理 論二 、 二 階 常 系 數(shù) 齊 線 性 微 分 方 程 的 解三 、 二 階 常 系 數(shù) 非 齊 線 性 微 分 方 程 的 解 一 、 高 階 線 性 微 分 方 程 的 一 般 理 論 n 階 線 性 方 程 的 一 般 形 式 為 )()()()( 1)1(1)( 。xfyxpyxpyxpy nnnn 0)( 階 齊 線 性 微 分 方 程 ；時 ， 稱 為當(dāng) nxf 0)( 階 非 齊 線 性 微 分 方 程 ；時 ， 稱 為當(dāng) nxf ) ,2 ,1 ( )( 數(shù) 方 程 ；均 為 常 數(shù) 時 ， 稱 為 常 系當(dāng) nixpi ) ,2 ,1 ( )( 系 數(shù) 方 程 。不 全 為 常 數(shù) 時 ， 稱 為 變當(dāng) nixpi 二 階 線 性 微 分 方 程 的 一 般 形 式 為 )()()( 。xfyxqyxpy : 0)( 時 ， 方 程 稱 為 齊 方 程當(dāng) xf 0)()( 。 yxqyxpy ) 1 ( )2(通 常 稱 ( 2 ) 為 ( 1 ) 的 相 對 應(yīng) 的 齊 方 程 。 我 們 討 論 二 階 線 性 方 程 的 一 般 理 論 ， 所 得 結(jié) 論 可自 然 推 廣 至 n 階 線 性 方 程 中 。 1. 二 階 齊 次 線 性 微 分 方 程 的 性 質(zhì) 和 解 的 結(jié) 構(gòu)(1) 疊 加 原 理 是 二 階 齊 線 性 微 分 方 程和若 )( )( 21 xyxy 0)()( yxqyxpy的 解 ， 則 它 們 的 線 性 組 合 )()( 2211 xycxyc 也 是 方 程 (2) 的 解 ， )2( ) ( 21 。不 一 定 相 互 獨(dú) 立為 任 意 常 數(shù)、其 中 cc你 打 算 怎 么 證 明 這 個 原 理 ？ 證 )2( )()()( 2211 中 ， 得， 代 入 方 程令 xycxycxy )()()()()( 22112211 xycxycxpxycxyc )()()( 2211 xycxycxq )()()()()( 22112211 xycxycxpxycxyc )()()( 2211 xycxycxq )()()()()( 1111 xyxqxyxpxyc )()()()()( 2222 xyxqxyxpxyc 000 ， )2( )()()( 2211 的 解 。為 方 程即 xycxycxy 0)()()( 1)1(1)( yxpyxpyxpy nnnn ) .,2 ,1 ( )( 階 齊 線 性 微 分 方 程是若 nnixyi 的 解 ， 則 它 們 的 線 性 組 合 ni ii xycxy 1 )()(也 是 方 程 (2) 的 解 。 ) ( ) ,2 ,1 ( 。不 一 定 相 互 獨(dú) 立為 任 意 常 數(shù)其 中 nici )2( 在 什 么 情 況 下 ， 疊 加 所 得 可 以 成 為 方 程 (2) 的 通 解 ？ (2) 線 性 無 關(guān) 、 線 性 相 關(guān) )()( 21 上 有 定 義 。在 區(qū) 間、設(shè) 函 數(shù) Ixyxy 21 ， 使 得和若 存 在 不 全 為 零 的 常 數(shù) cc 0)()( 2211 ，Ixxycxyc )( )( 21 上 是 線 性 相 關(guān) 的 。在 區(qū) 間與則 稱 函 數(shù) Ixyxy )( )( 21 上 是 線 性 無 關(guān) 的 。在 區(qū) 間與否 則 稱 函 數(shù) Ixyxy 時 ， 才 有當(dāng) 且 僅 當(dāng) 0 21 cc 0)()( 2211 ，Ixxycxyc )( )( 21 上 線 性 無 關(guān) 。在 區(qū) 間與則 Ixyxy 例證 sin cos 線 性 無 關(guān) 的 。在 任 何 一 個 區(qū) 間 上 均 為與證 明 ： xx sin cos 全 為 零上 線 性 相 關(guān) ， 則 存 在 不在 某 區(qū) 間與若 Ixx )0( 221 ， 使不 妨 設(shè)，的 常 數(shù) ccc 0sincos 21 ，Ixxcxc tan 21 。即 Ixcccx 由 三 角 函 數(shù) 知 識 可 知 ， 這 是 不 可 能 的 ， 故 sin cos 線 性 無 關(guān) 的 。在 任 何 一 個 區(qū) 間 上 均 為與 xx 例證 1sin cos 22 線 性 相 關(guān) 的 。在 任 何 區(qū) 間 上 均 為與證 明 ： xx ) ,( 1 21 時 ， 有， 則 當(dāng)取 xcc 01sincos)1(sincos 222221 ， xxxcxc 1sin cos 22 線 性 相 關(guān) 的 。在 任 何 區(qū) 間 上 均 為與故 xx 朗 斯 基 ( Wronsky ) 行 列 式 )()( 21 上 有 定 義 ， 且 有 一 階在 區(qū) 間、設(shè) 函 數(shù) Ixyxy )()( )()( )(),( 21 2121 xyxy xyxyxyxyW )()( 21 上 的 朗 斯 基 行 列 式 。在 區(qū) 間、稱 為 函 數(shù) Ixyxy 導(dǎo) 數(shù) ， 則 行 列 式朗 斯 基 行 列 式 可 以 推 廣 到 n 個 函 數(shù) 的 情 形 。 0)(),( 21 ，若 IxxyxyW )()( 21 上 線 性 無 關(guān) 。在，則 函 數(shù) Ixyxy 例 )2 ,0( 1 cossin sincos sin,cos 。 xxx xxxxW )2 ,0( sin cos 上 線 性 無 關(guān) 。在 區(qū) 間與故 xx (3) 二 階 齊 線 性 微 分 方 程 解 的 結(jié) 構(gòu) )()( 21 是 二 階 齊 線 性 方 程、若 xyxy (2) 0)()( yxqyxpy的 兩 個 線 性 無 關(guān) 的 解 ， 則 )()()( 2211 xycxycxy 是 方 程 (2) 的 通 解 。 0)()()( ， 則 方 程若 xqxpxh 0)()()( yxqyxpyxh 。必 有 一 解 xey )()( ， 即 可 得 證 。的 特 點(diǎn) ：由 函 數(shù) xxxx eeee 例解 0)1( 的 通 解 。求 方 程 yyxyx 01)1( ， 所 以 ，因 為 xx xey 是 原 方 程 的 一 個 解 。又 容 易 看 出 ： 也 是 原 方 程 的 一 個 解 。xy 而 )1( 1 , ， xeeexexW xxxx 0, 1 線 性 無 關(guān) 。與， 從 而 ， 故由 題 意 xx exexWx 由 疊 加 原 理 ， 原 方 程 的 通 解 為 21 。xeCxCy )()( 21 線 性 無 關(guān)、 xyxy )( )( 21 常 數(shù)xy xy 0)()( )( 1 的 一 個 解 ，是 方 程如 果 已 知 yxqyxpyxy ? )( )( 21 xyxy 線 性 無 關(guān) 的 解如 何 求 出 方 程 的 一 個 與 0)()( )( 1 的 一 個 非 零 解 。是 方 程如 果 已 知 yxqyxpyxy ),()( )( )( )( 1212 則線 性 無 關(guān) 的 解 ：是 方 程 的 與若 xcxy xyxyxy )()()( 12 ，xyxcxy 代 入 方 程 中 ， 得 0)()()(2()()()( 111111 。 xcyxcyxpyxcyxqyxpy 1 是 方 程 的 解 ， 故 得因 為 y 0)()()(2( 111 。 xcyxcyxpy )( xc關(guān) 鍵 是 求 出怎 么 做 ？ )( ， 則 有令 xcz 0)(2( 111 。 zyxpyzy 關(guān) 于 z 的 一 階 線 性 方 程 即 0 )(2 1 11 。 zy yxpyz故 有 1)( d)(2d)(2 1 11 ， xxpxy yxpy eyexcz兩 邊 積 分 ， 得 d1)( d)(2 ， xeyxc xxp )( 1 線 性 無 關(guān) 的 解與 xy d )()()()( 2 d)(112 。 xyexyxyxcxy xxp 0)()( 的 通 解 為從 而 ， 方 程 yxqyxpy )()( 2211 。xyCxyCy 關(guān) 于 z 的 一 階 線 性 方 程 劉 維 爾 公 式 0)()( )( 1 的 一 個 非 零 解 ，是 方 程若 yxqyxpyxy d )()( 2 d)(12 xyexyxy xxp )( 1 線 性 無 關(guān) 的 解 ， 且是 方 程 的 與 xy )()( 2211 xyCxyCy 為 原 方 程 的 通 解 。則 例解 02 的 通 解 。求 方 程 yyy 0121 ， 所 以 ， 方 程 有 解因 為 系 數(shù) 滿 足 ： )(1 。xexy 由 劉 維 爾 公 式 d)()( 2d)2(2 ，xx xx xexeeexy 故 原 方 程 的 通 解 為 )( 2121 。xCCeexCeCy xxx 2. 二 階 非 齊 線 性 微 分 方 程 解 的 結(jié) 構(gòu)(1) 解 的 性 質(zhì) 是 方 程若 )(* xy )()()( xfyxqyxpy )( 1 是 其 對 應(yīng) 的 齊 方 程的 一 個 特 解 ， 而 xy 0)()( yxqyxpy的 一 個 特 解 ， 則 )(*)(1 xyxyy 是 原 方 程 的 一 個 特 解 。 是 方 程若 )( 1 xy )()()( 1 xfyxqyxpy )( 2 是 方 程的 一 個 特 解 ， 而 xy )()()( 2 xfyxqyxpy 的 一 個 特 解 ， 則 )()( 21 xyxyy 是 方 程 )()()()( 21 xfxfyxqyxpy 的 一 個 特 解 。 是 方 程與若 )( )( 21 xyxy )()()( xfyxqyxpy 的 任 意 兩 個 特 解 ， 則 )()( 21 xyxyy 是 其 對 應(yīng) 的 齊 方 程 0)()( yxqyxpy的 一 個 特 解 。 是 方 程若 )(i)(* 21 xyxyy )(i)()()( 21 xfxfyxqyxpy )()()( 1 xfyxqyxpy 的 一 個 特 解 。 )( 1 是 方 程的 一 個 特 解 ， 則 xy )( 2 是 方 程的 一 個 特 解 ； xy )()()( 2 xfyxqyxpy *Re 1yy 實(shí) 部 *mI 2yy 虛 部 可 以 直 接 驗(yàn) 證 性 質(zhì) 1性 質(zhì) 4 。 是 方 程若 )(* xy )()()( xfyxqyxpy )( 是 其 對 應(yīng) 的 齊 方 程的 一 個 特 解 ， 而 xy 0)()( yxqyxpy的 通 解 ， 則 )(*)( xyxyy 是 方 程 (1) 的 通 解 。 ) 1 ( )2(由 性 質(zhì) 1 以 及 通 解 的 概 念 立 即 可 以 得 知 該 定 理 成 立 。 )(* )()()( xyxfyxqyxpy 的 特 解求 方 程 )(* )()()( xyxfyxqyxpy 的 特 解求 方 程 )()()( 2211 是 齊 方 程 的 通 解 ：設(shè) xyCxyCxy 0)()( 。 yxqyxpy )2( )( )( 2211 為 待 定 的 可 微 函 數(shù) 。，令 xCCxCC )()()()()( 2211 是 非 齊 方 程 的 解 ：設(shè) xyxCxyxCxy )()()( ，xfyxqyxpy ) 1 (則 有 )()()()()()()()( 22221111 ，xyxCxyxCxyxCxyxCy 令 0)()()()( 2211 ， xyxCxyxC )3( 于 是 )()()()( 2211 。xyxCxyxCy 對 上 式 兩 邊 關(guān) 于 x 求 導(dǎo) ， 得 )()()()()()()()( 22221111 。xyxCxyxCxyxCxyxCy ) 1 ( 式 ， 得的 表 達(dá) 式 代 入、將 yyy )()()()()()()()( 22221111 xyxCxyxCxyxCxyxC )()()()()( 2211 xyxCxyxCxp )()()()()()( 2211 xfxyxCxyxCxq 這 兩 部 分為 零 。即 )()()()()( 2211 。xfxyxCxyxC )4( 聯(lián) 立 (3)、 (4) 構(gòu) 成 方 程 組 0)()()()( 2211 ， xyxCxyxC )()()()()( 2211 。xfxyxCxyxC )( 2 ， 則和 xC解 此 方 程 組 ， 再 積 分 ， 并 取 積 分 常 數(shù) 為 零 ， 即 可 得 到 )(1 xC )()()()()(* 2211 xyxCxyxCxy )()()( 的 一 個 特 解 。為 方 程 xfyxqyxpy 例解 22 的 通 解 。求 方 程 xxeyyy 該 方 程 所 對 應(yīng) 的 齊 方 程 為 02 。 yyy它 就 是 我 們 剛 剛 講 過 的 例 題 ， 由 劉 維 爾 公 式 得 其 通 解 為 21 。xx exCeCy 由 常 數(shù) 變 易 法 ， 解 方 程 組 0 )( )( 21 ， xx xexCexC 2)( )( 21 。xxxx exexexCexC 21 xxexy ey ) 1 ( )2( ) 1 ()2( ， 得 2)( 2 ，xxC 兩 邊 積 分 ， 取 積 分 常 數(shù) 為 零 ， 得 )( 22 。xxC ) 1 ( 式 ， 得代 入 2)( 21 ，xxC 兩 邊 積 分 ， 取 積 分 常 數(shù) 為 零 ， 得 32)( 31 。xxC 故 原 方 程 有 一 特 解 3132)()(* 3232211 ，xxx exxexexyxCyxCy 從 而 ， 原 方 程 的 通 解 為 31* 321 。xxx exxeCeCyyy 0 )( )( 21 xx xexCexC 在 這 一 節(jié) 中 所 講 述 的 理 論 均 可 推 廣 到 n 階 線 性 微 分 方 程 中 去 。 參 考 書 ：北 京 大 學(xué) 、 復(fù) 旦 大 學(xué) 、 中 山 大 學(xué) 等 編 寫 的 常 微 分 方 程 教 材