Differentiaalvergelijking
Een differentiaalvergelijking (afk.: DV) is een wiskundige vergelijking voor een functie waarin, naast eventueel de functie zelf, een of meer van de afgeleiden van die functie voorkomen. Betreft het een functie van meer dan één onafhankelijke veranderlijke, dan zijn het de partiële afgeleiden die in de vergelijking voorkomen en spreekt men van een partiële differentiaalvergelijking. Is er slechts één onafhankelijke veranderlijke, dan spreekt men van een gewone differentiaalvergelijking.
Voorbeeld
[bewerken | brontekst bewerken]Een eenvoudig voorbeeld is een vat gevuld met een vloeistof dat langzaam leegstroomt door een opening onder in het vat ter grootte . De hoogte van het vloeistofniveau in het vat neemt af met de tijd. Het is dus een functie van de tijd . Voor een vat met constante doorsnede is de uitgestroomde hoeveelheid vloeistof in het tijdsinterval gelijk aan:
- ,
zodat
De uitstroomsnelheid van de vloeistof hangt af van de hoogte. In een eenvoudig geval is die snelheid evenredig met de hoogte en is de hoogteverandering dus evenredig met de hoogte. Dat levert de differentiaalvergelijking:
met een positieve constante.
Omdat het eigenlijk een vergelijking is voor de functie , wordt vaak geschreven:
De algemene oplossing is:
- ,
waarin de constante bepaald wordt door de voorwaarde .
Stel namelijk dat ook een oplossing is, dan volgt:
Dus is een veelvoud van .
Toepassingen
[bewerken | brontekst bewerken]Allerlei verschijnselen in de natuurkunde en de toepassingen daarvan in de techniek worden door differentiaalvergelijkingen beschreven. Het voorbeeld bij uitstek vormen trillingen en golven. Bij de eenvoudigste trillingsvergelijking is er een evenredig verband tussen de tweede afgeleide en de functie zelf. De oplossing is een sinusfunctie. Golfvoortplanting in de ruimte wordt door een partiële differentiaalvergelijking beschreven met als veranderlijken de drie ruimtelijke coördinaten en de tijd.
Ook bevolkingsgroei kan door een differentiaalvergelijking worden beschreven. Gaat men uit van de (sterk vereenvoudigde) veronderstelling van een constante vruchtbaarheid, dat wil zeggen dat de bevolking van een land groeit met een snelheid die evenredig is met het aantal inwoners, dan is de eerste afgeleide van het aantal inwoners als functie van de tijd, evenredig met dat aantal zelf. De oplossing van deze differentiaalvergelijking is een exponentiële functie; vandaar de welhaast spreekwoordelijke exponentiële groei.
Differentiaalvergelijkingen die in de natuur voorkomende verschijnselen beschrijven, zijn vaak niet wiskundig oplosbaar. Soms kan dan met numerieke methoden een benaderende oplossing gevonden worden. Maar dan is er alsnog een hoop wiskunde nodig voordat zo'n vergelijking kan worden 'opgelost' met een computer die eigenlijk slechts elementaire rekenkundige bewerkingen kan uitvoeren. Sommige differentiaalvergelijkingen kunnen zelfs met computers niet of niet nauwkeurig worden opgelost, bijvoorbeeld vergelijkingen die turbulente stromingen beschrijven. Dat is een van de redenen dat er geen betrouwbare weersvoorspellingen mogelijk zijn op langere termijn.
Definitie
[bewerken | brontekst bewerken]Een gewone differentiaalvergelijking is een vergelijking waarin als onbekende een functie van één veranderlijke voorkomt en een of meer van zijn afgeleiden, met steeds hetzelfde argument.
De algemene impliciete vorm van een gewone differentiaalvergelijking is:
Daarnaast zijn er varianten zoals (een delay differential equation), die buiten deze definitie vallen.
De orde van de hoogste voorkomende afgeleide heet de orde van de differentiaalvergelijking.
Als de vergelijking opgelost is naar de hoogste afgeleide, dus geschreven kan worden in de vorm:
noemt men deze de differentiaalvergelijking in expliciete vorm.
Oplossing
[bewerken | brontekst bewerken]Er zijn maar weinig differentiaalvergelijkingen met een "gesloten" oplossing, een oplossing in een formule. Dat stelt een grens aan de mogelijkheden van een wiskundige benadering van natuurverschijnselen. Nog de meeste mogelijkheden van een puur wiskundige oplossing hebben lineaire differentiaalvergelijkingen: vergelijkingen waarbij de som van twee oplossingen ook een oplossing is. Trillingen en golven worden vaak door zulke differentiaalvergelijkingen beheerst. Transformaties vanuit het domein van tijd en ruimte naar frequenties (waaraan de naam van Fourier is verbonden) kunnen het differentiëren tot een vermenigvuldiging reduceren.
Veel verschijnselen in de natuur dragen echter een niet-lineair karakter. Dat geldt met name voor turbulente stromingen. Natuurlijk zijn er benaderingsmethoden om aan zulke verschijnselen te rekenen, maar de mogelijkheden zijn toch zo beperkt dat experimenten hier vooralsnog onontbeerlijk blijven. Het zal de leek verbazen dat ook met moderne supercomputers nog steeds niet alles uit te rekenen is.
Lineaire differentiaalvergelijking
[bewerken | brontekst bewerken]Een lineaire -de-orde-differentiaalvergelijking is een gewone differentiaalvergelijking van de vorm:
Als , heet de differentiaalvergelijking homogeen of gereduceerd, anders inhomogeen of compleet. De verzameling functies die oplossing zijn van een bepaalde homogene lineaire differentiaalvergelijking vormt een vectorruimte (elke lineaire combinatie van oplossingen is ook een oplossing).
De algemene oplossing van een inhomogene vergelijking is te schrijven als een particuliere oplossing plus de algemene oplossing van de bijbehorende homogene vergelijking. De verzameling functies die oplossing zijn van een bepaalde inhomogene lineaire differentiaalvergelijking vormt een affiene ruimte.
Constante coëfficiënten
[bewerken | brontekst bewerken]Een speciaal geval is een lineaire differentiaalvergelijking met constante coëfficiënten, waarin de coëfficiënten constanten zijn. Voor dergelijke differentiaalvergelijkingen bestaat een relatief simpele algemene oplossingsmethode.
Algemene oplossingsmethode
[bewerken | brontekst bewerken]Een oplossing van de homogene vergelijking:
is de functie
- ,
mits de parameter voldoet aan de zogenaamde karakteristieke vergelijking:
- ,
die door invullen van de mogelijke oplossing in de differentiaalvergelijking ontstaat. Dit is een gewone polynomiale vergelijking van de graad in de parameter . In het algemeen heeft deze vergelijking complexe oplossingen , waarvan er eventueel enkele kunnen samenvallen. Als alle oplossingen verschillend zijn, wordt de algemene oplossing van de differentiaalvergelijking gegeven door een lineaire combinatie van de afzonderlijke e-machten:
- ,
waarin de coëfficiënten nog vrij gekozen kunnen worden. Meestal worden deze coëfficiënten vastgelegd door de beginvoorwaarden.
Voorbeeld 1
[bewerken | brontekst bewerken]De differentiaalvergelijking:
kan gelezen worden als: zoek een functie die als tweede afgeleide zijn eigen tegengestelde heeft. Het is bekend dat de sinus en de cosinus deze eigenschap hebben.
De karakteristieke vergelijking is:
- ,
met de twee oplossingen: en .
De algemene oplossing van de differentiaalvergelijking wordt dus:
Door geschikte keuze van en komen inderdaad de sinus en de cosinus als oplossing tevoorschijn.
Voorbeeld 2
[bewerken | brontekst bewerken]Het tweede voorbeeld is een inhomogene lineaire tweede-orde-differentiaalvergelijking:
De bijbehorende homogene DV heeft de karakteristieke vergelijking:
- ,
met de oplossingen: en
Dat geeft als algemene oplossing van de homogene DV:
Deze kan ook geschreven worden als
Vervolgens gaat het erom een particuliere oplossing van de inhomogene DV te vinden. De twee meest gebruikte methoden om een dergelijke oplossing te vinden zijn de methode van de onbepaalde coëfficiënten en de variatie van de parameters.
Een eenvoudige vorm van de eerste van deze twee methoden is te proberen of
voldoet als mogelijke oplossing. Invullen in de DV levert:
- ,
waaruit volgt .
Een particuliere oplossing is dus:
De algemene oplossing is de som van de gevonden particuliere oplossing en de algemene oplossing van de homogene DV :
Niet-lineaire differentiaalvergelijkingen
[bewerken | brontekst bewerken]Het oplossen van niet-lineaire differentiaalvergelijkingen is een stuk moeilijker en onoverzichtelijker. Er is geen algemene oplossingsmethode voor.
Voorbeelden
[bewerken | brontekst bewerken]De bewegingsvergelijking van een slinger wordt gegeven door de volgende differentiaalvergelijking:
Daarin is de hoek die de slinger maakt met de verticale richting en een constante. Deze vergelijking is niet oplosbaar met standaardtechnieken. Voor kleine uitwijkingen kan een benadering toegepast worden; dan is , zodat de vergelijking overgaat in die van de harmonische oscillator:
Een ander voorbeeld is de differentiaalvergelijking voor de vorm van een hangende ketting of touw:
Deze heeft de zogenaamde kettinglijn als algemene oplossing
- ,
met de integratieconstanten en .
Begin- en randvoorwaarden
[bewerken | brontekst bewerken]Om een eenduidige oplossing van een differentiaalvergelijking te krijgen, moeten randvoorwaarden opgelegd worden. In het algemeen kan gesteld worden dat voor een -de orde differentiaalvergelijking verschillende randvoorwaarden nodig zijn.
Bijvoorbeeld: de eerste orde differentiaalvergelijking
heeft als algemene oplossing , waarbij nog onbepaald is. Door de beginvoorwaarde op te leggen, wordt de oplossing eenduidig bepaald als .
Lineaire vergelijkingen
[bewerken | brontekst bewerken]Men kan bewijzen[bron?], dat een lineaire differentiaalvergelijking van -de orde, met randvoorwaarden
-
- ...
één unieke continu oplossing heeft.
Een mooi voorbeeld om de natuurkundige betekenis van begin- en randvoorwaarden te illustreren is de trillende snaar. De differentiaalvergelijking die een trillende snaar beschrijft heeft oneindig veel oplossingen (waaronder de nuloplossing voor een snaar in rust). Pas met de randvoorwaarden dat de snaar een amplitude nul heeft in haar bevestigingspunten, en de beginvoorwaarde van de stand van de snaar op een bepaald moment is een eenduidige oplossing te berekenen.
Een partiële differentiaalvergelijking
[bewerken | brontekst bewerken]![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/e/ee/1rightarrow_blue.svg/15px-1rightarrow_blue.svg.png)
Veel verschijnselen in de fysica moeten beschreven worden met behulp van partiële differentiaalvergelijkingen. Bijvoorbeeld de trilling van een snaar wordt beschreven door
- ,
waarbij de uitwijking van de snaar is, de positie van de snaar (van 0 aan het ene eind tot 1 aan het andere eind) en de tijd. Deze partiële differentiaalvergelijking is van de tweede orde, zowel in de tijd als in de plaats. Er zijn dus twee randvoorwaarden in de tijd ("beginvoorwaarde") nodig, bijvoorbeeld
en twee randvoorwaarden in de plaats, bijvoorbeeld
- ,
- .
Deze randvoorwaarden houden in dat de snaar ingeklemd is. Door middel van scheiden van veranderlijken is deze DV te herleiden tot twee gewone DV's, waarin alleen tijd of plaats voorkomt als onafhankelijk veranderlijke.
Differentievergelijkingen
[bewerken | brontekst bewerken]Het discrete analogon van een differentiaalvergelijking is een differentievergelijking.
Software
[bewerken | brontekst bewerken]Software die differentiaalvergelijkingen kan oplossen:
Zie ook
[bewerken | brontekst bewerken]- Lineaire differentiaalvergelijking van eerste orde
- Partiële differentiaalvergelijking
- Scheiden van veranderlijken
- Variatie van de parameters: methode voor het vinden van een particuliere oplossing.
- Methode van de onbepaalde coëfficiënten: methode voor het vinden van een particuliere oplossing.
- Orthogonale families
Externe bronnen
[bewerken | brontekst bewerken]- (en) videocolleges over differentiaalvergelijkingen op MIT OpenCourseWare door professor Arthur Mattuck
- Oplossingsmethode voor enkele soorten differentiaalvergelijkingen.
Referenties
[bewerken | brontekst bewerken]- ↑ ExpressionsinBar. www.alelvisoftware.com. Geraadpleegd op 17 mei 2020.
- ↑ dsolve - Maple Programming Help. www.maplesoft.com. Gearchiveerd op 8 juli 2020. Geraadpleegd op 12 mei 2020.
- ↑ Basic Algebra and Calculus — Sage Tutorial v9.0. doc.sagemath.org. Geraadpleegd op 12 mei 2020.
- ↑ Symbolic algebra and Mathematics with Xcas. Gearchiveerd op 26 augustus 2020. Geraadpleegd op 12 mei 2020.