Algemene relativiteitstheorie

Maat: px

Weergave met pagina beginnen:

Download "Algemene relativiteitstheorie"

Tobias de Jonge
6 jaren geleden
Aantal bezoeken:

1 Algemene relativiteitstheorie en hoe u die zelf had kunnen bedenken. HOVO Utrecht les 1 en 2: Klassieke gravitatie, geodeten Dr. Harm van der Lek vdlek@vdlek.nl Natuurkunde hobbyist

2 Programma 1 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

3 Beweging in plat vlak met centraal punt 1.1 de versnelling in (of tegen) de richting van de plaatsvector de versnelling loodrecht op de richting van de plaatsvector Later gebruiken om t te elimineren De perkenwet geldt dan en slechts dan als de versnelling in de richting van de plaatsvector is (of er juist tegen in) 3

4 Even ophalen: Ellips en de cosinus regel Som van de afstanden tot de brandpunten is constant 1.2 Cosinus regel 4

5 Eerste wet van Kepler 1-ste wet: De baan van een planeet is een Ellips met de zon in één van de brandpunten. Als 2-de wet geldt, dan versnelling in of tegen de richting van. Als de 1-ste we ook geldt vermoeden we dat a Johannes Kepler e < Sterker nog: we kunnen a e precies berekenen! B

6 We hadden: Terug van Newton naar Kepler 2 de wet Kepler (perkenwet) Versnelling in richting centrale punt En dan: 1 ste wet Kepler (Ellips) (2 de wet Newton (F=ma) Nu omgekeerd: Algemene oplossing ( Kegelsneden ) Ellips (B=0: Cirkel ) Parabool Hyperbool Nieuwe oplossingen Hyperbool geval volgende slide 6

7 Afbuiging licht (semi-) klassiek Echte positie ster Schijnbare positie ster Einstein in 1915 Soldner in 1801 Einstein in 1911! Johann Georg von Soldner ff onthouden: 7

8 Programma 2 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

9 Differentiaal vergelijking; Poisson en Laplace oriëntatie R Laplace Newton + bolsymmetrie: is massadichtheid is (zwaartekracht-) potentiaal 1.4 Siméon Poisson Lege ruimte: Poisson: Laplace: Newton boven Ook? Ook! Laplace

John Michell 1724 1793 Licht kan niet ontsnappen? Zwart gat!

10 Energie balans; ontsnappingssnelheid R = straal hemellichaam v = ontsnappingssnelheid Aarde: 11 km/sec lichtsnelheid En die kennen we! Weg terug kan ook. Energie is integratieconstante. John Michell Licht kan niet ontsnappen? Zwart gat!? Schwarzschild Straal Eerst gepubliceerd later er weer uitgehaald Pierre-Simon Laplace M=Gewicht Aarde: R S =8,87 milimeter M=Gewicht Zon: R S =3 kilometer 10

11 Programma 3 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

Noodzaak nieuwe gravitatie theorie Probleem met onmiddelijke actie op afstand : Gebeurtenis 1: Zon ontploft Gebeurtenis 2: Aarde vliegt uit baan 2 is duidelijk het gevolg van 1.

12 Noodzaak nieuwe gravitatie theorie Probleem met onmiddelijke actie op afstand : Gebeurtenis 1: Zon ontploft Gebeurtenis 2: Aarde vliegt uit baan 2 is duidelijk het gevolg van 1. In Newtons theorie gebeurt dit instantaan op het zelfde moment. Maar in een stelsel dat van links naar rechts raast, gebeurt 2 eerder dan 1 volgens de SRT! Bovendien: in het elekromagnetisme was dit al OK. Het EM veld plant zich voort met de lichtsnelheid. Dus tijd voor een nieuwe theorie. Newton moet hieruit wel kunnen worden afgeleid (als eerste benadering). 12

13 Basisgedachte: het equivalentie principe A. C. Equivalent Aarde Aarde Equivalent B. D. De zwevers De staanders 13

14 Toch te voelen: getijdekrachten Zwaartekracht bestaat niet!! Kan immers weggetransformeerd worden. Vergelijkbaar met het lokaal wegtransformeren van de kromming van het aardoppervlak, bijvoorbeeld bij de rijksdriehoekmeting. Maar als er een echt zwaartekrachtsveld is zijn er toch (minieme) effecten: getijdekrachten. 14

15 y-as Coördinaten en (lokale) afstand: lijnelement bewijzen via een transformatie: x-as B1 Zouden er andere coördinaten u en v mogelijk zijn zodat??? Antwoord nee! Maar dat is nog niet zo eenvoudig te bewijzen! Nee, niet plat Nee, ook niet plat Ja, wel plat!! 15

(eerste kennismaking met -) Rechte lijn Meetkunde gekromde vlakken 2-dimensionaal (en

16 Het programma kwadrant Vlakke meetkunde 2-dimensionaal Speciale relativiteitstheorie 4-dimensionaal Plaats vector Raak vector Driehoek Hoek 4-Plaats vector 4-Raak vector Tensoren (eerste kennismaking met -) Rechte lijn Meetkunde gekromde vlakken 2-dimensionaal (en n-dimensionaal) Algemene relativiteitstheorie 4-dimensionaal Plaats vector Raak vector Driehoek Hoek potentiaal Geodeet 16

Het programma Meetkunde gekromde vlakken 2-dimensionaal (en n-dimensionaal) Algemene relativiteitstheorie 4-dimensionaal 2 3 en 4 Geodeten (Christoffel symbolen) Covariant differentiëren g 00

17 Het programma Meetkunde gekromde vlakken 2-dimensionaal (en n-dimensionaal) Algemene relativiteitstheorie 4-dimensionaal 2 3 en 4 Geodeten (Christoffel symbolen) Covariant differentiëren g 00 potentiaal Zwarte gaten Klokvertraging: roodverschuiving 5 en 6 Krommingstensor Veldvergelijkingen lege ruimte Bianchi identiteiten 7 en 8 Schwarzschild oplossing Afbuiging licht door zon Perhelium Mercurius Nogmaals: Zwarte gaten De Veldvergelijkingen Kosmologie Zwaartekrachts golven 17

18 Programma 4 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

19 Rechte lijnen; analytisch Welke van de volgende lijnen is recht, en welke niet? Recht?? Ja Nee Verander namen what s in the name Recht?? Nee, toch niet Ja, toch wel Conclusie: om aan de analytische vorm te kunnen herkennen of een lijn recht is heb je de metriek (het lijnelement) nodig 19

Kortste verbinding tussen twee punten Lijn element: P

integraal) ds P 1 (t=t 1 ) Wanneer hebben we de

20 Kortste verbinding tussen twee punten Lijn element: P 2 (t=t 2 ) (voorbeeld: ) Hoe berekenen we de lengte van een kromme? Neem de som van oneindig veel stukjes ds (dus de integraal) ds P 1 (t=t 1 ) Wanneer hebben we de kortste verbinding te pakken? Maw. Wanneer is S minimaal? Hiervoor hebben we variatierekening nodig. 20

21 Programma 5 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

22 Variatie rekening Een kromme in een n-dimensionale ruimte: Stel L is een functie van 2n variabelen. P 2 (t=t 2 ) P 1 (t=t 1 ) 22

23 Euler Lagrange vergelijking P 2 (t=t 2 ) De afgeleide naar λ moet bij λ=0 gelijk aan 0 zijn: P 1 (t=t 1 ) B5 Dit kan alleen maar 0 zijn voor alle als voor alle i en t als: Dus: Merk op: en zijn uitdrukkingen die los staan van de kromme. 23

? Met andere woorden: de wet van Newton kan gezien worden als een gevolg van variatie

24 Something completely different Formulering klassieke mechanika in termen van de z.g. Lagrangiaan: T = Kinetische energie V=Potentiele energie Lagrange Newton Euler So what?? Met andere woorden: de wet van Newton kan gezien worden als een gevolg van variatie rekening 1. Sommige situaties in de klassieke mechanika kunnen efficient geformuleerd en opgelost worden; 2. Ook andere zaken (b.v. stelling van Noether) kunnen mooi worden geformuleerd; 3. Absoluut onmisbaar voor overgang naar Quantum mechanika; 4. Zie Leonard Susskind: The Theoretical Minimum 24

25 Programma 6 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

26 Kunnen we de wortel kwijt? met Een voorbeeld: (zoals verwacht) Maar de parametrizering van was misschien Ook wel wat onhandig, beter lijkt: = Alleen metriek = Specifiek dit voorbeeld (zoals ook verwacht) Bovendien W en L beide constant langs 26

27 Hoe zit dit precies? Geodeten Stelling: Bewijs: We hebben: met, dan Volgt uit (1), (4) en (5)? Gevolg: we mogen (en willen) ons beperken tot voor L. Parametrisering volgens booglengte is immers geen wezenlijke beperking. Voordelen: (1) Eenvoudiger rekenen (2) L kan ook =0 of <0 zijn Licht!! We noemen zo n pad een geodeet. Beide kanten maal : Dus =0! Dus L constant QED. 27

28 Geodeet vergelijking; Christoffel symbolen 1.5 Elwin Bruno Christoffel (in feite al bij Riemann) 1 ste soort: 2 ste soort: Einstein 1915 Einstein 1915 Vergelijking geodeet B2 Einstein

29 Voorbeelden: rechte lijnen in platte ruimte Poolcoördinaten: Geodeet: Most complicated way to describe a straight line Voorbeeld checken: 2e klopt 1g klopt (constant) (algemeen: Als L niet van x μ afhangt dan hebben we een behoudswet en is EL makkelijker) B3 Opgave 29

30 Programma Klaar 1. Kepler Newton 2. Poisson & Laplace 3. Equivalentie principe & pad Cursus 4. Rechte lijnen 5. Variatie principe & Euler-Lagrange 6. Geodeten Klassieke gravitatie

31 Opgave: Poincaré halfvlak Q Kortste verbinding tussen P en Q? (qualitatief) P 31

32 x=-3 x=0 (y-as) x=5 Bijlage 1: Parabool coördinaten Hoe het correcte lijnelement vinden? Stel u en v goede coördinaten O P? 32

33 Bijlage 2: Transformatie Christoffel 1 ste soort: 2 de soort: Coördinaten trafo: (lijkt op tensor trafo) Conclusie: 33

34 Conclusie: Bijlage 2: Check met pool coördinaten Op deze manier kunnen we de Γ dus (opnieuw) uitrekenen Hulpjes: Komt overeen met eerdere resultaten 34

35 Bijlage 3: Grote cirkels op bol z-as Lijnelement: (constant) 2e x-as klopt! y-as Vermoeden: grote cirkel is geodeet. Gaan draaien: Dus 2e klopt en K=C 1e en L=1 nog checken, volgende slide 35

36 Bijlage 3: Rest Check

37 Bijlage 4: Newton ontdekken Uitgangspunten: Te bepalen/onderzoeken/berekenen: (Ellips) (Perkenwet) 37

38 Bijlage 5: Slordige afleiding EL 38

39 Bijlage 6: Take away les 1 en 2 Les 1: Les 2: Baanvergelijking Poisson: Christoffel symbolen: Laplace: 1 ste soort: 2 ste soort: Schwarzschild straal: Vergelijking geodeet 39

Vergelijkbare documenten

Algemene relativiteitstheorie

Algemene relativiteitstheorie en hoe u die zelf had kunnen bedenken. HOVO Utrecht les 1 en 2: Klassieke gravitatie, geodeten Dr. Harm van der Lek vdlek@vdlek.nl Natuurkunde hobbyist Programma 1 1. Kepler