从效能的观点谈存在性及唯一性-LCWangpress.pdfVIP

從效能的觀點談存在性及唯一性 王立中 二○一一年五月三十 日 摘摘摘要要要 在 第1節中 ，我們從邏輯 、常識及數學的觀 點來討論 空集的下確界 。在 第2 節中 ， 建 存在 、歸謬存在 、假設存在 。若可能 ，存在應 以最有 我們將存在性劃分為三類 ： 效的算法建 。超幾何方程之解可表為級數或積分 。兩種表法皆屬建 存在 ，但計算 超幾何函數之值 ，以級數表法為佳。此乃 因前一算法較有效。 方法解 ：首先考慮一特殊類型的微分方程 。若其積分解乃基於猜測 、運 氣、嘗試與錯 誤 ，無法得知被積 函數從何而來 ，僅能用代入法證其為解 ，則此未開發解算不得 方法 解 。假設 同一方程 亦屬範圍較廣 的Laplace 型微分方程 。兩相對照，其積分解可用 系 統方法建 。事實上 ，被積 函數及積分路線可用 Laplace 變換 式來確 定。因此 ，後一 解較前一解有方法。 若存在之 導得 只 需簡