21.10.2013 Views

Anteckningar (PDF)

Anteckningar (PDF)

Anteckningar (PDF)

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!