1
2
3
4
5
6
解析(analatic): 對 f(x),可找到一數 δ,使得在區間|x-a|<δ, f'(x) exists, 稱作f(x) 在x=a 點 analytic
(sinularity): 若 f(x) 在 x=a點不解析,但能在 |x-a|<δ 中至少找到一點 x=b ,使得 f(x)在x=b上解析,就稱做f(x) 在 x=a 上為奇異點 (singular point)
一般會遇到的 O.D.E. 係數是多項式or分式,若有singular point 發生,一定是 k/0 的型態,也就是無窮大
所以很多人會把 不解析點當成是帶入等號無窮大,但實際上只要 f'(x) 不存在,就是 singular point
會討論函數有沒有 analytic 是因為一寫下無窮級數,就得先說明它的歛散性,若係數不analytic,算出來沒意義。
像是假設 y=Σa_n*f(n), y'=Σa_n*f'(n),帶入O.D.E.,你套定義,若再 x=a 點是不解析,也就是 p'(x) 、 q'(x)再某區間不存在,那自然就要把這點的 case給排除在無窮級數的收斂區間