热门问题
时间线
聊天
视角
黎曼-劉維爾積分
来自维基百科,自由的百科全书
Remove ads
數學上,黎曼-劉維爾積分(Riemann–Liouville integral)將定義域和值域均為實數集的實函數 與另一個同類型的函數 Iα f相關聯,其中參數 α > 0。該積分是f的重複反導數(原函數)的一種推廣形式,當α為正整數值時, Iα f就是f的α階反導數。黎曼-劉維爾積分以伯恩哈德·黎曼和約瑟夫·劉維爾的名字命名,後者於1832年首次考慮分數微積分的可能性。[1] [2] [3] [4]當應用於解析函數時,該算符與萊昂哈德·歐拉(Leonhard Euler) 提出的歐拉變換一致。 [5]它被Marcel Riesz推廣到任意維度,並引入了Riesz勢。該算符也被稱為黎曼-劉維爾微分積分(Riemann–Liouville differintegral),微分積分(differintegral)一詞體現它是一種微分和積分的聯合運算。
Remove ads
動機
黎曼-劉維爾積分源自柯西重複積分公式。對於在區間 [a, x] 上連續的函數f ,柯西n重重複積分公式如下
現在,通過用α代替正整數n ,這個公式可以推廣到任何正實數,因此我們得到黎曼-劉維爾分數階積分的定義
Remove ads
定義
黎曼-劉維爾積分定義為
其中Γ是伽馬函數, a是任意但固定的基點。如果f是局部可積函數,且α是半平面Re(α) > 0中的複數,則積分定義明確。其中對基點a的依賴往往被隱去,體現了積分常數的選取自由。顯然, I1 f是f的(一階)反導數,當α取正整數值時,根據柯西重複積分公式, Iα f是其α階反導數。另一種強調基點的記法如下:[6]
如果a = −∞ ,且對f有適當的限制,上述式子也是適用的。
有以下基本關係成立:
後式表明其具有半群性質。 [1]這些性質不僅使得分數階積分的定義成為可能,而且通過對Iα f取足夠多的導數,還可以定義分數階微分。
Remove ads
特性
對一個確定有界區間(a, b) 。算子Iα將每個可積函數f在(a, b)上與函數Iα f在(a, b)上相關聯。根據富比尼定理,函數Iα f也是可積的。因此Iα在L1(a,b)上定義了一個線性算子:
富比尼定理還表明,該算子關於L1上的Banach 空間結構是連續的,並且以下不等式成立:
這裡‖ · ‖1表示L1(a,b)上的範數。
更一般地,根據赫爾德不等式,如果f ∈ Lp(a, b) ,則Iα f ∈ Lp(a, b)同樣成立。下列類似的不等式
成立。其中‖ · ‖p是區間(a, b)上的Lp範數。
因此我們有一個有界線性算子Iα : Lp(a, b) → Lp(a, b) 。此外,當參數α沿實軸趨於0,在Lp意義上, Iα f → f。即對於所有p ≥ 1
此外,通過估計I的最大函數,可以證明極限Iα f → f幾乎處處逐點成立。
算子Iα在整個實數軸上的局部可積函數集上有明確定義 。它定義了任意Banach 空間中指數型函數的有界變換,由局部可積函數組成,其範數
是有限的。對於f ∈ Xσ , Iα f的拉普拉斯變換形式特別簡單
其中Re(s) > σ 。這裡F(s)表示f的拉普拉斯變換,該性質表示Iα是傅里葉乘子。
Remove ads
分數階導數
f的分數階導數也可以定義為
其中⌈ · ⌉表示上限函數。通過定義
可以得到微分和積分之間的微分積分插值。
1967 年,卡普托 (Caputo) 提出了一種分數階導數, [7]由此產生的導數具有與前者不同的性質:這種導數對常數函數求導得到零,更重要的是,拉普拉斯變換的初值項是用該函數的值及其整數階導數來表示的,而不是像黎曼-劉維爾導數那樣用分數階導數來表示。 [8]以x為基點的 Caputo 分數階導數為:
另一種表示是:
Remove ads
基本冪函數的分數階導數


假設f(x)是單項式,形式如下:
一階導數與通常情形一致:
重複此過程可得到更一般的結果
對於k = 1和a = 1/2
為了證明這就是真正的「半導數」(其中H滿足H2f(x) = Df(x) ),我們重複該過程得到:
(因為且Γ(1) = 1 ),這確實是預期的結果
對於負整數冪k ,1/ 為 0,因此使用以下關係很方便: [9]
上述微分算子的擴展不僅限於實數冪;它也適用於複數冪。例如, (1 + i)次導數的(1 − i)次導數得出二階導數。將a設為負值會得到積分。
對於一般函數f(x)且0 < α < 1 ,完全分數階導數為
對於任意α,由於伽馬函數對於負(實)整數是無限的,因此有必要在進行整數導數之後應用分數階導數。例如,
Remove ads
拉普拉斯變換
我們也可以通過拉普拉斯變換來解決這個問題。已知
和
等等,我們斷言
- 。
例如,
正如預期的那樣。事實上,考慮到卷積規則
並且為了清楚起見,我們將p(x)簡寫為p(x) = xα − 1,由此可得
這就是上面柯西推導的式子。
拉普拉斯變換對相對較少的函數起作用,但它們通常對求解分數階微分方程很有用。
Remove ads
參見
注釋
參考文獻
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads