Anteckningar (PDF)
Anteckningar (PDF)
Anteckningar (PDF)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Anteckningar</strong> till räkneövning i Kvantfysikens<br />
principer<br />
Thomas Kvorning<br />
6 november 2012<br />
1 Räkneövning 1– komplexa tal<br />
Det finns flera olika talsystem som lämpar sig för att användas när man<br />
handskas med olika problem. De naturliga talen N = {0, 1, 2, . . . } som lämpar<br />
sig när man ska prata om antalet objekt, exempelvis hur många äpplen man<br />
plockat på en dag. Men har man man bara ett äpple och är fem personer<br />
som ska dela på äpplet kan man inte beskriva hur mycket äpple varje person<br />
får med de naturliga talen. Bland de naturliga talen finns ingen lösning till<br />
ekvationen<br />
5x = 1 .<br />
Vi kan då utvidga vårar talsystem till de rationella talen Q som består av alla<br />
bråk 2 5 , med mera. Även med detta talsystem har sina begränsningar. Vill<br />
3 7<br />
vi t.ex. besvara frågan hur lång är hypotenusan (x) i en rätvinklig likbent<br />
triangel, där två av sidorna har längden ett: Enligt Pytagoras sats uppfyller<br />
x ekvationen<br />
1<br />
1<br />
x<br />
x 2 = 2 ,<br />
vilket saknar lösning bland de rationella talen. Vi kan utvidga de rationella<br />
talen till de reella talen R som består av alla tal som kan skrivas på decimalform,<br />
eventuellt med oändligt många decimaler. Då har vi en lösning<br />
1
till ekvationen nämligen √ 2 = 1, 41421356 · · · . För att beskriva kvantfysiken<br />
behöver vi utvidga även detta talsystem. Vi behöver ytterligare ett tal,<br />
nämligen det som löser ekvationen<br />
x 2 + 1 = 0 .<br />
Det talet kommer vi att beteckna med bokstaven i, och det kallas den imaginära<br />
enheten. Vi vill kunna multiplicera och addera med den imaginära<br />
enheten med de reella talen, enligt de vanliga räknereglerna. För att göra det<br />
måste vi lägga till ytterligare tal, förutom den imaginära enheten, och får<br />
då det komplexa talsystemet. Multiplicera vi ett godtyckligt reellt tal b ∈ R<br />
med den imaginära enheten får vi talet<br />
bi .<br />
Detta tal är nytt, dvs, det är inte reellt och det är inte den imaginära enheten.<br />
Det kan vi se genom att kvadrera det<br />
bibi = b 2 i 2 = −b 2 .<br />
Här har vi använt regeln att man kan byta plats på två tal under multiplikation,<br />
som är ett av de räknereglerna 1 . bi i kvadrat är ett negativt tal<br />
och eftersom kvadraten på ett reellt tal alltid är positivt kan detta inte vara<br />
ett reellt tal. För varje reellt tal måste vi alltså lägga till ett nytt tal i vårt<br />
talsystem, nämligen<br />
bi .<br />
Vi måste även kunna addera med reella tal. Om vi adderar bi med ett godtyckligt<br />
reellt tal a får vi talet<br />
a + bi .<br />
Alla tal på denna form bygger upp det komplexa talsystemet. Ett godtyckligt<br />
komplext tal (z) kan alltså skrivas på formen<br />
z = a + bi .<br />
a kallas för z:s realdel, som betecknas a =Re(z) eller a = ℜ(z) och b kallas<br />
för z:s imaginär del och betecknas b =Im(z) eller b = ℑ(z). Notera att både<br />
realdelen och imaginärdelen hos ett komplext tal är reellt.<br />
1 Denna egenskap har ett namn: man säger att multiplikation är kommutativ<br />
2
1.1 Räkna med de komplexa talen<br />
Addition<br />
Ta två komplexa tal z = a+bi och w = c+di, vi kan ta reda på deras summa<br />
med räknereglerna för addition.<br />
z + w = (a + bi) + (c + di) = a + c + bi + di = a<br />
<br />
+<br />
<br />
c + (b + d) i<br />
<br />
ℜ(z+w) ℑ(z+w)<br />
Multiplikation<br />
zw = (a + bi)(c + di) = ac + adi + bci + bdi 2 = ac<br />
<br />
− bd<br />
<br />
+ (ad + bc) i<br />
<br />
ℜ(zw) ℑ(zw)<br />
Division<br />
Innan vi utför division mellan två komplexa tal introducerar vi något som vi<br />
kallar komplexkonjugatet av ett komplext tal. Komplexkonjugering betecknas<br />
med ∗ och innebär att man byter ut i mot −i. Så för det komplexa talet<br />
z = a + bi är komplexkonjugatet<br />
z ∗ = a − bi .<br />
Egenskapen hos komplexkonjugatet som vi vill använda är att om man multiplicerar<br />
ett komplex tal med sitt komplexkonjugat, så får man ett reellt<br />
tal:<br />
zz ∗ = (a + bi)(a − bi) = a 2 − ✟ ✟<br />
abi + ✟ ✟<br />
abi − b 2 i 2 = a 2 + b 2 .<br />
Vi kan därför förenkla z<br />
w genom att förlänga med w∗ :<br />
z<br />
w<br />
= a + bi<br />
c + di<br />
= (a + bi)(c − di)<br />
(c + di)(c − di)<br />
= ac − adi + bci + bd<br />
c 2 + d 2<br />
= ac + bd<br />
c 2 + d 2<br />
<br />
ℜ( z<br />
w)<br />
+ bc − ad<br />
c 2 + d 2<br />
<br />
ℑ( z<br />
w)<br />
Kuriosa 1.1 (Jämförelse med √ 2). Om man tycker att de komplexa talen är<br />
konstiga är det värt att titta på talet √ 2 som ni har träffat på tidigare. Om<br />
man har de rationella talen, det vill säga tal a som kan skrivas som bråk, dvs<br />
) mellan heltal p, q, så kan vi inte lösa ekvationen<br />
kvoter (a = p<br />
q<br />
x 2 = 2 .<br />
3<br />
i
För det behövs talet √ 2. Lägger vi till √ 2 till de rationella talen, och samtliga<br />
tal som behövs för att man ska kunna addera och multiplicera, får man alla<br />
tal på formen<br />
a + b √ 2 ,<br />
där a och b är rationella tal. Att räkna med dessa tal är naturligtvis inte<br />
konstigt, de är ju bara en del av de reella talen som ni är vana vid, men<br />
räknereglerna blir precis som med de komplexa talen, med ända skillnaden<br />
att √ 2 √ 2 = 2 medan ii = −1.<br />
1.2 Det komplexa talplanet<br />
De reella talen har en ordnings, vi säger att 1.2 > 1.17 eftersom första decimalen<br />
är större. Alla reella tal ordnas på detta sätt genom att börja med att<br />
jämföra siffran längst till vänster och om de är lika tar man nästa till höger,<br />
osv. Vi kan därför visualisera de reella talen som en tallinje. Vi kan införa<br />
en ordning även på de komplexa talen t.ex. kan vi säga att ett komplex tal<br />
är större än ett annat om realdelen är större, och om realdelen är lika kan<br />
vi jämföra imaginärdelen. Man kan tänka sig många andra ordningar också,<br />
men de har alla en sak gemensam, de är inte kompatibla med räknereglerna.<br />
De följer inte de regler som vi är vana vid att en ordning ska göra, t.ex. att<br />
om a < b så är a+c < b+c. Detta gör att alla ordningar på de komplexa talen<br />
ger en dålig bild av strukturen, och det är väldigt opraktiskt att visualisera<br />
de komplexa talen som punkter på en linje. Det bästa sättet att visualisera<br />
de komplexa talen är istället att se dem som punkter på ett plan, där y-led<br />
representerar imaginärdelen och x-led realdelen. Från figur 1, ser vi att ett<br />
komplext tal z kan beskrivas inte bara genom att ange a och b, man kan<br />
istället ange beloppet på det komplexa talet r och argumentet θ. Med hjälp<br />
av de trigonometriska funktionerna kan vi relatera a och b till r och θ,<br />
och vi får<br />
a = r cos(θ)<br />
b = r sin(θ) ,<br />
z = r(cos θ + i sin θ) .<br />
Vi kan också hitta den inversa relationen, hitta θ och r från a och b. Med<br />
pytagoras sats får vi<br />
r = √ a 2 + b 2 .<br />
Notera att vi också kan skriva<br />
r 2 = zz ∗ .<br />
4
ℑ(z)<br />
✻<br />
z=a+bi<br />
✡<br />
✡<br />
✡<br />
✡<br />
✡<br />
✡<br />
✡ ✡✣<br />
θ<br />
a<br />
r<br />
✲<br />
ℜ(z)<br />
Figur 1: Ett komplext tal z = a + bi markerat i det komplexa talplanet. r<br />
anger avståndet från z till origo och kallas beloppet på z. θ anger vinkeln<br />
mellan den reella axeln och z vektorn, alltså vektorn som sammanbinder origo<br />
med z, och kallas z:s argument.<br />
Vi har tan θ = b<br />
a<br />
från vilket vi får<br />
θ = arctan<br />
<br />
b<br />
a<br />
1.3 Exponentialfunktionen och Eulers formel<br />
our jewel<br />
one of the most remarkable, almost astounding, formulas in<br />
all of mathematics<br />
.<br />
– Richard Feynman<br />
sagt om Eulers formel<br />
Nu kommer vi till föreläsningens höjdpunkt, nämligen exponential funktionen<br />
och Eulers formel. Exponentialfunktionen var från början definierad med<br />
heltalsargument och<br />
e 2 = e · e e 3 = e · e · e ,<br />
och så vidare. Vi ser att exponentialfunktionen uppfyller regeln e a e b = e a+b .<br />
När vi utvidgar regeln till de rationella talen är definierar vi funktionen så<br />
5
att regeln fortfarande gäller. Så e 1/2 e 1/2 = e är alltså e 1/2 = √ e. Om vi nu<br />
tittar på exponentialen av ett komplext tal e a+bi . Som med de rationella talen<br />
använder vi regeln e a e b = e a+b för att definiera exponentialfunktionen och vi<br />
kan då skriva e a e ib . e a är bara exponentialfunktionen av ett reellt tal och det<br />
vet vi redan hur det fungerar. Så vi behöver bara titta på e iθ där θ är något<br />
reellt tal. Det första vi kan titta på är beloppskvadraten på e iθ . Den kan vi<br />
räkna ut genom e iθ e iθ ∗ . Komplexkonjugering innebär att man byter ut alla<br />
i mot −i, så e iθ ∗ = e −iθ och vi får<br />
e iθ e iθ ∗ = e iθ e −iθ = e iθ−iθ = e 0 = 1 .<br />
Vi ser därför att e iθ befinner sig på avståndet 1 ifrån origo i det komplexa<br />
talplanet, alltså på enhetscirkeln. Vi ska nu ta reda på realdel och imaginärdel<br />
−1<br />
✻ ℑ<br />
v =<br />
✻<br />
d<br />
dθeiθ θ=0<br />
Figur 2: e iθ och dess första derivata evaluerat i noll.<br />
1<br />
✲<br />
ℜ<br />
av eiθ med hjälp av våra fysikkunskaper. Säg att eit beskriver positionen av<br />
en partikel på det komplexa talplanet vid tiden t. Då ges hastigheten i y led<br />
av imaginär delen av d<br />
dteit och hastigheten i x led av realdelen av d<br />
dteit , och<br />
farten av beloppet på d<br />
dteit . För reella tal vet vi att derivatan av exponential<br />
funktionen ges av<br />
d<br />
dx ex = e x .<br />
Om exponentialfunktionen ska ha väldefinierad derivata överallt, dvs att<br />
funktionen är mjuk och inte plötsligt ändrar riktning måste samma regel<br />
6
gälla för alla komplexa tal<br />
Så vi har<br />
d<br />
dz ez = e z .<br />
d<br />
dt eit = ie it ,<br />
och vi ser att farten på partikeln i kvadrat är<br />
ie it ie it ∗ = ie it (−i)e −it = 1<br />
Beloppet på hastigheten är ett, så när tiden t har gått har vi rört oss sträckan,<br />
s = vt = 1t = t, längs enhetscirkeln. Kommer vi sedan ihåg att (cos t, sin t)<br />
anger den punkt på enhetscirkeln med avstånd t, längs med enhetscirkeln 2 ,<br />
ifrån den reella axeln får vi Eulers formel<br />
e iθ = cos θ + i sin θ .<br />
Eulers formel är ett väldigt viktigt inom både matematiken och fysiken, och<br />
enligt mig (och många med mig) ett väldigt vacker samband. Med hjälp av<br />
denna formel kan vi då slutligen skriva ett komplext tal på ännu ett sätt,<br />
2 Sammanfattning<br />
z = re iθ .<br />
Följande formler och uttryck måste ni kunna:<br />
De olika sätten på vilket man kan skriva ett komplex tal:<br />
z = a + bi = r(cos θ + i sin θ) = re iθ .<br />
a kallas för z:s realdel och betecknas med a = ℜ(z) eller a = Re(z). b kallas<br />
för z:s imaginärdel och betecknas med b = ℑ(z) eller a = Im(z). θ kallas<br />
för z:s argument och betecknas med θ = arg(z). r kallas för z:s belopp och<br />
betecknas r = |z|.<br />
2 Påminn er om de trigonometriska funktionerna och definitionen av radianer, om ni<br />
inte kommer ihåg detta.<br />
7
Hur man går emellan de olika sätten att representera ett komplext<br />
tal: Hur man går från polär- till komponent form<br />
a = r cos θ<br />
b = r sin θ<br />
och hur man går från komponent- till polär form<br />
r = √ a 2 + b 2<br />
θ = arctan<br />
<br />
b<br />
a<br />
Komplexconjugering: Komplexkonjugatet av z = a + bi är<br />
3 Problem<br />
z ∗ = a − bi = re −iθ .<br />
zz ∗ = a 2 + b 2 = r 2<br />
Exempel 1 (1-P4). Omvandla till polär form:<br />
a) 3i<br />
b) 2<br />
Lösningsförslag: .<br />
θ = π<br />
2<br />
r = 3<br />
Lösningsförslag: .<br />
8<br />
.<br />
ℑ(z)<br />
✻<br />
3<br />
✻<br />
✲<br />
ℜ(z)
c) 2 + 3i<br />
θ = 0<br />
r = 2<br />
Lösningsförslag: .<br />
d) 5 + i<br />
e) −2 + i<br />
r 2 = 2 2 + 3 2 = 13<br />
θ = tan−1 <br />
3<br />
2<br />
<br />
⇒ z = √ 13e i tan−1 ( 3<br />
2)<br />
ℑ(z)<br />
✻<br />
✲<br />
2<br />
ℑ(z)<br />
✻<br />
✡ ✡<br />
✡ ✡✣<br />
Exempel 2 (1-P5). Omvandla följande tal till komplex representation<br />
π<br />
i a) 3e 3<br />
b) 1<br />
c) 8e iπ<br />
d) e 2πi<br />
π<br />
i e) −2e 2<br />
9<br />
✲<br />
ℜ(z)<br />
✲<br />
ℜ(z)