5.4 Verifiser at en funksjon løser en PDE + klassifisering (4D-signaturen)
Den faste 4D-spesifikke oppgaven: regn $u_{xx}$, $u_{tt}$/$u_t$ ved direkte innsetting og vis likhet — pluss klassifisering lineær/ikke-lineær og et gradient-innslag.
Oppgavene merkes med bokstaven H. Boka bruker bokstavene A til S som korte navn på de nitten oppgavetypene som går igjen på settene; H dekker bølgeligningen, d'Alembert og verifikasjon av PDE-løsninger. Bokstaven forklares første gang den brukes i hvert kapittel.
Hvorfor dette kapitlet har et eget navn i boka. Fra 2018 er eksamen felles for to matematikkemner ved NTNU, og bare én oppgave per sett har egne varianter for hvert emne. Den 4D-spesifikke varianten er nesten alltid enten å verifisere at en gitt funksjon løser en PDE eller et lite innslag om gradient og retningsderivert. Derfor kaller boka dette 4D-signaturen: det er den ene oppgaven som er skrevet spesielt for deg.
Og den er lett. Å løse en PDE fra bunnen tar tjue minutter og krever hele separasjonsapparatet. Å verifisere at en gitt funksjon løser den, tar fem minutter og krever bare kjerneregelen. Poengene er de samme. Det er den beste poeng-per-minutt-oppgaven på hele settet, og den skal du aldri la ligge.
Formelark-merking. Eksamen har hjelpemiddelkode C, med utdelt formelark og eget A5-ark. Trigonometriske identiteter og reduksjonsformlene for delvis integrasjon står på det utdelte formelarket — tren oppslaget, men du får knapt bruk for dem her: dette kapitlet er ren derivasjon, og alt av metode må kunnes. Til gjengjeld er det ingenting å pugge heller — du trenger kjerneregelen, produktregelen og ryddig føring.
Tidsbruk: 55 minutter lesetid i fire løkker. Siste løkke er merket «bør kjenne til» — den dekker gradient og retningsderivert, som er nivå tre i prioriteringen. Pausepunktet er markert etter løkke 2.
Fra tidligere matematikkemner forutsettes: partiell derivasjon, kjerneregelen, produktregelen, og derivasjon av , , og potensfunksjoner. Til siste løkke trengs i tillegg vektorer i planet og prikkprodukt.
Kapitlet er forutsetning for kap. 5.5.
Å sjekke svaret er lettere enn å finne det
Tenk deg at noen gir deg tallet 4 913 og spør om det er . Du kan enten regne ut tredjeroten — eller gange og sammenlikne. Den andre veien er langt raskere, og den gir sikkert svar.
Nøyaktig det samme gjelder differensiallikninger. Å finne løsningen av krever d'Alembert eller separasjon. Å sjekke at en foreslått funksjon løser den, krever bare at du deriverer to ganger hver vei og sammenlikner.
Eksamen utnytter dette. I stedet for å be deg løse en likning du kanskje ikke rekker, gir den deg funksjonen og ber deg vise at den passer. Det er en helt egen sjanger med sin egen oppskrift, og den er verdt like mange poeng per minutt som noe annet på settet — ofte mer.
Det andre kapitlet handler om, er å kjenne igjen hva slags likning du ser på: hvilken orden den har, om den er lineær, og om den er homogen. Det er ren avlesning når du vet hva du skal se etter, men det gir poeng, og det avgjør hvilke metoder som i det hele tatt er lovlige.
Kapitlet gjør fire ting: setter opp verifikasjonsoppskriften, klassifiserer likninger, verifiserer mot rand- og initialbetingelser i tillegg til selve likningen, og avslutter med et kort tillegg om gradient og retningsderivert.
Løkke 1 — Verifikasjon ved innsetting (~14 min)
Oppskriften er kort og alltid den samme. Det som skiller en full besvarelse fra en halv, er at alle mellomsteg står der — sensor skal kunne følge derivasjonen uten å regne selv.
Fotskriftnotasjonen leses fra venstre mot høyre: betyr «deriver først med hensyn på , så med hensyn på ». For de funksjonene du møter her, spiller rekkefølgen ingen rolle: .
Den indre deriverte kommer ned som en faktor hver gang du deriverer. Deriverer du to ganger, kommer den ned to ganger — derfor og , og derfor forsvinner fortegnet ved dobbeltderivasjon.
Dette er den ene regelen hele kapitlet hviler på. Nesten alle feil i sjangeren er en glemt eller feil indre derivert.
Å vise at en gitt funksjon oppfyller en gitt likning ved å regne ut hver derivert som forekommer, sette dem inn, og vise at de to sidene blir like.
Det er ikke nok å påstå at de blir like. Skriv ut venstresiden, skriv ut høyresiden, og avslutt med en linje som sier at de er identiske. Løsningsforslagene gjør nettopp det, og instruksen på settet krever at tenkemåten klart framgår.
1. Navngi de indre argumentene. Står det , skriv «sett , med og ».
2. Regn ut hver derivert som forekommer i likningen, én linje per derivert, i rekkefølgen , , , .
3. Sett inn i venstresiden og i høyresiden hver for seg, og forenkle begge.
4. Konkluder med at de er like — eller ikke like, hvis det er det oppgaven ber deg avgjøre.
Fire steg, fem minutter. Gjør det i denne rekkefølgen hver gang, så bommer du ikke.
løser bølgeligningen .
Steg 2 — deriver med hensyn på . Den indre deriverte er i første ledd og i andre:
Steg 3 — deriver med hensyn på . Nå er de indre deriverte og :
Steg 4 — sett inn.
Sammenlikn med over: uttrykkene er identiske. Altså
og løser bølgeligningen.
Hvorfor det måtte gå bra. Begge leddene er funksjoner av eller med , og fra kap. 5.3 vet vi at enhver slik funksjon løser bølgeligningen med den farten. Å nevne dette som en kontroll er verdt et poeng — men det erstatter ikke regningen, som er det oppgaven ber om.
Fella det er verdt å se. Hadde andre ledd vært , ville argumentet svart til farten , ikke 3, og funksjonen ville ikke løst likningen. Sjekk alltid at alle ledd har samme fart før du begynner — det forteller deg hva svaret blir, og da vet du om du har regnet riktig.
og avgjør hvilken av likningene og funksjonen oppfyller.
løser bølgeligningen . Begrunn uten å regne ut alle deriverte.
Løkke 2 — Klassifisering (~13 min)
Det andre faste delspørsmålet: «avgjør om likningen er lineær». Det er ren avlesning når du vet hva du ser etter — men definisjonen har en detalj som feller mange.
Tell antall derivasjoner i det tyngste leddet, ikke antall variabler.
Koeffisientene har lov til å være hvilke som helst funksjoner av de uavhengige variablene. Dette er den detaljen som feller flest:
er lineær, selv om den ser fryktelig ut. Alle de rare funksjonene er funksjoner av og alene, ikke av .
Testen: stryk alt som er en funksjon av bare og . Er det som står igjen, en sum av ledd som hver inneholder nøyaktig én -faktor i første potens? Da er likningen lineær.
Eksempler:
Merk at det er det handler om. Et ledd som gjør ikke likningen ikke-lineær, uansett hvor krokete det ser ut.
Betydningen er praktisk: superposisjon (fra kap. 5.2) virker bare for homogene likninger. Er likningen ikke-homogen, må du først trekke fra en partikulærløsning — nøyaktig grepet .
Alle tre er lineære, homogene og av andre orden. En løsning av Laplace-likningen kalles en harmonisk funksjon, og beskriver en tilstand som har lagt seg til ro — for eksempel den stasjonære temperaturfordelingen i en plate.
Fagnavnene på de tre typene, i den rekkefølgen likningene står over:
- parabolsk — varmelikningen: én tidsderivert, glatter ut, uendelig utbredelsesfart;
- hyperbolsk — bølgeligningen: to tidsderiverte, transporterer, endelig utbredelsesfart ;
- elliptisk — Laplace-likningen: ingen tid, ren likevekt.
Du blir sjelden bedt om å bruke navnene på eksamen i dette emnet, men de dukker opp i oppgaveteksten, og det koster ingenting å kjenne dem igjen. Det som derimot spørres om, er lineær eller ikke-lineær.
(ii) . Orden 1 (bare førstederiverte). Høyresiden er et produkt av og , altså to -faktorer i samme ledd — ikke-lineær. Spørsmålet om homogenitet gir ikke mening for ikke-lineære likninger på samme måte, så det besvares ikke.
(iii) . Orden 2. Leddet er i tredje potens — ikke-lineær.
(iv) . Orden 1. Koeffisienten er en funksjon av alene, ikke av , så leddet er lineært i . Likningen er lineær. Høyresiden har ingen -faktor, så den er ikke-homogen.
(v) . Orden 1. Leddet er en derivert i andre potens — ikke-lineær.
(vi) . Orden 2, lineær, og hvert ledd inneholder en -faktor, altså homogen. Dette er Laplace-likningen.
Oppsummert i en tabell:
| Likning | Orden | Lineær? | Homogen? |
|---|---|---|---|
| (i) | 2 | ja | nei |
| (ii) | 1 | nei | — |
| (iii) | 2 | nei | — |
| (iv) | 1 | ja | nei |
| (v) | 1 | nei | — |
| (vi) | 2 | ja | ja |
Den ene fella verdt å understreke: i (iv) er og funksjoner av de uavhengige variablene, ikke av . En likning blir aldri ikke-lineær av at koeffisientene eller kildeleddet er kompliserte funksjoner av og . Det er bare og dens deriverte som teller.
For hver likning: angi orden, avgjør lineær eller ikke-lineær, og for de lineære om de er homogene.
a)
b)
c)
d)
oppfyller Laplace-likningen for alle , og forklar hvorfor origo må utelates.
— naturlig pausepunkt —
Du kan nå verifisere og klassifisere. Det dekker den vanligste 4D-varianten. Resten av kapitlet handler om å verifisere mot flere betingelser samtidig, og om det korte gradient-tillegget. Tar du en pause her, skriv først ned de fire stegene i verifikasjonsoppskriften fra hukommelsen.
Løkke 3 — Verifiser også rand- og initialbetingelsene (~16 min)
Oppgaven stopper sjelden ved likningen. «Vis at løser problemet» betyr som regel: likningen, randbetingelsene og initialbetingelsen. Hvert av de tre er egne poeng.
som løser varmelikningen på hele tallinja.
Den beskriver hvordan en enkelt varmeklump smøres ut: kurven er en klokkeform som blir lavere og bredere med tida, mens arealet under den holder seg konstant. Den generelle formen, som løser , er .
Varmekjernen er en klassisk verifikasjonsoppgave, fordi den ser komplisert ut og krever både produktregelen og kjerneregelen — men går pent opp.
Å sette de aktuelle verdiene inn i den ferdige funksjonen og vise at kravet er oppfylt:
- randbetingelse av Dirichlet-type: sett og i , og vis at du får den foreskrevne verdien for alle ;
- randbetingelse av Neumann-type: regn ut først, og sett så inn randpunktene;
- initialbetingelse: sett i (og i for bølgeligningen) og sammenlikn med den oppgitte funksjonen.
Hver av disse er ett kort regnestykke og ett poeng. De er nesten gratis, og de er det aller vanligste stedet studenter lar poeng ligge.
løser varmelikningen for .
Deriver en gang til, nå med produktregelen på ganger eksponentialen:
Steg 2 — deriver med hensyn på . Nå er konstant, og vi trenger produktregelen på ganger eksponentialen. Den indre deriverte av eksponenten er :
Steg 3 — sammenlikn. De to uttrykkene er identiske:
Varmelikningen er oppfylt for alle .
Hvorfor må stå der. For er både og udefinert. Funksjonen finnes ikke ved , og påstanden gjelder bare for positive tider. Å skrive det er verdt et poeng — det viser at du vet hva et definisjonsområde er.
Kontroll av rimeligheten. For er , som synker mot null når vokser: toppen faller. Og bredden vokser, siden eksponenten blir flatere. Arealet holder seg: uansett , siden Gauss-integralet gir . Konstant areal, synkende topp, økende bredde — nøyaktig som varme skal oppføre seg.
a) Avgjør om likningen er lineær og homogen, og angi ordenen.
b) Vis ved innsetting at løser .
c) Vis at oppfyller randbetingelsene og initialbetingelsen .
d) Angi grensen når , og si hvilket ledd som dør ut sist.
b) Innsetting. Deriver hvert ledd for seg.
Med hensyn på (der -faktorene er konstanter):
Med hensyn på (der eksponentialene er konstanter):
De to uttrykkene er identiske, altså . Oppfylt.
Kontroll av at det måtte gå bra: hvert ledd er på formen , som er nøyaktig produktløsningene fra kap. 5.1 med . Her er (med ) og (med ). Eksponentene stemmer.
c) Rand og initialdata.
Randen i : i begge ledd, så
Randen i : og , så
Initialbetingelsen: sett , da er begge eksponentialene lik 1:
d) Grensen. Begge eksponentialene går mot null når , så
Leddet med den minste eksponenten i tallverdi dør ut sist, altså . Ved er forholdet mellom leddene : det andre leddet er praktisk talt borte, og profilen er en ren -bue.
Hva som gir uttelling. Fire delpunkter, fire ulike typer arbeid, og til sammen kanskje ti minutter. Delpunkt a) er ren avlesning. Delpunkt b) krever ryddig derivasjon med begge uttrykk skrevet ut. Delpunkt c) er tre korte innsettinger — de er lette å hoppe over fordi de føles trivielle, men de er egne poeng, og de er merket som egne delpunkter nettopp derfor. Delpunkt d) belønner at du vet at høye moder dør raskest.
løser varmelikningen . Vis så at løsningen din også oppfyller .
a) Vis ved innsetting at løser .
b) Skriv som en sum av en høyregående og en venstregående bølge, og angi farten.
c) Avgjør om også løser varmelikningen . Begrunn.
Løkke 4 — Tillegg: gradient og retningsderivert (~12 min)
Merk: dette er «bør kjenne til»-stoff — nivå tre i bokas prioritering. Gradient og retningsderivert dukker opp som et lite selvstendig delpunkt i den 4D-spesifikke oppgaven på 2 av 13 gjennomgåtte sett, altså 15 %. Det er lite, men det er billige poeng, og hele apparatet får plass på et kvarter. Har du dårlig tid før eksamen, er dette den ene løkka i Del 5 du kan hoppe over — men bare den.
Symbolet leses «nabla». Gradienten peker i den retningen funksjonen vokser raskest, og lengden er nettopp den raskeste veksten per lengdeenhet.
Legg merke til at gradienten er en vektor, mens er et tall. Å blande de to er den vanligste feilen i denne sjangeren.
der prikken er prikkproduktet.
Tolkning: står du i et punkt i et fjellandskap og går i retning , er stigningen du opplever. Går du i gradientens retning, får du den bratteste stigningen; går du motsatt vei, den bratteste nedstigningen.
Retningen må normeres før den brukes i retningsderiverte. Gjør du det ikke, får du et svar som er skalert med lengden av , og det er den vanligste feilen i denne sjangeren. Er , er og .
På et kart er nivåkurvene høydekotene. Gradienten står alltid vinkelrett på nivåkurven gjennom punktet — det er en annen måte å si at den peker i retningen der funksjonen endrer seg raskest, siden den ikke endrer seg i det hele tatt langs kurven.
Følgen er praktisk: er du bedt om en retning der ikke endrer seg, skal du velge en retning vinkelrett på .
a) Finn og regn den ut i punktet .
b) Finn den retningsderiverte i i retning .
c) I hvilken retning vokser raskest i , og hvor fort?
a) Finn i punktet .
b) Finn den retningsderiverte i i retning .
c) Finn en retning der ikke endrer seg i det hele tatt i , og begrunn.
d) Hvilken nivåkurve går gjennom ?
Å forveksle og . Varmelikningen har én tidsderivert, bølgeligningen har to. Les likningen nøye før du deriverer — og legg merke til at hvis oppgaven gir deg både og , er det en bølgeligning.
Å kalle en likning ikke-lineær på grunn av et ledd som ikke inneholder . er lineær. Ikke-lineariteten må komme fra selv eller fra dens deriverte. Stryk alt som bare avhenger av , og , og se hva som står igjen.
Å glemme å sjekke rand- og initialbetingelsene. «Vis at løser problemet» betyr som regel både likningen og betingelsene. Hver av dem er egne poeng og tar femten sekunder.
Å nøye seg med å påstå at sidene er like. Skriv ut venstresiden, skriv ut høyresiden, og si eksplisitt at de er identiske. Instruksen på settet krever at tenkemåten framgår klart, og en linje som bare sier «altså stemmer det», gjør ikke det.
Å glemme definisjonsområdet. Varmekjernen finnes ikke i ; logaritmefunksjonen finnes ikke i origo. Å skrive «for » eller «for » er et poeng.
Å ikke normere retningen i en retningsderivert. krever at . Bruker du direkte, får du fem ganger for stort svar.
Å tro at gradienten er et tall. er en vektor. Er svaret på «hvor fort vokser raskest», er det lengden som skal oppgis, ikke vektoren selv.
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 Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.