endelig differansemetoder for en ikke-lineær Schrödingerlikning
Vilde Hyggen Rosland
Masteroppgave, våren 2019
studiepoeng.
Forsiden viser et utsnitt av rotsystemet til den eksepsjonelle liegruppen E
8, projisert
ned i planet. Liegrupper ble oppfunnet av den norske matematikeren Sophus Lie
(1842–1899) for å uttrykke symmetriene til differensiallikninger og spiller i dag en
sentral rolle i flere deler av matematikken.
Havis dekker store havområder både nord og sør på jordkloden. Med minkende isdekke i Arktis er det viktig å tilegne seg kunnskap om hvordan havet og isen påvirker hverandre. I denne oppgaven blir bølgepropagasjon i åpent hav og i havis studert for utvikling i tid og rom. Resultatene som blir presentert er utregnet ved simulering av ikke-lineær kubisk Schrödingerlikning med 4. ordens Runge-Kutta metode. Det blir lagt frem resultater for tids- og romutvikling av simulering av åpent og isdekt hav. I tilfellet isdekt hav, må det legges til et dempningsledd i Schrödingerlikningen for å få frem tendensene til utviklingen i is.
Abstract
Sea ice covers large areas of the sea in both the nothern and southern parts
of the globe. With decreasing ice cover in the Arctic, it is important to acquire
knowledge about how the sea and the ice affect each other. This thesis conserns
modeling and numerical simulations of wave propagation in open sea and in sea
ice, based on the non-linear cubic Schrödinger equation. A numerical method
is presented based on an explicit finite difference scheme with å fourth-order
Runge-Kutta time integration method. In terms of numerical experiments, results
are presented for time and space development of simulation of open and ice-covered
sea. In the case of ice-covered sea, a damping term must be added in the Schrödinger
equation to capture the features of wave propagation in ice.
Først vil jeg sende en takk til min veileder, Karsten Trulsen, for at du delte din kunnskap, gav gode råd og kom med viktige innspill. Jeg vil også takke for at du gjorde arbeide med masteroppgaven til en hyggelig opplevelse med din entusiasme, oppmuntring og generelt avslappede tone.
Flere har tilbudt hjelp underveis, og blant dem vil jeg særlig takke James David Trotter for all den tiden du satte av for å hjelpe meg, den verdifulle innsikten og forståelsen du kom med og inspirasjonen og motivasjonen du gav meg.
Jeg er takknemlig for mine medstudenter som alltid var villige til å besvare spørsmål og gi støtte. Jeg vil da spesielt takke Ingrid Olsen som har vært en fantastisk støttespiller hele veien.
Jeg er takknemlig for de som ellers har hjulpet meg med oppgaven ved å lese igjennom og gi korreksjoner og råd.
Tusen takk.
Vilde Hyggen Rosland
Mai 2019
Forord iii
Innhold iv
1 Introduksjon 1
2 Metode 5
2.1 Tidsutvikling med ikke-lineær kubisk Schrödingerlikning . . . . 5
2.1.1 Eksplisitt endelig differansemetode . . . . 8
2.1.2 Fysiske løsninger av Schrödingerlikningen . . . . 9
2.2 Romutvikling med ikke-lineær Schrödingerlikning . . . . 11
2.2.1 Analyse av stabiliteten til likningen . . . . 13
2.2.2 Analyse av resultatet fra stabilitetsanalysen . . . . 16
2.2.3 Endelig differansemetode . . . . 17
2.3 Parametere i Schrödingerlikningen . . . . 19
2.3.1 Dispersjonsrelasjonen . . . . 19
2.3.2 Gruppehastigheten og fasefarten . . . . 19
2.3.3 Parameteren β . . . . 20
2.3.4 Parameteren γ . . . . 20
3 Resultater 23 3.1 Rom- og tidsutvikling av overflatehevningen i åpent hav . . . . 23
3.1.1 Måling av karakteristiske bølgeparametere . . . . 26
3.1.2 Overflatehevning . . . . 28
3.1.3 Energispektrum . . . . 30
3.1.4 Energi og varians . . . . 33
3.1.5 Kurtose . . . . 34
3.1.6 Skjevheten . . . . 36
3.1.7 Bølgetall-frekvensspektrum . . . . 36
3.2 Romutvikling av overflatehevningen i isdekt hav . . . . 38
3.2.1 Måling av karakteristiske bølgeparametere . . . . 40
3.2.2 Overflatehevning . . . . 41
3.2.3 Energispektrum . . . . 42
3.2.4 Energi og varians . . . . 43
3.2.5 Kurtose . . . . 44
3.2.6 Skjevheten . . . . 44
3.2.7 Bølgetall-frekvensspektrum . . . . 45
4 Diskusjon 47 4.1 Sammenligning av resultater for åpent hav . . . . 47
4.2 Sammenligning av resultater for isdekt hav . . . . 48
5 Konklusjon 51
Bibliografi 53
A Python-skript: Stabilitetsanalyse 55
B Python-skript: Løsning av ikke-lineær kubisk Schrödingerlikning på
åpent hav (Runge-Kutta) 59
C Python-skript: Analyse av data fra løser av ikke-lineær kubisk Schrödingerlikning
på åpent hav (Runge-Kutta) 63
D Python-skript: Analyse av data fra eksisterende program [2] 83 E Python-skript: Løsning av ikke-lineær kubisk Schrödingerlikning for
isdekt hav (Runge-Kutta) 103
F Python-skript: Analyse av data fra løser av ikke-lineær kubisk Schrödingerlikning
for isdekt hav (Runge-Kutta) 107
KAPITTEL 1
Introduksjon
I denne oppgaven skal jeg undersøke hvordan amplituden til overflatehevningen utvikler seg i tid og rom, for åpent hav og isdekt hav, med en ikke-lineær kubisk Schrödingerlikning.
Det er blitt gjort utallige studier av havbølger, men det er fortsatt mye vi ikke vet. For et land som Norge, med lang kystlinje og med fisk og olje som to av hovedeksportvarene, er havbølger et viktig forskningsområde.
Noen vesentlige deler av havet er dekket av is, og det minkende isdekke i Arktis gir et økt behov for å forstå hvordan havet og havisen oppfører seg i samspill med hverandre.
I denne oppgaven skal jeg studere hvordan bølger forplanter seg i åpent og isdekt hav.
Hvordan bølger forplanter seg i is påvirker hvordan isen brytes opp, og med mer forskning kan man etterhvert føre varsling av havis.
For å beregne bølgepropagasjonen anvender jeg den ikke-lineære kubiske Schrödingerlikningen.
Schrödingerlikningen brukes i flere sammenhenger til å beskrive ikke-lineære bølger, som, for eksempel, propagasjon av laserstråler, havbølger og plasmabølger. Likningen gir en statistisk beskrivelse av envelopedynamikken til et bølgetog Ψe
i(kx−ωt)(der steilheten << 1), med en liten og sakte varierende amplitude, Ψ(x, t), bølgetallet k, vinkelfrekvensen ω . Den ikke-lineære kubiske Schrödingerlikningen er definert som
i ∂Ψ
∂t + β ∂
2Ψ
∂x
2+ γ|Ψ|
2Ψ = 0,
der γ er knyttet til utvidelsen i potenser av bølgeintensitet og β er den dobbeltderiverte av vinkelfrekvensen, ω, med hensyn på bølgetallet, k [10].
Schrödingerlikningen er blitt brukt i mange studier av bølgeegenskapene til et åpent hav.
For eksempel, i artikkelen Evolution of a narrow-band spectrum of random surface gravity
waves av Dysthe, Trulsen, Krogstad og Socquet-Juglard [2], undersøker de egenskapene
til energispekteret til overflatehevningen av havbølger ved å utføre simuleringer basert på en ikke-lineær kubisk Schrödingerlikning og en modifisert Schrödingerlikning. I denne oppgaven ønsker jeg å se om jeg kan produsere liknende resultater, men ved å bruke en eksplisitt endelig differansemetode i stedet for spektral metode som brukes i artikkelen nevnt over. I artikkelen av Dysthe, Trulsen, Krogstad og Socquet-Juglard ser de hovedsakelig på tidsutviklingen av amplituden til overflatehevningen. Jeg vil også studere hvordan amplituden utvikler seg i rom, for å kunne sammenligne med et eksperiment der bølgen propagerer i x. Jeg må da undersøke om det er mulig å skrive om Schrödingerlikningen slik at jeg kan simulere for romutvikling.
Figur 1.1: Fotografi fra Svalbard
Det har blitt gjort få studier av Schrödingerlikningen for å modellere bølgepropagasjon på isdekt hav. I artikkelen Wave Propogation in a Solid Ice Pack av Liu og Mollo-Christensen [8] simulerer de bølgepropagasjon i is ved å utvide parametrene i Schrödingerlikningen slik at de inkluderer egenskapene til is. I Liu og Mollo-Christensen sin artikkel skriver de kun om parametrene i Schrödingerlikningen, selve likningen lar de være uforandret.
Jeg vil undersøke om det er nok å forandre parameterverdien eller om det må legges til et dempningsledd for å få frem tendensene som oppstår i is. Ved å sammenligne simuleringsresultatene med målinger fra kontrollerte forsøk, viser jeg at Schrödingerlikningen er en realistisk modell for bølgepropagasjon i is, dersom det legges til et dempningsledd.
Resten av oppgaven er strukturert som følger: I neste kapittel utledes den ikke-lineære Schrödingerlikningen for både tids- og romutvikling, og den endelige differansemetoden
som blir brukt til å løse likningen blir presentert. I tillegg beskrives likningen til overflatehevningen og parametrene i Schrödingerlikningen. I kapittel 3 blir resultatene fra utregningene av
den ikke-lineære Schrödingerlikningen for utvikling i både tid og rom, og med innsatte
verdier for både åpent hav og isdekt hav lagt frem. Resultatene sammenlignes med
andre studier. Kapittel 4 inneholder diskusjonen av resultatene. I kapittel 5 presenteres
konklusjonen til oppgaven.
KAPITTEL 2
Metode
I dette kapittelet utleder jeg de ikke-lineære kubiske Schrödingerlikningene som blir brukt til å regne ut tidsutviklingen og romutviklingen av amplituden til overflatehevningen.
Jeg utleder likningen for overflatehevningen og presenterer den endelige differansemetoden som blir brukt til numeriske beregninger og simuleringer i kapittel 3. Jeg analyserer stabiliteten til Schrödingerlikningen og beskriver dens parametere for både åpent hav og isdekt hav.
2.1 Tidsutvikling med ikke-lineær kubisk Schrödingerlikning
I denne seksjonen utleder jeg den ikke-lineære kubiske Schrödingerlikningen jeg bruker for å studere hvordan amplituden til overflatehevningen utvikler seg i tid. Jeg utleder et utrykk for overflatehevningen og presenterer den endelige differansemetoden som blir brukt i utregningene.
Følgende beskrivelse tar utgangspunkt i likning (21) og likning (22) fra Liu og Mollo-Christensen sin artikkel Wave Propagation in a Solid Ice Pack [8]. Løsningene for overflatehevingen, η(x, t), og amplituden, A(x, t) er
η(x, t) = Re[A(x, t)e
i(kcx−ωct)], (2.1)
∂A
∂t + iβ ∂
2A
∂x
2+ iγA
2A
∗= 0. (2.2)
Likning (2.1) beskriver overflatehevningen, η(x, t), som er en reel funksjon av en romlig
variabel x og tiden t. A(x, t) er en kompleks, sakte varierende funksjon som representerer
amplituden til bølgen. Konstanten k
crepresenterer det karakteristiske bølgetallet og
konstanten ω
crepresenter den karakteristiske vinkelfrekvensen. Sistnevnte beskrives
nærmere i seksjon 2.3 for tilfellene som svarer til åpent og isdekt hav. Likning (2.2)
kalles den ikke-lineære kubiske Schrödingerlikningen, og er den samme som ble brukt i de numeriske beregningene utført av Liu og Mollo-Christensen. Konstantene β og γ blir også utledet i seksjon 2.3.
I Liu og Mollo-Christensen sin artikkel brukte de et koordinatsystem som beveget seg med gruppehastigheten, C
g, til bølgen. Dette gjør noen utregninger enklere, men fysisk sett gir det lite mening, da man som regel måler overflatehevningen i et punkt og ikke løpende ved siden av bølgen. Jeg velger derfor å bruke et stasjonært koordinatsystem. For å oppnå dette må likningen (2.2) skrives om. Ved å legge til leddet C
g∂A∂x
i likning (2.2) går jeg fra et koordinatsystem som beveger seg med gruppehastigheten til et stasjonært koordinatsystem. Den ikke-lineære Schrödingerlikningen blir
∂A
∂t = −C
g∂A
∂x − iβ ∂
2A
∂x
2− iγ|A|
2A. (2.3)
I denne oppgaven studerer jeg et initialverdiproblem for likningen på et rektangulært domene, der 0 ≤ x ≤ L og 0 ≤ t ≤ T , med initialbetingelse
A(x, 0) = I(x) , x ∈ [0, L]. (2.4)
I rom velger jeg å bruke periodiske randbetingelser:
A(0, t) = A(L, t) , t ∈ [0, T ] (2.5)
Figur 2.1: Illustrasjon av hvordan periodiske randbetingelser fungerer. De lilla prikkene representerer punkter i tid, mens de grønne prikkene representerer punkter i x og hvordan verdiene til disse blir byttet ut ved periodiske randbetingelser [5].
Konstantene L og T er sluttverdien i henholdsvis rom og tid. Med periodiske randbetingelser blir startverdien i x satt lik sluttverdien i x slik at jeg kan simulere et helt system ved bare å simulere en liten del. Denne metoden er fremstilt i figur 2.1, der det blir vist hvordan verdiene i x blir byttet ut.
I resten av oppgaven brukes en annen likning for overflatehevningen, der likningen (2.1) blir utvidet ved perturbasjon for å inkludere 2. harmoniske bølger. Jeg får da en mer realistisk overflatehevning, enn hvis jeg kun har med 1. harmoniske bølger.
Denne perturbasjonen ble gjort i Liu og Mollo-Christensen sin artikkel (se likning (29b), (35b) og (37c) i artikkelen). Disse likningene blir skrevet om til å samsvare med et stasjonært koordinatsystem. Den fulle likningen for overflatehevningen med både 1. og 2. harmoniske bølger blir da:
η(x, t) = Re h
A(x, t)e
i(kcx−ωct)i
+
2Re h
(A(x, t))
2η
2e
2i(kcx−ωct)i
(2.6)
η
2er en konstant som blir utledet i seksjon 2.3, og representerer steilheten til bølgen.
2.1.1 Eksplisitt endelig differansemetode
For å løse likningen (2.3) numerisk diskretiserer jeg området slik at jeg får N
xpunkter i rom og N
tpunkter i tid. Jeg antar et uniformt rutenett, der
0 = x
0< x
1< ... < x
j< ... < x
Nx−2< x
Nx−1= L,
0 = t
0< t
1< ... < t
n< ... < t
Nt−2< t
Nt−1= T,
og x
j= j∆x og t
n= n∆t, for j = 0, ..., N
x− 1 og n = 0, ..., N
t− 1. ∆x og ∆t er steglengden i henholdsvis rom og tid.
For å løse den ikke-lineære kubiske Schrödingerlikningen bruker jeg en eksplisitt endelig differansemetode. En ulempe ved å bruke en eksplisitt endelig differansemetode, i forhold
til implisitt metode, er at den kun er betinget stabil når man simulerer partielle differensialligninger.
Det betyr at det er en grense på hvor stort tidssteget kan være i forhold til steglengden i rom. Hvis tidssteget er større en denne grensen vil metoden bli ustabil og divergere.
Fordelen ved å bruke eksplisitt metode er at den er enkel å implementere.
I Caplan og Carretero-González sin artikkel Numerical stability of explicit Runge–Kutta finite-difference schemes for the nonlinear Schrödinger equation [1] beregnet de hvor stort tidssteget kan være i forhold til steglengden i rom for ulike endelig differansemetoder.
I denne artikkelen ble det vist at en 3. ordens Runge-Kutta metode er den laveste ordenen av Runge-Kutta som er betinget stabil for den ikke-lineære Schrödingerlikningen.
For å unngå numerisk ustabilitet velger jeg å bruke 2. ordens sentral endelig differansemetode i rom med 4. ordens Runge-Kutta metode i tid. I Caplan og Carretero-González sin artikkel viste de at denne metoden er stabil for:
∆t < (∆x)
2√ 2β (2.7)
Jeg implementerer en 4. ordens Runge-Kutta metode på det tidsderiverte leddet i likning (2.3) og 2. ordens sentral endelig differanse på de x-deriverte leddene i likning (2.3).
∂A
∂t
|{z}
∂A∂t
= −C
g∂A
∂x
|{z}
i)−iβ ∂
2A
∂x
2| {z }
ii)
−iγ |A|
2A
| {z }
iii)
| {z }
f(t,A)
Jeg deler opp likning (2.3) slik at jeg får tidsderiverte og romderiverte ledd hver for seg:
∂A
∂t = f (t, A) f (t, A) = −C
g∂A
∂x
|{z}
i)
−iβ ∂
2A
∂x
2| {z }
ii)
−iγ |A|
2A
| {z }
iii)
(2.8)
Likningen for 4. ordens Runge-Kutta metode finner jeg i kompendiet Numerical Methods for Engineers av Hellevik [6]:
k
1(x) = ∆t f(t
n, A(x, t
n)) k
2(x) = ∆t f(t
n+ 1
2 ∆t, A(x, t
n) + 1 2 k
1(x)) k
3(x) = ∆t f(t
n+ 1
2 ∆t, A(x, t
n) + 1 2 k
2(x)) k
4(x) = ∆t f(t
n+ ∆t, A(x, t
n) + k
3(x)) A(x, t
n+1) = A(x, t
n) + 1
6 (k
1(x) + 2k
2(x) + 2k
3(x) + k
4(x))
(2.9)
Jeg implementerer 2. ordens sentral endelig differansemetode på leddene i f (t, A) i likning (2.8):
• Ledd i) i likning (2.8):
∂A
∂x ≈ A
ni+1− A
ni−12∆x
• Ledd ii) i likning (2.8):
∂
2A
∂x
2≈ A
ni+1− 2A
ni+ A
ni−1(∆x)
2• Ledd iii) i likning (2.8):
|A|
2A ≈ |A
ni|
2A
niJeg setter leddene sammen:
f(t, A) = −C
gA
ni+1− A
ni−12∆x − iβ A
ni+1− 2A
ni+ A
ni−1(∆x)
2− iγ|A
ni|
2A
ni(2.10)
2.1.2 Fysiske løsninger av Schrödingerlikningen
Det er kjent at Schrödingerlikningen (2.3) kan ha løsninger som bryter med fysiske lover.
Når Schrödingerlikningen brukes i kvantemekanikken til å beskrive bølgeegenskapene til en partikkel, så kan dette illustreres ved å betrakte en trillende ball som et eksempel.
Ifølge fysiske lover vil en ball som ruller sakte oppover en bakke komme til et stopp og rulle nedover igjen, dersom energien er for lav til å nå toppen. Allikevel forutsier Schrödingerlikningen at det eksisterer en liten sannsynlighet for at ballen vil trille over bakketoppen og til den andre siden.
For å få et resultat som gir fysisk mening, må derfor ikke-fysiske løsninger kuttes vekk.
Metoden jeg bruker for å gjennomføre dette, er at jeg for hvert tidssteg finner Fourier
transformen av amplituden, A(x, t
j), og alle verdiene til Fourier transformen som er
utenfor et bestemt område setter jeg lik null. Området defineres utifra båndbredden
til energispekteret, σ. Energispekteret er absoluttverdien av Fourier transformen av overflatehevningen opphøyet i andre (| η| ˆ
2). Jeg bestemmer at Fourier transformen til amplituden er null utenfor intervallet k ∈ [−(10σ − 0.1), 10σ − 0.1], der k er bølgetallet til overflatehevningen.
Et fullt Python-skript for å løse den ikke-lineære Schrödingerlikningen med 4. ordens
Runge-Kutta metode er lagt ved i vedlegg B
2.2 Romutvikling med ikke-lineær Schrödingerlikning
I denne seksjonen utleder jeg en annen numerisk metode for den ikke-lineære kubiske Schrödingerlikningen som jeg bruker til å studere hvordan amplituden til overflatehevningen utvikler seg i rom. Jeg analyserer stabiliteten til denne likningen og presenterer den endelige differansemetoden som blir brukt i utregningene.
Jeg ønsker å studere hvordan en bølge utvikler seg som et initialverdiproblem med hensyn på x. For å oppnå dette må jeg ved hjelp av perturbasjon skrive om likning (2.3) fra forrige seksjon:
∂A
∂t = −C
g∂A
∂x − iβ ∂
2A
∂x
2− iγ|A|
2A Jeg innfører en perturbasjon ved å anta at løsningen er på formen:
A = A
0+ A
1(2.11)
Jeg introduserer en sakte tid og rom skala:
t
1= t, x
1= x (2.12)
Jeg setter likning (2.11) og (2.12) inn i likning (2.3):
∂A
0+ A
1∂
t1= −C
g∂A
0+ A
1∂
x1− iβ ∂
2A
0+ A
1∂(
x1)
2− iγ(A
0+ A
1)
2(A
0+ A
1)
∗Jeg får da uttrykket:
∂A
0∂t
1+
2∂A
1∂t
1= −C
g( ∂A
0∂x
1+
2∂A
1∂x
1) − iβ(
2∂
2A
0∂x
21+
3∂
2A
1∂x
21)
− iγ(A
20A
∗0+ A
20A
∗1+ 2A
0A
∗0A
1+ 2
2A
0A
1A
∗1+
2A
∗0A
21+
3A
21A
∗1)
Med perturbasjonsteori finner jeg løsningen A
0, ved å studere den nulte-ordens tilnærmede likningen av :
0: −iγA
20A
∗0= 0 ⇒ A
0= 0
Jeg kan da sette alle ledd med A
0lik null. Jeg skriver om A
1= A, t
1= t og x
1= x.
Likningen blir da:
2∂A
∂t = −
2C
g∂A
∂x − i
3β ∂
2A
∂x
2− i
3γ|A|
2A Jeg deler på
2og skriver om uttrykket:
∂A
∂x = − 1 C
g∂A
∂t − iβ C
g∂
2A
∂x
2− iγ C
g|A|
2A (2.13)
For å finne et uttrykk for utvikling i rom skriver jeg om leddet
iβCg
∂2A
∂x2
i likning (2.13),
slik at jeg kun får tidsderivert ledd på høyresiden. For å oppnå dette deriverer jeg først likning (2.13) med hensyn på x. Jeg antar da at A(x, t) er tilstrekkelig glatt slik at de nødvendige partiellderiverte eksisterer og er kontinuerlige.
∂
2A
∂x
2= − 1 C
g∂
2A
∂t∂x − iβ C
g∂
3A
∂x
3− iγ C
g∂(|A|
2A)
∂x (2.14)
Fra likning (2.13) og (2.14) får jeg da de to likningene:
i) ∂A
∂x = − 1 C
g∂A
∂t − O() ii) ∂
2A
∂x
2= − 1 C
g∂
2A
∂t∂x − O() = − 1 C
g∂
∂t
∂A
∂x − O()
Jeg substituerer så i) inn i ii):
∂
2A
∂x
2= − 1 C
g∂
∂t
− 1 C
g∂A
∂t − O()
− O() = 1 C
g2∂
2A
∂t
2− O()
Jeg antar at er liten og setter:
∂
2A
∂x
2≈ 1 C
g2∂
2A
∂t
2Jeg setter dette inn i likning (2.13):
∂A
∂x = − 1 C
g∂A
∂t − iβ C
g1 C
g2∂
2A
∂t
2− iγ C
g|A|
2A + O(
2)
Utvikling i rom med den ikke-lineære Schrödingerlikningen blir da:
∂A
∂x = − 1 C
g∂A
∂t − iβ C
g3∂
2A
∂t
2− iγ C
g|A|
2A (2.15)
På lik måte som i forrige seksjon, seksjon 2.1 studerer jeg et initialverdiproblem for likningen på et rektangulært domene, med initialverdi:
S(0, t) = I(t) , t ∈ [0, T ] (2.16) Jeg velger å bruke periodiske randbetingelser i tid:
S(x, 0) = S(x, T ) , x ∈ [0, L] (2.17)
2.2.1 Analyse av stabiliteten til likningen
Stabiliteten til likning (2.15) defineres ut ifra evnen til å motstå en forstyrrelse. Hvis en gitt fysisk tilstand kan motstå en forstyrrelse og returnere til sin opprinnelige tilstand så er den stabil. I denne oppgaven ser jeg blant annet på isdekt hav, så en ustabil fysisk tilstand kan føre til at isen brytes opp. Jeg undersøker stabiliteten til likning (2.15) ved å følge oppskriften fremstilt i kapittel 5 i boka av White, F. M. Viscous fluid flow [11]:
• 1. Finn den grunnleggende løsningen, A
0.
• 2. Legg til en forstyrrelse, A
0, og substituer A
0+ A
0inn i den grunnleggende likningen.
• 3. Finn forstyrrelseslikningen ved å trekke ifra den grunnleggende løsningen.
• 4. Lineariser forstyrrelseslikningen ved å anta at forstyrrelsen er liten og fjern alle ledd av andre eller høyre orden.
• 5. Dersom den lineariserte likningen er komplisert kan den forenkles ved å anta at forstyrrelsen har form som en bølge.
1. Jeg finner først den grunnleggende løsning, A
0:
Jeg antar at startverdien i x, A(0, t) = I(t) = I for 0 ≤ t ≤ T, er konstant (se likning (2.16)). Siden
∂A∂t= 0 vil flere av leddene i likning (2.15) forsvinne. Jeg står da kun igjen med leddene:
∂A
∂x + iγ
C
gA
2A
∗= 0 (2.18)
Jeg antar at løsning, A(x, t), er på formen:
A(x, t) = ae
iθ(x,t)Der a er en konstant og θ(x, t) er en funksjon av x og t. Jeg setter A(x, t) inn i likning (2.18) og får:
i
a ∂θ(x, t)
∂x + a
3γ C
ge
iθ(x,t)= 0
Jeg løser for θ(x, t):
θ(x, t) = −a
2γ C
gx + θ
0(t)
Jeg får da løsningen:
A(x, t) = ae
iθ(x,t)= ae
i(−a2γ Cgx+θ0(t))
= ae
iθ0(t)e
−a2iγ Cgx
Ved x = 0 vet jeg at A(0, t) = I. Jeg setter derfor x = 0 for å finne integrasjonskonstanten θ
0(t):
A(0, t) = ae
iθ0(t)e
0= ae
iθ0(t)= I
Den grunnlegende løsningen, A
0, blir da:
A
0(x) = Ie
−a2iCgγx(2.19)
Jeg setter likning (2.19) inn i likning (2.18) og finner den grunnleggende likningen:
h − ia
2γ C
g+ a
2i
A
0= 0 (2.20)
2. Jeg legger til en liten forstyrrelse (A
0): A ˆ = A
0+ A
0: Jeg definerer forstyrrelsen som:
A
0= Ie
−iγ Cga2x
b(x, t) + id(x, t)
= A
0b(x, t) + id(x, t)
Summen av den grunnleggende løsningen og forstyrrelsen blir da:
A ˆ = Ie
−iγ Cga2x
1 + b(x, t) + id(x, t)
= A
01 + b(x, t) + id(x, t)
Siden A
0er en funksjon av x og t må nå alle leddene i likning (2.15) tas med. Jeg setter A ˆ inn i likning (2.15):
∂ A ˆ
∂x + 1 C
g∂ A ˆ
∂t + iβ C
g3∂
2A ˆ
∂t
2+ iγ C
gA ˆ
2A ˆ
∗= 0 (2.21)
4. Normalt sett lineariserer man likningen etter neste steg, men for å unngå alt for lange uttrykk lineariserer jeg likningen underveis ved å anta at forstyrrelsen er veldig liten (A
0>> A
0). Alle ikke-lineære A
0ledd kan dermed neglisjeres. Jeg får da likningen:
"
i ∂d
∂x − a
2γ C
g1 + b +
∂b
∂x + a
2γ C
gd
# + 1
C
g"
∂b
∂t + i ∂d
∂t
#
+ iβ C
g3"
∂
2b
∂t
2+ i ∂
2d
∂t
2# + iγ
C
gh
a
21 + 3b + id i
! A
0= 0
3. Jeg trekker fra den grunnleggende likningen (2.20) og får da den lineariserte forstyrrelseslikningen:
"
i ∂d
∂x − a
2γ C
gb
+
∂b
∂x + a
2γ C
gd
# + 1
C
g"
∂b
∂t + i ∂d
∂t
#
+ iβ C
g3"
∂
2b
∂t
2+ i ∂
2d
∂t
2# + iγ
C
gh
a
23b + id i
!
A
0= 0
Jeg deler opp i reell og imaginær del:
Re : ∂b(x, t)
∂x + 1 C
g∂b(x, t)
∂t − β C
g3∂
2d(x, t)
∂t
2= 0 Im : ∂d(x, t)
∂x + 1 C
g∂d(x, t)
∂t + β C
g3∂
2b(x, t)
∂t
2+ a
2γ C
g2b(x, t) = 0
(2.22)
5. Jeg forenkler uttrykket ved å anta at forstyrrelsen har form som en bølge b = ˆ be
i(Kx−Ωt)og d = ˆ de
i(Kx−Ωt). Der K er en konstant som representerer bølgetallet og Ω er en konstant som representerer vinkelfrekvensen. ˆ b, d ˆ er konstanter. Jeg setter dette inn i likningen (2.22) og får:
Re : h
ˆ b(iK)e
i(Kx−Ωt)i + 1
C
gh ˆ b(−iΩ)e
i(Kx−Ωt)i
− β C
g3h d(−iΩ) ˆ
2e
i(Kx−Ωt)i
= 0
Im : h
d(iK)e ˆ
i(Kx−Ωt)i + 1
C
gh d(−iΩ)e ˆ
i(Kx−Ωt)i + β
C
g3h ˆ b(−iΩ)
2e
i(Kx−Ωt)i
+ a
2γ C
g2 h
ˆ be
i(Kx−Ωt)i
= 0
Dette kan skrives som likningssystemet:
i
K −
C1g
Ω
Cg
βCg2
Ω
2Cg
2a
2γ −
Cβ2 gΩ
2i K −
C1g
Ω
·
" ˆ b d ˆ
#
= 0
Hvis dette skal ha en løsning må determinanten til matrisen være 0:
det
i
K −
C1g
Ω
Cg
βCg2
Ω
2Cg
2a
2γ −
Cβ2 gΩ
2i
K −
C1g
Ω
= 0
Determinanten er:
det
i
K −
C1g
Ω
Cg
β Cg2Ω
2Cg
2a
2γ −
Cβ2 gΩ
2i K −
C1g
Ω
= i K− 1
C
gΩ i
K− 1 C
gΩ
− C
gβ C
g2Ω
2C
g2a
2γ− β C
g2Ω
2= 0
Jeg løser for K og får at:
K
2− 2
C
gΩK + Ω
2C
g21 +
2C
g22a
2βγ − β
2Ω
2C
g2= 0
Jeg løser andregradslikningen for K(Ω):
K(Ω) = Ω C
g1 ± C
gs β
2Ω
2C
g2− 2a
2βγ
!
(2.23)
Ligningen er stabil dersom innsatt Ω er reell gir at K også er reell. For at likningen skal være stabil må da:
Ω > √ 2aC
gr γ
β (2.24)
Dette er i overensstemmelse med tilsvarende resultat av Liu og Mollo-Christensen [8], som viste at likningen 2.2 er stabil dersom:
K > √ 2a
r γ β
Siden de ser på utviklingen i tid har de en betingelse for K i stedet for Ω, og siden de har et koordinatsystem som beveger seg med gruppehastigheten, C
g, er denne parameteren ikke med i deres uttrykk.
2.2.2 Analyse av resultatet fra stabilitetsanalysen
Jeg analyserer resultatet fra stabilitetsanalysen ved å plotte vekstraten. Vekstraten angir hvor stor den relative endringen av Im[K(Ω)] over Ω er, se likning (2.23). Jeg setter inn konstantene β , γ, C
gog for åpent hav og for isdekt hav. Disse konstantene blir utledet i neste seksjon, seksjon 2.3. a setter jeg lik 1. Jeg ønsker å studere området hvor likningen er ustabil fordi det her her veksten er størst. Jeg ser derfor på intervallet Ω ∈ [− √
2C
gq
γβ
, √ 2C
gq
γβ
].
(a) Vekstraten for åpent hav (b) Vekstraten for isdekt hav
Figur 2.2: Forskjellen i vekstraten, den relative endringen av bølgetallet, Im[K], over vinkelfrekvensen, Ω, mellom åpent og isdekt hav.
For åpent hav finner jeg at den maksimale ustabiliteten inntreffer ved Ω
maks= 8.7 s
−1med den maksimale vekstraten (ImK)
max= 0.8 m
−1. For isdekt hav inntreffer den maksimale ustabiliteten ved Ω
max= 15.1 s
−1. Da er den maksimale vekstraten (ImK)
max= 7.9 m
−1. Formasjonen av bølgepakker skjer mye raskere i is en i åpent hav. Dette resultatet stemmer overens med det de finner i artikkelen til Liu og Mollo-Christensen [8].
I Liu og Mollo-Christensen sin artikkel kommer de frem til at den større vekstrate som blir funnet for isdekt hav antyder at formasjonen av bølgepakker i et område med høy trykkspenning kan være med på å bryte opp isen.
Et fullt Python-skript for utregning av vekstraten er lagt ved i vedlegg A.
2.2.3 Endelig differansemetode
For å løse likningen (2.15) numerisk diskretiserer jeg et rektangulært området på samme måte som i forrige seksjon (seksjon 2.1). Jeg implementerer en 4. ordens Runge-Kutta metode på det x-deriverte leddet i likning (2.15) og 2. ordens sentral endelig differanse på de tidsderiverte leddene i likning (2.15). Fra artikkelen til Caplan og Carretero-González vet jeg at denne metoden er stabil for [1]:
∆x < (∆t)
2√ 2
Cβ3 g(2.25)
Jeg deler opp likning (2.15) slik at jeg får tidsderiverte og romderiverte ledd hver for seg:
∂A
∂x
|{z}
∂A∂x
= − 1 C
g∂A
∂t
|{z}
i)
− iβ C
g3∂
2A
∂t
2| {z }
ii)
− iγ C
g|A|
2A
| {z }
iii)
| {z }
f(x,A)
∂A
∂x = f (x, A) f (x, A) = − 1
C
g∂A
∂t
|{z}
i)
− iβ C
g3∂
2A
∂t
2| {z }
ii)
− iγ C
g|A|
2A
| {z }
iii)
(2.26)
Jeg bruker samme likning for 4. ordens Runge-kutta metode som i forrige seksjon.
k
1(t) = ∆x f (x
j, A(x
j, t)) k
2(t) = ∆x f (x
j+ 1
2 ∆x, A(x
j, t) + 1 2 k
1(t)) k
3(t) = ∆x f (x
j+ 1
2 ∆x, A(x
j, t) + 1 2 k
2(t)) k
4(t) = ∆x f (x
j+ ∆x, A(x
j, t) + k
3(t)) A(x
j+1, t) = A(x
j, t) + 1
6 (k
1(t) + 2k
2(t) + 2k
3(t) + k
4(t))
(2.27)
Jeg implementerer 2. ordens sentral endelig differansemetode på leddene i f(x, A) i likning (2.26):
• Ledd i) i likning (2.26):
∂A
∂t ≈ A
n+1i− A
n−1i2∆t
• Ledd ii) i likning (2.26):
∂
2A
∂t
2≈ A
n+1i− 2A
ni+ A
n−1i(∆t)
2• Ledd iii) i likning (2.26):
|A|
2A ≈ |A
ni|
2A
niJeg setter leddene sammen:
f (x, A) = − 1 C
gA
n+1i− A
n−1i2∆t − iβ
C
g3A
n+1i− 2A
ni+ A
n−1i(∆t)
2− iγ
Cg |A
ni|
2A
ni(2.28)
Et fullt Python-skript for å løse den ikke-lineære Schrödingerlikningen med 4. ordens
Runge-Kutta metode er lagt ved i vedlegg B
2.3 Parametere i Schrödingerlikningen
I denne seksjonen beskrives parametrene, C
g, β og γ, i Schrödingerlikningen for tid- og romutvikling, likning (2.3) og (2.15). Parametrene beskrives for både åpent og isdekt hav.
I artikkelen til Liu og Mollo-Christensens regner de ut parametrene i Schrödingerlikningen [8]. Gruppehastigheten, C
g, finner de ved å derivere vinkelfrekvensen, ω (kvadratroten av dispersjonsrelasjonen), på bølgetallet, k: C
g=
∂ω∂k. Parameteren β er den dobbeltderiverte av vinkelfrekvensen med hensyn på k, mens parameteren γ blir utledet ved perturbasjon.
2.3.1 Dispersjonsrelasjonen
Uttrykket for dispersjonsrelasjonen henter jeg fra Liu og Mollo-Christensen sin artikkel (se likning (6) i artikkelen):
ω
2(k) = gk + Bk
5− Qk
31 + kM B = Eh
312(1 − s
2)ρ
H, Q = P h ρ
H, M = ρ
Ih ρ
H(2.29)
Parameteren B er en konstant som beskriver effektene av bøyning av isen. Konstanten Q angir effektene av isens kompresjon og konstanten M angir effektene av tregheten til isen. k er bølgetallet, E er Young’s modul, s er Poisson’s ratio, ρ
Ier tettheten til isen og ρ
Her tettheten til havet.
Når jeg modellerer for åpent hav, kan jeg sette tykkelsen til isen lik null, h = 0.
Konstantene B, Q, og M blir da null, og dispersjonsrelasjonen for åpent hav blir:
ω
2(k) = gk (2.30)
Dette er dispersjonsrelasjonen for dypt vann (kH >> 1, der k er bølgetallet og H er havdypet), der tyngdekraften er mer dominerende enn overflatespenningen for bølgebevegelsen.
2.3.2 Gruppehastigheten og fasefarten
Gruppehastigheten er definert som den k-deriverte av vinkelfrekvensen, ω (kvadratroten av dispersjonsrelasjonen). Denne utregningen blir gjort i Liu og Mollo-Christensen sin artikkel, se likning (11) i artikkelen.
C
g= ∂ω
∂k = g + Bk
4(5 + 4kM) − Qk
2(3 + 2kM )
2ω(1 + kM )
2(2.31)
Fasefarten er definert som vinkelfrekvensen, ω delt på bølgetallet k:
C
p= ω k =
s
gk + Bk
5− Qk
3k
2(1 + kM) (2.32)
Gruppehastighet og fasefarten for åpent hav, der h = 0, blir da:
C
g= ∂ω
∂k = g 2ω = 2
r g
k (2.33)
C
p= ω k =
r g k = 1
2 C
g(2.34)
2.3.3 Parameteren β
Parameteren β er definert som den dobbeltderiverte av vinkelfrekvensen, ω, med hensyn på bølgetallet, k. Denne parameteren er utledet i likning (41) i Liu og Mollo-Christensen sin artikkel.
β = − 1 2
∂
2ω
∂k
2= g
2(1 + 4kM) − 6gBk
4(5 + 8kM + 4k
2M
2) + 2gQk
2(3 + 2kM + 2k
2M
2) 8ω
3(1 + kM)
4−3Q
2k
4− B
2k
8(15 − 20kM + 8k
2M
2) 8ω
3(1 + kM)
4(2.35)
For åpent hav blir konstantene B, Q og M satt lik 0 og jeg får:
β = 1 8
ω
k
2(2.36)
2.3.4 Parameteren γ
Parameteren γ blir funnet ved perturbasjon av hastighetspotensialet φ, overflatehevningen
η og fasefarten C
p. Parameteren blir utledet i likning (39) og (40) i Liu og Mollo-Christensen
sin artikkel [8]:
γ = C
2k Der:
C
2= k
2C
0(g + 127Bk
4− 10Q
0k
2− 3Qk
2) − 36kη
2C
0(10Bk
4− Q
0k
2) − 2kφ
2(7g + 187Bk
4− 25Q
0k
2) 2g
0(2.37) Konstantene i likning (2.37) er utledet i likning (33), (37b) og (37c) i artikkelen til Liu og Mollo-Christensen [8].
Q
0= Q + M C
2g
0= g + Bk
4− Q
0k
2C
0= r g
0k
η
2= − g
0k(−g + 45Bk
4− 9Q
0k
2)
2(g + 15Bk
4− 3Q
0k
2)(g + 16Bk
4− 4Q
0k
2) (2.38) φ
2= kC
0(15Bk
4− 3Q
0k
2)
g + 15Bk
4− 3Q
0k
2Likning (2.38) for η
2blir brukt i den fulle likningen for overflatehevningen (se likning (2.6) i seksjon 2.1) som inkluderer 1. og 2. harmoniske bølger:
η(x, t) = Re h
A(x, t)e
i(kcx−ωct)i
+
2Re h
(A(x, t))
2η
2e
2i(kcx−ωct)i
I åpent hav blir konstantene B, Q og M satt lik 0 og jeg får:
γ = 1
2 ωk
2(2.39)
η
2= k
2 (2.40)
KAPITTEL 3
Resultater
I dette kapittelet presenterer jeg resultatene fra utregningen av den ikke-lineære Schrödingerlikningen for utvikling i både tid og rom, og med innsatte verdier for både åpent hav og isdekt
hav. Blant resultatene som presenteres er overflatehevningen fra simuleringer og ulike ulike statistiske egenskaper. Seksjon 3.1 inneholder resultater for åpent hav og seksjon 3.2 for isdekt hav.
3.1 Rom- og tidsutvikling av overflatehevningen i åpent hav
I denne seksjonen legger jeg frem resultatene fra utregningen av den ikke-lineære Schrödingerlikningen for utvikling i både tid og rom, og med innsatte verdier for åpent hav. Jeg sammenligner
mine data med tidligere studier. Resultatene som blir presentert er utviklingen av karakteristiske bølgeparametere, overflatehevningen, energispekteret, variansen, kurtosen, skjevheten og bølgetall-frekvensspekteret.
For å undersøke om mitt program produserer realistiske resultater, tester jeg det imot eksisterende studie utført i artikkelen Evolution of a narrow-band spectrum of random surface gravity waves av Dysthe, Trulsen, Krogstad og Socquet-Juglard [2]. Jeg får tilgang på programmet som ble brukt for å produsere resultatene i denne artikkelen (NLS-programmet), og som gjør det lettere å sammenligne. I utregningene, som ble gjort i artikkelen, brukte de samme Schrödingerlikning som jeg utledet i forrige kapittel, likning (2.3) i seksjon 2.1 (se likning (1) i artikkelen): Ikke-lineær kubisk Schrödingerlikning for utvikling i tid
∂A
∂t = −C
g∂A
∂x − iβ ∂
2A
∂x
2− iγ|A|
2A
For utvikling i rom bruker jeg likningen (2.15) som ble utledet tidligere i seksjon 2.2:
∂A
∂x = − 1 C
g∂A
∂t − iβ C
g3∂
2A
∂t
2− iγ C
g|A|
2A
Her bruker jeg parametrene, C
g, β og γ, for åpent hav, som ble utledet i forrige kapittel, i seksjon 2.3.
I artikkelen av Dysthe, Trulsen, Krogstad og Socquet-Juglard har de definert overflatehevningen som (se likning (2) i artikkelen):
η(x, t) = 1 2
A(x, t)e
i(kcx−ωct)+ A
2(x, t)e
2i(kcx−ωct)Der utrykket for den 2. harmoniske bølgen er:
A
2(x, t) = (A(x, t))
22 − iA(x, t) 2
∂A(x, t)
∂x
Dette er en litt annen definisjon enn den jeg bruker i mine utregninger (se likning (2.6) i seksjon 2.1). For å tilnærme meg deres resultater deler jeg funksjonen A(x, t) i likning (2.6) på i når jeg utvikler i tid og på 3.5 når jeg utvikler i rom.
η(x, t) = Re
"
A(x, t) eller 3.5
e
i(kcx−ωct)# +
2Re
"
(A(x, t))
2eller 3.5
η
2e
2i(kcx−ωct))
# (3.1)
Jeg legger inn de samme konstantene i begge programmene og er påpasselig med at
steglengden i tid ikke overskrider det kravet som ble utledet i likning (2.7) i seksjon
2.1.1, når jeg ser på utviklingen i tid. For utvikling i rom passer jeg på at steglengden i
x ikke overskrider kravet utledet i likning (2.25) i seksjon 2.2.3 i forrige kapittel.
Tabell 3.1: Innsatte verdier for utvikling i tid og rom på åpent hav
Parameter Verdi i tidsutvikling Verdi i romutvikling
Antall kjøringer N 50 50
Antall steg i tid N
t1000 2000
Antall steg i rom N
x2000 1000
Sluttverdi i tid T 315 315
Sluttverdi i rom L 315 315
Steglengde i t ∆t 0.158 < 0.56 0.315
Steglengde i x ∆x 0.315 0.158 < 2.8
Gravitasjons akselerasjonen g 1.0 1.0
Karakteristisk bølgetall k
c1.0 1.0
Karakteristisk vinkelfrekvens ω
c1.0 1.0
Karakteristisk amplitude a
c1.0 1.0
Steilheten (a
ck
c) 0.1 0.1
Gruppehastigheten C
g0.5 0.5
Parameter i Schrödingerlikningen β 0.125 0.125
Parameter i Schrödingerlikningen γ 0.5 0.5
Antall perioder i startverdien N
P50.1 50.1
Antall bølgelengder i startverdien N
λ50.1 50.1
Diskretisering av frekvensplanet ∆N
P0.02 0.02
Diskretisering av bølgetallplanet ∆N
P0.02 0.02
Båndbredden σ 0.1 0.1
Jeg ønsker at energispekteret skal ha form som en Gaussisk bjelle. Jeg velger derfor at startverdien i initialverdiproblemet (se likning (2.4) og likning (2.16) i henholdsvis seksjon 2.1 og seksjon 2.2) skal være kvadratroten av den inverse Fourier transformen av en Gaussisk bjelle. I artikkelen av Dysthe, Trulsen, Krogstad og Socquet-Juglard har de satt startverdien til å være (se likning (7) i artikkelen):
I(x) = F
−1s ∆N
λ√ 2πσ e
−k2 4σ2
e
iθDer θ er en stokastisk variabel som er uniformt fordelt på intervallet [0, 2π], og som har like mange punkter som x i tidsutvikling og som t i romutvikling. For hver gang programmet kjøres vil jeg dermed få litt ulikt resultat. Ved å utføre flere kjøringer (her N = 50) kan jeg finne gjennomsnittet av verdiene, som gir et sikrere resultat. For romutvikling byttes k og x ut med ω og t
I mitt program bruker jeg en litt annen startverdi for å tilnærme meg resultatene i artikkelen. For utvikling i tid setter jeg startverdien i t = 0 lik:
I(x) = F
−11
2s
∆N
λ√ 2πσ e
−k2 4σ2
e
iθFor utvikling i rom setter jeg startverdien i x = 0 lik:
I(t) = F
−1s
N
P2√ 2πσ e
−ω2 4σ2