Дифферинтеграл Грюнвальда

В математике, дифферинтеграл Грюнвальда — Летникова является одним из основных обобщений производной в дробном исчислении, которое позволяет брать производные нецелое число раз. Он был введён Антоном Карлом Грюнвальдом (нем.) в 1867 году и А. В. Летниковым в 1868 году.

Построение дифферинтеграла Грюнвальда — Летникова

Формулу для производной

$f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}$

можно применить рекурсивно для получения производных высших порядков. Например, для производной второго порядка получаем:

$f''(x)=\lim_{h\to0}\frac{f'(x+h)-f'(x)}{h}=$

$=\lim_{h_1\to0}\frac{\lim\limits_{h_2\to0}\dfrac{f(x+h_1+h_2)-f(x+h_1)}{h_2}-\lim\limits_{h_2\to0}\dfrac{f(x+h_2)-f(x)}{h_2}}{h_1}.$

Предполагая, что все приращения $h$ стремятся к нулю одинаково, данное выражение можно упростить:

$f''(x)=\lim_{h\to0}\frac{f(x+2h)-2f(x+h)+f(x)}{h^2},$

которое может быть строго обосновано посредством формулы конечных приращений. В общем случае, имеем (смотри биномиальные коэффициенты):

$d^n f(x)=\lim_{h\to0}\frac{1}{h^n}\sum_{m=0}^n(-1)^m{n\choose m}f(x+(n-m)h).$

Формально, снимая ограничение, что $n$ — положительное число, естественно определить:

$\mathbb{D}^q f(x)=\lim_{h\to0}\frac{1}{h^q}\sum_{0\leqslant m<\infty}(-1)^m {q\choose m}f(x+(q-m)h).$

Это и есть определение дифферинтеграла Грюнвальда — Летникова.

Другая запись

Определение также можно переписать проще, если ввести обозначение:

$\Delta^q_h f(x)=\sum_{0\leqslant m<\infty}(-1)^m{q\choose m}f(x+(q-m)h).$

Тогда определение примет вид:

$\mathbb{D}^q f(x)=\lim_{h\to 0}\frac{\Delta^q_h f(x)}{h^q}.$

Ссылки

• Oldham, K. and Spanier, J. The Fractional Calculus — Publisher: Academic Press, 1974. — 234 p. — ISBN 0-12-52555-0-0.