Murruline diferentsiaal- ja integraalarvutus

Allikas: testwiki
Mine navigeerimisribale Mine otsikasti

Murruline diferentsiaal- ja integraalarvutus on matemaatilise analüüsi ja täpsemalt diferentsiaal- ja integraalarvutuse alaliik, mis tegeleb erinevate viiside uurimisega, kuidas defineerida diferentsiaaloperaatori D ja integraaloperaatori J reaalarvulisi või kompleksarvulisi astmeid ning analüüsi arendamisega, mis üldistaks klassikalist matemaatilist analüüsi.

Df(x)=ddxf(x),
Jf(x)=0xf(s)ds,

Käesolevas kontekstis kasutatakse terminit aste viitamaks korduvale lineaaroperaatori D rakendamisele funktsioonile f. Täpsemalt nii: Dn(f)=(DDDn)(f)=D(D(Dn(f).

Näiteks võib küsida, mis on mõistlik tõlgendus

D=D12

jaoks, kuivõrd peaks tegu olema ruutjuure analoogiga diferentsiaaloperaatori jaoks. Sellise operaatori näol on tegu lineaaroperaatoriga, mida tuleb rakendada kaks korda, et saavutada efekt, mis on tavalisel diferentseerimisel. Üldisemalt võib vaadelda küsimust, kuidas defineerida

Da

mistahes reaalarvu a korral nii, et kui a on täisarvulise väärtusega n ∈ ℤ, langeb definitsioon kokku klassikalise n-järku diferentseerimisega.

Selliste üldistuste sissetoomise ja arendamise üks motivatsioon on asjaolu, et operaatori D astmete hulk on {Da| a ∈ ℝ} puhul pidev poolrühm, millest klassikaline diskreetne n-ide poolrühm {Dn| n ∈ ℤ} korral on esimese alamhulk. Kuna pidevate poolrühmade kohta on välja arendatud korralik teooria, saab seda kasutada ka antud kontekstis.

Murrulised diferentsiaalvõrrandid, mida on ka ebatavalisteks diferentsiaalvõrranditeks nimetatud,[1] on diferentsiaalvõrrandite üldistus murrulise matemaatilise analüüsi rakendamise kaudu.

Ajaloost

Rakendusmatemaatikas ja matemaatilises analüüsis on murruline tuletis suvalist järku tuletis, kusjuures järk võib olla reaal- või kompleksarvuline. Selline kontseptsioon nägi ilmavalgust kirjas, mille kirjutas Gottfried Wilhelm Leibniz Guillaume de l'Hôpitalile 1695. aastal.[2] Murruline diferentsiaal- ja integraalarvutus toodi esmakordselt välja ühes Niels Henrik Abeli varases artiklis,[3] kus kõik vajaminevad komponendid on olemas: idee murrulist järku diferentseerimisest ja integreerimisest; nendevahelisest suhtest, mis on teineteise pöördtehe; mõistmine, et murrulist järku diferentseerimine ja integreerimine on sisuliselt samade klassikaliste operatsioonide üldistus; ning isegi üldistatud tähistusviis suvalise reaalarvulist järku operaatori jaoks.[4] Sõltumatult rajas kõnealuse valdkonna aluseid ka Joseph Liouville'i 1832. aasta artikkel.[5] Autodidakt Oliver Heaviside tõi esmakordselt välja murruliste diferentsiaaloperaatorite praktilise kasutusvõimaluse elektri ülekandeliinide analüüsimiseks umbes 1890. aastal.[6] Murrulise analüüsi teooria ja rakendused laienesid 19. ja 20. sajandil märkimisväärselt ning mitmed autorid on andnud murruliste tuletiste ja integraalide definitsioone.[7]

Murrulise tuletise olemus

a-ndat järku tuletis funktsioonist f(x) punktis x on lokaalne omadus vaid juhul, kui a on täisarv; see ei ole nii mitte-täisarvuliste astmetega tuletiste puhul. Teisisõnu, mitte-täisarvuline murruline tuletis f(x) punktis x=a sõltub kõigist f väärtustest, isegi neist, mis on punktist a kaugel. Seega võib eeldada, et murrulise tuletise võtmise operatsioon hõlmab endast mingisuguste ääretingimuste seadmist, mis sisaldab informatsiooni funktsiooni kohta kaugemal.[8]

a-ndat järku murruline tuletis on sageli defineeritud Fourier või Mellini integraalteisenduse kaudu.

Heuristika

Loomulik on küsida, kas leidub lineaaroperaator H, nn pooltuletis nii, et

H2f(x)=Df(x)=ddxf(x)=f(x).

Osutub, et on olemas selline operaator, ning iga a > 0 jaoks on olemas operaator P nii, et

(Paf)(x)=f(x),

või teisiti öeldes, dnydxn definitsiooni saab üldistada kõigile n reaalarvulistele väärtustele.

Olgu f(x) defineeritud x > 0 korral. Koostame määratud integraali nullist x-ni. Nimetame selle

(Jf)(x)=0xf(t)dt.

Protsessi korrates saame

(J2f)(x)=0x(Jf)(t)dt=0x(0tf(s)ds)dt,

ning seda võib üldistada edasi.

Cauchy valem kordseks integreerimiseks, täpsemalt

(Jnf)(x)=1(n1)!0x(xt)n1f(t)dt,

viib otse üldistuse juurde reaalarvuliste n jaoks.

Gammafunktsiooni kasutamine, et minna mööda faktoriaali funktsiooni diskreetsest iseloomust, annab meile loomuliku kandidaadi murrulise integraaloperaatori rakenduseks.

(Jαf)(x)=1Γ(α)0x(xt)α1f(t)dt.

See on hästi defineeritud operaator.

Siit on otseselt nähtuv, et operaator J rahuldab

(Jα)(Jβf)(x)=(Jβ)(Jαf)(x)=(Jα+βf)(x)=1Γ(α+β)0x(xt)α+β1f(t)dt.

Seda suhet nimetatakse murruliste diferentsiaal- ja integraaloperaatorite poolrühma omaduseks. Kahjuks on samaväärne protseduur diferentsiaaloperaatori D jaoks märkimisväärselt keerulisem, kuid on võimalik näidata, et D ei ole üldiselt kommutatiivne ega aditiivne.[9]

Lihtsa astmefunktsiooni murruline tuletis

Funktsiooni f(x)=x (sinine joon) pooltuletis (lilla joon) ning esimest järku tuletis (punane joon).
Animatsioon näitab astmefunktsioonile y=x rakendatud tuletise operaatori pidevat ostsileerumist pöörd-tuletise (ehk määramata integraali) (α=−1: y= x22) ja tuletise (α=+1: y=1) vahel.

Olgu f(x) tegur kujul

f(x)=xk.

Esimest järku tuletis on

f(x)=ddxf(x)=kxk1.

Seda korrates saame üldisema tulemuse

dadxaxk=k!(ka)!xka,

Mis peale faktoriaalide asendamist gammafunktsiooniga viib avaldiseni

dadxaxk=Γ(k+1)Γ(ka+1)xka,k0

k=1 ja a=12 jaoks saame pooltuletise funktsioonist x kui

d12dx12x=Γ(1+1)Γ(112+1)x112=Γ(2)Γ(32)x12=1π2x12.

Näitamaks, et see on tõepoolest pooltuletis (kus H2f(x)=Df(x)), kordame protseduuri ja saame:

d12dx122x12π=2πΓ(1+12)Γ(1212+1)x1212=2πΓ(32)Γ(1)x0=2π2x0π=1,

(sest Γ(32)=π2 ja Γ(1)=1) mis on tõepoolest oodatud tulemus, kui

(d12dx12d12dx12)x=ddxx=1.

Negatiivse täisarvulise astme k korral ei ole gammafunktsioon defineeritud ning tuleb kasutada järgnevat seost:[10]

dadxaxk=(1)aΓ(k+a)Γ(k)x(k+a) kui k0

Ülaltoodud diferentsiaaloperaatori üldistus ei pea olema piiratud reaalarvuliste astmetega. Näiteks (1 + i) järku tuletis võetuna (1 − i) järku tuletisest annab tulemuseks teist järku tuletise. Muutujale a negatiivsete väärtuste andmine annab tulemuseks integraalid.

Üldise funktsiooni f(x) ja 0 < α < 1 jaoks, on täielik murruline tuletis

Dαf(x)=1Γ(1α)ddx0xf(t)(xt)αdt

Suvalise α jaoks, kuna gammafunktsioon ei ole defineeritud argumentide jaoks, mille reaalosa on negatiivne täisarv ning mille imaginaarosa on null, on vajalik rakendada murrulist tuletist peale täisarvulise tuletise rakendamist. Näiteks

D32f(x)=D12D1f(x)=D12ddxf(x)


Laplace'i teisendus

Võime jõuda murruliste diferentsiaal- ja integraaloperaatorite küsimuseni ka Laplace'i teisenduse kaudu. Teades, et

{Jf}(s)={0tf(τ)dτ}(s)=1s({f})(s)

ja

{J2f}=1s({Jf})(s)=1s2({f})(s)

jne, seega väidame

Jαf=1{sα({f})(s)}.

Näiteks

Jα(tk)=1{Γ(k+1)sα+k+1}=Γ(k+1)Γ(α+k+1)tα+k

nagu oligi oodata. Tõepoolest, kasutades konvolutsioonireeglit

{f*g}=({f})({g})

ning selguse mõttes kirjutame p(x)=xα1 ja saame

(Jαf)(t)=1Γ(α)1{({p})({f})}=1Γ(α)(p*f)=1Γ(α)0tp(tτ)f(τ)dτ=1Γ(α)0t(tτ)α1f(τ)dτ

mis on sama, mille saime eelnevalt Cauchy abil.

Laplace'i teisendused "töötavad" suhteliselt väheste funktsioonidega, aga nad on sageli kasulikud murruliste diferentsiaalvõrrandite lahendamisel.

Murrulised integraalid

Riemanni-Liouville'i murruline integraal

Murrulise analüüsi klassikaline vorm algab Riemanni-Liouville'i integraaliga, mida sisuliselt kirjeldati ka ülal. Riemanni-Liouville'i integraal esineb kahes vormis – ülemine ja alumine. Vaadeldes vahemikku [a,b], on need integraalid defineeritud nii

aDtαf(t)=aItαf(t)=1Γ(α)at(tτ)α1f(τ)dτ
tDbαf(t)=tIbαf(t)=1Γ(α)tb(τt)α1f(τ)dτ

Kus ülemine kehtib t>a korral ja alumine kehtib t<b korral.[11]

Vastupidi algab Grünwaldi-Letnikovi tuletis hoopis tuletisest, mitte integraalist.

Hadamardi murruline integraal

Hadamardi murrulist integraali tutvustas Jacques Hadamard[12] ning see on antud järgnevalt

a𝐃tαf(t)=1Γ(α)at(logtτ)α1f(τ)dττ,t>a.

Atangana-Baleanu murruline integraal

Kasutades üldistatud Mittagi-Leffleri funktsiooni, pakkusid Atangana ja Baleanu välja uue formuleeringu mittelokaalse ja mittesingulaarse tuumaga murrulise tuletise jaoks. Integraal on defineeritud nii

aABDtαf(t)=aABItαf(t)=1αAB(α)f(t)+αAB(α)Γ(α)at(tτ)α1f(τ)dτ,

kus AB(α) on funktsiooni normaliseerimine nii, et AB(0)=AB(1)=1.[13]

Murrulised tuletised

Erinevalt klassikalistest Newtoni tuletistest defineeritakse murruline tuletis murrulise integraali kaudu.

Gaussi murrulised tuletised, interpoleerituna pidevalt funktsiooni ja tema esimese tuletise vahel.

Riemanni-Liouville'i murruline tuletis

Vastav tuletis arvutatakse, kasutades Langrange'i reeglit diferentsiaaloperaatorite kohta. Arvutades n-dat järku tuletist integraalist järguga (nα), saadakse α-ndat järku tuletis. On oluline märkida, et n on vähim täisarv, mis on suurem kui α (st, n=⌈α⌉). Sarnaselt Riemanni-Liouville'i integraalile on ka tuletisel ülemine ja alumine variant.[14]

aDtαf(t)=dndtnaDt(nα)f(t)=dndtnaItnαf(t)
tDbαf(t)=dndtntDb(nα)f(t)=dndtntIbnαf(t)

Caputo murruline tuletis

Veel üks võimalus murrulise tuletise arvutamiseks on Caputo murruline tuletis. Seda tutvustas Michele Caputo oma 1967. aasta artiklis.[15] Erinevalt Riemanni-Liouville'i tuletisest ei ole Caputo definitsiooni abil diferentsiaalvõrrandeid lahendades tarvis defineerida murrulist järku algtingimusi. Caputo definitsiooni illustratsioon, kus taas n=⌈α⌉, on järgnev:

CDtαf(t)=1Γ(nα)0tf(n)(τ)dτ(tτ)α+1n.

Caputo murrulise tuletise definitsioon:

Dνf(t)=1Γ(nν)0t(tu)(nν1)f(n)(u)du(n1)<ν<n

millel on eelis, et ta on null kui f(t) on konstant ja tema Laplace'i teisendus on väljendatud funktsiooni ja tema tuletise algväärtuste keskväärtustena.

Caputo-Fabrizio murruline tuletis

2015. aasta artiklis esitasid M. Caputo ja M. Fabrizio murrulise tuletise definitsiooni, millel on mittesingulaarne tuum, funktsiooni f(t) C1 jaoks:

aCFDtαf(t)=11αatf(τ)exp(αtτ1α)dτ,

kus a<0.[16]

Atangana-Baleanu tuletis

Sarnaselt integraalile on ka murruline tuletis, mille puhul kasutatakse üldistatud Mittagi-Leffleri funktsiooni tuumana.[13] Autorid tutvustasid kahte versiooni, üks on Atangana-Baleanu tuletis Caputo mõttes (ABC), mis on antud funktsiooni lokaalse tuletise ja Mittagi-Leffleri funktsiooni konvolutsioon. Teine on Atangana-Baleanu tuletis Riemanni-Liouville'i mõttes (ABR), mis on sellise funktsiooni konvolutsiooni tuletis, mida ei saa diferentseerida üldistatud Mittag-Leffleri funktsiooni abil.[17] Atangana-Baleanu murruline tuletis Caputo mõttes on defineeritud järgnevalt:

aABCDtαf(t)=AB(α)1αatf(τ)Eα(α(tτ)α1α)dτ.

Atangana-Baleanu murruline tuletis Riemanni-Liouville'i mõttes on defineeritud nii:

aABRDtαf(t)=AB(α)1αddtatf(τ)Eα(α(tτ)α1α)dτ.

Rieszi tuletis

{αu|x|α}(k)=|k|α{u}(k)

kus F tähistab Fourier integraalteisendust.[18][19]

Veel mõningaid variante

Klassikaliste murruliste tuletiste hulka kuuluvad:

Uute murruliste tuletiste hulka kuuluvad:

Üldistused

Erdélyi-Koberi operaator

Erdélyi-Koberi operaator on Arthur Erdélyi poolt 1940. aastal[29] ja Hermann Koberi poolt samuti 1940. aastal[30] tutvustatud integraaloperaator ning see on antud järgnevalt:

xνα+1Γ(α)0x(tx)α1tανf(t)dt,

mis üldistab Riemanni-Liouville'i integraaloperaatorit ja Weyli integraali.

Funktsionaalanalüüs

Funktsionaalanalüüsi kontekstis uuritakse ka üldisemaid funktsiooni f(D) kujusid, kui astmefunktsioon, sellega tegeletakse spektraalteoorias. Pseudo-diferentsiaaloperaatorite teooria lubab samuti käsitleda D astmeid. Seal esilekerkivad operaatorid on singulaarsed integraaloperaatorid ning klassikalise teooria kõrgematele järkudele üldistamine kannab Rieszi potentsiaalide nime. Seega on mitu kaasaegset teooriat, mille raames on võimalik rääkida murrulisest matemaatilisest analüüsist.

Rakendused

Murruline massi jäävus

Nagu kirjeldasid Wheatcraft ja Meerschaert (2008),[31] on tarvis kasutada murrulist massi jäävuse võrrandit, et modelleerida vedeliku voolamist, kui kontrollruumala ei ole piisavalt suur võrreldes materjali heterogeensusega või kui voog kontrollruumala sees on mittelineaarne. Viidatud artiklis on massi jäävuse murruline võrrand toodud järgmiselt:

ρ(αu)=Γ(α+1)Δx1αρ(βs+ϕβw)pt

Põhjavee ülesanne

2013–2014 kirjeldasid Atangana et al. mõningaid põhjavee voolamise probleeme kasutades murrulist järku tuletise kontseptsiooni.[32][33] Nendes töödes üldistatakse klassikalist Darcy seadust, käsitledes veevoolu kui funktsiooni piesomeetrilise samba kõrguse murrulisest tuletisest. Seda üldistust ja massi jäävuse seadust kasutati, et tuletada uus võrrand põhjavee voolamise kirjeldamiseks.

Murruline advektsiooni hajumise võrrand

Kõnealune võrrand on leidnud kasutust, et modelleerida saastunud aine voolamist poorses keskkonnas.[34][35][36]

Atangana ja Kilicman laiendasid murrulise advektsiooni hajumise võrrandit. Nende töös üldistati hüdrodünaamilise dispersiooni võrrandit, kasutades varieeruvat järku tuletist. Modifitseeritud võrrand lahendati numbriliselt Crank-Nicolsoni meetodil. Numbriliste simulatsioonide stabiilsus ja koonduvus näitasid, et modifitseeritud võrrand on usaldusväärsem saaste liikumise ennustamiseks, kui varasemad variandid.[37]

Murrulised difusioonivõrrandid

Anomaalseid difusiooniprotsesse keerulistes keskkondades saab edukalt modelleerida murrulist järku difusioonivõrrandite abil.[38][39] Murrulise difusiooni kirjeldava võrrandi võib kirja panna näiteks nii

αutα=K(Δ)βu.

Murrulise tuletise laiendus on varieeruvat järku diferentsiaalvõrrand, α ja β viiakse kujule α(x,t) ja β(x,t). Selle rakendusi anomaalse difusiooni modelleerimisel võib leida viidetest.[37][40][41]

Sumbuvuse mudelid

Murrulisi tuletisi kasutatakse, et modelleerida viskoelastset sumbuvust teatud tüüpi materjalides, nt polümeerides.[42]

PID kontrollerid

PID kontrollerite üldistamine murruliste järkude kaudu suurendab nende vabadusastet. Uus võrrand, mis seob kontrollmuutuja u(t) mõõdetud veahinnnagu e(t) külge, saab kirjutada

u(t)=Kpe(t)+KiDtαe(t)+KdDtβe(t)

kus α ja β on positiivsed murrulised järgud ja Kp, Ki, ning Kd, kõik mittenegatiivsed, tähistavad koefitsiente vastavalt proportsionaalse, integraaliga, ja tuletisega liikmete jaoks (vahel tähistatud P, I, ja D).[43]

Akustilised lainevõrrandid keerulistes keskkondades

Helilainete levik keerulistes keskkondades, nt bioloogilises koes, viitab sageli laine levikule mõjuvale segajale, mis allub sageduse ja võimsuse suhtele. Sellist nähtust võib kirjeldada, kasutades põhjuslikku lainevõrrandit, mis hõlmab ka murrulist järku tuletist aja järgi:

2u1c022ut2+τσααtα2uτϵβc02β+2utβ+2=0.


Vt ka Holm & Näsholm (2011)[44] ja sealsed viited. Sellised mudelid on seotud laialt levinud hüpoteesiga, et korduvad relaksatsiooniprotsessid mõjutavad lainete sumbuvust keerulistes keskkondades. Seda seost on täpsemalt kirjeldanud Näsholm & Holm (2011)[45] ja ülevaateartiklis,[46] ja niisamuti akustilise sumbuvuse artiklis. Vt Holm & Näsholm (2013)[47], kus võrreldakse murrulisi lainevõrrandeid astmefunktsioone kasutava mudeliga. Holmi raamat astmefunktsioonidega kirjeldatavast sumbuvusest käsitleb samuti kõnealust teemat detailselt.[48]

Pandey ja Holm andsid murrulistele diferentsiaalvõrranditele füüsikalise tähenduse, kui tuletasid need füüsikalistest printsiipidest ning tõlgendasid murrulisi järke akustilise keskkonna parameetrite kaudu.[49] Pandey ja Holm tuletasid seismoloogias tuntud Lomnitzi seaduse ja reoloogias tuntud Nuttingi seaduse, kasutades murrulist matemaatilist analüüsi.[50] Nuttingi seadust kasutati modelleerimaks lainete levikut meresetetes, kasutades murrulisi tuletisi.[49]

Murruline Schrödingeri võrrand kvantfüüsikas

Murruline Schrödingeri võrrand, mis on murrulise kvantmehaanika põhivõrrand, omab järgnevat kuju:[51][52]

iψ(𝐫,t)t=Dα(2Δ)α2ψ(𝐫,t)+V(𝐫,t)ψ(𝐫,t).

kus võrrandi lahendiks on lainefunktsioon kujul ψ(r, t) – kvantmehaaniline tõenäosusamplituud, et osakesel on teatud olekuvektori väärtus r mistahes ajahetkel t, kus ħ on Plancki nurkkonstant. Potentsiaalse energia V(r, t) avaldise täpne kuju sõltub vaadeldavast süsteemist.

Δ=2𝐫2 on Laplace'i operaator, ja Dα on skaalategur, mille füüsikaline dimensioon on [Dα]=J1αmαsα=kg1αm2αsα2, (kus α=2, D2=12m osakese jaoks massiga m), ja operaator (2Δα/2) on 3-mõõtmeline murruline Rieszi tuletis, mis on defineeritud kui

(2Δ)α2ψ(𝐫,t)=1(2π)3d3pei𝐩𝐫|𝐩|αφ(𝐩,t).

Indeks α on murrulises Schrödingeri võrrandis Lévy indeksi nime all, 1 < α ≤ 2.

Varieeruvat järku murruline Schrödingeri võrrand

Murrulise Schrödingeri võrrandi üldistus on varieeruvat järku murruline Schrödingeri võrrand, mida on samuti kasutatud kvantnähtuste uurimisel:[53]

iψα(𝐫)(𝐫,t)tα(𝐫)=(2Δ)β(t)2ψ(𝐫,t)+V(𝐫,t)ψ(𝐫,t),

kus Δ=2𝐫2 on Laplace'i operaator ja operaator (2Δ)β(t)/2 on varieeruva järguga murruline Rieszi tuletis.

Viited

Mall:Viited

Allikad

Lisalugemiseks

Artikleid murrulise matemaatilise analüüsi ajaloost

Raamatud

Välislingid

  1. Mall:Cite book
  2. Mall:Cite journalMall:Kõdulink
  3. Mall:Cite journal
  4. Mall:Cite journal
  5. Ajaloolise ülevaate saamiseks vt väitekirja (prantsuse keeles): Stéphane Dugowson, Les différentielles métaphysiques (histoire et philosophie de la généralisation de l'ordre de dérivation), Thèse, Université Paris Nord (1994)
  6. Ajaloolise tagasivaate saamiseks antud teemal kuni 20. sajandini, vt: Mall:Cite journal
  7. Mall:Cite journal
  8. Mall:Cite web
  9. Mall:Harvnb
  10. Mall:Citation
  11. Mall:Cite book
  12. Mall:Cite journal
  13. 13,0 13,1 Mall:Cite arxiv
  14. Mall:Cite book
  15. Mall:Cite journal.
  16. Mall:Cite journal
  17. Mall:Cite journal
  18. Mall:Cite journal
  19. Mall:Cite journal
  20. 20,00 20,01 20,02 20,03 20,04 20,05 20,06 20,07 20,08 20,09 20,10 20,11 Mall:Cite journal
  21. 21,0 21,1 21,2 Mall:Cite journal
  22. Mall:Cite journal
  23. Mall:Cite book
  24. Mall:Cite journal
  25. Mall:Cite journal
  26. 26,0 26,1 Mall:Cite journal
  27. Mall:Cite journal
  28. Mall:Cite journal
  29. Mall:Cite journal
  30. Mall:Cite journal
  31. Mall:Cite journal
  32. Mall:Cite journal
  33. Mall:Cite journal
  34. Mall:Cite journal
  35. Mall:Cite journal
  36. Mall:Cite journal
  37. 37,0 37,1 Mall:Cite journal
  38. Mall:Cite journal
  39. Mall:Cite journal
  40. Mall:Cite book
  41. Mall:Cite journal
  42. Mall:Cite book
  43. Mall:Cite journal
  44. Mall:Cite journal
  45. Mall:Cite journal
  46. Mall:Cite journal
  47. Mall:Cite journal
  48. Mall:Cite book
  49. 49,0 49,1 Mall:Cite journal
  50. Mall:Cite journal
  51. Mall:Cite journal
  52. Mall:Cite book
  53. Mall:Cite journal