У прикладній математиці та математичному аналізі дробова похідна — це похідна будь-якого довільного порядку, дійсного чи комплексного. Вперше про неї згадав 1695 року Готфрід Вільгельм Лейбніц у листі, до Гійома де Лопіталя.[1] Приблизно в той самий час Лейбніц написав одному з братів Бернулі, описуючи подібність між біноміальною теоремою та правилом Лейбніца для дробової похідної добутку двох функцій.
Дробове числення введено в одній з ранніх праць Нільса Генріка Абеля,[2] в якій можна побачити багато його елементів: ідею дробового інтегрування та дробового диференціювання, взаємно обернений зв'язок між ними, розуміння того, що дробові диференціювання та інтегрування можна розглядати як одну й ту саму узагальнену операцію, і навіть уніфіковану нотацію для диференціювання та інтегрування довільного дійсного порядку.[3]
Незалежно від нього, Ліувілль заклав основи предмету в статті 1832 року.[4][5][6] Близько 1890 року самоукОлівер Гевісайд представив практичне застосування дробових диференціальних операторів до аналізу ліній електропередач.[7] Теорія та застосування дробового числення значно розширилися протягом XIX та XX століть. Численні автори давали різні визначення дробових похідних та інтегралів.[8]
Дробові інтеграли
Нехай — функція, визначена на . Якщо оператор
взяти двічі від , то буде
Класичною формою дробового числення є інтеграл Рімана-Ліувілля[en], який, по суті, є тим, що описано вище. Теорію дробового інтегрування для періодичних функцій (включаючи «граничну умову» повторення через період) дає інтеграл Вейля[en]. Він визначений на рядах Фур'є і вимагає, щоб вільний коефіцієнт тригонометричного ряду дорівнював нулю. Інтеграл Рімана — Ліувілля існує у двох формах, верхній та нижній. На відрізку [a,b] ці форми визначають як
Перша форма справедлива для t > a, а друга — для t < b.[9]
Інтеграл на додатній дійсній півосі (тобто, a = 0), виходячи з історії відкриття та використання, запропоновано[10] назвати інтегралом Абеля — Рімана, і, в тому ж ключі, інтеграл за всією дійсною прямою названо інтегралом Ліувілля — Вейля.
Дробовий інтеграл Адамара
Дробовий інтеграл Адамара, який увів Жак Адамар,[11] задають такою формулою:
Дробовий інтеграл Атангани — Балеану
Дробовий інтеграл Атангани — Балеану для неперервної функції визначають так:
Дробові похідні
Аналогічний процес для оператора диференціювання D є складнішим. Можна показати, що в загальному випадку D не є ані комутативним, ані адитивним.[12]
На відміну від класичних ньютонівських похідних, дробові похідні можна визначити різними способами, не всі з яких приводять до однакового результату навіть для гладких функцій. Деякі з них визначають через дробовий інтеграл. Через несумісність визначень часто необхідно чітко вказувати, яке з них використано.
Дробова похідна Рімана — Ліувілля
Дробову похідну Рімана — Ліувілля обчислюють за правилом Лагранжа для диференціальних операторів. Для знаходження похідної α-го порядку обчислюють похідну n-го порядку від інтеграла порядку (n − α), де n — найменше ціле число, більше за α (тобто, n = ⌈α⌉). Дробові похідна та інтеграл Рімана — Ліувілля мають низку застосувань.[13][14] Подібно до визначення інтеграла Рімана — Ліувілля, похідна має верхню та нижню форми:[15]
Дробова похідна Капуто
Іншим способом обчислення дробових похідних є дробова похідна Капуто. Її ввів Мікеле Капуто у своїй статті 1967 року.[16] На відміну від дробової похідної Рімана-Ліувілля, при розв'язуванні диференціальних рівнянь використовуючи означення Капуто не потрібно визначати початкові умови дробового порядку. Означення Капуто вводится так (тут знову n = ⌈α⌉):
Для дробова похідна Капуто має такий вигляд:
і має ту перевагу, що дорівнює нулю, коли f є константою, а її перетворення Лапласа виражається через початкові значення функції та її похідної. Крім того, похідну Капуто для [a,b] визначають як
де ϕ — вагова функція.
Дробова похідна Капуто-Фабріціо
У статті 2015 року М. Капуто та М. Фабріціо представили означення дробової похідної з несингулярним ядром для неперервно-диференційованої функції f, заданої так:
де .[17]
Дробова похідна Атангани — Балеану
У 2016 році Атангана та Балеану запропонували диференціальні оператори на основі узагальненої функції Міттага-ЛефлераEα. Метою було ввести дробові диференціальні оператори з несингулярним нелокальним ядром. Їхні дробові диференціальні оператори наведено нижче в сенсі Рімана — Ліувілля та Капуто відповідно для неперервно-диференційованої функції f:[18][19]
Якщо функція f неперервна, то похідна Атангани — Балеану в сенсі Рімана — Ліувілля має вигляд
Ядро, що використовується в дробовій похідній Атангани — Балеану, має деякі властивості кумулятивної функції розподілу. Наприклад, для всіх функція Eα зростає на дійсній прямій, збігається до 0 в -∞, і . Отже, функція є кумулятивною функцією розподілу ймовірнісної міри на додатних дійсних числах. Таким чином, визначено розподіл, і будь-який його кратний розподіл називається розподілом Міттага-Леффлера[en] порядку α. Також, усі ці розподіли ймовірностей є абсолютно неперервними. Зокрема, функція Міттага-Леффлера має окремий випадок E1, коли є експонентою. Таким чином, розподіл Міттага-Леффлера порядку 1 є експоненційним розподілом.
Оператор Ерделі — Кобера — це інтегральний оператор, який 1940 року ввели Артур Ерделі[en][30] та Герман Кобер[en][31], має вигляд
який узагальнює дробовий інтеграл Рімана — Ліувілля та інтеграл Вейля.
Застосування
Дробове збереження маси
Рівняння дробового збереження маси необхідне для моделювання потоку рідини, коли контрольний об'єм[en] недостатньо великий порівняно з гетерогенністю[en] і коли потік у контрольному об'ємі є нелінійним:[32]
Електрохімічний аналіз
При вивченні окисно-відновлювальної поведінки субстрату в розчині до поверхні електрода прикладають напругу, щоб змусити електрони переходити між електродом і субстратом. Перенос електронів, що виникає в результаті, вимірюється як струм. Струм залежить від концентрації субстрату на поверхні електрода. Коли підкладка витрачається, свіжа підкладка дифундує до електрода, як описано в законах дифузії Фіка. Перетворення Лапласа другого закону Фіка дає звичайне диференціальне рівняння другого порядку (в безрозмірній формі):
Якщо взяти похідну від C(x,s), а потім обернене перетворення Лапласа, то отримаємо таку залежність:
яка пов'язує концентрацію субстрату на поверхні електрода зі струмом.[33] Ця залежність застосовується в електрохімічній кінетиці для з'ясування механістичної поведінки. Наприклад, її використано для вивчення швидкості димеризації субстратів при електрохімічному відновленні.[34]
Задача потоку підземних вод
У 2013—2014 роках описано деякі задачі потоку підземних вод, використовуючи поняття дробової похідної.[35][36] Класичний закон Дарсі узагальнено, розглядаючи потік води як функцію похідної нецілого порядку від п'єзометричного напору. Цей узагальнений закон і закон збереження маси використали для виведення нового рівняння для потоку підземних вод.
Моделі просторово-часових дробових рівнянь дифузії
Аномальні дифузійні процеси в складних середовищах можна добре описати за допомогою моделей рівнянь дифузії дробового порядку.[37][38] Часова похідна відповідає довготривалому розпаду важкого хвоста, а просторова похідна — нелокальності дифузії. Рівняння просторово-часової дробової дифузії можна записати у вигляді
Простим продовженням дробової похідної є дробова похідна змінного порядку, за якого α і β змінюються на α(x, t) і β(x, t). Його можна застосовувати в моделюванні аномальної дифузії.[39][40][41]
Узагальнення ПІД-регуляторів для використання дробових порядків може збільшити ступінь їхньої свободи. Нове рівняння, що зв'язує керувальну зміннуu(t) з виміряним значенням похибкиe(t), можна записати як
де α і β — додатні дробові порядки, а Kp, Ki, і Kd — невід'ємні коефіцієнти при пропорційному, інтегральному і похідному членах відповідно (іноді позначається, як P, I, і D).[42]
Рівняння акустичних хвиль для складних середовищ
Поширення акустичних хвиль у складних середовищах, таких як біологічні тканини, зазвичай передбачає згасання, що підпорядковується частотному степеневому закону. Таке явище можна описати за допомогою причинно-наслідкового хвильового рівняння, яке включає дробові похідні за часом:[43]
Такі моделі пов'язані із загальновизнаною гіпотезою про те, що в складних середовищах явища множинної релаксації призводять до згасання.[44][45][46][47]
Dα — стала з фізичною розмірністю[Dα] = J1 − α·mα·s−α = kg1 − α·m2 − α·sα − 2, (при α = 2, для частинки з масою m). Оператор (−ħ2Δ)α/2 є 3-вимірною дробовою квантовою похідною Ріса, яку визначають як
Індекс α у дробовому рівнянні Шредінгера є індексом Леві, 1 < α ≤ 2.
Дробове рівняння Шредінгера змінного порядку
Як природне узагальнення дробового рівняння Шредінгера, дробове рівняння Шредінгера змінного порядку використовують для вивчення дробових квантових явищ:[50]
де оператор (−ħ2Δ)β(t)/2 — дробова квантова похідна Ріса змінного порядку.
↑Podlubny, Igor; Magin, Richard L.; Trymorush, Irina (2017). Niels Henrik Abel and the birth of fractional calculus. Fractional Calculus and Applied Analysis. 20 (5): 1068—1075. arXiv:1802.05441. doi:10.1515/fca-2017-0057. S2CID119664694.
↑For the history of the subject, see the thesis (in French): 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)
↑Історичний огляд теми до початку 20-го століття див. тут: Bertram Ross (1977). The development of fractional calculus 1695–1900. Historia Mathematica. 4: 75—89. doi:10.1016/0315-0860(77)90039-8. S2CID122146887.
↑ абвAslan, İsmail (15 січня 2015). An analytic approach to a class of fractional differential-difference equations of rational type via symbolic computation. Mathematical Methods in the Applied Sciences(англ.). 38 (1): 27—36. Bibcode:2015MMAS...38...27A. doi:10.1002/mma.3047. hdl:11147/5562. S2CID120881978.
↑Miller, Kenneth S. (1975). The Weyl fractional calculus. У Ross, Bertram (ред.). Fractional Calculus and Its Applications. Lecture Notes in Mathematics (англ.). Т. 457. Springer. с. 80—89. doi:10.1007/bfb0067098. ISBN978-3-540-69975-0.
↑Anderson, Douglas R.; Ulness, Darin J. (1 червня 2015). Properties of the Katugampola fractional derivative with potential application in quantum mechanics. Journal of Mathematical Physics. 56 (6): 063502. Bibcode:2015JMP....56f3502A. doi:10.1063/1.4922018. ISSN0022-2488.
↑Caputo, Michele; Fabrizio, Mauro (1 січня 2016). Applications of New Time and Spatial Fractional Derivatives with Exponential Kernels. Progress in Fractional Differentiation and Applications. 2 (1): 1—11. doi:10.18576/pfda/020101. ISSN2356-9336.
↑Erdélyi, Arthur (1950–1951). On some functional transformations. Rendiconti del Seminario Matematico dell'Università e del Politecnico di Torino. 10: 217—234. MR0047818.
↑Mainardi, F.; Luchko, Y.; Pagnini, G. (2001). The fundamental solution of the space-time fractional diffusion equation. Fractional Calculus and Applied Analysis. 4 (2): 153—192. arXiv:cond-mat/0702419. Bibcode:2007cond.mat..2419M.