title: Eindige-differentiemethode
text: De eindige differentiemethode (Engels: finite difference method) is een methode in de numerieke wiskunde om partiële differentiaalvergelijkingen op te lossen. De methode bestaat erin de continue coördinaten  te discretiseren door ze te vervangen door een rooster  met afmeting  en de partiële differentialen  door eindige differenties.
  
  Zo wordt de Laplace-operator  in 3 dimensies benaderd als
  
  De op te lossen partiële differentiaalvergelijkingen worden opgedeeld in drie klassen: elliptische, parabolische en hyperbolische differentiaalvergelijkingen. Elke soort vergt een eigen manier van eindige differentie.
  
  Elliptisch
  Elliptische differentiaalvergelijkingen zijn partiële differentiaalvergelijkingen van de vorm van de golfvergelijking
  
  Dergelijke vergelijkingen komen voor bij alle golven: elektromagnetische golf, geluidsgolf, oppervlaktegolf (vloeistofdynamica), seismische golf, rayleighgolf, lovegolf. Zo geformuleerd leent de vergelijking zich nog niet tot eindige differenties, maar bij een vaste pulsatie  vereenvoudigt dit tot de helmholtz-vergelijking:
  
  Die wel met eindige differenties oplosbaar is.
  
  Een bijzonder geval is de poissonvergelijking:
  
  g is de bronterm, bijvoorbeeld lading of stroom. Dit gaat met eindige differenties. 
  
  Als de bronterm nul is, is de vergelijking van Laplace hiervan weer een bijzonder geval.
  
  De vergelijking van Laplace of potentiaalvergelijking komt veel voor in de elektrostatica en de magnetostatica maar ook in de vloeistofdynamica.
  
  Een goede methode van eindige differentie voor de gevallen hierboven is de methode van Gauss-Seidel, voor de eenvoud van notatie enkel in 3 dimensies gegeven.
  
  De methode komt er op neer, alle punten van het kubisch rooster een voor een af te lopen en telkens de formule toe te passen (relaxatie). Op de rand moet de randvoorwaarde gelden. Dit is dikwijls een vaste waarde - dikwijls nul - een   Dirichlet-randvoorwaarde of een vaste afgeleide - dikwijls nul - Neumann-randvoorwaarde of een combinatie van beide impedantie-randvoorwaarde. Dit wordt zo dikwijls herhaald iteratie, tot geen verandering meer optreedt en er van convergentie sprake is.
  
  Een verbetering in snelheid levert successieve overrelaxatie:
  ,
  
  waarin  de gulden snede is.
  
  Parabolisch
  Parabolische differentiaalvergelijkingen zijn partiële differentiaalvergelijkingen van de vorm van de diffusievergelijking:
  
  Diffusievergelijkingen komen voor bij processen van diffusie: warmte, neutronen, isotopen.
  
  Een goede methode van eindige differentie is in zo'n geval de methode van Crank-Nicholson, voor de eenvoud van notatie enkel in 2 dimensies gegeven:
  
  Op de rand geldt natuurlijk weer de randvoorwaarde van het gegeven probleem, bijvoorbeeld in het geval van warmte een dirichlet-voorwaarde voor een rand op vaste temperatuur of een neumann-voorwaarde voor een geïsoleerde rand.
  Vertrekkend vanaf een gegeven  op tijd 0 laat successieve toepassing van de formule nu toe een benadering te berekenen op latere tijden: .
  
  Hyperbolisch
  Hyperbolische differentiaalvergelijkingen zijn partiële differentiaalvergelijkingen van de vorm
  
  Dergelijke vergelijkingen komen voor in de stromingsleer boven de geluidssnelheid. Inderdaad, de Navier-Stokes-vergelijkingen worden dan hyperbolisch. Er is een methode van Lax in dit geval, maar een groot probleem voor de methode is het ontstaan van min of meer sterke schokgolven.
  
  Numerieke wiskunde