Дробная производная

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
(перенаправлено с «Дробный анализ»)

Дробная производная (или производная дробного порядка) является обобщением математического понятия производной. Существует несколько разных способов обобщить это понятие, но все они совпадают с понятием обычной производной в случае натурального порядка. Когда рассматриваются не только дробные, но и отрицательные порядки производной, к такой производной обычно применяется термин дифферинтеграл.

Дробные производные на отрезке вещественной оси

Для функции [math]\displaystyle{ f(x) }[/math], заданной на отрезке [math]\displaystyle{ [a,\, b] }[/math], каждое из выражений

[math]\displaystyle{ D^\alpha_{a+} \, f(x)= \frac{1}{\Gamma(1-\alpha)} \frac {d}{dx} \int \limits_a^x \frac{f(t)\, dt}{(x-t)^\alpha}, \quad \,D^\alpha_{b-} \, f(x)= - \frac{1}{\Gamma(1-\alpha)} \frac {d}{dx} \int \limits_x^b \frac{f(t)\, dt}{(t-x)^\alpha}, }[/math]

называется дробной производной порядка [math]\displaystyle{ \alpha }[/math], [math]\displaystyle{ 0 \lt \alpha \lt 1 }[/math], соответственно левосторонней и правосторонней. Дробные производные в приведенном виде называют обычно производными Римана — Лиувилля.

Определение через интеграл Коши

Дробная производная порядка [math]\displaystyle{ p }[/math] ([math]\displaystyle{ p }[/math] — вещественное положительное число) определяется через интеграл Коши: [math]\displaystyle{ D_C^pf(t)=\frac1{\Gamma(p)}\!\int\limits_C\frac{f(u)}{(t-u)^{p+1}}\,du }[/math], где интегрирование ведется по выбранному заранее контуру [math]\displaystyle{ C }[/math] на комплексной плоскости. Непосредственное применение этой формулы затруднено из-за ветвления функции при дробном показателе степени в знаменателе.

Определение через преобразование Фурье

Основано на следующем свойстве интегрального преобразования Фурье

[math]\displaystyle{ F[D^k\psi(x)](\omega) = (-i\omega)^k (F\psi)(\omega) \quad (k \in \N). }[/math][1]

Определение через общую формулу n-й производной

В случае, если есть общее аналитическое выражение для производной n-го порядка, понятие дробной производной может быть введено естественным образом путём обобщения данного выражения (когда это возможно) на случай произвольного числа n.

Пример 1: дифференцирование многочленов

Пусть [math]\displaystyle{ f(x) }[/math] есть моном вида

[math]\displaystyle{ f(x) = x^k\,. }[/math]

Первая производная, как и обычно

[math]\displaystyle{ f'(x) = {d \over dx } f(x) = k x^{k-1}\,. }[/math]

Повторение данной процедуры даёт более общий результат

[math]\displaystyle{ {d^n \over dx^n } x^k = { k! \over (k - n) ! } x^{k-n}\,, }[/math]

который после замены факториалов гамма-функциями приводит к

[math]\displaystyle{ {d^n \over dx^n } x^k = { \Gamma(k+1) \over \Gamma(k - n + 1) } x^{k-n}\,. }[/math]

Поэтому, например, половинная производная функции x есть

[math]\displaystyle{ { d^{1 \over 2} \over dx^{1 \over 2} } x = { \Gamma(1 + 1) \over \Gamma ( 1 - {1 \over 2} + 1 ) } x^{1-{1 \over 2}} = { \Gamma( 2 ) \over \Gamma ( { 3 \over 2 } ) } x^{1 \over 2} = {2 \pi^{-{1 \over 2}}} x^{1 \over 2}\; = \frac{2\,x^{1 \over 2}}{\sqrt{\pi}}\,. }[/math]

Повторяя процедуру, будем иметь

[math]\displaystyle{ { d^{1 \over 2} \over dx^{1 \over 2} } {2 \pi^{-{1 \over 2}}} x^{1 \over 2} = {2 \pi^{-{1 \over 2}}} { \Gamma ( 1 + {1 \over 2} ) \over \Gamma ( {1 \over 2} - { 1 \over 2 } + 1 ) } x^{{1 \over 2} - {1 \over 2}} = {2 \pi^{-{1 \over 2}}} { \Gamma( { 3 \over 2 } ) \over \Gamma ( 1 ) } x^0 = { 1 \over \Gamma (1) } = 1\,, }[/math]

что представляет собой ожидаемый результат

[math]\displaystyle{ \left( \frac{d^{1/2}}{dx^{1/2}} \frac{d^{1/2}}{dx^{1/2}} \right) x = { d \over dx } x = 1 \,. }[/math]

Таким образом можно ввести дробные производные произвольного положительного порядка от многочлена. Определение также естественно обобщается на аналитические функции. Рассматривая [math]\displaystyle{ \Gamma }[/math] как мероморфную функцию комплексного переменного, можно обобщить определение на случай произвольного порядка дифференцирования. При этом

[math]\displaystyle{ {\left( {d\over dx} \right)}^a {\left( {d\over dx} \right)}^b = {\left( {d\over dx} \right)}^{a+b} }[/math]

на всех [math]\displaystyle{ x^k }[/math], таких что [math]\displaystyle{ k-a }[/math], [math]\displaystyle{ k-b }[/math] и [math]\displaystyle{ k-a-b }[/math] не являются целыми отрицательными числами.

Следует заметить, что производная в рассмотренном смысле имеет место при целых отрицательных n, однако такая производная отличается от понятия первообразной n-го порядка, поскольку первообразная определена неоднозначно, в то время как производная совпадает лишь с одной из первообразных. В этом случае можно говорить о главном значении первообразной.

Пример 2: дифференцирование тригонометрических функций

Пусть

[math]\displaystyle{ f(x) = \sin (ax+b)\,. }[/math]

Поскольку для любых a и b

[math]\displaystyle{ {d^n \over dx^n } \sin (ax+b) = a^n \sin \left(ax+b+{\pi n \over 2} \right)\,, }[/math]

то, полагая [math]\displaystyle{ n=1/2 }[/math],

[math]\displaystyle{ {{d^{1/2}} \over {dx^{1/2}}} \sin (ax+b) = \sqrt{a} \, \sin \left(ax+b+{\pi \over 4} \right)\,. }[/math]

Действительно,

[math]\displaystyle{ {{d^{1/2}} \over {dx^{1/2}}} \left( {{d^{1/2}} \over {dx^{1/2}}} \sin (ax+b) \right) = \sqrt{a} \; \sqrt{a} \, \sin \left(ax+b+{\pi \over 4}+{\pi \over 4} \right) = a \, \cos (ax+b) = f'(x)\,. }[/math]

В рассмотренном примере понятие производной обобщается на случай любого действительного и даже комплексного порядка. Так, при [math]\displaystyle{ n=-1 }[/math] формула n-й производной даёт одну из первообразных функции [math]\displaystyle{ f(x) }[/math].

Свойства

Основные свойства производной нецелого порядка:

  • Линейность
[math]\displaystyle{ D^{q}_t(f(t)+g(t))= D^{q}_t(f(t))+ D^{q}_t(g(t)) }[/math]
[math]\displaystyle{ D^{q}(ax)=a D^{q}(x) }[/math]
  • Правило нуля
[math]\displaystyle{ D^{0}x=x }[/math]
  • Дробная производная произведения
[math]\displaystyle{ D^q_t(f(t)g(t))=\sum_{j=0}^{\infty} {q \choose j} D^j_t(f(t)) D^{q-j}_t(g(t)) }[/math]
  • Полугрупповое свойство
[math]\displaystyle{ D^a D^{b} f(t) = D^{a+b} f(t) }[/math]

в общем случае не выполняется [1].

Примечания

  1. 1,0 1,1 см. Формулу (1.3.11) (стр. 11) в книге A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and Applications of Fractional Differential Equations. (Elsevier, 2006)

См. также

Литература

Ссылки