初值問題

數學敘述

初值問題由常微分方程及同一未知函數在指定點的初始資料組成。一階問題常給 y(x0)=y0；二階問題通常需 y(x0)=y0 與 y'(x0)=v0。候選解必須同時滿足方程與初值。

代表公式（精確 TeX）

y(a)=b

成立條件

• 題庫限整係數多項式候選、指定有限殘差網格與明示初值。
• 有限網格與初值相符只核對候選；不宣稱解存在、唯一或已求得一般解。

符號作用域

• y — 未知函數
• a — 初始點
• b — 初始函數值

直觀、定義與常見誤解

初值是額外限制，不會單靠書寫就保證有解或唯一解。

候選多項式要分開核對ODE殘差與初值；任一責任失敗就不能成為該IVP候選解。

只在有限點殘差為零仍不是整個區間上的函數恆等證明。

只核初值不核方程，或把有限採樣殘差為零當成全區間解。

已採用的推導導讀

原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。

前置知識

• 常微分方程 — 初值問題以既定ODE為方程部分。
• 定義域、陪域與值域 — 初始點必須在候選解與方程的共同定義域。

驗證界線

本輪只核對候選與有限網格；存在唯一性與一般求解均未證。

not_formalized

這不表示內容錯誤；只表示尚未登錄可重播的計算或形式證據。

下一個義務

建立存在唯一條件、最大解區間與標準一階求解法。

同源結構化資料

本頁與互動版共用同一個物件與既有語言 edition；未新增證明或人工審定。