Diferenční rovnice je rovnice pro neznámou posloupnost ( a n ) n = 1 ∞ {\displaystyle (a_{n})_{n=1}^{\infty }} obsahující její diference.
Máme-li danou posloupnost ( a n ) n = 1 ∞ {\displaystyle (a_{n})_{n=1}^{\infty }} , pak její (první) diference (zprava) je posloupnost definovaná jako
Druhá diference je diference první diference:
Obecně k-tou diferenci definujeme jako
Lineární rekurentní rovnice lze jednoznačně převést na (tzv. přidružené) diferenční rovnice a naopak; někteří autoři používají tyto dva pojmy zaměnitelně. Například, diferenční rovnice
je ekvivalentní přidružené rekurentní rovnici