\input{preamble}

\title{TEMATIME - 44 - H26}


\begin{document}
\pagenumbering{gobble}

\maketitle

\section*{NEWTONS AVKJØLINGSLOV}

Dette er oppgave 6 fra eksamen i SIF5003 Matematikk 1,
8. desember 1999, 
den gangen det var lov å lage artige eksamensoppgaver:\footnote{
	\url{https://wiki.math.ntnu.no/_media/tma4100/eksamen/sif5003_1999-12-08.pdf}
}
\begin{quote}
	Når strømmen går klokken 00.00 den 1. januar år 2000,
	sitter Kjell Magne på sitt kontor som da holder temperaturen $19.0^\circ$C.
	Fra dette tidspunkt avtar temperaturen på kontoret i samsvar med Newtons avkjølingslov:
	Temperaturendringen pr. tidsenhet er proporsjonal med differansen mellom inne- og utetemperatur.
	Utetemperaturen denne rekordkalde natten er $-36.9^\circ$C.
	Klokken 01.00 er temperaturen på kontoret falt til $10.8^\circ$C.

	På Kjell Magnes bord står et glass med vann.
	Hva er klokken når vannet i glasset begynner å fryse?
\end{quote}
La $T(t)$ være temperaturen på kontoret $t$ timer etter at strømmen gikk,
la $T_0$ være temperaturen ved $t=0$,
og la $T_U$ være utetemperaturen.
Newtons avkjølingslov er en litt grov,
men ganske nyttig
modell som sier at temperaturendringen $T'(t)$
er proporsjonal med temperaturforskjellen mellom ute og inne:
\[
	T'(t)=\alpha \left(T_U-T(t)\right) \qquad T(0)=T_0
\]
Proporsjonalitetskonstanten $\alpha > 0$ inneholder all informasjon om hvor fort
varmen lekker ut gjennom veggene,
og varmekapasiteten til kontoret og så videre.
Vi organiserer likningen slik
\[
	T'(t)+\alpha T(t)=\alpha T_U
\]
og ganger med $e^{\alpha t}$ på begge sider av likhetstegnet:
\[
	e^{\alpha t}T'(t)+\alpha e^{\alpha t}T(t)=\alpha T_U e^{\alpha t}.
\]
Venstresiden er nå nøyaktig det vi får
når vi deriverer $e^{\alpha t}T(t)$ med produktregelen,
så likningen kan skrives
\[
	\frac{d}{dt}\left( e^{\alpha t}T(t) \right)=\alpha T_U e^{\alpha t}.
\]
Nå integrerer vi begge sider og får
\[
	e^{\alpha t}T(t)=T_U e^{\alpha t}+c
\]
der $c$ er en vilkårlig konstant.
Ganger vi med $e^{-\alpha t}$ på begge sider,
står $T(t)$ alene:
\[
	T(t)=T_U+ce^{-\alpha t}.
\]
Initialkravet $T(0)=T_0$ gir $T_0=T_U+c$,
altså $c=T_0-T_U$,
og vi sitter igjen med
\[
	T(t)=T_U+\left(T_0-T_U\right)e^{-\alpha t}.
\]
Når $t$ går mot uendelig,
går $T(t)$ mot $T_U$,
så kontoret ender til slutt opp like kaldt som ute.
Løsningsteknikken kalles integrerende faktor,
men det er et litt misvisende navn,
for penn-og-papir-løsningsteknikker for differensiallikninger 
består stort sett i å gange likningen med et eller annet og integrere.
Dette prinsippet er enkelt å forstå, 
men tar en del trening å trene opp et øye for hva man skal gange med for å klare å integrere.
Med $T_0=19.0$ og $T_U=-36.9$ er
\[
	T(t)=-36.9+55.9e^{-\alpha t},
\]
og siden $T(1)=10.8$,
er $55.9e^{-\alpha}=47.7$,
altså $\alpha=\ln(55.9/47.7)\approx 0.159$ per time.
Vannet begynner å fryse når $T(t)=0$,
altså når $55.9e^{-\alpha t}=36.9$,
som gir
\[
	t=\frac{\ln(55.9/36.9)}{\ln(55.9/47.7)}\approx 2.62.
\]
Klokken er da omtrent 02.37.

\section*{LAVPASSFILTERET}

Nå tar vi en helt annen modell som leder til nøyaktig samme differensiallikning.
En motstand og en kondensator som kobles i serie med en spenningskilde, 
kalles et lavpassfilter om spenningen $v(t)$ måles i punktet markert $v(t)$:
\begin{center}
	\begin{circuitikz}
		\draw (0,3) to [R] (1,3) to [short,-*] (2,3) to [C] (4,3) to (4,1) to (0,1);
		\draw (-2,3) to [open,v=$f(t)$] (-2,1);
		\draw node at (1,2.5) {$R$};
		\draw node at (2.5,2.45) {$C$};
		\draw node at (2,3.5) {$v(t)$};
		\draw (0,3) to [short] (-1,3);
		\draw (0,1) to [short] (-1,1);
		\draw (-1,3) to [V] (-1,1);
		\draw node[ground] at (-1,1) {};
	\end{circuitikz}
\end{center}
Kirchhoffs spenningslov og elementlovene for motstand og kondensator gir
\[
	RC v'(t) + v(t)=f(t)
	\qquad
	v(0)=v_0.
\]
La oss først sette $f=0$ og løse det enkleste problemet 
\[
	RC v'(t) + v(t)=0
	\qquad
	v(0)=v_0.
\]
Vi setter $x(t) = RCv(t)$ 
og får
\[
	x(t)=ce^{-t/RC}.
\]
Initialkravet $v(0)=v_0$ gir $x(0)=RCv_0$,
slik at 
\[
	x(t)=RCv_0e^{-t/RC}
	\qquad
	\text{eller}
	\qquad
	v(t)=v_0e^{-t/RC}.
\]
Når $t$ går mot uendelig,
går $v(t)$ mot null,
så med kilden skrudd av lades kondensatoren ut gjennom motstanden.


\section*{RADIOAKTIV NEDBRYTNING}

Radiokarbondatering modelleres av akkurat den samme likningen som lavpassfilteret med kilden skrudd av.\footnote{\url{https://en.wikipedia.org/wiki/Radiocarbon_dating}}
Dersom $t$ måles i år og 
$x(t)$ er C-14-konsentrasjonen,
tilfredsstiller $x$ likningen
\[
	x'(t) = - \frac{\ln 2}{5700} x(t)
\]
der $\lambda = \ln (2)/5700$ kalles \textbf{desintegrasjonskonstanten} eller \textbf{nedbrytningskonstanten}.
La oss finne ut omtrent når et dyr avgikk med døden
dersom liket inneholder en tiendedel av min C-14-konsentrasjon. 
(Jeg lever ennå.)
Vi vet at løsningen er
\[
	x(t) = x_0e^{-\lambda t} = x_0 2^{-t/5700}.
\]
Nå er det irrelevant hva $x_0$ er,
så lenge vi finner det tidspunktet der $x(t)$ er nede i en tiendedel av $x_0$,
som gir likningen
\[
	\frac{1}{10} = 2^{-t/5700}
\]
som gir
\[
	\text{DYRETS DØD} = t =  5700 \frac{\ln 10}{\ln 2}.
\]
Dyret døde altså for om lag 19000 år siden.
Dette er omtrentlig,
for C-14-konsentrasjonen var ikke den samme da som nå,
og forskere krangler ennå om hva det nøyaktige C-14-innholdet i atmosfæren har vært de siste 50000 årene.
C-14 dannes når nøytroner fra kosmisk stråling kræsjer med N-14-isotoper høyt oppe i troposfæren,
men et par atombombesprengninger (som produserer mye C-14) og massevis av $\ce{CO2}$ fra fossilt brennstoff (som produserer mye C-12) har gjort alt litt komplisert.

Tritium\footnote{\url{https://en.wikipedia.org/wiki/Isotopes_of_hydrogen}} har halveringstid på 12 år og 3 måneder.
Dersom $t$ måles i år,
skal mengden tritium halveres hver gang det har gått $12.25$ år,
så desintegrasjonskonstanten $\lambda$ til tritium må tilfredsstille
\[
	\frac{1}{2} = e^{-12.25\lambda }
\]
som gir $\lambda = \left( \ln 2 \right)/12.25 \approx 0.057$.

\section*{ATMOSFÆRETRYKK}


La oss finne ut hvordan trykket varierer med høyden i en høy og tynn sylinder
dersom den er fylt av en ideell gass.\footnote{\url{https://en.wikipedia.org/wiki/Ideal_gas_law}}
Jeg skal bruke den ideelle gasslov\footnote{Jeg skriver NTk istedet for NkT. Det er lettere å huske siden det rimer på \say{NTH}}
\[
	pV = NTk.
\]
Hvis vi antar at trykkforskjellen mellom $h$ og $h+dh$ kun skyldes vekten
av gassen mellom disse to høydene,
kan vi skrive (trykket er høyere ved $h$ enn ved $h+dh$)
\[
	p(h)-p(h+dh) = \frac{mgN}{V} dh
\]
der $N$ er antall gassmolekyler mellom $h$ og $h+dh$,
$m$ er massen til hvert molekyl,
og $g$ er tyngdeakselerasjonen.
Jeg har også brukt at arealet av tverrsnittet kan skrives $V/dh$,
der $V$ er volumet mellom $h$ og $h+dh$.
La oss nå bruke den ideelle gasslov,
og dele på $dh$:

\begin{minipage}{112mm}
\[
	\frac{p(h+dh)-p(h)}{dh} = -\frac{mgp}{Tk}
\]
Dersom vi lar $dh \to 0$ og antar at $T$ er konstant,
får vi differensiallikningen
\[
	p'\left( h \right) = -\frac{mg}{Tk}p(h).
\]
\end{minipage}
\begin{minipage}{35mm}
\begin{center}
\includegraphics[scale=.3]{../figurer/trykk}
\end{center}
\end{minipage}

Anta at dette er en modell for trykket i atmosfæren,
der $h$ er høyden over havet.
Likningen er den samme som for radioaktiv nedbrytning,
med $mg/Tk$ i rollen til $\lambda$ og $h$ i rollen til $t$,
så trykket som funksjon av høyden over havet er
\[
	p(h)=p_0e^{-mgh/Tk}
\]
der $p_0$ er trykket ved havoverflaten.
Denne modellen er ikke så god, 
ser her:\\
\url{https://www.feynmanlectures.caltech.edu/I_40.html}

\section*{E. COLI}

Prokaryoter og mange typer sopp (for eksempel ølgjær)
deler seg ved såkalt avsnøring;
dette betyr at de kloner seg selv fra tid til annen.\footnote{\url{https://snl.no/celledeling}}
\textit{E. Coli} deler seg for eksempel omtrent hvert tjuende minutt
ved vår kroppstemperatur 310 K.
La $x(t)$ være antall bakterier ved tiden $t$.
Dersom bakteriene alltid deler seg i to etter det samme tidsintervallet,
er endringen $x'(t)$ proporsjonal med antall bakterier $x(t)$:
\[
	x'(t)=\lambda x(t) \qquad x(0)=x_0
\]
I biologi kalles $\lambda$ \textbf{vekstraten}.
Dersom $t$ måles i 20-minutters inkrementer
blir $\lambda=\ln 2$,
slik at
\[
	x(t) = x_0 e^{\lambda t} = x_0 e^{\left( \ln 2 \right)t} = x_0 2^{t}.
\]
Dersom $t$ måles i sekunder,\footnote{SI-enheter har en viss forrang over andre enheter;
	en gang krasjet visst en ubemannet marssonde
	fordi en gjeng med amerikanere hadde skrevet noe software der det var brukt
	fot og pund i stedet for meter og kilogram.}
skal antall bakterier dobles hver gang det har gått $1200$ sekunder.
Vi kan egentlig gjøre det enkelt og si at det skal dobles fra $t=0$ til $t=1200$:
\[
	2 = e^{1200\lambda }
\]
som gir $\lambda = \left( \ln 2 \right)/1200$.
Her er skjermdumper av 
\url{https://www.youtube.com/watch?v=gEwzDydciWc}\\
\begin{center}
	\includegraphics[scale=.3]{../figurer/ecoli-1}
	\includegraphics[scale=.3]{../figurer/ecoli-2}
	\includegraphics[scale=.3]{../figurer/ecoli-3}
	\includegraphics[scale=.3]{../figurer/ecoli-4}

	\includegraphics[scale=.3]{../figurer/ecoli-5}
	\includegraphics[scale=.3]{../figurer/ecoli-6}
	\includegraphics[scale=.3]{../figurer/ecoli-7}
\end{center}

\begin{minipage}{70mm}




\section*{TIDSKONSTANTEN}

Ett og samme initialverdiproblem
\[
	x'(t) + \lambda x(t) = \beta \qquad x(0) = x_0
\]
med løsning
\[
	x(t) =  \left( x_0-\frac{\beta}{\lambda} \right)e^{-\lambda t} + \frac{\beta}{\lambda}
\]
er en modell for så mange forskjellige ting at det er galskap å
bli ingeniør uten å lære seg det.
Til høyre er et generisk plot.
\end{minipage}
\begin{minipage}{78mm}
\begin{center}
\includegraphics[scale=.29]{../figurer/lti-1}
\end{center}
\end{minipage}

Vi kaller $1/\lambda$ \textbf{tidskonstanten} til 
differensiallikningen.\footnote{\url{https://en.wikipedia.org/wiki/Time_constant}}
Siden $1/e \approx 0.36787944117$,
ser vi at ved $t=1/\lambda$,
har $x$ nådd om lag 63 prosent av veien fra $x_0$ til $\beta/\lambda$.
Dette initialverdiproblemet er forresten et eksempel på et \textbf{lineært tidsinvariant system}\footnote{\url{https://en.wikipedia.org/wiki/Linear_time-invariant_system}}
og hvis du sier til en gammel ingeniør at du har et LTI-system med tidskonstant sånn og sånn,
vil figuren over umiddelbart dukke opp på vedkommendes hjernebark.
Kontoret til Kjell Magne har tidskonstant $1/\alpha \approx 6.3$ timer,
og lavpassfilteret har tidskonstant $RC$.
For radioaktiv nedbrytning er tidskonstanten $1/\lambda$,
altså halveringstiden delt på $\ln 2$:
omtrent 8200 år for C-14 og 17.7 år for tritium.
I trykkmodellen er det høyden som spiller rollen til tiden,
så der er tidskonstanten en høyde,
nemlig $Tk/mg$,
som er omtrent 8 kilometer for luft.

\section*{LAVPASSFILTER MED SPENNINGSKILDE}

Lavpassfilteret med spenningskilde er
\[
	x'(t) + \frac{1}{RC} x(t)=f(t)
\]
og integrerende faktor gir 
\[
	e^{t/RC}x(t)-x(0)=\int_0^t f(s)e^{s/RC}\; ds.
\]
Bruker vi $x(0)=RCv_0$ og løser for $x(t)$,
får vi
\begin{align*}
	x(t)&=RCv_0e^{-t/RC}+e^{-t/RC}\int_0^t f(s)e^{s/RC}\; ds \\[3mm]
	&=RCv_0e^{-t/RC}+\int_0^t f(s)e^{-(t-s)/RC}\; ds.
\end{align*}
Integralet kalles en \textbf{folding} eller \textbf{konvolusjon} og
deler vi på $RC$,
får vi spenningen over kondensatoren:
\[
	v(t)=v_0e^{-t/RC}+\frac{1}{RC}\int_0^t f(s)e^{-(t-s)/RC}\; ds.
\]
Et relevant regneeksempel for linjer som må gjennom kretsteori,
er
$f(t)=\cos(t)$,
og der $v_0=0$.
Da gir formelen over
\[
	v(t)=\frac{1}{RC}\int_0^t \cos(s)e^{-(t-s)/RC}\; ds=\frac{1}{RC}e^{-t/RC}\int_0^t \cos(s)e^{s/RC}\; ds.
\]
Integralet regner vi ut med delvis integrasjon to ganger,
der vi begge ganger deriverer $e^{s/RC}$:
\begin{align*}
	\int_0^t \cos(s)e^{s/RC}\; ds&=\sin(t)e^{t/RC}-\frac{1}{RC}\int_0^t \sin(s)e^{s/RC}\; ds \\[3mm]
	&=\sin(t)e^{t/RC}+\frac{1}{RC}\cos(t)e^{t/RC}-\frac{1}{RC}-\frac{1}{(RC)^2}\int_0^t \cos(s)e^{s/RC}\; ds.
\end{align*}
Nå er vi tilbake til integralet vi startet med,
så vi kan løse likningen for det:
\[
	\int_0^t \cos(s)e^{s/RC}\; ds=\frac{RC\left( \cos(t)+RC\sin(t) \right)e^{t/RC}-RC}{1+(RC)^2}.
\]
Ganger vi med $e^{-t/RC}$ og deler på $RC$,
får vi
\[
	v(t)=\frac{\cos(t)+RC\sin(t)-e^{-t/RC}}{1+(RC)^2}.
\]
Leddet med $e^{-t/RC}$ dør ut,
og igjen står en svingning med samme frekvens som kilden.
Dette integralet blir enklere å regne med Eulers formel, 
så det er lurt å vende tilbake det.


\section*{LAVPASSFILTER MED POTMETER}



Det er vanlig å utvide denne teknikken også til å inkludere 
initialverdiproblemer på formen 
\[
	x'(t) + a(t) x(t)=f(t)
	\qquad 
	x(0)=x_0
\]
som oppstår dersom du for eksempel bytter ut motstanden med et potmeter som du skrur på mens strømmen går, 
eller kondensatorplater som endrer avstand over tid eller noe annet slikt. 
Løsningsteknikken er den samme, 
men den integrerende faktoren er mer komplisert:
\[
	\exp \left( \int_0^t a(s)\; ds \right)
\]
Prosedyren gir 
\begin{align*}
	x(t)&=x_0\exp \left( -\int_0^t a(s)\; ds \right)+\exp \left( -\int_0^t a(s)\; ds \right)\int_0^t f(u)\exp \left( \int_0^u a(s)\; ds \right)\; du \\[3mm]
	&=x_0\exp \left( -\int_0^t a(s)\; ds \right)+\int_0^t f(u)\exp \left( -\int_u^t a(s)\; ds \right)\; du.
\end{align*}
men det er antagelig enklere for studentene om vi 
presenterer teknikken gjennom eksempler.
Jeg kommer bare på ett eksempel jeg har hatt bruk for i grunnutdanninga -  
den som dukker opp når man regner ut fourieromvendingen til standardnormalfordelingen: 
\[
	x'(t) + tx(t)= 0
\]
Her er $f=0$ og $a(t)=t$.
Da er
\[
	\int_0^t a(s)\; ds=\int_0^t s\; ds=\frac{t^2}{2},
\]
så den integrerende faktoren er $e^{t^2/2}$,
og formelen over gir
\[
	x(t)=x_0e^{-t^2/2}
\]
der $x_0=x(0)$.

\section*{PENDELEN}

En pendel som henger fra taket og dingler uten friksjon eller luftmotstand,
tilfredsstiller ifølge Newtons andre lov
\[
	\theta''(t)+\frac{g}{l}\sin \theta(t)=0,
\]
der $\theta$ er vinkelutslaget med loddlinjen,
$l$ er pendelens lengde og $g$ er tyngdeakselerasjonen.
Her er $ml^2 \theta'(t)$
der $m$ er massen til pendelen
en fornuftig integrerende faktor, 
siden vi kan integrere og få 
\[
	\frac{1}{2}m\left( l\theta'(t) \right)^2-mgl\cos \theta(t)=c
\]
der $c$ er en konstant.
Venstresiden er summen av kinetisk og potensiell energi
så her har vi likningen for konservert energi.
(Jeg lurte fælt på dette på dette når jeg gikk på gymnaset.)

\section*{SKIPET}
\definecolor{gzblue}{HTML}{0072B2}
\definecolor{gzverm}{HTML}{D55E00}
\definecolor{gzsky}{HTML}{56B4E9}
\definecolor{gzgrey}{HTML}{7F7F7F}

\begin{minipage}{95mm}
Vi fester en loddrett og masseløs stang med lengde $l$ til gulvet med en torsjonsfjær med stivhet $k$,
og setter en punktmasse $m$ på toppen.
Fjæren leverer et moment $k\theta$ som er proporsjonalt med utslagsvinkelen $\theta$ fra loddlinjen
og drar stangen tilbake,
mens tyngdekraften gir momentet $mgl\sin \theta$,
som drar den lenger ut.
\end{minipage}
\begin{minipage}{50mm}
\begin{center}
\begin{tikzpicture}[font=\footnotesize]
	\draw[thick] (-1.4,0) -- (1.6,0);
	\foreach \x in {-1.2,-1.0,...,1.6} \draw (\x,0) -- (\x-0.2,-0.2);
	\draw[densely dotted] (0,0) -- (0,2.7);
	\draw[thick] plot[domain=0:1080, samples=120, variable=\t, smooth] ({(0.05+0.00025*\t)*cos(\t)}, {(0.05+0.00025*\t)*sin(\t)});
	\node at (-0.55,0.45) {$k$};
	\draw[thick] (0,0) -- (0.821,2.255) node[midway, right=2pt] {$l$};
	\fill (0.821,2.255) circle (3pt) node[above right=1pt] {$m$};
	\draw (0,1.5) arc (90:70:1.5) node[midway, above] {$\theta$};
\end{tikzpicture}
\end{center}
\end{minipage}

Newtons andre lov gir
\[
	ml^2\theta''(t)=mgl\sin \theta(t)-k\theta(t).
\]
Ganger vi med $\theta'(t)$ og integrerer,
får vi
\[
	\frac{1}{2}m\left( l\theta'(t) \right)^2+\frac{1}{2}k\theta(t)^2+mgl\cos \theta(t)=c.
\]
Her er $mgl\cos \theta$ den potensielle energien til massen,
siden den sitter $l\cos \theta$ over gulvet,
og $\frac{1}{2}k\theta^2$ er energien som er lagret i fjæren.
For små utslag er $\sin \theta \approx \theta$,
og da står det
\[
	ml^2\theta''(t)+\left( k-mgl \right)\theta(t)=0.
\]
Stangen svinger rundt loddlinjen hvis $k>mgl$,
og velter hvis $k<mgl$.

\begin{minipage}{86mm}
Et skip er en slik stang.
Tyngdepunktet $G$ ligger $KG$ over kjølen $K$,
så krenger skipet vinkelen $\varphi$,
gir tyngdekraften momentet $\Delta\, KG\sin \varphi$ om kjølen,
der $\Delta=mg$ er vekten av skipet.
Fjæren er oppdriften:
Den angriper i tyngdepunktet $B'$ til den neddykkede delen av skroget,
som flytter seg ut mot den siden som går ned,
og gir et moment tilbake.
Netto blir det rettende momentet $\Delta\, GZ(\varphi)$,
der den \textbf{rettende armen} $GZ$ er den vannrette avstanden fra $G$
til virkelinjen til oppdriften.\footnote{\url{https://en.wikipedia.org/wiki/Metacentric_height}}
\end{minipage}
\begin{minipage}{60mm}
\begin{center}
\begin{tikzpicture}[x=4mm, y=4mm, font=\footnotesize]
	\fill[gzsky, opacity=0.3] (-4.33,2.50) -- (4.33,-2.50) -- (7.42,2.86) -- (-4.12,2.86) -- cycle;
	\draw[gzsky] (-5.5,2.86) -- (9,2.86) node[above left, text=gzsky!70!black] {WL};
	\draw[line width=0.7pt] (-4.33,2.50) -- (4.33,-2.50) -- (7.83,3.56) -- (-0.83,8.56) -- cycle;
	\draw[gzgrey, densely dotted] (0,0) -- (4.25,7.36);
	\draw[gzgrey] (0,0) -- (0,3.2);
	\draw[gzgrey] (0,2.6) arc (90:60:2.6) node[midway, above, text=black] {$\varphi$};
	\draw[gzgrey, densely dashed] (2.30,1.06) -- (2.30,3.98);
	\draw[gzblue, -latex, line width=0.7pt] (2.30,1.06) -- (2.30,2.16);
	\draw[-latex, line width=0.7pt] (1.15,1.99) -- (1.15,0.89);
	\draw[gzverm, line width=1.1pt] (1.15,1.99) -- (2.30,1.99) node[midway, below, text=gzverm, inner sep=1.5pt, font=\scriptsize] {$GZ$};
	\fill (1.15,1.99) circle (1.3pt) node[anchor=east, inner sep=2pt] {$G$};
	\fill[gzblue] (2.30,1.06) circle (1.3pt) node[anchor=north west, inner sep=1.5pt, text=black] {$B'$};
	\fill (2.30,1.99) circle (1.3pt) node[anchor=west, inner sep=2pt] {$Z$};
	\fill (2.30,3.98) circle (1.3pt) node[anchor=west, inner sep=2pt] {$M$};
	\fill (0,0) circle (1.1pt) node[anchor=north east, inner sep=1.5pt] {$K$};
\end{tikzpicture}
\end{center}
\end{minipage}

Newtons andre lov for rotasjon om rulleaksen gir
\[
	I\varphi''(t)+\Delta\, GZ(\varphi(t))=0
\]
der $I$ er treghetsmomentet om rulleaksen.
For små vinkler er $GZ\approx GM\sin \varphi$,
der \textbf{metasenterhøyden} $GM$ er avstanden fra $G$ opp til punktet $M$
der virkelinjen til oppdriften krysser senterlinjen i skipet,
og da står det
\[
	I\varphi''(t)+\Delta\, GM\sin \varphi(t)=0.
\]
Dette er pendellikningen med $I$ i rollen til $ml^2$ og $\Delta\, GM$ i rollen til $mgl$,
så skipet ruller som en pendel med lengde $I/(m\, GM)$,
og ligger $G$ over $M$,
velter det akkurat som stangen gjør når $k<mgl$.

For store vinkler må $GZ$ regnes ut fra formen på skroget.
Figuren viser $GZ$ som funksjon av krengevinkelen for en lekter formet som en boks,
$20$ meter bred, $12$ meter høy og med $7$ meter dypgang,
lastet slik at $GM=1$ meter.
\begin{center}
\begin{tikzpicture}[x=1.4mm, y=38mm, font=\footnotesize]
	\draw[gzgrey!30, line width=0.3pt] (0,-0.55) grid[xstep=10, ystep=0.5] (90,1.4);
	\draw[gzgrey, thin, -latex] (0,-0.55) -- (92,-0.55);
	\draw[gzgrey, thin, -latex] (0,-0.55) -- (0,1.45);
	\foreach \x in {0,10,...,90} \draw[gzgrey, thin] (\x,-0.55) -- +(0pt,-2.5pt) node[below, text=black] {$\x$};
	\foreach \y in {-0.5,0,0.5,1} \draw[gzgrey, thin] (0,\y) -- +(-2.5pt,0pt) node[left, text=black] {$\y$};
	\node at (45,-0.72) {krengevinkel $\varphi$ [$^\circ$]};
	\node[rotate=90] at (-8,0.425) {rettende arm $GZ$ [m]};
	\fill[gzsky, opacity=0.22] (0,0) -- plot coordinates {
		(0,0.00000) (0.5,0.00873) (1,0.01747) (1.5,0.02622) (2,0.03500) (2.5,0.04382) (3,0.05268) (3.5,0.06159) (4,0.07057) (4.5,0.07962)
		(5,0.08874) (5.5,0.09796) (6,0.10728) (6.5,0.11670) (7,0.12624) (7.5,0.13591) (8,0.14572) (8.5,0.15567) (9,0.16578) (9.5,0.17605)
		(10,0.18650) (10.5,0.19714) (11,0.20797) (11.5,0.21902) (12,0.23028) (12.5,0.24177) (13,0.25350) (13.5,0.26548) (14,0.27773) (14.5,0.29025)
		(15,0.30306) (15.5,0.31617) (16,0.32960) (16.5,0.34335) (17,0.35744) (17.5,0.37188) (18,0.38669) (18.5,0.40188) (19,0.41747) (19.5,0.43347)
		(20,0.44990) (20.5,0.46677) (21,0.48410) (21.5,0.50190) (22,0.52020) (22.5,0.53901) (23,0.55835) (23.5,0.57824) (24,0.59871) (24.5,0.61976)
		(25,0.64142) (25.5,0.66371) (26,0.68666) (26.5,0.71029) (27,0.73390) (27.5,0.75639) (28,0.77779) (28.5,0.79817) (29,0.81756) (29.5,0.83602)
		(30,0.85359)
	} -- (30,0) -- cycle;
	\fill[gzsky, opacity=0.45] (30,0) -- plot coordinates {
		(30,0.85359) (30.5,0.87031) (31,0.88623) (31.5,0.90139) (32,0.91582) (32.5,0.92956) (33,0.94264) (33.5,0.95509) (34,0.96694) (34.5,0.97823)
		(35,0.98899) (35.5,0.99923) (36,1.00884) (36.5,1.01694) (37,1.02345) (37.5,1.02846) (38,1.03202) (38.5,1.03423) (39,1.03512) (39.5,1.03478)
		(40,1.03324)
	} -- (40,0) -- cycle;
	\draw[gzgrey, thin] (0,0) -- (90,0);
	\draw[gzgrey, densely dashed, line width=0.7pt] plot[domain=0:36.8, samples=120] (\x, {(1+0.5*4.762*tan(\x)^2)*sin(\x)});
	\draw[gzverm, line width=0.8pt] (0,0) -- (60,{60*pi/180}) node[pos=0.55, sloped, below, text=gzverm, inner sep=2pt] {tangent i origo, stigning $GM$};
	\draw[gzblue, line width=1.2pt] plot coordinates {
		(0,0.00000) (0.5,0.00873) (1,0.01747) (1.5,0.02622) (2,0.03500) (2.5,0.04382) (3,0.05268) (3.5,0.06159) (4,0.07057) (4.5,0.07962)
		(5,0.08874) (5.5,0.09796) (6,0.10728) (6.5,0.11670) (7,0.12624) (7.5,0.13591) (8,0.14572) (8.5,0.15567) (9,0.16578) (9.5,0.17605)
		(10,0.18650) (10.5,0.19714) (11,0.20797) (11.5,0.21902) (12,0.23028) (12.5,0.24177) (13,0.25350) (13.5,0.26548) (14,0.27773) (14.5,0.29025)
		(15,0.30306) (15.5,0.31617) (16,0.32960) (16.5,0.34335) (17,0.35744) (17.5,0.37188) (18,0.38669) (18.5,0.40188) (19,0.41747) (19.5,0.43347)
		(20,0.44990) (20.5,0.46677) (21,0.48410) (21.5,0.50190) (22,0.52020) (22.5,0.53901) (23,0.55835) (23.5,0.57824) (24,0.59871) (24.5,0.61976)
		(25,0.64142) (25.5,0.66371) (26,0.68666) (26.5,0.71029) (27,0.73390) (27.5,0.75639) (28,0.77779) (28.5,0.79817) (29,0.81756) (29.5,0.83602)
		(30,0.85359) (30.5,0.87031) (31,0.88623) (31.5,0.90139) (32,0.91582) (32.5,0.92956) (33,0.94264) (33.5,0.95509) (34,0.96694) (34.5,0.97823)
		(35,0.98899) (35.5,0.99923) (36,1.00884) (36.5,1.01694) (37,1.02345) (37.5,1.02846) (38,1.03202) (38.5,1.03423) (39,1.03512) (39.5,1.03478)
		(40,1.03324) (40.5,1.03058) (41,1.02683) (41.5,1.02204) (42,1.01627) (42.5,1.00954) (43,1.00191) (43.5,0.99340) (44,0.98406) (44.5,0.97392)
		(45,0.96301) (45.5,0.95136) (46,0.93901) (46.5,0.92597) (47,0.91228) (47.5,0.89795) (48,0.88303) (48.5,0.86752) (49,0.85144) (49.5,0.83483)
		(50,0.81770) (50.5,0.80007) (51,0.78195) (51.5,0.76337) (52,0.74434) (52.5,0.72488) (53,0.70500) (53.5,0.68472) (54,0.66406) (54.5,0.64302)
		(55,0.62162) (55.5,0.59987) (56,0.57779) (56.5,0.55539) (57,0.53268) (57.5,0.50967) (58,0.48637) (58.5,0.46279) (59,0.43895) (59.5,0.41484)
		(60,0.39049) (60.5,0.36590) (61,0.34108) (61.5,0.31604) (62,0.29079) (62.5,0.26534) (63,0.23968) (63.5,0.21385) (64,0.18783) (64.5,0.16164)
		(65,0.13528) (65.5,0.10877) (66,0.08211) (66.5,0.05530) (67,0.02836) (67.5,0.00128) (68,-0.02591) (68.5,-0.05323) (69,-0.08065) (69.5,-0.10818)
		(70,-0.13581) (70.5,-0.16353) (71,-0.19134) (71.5,-0.21923) (72,-0.24720) (72.5,-0.27523) (73,-0.30333) (73.5,-0.33149) (74,-0.35970) (74.5,-0.38796)
		(75,-0.41626) (75.5,-0.44461) (76,-0.47298) (76.5,-0.50138)
	};
	\draw[gzverm, |-|, line width=0.6pt] (57.3,0) -- (57.3,1);
	\foreach \x/\y in {26.57/0.7134, 39/1.035, 67.5/0} \draw[gzblue, line width=0.9pt, fill=white] (\x,\y) circle (1.9pt);
	\node[anchor=north west] at (2,0.44) {$GZ\approx GM\sin \varphi$};
	\node[anchor=east, align=right] at (34,1.30) {loddrette sider:\\$(GM+\tfrac{1}{2}BM\tan^2 \varphi)\sin \varphi$};
	\node[anchor=east, align=right] at (25.3,0.80) {dekkskanten\\under vann ($26.6^\circ$)};
	\node[anchor=south west] at (40,1.07) {$GZ_{\max}=1.04$ m ved $39^\circ$};
	\node[anchor=east, text=gzverm] at (56.3,0.30) {$GM=1.0$ m};
	\node[font=\scriptsize, anchor=south east, text=gzverm] at (56.8,0.02) {$57.3^\circ=1$ rad};
	\node[anchor=north east] at (66.8,-0.05) {stabiliteten opphører ved $67.5^\circ$};
	\node[anchor=east, align=right] at (90,-0.2) {momentet kantrer\\lekteren};
	\node[font=\scriptsize] at (19,0.10) {$0.18$ m$\cdot$rad};
	\node[font=\scriptsize, align=center] at (35,0.22) {$0.17$\\m$\cdot$rad};
	\draw[|<->|, thin] (0,-0.34) -- (67.5,-0.34) node[midway, above] {stabilitetsområdet};
\end{tikzpicture}
\end{center}
Frem til dekkskanten går under vann ved $26.6^\circ$,
følger kurven den stiplede formelen for et skip med loddrette sider,
og den ligger over tangenten $GM\varphi$.
Så flater den ut,
når toppen $1.04$ meter ved $39^\circ$
og krysser null ved $67.5^\circ$.
Krenger lekteren mer enn det,
kantrer den.
Ganger vi rullelikningen med $\varphi'(t)$ og integrerer,
får vi
\[
	\frac{1}{2}I\varphi'(t)^2+\Delta \int_0^{\varphi(t)} GZ(\psi)\; d\psi=c.
\]
Den potensielle energien er altså vekten av skipet ganger arealet under $GZ$-kurven.
Arealet frem til $67.5^\circ$ er $0.65$ m$\cdot$rad,
så en bølge må tilføre energien $0.65\,\Delta$ for å kantre lekteren.
Derfor stiller IMO krav til arealet under kurven:\footnote{\url{https://en.wikipedia.org/wiki/International_Code_on_Intact_Stability}}
minst $0.055$ m$\cdot$rad frem til $30^\circ$
og minst $0.030$ m$\cdot$rad mellom $30^\circ$ og $40^\circ$.
Lekteren har $0.18$ og $0.17$.

\section*{TORRICELLIS LOV}

I modelleringsforelesningen i fjor lagde jeg et enkelt eksperiment:
Jeg stakk hull i bunnen på en tom ølboks,
skar ut en loddrett stripe i siden
og teipet over,
slik at man kunne se vannstanden $h(t)$ mens boksen tømtes.
Så prøvde jeg to modeller.
I den første antar vi bare at endringsraten til vannstanden er proporsjonal med vannstanden:
\[
	h'(t)=-\lambda h(t) \qquad h(0)=h_0.
\]
Dette er samme likning som for radioaktiv nedbrytning,
så løsningen er
\[
	h(t)=h_0e^{-\lambda t}.
\]
I den andre antar vi at den kinetiske energien til hvert vannmolekyl som går ut gjennom hullet,
er hentet fra den potensielle energien til et tilsvarende vannmolekyl i det øverste laget i boksen.
Har molekylet masse $m$ og fart $v$ ut av hullet,
betyr det at
\[
	\frac{1}{2}mv^2=mgh
\]
der $g$ er tyngdeakselerasjonen.
Dette gir \textbf{Torricellis lov}:\footnote{\url{https://en.wikipedia.org/wiki/Torricelli's_law}}
\[
	v=\sqrt{2gh}.
\]
Vannet kommer altså ut av hullet like fort som om det hadde falt fritt fra overflaten.
Vannvolumet i boksen er $Bh(t)$,
der $B$ er arealet av tverrsnittet til boksen,
og det minker med $Av$ per tidsenhet,
der $A$ er arealet av hullet:
\[
	Bh'(t)=-A\sqrt{2gh(t)} \qquad h(0)=h_0.
\]
Prinsippet om å gange likningen med et eller annet og integrere virker fremdeles, 
det bare heter separabel likning istedet.
Vi deler på $2B\sqrt{h(t)}$:
\[
	\frac{h'(t)}{2\sqrt{h(t)}}=-\frac{A}{B}\sqrt{\frac{g}{2}}.
\]
Venstresiden er nå nøyaktig det vi får
når vi deriverer $\sqrt{h(t)}$ med kjerneregelen,
så likningen kan skrives
\[
	\frac{d}{dt}\sqrt{h(t)}=-\frac{A}{B}\sqrt{\frac{g}{2}}.
\]
Nå integrerer vi begge sider fra $0$ til $t$ og får
\[
	\sqrt{h(t)}-\sqrt{h_0}=-\frac{A}{B}\sqrt{\frac{g}{2}}\; t.
\]
Boksen er tom når $\sqrt{h(t)}=0$,
altså etter tømmetiden
\[
	T=\frac{B}{A}\sqrt{\frac{2h_0}{g}},
\]
og frem til da er
\[
	h(t)=h_0\left( 1-\frac{t}{T} \right)^2.
\]
Den første modellen sier at boksen aldri blir helt tom,
mens Torricellis lov sier at vannstanden følger en parabel
med bunnpunkt akkurat idet boksen er tom.
Jeg fikk en student i hver parallell til å filme vannstanden etter som boksen tømtes,
og så notere ned tidspunkter mot vannstand og så sjekket vi begge modeller. 
Det var faktisk den første modellen som spådde vannstanden best - 
Torricelli gjør noen antagelser som sjelden stemmer.


\section*{LOGISTISK VEKST}

Ecolimodellen
\[
	x'(t) = ax(t) \qquad x(0) = x_0 \qquad a > 0
\]
spår eksponensiell vekst for all fremtid.
Men som David Attenborough i 2013 uttalte under et foredrag i The Royal Geographical Society:\\
\say{Anyone who thinks that you can have infinite growth in a finite environment is either a madman or an economist.}\footnote{Sitatets opprinnelse er noe usikker. Det var nok ikke han som fant det på.}\\
Dyr som formerer seg kan sjelden fortsette med det uten å før
eller siden oppleve noen som helst form for begrensning i veksten.\footnote{\url{https://en.wikipedia.org/wiki/Gombe_Chimpanzee_War}}
Den enkleste utvidelsen for å inkorporere dette i modellen,
er å erstatte $a$ med en positiv funksjon  som har et nullpunkt i den
bestanden $x$ som maksimalt kan opprettholdes på området.
Hvis vi gjør det enkelt og sier at denne funksjonen skal være en rett linje,
får vi det \textbf{logistiske problemet}\footnote{\url{https://en.wikipedia.org/wiki/Logistic_function}}
\[
	x'(t)=a\left( 1-x(t)/k \right)x(t) \qquad x(0) = x_0 \qquad a >0,\; k > 0
\]
der $k$ er en konstant som kalles \textbf{bærekapasiteten}.
Vi delbrøksoppspalter
\[
	\frac{x'(t)}{x(t)}+\frac{x'(t)}{k-x(t)}=a.
\]
Så lenge $0<x(t)<k$,
er venstresiden nøyaktig det vi får
når vi deriverer $\ln x(t)-\ln \left( k-x(t) \right)$ med kjerneregelen,
så likningen kan skrives
\[
	\frac{d}{dt}\ln \frac{x(t)}{k-x(t)}=a.
\]
Nå integrerer vi begge sider fra $0$ til $t$ og får
\[
	\ln \frac{x(t)}{k-x(t)}-\ln \frac{x_0}{k-x_0}=at
	\qquad
	\text{eller}
	\qquad
	\frac{x(t)}{k-x(t)}=\frac{x_0}{k-x_0}e^{at}.
\]
Løser vi for $x(t)$,
får vi 
\[
	x(t)=\frac{kx_0e^{at}}{k-x_0+x_0e^{at}}.
\]

\section*{REAKSJONSHASTIGHET}

Kjemiske reaksjoner kan gå fort og langsomt,
og det finnes differensiallikninger som modellerer reaksjonshastighet. 
Reaksjonshastighet er viktig,
for noen reaksjoner bør helst gå fort (for eksempel forbrenning)
mens andre bør gå sakte (for eksempel korrosjon).
Atmosfæren består av 78 prosent nitrogen og 21 prosent oksygen. 
Ved vanlig trykk og temperatur reagerer ikke disse, 
men ved for eksempel lynnedslag eller forbrenning 
i dieselmotorer eller skogbrann blir det mer fart i dem,
og så kombinerer de til nitrogenoksider ($\ce{NO_x}$).
Det er disse som gir Los Angeles sin berømte smog.\footnote{\url{https://www.latimes.com/local/la-me-air-pollution-0428-pictures-photogallery.html}}
I atmosfæren er det mange forskjellige reaksjoner mellom nitrogenoksider og oksygen.
En av dem er at nitrogendioksid splitter i nitrogenmonoksid og oksygen:
\[
	2\ce{NO2(g)} \to 2\ce{NO(g)}+\ce{O2(g)}.
\]
I noen tilfeller av denne går visst reaksjonsratene som kvadratet av konsentrasjonene
\[
	\frac{d[A]}{dt}=-k[A]^2
\]
der \textbf{reaksjonshastigheten} $k$ er en empirisk konstant som 
avhenger av trykk og temperatur og de støkiometriske koeffisientene og så videre.
Det ryktes på internett at
$k=0.54$ liter per mol per sek for reaksjonen over ved 300 grader celsius.
Likningen
\[
	\frac{d[\ce{NO2}]}{dt}=-k[\ce{NO2}]^2
\]
og løsningen er 
\[
	\frac{1}{[\ce{NO2}]}-\frac{1}{[\ce{NO2}]_0}=kt
	\qquad
	\text{eller}
	\qquad
	[\ce{NO2}]=\frac{[\ce{NO2}]_0}{1+k[\ce{NO2}]_0t}
\]
der $[\ce{NO2}]_0$ er konsentrasjonen ved $t=0$.
Starter vi for eksempel med $0.01$ mol per liter,
er konsentrasjonen halvert etter $1/(0.54\cdot 0.01)\approx 185$ sekunder.


\section*{AMMONITTEN}

Bildet til høyre viser en ammonitt.
La $b(\theta)$ være bredden på kamrene som funksjon av vinkelen $\theta$.
Dersom skallet beholder formen mens det vokser,
er endringsraten til bredden proporsjonal med bredden:
\[
	b'(\theta)=\lambda b(\theta).
\]
så
\[
	b(\theta)=b_0e^{\lambda \theta}.
\]
På bildet blir kamrene omtrent dobbelt så brede for hver omdreining,
så $\lambda \approx \ln (2)/2\pi \approx 0.11$.

\includegraphics*[scale=.9]{../figurer/ammonitt.png}

\section*{ELGTUNGEN}

La oss si at du tar en nytrekt elgtunge med temperatur på
88 grader og nedsenker den i en bøtte med vann fra springen på 4 grader
(dette er nødvendig om det skal gå lett å dra av skinnet)
og setter bøtta ut på verandaen,
der det er 0 grader.
Da gir Newtons avkjølingslov differensiallikningene
\begin{align*}
	x_1'=&\; \alpha_1 \left( x_2 - x_1 \right)\\
	x_2'=&\; \alpha_1 \left( x_1 - x_2 \right) + \alpha_2 \left( 0 - x_2 \right)
\end{align*}
der $x_1$ er temperaturen i elgtungen,
$x_2$ er temperaturen i vannet,
$\alpha_1$ er varmeoverføringskoeffisienten mellom vannet og tungen
og $\alpha_2$ er varmeoverføringskoeffisienten mellom vannet og luften på verandaen.
Hvis vi setter
\[
	A=
	\left(\; \begin{matrix}
		-\alpha_1 & \alpha_1 \\
		\alpha_1 & -\alpha_1-\alpha_2
	\end{matrix} \; \right)
\]
får vi
\[
	A\V x =
	\left(\; \begin{matrix}
		-\alpha_1 & \alpha_1 \\
		\alpha_1 & -\alpha_1-\alpha_2
	\end{matrix} \; \right)
	\left(\; \begin{matrix}
		x_1 \\
		x_2
	\end{matrix} \; \right)
	=
	\left(\; \begin{matrix}
		\alpha_1 \left( x_2 - x_1 \right) \hfill \\
		\alpha_1 \left( x_1 - x_2 \right) + \alpha_2 \left( 0 - x_2 \right)
	\end{matrix} \; \right)
\]
og setter vi $\alpha_1 = \alpha_2 = 1$,
slik at vi får et håndterlig system:
\begin{align*}
	x_1'=&\; -x_1 + x_2\\
	x_2'=&\; \hspace*{4.5mm} x_1 -  2x_2
\end{align*}
Sorterer vi den ukjente i en søylevektor
\[
	\V x(t) =
	\left(\; \begin{matrix}
		x_1(t)\\
		x_2(t)
	\end{matrix} \; \right)
\]
blir likningssystemet
\[
	\V x' =  A\V x
	\qquad
	\text{der}
	\qquad
	A=
	\left(\; \begin{matrix}
		-1 & 1\\
		 1 & -2
	\end{matrix} \; \right).
\]
La oss
prøve gjetningene
$x_1(t) = c_1e^{\lambda t}$ og
$x_2(t) = c_2e^{\lambda t}$,
altså
\[
	\V x(t)
	=
	e^{\lambda t} \V c
	=
	e^{\lambda t}
	\left(\; \begin{matrix}
		c_1\\
		c_2
	\end{matrix} \; \right)
\]
og se hva som skjer.
Setter vi
$\V x$ inn i systemet,
får vi
\[
	\V x'(t)
	=
	\lambda
	e^{\lambda t}
	\left(\; \begin{matrix}
		c_1\\
		c_2
	\end{matrix} \; \right)
\]
på den ene siden og
\[
	A\V x(t)
	=
	e^{\lambda t}
	\left(\; \begin{matrix}
		-1 & 1\\
		 1 & -2
	\end{matrix} \; \right)
	\left(\; \begin{matrix}
		c_1\\
		c_2
	\end{matrix} \; \right)
\]
på den andre.
Setter vi disse lik hverandre og deler ut $e^{\lambda t}$ som vi pleier,
får vi
\[
	\lambda
	\left(\; \begin{matrix}
		c_1\\
		c_2
	\end{matrix} \; \right)
	=
	\left(\; \begin{matrix}
		-1 & 1\\
		 1 & -2
	\end{matrix} \; \right)
	\left(\; \begin{matrix}
		c_1\\
		c_2
	\end{matrix} \; \right)
\]
eller
\[
	\lambda \V c
	=
	A\V c.
\]
Med andre ord må $\V c$ være en av $A$ sine egenvektorer og $\lambda$
den korresponderende egenverdien om $\V x$ som foreslått skal være en løsning.
En to ganger to matrise har karakteristisk polynom av orden 2,
så det kan være maksimalt to egenverdier,
og i $\mathbb{R}^2$ er det ikke \say{plass til} mer enn to lineært
uavhengige egenvektorer,
så mennesker som ikke er på galehuset vil forvente to lineært uavhengige løsninger.
Vi beregner
\begin{align*}
	\det\left(A-\lambda I\right) &=
	\det
	\left(\; \begin{matrix}
		-1-\lambda & 1\\
		1 & -2-\lambda
	\end{matrix} \; \right)
	\\
	&=(-1-\lambda)(-2-\lambda)-1\\
	&=(1+\lambda)(2+\lambda)-1\\
	&=1+3\lambda +\lambda^2
\end{align*}
som har røtter
\[
	\lambda =
	\frac{-3 \pm \sqrt{9 - 4}}{2} = -\frac{3}{2} \pm \frac{\sqrt{5}}{2}.
\]
slik at 
\[
	\V x(t)
	=
	a_1
	e^{(-3+\sqrt{5})t/2}
	\left(\; \begin{matrix}
		-2 \\
		1-\sqrt{5}
	\end{matrix} \; \right)
	+
	a_2e^{(-3-\sqrt{5})t/2}
	\left(\; \begin{matrix}
		-2 \\
		1+\sqrt{5}
	\end{matrix} \; \right).
\]
Nå går det an å vise at dette er alle løsninger du
noensinne kommer til å finne,
men det er nok litt i tidligste laget for dette kurset.
Hvis vi nå for eksempel ønsker oss finne ut når temperaturen i vannet er 13 grader
får vi en fin uløselig likning. 
Initialkravet er $x_1(0)=88$ og $x_2(0)=4$,
så konstantene må tilfredsstille
\[
	a_1
	\left(\; \begin{matrix}
		-2 \\
		1-\sqrt{5}
	\end{matrix} \; \right)
	+
	a_2
	\left(\; \begin{matrix}
		-2 \\
		1+\sqrt{5}
	\end{matrix} \; \right)
	=
	\left(\; \begin{matrix}
		88 \\
		4
	\end{matrix} \; \right)
\]
som gir $a_1 \approx -32.73$ og $a_2 \approx -11.27$.
Vanntemperaturen er
\[
	x_2(t) = a_1 \left( 1-\sqrt{5} \right) e^{(-3+\sqrt{5})t/2}
	+ a_2 \left( 1+\sqrt{5} \right) e^{(-3-\sqrt{5})t/2}.
\]
Likningen $x_2(t) = 13$ lar seg ikke løse med penn og papir
siden $x_2$ er en lineærkombinasjon av to forskjellige eksponensialfunksjoner,
men numerisk går det fint.
Vannet er innom 13 grader allerede ved $t \approx 0.14$,
men da er det på vei opp -
toppen er om lag 25 grader ved $t \approx 0.8$.
Så kjøler det seg ned igjen,
og er tilbake på 13 grader ved $t \approx 3.0$.

\section*{STRØMNING I TANK}

La $x_1(t)$ og $x_2(t)$ være konsentrasjonene av et eller annet stoff i to tanker som er koblet slik:

\begin{minipage}{60mm}
\begin{align*}
	x_1' =& -x_1 \\
	x_2' =& \hspace{4.5mm}x_1 -x_2
\end{align*}
\end{minipage}
\begin{minipage}{80mm}
\begin{center}
\includegraphics[scale=.1]{../figurer/stromning-1}
\end{center}
\end{minipage}

Her kommer det rent vann inn i den øverste tanken,
og vi antar det er perfekt blanding i begge tanker,
og så har jeg satt farten til én liter per sekund slik at systemet skal bli pent og pyntelig.
Matrisen i dette systemet er ikke diagonaliserbar,
men vi kan løse det med integrerende faktor (begynn med den første likningen):
\begin{align*}
    x_1(t) =& x_1(0)e^{-t} \\
	x_2(t)=&\big( x_2(0)+x_1(0)t \big)e^{-t}.
\end{align*}
Faktoren $t$ kommer av at løsningen av den første likningen blir påtrykt i den andre,
som har samme tidskonstant.

\section*{BÅNDPASSFILTERET}

To motstander og to kondensatorer som kobles til en spenningskilde slik,
kalles et båndpassfilter om spenningen måles i punktet markert $v_2(t)$:
\begin{center}
	\begin{circuitikz}
		\draw (0,3) to [R] (1,3) to [short,-*] (2,3) to [C] (4,3) to [C] (4,1) to (0,1);
		\draw (6,3) to [R] (6,1);
		\draw (-2,3) to [open,v=$f(t)$] (-2,1);
		\draw node at (1,2.5) {$R_1$};
		\draw node at (2.5,2.45) {$C_1$};
		\draw node at (3.2,2) {$C_2$};
		\draw node at (5.2,2) {$R_2$};
		\draw node at (2,3.5) {$v_1(t)$};
		\draw node at (7,3) {$v_2(t)$};
		\draw (4,3) to [short,-*] (6,3);
		\draw (4,1) to [short] (6,1);
		\draw (0,3) to [short] (-1,3);
		\draw (0,1) to [short] (-1,1);
		\draw (-1,3) to [V] (-1,1);
		\draw node[ground] at (-1,1) {};
	\end{circuitikz}
\end{center}
Differensiallikningssystemet for spenningene $v_1(t)$ og $v_2(t)$ blir
\begin{align*}
	R_1i_1(t) +   \frac{1}{C_1}\int i_1(t)\; dt + \frac{1}{C_2}\int i_1(t) - i_2(t)\; dt &= f(t)\\[2mm]
	R_2i_2(t) + \frac{1}{C_2}\int i_2(t) - i_1(t)\; dt &= 0.
\end{align*}
der $i_1$ og
$i_2$ er sløyfestrømmer i hver maske.
Det er også klart at 
\[
	v_2(t) = R_2 i_2(t) =  \frac{1}{C_2}\int i_1(t) - i_2(t)\; dt
\]
og at
\[
	v_1(t) = v_2(t) +  \frac{1}{C_1}\int i_1(t)\; dt.
\]
Nå kan vi kvitte oss med strømmene.
Setter vi de to siste relasjonene inn i den første sløyfelikningen,
kollapser den til
\[
	R_1 i_1(t) + v_1(t) = f(t)
	\qquad
	\text{slik at }
	\qquad
	i_1(t) = \frac{f(t)-v_1(t)}{R_1},
\]
og Ohms lov gir
\[
	i_2(t) = \frac{v_2(t)}{R_2}.
\]
Deriverer vi kondensatorrelasjonene, står det
\[
	v_2' = \frac{i_1 - i_2}{C_2}
	\qquad
	\text{og}
	\qquad
	v_1' = v_2' + \frac{i_1}{C_1}.
\]
Som i lavpassfilteret ganger vi spenningen over hver kondensator med $RC$ og setter
\[
	x_1(t) = R_1C_1\big( v_1(t)-v_2(t) \big)
	\qquad
	\text{og}
	\qquad
	x_2(t) = R_1C_2v_2(t).
\]
Da er $x_1' = R_1i_1$ og $x_2' = R_1(i_1-i_2)$,
og setter vi inn strømmene, er systemet der:
\begin{align*}
	x_1' &= -\frac{1}{R_1C_1}x_1 - \frac{1}{R_1C_2}x_2 + f \\[2mm]
	x_2' &= -\frac{1}{R_1C_1}x_1 - \left( \frac{1}{R_1C_2} + \frac{1}{R_2C_2} \right)x_2 + f,
\end{align*}
eller på matriseform:
\[
	\V x' =
	\left(\; \begin{matrix}
		\displaystyle -\frac{1}{R_1C_1} & \displaystyle -\frac{1}{R_1C_2} \\[4mm]
		\displaystyle -\frac{1}{R_1C_1} & \displaystyle -\frac{1}{R_1C_2}-\frac{1}{R_2C_2}
	\end{matrix} \; \right)
	\V x
	+
	\left(\; \begin{matrix}
		1 \\
		1
	\end{matrix} \; \right)
	f.
\]


\end{document}
