4.2 Fourier-transform for PDE på hele $\mathbb{R}$
Transformer PDE-en i $x$, løs ODE-en i $t$, bestem konstanten fra initialdata og invers-transformer — varmekjerne-metoden.
Sjangeren opptrer i 3 av 13 gjennomgåtte sett (23 %), men den er nesten alltid den Fourier-transform-oppgaven når den først dukker opp — altså delpunkt (b) eller (c) etter en utregningsoppgave av typen i kap. 4.1. Prioriteten er derfor middels til høy: den skal kunnes, men den kommer etter Del 2, Del 3 og Del 5 hvis du må prioritere.
Oppskriften er alltid den samme fire steg lang, og den er kort. Klarer du den på ett problem, klarer du den på alle.
Én avgrensning som er verdt å merke seg med én gang. Fourier-transformen brukes når løper over hele og det ikke finnes randbetingelser i endelige punkter. Har du i stedet en stav av endelig lengde med betingelser i begge ender, er det separasjon av variable som gjelder — det er en helt annen metode, og den hører hjemme i Del 5. Å velge riktig metode ut fra domenet er et poeng i seg selv.
Formelark-merking. Transformtabellen står på det utdelte formelarket — tren oppslaget; det er den du bruker både når du transformerer initialbetingelsen og når du transformerer tilbake til slutt. Derimot må kunnes: oversettelsen av og , innsikten i at ODE-en i har som en konstant, og at integrasjonskonstanten er en funksjon av .
Tidsbruk: 55 minutter lesetid, fire løkker. Pausepunkt etter løkke 2.
Fra tidligere matematikkemner forutsettes at du kan løse en separabel eller lineær førsteordens ordinær differensiallikning av typen , med løsning . Det er den eneste ODE-typen som dukker opp her.
Sist du var her — de tre resultatene fra kap. 4.1 som alt bygger på:
Merk minustegnet i den andre derivasjonsregelen. Det er det som gjør at varmelikningen får en dempende eksponential og ikke en voksende.
En stav uten ender
Tenk deg en svært lang metallstav — så lang at endene ikke rekker å gjøre seg gjeldende i den tiden du er interessert i. Du varmer opp et lite område på midten og lurer på hvordan varmen brer seg.
Matematisk er dette varmelikningen med over hele og en gitt starttemperatur . Det er en likning i to variable, og den er vanskelig som den står.
Fourier-transformen fjerner den ene. Transformerer du i , blir til — en multiplikasjon, ikke en derivasjon. Igjen står bare tidsderivasjonen, og du har en helt vanlig førsteordens ODE for hver frekvens :
Løsningen er , og den forteller hele historien: hver frekvenskomponent dempes eksponentielt, og jo høyere frekvens, jo raskere dør den. Det er derfor varme glatter ut skarpe kanter — de skarpe kantene er de høye frekvensene, og de forsvinner først.
Så gjenstår bare å bestemme fra starttemperaturen og transformere tilbake.
Kapitlet gjør fire ting: oversettelsesreglene, den transformerte likningen og konstanten , varmekjernen som konvolusjonsform, og til slutt en avgrensning mot Del 5 — hvilken metode passer til hvilket domene.
Løkke 1 — Å transformere i bare én variabel (~14 min)
Fordi det ikke finnes noen ender, finnes det heller ingen randbetingelser — bare en initialbetingelse . Til gjengjeld kreves at når , slik at transformen finnes.
Dette er signalet om at Fourier-transformen skal brukes. Står det i stedet med betingelser i begge ender, er det separasjon av variable som gjelder, og det hører til Del 5.
der er en operator som bare deriverer i — typisk , eller en kombinasjon.
Fordi likningen er førsteordens i , holder én betingelse i tid. Det er nettopp derfor den transformerte likningen blir en førsteordens ODE med bare én ukjent konstant.
Resultatet er en funksjon av to variable, og . Tiden er ikke rørt.
Dette er hele grepet. Ved å transformere bare den ene variabelen bytter du en partiell derivasjon mot en multiplikasjon, og står igjen med en likning der bare -derivasjonen er igjen.
Dette er derivasjonsregelen fra kap. 4.1, brukt med holdt fast. Betingelsen er den samme: når , slik at randleddet i den delvise integrasjonen forsvinner.
Minustegnet er avgjørende. Det er det som gjør at varmelikningen får løsningen , som dempes. Mister du minustegnet, får du , som vokser uten grense — et fysisk meningsløst svar, og en feil du bør kunne fange på plausibilitet alene.
Begrunnelse: transformintegralet går over , og derivasjon med hensyn på kan flyttes inn under integraltegnet. Tiden er upåvirket av at vi transformerer i rommet.
Dette er grunnen til at én av de to derivasjonene overlever transformen — og det er nettopp den vi vil beholde.
ved Fourier-transform i .
Steg 2 — løs ODE-en i . For hver fast er dette en helt vanlig førsteordens likning med :
Merk at integrasjonskonstanten er en funksjon av , ikke et tall. Grunnen er at vi har løst likningen separat for hver frekvens, og hver av dem har sin egen konstant. Dette er det ene stedet studenter oftest slurver.
Steg 3 — bestem fra initialbetingelsen. Sett : da er . Og er nettopp transformen av . Fra Gauss-raden på det utdelte formelarket med :
Altså
Steg 4 — transformer tilbake. Vi leter i Gauss-raden etter en som gir eksponenten . Raden gir , så
Med den -en er
Vår er ganger eksponentialen, og . Etter lineariteten er derfor
Kontroll 1 — initialbetingelsen. Sett : . Stemmer.
Kontroll 2 — at likningen er oppfylt. Deriver:
De er like, så . Stemmer.
Tolkning. Løsningen er en Gauss-puls som blir bredere og lavere med tiden: bredden vokser som , og høyden synker med samme faktor. Arealet under kurven — den totale varmemengden — holder seg konstant, slik det skal i et isolert system.
(Innstegsoppgave — ren oversettelse.) Skriv opp den transformerte likningen (ODE-en i ) for hvert av problemene. Du skal ikke løse dem.
a)
b)
c)
d)
Løkke 2 — Firestegsoppskriften (~13 min)
der kommer fra å bytte mot .
Dette er en ordinær differensiallikning, ikke en partiell. Variabelen er en konstant i denne likningen — den er bare med som en parameter. Å behandle som en variabel som «også deriveres» er en av de vanligste feilene i sjangeren.
der er en funksjon av , ikke et tall.
Hvorfor? Fordi likningen er løst separat for hver frekvens, og hver av dem har sin egen integrasjonskonstant. Skriver du bare , mister du hele koblingen til initialbetingelsen.
Konstanten bestemmes ved :
1. Transformer PDE-en i . Bytt og ; blir .
2. Løs ODE-en i med som konstant. Svaret er .
3. Bestem ved å sette og transformere initialbetingelsen — slå opp raden på det utdelte formelarket.
4. Transformer tilbake ved å kjenne igjen som en tabellrad, lest baklengs, med gjemt inne i parameteren.
Steg 1, 2 og 3 må kunnes. Bare tabelloppslagene i steg 3 og 4 står på arket.
Kontroller til slutt: sett og se om du får initialbetingelsen tilbake, og sett løsningen inn i likningen.
For hver frekvens er dette en eksponentiell demping med rate . Høye frekvenser dør ut kvadratisk raskere enn lave — ved er dempet med faktoren , mens bare er dempet med .
Det er den matematiske grunnen til at varme glatter ut skarpe kanter: kantene er de høye frekvensene, og de forsvinner først.
Steg 2 — løs ODE-en. Med som konstant:
Steg 3 — bestem . Sett : , der . Fra Gauss-raden på formelarket med :
Altså
Steg 4 — transformer tilbake. Her trengs ikke Gauss-raden, men forskyvningsregelen fra kap. 4.1 lest baklengs: faktoren svarer til en forskyvning med , altså
(Regelen sier ; setter vi , får vi .)
Med faktoren foran:
Kontroll 1 — initialbetingelsen. . Stemmer.
Kontroll 2 — likningen. Med :
Da er . Stemmer.
Tolkning. Pulsen flytter seg mot venstre med fart 1 og vokser med faktoren , men den beholder formen. Ingen utglatting skjer — og det er fordi likningen ikke har noe andrederivert-ledd. Det er som glatter; bare flytter.
Legg merke til hvor kort steg 4 ble. Fordi hele -avhengigheten samlet seg i en fasefaktor ganger , holdt det å kjenne igjen forskyvningsregelen. Det er ofte slik: se etter om er ganger noe kjent, før du begynner å lete i tabellen.
for en vilkårlig med Fourier-transform, og tolk svaret.
— naturlig pausepunkt (~27 min brukt) —
Du har oppskriften og to gjennomregnede tilfeller. Resten av kapitlet er varmekjernen — den generelle formen svaret tar — og avgrensningen mot Del 5.
Løkke 3 — Varmekjernen (~14 min)
Hva blir svaret når initialbetingelsen ikke er en pen Gauss-funksjon, men en vilkårlig ? Da kommer konvolusjonsteoremet inn, og svaret får en form som er verdt å kjenne igjen.
Det er en Gauss-kurve med bredde proporsjonal med og areal 1 for alle . Transformen er særlig enkel:
(Kontroll: Gauss-raden med gir , og .)
Utledning. Fra firestegsoppskriften er . Skriv . Da er
etter konvolusjonsteoremet, og transformen er entydig, så .
Tolkning: temperaturen i punktet ved tiden er et veid gjennomsnitt av starttemperaturen, med en Gauss-vekt sentrert i . Vekta blir bredere med tiden — jo lenger du venter, jo lenger unna henter punktet informasjon fra.
Formelen må kunnes på gjenkjenningsnivå. Ber oppgaven om svaret «uttrykt ved varmekjernen», er det denne formen som etterspørres.
og tolk de to effektene i svaret. Modellen beskriver en stav som både leder varme og taper varme til omgivelsene.
Før løsningen som en toppbesvarelse.
Uttelling her: skriv eksplisitt at er en konstant i denne likningen. Det er den innsikten delpunktet tester.
Steg 2 — løs ODE-en i . For hver fast :
Steg 3 — bestem . Ved er med . Fra Gauss-raden på det utdelte formelarket med :
Altså
Steg 4 — transformer tilbake. Faktoren er uavhengig av og går rett gjennom, etter lineariteten. Resten er nøyaktig den samme som i eksempel 1: vi trenger Gauss-raden med , altså , som gir
Kontroll 1 — initialbetingelsen. . Stemmer.
Kontroll 2 — likningen. Skriv , der er løsningen fra eksempel 1. Da er
Siden , blir . Stemmer.
Denne kontrollen er også en metode: substitusjonen fjerner tapsleddet og gir ren varmelikning for . Nevn den gjerne som alternativ vei — begge gir full uttelling.
Tolkning av de to effektene.
- Faktoren er utglattingen: pulsen brer seg ut, og toppen synker fordi varmen fordeles.
- Faktoren er tapet: hele profilen krymper mot null med en fast rate, uavhengig av .
I frekvensdomenet ser man det direkte: demper høye frekvenser raskest (utglatting), mens demper alle frekvenser like mye (tap). To ledd, to helt ulike virkninger.
Uttelling her: tolkningsdelpunktet er ofte verdt like mye som selve utregningen. Skriv den ut — det er ikke nok å si at «svaret består av to faktorer».
og sammenlikn utbredelsen med den i eksempel 1.
og forklar hvorfor svaret ser annerledes ut enn i eksempel 1.
og tolk de to leddene på høyresiden.
Løkke 4 — Når passer denne metoden, og når ikke? (~14 min)
Å velge riktig metode er et eget delpunkt på eksamen, og valget er enkelt når du vet hva du skal se etter.
| Problemet | Metode | Del |
|---|---|---|
| , ingen randbetingelser, bare | Fourier-transform i | denne delen |
| med betingelser i begge ender | separasjon av variable | Del 5 |
| med én rand, eller diskretisert gitter | andre metoder | Del 5 og Del 8 |
Signalet er domenet, ikke likningen. Varmelikningen løses med transform på og med separasjon på et endelig intervall — samme likning, ulik metode.
Grunnen er at Fourier-transformen krever at i begge retninger, og at randbetingelser i endelige punkter ikke lar seg uttrykke i frekvensdomenet.
med løsning
Initialprofilen flyttes med fart og beholder formen fullstendig. Det er ingen utglatting, fordi likningen ikke har noe andrederivert-ledd.
Merk kontrasten: glatter, flytter. Ser du begge deler i en likning, får du begge virkninger — som i oppgave 5.
og begynner med å ta Fourier-transformen i .
a) Forklar hvorfor det ikke går.
b) Hva slags problem hører Fourier-transform-metoden til, og hva kjennetegner det?
Løs på med en vilkårlig initialbetingelse , og uttrykk svaret ved varmekjernen. Kontroller deretter formelen på .
Å behandle som en variabel i ODE-en. I den transformerte likningen er en konstant. Likningen er ordinær, ikke partiell, og det er hele poenget med transformen.
Å skrive i stedet for . Integrasjonskonstanten er en funksjon av frekvensen, siden ODE-en løses separat for hver . Skriver du bare , forsvinner koblingen til initialbetingelsen.
Å glemme å sette inn initialdata. Steg 3 er ikke valgfritt. Uten det står du igjen med en familie av løsninger i stedet for én.
Å stoppe ved . Oppgaven spør etter . Siste steg er å lese tabellen baklengs — med gjemt inne i parameteren .
Feil i steg 4. Har du , skal , altså — og da må også faktoren regnes med den samme -en. Sett inn på begge steder.
Å bruke transform der separasjon hører hjemme. Har problemet randbetingelser i endelige punkter, er transform feil verktøy. Les hva som står etter likningen før du velger metode.
Å hoppe over kontrollen. Sett og se om du får initialbetingelsen. Det tar ti sekunder og fanger nesten alle feil i steg 3 og 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 Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.