热门问题
时间线
聊天
视角

離散微積分

来自维基百科,自由的百科全书

Remove ads

離散微積分(英語:discrete calculus)或離散函數微積分(英語:calculus of discrete functions)、和分差分學,是數學中研究「增量」變化的領域,如同幾何學研究形狀、代數學研究算術運算的推廣。Calculus 這一詞源自拉丁文,原意是「小石子」;由於過去人們用小石子來計算,這個詞的意義逐漸演變,現今通常指一種計算方法。同時,微積分(原稱「無窮小微積分(infinitesimal calculus)」或「無窮小量的微積分(the calculus of infinitesimals)」)則是研究「連續」變化的學問。

離散微積分的切入點有兩個:差分微積分(differential calculus)和 求和微積分(integral calculus)。差分微積分關注增量變化率和分段線性曲線的斜率;求和微積分則關注數量的累積以及分段常數曲線下的面積。兩種觀點透過離散微積分基本定理相互關聯。

變化概念的研究從其離散形式開始。其發展取決於一個參數,即獨立變量的增量 。如果我們選擇讓這個增量越來越小,就可以將這些概念的連續對應物視為極限來找到。非正式地說,當 時,離散微積分的極限就是無窮小微積分。儘管離散微積分是連續微積分的離散基礎,但其主要價值體現在實際應用中。

Remove ads

兩種初始建構

離散差分微積分專門研究函數的差商(difference quotient)的定義、性質與應用。尋找差商的過程稱為微分(differentiation)。給定一個在實數線上多個點有定義的函數,某點的差商是一種表達該函數在小範圍內(即從該點到下一個點)行為的方式。

透過找出函數在其定義域中每對連續點的差商,我們可以得到一個新函數,稱為差商函數(difference quotient function),或簡稱原函數的差商。嚴格來說,差商是一個線性映射,將一個函數作為輸入,並產生另一個函數作為輸出。

這比初等代數中研究的許多過程更為抽象,在初等代數中,函數通常輸入一個數字並輸出另一個數字。例如,如果給定輸入三,倍增函數輸出六;如果給定輸入三,平方函數輸出九。然而,導數(或在離散微積分中叫做差商)可以將平方函數作為輸入。這表示差商會接收平方函數的所有資訊——例如二對應四、三對應九、四對應十六等等——並利用這些資訊來產生另一個函數。對平方函數求差分後所產生的函數,結果會非常接近倍增函數(doubling function)。

假設函數定義在間隔為 的點上:

「倍增函數」可以表示為 ,而「平方函數」表示為 。差商是函數在區間 上的變化率,定義其公式為:

它將函數 作為輸入,即所有資訊——例如二對應四,三對應九,四對應十六等等——並利用這些資訊輸出另一個函數,也就是函數 ,就如之後將會證明的一樣。為了方便起見,這個新函數可以在上述區間的中點定義:

由於變化率是針對整個區間 而言,任何區間內的點都可以作為參考,甚至整個區間都可以作為參考,使得差商成為一個 1-上鏈 (1-cochain)。

差商最常見的記法是:

如果函數的輸入表示時間,那麼差商就表示相對於時間的變化。例如,若 是一個以時間為輸入並給出球在該時間位置的函數,則 的差商就是球的位置隨時間變化的情況,也就是球的速度

如果一個函數是線性的(即如果函數圖形上的點位於一條直線上),則該函數可以寫成 ,其中 自變數應變數 截距,且:

Thumb
斜率:

正是直線的斜率

然而,若函數不是線性的,則 的變化量除以 的變化量就會有所不同。差商賦予了「輸出變化相對於輸入變化」這一概念的確切意義。具體來說,令 為一個函數,並固定 定義域中一點 ,則 為函數圖形上的一個點。若 的增量,則 的下一個值。因此, 的增量。這兩個點連成的直線之斜率為:

所連成的直線斜率。

這裡有個更具體的例子,平方函數的差商。令 為平方函數。則:

差商的差商稱為二階差商(second difference quotient)且定義在:

等點上。

離散積分學(discrete integral calculus)主要探討黎曼和的定義、性質與應用。其中,找到黎曼和其值的過程稱為積分(integration)。以術語來說,積分學研究的是一種特定的線性運算子

黎曼和的輸入為一個函數,而輸出也是一個函數,此輸出函數代表了輸入函數的圖形與 x 軸之間的區域的面積代數和。

最佳的例子就是計算在給定時間內的移動距離。

距離 = 速度·時間

若速度不變,只需要簡單的乘法即可計算距離。但若是速度隨時間變化,就需要將總時間分割成許多時間的小區間,將每小段區間所代表的時間乘以該時間段內的速度得到該區間移動的距離,最後將所有距離加總(即黎曼和)得到總移動距離。

Thumb
速度不變
Thumb
黎曼和計算的是由函數 所定義,在兩個點之間(這裡指 )之間所有長條形的面積。

當速度不變,在給定時間區間內移動的總距離可以透過速度乘以時間計算。例如,以每小時 50 英里的穩定速度行駛 3 小時,總移動距離為 150 英里。如左圖所示,當恆定的速度和時間被繪製時,這兩個值形成一個矩形,其高度等於速度的值,而寬度等於經過的時間。因此,速度和時間的乘積也同時計算了(恆定)速度曲線下的面積。曲線下面積與移動距離之間的關係可以擴展到任何給定的時間段內,速度逐漸變化的不規則形狀區域。若右圖的每個長條形狀表示速度從一個區間到下一個區間的變化,那麼在時間 之間移動的距離即陰影區域 的面積。

因此,從 的區間被分割成若干個等長的小段,每小段的長度以 表示。對於每小段,我們有函數 的一個值,將此值稱為 。則以 為寬、 為高的矩形面積就表示了該小段內行駛的距離(時間 乘以速度 )。每小段都對應其上方的函數值 。所有這些矩形面積的總和,就構成了常數曲線與 x 軸之間的面積,即總移動距離。

設有個函數定義在等長區間 的中點:

的黎曼和以求和符號表示為:

當此計算針對每個 執行時,新函數會定義在以下這些點上:

微積分基本定理指出,微分和積分是逆運算。更精確一點地來說,它將差商與黎曼和聯繫起來。

微積分基本定理:若函數 定義在 的分割上,,且若 是一個其差商為 的函數,則:

此外,對於每個 ,我們有:

這也是差分方程式(difference equation)的一個原型解。差分方程式將未知函數與其差分或差商聯繫其來,在科學領域中無處不在。

Remove ads

歷史

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads