時標微積分
在數學中,時標微積分是差分方程和微分方程的一種統一。時標微積分最初由德國數學家Stefan Hilger發明,應用於需要同時包含離散和連續的情況的模型的領域中。它為導數賦予了新的定義,使得如果你對定義在實數中的閉區間上的函數進行求導,就等價於通常意義上的導數;然而如果你將這種新定義的導數作用於定義在整數集上的函數,則它就等價於前移差分算子。
動力方程
關於微分方程的很多結果能夠輕而易舉地延伸到差分方程中相對應的結果,然而其他的一些結果卻在二者中看起來非常不同。[1]。時標動力方程的研究揭示了這種差異,並且有助於避免將類似的結果證明兩次——在微分方程中證明一次,在差分方程中又證明一次。一般的想法是證明一個動力方程的結果,其中未知函數的定義域叫做時標(又叫做時集),它可以是實數集中的任意閉子集。用這種方式定義以後,結果就不僅能應用於實數集或者整數集,還能應用在更一般的時標,例如康托爾集。時標的最廣泛的三種應用是微分學、有限差分和量子微積分。時標動力方程在諸如群族動力學等領域有潛在應用。例如,我們可以建立一種昆蟲的種群模型,在生長季節種群數量是連續變化的,在冬季這種昆蟲死亡,但是它們的卵處在孕育或者休眠的狀態,然後在春季孵化出來,進而導致了一個不重疊的種群數量。
精確定義
- (前移算子/前躍算子)
- (後移算子/後躍算子)
令 為 中的一個元素。那麼 為:
- 左稠,當 ,
- 右稠,當 ,
- 左散,當 ,
- 右散,當 ,
- 稠密,當 是左稠且右稠的,
- 孤立,當 是左散且右散的。定義時標 的粒度函數 為:
- 。取函數:
- ,
(其中 可以是任何巴拿赫空間,但為簡單起見令其為實數軸)。定義:廣義導數 對於任意的 ,存在 的一個鄰域 使得:
對於任意的 。令 。那麼 , ; 是用於標準微積分中的導數。令 (整數集),那麼 , , 是用在差分方程中的前移差分算子。
拉普拉斯變換和Z變換
稍微修改一下Z變換,就可以得到一個用於差分方程的Z* 變換,它使用與用於微分方程的拉普拉斯變換相同的表格。這種變換現在應用於所有的時標動力方程,而不僅僅用於整數或實數。[1]
參見
引用
- ^ 1.0 1.1 Martin Bohner & Allan Peterson. Dynamic Equations on Time Scales. Birkhäuser. 2001. ISBN 978-0-8176-4225-9. 鏈接(英文)