Analys på en torus. MatematikCentrum LTH

Relevanta dokument
Spiralkurvor på klot och Jacobis elliptiska funktioner

Om att rita funktioner av två variabler

Parabeln och vad man kan ha den till

Om ellipsen och hyperbelns optiska egenskaper

Parabeln och vad man kan ha den till

Problem inför KS 2. Problem i matematik CDEPR & CDMAT Flervariabelanalys. KTH -matematik

Lite sfärisk geometri och trigonometri

Institutionen för Matematik, KTH Torbjörn Kolsrud

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Poincarés modell för den hyperboliska geometrin

= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).

Geometri på ytor i rummet

Min fru Gisela började virka häromdagen.

Övningar till kapitel 1

Om ellipsen och hyperbelns optiska egenskaper. Och lite biljard

Lösningsförslag till tentamen Torsdag augusti 16, 2018 DEL A

Tentamensuppgifter, Matematik 1 α

7 Extremvärden med bivillkor, obegränsade områden

Övningar till Matematisk analys III Erik Svensson

Differentialens geometriska betydelse

har ekvation (2, 3, 4) (x 1, y 1, z 1) = 0, eller 2x + 3y + 4z = 9. b) Vi söker P 1 = F (1, 1, 1) + F (1, 1, 1) (x 1, y 1, z 1) = 2x + 3y + 4z.

SF1626 Flervariabelanalys Tentamen Måndagen den 16 mars 2015

Inför tentamen i Linjär algebra TNA002.

Tentamen i tmv036c och tmv035c, Analys och linjär algebra C för K, Kf och Bt A =, = det(a λi) = e 2t + c 2. x(t) = c 1. = c 1.

Om mångfalder, abstrakta och som delmängder i olika rum

x ( f u 2y + f v 2x) xy = 24 och C = f

Bestäm ekvationen för det plan som går genom punkten (1,1, 2 ) på kurvan och som spänns

Lösningsförslag till tentamen Onsdagen den 15 mars 2017 DEL A

Cykloiden och dess släktingar

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Institutionen för matematik SF1626 Flervariabelanalys. Lösningsförslag till tentamen Måndagen den 5 juni 2017 DEL A

Kap Funktioner av flera variabler, definitionsmängd, värdemängd, graf, nivåkurva. Gränsvärden, kontinuitet.

Banach-Tarskis paradox

Lösning till kontrollskrivning 1A

1 Linjära ekvationssystem. 2 Vektorer

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

17. Övningar ÖVNINGAR Låt F och G vara avbildningar på rummet, som i basen e = {e 1,e 2,e 3 } ges av. x 1 x 2 2x 2 + 3x 3 2x 1 x 3

Existensen av största och minsta värde är inte garanterad i det här fallet.

Lösningsförslag till tentamen Tisdagen den 10 januari 2017 DEL A

Matematiska uppgifter

x 2 5x + 4 2x 3 + 3x 2 + 4x + 5. d. lim 2. Kan funktionen f definieras i punkten x = 1 så att f blir kontinuerlig i denna punkt? a.

Om immersioner och Whitneys inbäddningssats

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Tentamen Matematisk grundkurs, MAGA60

Vektorgeometri för gymnasister

UPPSALA UNIVERSITET Envariabelanalys IP1/Hösten L.Höglund, P.Winkler, S. Zibara Ingenjörsprogrammen Tel: , ,

14. Minsta kvadratmetoden

Kroklinjiga koordinater och räkning med vektoroperatorer. Henrik Johanneson/(Mats Persson)

SF1626 Flervariabelanalys

Om Gauss skosnöreformel och planimetrar

u av funktionen u = u(x, y, z) = xyz i punkten M o = (x o, y o, z o ) = (1, 1, 1) i riktningen mot punkten M 1 = (x 1, y 1, z 1 ) = (2, 3, 1)

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

av envariabelfunktionen g(t) och flervariabelfunktionen t = h(x, y) = x 2 + e y.)

Vektorgeometri för gymnasister

LNC Lösningar

Karta över Jorden - viktigt exempel. Sfär i (x, y, z) koordinater Funktionen som beskriver detta ser ut till att vara

Exempel :: Spegling i godtycklig linje.

Om ortonormerade baser i oändligtdimensionella rum

3 Parameterframställningar

Linjär Algebra, Föreläsning 9

x +y +z = 2 2x +y = 3 y +2z = 1 x = 1 + t y = 1 2t z = t 3x 2 + 3y 2 y = 0 y = x2 y 2.

TMV036 Analys och linjär algebra K Kf Bt, del C

AB2.1: Grundläggande begrepp av vektoranalys

SF1626 Flervariabelanalys Tentamen Tisdagen den 7 juni 2016

1. Beräkna och klassificera alla kritiska punkter till funktionen f(x, y) = 6xy 2 2x 3 3y 4 2. Antag att temperaturen T i en punkt (x, y, z) ges av

Tentamen i Linjär algebra (TATA31/TEN1) ,

Modul 1: Komplexa tal och Polynomekvationer

Dubbelintegraler och volymberäkning

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Cykloiden och dess släktingar

SF1626 Flervariabelanalys Tentamen Tisdagen den 10 januari 2017

Exempel :: Spegling i godtycklig linje.

SF1624 Algebra och geometri

x 2 5x + 4 2x 3 + 3x 2 + 4x + 5. d. lim 2. Kan funktionen f definieras i punkten x = 1 så att f blir kontinuerlig i denna punkt? a.

Vektorgeometri för gymnasister

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A

6. Samband mellan derivata och monotonitet

Institutionen för Matematik, KTH Torbjörn Kolsrud

Stöd inför omtentamen i Linjär algebra TNA002.

Ellipsen. 1. Apollonius och ellipsen som kägelsnitt.

Linjär algebra på några minuter

201. (A) Beräkna derivatorna till följande funktioner och förenkla så långt som möjligt: a. x 7 5x b. (x 2 x) 4. x 2 +1 x + 1 x 2 (x + 1) 2 f.

Skrivtid: Lösningar ska åtföljas av förklarande text. Hjälpmedel: formelsamling och manuella skrivdon. 1. Lös ekvationen z 4 = 16i.

1. Vi skriver upp ekvationssystemet i matrisform och gausseliminerar tills vi når trappstegsform,

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av

Några klassiska plana kurvor

Kurvlängd och geometri på en sfärisk yta

Rita även upp grafen till Fourierseriens summa på intervallet [ 2π, 3π], samt ange summans värde i punkterna π, 0, π, 2π. (5) S(t) = c n e int,

DEL I 15 poäng totalt inklusive bonus poäng.

Vektorgeometri för gymnasister

16.7. Nollrum, värderum och dimensionssatsen

Lösningsförslag till problem 1

UPPSALA UNIVERSITET Matematiska institutionen Styf. Exempeltenta med lösningar Programmen EI, IT, K, X Linjär algebra juni 2004

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

Något om algebraiska kurvor

UPPSALA UNIVERSITET Matematiska institutionen Michael Melgaard. Prov i matematik Prog: Datakand., Frist. kurser Derivator o integraler 1MA014

Vektorgeometri för gymnasister

1. För vilka värden på konstanterna a och b är de tre vektorerna (a,b,b), (b,a,b) och (b,b,a) linjärt beroende.

FFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar

Transkript:

Analys på en torus Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I den här artikeln ska vi diskutera differentialgeometri på en torus, både inbäddad som en badring i rummet och som en delmängd av det fyrdimensionella rummet. Målet är att illustrera den allmänna teorin.

Analys på en torus 1 (6) 1 Introduktion En (reell) torus uppkommer genom att man utgår ifrån en rektangel i planet och identifierar deras motstående sidor. Härigenom definieras en topologisk (abstrakt) yta (alltså 2-dimensionell mångfald). Vi kan göra den till en Riemannmångfald genom att förse den med den metrik som svarar mot den vanliga skalärprodukten i planet. Men detta är en abstrakt mångfald, och vårt mål är att göra differentialgeometri på två realiseringar av denna, nämligen dels som badring i rummet, dels som en isometrisk inbäddning i det fyrdimensionella rummet. 2 Badringen i rummet Låt T 2 vara den abstrakta torus som uppkommer genom att vi identifierar sidorna i rektangeln R = [0, 2π] 2. Avbildningen ψ : T R 3 som definieras av ψ(u, v) = ((1 + r cos u) cos v, (1 + r cos u) sin v, r sin u), där 0 < r < 1, har då en värdemängd som i figuren nedan. Koordinatlinjen u = 0 svarar mot den blå kurva i figuren, vilken vi kallar den yttre ekvatorn på torusen. En motsvarande inre ekvator, grön i figuren, fås då u = π. Liknande cirklar definieras av andra ekvationer u = u 0, medan ekvationer v = v 0 definierar cirklar som den röda i figuren. Dessa kallar vi meridianer på torusen. Vi kan också kalla cirklarna som ge av ekvationerna u = π/2 och u = 3π/2 för topp- respektive bottenekvatorn på torusen. De delar in torusen i en utsida och en insida (den senare runt hålet). ψ:s differential ges av dψ = rdu( sin u cos v, sin u sin v, cos u) + (1 + r cos u)dv( sin v, cos v, 0) vilken är icke-singulär överallt, och eftersom ψ självklart är injektiv 1, är ψ en inbäddning av T 2 i rummet. Dock är den ingen isometri, vilket vi ser därför att den första fundamentalformen får formen ds 2 = r 2 du 2 + (1 + r cos u) 2 dv 2. Från den ser vi att en ortonormerad bas av 1-former ges av θ 1 = rdu, θ 2 = (1 + r cos u)dv,

Analys på en torus 2 (6) vilket bl.a. ger att areaformen på torusen är ds = θ 1 θ 2 = r(1 + r cos u)du dv. Anmärkning Vi ska inte behöva det, men vi får lätt det ortonormerade ramverket e 1 = ( sin u cos v, sin u sin v, cos u), e 2 = ( sin v, cos v, 0), n = e 1 e 2 = (cos u cos v, cos u sin v, sin u). Vi börjar nu med att ta reda på vilken information vi kan få om torusen genom att endast använda den första fundamentalformen. För att bestämma ω 12 kan vi börja med att notera att dθ 1 = 0, dθ 2 = r sin udu dv = sin u 1 + r cos u θ 1 θ 2. Men dθ 2 = ω 12 θ 1, så vi ser att ω 12 = sin u 1 + r cos u θ 2 = sin udv, från vilket följer att dω 12 = cos udu dv = cos u r(1 + r cos u) θ 1 θ 2. Torusens totalkrökningen ges följaktligen av K = cos u r(1 + r cos u). Vi ser att K = 0 på topp- och bottenekvatorn och att på utsidan gäller att K > 0, medan K < 0 på insidan. De geodetiska kurvorna c = ψ u bestämmer vi genom att först notera att ξ 1 = θ 1 (ċ) = r u, ξ 2 = θ 2 (ċ) = (1 + r sin u) v, ω 12 (ċ) = sin u v. Det ger oss den komplexa ekvationen ξ i sin u vξ = 0, ξ = r u + i(1 + r sin u) v, vilket leder till det reella ekvationssystemet rü + (1 + r cos u) sin u v 2 = 0, v 2r sin u u v = 0. 1 + r cos u En lösning till detta får vi genom att sätta v(t) = k 3, så att u(t) = k 1 +k 2 t för godtyckliga reella tal k i. På torusen svarar detta mot en vertikal tvärsnittscirkel. Detta ger en lösning till motsvarande första ordningens ODE som uppfyller v = 0, vilket gör att för alla andra lösningar är teckent på v antingen positivt eller negativt överallt. Av symmetriskäl återstår det därför att titta på lösningar sådana att v > 0 överallt.

Analys på en torus 3 (6) Den andra geodetiska ekvationen integreras till att ln v +2 ln(1+r cos u) = h är konstant, och alltså att v = h(1+r cos u) 2. För en båglängdsparametriserad geodetisk kurva gäller att r 2 u 2 + (1 + r cos u) 2 v 2 = 1, och om vi använder att u = du v så får vi att dv Vidare har vi att r 2 (1 + r cos u) (du 1 4 dv )2 + (1 + r cos u) = 1 2 h. 2 h = v(1 + r cos u) 2 = (1 + r cos u) cos α där α är vinkeln mellan den geodetiska kurvans tangent och ramvektorn e 2, alltså storcirklarnas tangent. Eftersom h är konstant ser vi att varje geodet skär en storcirkel under en vinkel som beror endast av vilken meridian skärningen sker på. Vi ska nu se att vi kan klassificera de geodetiska värdena efter värdena på h. Som en första observation, om h = 0 ser vi att den ska skära alla storcirklarna under rät vinkel, vilket betyder att detta värde på h definierar meridianerna. Om vi nu sätter f(u, d) = r 2 1 (1 + r cos u) 4 d2 + (1 + r cos u) 2 så gäller att (u, du ) är en nivåkurva till funktionen f. Denna är 2π-periodisk i u och dv en kvadratisk funktion i d, och har ett globalt minimum i (0, 0) samt en sadelpunkt i (π, 0). Runt minimat finns slutna nivåkurvor medan det genom sadelpunkten går en separatris, vilket är den enda kurvan som asymptotiskt närmar sig denna punkt. Den löser f(u, du 1 ) = f(π, 0) =, dvs svarar mot fallet h = 1 r. dv (1 r) 2 Låt oss nu studera fallet h = 1 r närmare. En möjlighet är då att u = π och cos α = 1 överallt, vilket vi lätt identifierar som den inre ekvatorn. I annat fall ser vi att cos α = (1 r)/(1 + r cos u). En sådan geodet skär alltså den yttre ekvatorn under en vinkel som ges av cos α C = 1 r 1 + r. Sedan kommer den att komma in i hålet och snurra runt på sådant sätt att den asymptotiskt närmar sig den inre ekvatorn.

Analys på en torus 4 (6) Ett h (0, 1 r) svarar mot kurvorna utanför separatrisen. Dessa kurvor kan anta alla u-värden och skär den yttre ekvatorn under en vinkel α < α C. När h är nära noll snurrar geodeten runt i närheten av meridianerna för att med växande h snurra färre varv i meridianriktning när den går runt ett varv längs en ekvator. Den kan vara sluten, men vanligast är att en sådan geodet ligger tätt på torusen. Fallet h > 1 r svarar mot kurvorna innanför separatrisen. Från nivåkurveplotter ser vi direkt att dessa kan endast anta ett visst intervall av u-värden. Gränserna ges av ekvationen h = 1 + r cos u, och dessa u-värden definierar två storcirklar som kommer att begränsa en motsvarande geodets bana på torusen. När h = 1+r så kommer dessa två gränscirklar att sammanfalla som den yttre ekvatorn (svarande mot origo i figuren), så när h > 1 + r finns inga geodeter. För 1 r < h < 1 + r ser vi att geodeten kommar att skära gränscirkeln, men när den gör det, studsar den tillbaka in i området mellan gränscirklarna. Även nu är det normala att geodeten är icke-periodisk. De skär alla den yttre ekvatorn under en vinkel α > α C.

Analys på en torus 5 (6) Så långt information om torusen som kommer från enbart den första fundamentalformen. Den fås alltså om vi ser på T 2 som en abstrakt mångfald, försedd med metriken ovan. Nu ska vi se vilken ytterligare information vi får ur den andra fundamentalformen. För att bestämma de principala krökningsriktningarna i olika punkterbehöver vi bestämma den andra fundamentalformen II = dn dψ = rdu 2 + (1 + r cos u) cos udv 2. Principalkrökningarna fås därför ur ekvationen det(ii λi) = r(1 rλ) 0 0 (1 + r cos u)(cos u λ(1 + r cos u) = 0, alltså (som väntat?). κ 1 = 1 r, κ 2 = cos u 1 + r cos u Man delar in punkter på en yta efter krökningsvärden. Definition Man säger att p är en navelpunkt om κ 1 = κ 2, och om båda är noll säger man att p är en plan punkt. En punkt sådan att K(p) = 0 men som inte är plan sägs vara parabolisk. En punkt sådan att K(p) > 0 är elliptisk, medan en där K(p) < 0 är hyperbolisk. Vi ser att på utsidan av torusen, svarande mot π < u < π, är krökningen positiv och där 2 2 har vi därför elliptiska punkter. På insidan, svarande mot punkter där π < u < 3π, har vi 2 2 hyperboliska punkter. Då u = ± π, alltså på top- och bottencirklarna, har vi krökningen 2 noll. Dessa är paraboliska punkter. Detta kan inses geometriskt, men också med hjälp av de beräknade krökningsriktningarna. 3 Inbäddning i det fyrdimensionella rummet Om vi istället definierar ψ : T 2 R 4 genom ψ(u, v) = (cos u, sin u, cos v, sin v) får vi en realisering av den abstrakta torusen i det fyrdimensionella euklidiska rummet. Nu ser vi lätt att ds 2 = du 2 + dv 2, vilket betyder att detta är en isometrisk inbäddning. Det betyder att krökningen är noll, och att de geodetiska kurvorna är bilden under räta linjer i v = ku (och v = 0) under modulo-avbildningen. Dessa blir slutna kurvor om k är ett rationellt tal, annars fyller de geodetiska kurvorna ut hela torusen. Så till andra fundamentalformen. Vi har dψ = ( sin u, cos u, 0, 0)du + (0, 0, sin v, cos v)dv

Analys på en torus 6 (6) En bas för det ortogonala komplementet ges då av n 1 = (cos u, sin u, 0, 0), n 2 = (0, 0, cos v, sin v). Det följer att dn 1 dψ = du 2, dn 2 dψ = dv 2 Noteringar 1. Den uppkommer genom att vi roterar en cirkel ett varv längs en annan cirkel.