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.

Inhoud

Voorbeeld


Een eenvoudig voorbeeld is een vat gevuld met een vloeistof dat langzaam leegstroomt door een opening onderin het vat ter grootte \({\displaystyle a}\). De hoogte van het vloeistofniveau in het vat neemt af met de tijd. Het is dus een functie \({\displaystyle h(t)}\) van de tijd \({\displaystyle t}\). Voor een vat met constante doorsnede \({\displaystyle D}\) is de uitgestroomde hoeveelheid vloeistof in het tijdsinterval \({\displaystyle (t,t+\mathrm {d} t)}\) gelijk aan:

\({\displaystyle {\big (}h(t)-h(t+\mathrm {d} t){\big )}D=a\cdot v(t)\mathrm {d} t}\),

zodat

\({\displaystyle v(t)=-{\frac {D}{a}}h'(t)}\)

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 \({\displaystyle h'(t)}\) dus evenredig met de hoogte. Dat levert de differentiaalvergelijking:

\({\displaystyle h'(t)=-c\cdot h(t)}\)

met \({\displaystyle c}\) een positieve constante.

Omdat het eigenlijk een vergelijking is voor de functie \({\displaystyle h}\), wordt vaak geschreven:

\({\displaystyle h'=-c\cdot h}\)

De algemene oplossing is:

\({\displaystyle h(t)=A\,e^{-ct}}\),

waarin de constante bepaald wordt door de voorwaarde \({\displaystyle A=h(0)}\).

Stel namelijk dat ook \({\displaystyle {\tilde {h}}}\) een oplossing is, dan volgt:

\({\displaystyle \left({\frac {\tilde {h}}{h}}\right)'={\frac {{\tilde {h}}'h-{\tilde {h}}h'}{h^{2}}}={\frac {-c{\tilde {h}}h+c{\tilde {h}}h}{h^{2}}}=0}\)

Dus is \({\displaystyle {\tilde {h}}}\) een veelvoud van \({\displaystyle h}\).

Toepassingen


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


Een gewone differentiaalvergelijking is een vergelijking waarin als onbekende een functie \({\displaystyle f}\) van één veranderlijke voorkomt en een of meer van zijn afgeleiden, met steeds hetzelfde argument.

De algemene impliciete vorm van een gewone differentiaalvergelijking is:

\({\displaystyle F(x,f(x),f^{\prime }(x),f^{\prime \prime }(x),\ldots ,f^{(n)}(x))=0}\)

Daarnaast zijn er varianten zoals \({\displaystyle f^{\prime }(x)-f(x-1)=0}\) (een delay differential equation), die buiten deze definitie vallen.

De orde \({\displaystyle n}\) van de hoogste voorkomende afgeleide \({\displaystyle f^{(n)}}\) heet de orde van de differentiaalvergelijking.

Als de vergelijking opgelost is naar de hoogste afgeleide, dus geschreven kan worden in de vorm:

\({\displaystyle f^{(n)}(x)=\varphi (x,f(x),f^{\prime }(x),f^{\prime \prime }(x),\ldots ,f^{(n-1)}(x))}\)

noemt men deze de differentiaalvergelijking in expliciete vorm.

Oplossing


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 lineaire \({\displaystyle n}\)-de-orde-differentiaalvergelijking is een gewone differentiaalvergelijking van de vorm:

\({\displaystyle c_{n}(x)f^{(n)}(x)+c_{n-1}(x)f^{(n-1)}(x)+\ldots +c_{1}(x)f'(x)+c_{0}(x)f(x)=g(x)}\)

Als \({\displaystyle g(x)\equiv 0}\), 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

Een speciaal geval is een lineaire differentiaalvergelijking met constante coëfficiënten, waarin de coëfficiënten \({\displaystyle c_{i}(x)}\) constanten \({\displaystyle c_{i}}\) zijn. Voor dergelijke differentiaalvergelijkingen bestaat een relatief simpele algemene oplossingsmethode.

Algemene oplossingsmethode

Een oplossing van de homogene vergelijking:

\({\displaystyle c_{n}f^{(n)}+c_{n-1}f^{(n-1)}+\ldots +c_{1}f'+c_{0}f=0}\)

is de functie

\({\displaystyle f(x)=e^{ax}}\),

mits de parameter \({\displaystyle a}\) voldoet aan de zogenaamde karakteristieke vergelijking:

\({\displaystyle c_{n}a^{n}+c_{n-1}a^{n-1}+\ldots +c_{1}a+c_{0}=0}\),

die door invullen van de mogelijke oplossing in de differentiaalvergelijking ontstaat. Dit is een gewone polynomiale vergelijking van de graad \({\displaystyle n}\) in de parameter \({\displaystyle a}\). In het algemeen heeft deze vergelijking \({\displaystyle n}\) complexe oplossingen \({\displaystyle a_{1},\ldots ,a_{n}}\), 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:

\({\displaystyle f(x)=A_{1}e^{a_{1}x}+A_{2}e^{a_{2}x}+\ldots +A_{n}e^{a_{n}x}}\),

waarin de coëfficiënten \({\displaystyle (A_{i})}\) nog vrij gekozen kunnen worden. Meestal worden deze coëfficiënten vastgelegd door de beginvoorwaarden.

Voorbeeld 1

De differentiaalvergelijking:

\({\displaystyle f''+f=0}\)

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:

\({\displaystyle a^{2}+1=0}\),

met de twee oplossingen: \({\displaystyle a_{1}=i}\) en \({\displaystyle a_{2}=-i}\).

De algemene oplossing van de differentiaalvergelijking wordt dus:

\({\displaystyle f(x)=A_{1}e^{ix}+A_{2}e^{-ix}}\)

Door geschikte keuze van \({\displaystyle A_{1}}\) en \({\displaystyle A_{2}}\) komen inderdaad de sinus en de cosinus als oplossing tevoorschijn.

Voorbeeld 2

Het tweede voorbeeld is een inhomogene lineaire tweede-orde-differentiaalvergelijking:

\({\displaystyle 4f^{\prime \prime }(x)+f(x)=\sin(x)}\)

De bijbehorende homogene DV heeft de karakteristieke vergelijking:

\({\displaystyle 4a^{2}+1=0}\),

met de oplossingen: \({\displaystyle a_{1}={\tfrac {1}{2}}i}\) en \({\displaystyle a_{2}=-{\tfrac {1}{2}}i}\)

Dat geeft als algemene oplossing van de homogene DV:

\({\displaystyle f_{H}(x)=A_{1}e^{{\frac {1}{2}}ix}+A_{2}e^{-{\frac {1}{2}}ix}}\)

Deze kan ook geschreven worden als

\({\displaystyle f_{H}(x)=A\sin({\tfrac {1}{2}}x)+B\cos({\tfrac {1}{2}}x)}\)

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

\({\displaystyle f_{P}(x)=a\sin(x)}\)

voldoet als mogelijke oplossing. Invullen in de DV levert:

\({\displaystyle -4a\sin(x)+a\sin(x)=\sin(x)}\),

waaruit volgt \({\displaystyle a=-{\tfrac {1}{3}}}\).

Een particuliere oplossing is dus:

\({\displaystyle f_{P}(x)=-{\tfrac {1}{3}}\sin(x)}\)

De algemene oplossing is de som van de gevonden particuliere oplossing \({\displaystyle f_{P}(x)}\) en de algemene oplossing \({\displaystyle f_{H}(x)}\) van de homogene DV :

\({\displaystyle f(x)=f_{P}(x)+f_{H}(x)=-{\tfrac {1}{3}}\sin(x)+A\sin({\tfrac {1}{2}}x)+B\cos({\tfrac {1}{2}}x)}\)

Niet-lineaire differentiaalvergelijkingen


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

Voorbeelden

De bewegingsvergelijking van een slinger wordt gegeven door de volgende differentiaalvergelijking:

\({\displaystyle \varphi ''(t)+\omega \,\sin {\big (}\varphi (t){\big )}=0}\)

Daarin is \({\displaystyle \varphi }\) de hoek die de slinger maakt met de verticale richting en \({\displaystyle \omega }\) een constante. Deze vergelijking is niet oplosbaar met standaardtechnieken. Voor kleine uitwijkingen kan een benadering toegepast worden; dan is \({\displaystyle \sin(\varphi )\approx \varphi }\), zodat de vergelijking overgaat in die van de harmonische oscillator:

\({\displaystyle \varphi ''+\omega \varphi =0}\)

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

\({\displaystyle f(t)f''(t)=(f'(t))^{2}+1}\)

Deze heeft de zogenaamde kettinglijn als algemene oplossing

\({\displaystyle f(t)=C\,\cosh {\frac {t-t_{0}}{C}}}\),

met de integratieconstanten \({\displaystyle C}\) en \({\displaystyle t_{0}}\).

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 \({\displaystyle n}\)-de orde differentiaalvergelijking \({\displaystyle n}\) verschillende randvoorwaarden nodig zijn.

Bijvoorbeeld: de eerste orde differentiaalvergelijking

\({\displaystyle f'(t)=f(t)}\)

heeft als algemene oplossing \({\displaystyle f(t)=Ae^{t}}\), waarbij \({\displaystyle A}\) nog onbepaald is. Door de beginvoorwaarde \({\displaystyle f(0)=1}\) op te leggen, wordt de oplossing eenduidig bepaald als \({\displaystyle f(t)=e^{t}}\).

Lineaire vergelijkingen

Men kan bewijzen[bron?], dat een lineaire differentiaalvergelijking van \({\displaystyle n}\)-de orde, met randvoorwaarden

\({\displaystyle y(x_{0})=y_{0}}\)
\({\displaystyle y'(x_{0})=y_{1}}\)
...
\({\displaystyle y^{(n-1)}(x_{0})=y_{n-1}}\)

éé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

Zie Partiële differentiaalvergelijking voor het hoofdartikel over dit onderwerp.

Veel verschijnselen in de fysica moeten beschreven worden met behulp van partiële differentiaalvergelijkingen. Bijvoorbeeld de trilling van een snaar wordt beschreven door

\({\displaystyle {\frac {\partial ^{2}u}{\partial x^{2}}}={\frac {\partial ^{2}u}{\partial t^{2}}}}\),

waarbij \({\displaystyle u(x,t)}\) de uitwijking van de snaar is, \({\displaystyle x}\) de positie van de snaar (van 0 aan het ene eind tot 1 aan het andere eind) en \({\displaystyle t}\) 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

\({\displaystyle u(x,0)=f(x),\ {\frac {\partial u}{\partial t}}(x,0)=g(x)}\)

en twee randvoorwaarden in de plaats, bijvoorbeeld

\({\displaystyle u(0,t)=0}\),
\({\displaystyle u(1,t)=0}\).

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


Software die differentiaalvergelijkingen kan oplossen:

Zie ook


Externe bronnen


Referenties


  1. ExpressionsinBar . www.alelvisoftware.com. Geraadpleegd op 17 mei 2020.
  2. dsolve - Maple Programming Help . www.maplesoft.com. Geraadpleegd op 12 mei 2020.
  3. Basic Algebra and Calculus — Sage Tutorial v9.0 . doc.sagemath.org. Geraadpleegd op 12 mei 2020.
  4. Symbolic algebra and Mathematics with Xcas . Geraadpleegd op 12 mei 2020.
Zie de categorie Differential equations van Wikimedia Commons voor mediabestanden over dit onderwerp.









Categorieën: Differentiaalvergelijking




Staat van informatie: 11.05.2021 10:12:30 CEST

oorsprong: Wikipedia (Auteurs [Geschiedenis])    Licentie: CC-BY-SA-3.0

Veranderingen: Alle afbeeldingen en de meeste ontwerpelementen die daarmee verband houden, zijn verwijderd. Sommige pictogrammen werden vervangen door FontAwesome-Icons. Sommige sjablonen zijn verwijderd (zoals 'artikel heeft uitbreiding nodig') of toegewezen (zoals 'hatnotes'). CSS-klassen zijn verwijderd of geharmoniseerd.
Specifieke Wikipedia-links die niet naar een artikel of categorie leiden (zoals 'Redlinks', 'links naar de bewerkpagina', 'links naar portals') zijn verwijderd. Elke externe link heeft een extra FontAwesome-Icon. Naast enkele kleine wijzigingen in het ontwerp, werden mediacontainer, kaarten, navigatiedozen, gesproken versies en Geo-microformats verwijderd.

Belangrijke opmerking Omdat de gegeven inhoud op het gegeven moment automatisch van Wikipedia wordt gehaald, was en is een handmatige verificatie niet mogelijk. Daarom garandeert LinkFang.org niet de juistheid en actualiteit van de verkregen inhoud. Als er informatie is die momenteel verkeerd is of een onjuiste weergave heeft, aarzel dan niet om Neem contact op: E-mail.
Zie ook: Afdruk & Privacy policy.