2.2.7 Grünwald-Letnikov Yakla¸ s¬m¬yla · Ili¸ skisi:
E¼ ger 0 m 1 p < m n ise a < t < T için
a
D
tpf (t) =
aD
tpf (t) =
m 1
X
j=0
f
(j)(a)(t a)
j p(1 + j p) + 1 (m p)
Z
t af
(m)( ) (t )
p m+1d
dir.
Gerçekten; yukar¬daki ifadenin sa¼ g k¬sm¬Grünwald-Letnikov türevine e¸ sittir. Di¼ ger taraftan
d
mdt
m8 <
:
m 1
X
j=0
f
(j)(a)(t a)
m+j p(1 + m + j p) + 1 (2m p)
Z
t a(t )
2m p 1f
(m)( )d 9 =
;
olarak yaz¬labilir. Taraf tarafa m integrasyondan sonra bu bize
aD
ptf (t) Riemann-Liouville formunu verir.
d
mdt
m8 <
: 1 (m p)
Z
t a(t )
m p 1f ( )d 9 =
; = d
mdt
mf
aD
t(m p)f (t) g =
aD
tpf (t):
E¼ ger f (t) sürekli ve f
0(t); [a; T ] aral¬¼ g¬nda integrallenebilir ise, her bir p (0 < p < 1) için Riemann-Liouville ve Grünlwald-Letnikov türevlerinin her ikiside mevcuttur ve
a
D
ptf (t) =
aD
ptf (t) = f (a)(t a)
p(1 p) + 1
(1 p) Z
ta