eindigeverschil

Eindige verschil, ook wel eindigeverschil genoemd, is een methode in de numerieke wiskunde om afgeleiden en andere differentialoperatoren te benaderen door de waarden van een functie op een discrete rooster te gebruiken. Het wordt veel toegepast bij het discretiseren van differentialvergelijkingen en bij numerieke differentiatie, zodat continue problemen in algebraïsche systemen kunnen worden opgelost.

Op een eendimensionaal rooster met punten x_i en constante stap h = x_{i+1} - x_i worden verschillenoperatoren gedefinieerd. Het forward difference Δf_i = f_{i+1} - f_i, het backward difference ∇f_i = f_i - f_{i-1}, en het centrale verschil δf_i = (f_{i+1} - f_{i-1})/(2h). Deze operatoren leveren benaderingen van afgeleiden:

- Eerste afgeleide: f'(x_i) ≈ (f_{i+1} - f_i)/h (forward, O(h)); ≈ (f_i - f_{i-1})/h (backward, O(h)); ≈ (f_{i+1} - f_{i-1})/(2h) (centrale, O(h^2)).

- Tweede afgeleide: f''(x_i) ≈ (f_{i+1} - 2 f_i + f_{i-1})/h^2.

Finite differences worden gebruikt om zowel gewone als部分 differentiaalvergelijkingen te discretiseren en zo algebraïsche systemen op te zetten die vervolgens kunnen worden opgelost. Bij tijdafhankelijke problemen ontstaan expliciete schema’s, die toekomstige waarden direct berekenen, en impliciete schema’s, die een systeem van vergelijkingen vereisen om op te lossen. De tijdstap en de ruimtelijke stap bepalen vaak de stabiliteit en nauwkeurigheid; voor veel diffusieproblemen geldt een CFL-voorwaarde.

Er bestaan ook hogere orde en niet-uniforme verschillenmethoden, die betere nauwkeurigheid leveren of geschikt zijn voor variabele stapgrootten. Eindige verschillen vormen daarmee een fundamenteel gereedschap in computational science en engineering.