# Kesirli analiz
Kesirli analiz, matematiksel analiz'in bir koludur. Kesirli analiz, D = "d"/"dx" ile gösterilen türev işlemcisi'nin ve J ile gösterilen integrasyon işlemcisi'nin "kuvvetlerinin" reel sayı veya karmaşık sayı değerler olabilme olanaklarını inceler.
Bu bağlamda bir üst cümlede kullanılan "kuvvetleri" terimi, doğrusal bir operatörün bir fonksiyona "f" 2("x") = "f"("f"("x")) şeklinde peşpeşe uygulanmasını ifade eder.
Kesirli diferansiyel denklemler, diferansiyel denklemlerin kesirli analiz uygulanması yoluyla elde edilen bir genellemesidir.


## Kesirli türevin doğası.
Kesirli türevde diğer bir önemli nokta ise bir "x" noktasının tam sayı olmasının yalnızca "yerel özellik" olduğu; tam sayı olmayan durumlarda ise bir şekilde, tam sayı-kuvvet türev yapacak şekilde "x "a çok yakın f'in değerlerine bağlı bir f fonksiyonunun x'teki kesirli türevleri olduğunu söyleyemeyiz. Bu nedenle teorinin fonksiyon hakkında daha ileri bilgi içeren, sınır koşullarının bazı çeşitlerini içermesi beklenmektedir.
Bir mecaz kullanmak gerekirse kesirli türev, at gözlüklerini çıkartmayı gerektirir. Bildiğimiz kadarıyla böyle bir teorinin varlığı için ilk olarak, konunun temelleri Liouvillenin 1832'deki notlarında atılmıştır.
Artık, a dereceli bir fonksiyonun kesirli türevi genellikle Fourier veya Mellin integral dönüşümleri vasıtasıyla tanımlanmaktadır.


## Sezgisel irdeleme.
Burada oldukça doğal bir soru bir "H" işlemci'sinin var veya yarı-türev nin olup olmadigidir böylece
H^2 f(x) = D f(x) = ddx f(x) = f'(x) .
böyle bir işleç olduğu ortaya çıkıyor ve gerçekten herhangi "a" > 0 için burada var olan bir "P" işleci
(P ^ a f)(x) = f'(x) ,
veya "dny"/"dxn"'tanımı ile tutulan yöntem "n" nin tüm gerçek değerlerine uzanabilir.
Diyelimki "f"("x") ,"x" > 0 için tanımlı bir fonksiyon olsun.0 dan "x" a tanımlı bu form:
 ( J f ) ( x ) = ∫_0^x f(t) dt .
olarak kodlanir ve
 ( J^2 f ) ( x ) = ∫_0^x ( J f ) ( t ) dt = ∫_0^x ( ∫_0^t f(s) ds ) dt,
ise bu süreci yineler veya isteğe göre uzatılabilir.Tekrarlı integrasyon için Cauchy formülü:
 (J^n f) ( x ) = 1 (n-1) ! ∫_0^x (x-t)^n-1 f(t) dt,
Gerçek "n" için bir genelleme basit bir yol içinde yer alır. Faktöriyel fonksiyonunun gamma işlevini kullanarak ayrık doğasını ortadan kaldırmak bize integral işlemcinin kesirli uygulamaları için doğal bir aday verir.
 (J^αf) ( x ) = 1 Γ( α) ∫_0^x (x-t)^α-1 f(t) dt
Bu, aslında iyi tanımlanmış bir operatördür. Bunu basitçe göstermek için "J" operatörü doyurucudur
 (J^α) (J^βf)(x) = (J^β) (J^αf)(x) = (J^α+β f)(x) = 1 Γ( α+ β) ∫_0^x (x-t)^α+β-1 f(t) dt
Bu ilişkililiğe kesirli diferintegral operatörlerin yarı grup özelliği denir. Ne yazık ki türev operatörü "D" için karşılaştırılabilir süreç çok daha karmaşık, ancak gösterilebilir ki "D" genel içinde ne değişmeli ne de eklemelidir.


## Bir temel kuvvet fonksiyonun kesirli türevi.
varsayalımki "f"("x") bir formun tek terimlisi(monomiali)dir
 f(x)=x^k .
İlk türev genel olarak
 f'(x)=ddxf(x)=k x^k-1 .
Bu tekrarlama daha genel sonuç verir
 d^adx^ax^k=k!(k-a)!x^k-a ,
Yukarıdan gama fonksiyonu ile faktöriyel değiştirildikten sonra, bizi şuna götürür
 d^adx^ax^k=Γ(k+1)Γ(k-a+1)x^k-a for k ≥0
k=1 için ve a=1/2,
 d^1/2dx^1/2x=Γ(1+1)Γ(1-1/2+1)x^1-1/2=1!Γ(3/2)x^1/2 =
2x^1/2√(π).
olarak x fonksiyonunun yarı türevini elde ederiz
Bu süreci veren tekrarlama
d^1/2dx^1/22 π^-1/2x^1/2=2 π^-1/2Γ(1+1/2)Γ(1/2-1/2+1)x^1/2-1/2=2 π^-1/2Γ(3/2)Γ(1)x^0=2 √(π)x^02 √(π)0!=1,
Nitekim beklenen sonuçlar verecek şekilde
 (d^1/2dx^1/2d^1/2dx^1/2)x=ddxx=1.
Negatif tam sayı kuvveti k için, gama fonksiyonu tanımsız ve aşağıdaki ilişkiyi kullanmak zorunda
 d^adx^ax^-k=(-1)^aΓ(k+a)Γ(k)x^-(k+a) for k lt;0
Yukarıdaki diferansiyel operatörün bu uzantısı sadece gerçek güçlere kısıtlı örneğin, 2'nci türevi veren (1 − "i")inci türevin, ayrıca "a" için
negatif değerler bağlamında integral veren fark olması gerekmez.
Genel bir fonksiyon "f"("x") ve 0 < "α" < 1 için, tam kesirli türev
D^αf(x)=1/Γ(1-α)d/dx∫_0^xf(t)/(x-t)^αdt
dir
keyfi "α",için dolayısıyla gama fonksiyonu böyle bileşen için tanımlanamaz ve gerçek kısmı bir negatif tam sayıdır, Bu uygulama için gerekli kesirli türev sonrası
tam sayı türevi gerçekleştirilmiştir. Örneğin,
D^3/2f(x)=D^1/2D^1f(x)=D^1/2d/dxf(x)


### Laplace dönüşümü.
Ayrıca sorudan Laplace dönüşümü 
ℒ {Jf}(s) = ℒ {∫_0^t f(τ) dτ}(s)=1/s(ℒ{f})(s) yoluyla alınabilir
ve
ℒ {J^2f}=1/s(ℒ {Jf} )(s)=1/s^2(ℒ{f})(s)
vs, ters laplace;
J^αf=ℒ^-1{s^-α(ℒ{f})(s)}.
örneğin beklenildiği gibi
[ J^α(t^k) amp;= amp;ℒ^-1{Γ(k+1)s^α+k+1}; amp;= amp;Γ(k+1)Γ(α+k+1)t^α+k ]
dir.Yani, evrişim kuralı ile
ℒ{f*g}=(ℒ{f})(ℒ{g}) dir.
ve özetle "p"("x") = "x""α" − 1 için şunu buluruz
[ (J^αf)(t) amp;= amp;1/Γ(α)ℒ^-1{(ℒ{p})(ℒ{f})}; amp;= amp;1/Γ(α)(p*f); amp;= amp;1/Γ(α)∫_0^t p(t-τ)f(τ) dτ; amp;= amp;1/Γ(α)∫_0^t(t-τ)^α-1f(τ) dτ; ]
Yukarıdakiler Cauchy tarafından bize verilmiştir.
Laplace nispeten az sayıda fonksiyonlar üzerinde "iş" dönüştürür, ancak" sık sık" kesirli diferansiyel denklemlerin çözümü için yararlıdır.


## Kesirli integraller.
### Riemann–Liouville kesirli integrali.
Kesirli analizin klasik formu Riemann–Liouville integrali tarafından veriliyor, bu esasen yukarıda tanımlanmıştır. Teori periyodik fonksiyonlar için (bir periyod sonra yinelenen 'sinir değerler' içerir) Weyl integralidir. Bu Fourier serisi üzerinde tanımlanıyor ve Fourier katsayılarının kaybolması gereklidir (böylece, 0 için birim çember üzerindeki fonksiyonlar integrallerin evrimi için uygulanıyor).
_aD_t^-α f(t)=_aI_t^αf(t)=1/Γ(α)∫_a^t (t-τ)^α-1f(τ)dτ
Grünwald–Letnikov türevi karşıtlığı ile integralin yerine türev ile başlıyor.


### Hadamard kesirli integrali.
"Hadamard kesirli integral'i" J. Hadamard tarafından tanıtılmış ve formül aşağıda verilmiştir,
_a𝐃_t^-α f(t) = 1/Γ(α)∫_a^t (logt/τ)^α-1 f(τ)dτ/τ
"t" > "a "içindir


## Kesirli türevler.
Klasik Newton türevleri gibi, bir kesirli türev bir kesirli integrali üzerinden tanımlanamaz.


### Riemann–Liouville kesirli türevi.
Karşılık gelen türev diferansiyel operatörler için Lagrange kuralı kullanılarak, ("n" − "α") derecenin integrali üzerinden "n"-inci dereceli türev hesaplanır, "α" dereceli türevi elde edilir. Bu "n" ifadesinin önemi "α" dan büyük tam sayıya yakındır.
 _aD_t^αf(t)=d^n/dt^n_aD_t^-(n-α)f(t)=d^n/dt^n_aI_t^n-αf(t)


### Caputo kesirli türevi.
Kesirli türevleri hesaplamak için başka bir seçenek;1967 makalesinde M. Caputo tarafından tanıtılan Caputo kesirli türevidir. Caputo'nun tanımlaması kullanılarak diferansiyel denklem çözerken Riemann Liouville kesirli türev aksine, bu kesirli mertebeden başlangıç koşullarını tanımlamaya gerek yoktur. Aşağıdaki gibi Caputo tanımı gösterilmiştir.
 _a^CD_t^α f(t)=1/Γ(n-α)∫_a^t f^(n)(τ)dτ/(t-τ)^α+1-n


## Genelleme.
### Erdélyi–Kober işlemcisi.
Erdélyi–Kober işlemcisi bir integral işlemci olup Arthur Erdélyi ve Hermann Kober tarafından 1940'ta tanıtıldı ve aşağıdaki gibi verilir:
x^-ν-α+1/Γ(α)∫_0^x (t-x)^α-1t^-α-νf(t) dt 
bunun genellemesi Riemann kesirli integrali ve Weyl integralidir.Yeni bir genelleme ise aşağıdadır ve bununh genellemesi "Riemann-Liouville kesirli integrali" ve "Hadamard kesirli integrali"dir. Bu ile
x" > "a" için verilen
 (^ρℐ^α_a+f)(x) = ρ^1- α/Γ(α) ∫^x_a τ^ρ-1 f(τ) /(x^ρ- τ^ρ)^1-α dτ, 


## Fonksiyonel hesap.
fonksiyonel analizin konuları içinde, fonksiyonların "f(D)" daha genel kuvvetlerinde spektral teorinin fonksiyonel hesabı içindeki çalışmalardır.Sözde-diferansiyel işlemcilerin teorisi "D'nin "kuvvetlerini ayrıca düşünmemizi sağlar. Ortaya çıkan operatörler tekil integral işlemcilerin örnekleridir; ve yüksek boyutlar için klasik teorinin genelleştirilmesine Riesz potansiyellerinin teorisi denir. Böylece bu çağdaş tutarlı teoride bir sayıdır ve bununla birlikte "kesirli hesap" tartışılabilir. Ayrıca Erdélyi–Kober işlemcisi, , 'nin özel fonksiyon teorisi içinde önemlidir.


## Uygulamalar.
### Kesirli kütle korunumu.
Tanıtım olarak Wheatcraft ve Meerschaert (2008) tarafından, kütle denkleminin bir kesirli korunumu kontrol hacmi sıvı akışını modellemek için gerekli olduğunda heterojenliğin ölçeğine göre yeterince büyük değildir ve kontrol hacmi içinde akı olduğunda doğrusal değildir. Başvuru yapılan yazıda, sıvı akışı için kütle denkleminin kesirli korumasi:
 -ρ(∇^α ·u⃗) = Γ(α+1)Δx^1-αρ(β_s+ϕβ_w) ∂p/∂t 


### Kesirli adveksiyon dağılım denklemi.
Bu denklemin, heterojen gözenekli ortam içinde kirletici akışı modellemek için kullanışlı olduğu gösterilmiştir.


### Zaman-uzay kesirli difüzyon denklemi modelleri.
Karmaşık ortamda anormal difüzyon süreçleri kesirli-dereceli difüzyon denklem modelleri kullanılarak karakterize edilebilir. Zaman türevi terimi uzun süre ağır kuyruk çürümesi ve yerel olmayan difüzyon için uzay türevine karşılık gelir. Uzay-zaman kesirli difüzyon yönetim denklemi olarak yazılabilir.
∂^αu/∂t^α=K (-)^βu.
Kesirli türevin basit bir uzantısı değişken dereceli kesirli türev, "α", "β" ifadeleri "α"("x", "t"), "β"("x", "t") içinde değişir. Anormal difüzyon modelleme uygulamaları için kaynak bulunabilir.


### Yapısal sönümleme modelleri.
Kesirli türevler polimerler gibi bazı malzeme türlerinde viskoelastik sönümlemeyi modellemek için kullanılır.


### Karmaşık ortam için akustik dalga denklemleri.
Kompleks ortamlarda, örneğin biyolojik dokuda akustik dalgaların yayılımı, yaygın bir frekans-güç yasalarına uymanın zayıflaması anlamına gelir. Bu tür olgular, kesirli zaman türevlerini içeren nedensel bir dalga denklemi kullanılarak tarif edilebilir:
∇^2 u -1c_0^2∂^2 u/∂t^2 + τ_σ^α∂^α∂t^α∇^2 u - τ_ϵ^βc_0^2 ∂^β+2 u∂t^β+2 = 0. 
Ayrıca buradaki referanslara bakınız. Bu tür modeller birden fazla gevşeme fenomeni ölçülen karmaşık ortamlarda zayıflama doğuran, yaygın olarak tanınan hipotez ile bağlantılıdır. Bu bağlantı ayrıca içindeki tanım ve araştırma makalesinde, akustik zayıflamada ayrıca yazılıdır.


### Kuantum teorisinde kesirli Schrödinger denklemi.
Kesirli Schrödinger denklemi kesirli kuantum mekaniği nin Nick Laskin tarafından incelenen bir temel denkleminin formu aşağıdaki gibidir:
iħ∂ψ(𝐫,t)/∂t=D_α(-ħ^2Δ)^α/2ψ(𝐫,t)+V(𝐫,t)ψ(𝐫,t).
burada dalga fonksiyonu denkleminin çözümü olması için verilen bir durum vektörüne "ψ"(r, "t") - kuantum mekaniksel parçacık için r olasılık genliği var "t" herhangi verilen zaman ve "ħ" indirgenmiş Planck sabitidir.Potansiyel enerji fonksiyonu sistemi üzerinden "V"(r, "t") bağımlıdır.
Ayrıca, Δ = ∂2/∂r2 Laplace işlemcisidir ve "Dα" fiziksel boyut ile bir skala sabitidir.["Dα"] = erg1 − "α"·cm"α"·sec−"α", ("m" kütlenin parçacığı için "α" = 2 de, "D"2 = 1/2"m") ve (−"ħ"2Δ)"α"/2 işlemci is the 3-boyutlu kesirli kuantum Riesz türevi ile tanımlanır
(-ħ^2Δ)^α/2ψ(𝐫,t)=1/(2πħ)^3∫d^3pe^i 𝐩·𝐫/ħ|𝐩|^αφ(
𝐩,t) .
Kesirli Schrödinger denkleminde "α" indisi Lévy indisi, 1 < "α" ≤ 2.