V matematice je Grunwald–Letnikov diferenciální integrál jedním z hlavních zobecnění derivace ve zlomkovém počtu , který umožňuje, aby derivace byly brány neceločíselný počet časů. Zavedli jej Anton Karl Grunwald v roce 1867 a A. V. Letnikov v roce 1868.
Vzorec pro derivaci
lze použít rekurzivně pro získání derivátů vyššího řádu. Například pro derivaci druhého řádu dostaneme:
Za předpokladu, že všechny přírůstky mají tendenci k nule stejným způsobem, lze tento výraz zjednodušit:
které lze rigorózně zdůvodnit pomocí vzorce konečného přírůstku . Obecně platí, že (viz binomické koeficienty ):
Formálně, odstraněním omezení, které je kladným číslem, je přirozené definovat:
Toto je definice Grunwald-Letnikovova diferenciálního integrálu.
Definici lze také jednodušeji přepsat zavedením zápisu:
Pak má definice tvar: