Tilbake
6.3

6.3 Differensialligninger: separable og lineære første ordens

Standardmetodene for første ordens differensialligninger — pensumkrav uten arkivforekomster, dekket kompakt med integrasjonsteknikkene fra Del 4.

40 min
5 oppgaver
Differensialligningerseparablelineære første ordens
Din fremgang i kapitlet
0 / 5 oppgaver
Forkunnskaper: Alt her hviler på integrasjon: substitusjon og delvis (4.3) og rasjonale integrander (4.4). VGS-basis: Separable differensiallikninger og Lineære differensiallikninger.

Sist du var her — tre grep du gjenbruker rått. Del 6 ligger sent i boka, så vi frisker opp:
- Antideriverte: eaxdx=1aeax+C\displaystyle\int e^{ax}\,dx=\tfrac1a e^{ax}+C, 1ydy=lny+C\displaystyle\int\tfrac1y\,dy=\ln|y|+C.
- Substitusjon i eksponent: p(x)dx\displaystyle\int p(x)\,dx dukker opp i eksponenten epdxe^{\int p\,dx} — regn integralet uten konstant der.
- Verifikasjon ved innsetting: en påstått løsning sjekkes ved å derivere den og sette inn i ligningen — samme disiplin som for åpne konstruksjonsoppgaver.

En kopp kaffe på 80 C80\ ^\circ\text{C} settes i et rom på 20 C20\ ^\circ\text{C}. Den avkjøles raskt i starten og saktere etter hvert — avkjølingsfarten er proporsjonal med temperaturforskjellen til rommet. Det er en setning om en rate: «hvor fort noe endrer seg, avhenger av hvor mye det er». Skrevet med symboler blir det T(t)=k(T20)T'(t)=-k\,(T-20).

En slik ligning — der den ukjente er en funksjon, og ligningen binder funksjonen til sin egen deriverte — kalles en differensialligning. Bestand som vokser, kapital som forrentes, stoff som henfaller: alle beskrives slik. Dette kapitlet gir deg de to standardmetodene for å finne funksjonen y(x)y(x) eksplisitt, og du skal alltid verifisere svaret ved innsetting.

Løkke 1 — Hva en løsning er, og verifikasjon (~7 min)

Før vi løser noe: hva betyr det å løse en differensialligning, og hvordan sjekker vi et svar?

Differensialligning (første ordens)

En differensialligning er en ligning som binder en ukjent funksjon y=y(x)y=y(x) til sine deriverte. Den er av første orden når bare yy og yy' (ikke yy'' eller høyere) inngår, f.eks. y=f(x,y)y'=f(x,y). Den ukjente er en funksjon, ikke et tall — å «løse» den betyr å finne alle funksjoner y(x)y(x) som passer.

Løsning og verifikasjon ved innsetting

En løsning er en funksjon y(x)y(x) som gjør ligningen til en identitet. Du verifiserer en påstått løsning ved å derivere den og sette yy og yy' inn i ligningen — begge sider skal bli like for alle xx. Denne sjekken er obligatorisk føring (som i åpne konstruksjonsoppgaver): en uverifisert løsning er ikke fullført.

Ordenen til en differensialligning
Ordenen er den høyeste deriverte som opptrer. y+2y=xy'+2y=x er første orden; yy=0y''-y=0 er andre orden. I dette kapitlet holder vi oss til første orden, der løsningsmetodene er separasjon og integrerende faktor.
✏️Verifiser en løsning

Vis at y(x)=ex+2e2xy(x)=e^{-x}+2e^{-2x} er en løsning av y+2y=exy'+2y=e^{-x}.

Deriver den påståtte løsningen:
y(x)=ex4e2x.y'(x)=-e^{-x}-4e^{-2x}.

Sett inn yy og yy' i venstre side:
y+2y=(ex4e2x)+2(ex+2e2x)=(1+2)ex+(4+4)e2x=ex.y'+2y=\big(-e^{-x}-4e^{-2x}\big)+2\big(e^{-x}+2e^{-2x}\big)=(-1+2)e^{-x}+(-4+4)e^{-2x}=e^{-x}.

Sammenlign med høyre side: venstre side ble exe^{-x}, som er nettopp høyre side. Identiteten holder for alle xx.

Konklusjon: y(x)=ex+2e2xy(x)=e^{-x}+2e^{-2x} er en løsning av y+2y=exy'+2y=e^{-x}. (Legg merke til metoden: deriver, sett inn, forenkle, sammenlign — dette er verifikasjonen du gjentar i hver oppgave.)

📝Oppgave 1

(E-format med diffligning-ramme — lett innstegsoppgave.) «E-format» betyr en oppgave der kjernen er et integral du kjenner; her pakket inn i en differensialligning. Vis at y(x)=Ce3xy(x)=Ce^{3x} løser y=3yy'=3y for enhver konstant CC.

Løkke 2 — Separable ligninger (~9 min)

Den første standardmetoden: samle alt med yy på én side og alt med xx på den andre, og integrer.

Separabel ligning
En ligning er separabel når høyresiden faktoriserer i en ren xx-del og en ren yy-del:
y=f(x)g(y).y'=f(x)\,g(y).
Da kan variablene skilles — yy-ene til venstre, xx-ene til høyre — før integrasjon. Eksempler: y=xyy'=xy (her f(x)=xf(x)=x, g(y)=yg(y)=y), y=xeyy'=x\,e^{-y}.
📜Separasjonsmetoden

Oppskrift for y=f(x)g(y)y'=f(x)g(y): (1) skriv dyg(y)=f(x)dx\dfrac{dy}{g(y)}=f(x)\,dx; (2) integrer begge sider (én +C+C er nok); (3) løs for yy hvis mulig; (4) sjekk konstantløsningene g(y)=0g(y)=0 separat. Metoden bytter en differensialligning mot to vanlige integraler — derav «E-format».

Konstantløsninger (g(y)=0g(y)=0)

Når du deler på g(y)g(y) i separasjonen, mister du de yy-verdiene der g(y)=0g(y)=0. Hver slik verdi yy0y\equiv y_0 (konstant) er en egen løsning som må sjekkes for seg. For y=xyy'=xy er y0y\equiv 0 en konstantløsning (g(y)=y=0g(y)=y=0). Å glemme disse er en dokumentert felle.

✏️Separabel ligning med konstantløsning

Løs y=xyy'=xy, og finn alle konstantløsninger.

Sjekk formen: y=xyy'=x\cdot y er separabel med f(x)=xf(x)=x, g(y)=yg(y)=y.

Konstantløsning først: g(y)=y=0g(y)=y=0 gir y0y\equiv 0 — sett inn: y=0y'=0 og xy=0xy=0. ✓ Så y0y\equiv 0 er en løsning.

Separer (for y0y\ne 0):
dyy=xdx.\frac{dy}{y}=x\,dx.

Integrer begge sider:
dyy=xdx  lny=x22+C.\int\frac{dy}{y}=\int x\,dx\ \Longrightarrow\ \ln|y|=\frac{x^2}{2}+C.

Løs for yy: eksponentier: y=ex2/2eC|y|=e^{x^2/2}\cdot e^{C}, så y=Aex2/2y=A\,e^{x^2/2} der A=±eCA=\pm e^{C} er en vilkårlig konstant 0\ne 0. (Setter vi A=0A=0, får vi konstantløsningen tilbake.)

Konklusjon: den generelle løsningen er y=Aex2/2y=A\,e^{x^2/2} (inkludert A=0A=0, altså y0y\equiv 0). Verifikasjon: y=Axex2/2=x(Aex2/2)=xyy'=A\,x\,e^{x^2/2}=x\cdot\big(A e^{x^2/2}\big)=xy. ✓

📝Oppgave 2

(E-format med diffligning-ramme — separabel.) Løs y=2xy2y'=-2xy^2, med initialbetingelsen y(0)=1y(0)=1. Husk å sjekke konstantløsninger.

Løkke 3 — Lineære ligninger og integrerende faktor (~10 min)

Den andre standardmetoden, for ligninger som ikke er separable men har formen y+p(x)y=q(x)y'+p(x)y=q(x).

Lineær første ordens ligning
En ligning på formen
y+p(x)y=q(x)y'+p(x)\,y=q(x)
kalles lineær første orden: yy og yy' opptrer bare i første potens, uten produkter som yyy\cdot y'. Her er p(x)p(x) og q(x)q(x) kjente funksjoner. Slike løses systematisk med en integrerende faktor — ikke ved separasjon (med mindre q0q\equiv 0).
Integrerende faktor
Den integrerende faktoren for y+p(x)y=q(x)y'+p(x)y=q(x) er
μ(x)=ep(x)dx.\mu(x)=e^{\int p(x)\,dx}.
Ganger vi hele ligningen med μ\mu, blir venstresiden en eksakt derivert: (μ(x)y)=μ(x)q(x)\big(\mu(x)\,y\big)'=\mu(x)\,q(x). Regn pdx\int p\,dx uten konstant her (én konstant er nok, og den kommer i sluttintegrasjonen).
📜Løsningsformelen (integrerende faktor)
Etter multiplikasjon med μ=epdx\mu=e^{\int p\,dx} integreres (μy)=μq\big(\mu y\big)'=\mu q:
μ(x)y=μ(x)q(x)dx+C  y=1μ(x)(μ(x)q(x)dx+C).\mu(x)\,y=\int \mu(x)\,q(x)\,dx+C\ \Longrightarrow\ y=\frac{1}{\mu(x)}\Big(\int \mu(x)q(x)\,dx+C\Big).
Kjernen er integralet μqdx\int\mu q\,dx — et vanlig integral fra Del 4. Konstanten CC plasseres før du deler på μ\mu.
✏️Lineær ligning med integrerende faktor

Løs y+y=xy'+y=x.

Identifiser: lineær med p(x)=1p(x)=1, q(x)=xq(x)=x.

Integrerende faktor: μ=e1dx=ex\mu=e^{\int 1\,dx}=e^{x}.

Gang ligningen med μ=ex\mu=e^x — venstresiden blir en eksakt derivert:
(exy)=exx.\big(e^{x}y\big)'=e^{x}\cdot x.

Integrer begge sider (høyre side med delvis, u=xu=x, v=exv'=e^x):
exy=xexdx=(x1)ex+C.e^{x}y=\int x\,e^{x}\,dx=(x-1)e^{x}+C.

Løs for yy (del på exe^x):
y=x1+Cex.y=x-1+C\,e^{-x}.

Konklusjon: y(x)=x1+Cexy(x)=x-1+Ce^{-x}. Verifikasjon: y=1Cexy'=1-Ce^{-x}, så y+y=(1Cex)+(x1+Cex)=xy'+y=(1-Ce^{-x})+(x-1+Ce^{-x})=x ✓.

📝Oppgave 3

(E-format med diffligning-ramme — lineær.) Løs initialverdiproblemet y+2y=exy'+2y=e^{-x}, y(0)=3y(0)=3.

Løkke 4 — Initialverdiproblemer (~6 min)

Den generelle løsningen har en fri konstant CC; en initialbetingelse plukker ut den ene kurven som passer.

Generell og partikulær løsning
Generell løsning: hele familien av løsninger, med en fri konstant CC (en kurveskare, én kurve per CC). Partikulær løsning: én bestemt kurve, valgt ved en tilleggsbetingelse. Første ordens ligninger har nøyaktig én fri konstant.
Initialverdiproblem

Et initialverdiproblem er en differensialligning pluss en initialbetingelse y(x0)=y0y(x_0)=y_0. Løsningsoppskriften: finn først den generelle løsningen (med CC), sett så inn x=x0x=x_0, y=y0y=y_0 og løs for CC. Betingelsen brukes helt til slutt — ikke underveis.

📝Oppgave 4

(E-format med diffligning-ramme — separabel IVP.) Løs y=3x2yy'=3x^2y, y(0)=2y(0)=2.

Løkke 5 — Enkle modeller (~5 min)

De to klassiske anvendelsene: eksponentiell vekst/henfall og Newtons avkjølingslov — begge løses med metodene over.

Eksponentiell vekst og henfall
Modellen y=kyy'=k\,y (endringsraten proporsjonal med mengden) er separabel og har løsning
y(t)=y0ekt,y(t)=y_0\,e^{kt},
der y0=y(0)y_0=y(0). k>0k>0 gir vekst (bestand, kapital), k<0k<0 gir henfall (radioaktivitet, medisinnedbrytning). Halveringstid/doblingstid følger av ekt=12e^{kt}=\tfrac12 eller 22.
Newtons avkjølingslov
Avkjøling mot en omgivelsestemperatur TsT_s modelleres av
T(t)=k(TTs),T'(t)=-k\,(T-T_s),
som er både separabel og lineær. Løsningen er T(t)=Ts+(T0Ts)ektT(t)=T_s+(T_0-T_s)e^{-kt}: temperaturen nærmer seg TsT_s eksponentielt. Dette er kaffekoppen fra kapittelåpningen.
✏️Eksponentiell modell

En bakteriekultur vokser slik at veksten er proporsjonal med bestanden: y=kyy'=k y. Ved t=0t=0 er bestanden 500500, og etter 22 timer er den doblet. Finn y(t)y(t).

Løs ligningen: y=kyy'=ky er separabel med løsning y(t)=y0ekty(t)=y_0 e^{kt} (fra modellen over).

Bruk startverdien: y(0)=500y(0)=500, så y0=500y_0=500 og y(t)=500ekty(t)=500\,e^{kt}.

Bestem kk fra doblingen: y(2)=1000y(2)=1000 gir
500e2k=1000  e2k=2  k=ln220,347 per time.500\,e^{2k}=1000\ \Longrightarrow\ e^{2k}=2\ \Longrightarrow\ k=\frac{\ln 2}{2}\approx 0{,}347\ \text{per time}.

Konklusjon: y(t)=500e(ln2/2)t=5002t/2y(t)=500\,e^{(\ln 2/2)\,t}=500\cdot 2^{t/2}. Verifikasjon: y(0)=500y(0)=500 ✓, y(2)=50021=1000y(2)=500\cdot 2^{1}=1000 ✓, og y=kyy'=ky per konstruksjon.

📝Oppgave 5

(E-format med diffligning-ramme — henfall.) Et radioaktivt stoff henfaller med y=0,1yy'=-0{,}1\,y (tid i år) og har y(0)=80y(0)=80 gram. Finn y(t)y(t) og mengden etter 1010 år.

Retningsfelt (kjennskap)

Et retningsfelt tegner ligningens høyreside y=f(x,y)y'=f(x,y) som små tangentstreker i planet: i hvert punkt (x,y)(x,y) har streken stigning f(x,y)f(x,y). Løsningskurvene følger strekene. Nyttig for å se løsningenes form uten å regne — «kjenne»-stoff i MAT1100.

Autonom ligning (kjennskap)

En ligning er autonom når høyresiden ikke avhenger eksplisitt av xx: y=g(y)y'=g(y). Da er den automatisk separabel, og konstantløsningene g(y)=0g(y)=0 (der raten er null) kalles likevektsløsninger — f.eks. T=TsT=T_s i avkjølingsloven. «Kjenne»-stoff.

Begrepsbank

Flashcard- og repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet i løkkene.

Metodevalg for første ordens ligninger

(1) Kan høyresiden faktoriseres f(x)g(y)f(x)g(y)? → separabel, separer og integrer (sjekk g(y)=0g(y)=0). (2) Er den på formen y+p(x)y=q(x)y'+p(x)y=q(x)? → lineær, gang med μ=epdx\mu=e^{\int p\,dx}. (3) Er q0q\equiv 0? Da er den lineære ligningen også separabel — velg det enkleste. Verifiser alltid til slutt.

Løsningen som kurveskare

Den generelle løsningen y(x;C)y(x;C) er en familie av kurver — én for hver verdi av CC. En initialbetingelse y(x0)=y0y(x_0)=y_0 svarer til å velge den ene kurven som går gjennom punktet (x0,y0)(x_0,y_0). Geometrisk plukker initialverdien ut én kurve fra skaren.

Symbol- og formelliste
Repetisjonsoppgaver (fra 4.3 og 4.4)

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.

Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.