# 初值問題

初值問題在微分方程外指定某點的函數值或導數值；候選核對與存在唯一性是不同責任。

mko-initial-value-problem · definition · v0.10.0



## 數學敘述

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





## 代表公式（精確 TeX）

y(a)=b





## 成立條件


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





## 符號作用域


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





## 直觀、定義與常見誤解

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

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

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

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





## 已採用的推導導讀

[初值問題：逐一審核四個多項式候選](https://ocme.evemisslab.com/zh-Hant/derivations/derivation-mko-initial-value-problem-01/)原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。





## 前置知識


- [常微分方程](https://ocme.evemisslab.com/zh-Hant/mko/mko-ordinary-differential-equation/) — 初值問題以既定ODE為方程部分。
- [定義域、陪域與值域](https://ocme.evemisslab.com/zh-Hant/mko/mko-domain-codomain-range/) — 初始點必須在候選解與方程的共同定義域。





## 驗證界線

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

not_formalized

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





## 下一個義務

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





## 同源結構化資料

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

[原始 MKO JSON](https://ocme.evemisslab.com/data/mko/initial-value-problem.json) · [純文字 Markdown](https://ocme.evemisslab.com/zh-Hant/mko/mko-initial-value-problem/index.md)