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 DV. Om uitdrukkingen te vereenvoudigen wordt de afgeleide van f meestal genoteerd als f' en niet als .

Voorbeeld

Een eenvoudig voorbeeld dat wordt beschreven door een differentiaalvergelijking, is een vat met vloeistof dat langzaam leegstroomt. De hoogte h van het vloeistofniveau in het vat neemt af met de tijd. Het is dus een functie van de tijd t. We noteren deze functie als h(t). De uitstroomsnelheid van de vloeistof hangt af van de hoogte. In een eenvoudig geval is die snelheid evenredig met de hoogte en kan de uitstroomsnelheid eenvoudig uitgedrukt worden in de hoogteverandering, dus in de afgeleide van h(t). Die afgeleide wordt met een accent genoteerd: h'(t). Dan luidt de differentiaalvergelijking:

waarin c een positieve constante is. Omdat de hoogteverandering negatief is en de uitstroomsnelheid positief komt er een minteken.

Omdat het eigenlijk een vergelijking voor functies h is, wordt vaak geschreven:

Een oplossing van een differentiaalvergelijking is een functie h die aan deze relatie voldoet. In het algemeen is een oplossing niet uniek, dat wil zeggen dat een differentiaalvergelijking meerdere oplossingen heeft. Beginvoorwaarden bepalen wat precies de oplossing is in een concreet geval.

In bovenstaand voorbeeld zou de beginvoorwaarde de beginwaarde (d.w.z. als t=0) van het vloeistofniveau kunnen zijn. Voor elke beginwaarde geeft de oplossing van de differentiaalvergelijking een passende functie. Als beginvoorwaarde kan overigens even goed het vloeistofniveau op een ander vast tijdstip (bijvoorbeeld t=3) gebruikt worden. In dat geval zou bijvoorbeeld aanvullend gegeven zijn dat het vloeistofniveau na 3 seconde gelijk is aan 2 meter.

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 bijvoorbeeld bevolkingsgroei kan door een differentiaalvergelijking worden beschreven. Als we uitgaan van de (sterk vereenvoudigde) aanname van een constante vruchtbaarheid, dat wil zeggen dat de bevolking van een land groeit met een snelheid die evenredig is aan het aantal inwoners, dan is wiskundig de eerste afgeleide van de functie die het aantal inwoners als functie van de tijd weergeeft evenredig met de functie 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. Dan moet er de computer aan te pas komen. 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

Een differentiaalvergelijking is een vergelijking waarin als onbekende een functie f van een of meer veranderlijken voorkomt in de vorm van een of meer van zijn afgeleiden.

We voeren de volgende notatie in:

(de eerste afgeleide); (de tweede afgeleide); (de -de afgeleide).

De algemene vorm van een gewone differentiaalvergelijking voor een functie f, dus van één veranderlijke x is dan:

De orde van een differentiaalvergelijking is de orde van de hoogste afgeleide van f, die in F voorkomt. Een n-de orde differentiaalvergelijking heeft dus de volgende vorm:

Het oplossen van differentiaalvergelijkingen

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

Een DV van de vorm:

is van de n-de orde omdat de hoogste afgeleide van f de n-de is.

Deze DV is een lineaire differentiaalvergelijking, omdat er alleen eerstegraads termen van f(x) en zijn afgeleiden in voorkomen, en geen producten van f(x) en zijn afgeleiden.

Een n-de orde lineaire differentiaalvergelijking heeft n lineair onafhankelijke oplossingen. Elke lineaire combinatie van deze oplossingen is ook een oplossing. De orde van een DV is daarmee gelijk aan het aantal vrijheidsgraden in de verzameling van oplossingen.

Als , heet de DV homogeen, anders inhomogeen.

Constante coëfficiënten

We spreken van een lineaire DV met constante coëfficiënten, als de coëfficiënten reële of complexe constanten zijn, dus onafhankelijk van x.

Algemene oplossingsmethode

Voor homogene lineaire differentiaalvergelijkingen met constante coëfficiënten:

bestaat een relatief simpele algemene oplossingsmethode. Daarbij wordt uitgegaan van een oplossing van de vorm:

.

Door invullen in de DV reduceert de vergelijking tot de volgende vergelijking voor de parameter a:

.

Dit is een gewone polynomiale vergelijking in a, met in het algemeen n oplossingen , waarvan er eventueel enkele kunnen samenvallen. Als alle n oplossingen verschillend zijn, wordt de algemene oplossing van de DV gegeven door een lineaire combinatie van de afzonderlijke e-machten:

,

waarin de coëfficiënten nog vrij gekozen kunnen worden. Meestal worden de coëfficiënten vastgelegd door de beginvoorwaarden.

Voorbeeld 1

We zoeken de oplossing van de volgende differentiaalvergelijking:

We kunnen dat zien als: zoek een functie, die als tweede afgeleide zijn eigen tegengestelde heeft. We weten al dat de sinus en de cosinus deze eigenschap hebben.

Volgens de boven uiteengezette oplossingsmethode, moeten we de vierkantsvergelijking:

oplossen. Deze heeft twee oplossingen: en .

De algemene oplossing van de DV wordt dus:

We zien dat door geschikte keuze van inderdaad de sinus en de cosinus als oplossing tevoorschijn komen.

Voorbeeld 2

Als tweede voorbeeld nemen we een inhomogene lineaire tweede orde differentiaalvergelijking:

De algemene strategie om alle oplossingen te vinden is:

  1. vind de algemene oplossing van de homogene DV;
  2. zoek een oplossing, particuliere oplossing genoemd, van de inhomogene DV;
  3. de algemene oplossing van de inhomogene DV wordt verkregen door bij de particuliere oplossing de algemene oplossing van de homogene DV op te tellen.
Homogene DV

Deze luidt:

De op te lossen veeltermvergelijking wordt dan:

De oplossingen daarvan zijn: en

Dat geeft als algemene oplossing van de homogene DV:

.

We kunnen dit herschrijven als

Particuliere oplossing

We zoeken een functie die aan de gegeven inhomogene DV voldoet, een zogenaamde particuliere oplossing. 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.

Volgend voorbeeld gebruikt een eenvoudige vorm van de eerste van deze twee methoden. Aangezien de tweede afgeleide van een sinus weer een sinus oplevert, zij het met een min-teken, proberen we:

als mogelijke oplossing. Invullen levert:

,

waaruit volgt

.

Een particuliere oplossing is dus:

De algemene oplossing is de som van de algemene oplossing van de homogene DV en de gevonden particuliere oplossing :

.

Er is ook een algemene oplossingsmethode voor gewone lineaire tweede orde DV's van Lagrange, Variatie van de parameters, maar die is wat ingewikkelder.

Niet-lineaire differentiaalvergelijkingen

Het oplossen van niet-lineaire differentiaalvergelijkingen is een stuk moeilijker en onoverzichtelijker. Er is geen algemene oplossingsmethode voor.

Voorbeelden

Een slinger voldoet aan de volgende differentiaalvergelijking (met ω een constante):

De functie f(t) beschrijft de hoek die de slinger maakt met de verticale richting. Deze vergelijking is niet oplosbaar met standaardtechnieken. Een mogelijke aanpak is de benadering van kleine uitwijking door te voeren, zodat sin f(t) ≈ f(t). Hierdoor herleidt de vergelijking zich tot die van de harmonische oscillator.

Een ander voorbeeld is de differentiaalvergelijking van een hangende ketting of touw:

Deze heeft de zogenaamde kettinglijn als algemene oplossing

met C en t0 integratieconstanten van het vraagstuk.

Begin- en randvoorwaarden

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

Men kan bewijzen, 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

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

Het discrete analogon van een differentiaalvergelijking is een differentievergelijking.

Software

Er is software die differentiaalvergelijkingen kan oplossen: Maple, SageMath, Xcas, ExpressionsInBar en anderen.

Zie ook

Externe bron

Zie de categorie Differential equations van Wikimedia Commons voor mediabestanden over dit onderwerp.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.