Differentiaalvergelijkingen intuïtief begrijpen: richtingsvelden

Een gewone vergelijking vraagt om een getal. Ze geeft je een uitspraak zoals 2x + 3 = 11 en vraagt welke waarde de gelijkheid laat kloppen. Een differentiaalvergelijking vraagt om een kromme. Ze geeft je een lokale regel voor verandering en vraagt welke volledige krommen die regel kunnen volgen.

Die verschuiving maakt het onderwerp in het begin vreemd. De onbekende is een functie, het antwoord bevat vaak een willekeurige constante en één punt op een kromme is niet genoeg. De vergelijking beschrijft hoe de kromme zich door een heel interval moet bewegen.

Een richtingsveld met korte lijnstukken maakt expliciete differentiaalvergelijkingen van de eerste orde aanschouwelijk. Voor een vergelijking in de vorm y' = F(x, y) krijgt elk punt waar F is gedefinieerd een lijnstuk dat aangeeft hoe een kromme daar moet hellen. Een oplossing is een pad dat deze aanwijzingen volgt. Zodra je dat veld ziet, lijken oplossingsfamilies, beginvoorwaarden en exponentiële groei niet langer losse trucs.

Een differentiaalvergelijking is een regel voor verandering

Een afgeleide vertelt je hoe snel een grootheid verandert. Een differentiaalvergelijking draait dat idee om. Ze geeft je een verband waarin de afgeleide voorkomt en vraagt je de grootheid te reconstrueren.

Neem

$$y' = 2y$$

Het accent betekent de afgeleide van y naar x. De vergelijking zegt dat de veranderingssnelheid altijd tweemaal de huidige waarde is. Als y gelijk is aan 1, moet de helling 2 zijn. Als y gelijk is aan 3, moet de helling 6 zijn. Als y negatief is, moet de helling negatief zijn. De regel vertelt je niet rechtstreeks hoe hoog de kromme bij een bepaalde x ligt. Ze vertelt je hoe de hoogte en de helling samen moeten veranderen.

Dit is de centrale omkering:

• In de analyse ken je de functie en bereken je haar veranderingssnelheid.
• In een differentiaalvergelijking ken je een regel voor de veranderingssnelheid en reconstrueer je de functie.

De vergelijking y' = 2y is van de eerste orde, omdat de hoogste afgeleide de eerste afgeleide is. Een vergelijking met y'' is van de tweede orde. De orde geeft aan welke hoogste afgeleide voorkomt, niet hoe moeilijk de vergelijking eruitziet.

Het is ook een gewone differentiaalvergelijking, of ODE, omdat y van één onafhankelijke variabele afhangt. Als een temperatuur zowel van plaats als van tijd afhangt, gebruikt het model partiële afgeleiden en wordt het een partiële differentiaalvergelijking, of PDE. Het grote idee blijft hetzelfde, maar dit artikel houdt het bij ODE's: één onafhankelijke variabele, één evoluerende oplossingskromme.

De oplossing is een functie, geen getal

Om y' = 2y op te lossen, heb je een functie nodig waarvan de afgeleide tweemaal de functie zelf is. Exponentiële functies gedragen zich precies zo. Probeer

$$y = Ce^{2x}$$

waarbij C een willekeurige constante is. Differentieer de functie:

$$y' = 2Ce^{2x}$$

Omdat y zelf gelijk is aan $Ce^{2x}$, staat hier y' = 2y. De voorgestelde functie voldoet bij elke x aan de vergelijking en is dus een oplossing.

Let op hoe de controle werkt. Bij een algebraïsche vergelijking vul je een getal in. Bij een differentiaalvergelijking differentieer je een functie en vul je het resultaat in. Een juiste oplossing moet overal op het beschouwde interval aan de regel voldoen en mag niet alleen door één handig punt lopen.

De constante C betekent niet dat het werk onaf is. Ze hoort bij het antwoord. De vergelijking beschrijft een familie van krommen:

• $C = 1$ geeft $y = e^{2x}$.
• $C = 3$ geeft $y = 3e^{2x}$.
• $C = -2$ geeft $y = -2e^{2x}$.
• C = 0 geeft de constante oplossing y = 0.

Elk lid volgt dezelfde groeiregel, maar begint op een andere hoogte. Een wet voor verandering kan je niet vertellen waar het verhaal begon. Die ontbrekende begininformatie is precies wat de constante bewaart.

Dit is ook waarom integreren een optelconstante introduceert. Differentiëren wist constante verticale verschuivingen, omdat hun afgeleide nul is. Als je het proces omkeert, moet je dus elke mogelijke verschuiving behouden. Latere algebra kan veranderen hoe die parameter eruitziet. In dit voorbeeld wordt $e^{C}$ door exponentiëren een vermenigvuldigingsconstante voor $e^{2x}$.

Richtingsvelden maken van de regel een landschap

Je kunt een expliciete vergelijking van de eerste orde y' = F(x, y) begrijpen voordat je haar symbolisch oplost. Neem een rooster van punten waar F is gedefinieerd. Bereken bij elk punt de vereiste helling en teken daar een kort lijnstuk met die helling. Het resultaat heet een hellingsveld of richtingsveld.

Voor y' = 2y hangt de helling alleen van de hoogte af:

• Langs y = 0 is elk lijnstuk horizontaal.
• Langs y = 1 heeft elk lijnstuk helling 2.
• Langs y = -1 heeft elk lijnstuk helling -2.
• Hoe groter een positieve y-waarde is, hoe steiler de lijnstukken omhoog wijzen.
• Hoe kleiner een negatieve y-waarde is, hoe steiler de lijnstukken omlaag wijzen.

Het veld ziet eruit als horizontale banden met dezelfde helling. Een oplossingskromme kan op elk punt beginnen, maar moet daarna de plaatselijke lijnstukken volgen. Positieve oplossingen buigen omhoog en groeien. Negatieve oplossingen dalen verder weg van nul. De nuloplossing blijft vlak, omdat elke pijl op die lijn horizontaal is.

Dit beeld scheidt de vergelijking van één specifieke oplossing. De differentiaalvergelijking maakt het hele veld. Elke oplossing is één draad die erdoor loopt.

Het laat je ook gedrag voorspellen zonder een formule te vinden. Als de lijnstukken in een gebied omhoog wijzen, nemen oplossingen daar toe. Als ze langs y = c voor elke relevante x horizontaal zijn, is y = c een constante evenwichtsoplossing. Als nabijgelegen lijnstukken naar die lijn wijzen, worden nabije oplossingen ernaartoe teruggetrokken. Wijzen ze ervan weg, dan groeien kleine verstoringen. Bij toepassingen is juist dit kwalitatieve begrip vaak belangrijk: begrijpen hoe oplossingen zich kunnen gedragen voordat je hun exacte formules afleidt.

Voor y' = 2y verandert het rechterlid vloeiend met y, zodat de standaardvoorwaarden voor bestaan en uniciteit precies één oplossing door elk punt garanderen. Het richtingsveld illustreert dat resultaat, maar bewijst het niet. Hetzelfde punt en dezelfde helling delen is niet voor elke vergelijking voldoende: minder reguliere rechterleden kunnen toelaten dat oplossingen samenkomen en later weer uiteenlopen.

Beginvoorwaarden kiezen één pad

Voeg nu de voorwaarde y(0) = 3 toe aan dezelfde vergelijking. Dit is een beginvoorwaarde: de kromme loopt door het punt (0, 3). Begin met de oplossingsfamilie

$$y = Ce^{2x}$$

en vul het bekende punt in:

$$3 = Ce^{0} = C$$

De specifieke oplossing is dus

$$y = 3e^{2x}$$

De differentiaalvergelijking leverde de vorm van de familie. De beginvoorwaarde selecteerde één lid. In het richtingsveld markeert ze het punt (0, 3), zodat alleen de oplossingskromme door dat punt overblijft.

Bij reguliere beginwaardeproblemen volgt het aantal voorwaarden dat je normaal nodig hebt de orde van de vergelijking. Een snelheidswet van de eerste orde y' = v(x, y), waarin de snelheid al is vastgelegd, heeft meestal één beginpositie nodig. Een versnellingswet van de tweede orde heeft doorgaans zowel een beginpositie als een beginsnelheid nodig.

Neem bijvoorbeeld de genormaliseerde vergelijking van een ongedempte veer

$$y'' + y = 0$$

Ze zegt dat de versnelling terug naar het evenwicht wijst. De natuurkundige vorm is m y'' + k y = 0. Door eenheden te kiezen waarvoor k/m = 1, krijg je de genormaliseerde vergelijking hierboven. De oplossingen combineren sinus en cosinus. Alleen de beginpositie kennen vertelt je niet of de veer uit rust werd losgelaten of al bewoog. Voeg de beginsnelheid toe en de beweging ligt vast.

Variabelen scheiden betekent de koppeling ongedaan maken

De vergelijking y' = 2y kan systematisch worden opgelost en hoeft niet alleen te worden geraden. Schrijf de afgeleide als $\frac{dy}{dx}$:

$$\frac{dy}{dx} = 2y$$

Verplaats het y-deel naast dy en het x-deel naast dx:

$$\frac{dy}{y} = 2 dx$$

Integreer nu beide kanten:

$$\ln|y| = 2x + C$$

Exponentiëren geeft

$$y = Ae^{2x}$$

Hier is A in deze stap niet nul, omdat delen door y de oplossing y = 0 heeft uitgesloten. Test de uitgesloten functie in de oorspronkelijke vergelijking: y = 0 werkt. De volledige familie kan dus worden geschreven als y = $Ae^{2x}$ voor elke reële constante A, ook nul.

De methode heet scheiden van variabelen, omdat alles met y vóór het integreren wordt gescheiden van alles met x. Ze werkt voor vergelijkingen die kunnen worden herschreven in de vorm

$$\frac{dy}{dx} = f(x)g(y)$$

maar de algebra bevat een valkuil. Delen door g(y) kan oplossingen verwijderen waarvoor g(y) = 0. In het voorbeeld sloot delen door y tijdelijk de evenwichtsoplossing y = 0 uit.

Voor de gladde vergelijkingen die gewoonlijk als eerste met het scheiden van variabelen worden behandeld, maakt het toevoegen van uitgesloten evenwichtsoplossingen de familie compleet. Minder reguliere vergelijkingen kunnen ook stuksgewijze oplossingen hebben die een tijdlang bij een evenwicht blijven en het later verlaten. Variabelen scheiden is dus geen universeel bewijs van volledigheid. Test na delen of herschrijven de gevonden oplossingsfamilie en elke uitgesloten waarde in de oorspronkelijke vergelijking.

Groei, afname en trilling zijn verschillende regels

Kleine veranderingen in een differentiaalvergelijking leiden tot heel verschillende soorten beweging.

Het model

$$y' = ky$$

beschrijft exponentiële groei voor positieve grootheden wanneer k positief is en exponentiële afname naar nul wanneer k negatief is. Meer algemeen groeit de absolute waarde van elke niet-nuloplossing voor positieve k en krimpt ze voor negatieve k. Het model verschijnt telkens wanneer de snelheid evenredig is met de huidige hoeveelheid. Geïdealiseerde bevolkingsgroei, continu samengestelde rente en radioactief verval zijn bekende voorbeelden. Dezelfde formule maakt niet elke echte bevolking of investering voor altijd exponentieel. Ze zegt dat exponentieel gedrag volgt als de aanname van een evenredige snelheid geldig blijft.

De veervergelijking y'' + y = 0 veroorzaakt juist trilling. Haar oplossingen bestaan uit sinus en cosinus, omdat tweemaal differentiëren hun teken omkeert. Vergelijk dit met

$$y'' - y = 0$$

waarvan de oplossingen zijn opgebouwd uit exponentiële functies, of gelijkwaardig uit hyperbolische functies. Het teken bepaalt of het systeem wordt teruggetrokken in een herhaalde beweging of wordt voortgeduwd naar groei en afname.

Echte modellen voegen termen toe voor externe krachten, wrijving, beperkte hulpbronnen of interacties tussen meerdere grootheden. Een logistisch bevolkingsmodel vertraagt de groei in de buurt van een draagkracht. Een gedempte veer verliest na verloop van tijd amplitude. Een stelsel differentiaalvergelijkingen kan meerdere grootheden volgen die samen veranderen. Elke extra term verandert de lokale regel en daarmee de paden die het systeem kan volgen.

Waar de fouten vandaan komen

De eerste fout is zoeken naar een getal. In een differentiaalvergelijking is de onbekende meestal een functie. Als je antwoord één waarde van y is zonder dat er om een evaluatiepunt is gevraagd, ben je waarschijnlijk te vroeg gestopt.

De tweede fout is alleen een beginvoorwaarde controleren. Door (0, 3) lopen maakt een kromme nog geen oplossing van y' = 2y. Oneindig veel krommen lopen door dat punt. De kromme moet op het hele interval ook aan de regel voor de afgeleide voldoen.

De derde fout is de willekeurige constante weglaten. Een differentiaalvergelijking zonder genoeg voorwaarden beschrijft normaal een familie. Als je één lid opschrijft alsof het het hele antwoord is, gooi je geldige oplossingsverlopen weg.

De vierde fout is bij het delen een evenwicht verliezen. Als je deelt door y, y - 1 of een andere uitdrukking met de onbekende functie, stop dan en test de nulwaarden van die uitdrukking in de oorspronkelijke vergelijking.

De vijfde fout is een model behandelen alsof het de werkelijkheid zelf is. y' = ky levert exponentiële groei of afname op omdat het een constante evenredige snelheid veronderstelt. Een echt systeem volgt die kromme alleen zolang de aanname een bruikbare benadering is. De vergelijking correct oplossen bewijst niet dat ze het juiste model was.

Waar Math Zen van pas komt

Differentiaalvergelijkingen combineren meerdere vaardigheden die vaak in aparte hoofdstukken worden geleerd. Je moet een afgeleide als een veranderingssnelheid lezen, algebra herschrijven zonder gevallen te verliezen, herkennen wanneer een exponentiële functie na differentiatie evenredig blijft met zichzelf, beide kanten integreren en een beginvoorwaarde gebruiken om de resterende constante te bepalen. Een zwakte in één laag kan de hele methode mysterieus laten voelen.

Math Zen bevat oefeningen met scheidbare en lineaire differentiaalvergelijkingen van de eerste orde, vergelijkingen van de tweede orde, homogene, exacte en Bernoulli-vergelijkingen, plus stelsels van gewone differentiaalvergelijkingen. Stel vóór het rekenen dezelfde drie vragen als in dit artikel: welke verandering vereist de vergelijking, welke familie van paden kan haar volgen en welke voorwaarden selecteren het pad dat je nodig hebt?

De nuttige oefenlus is eenvoudig: classificeer één vergelijking, voorspel de richting van haar oplossingen, los haar op of controleer haar, en controleer daarna de beginvoorwaarde en elk uitgesloten evenwicht. Keer na een pauze terug naar gemengde opgaven volgens dezelfde aanpak met gespreide herhaling die in de rest van Math Zen wordt gebruikt. Het doel is niet een hele verzameling oplossingsrecepten uit het hoofd te leren. Het gaat erom te zien welke regel voor verandering voor je ligt.

De kern

Een differentiaalvergelijking beschrijft een verband tussen een grootheid en de manier waarop ze verandert. De oplossing is een volledige functie, vaak één lid van een familie. De willekeurige constante bewaart waar het pad begonnen kan zijn, en een beginvoorwaarde kiest het pad dat bij het werkelijke beginpunt past.

Voor expliciete vergelijkingen van de eerste orde houdt het beeld van het richtingsveld het onderwerp bijeen. De lokale regel vult het domein met toegestane richtingen en een oplossing volgt die. Variabelenscheiding, beginwaardeproblemen, groei, afname en trilling zijn verschillende manieren om dat landschap te lezen of er een pad doorheen te volgen. Een differentiaalvergelijking verandert een lokale regel voor verandering in een globale kromme.