微分方程：選教材，分段求解並核對模型
求解器傳回一個公式仍不夠。先說明區間、初值及接續規則，在切換點以外代回檢查，再解釋改變假設後哪些定性結論仍成立。
學習路線與例題編輯責任：University Reading List 編輯專案。 編輯與選書方法 · 來源核驗日期:
適用範圍與編輯責任
大學部常微分方程入門，並提供後續理論橋梁。Lebl指2026年第6版6.11修訂，Boyce等指2021第十二版所選活頁產品，Teschl區分2012年AMS書與作者獲准公開的預備稿。例題是原創無因次紙上模型，並非實體裝置或治療步驟，也不證明真實參數或數值軟體精度。
選擇你的起點
需要免費的第一門課路線
從Lebl一階章節開始，系統方程需要的線代可由附錄補足。先做選題，再看提供的解答。
課程指定傳統綜合教材
用Boyce等指定版連結方法、定性問題與應用，核對紙本形式及另需的課程權限。
想理解存在性及動力學
完成初步計算並準備證明後讀Teschl。免費預備稿頁碼不自動等於正式出版書。
三本書如何取捨
Notes on Diffy Qs: Differential Equations for Engineers（微分方程講義：給工程師的微分方程）
Jiří Lebl · 版次: 6 · 2026
免費的解法主線
- 適合何時選擇
- 已會基礎微積分，希望從解釋和練習進入方程組。
- 何時另選路線
- 急需另一教材相同題號，或主要想學高階動力系統證明。
- 建議閱讀範圍
- 6.11版1.1–1.4節為一階基礎，1.6為自治方程，1.7為Euler法，後讀第3章方程組。
- 限制與取捨
- 作者現行檔案是2026年5月。僅部分練習有答案，不能說成全題解；修訂日與版號不同。
選書前試做
首區間用積分因子導出y=2−e^(−2t)，不用求解器代回驗證。
檢查標準: 同時核對y(0)=1及y′+2y=4。積分常數錯，即使形式正確也不是指定初值解。
Elementary Differential Equations and Boundary Value Problems（基礎微分方程與邊界值問題）
William E. Boyce; Richard C. DiPrima; Douglas B. Meade · 版次: 12 · 2021
課程指定的廣泛應用路線
- 適合何時選擇
- 講義使用第十二版，或要廣泛查方法及應用。
- 何時另選路線
- 需要完整免費書，或僅要簡短一階路線。
- 建議閱讀範圍
- 2.1與2.4節講一階線性及線性非線性差異，2.7講Euler，2.8講存在唯一。
- 限制與取捨
- ISBN9781119777694對應2021活頁本；Wiley另列電子及權限套裝，紙本不自動包含平台使用權。
選書前試做
先畫分段輸入，在計算前預測y的連續性與切換處左右斜率。
檢查標準: 有限輸入階躍會改導數，不自動使狀態跳躍。須說明切換點的解意義，而非強求不存在的雙側導數。
Ordinary Differential Equations and Dynamical Systems
Gerald Teschl · 2012
免費的古典理論橋梁
- 適合何時選擇
- 能跟隨證明，希望理解解法背後的存在、唯一、相依與動力學。
- 何時另選路線
- 基礎積分尚不熟，或只想查演算法清單。
- 建議閱讀範圍
- 第1–2章為一階定性與初值理論，有矩陣準備後進第3章線性系統。
- 限制與取捨
- 作者PDF為經AMS許可的預備稿，明示修改及轉載限制。免費閱讀不等於可散布編輯後副本。
選書前試做
列出各區間使用初值定理前須核對的條件，說明切換模型為何還需接續。
檢查標準: 檢查各開區間係數及輸入正則性，不能不加解釋把要求輸入連續的定理跨越不連續點使用。
檢查先修準備
需要哪些微積分？
指數函數微分、積分因子、函數與導數的區別。方程組另需矩陣，理論路線還需證明成熟度。
初值屬於模型嗎？
是。解族並非指定軌跡，還要說明條件時刻與事件前後狀態是否連續。
方向場能證明什麼？
可幫助看斜率和可能行為，單靠曲線不能證明唯一性、長期行為或數值誤差界。
六步學習與具體成果
已標記完成的成果: 0 / 6
勾選用於自我記錄，並非成績評定；標記不會傳送給本站。
-
先寫模型
建議閱讀範圍: Lebl1.1–1.4或Boyce2.1。
動手產出: 寫清方程、初值、無因次定義域及兩段輸入。
檢查標準: 必須分段；切換後仍用4的式子是另一問題。
-
求解再代回
建議閱讀範圍: 同一線性方程路線。
動手產出: 保留任意常數導出首段，再固定常數並計算殘差y′+2y−4。
檢查標準: 殘差為零且符合初值，不能只檢查一個時刻。
-
在切換處接續
建議閱讀範圍: 回看一階建模和題設。
動手產出: 求1處左極限，施加連續性，再由該值解第二段。
檢查標準: 明寫t−1，區分左右導數；兩公式在1處給同一狀態。
-
檢查定性行為
建議閱讀範圍: Lebl1.6或Teschl1.3–1.5。
動手產出: 畫單調性及分段平衡，解釋1處斜率變化。
檢查標準: 前段向2上升，後段由正值向0衰減；不同區間平衡不同。
-
審查數值結果
建議閱讀範圍: Lebl1.7或Boyce2.7，後續理論可讀Teschl2.7。
動手產出: 說明跨越1的步長如何誤用輸入，提出在已知事件處分割網格。
檢查標準: 這是可重現計算規格，不是誤差界證明。比較前要報告步長及切換處理。
-
改變接續規則
建議閱讀範圍: 採用原推導及變式的更新條件。
動手產出: 解重置模型，說明新不連續為何是額外假設。
檢查標準: 跳躍條件須明示，不能由舊有限輸入階躍猜出；核對左右值及開區間內方程。
原創例題與解析
原創例題：輸入階躍改變的是斜率
無因次t≥0，解y′+2y=f(t)、y(0)=1；0≤t<1時f=4，t≥1時f=0。要求y在1處連續。求分段公式、y(1)、左右斜率及長期行為。
前提假設
數值和狀態皆原創精確設定。解連續且分段可微，ODE要求在兩開區間成立；輸入不連續點採積分或分段解釋，不聲稱該點有古典導數。首模型沒有瞬時狀態更新。
- 首段積分因子給y=2+Ce^(−2t)，初值確定C=−1，故y=2−e^(−2t)，連續性給y(1)=2−e⁻²。
- t>1為齊次方程，接續得y=(2−e⁻²)e^(−2(t−1))，隨時間趨向0。
- 左斜率2e⁻²，右斜率−4+2e⁻²，差−4正對應輸入下降。狀態連續，導數卻不連續。
答案與解釋
1前為2−e^(−2t)，1後為(2−e⁻²)e^(−2(t−1))，共同狀態2−e⁻²。軌跡先升後降；強求全域連續可微就改了題設模型。
檢驗結果
各段代回對應方程。對1附近縮小區間積分，有界輸入面積趨零，與狀態不跳躍一致。單點f取值不改變此積分解。
改變假設，再做一題
另加狀態更新，不再假定連續
保留兩段方程及初值，以明示事件規則y(1+)=y(1−)+3取代連續性。求新的事件後軌跡並比較。更新是另行給定的數學規則，不是由輸入階躍推出。
- 首段不變，y(1−)=2−e⁻²；新規則給y(1+)=5−e⁻²。
- t>1仍解同一齊次式，得y=(5−e⁻²)e^(−2(t−1))，與舊解差3e^(−2(t−1))。
- 兩條後段軌跡皆趨0，但暫態值不同。新軌跡不是舊有界驅動方程跨1處的連續積分解，更新條件須留在模型陳述中。
答案與解釋
後段係數由2−e⁻²變成5−e⁻²。長期極限相同不表示軌跡相同，也不允許刪去事件規則。
檢驗結果
核對跳躍恰為3、事後殘差y′+2y為零。把3改為0可回到原題；只切換f而不實施更新的數值法會解錯模型。
常見誤區
不能抹去區間
在各自定義域用方程，明確連結狀態。
連續不同於可微
連續狀態可有不同左右導數，有限輸入階躍不是狀態跳躍條件。
平滑圖像不是驗證
給出殘差、初值和接續檢查，以及數值設定，圖像可能掩蓋事件。
進入下一階段之前
- 導出兩段並核對初值及接續規則。
- 說明切換點內外使用方程的含義。
- 區分相同長期極限與相同暫態解。
來源與版次核驗
來源核驗日期:
- Lebl: official version, prerequisites and contents
作者確認首門課讀者、現行6.11及所選一階小節，解答僅限指定練習。
- Wiley: twelfth-edition loose-leaf identity and contents
出版社直接資料和目次確認2021第十二版活頁ISBN，電子及權限產品分開。
- Teschl: author-authorized preliminary text and contents
獲准公開預備稿提供理論章目，並區分閱讀與修改轉載許可。
這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。