Derivationsformler för tensorfält
|
|
- Elias Henriksson
- för 4 år sedan
- Visningar:
Transkript
1 Derivationsformler för tensorfält Anders Källén MatematikCentrum LTH Sammanfattning Derivation av vektorfält på en allmän mångfald är mer komplicerat än det verkar vid första anblick. Men i vektorrum är det inga problem, och i detta kapitel går vi igenom olika sätt att göra det på och vilka som generaliseras till allmännare tensorfält. Många av formlerna vi härleder gäller även på allmänna mångfalder, och ofta är bevisen desamma.
2 Derivationsformler för tensorfält 1 (17) 1 Introduktion I den här artikeln ska vi samla diverse formler som relaterar olika sätt att derivera tensorfält på en mångfald. För att förenkla diskussionen lite för vi den i ett allmänt vektorrum (av ändlig dimension). Det innebär att vi gör en koordinatfri analys i R n vilket leder till diverse relationer som kommer att ha direkta motsvarigheter på en orienterad mångfald. Detta därför att vi i varje punkt på en sådan kan välja en koordinatomgivning som liknar hur det ser ut i ett vektorrum (tangentrummet), s.k. normala koordinater, och där kan använda formlerna som diskuteras här. Fördelen med att göra analysen i ett vektorrum är att vi då kan arbeta med globala koordinater. Det finns tre närbesläktade, men ändå olika, sätt att derivera på en allmän mångfald, lite beroende på vad det är man ska derivera. Vi ska börja med att diskutera den kovarianta derivatan av ett allmänt tensorfält, d.v.s. hur vi kan definiera en derivata som inte beror på vilket koordinatsystem vi arbetar i. Eller snarare en riktningsderivata. Denna är nära relaterad inte bara till differentialoperatorn på differentialformer utan också till den s.k. Lie-derivatan. Vårt mål är att hitta koordinatoberoende beskrivningar av relationen mellan dessa olika derivationsoperatorer. Dessutom ska vi titta på deras adjunkta operatorer. Något om beteckningar. Vi kommer att arbeta i ett vektorrum V och elementen i detta kommer att kallas v, w,.... Ett vektorfält, alltså en avbildning på V, kommer att betecknas X, Y, Z,... medan allmänna tensorfält kommer att skrivas S, T,.... Slutligen betecknar vi skevsymmetriska tensorfält, alltså differentialformer, med små grekiska bokstäver α, β, ω, Tensorfält Låt M vara en glatt mångfald av dimension n. Med ett vektorfält på M menas då en glatt avbildning X : M T M på dess tangentknippe, och med en 1-form en glatt avbildning α : M T M på dess kotangentknippe. Allmänt är ett (r, s)-tensorfält en glatt avbildning T : M T r,s (T M), där T r,s T M betecknar det vektornknippe på M vars fiber över x är T r,s (Tx M). Rummet av sådana avbildningar betecknar vi T r,s (M). s-argumenten sägs här vara kovarianta variabler medan r-argumenten sägs vara kontravarianta variabler. I den här artikeln kommer vi att betrakta T (x) som en avbildning T 0,s (T M) T M r, alltså som vektorvärda kovarianta tensorer. Vi kommer ofta att beskriva olika tensorer i lokala koordinater. Det betyder att vi i en omgivning av en punkt p M bestämmer ett ramverk e 1,..., e n för motsvarande del av tangentknippet. Dess duala ramverk för motsvarande del av kotangentknippet kommer vi då att beteckna med θ 1,..., θ n ; det betyder att θ i (e j ) = δ ij. När vi vill beskriva motsvarande ramverk för tensorfält använder vi multiindex-beteckningar, vilket innebär att om I = {i 1,..., i s } så sätter vi Ett element T T r,s (M) kan då skrivas e I = e i1... e is, θ I = θ i 1... θ is. T (x) = I,J TJ I (e I θ J ) = ( TJ I θ J )e I. I =r J =s
3 Derivationsformler för tensorfält 2 (17) Ofta börjar vi med basen för kotangentknippet, och ett typiskt sätt att göra det är att börja med att införa lokala koordinater x 1,..., x n runt p och sedan ta θ i = dx i. Ofta väljer vi här vårt koordinatsystem med omdömme, så att det blir så enkelt som möjligt att räkna i. Ett tensorfält T T r,s (M) kan p.g.a. multilinjäriteten uppfattas som en linjär avbildning av vektorfält på vektorfält, d.v.s som en avbildning som uppfyller T (x)(f(x)x 1 (x),..., X s (x)) =... = T (x)(x 1 (x),..., f(x)x s (x)) (1) = f(x)t (x)(x 1 (x),..., X s (x)) för alla vektorfält X 1,..., X s och skalära funktioner f på M. Omvänt, om en multilinjär avbildning (över skalärer) som avbildar vektorfält på vektorfält uppfyller (1) så är den ett tensorfält. Detta är alltså vad vi måste kontrollera för att verifiera att en funktion av vektorfält som vi konstruerat blir ett tensorfält. 3 Derivation av tensorfält - konnektioner Om f är en skalärvärd funktion på M och X är ett vektorfält på M, så kan vi uppfatta df(x) som riktningsderivatan av f i riktningen X som mäter hur mycket f ändrar sig i riktning av X. Att utvidga detta till ett motsvarande begrepp för vektorfält Y (och sedan allmännare tensorer) visar sig mer komplicerat. Detta beror på att Y (x) tar sitt värde i vektorrummet T x M, och problemet är att det finns ingen kanonisk identifikation av punkter i olika sådana rum, vilket krävs för att vi ska kunna definiera en derivata (som ju mäter ändring i Y när vi rör oss mellan närliggande tangentrum). Detta är inget problem om T M är ett trivialt tangentknippe: T M = M V, ty då kan vi uppfatta Y som en avbildning M V och där kan vi använda t.ex. den vanliga differentialoperatorn. För att lyckas på ett allmänt tangentknippe måste man hitta ett sätt att identifiera olika tangentrum. Exempel 1 Om M är en undermångfald till R n så kan ett vektorfält på M deriveras som vanligt, men resultatet behöver inte bli en tangentvektor till M. Men detta kan vi korrigera genom att ortogonalt projicera på tangentrummet. Processen derivation följd av ortogonal projektion bildar en derivationsoperator på vektorfält. Men här måste vi inte välja att göra en ortogonal projektion; vi kan använda andra projektioner vilket ger oss andra derivationsoperatorer på vektorfält på M. Låt X Y beteckna en tänkt riktningsderivata av Y i riktning av X. De två viktiga egenskaper vi vill att dessa ska ha är (2) X (fy ) = df(x)y + f X Y, fx Y = f X Y. En avbildning avbildar två vektorfält på ett vektorfält sådan att (X, Y ) = X Y uppfyller (2) kallas en konnektion på M. Vi kallar X Y kallas den kovarianta derivatan av Y i riktning av X. Notera att första villkoret i (2) medför att en konnektion inte är en tensor.
4 Derivationsformler för tensorfält 3 (17) Att ange en konnektion på en mångfald är att ge den extra struktur som väsentligen identifierar olika tangentrum i tangentknippet. Hur mycket kan två olika konnektioner på en mångfald skilja sig åt? Låt, vara två konnektioner och sätt A(X, Y ) = X Y XY. Då gäller uppenbarligen att A(fX, Y ) = fa(x, Y ), men också att A(X, fy ) = df(x)y + f XY df(x)y f X Y = fa(x, Y ), så A är ett (1, 2)-tensorfält på M. Givet en konnektion på M vill vi utvidga den till en derivation på allmänna tensorfält. Det vi kräver av en sådan derivation är att (3) X (S T ) = X S T + S X T. Dessutom vill vi att (4) X (Tr S) = Tr( X S). Den första regeln är Leibniz regel och naturlig. Den hjälper oss t.ex. att definiera X (Y Z) och därmed den kovarianta derivatan av godtyckliga T 2,0 (T M)-tensorer. Och på samma sätt den kovarianta derivatan av godtyckliga kontravariantan tensorer. Den andra kräver sin förklaring. Den behövs för att vi ska se hur vi ska kunna definiera den kovarianta derivatan av konvarianta tensorer från den kovarianta derivatan av kontravarianta tensorer. Vi vill först definiera vad vi ska mena med X α där α är en 1-form. Tag då S = α Y i (4) och använd (3) Detta kan vi skriva X (Tr(α Y )) = Tr( X (α Y )) = Tr( X α Y ) + Tr(α X Y ). (5) X (i(y )α) = i(y ) X α + i( X Y )α, Ur detta ser vi att vi ska definiera 1-formen X α genom ( X α)(y ) = X (α(y )) α( X Y ). När vi nu vet vad X α är så kan vi använda (3) för att definiera den kovarianta derivatan avn godtyckliga kontravarianta tensorer. Om T T 0,2 (T M) kan vi bestämma ett konkret uttryck för X T genom att använda (5) på följande sätt. Vi får X (T (Y, Z)) = X (i(z)i(y )T ) = i(z) X (i(y )T ) + i( X Z)i(Y )T som kan skrivas om som = i(z)(i(y ) X T + i( X Y )T )) + i( X Z)i(Y )T (6) ( X T )(Y, Z) = d(t (Y, Z))(X) T ( Z X, Y ) T (X, Z Y ). Genom att fortsätta denna process får vi X T för en godtycklig (r, s)-tensor T : s ( X T )(X 1,..., X s ) = X T (X 1,..., X s ) T (X 1,..., X X i,..., X s ).
5 Derivationsformler för tensorfält 4 (17) Anmärkning I klassisk tensorlitteratur placeras X i den sista positionen istället och föregås av ett komma. Om t.ex. T är en tensor av typ (2, 3) skrivs denna T ij klm och T blir då en tensor av typ (2, 4) som betecknas T ij klm,r. Notera här att T är en vektorvärd form, och X T (X 1,..., X s ) innehåller derivation m.a.p. baselement i V. Om vi betraktar T som en skalärvärd form på T M r T M s istället så blir S = T (X 1,..., X s ) en form på T M r och ( X S)(θ 1,..., θ r ) = X (T (θ 1,..., θ r )) r T (θ 1,..., X θ i,..., θ r ). Själva konnektionen definieras som den (r, s + 1)-tensor T som ges av Betrakta nu avbildningen ( T )(θ 1,..., θ r, X, X 1,..., X s ) = X T (θ 1,..., θ r, X 1,..., X s ) För den gäller att Θ(Y, X) = Θ(X, Y ) och Θ(X, Y ) = X Y Y X [X, Y ]. Θ(fX, Y ) = f X Y (df(y )X + f Y X) [fx, Y ] = fθ(x, Y ) eftersom [fx, Y ](g) = fx(y (g)) Y (fx(g)) = fx(y (g)) Y (f)x(g) fy (X(g)) = f[x, Y ](g) df(y )X(g). Det följer att Θ är en (1, 2)-tensor som kallas torsionen till konnektionen. Definition Man säger att konnektionen är symmetrisk (eller torsions-fri) om för alla vektorfält X, Y. X Y Y X = [XY ] 4 Upprepad derivation och krökningstensorn Vi börjar med att betrakta kommutator-operatorn [ X, Y ] = X Y Y X, vilken uppenbarligen är skevsymmetrisk i X och Y och uppfyller att [ fx, Y ] = f X Y Y (f X ) = fa(x, Y ) df(y ) X. Eftersom [fx,y ] = f[x,y ] df(y )X = f [X,Y ] df(y ) X följer att [ fx, Y ] [fx,y ] = f([ X, Y ] [X,Y ] ). Vi inför därför R(X, Y ) = [ X, Y ] [X,Y ]
6 Derivationsformler för tensorfält 5 (17) och noterar då att R(fX, Y ) = R(X, fy ) = fr(x, Y ). En direkträkning ger också att R(X, Y )(S T ) = (R(X, Y )S) T + S (R(X, Y )T ). Om vi låter R(X, Y ) operera på en funktion f får vi att R(X, Y )f = X (df(y )) Y (df(x)) df([x, Y ]) = X(Y (f)) Y (X(f)) [X, Y ](f) = 0. Om vi istället låter den operera på ett vektorfält så ger formeln ovan att Det betyder att avbildningen R(X, Y )(fz) = (R(X, Y )f)z + fr(x, Y )Z = fr(x, Y )Z. (X, Y, Z) R(X, Y )Z är en (1, 3)-tensor. Med andra ord, den definierar för varje x M en multilinjär avbildnign Definition (1, 3)-tensorn T x M T x M T x M T x M. (7) R(X, Y )Z = ([ X, Y ] [X,Y ] )Z kallas krökningstensorn på M och är skevsymmetrisk i (X, Y ). En grundläggande symmetri för krökningstensorn ges av Bianchis (första) identitet som säger att om konnektionen är symmetrisk så gäller att där C(R(X, Y )Z) = 0 C(f(u, v, w)) = f(u, v, w) + f(w, u, v) + f(v, w, u) är den symmetriska summan av de tre argumenten. Det finns också en motsvarande formel om konnektionen inte är symmetrisk, men vi överlåter diskussionen av dessa till ett annat sammanhang. Bevis. Ur definitionen har vi att Men här gäller att R(X, Y )Z + R(Y, Z)X + R(Z, X)Y = X Y Z Y X Z [X,Y ] Z + Y Z X Z Y X [Y,Z] X + Z X Y X Z Y [Z,X] Y = X ( Y Z Z Y ) + Y ( Z X X Z) + Z ( X Y Y X så vi har tre uttryck på formen [X,Y ] Z [Y,Z] X [Z,X] Y. Y Z Z Y = [Y, Z] + Θ(Y, Z) X ( Y Z Z Y ) [Y,Z] X = X Θ(Y, Z) + X [Y, Z] [Y,Z] X X Θ(Y, Z) + [X, [Y, Z]] + Θ(X, [Y, Z]) Tar vi den cykliska summan av detta försvinner mitt-termen och vi får att C(R(X, Y )Z) = C(Θ(X, [Y, Z]) + X Θ(Y, Z)). Här är naturligtvis högerledet noll då Θ = 0.
7 Derivationsformler för tensorfält 6 (17) Dessutom finns det en Bianchis andra identitet: för en Levi-Civita-konnektionen. X R(Y, Z) + Y R(Z, X) + Z R(X, Y ) = 0 Bevis. Låt vänsterledet operera på vektorfältet W och använd formeln (?) ovan. Vänsterledet blir då X (R(Y, Z)W ) + Y (R(Z, X)W ) + Z (R(X, Y )W ) R( X Y, Z)W R(Y, X Z)W R( Y Z, X)W R(Z, Y X)W R( Z X, Y )W R(X, Z Y )W R(Y, Z) X W R(Z, X) Y W R(X, Y ) Z W. Men här gäller att de tre raderna i mitten är lika med minus R( X Y Y X, Z) + R( Y Z Z Y, X) + R( Z X X Z, Y ) = R(Θ(X, Y ) + [X, Y ], Z) + R(Θ(Y, Z) + [Y, Z], X) + R(Θ(Z, X) + [Z, X], Y ). Vidare gäller att första raden är lika med X Y Z W X Z Y W + Y Z X W Y X Z W + Z X Y W Z Y X W X [Y,Z] W Y [Z,X] W Z [X,Y ] W = = Y Z X W Z Y X W + Z X Y W X Z Y W + X Y Z W Y X Z W [Y,Z] X W R(X, [Y, Z]) [X, [Y, Z]]W [Z,X] Y W R(Y, [Z, X]) [Y,[Z,X]] W [X,Y ] Z W R(Z, [X, Y ]) [Z,[X,Y ]] W = R(Y, Z) X W + R(Z, X) Y W + R(X, Y ) Z W R(X, [Y, Z])W R(Y, [Z, X]) R(Z, [X, Y ])W, där vi använt Jacobis identitet för kommutatorn. Det följer att vänsterledet i Bianchis andra identitet är lika med R(X, Θ(Y, Z)) + R(Y, Θ(Z, X)) + R(Z, Θ(X, Y )) och är alltså noll då Θ = 0. Istället ska vi nu titta på en upprepade konnektionsoperator 2 T = T vilken, om T är en (r, s)-tensor, är en (r, s + 2)-tensor. Vi har då följande formel 2 T (X, Y, Z 1,..., Z s ) = X ( Y T )(Z 1,..., Z s ) ( X Y )(Z 1,..., Z s ).
8 Derivationsformler för tensorfält 7 (17) Bevis. Vi har 2 T (X, Y, Z 1,..., Z s ) = ( T )(X, Y, Z 1,..., Z s ) s = X ( T (Y, Z 1,..., Z s )) T ( X Y, Z 1,..., Z s ) T (Y,..., X Z i,..., Z s ) + = X ( Y T (Z 1,..., Z s ) X Y (T (Z 1,..., Z s )) s s T (Z 1,..., X Y Z i,..., Z s ) ( Y T )(Z 1,..., X Z i,..., Z s ). = X ( Y T )(Z 1,..., Z s ) ( X Y T )(Z 1,..., Z s ). För ett vektorfält Z på M får vi nu direkt att alltså 2 Z(X, Y ) 2 Z(Y, X) = X ( Y Z) Y ( X Z) X Y Y XZ = X ( Y Z) Y ( X Z) [X,Y ] Z, 2 Z(X, Y ) 2 Z(Y, X) = R(X, Y )Z. Vi ser alltså att krökningstensorn utgör ett mått på hur symmetrisk andraderivatan av ett vektorfält är. Motsvarande gäller för 1-former i form av följande formel: Bevis. Vänsterledet kan skrivas 2 ω(x, Y, Z) 2 ω(y, X, Z) = ω(r(y, X)Z). X( Y ω(z)) Y ω( X Z) X Y (ω(z)) + ω( X Y Z) Y ( X ω(z)) + X ω( Y Z) + Y X(ω(Z)) ω( Y XZ) = ω( Y X Z X Y Z + [X,Y ] Z) + X( Y ω(z)) Y (ω( X Z) X Y (ω(z)) Y ( X ω(z)) + X(ω( Y Z)) + Y X(ω(Z)) = ω(r(y, X)Z) +X(Y (ω(z)) ω( Y Z)) Y (ω( X Z)) [X, Y ](ω(z)) Y (X(ω(Z))) ω( X Z))+X(ω( Y Z)) Ricci-tensorn är den (0, 2)-tensor som definieras av = ω(r(y, X)Z). Ric(X, Y ) = Tr(U R(U, X)Y ). Den är symmetrisk, Ric(X, Y ) = Ric(Y, X), så vi får en sektion av S 2 (T M). Den skalära krökningen definieras sedan av R = Tr Ric.
9 Derivationsformler för tensorfält 8 (17) 5 Derivation på metriska mångfalder Vi ska nu lägga mer struktur på vår mångfald M genom att förse den med en metrik, som inte nödvändigtvis behöver vara positivt definit. Det innebär att vi definierar en skalärprodukt i varje tangentrum T x M vilken varierar glatt med baspunkten x. Vi börjar med att diskutera skalärprodukter i ett allmänt vektorrum V. En skalärprodukt g(u, v) är en icke-singulär, bilinjär form på V, dvs om g(u, u) = 0 så måste u = 0, men behöver inte vara positivt definit. Med hjälp av denna skalärprodukt får vi en kanonisk identifikation mellan V och dess dual V. Mer precist, om vi definierar v (u) = g(u, v), så blir v en 1-form på V, alltså ett element i V. Eftersom skalärprodukten är icke-singulär definierar detta en isomorfism mellan V och V, vars inversa avbildning vi skriver α α. Om e 1,..., e n är en bas för V, skriver man ofta e i = e i. Denna s.k. musikaliska isomorfism kan utvidgas till mer allmänna multilinjära former. Om t.ex. S är en (0, 2)-tensor, så får vi en (1, 1)-tensor S genom relationen g(s (u), v) = S(u, v). Vi kan nu definierar en skalärprodukt på de olika tensorrummen också. På V definieras denna genom att (α, β) = g(α, β ) som också kan skrivas (α, β) = α(β ). Detta generalisers till till allmänna tensorer genom att vi definierar (S, e I J) = S(e J I ) och sedan använder linjäriteten i det andra argumentet för att få skalärprodukten (S, T ) för godtyckliga S, T. Vi kan notera att om {e i } är en ON-bas för V, så gäller att (S, T ) = I,J S(e J I )T (e I J). En metrik på M är nu en glatt avbildning g : M S 2 (T M) där g(x) är en metrik i T x M. Liksom ovan utvidgas den till metriker på T r,s (Tx M). För att från detta få en skalärprodukt på tensorfält på M behöver vi en orientering på M med tillhörande volymsform σ M. Vi kan då definiera (S, T ) = (S, T )σ M, S, T T r,s (M). M Vi ska nu se vilka konsekvenser metriken får för den kovarianta derivatan. Den första observationen är följande. Om X, Y, Z är vektorfält på M så gäller för en godtycklig konnektion att g(x, Y, Z) = ( X g)(y, Z) = dg(y, Z)(X) g( X Y, Z) g(y, X Z). Att g = 0 innebär då att (8) d(g(y, Z))(X) = g( X Y, Z) + g(y, X Z). Definition En konnektion sägs vara kompatibel med metriken om (5) gäller för alla vektorfält X, Y, Z.
10 Derivationsformler för tensorfält 9 (17) Följande observation är nu viktig: om konnektionen är kompatible med metriken och ω är en 1-form gäller att ( X ω) = X ω. Detta följer av att ( X ω)(y ) = dω(y )(X) ω( X Y ) = dg(ω, Y )(X) g(ω, X Y ) = g( X ω, Y ) + g(ω, X Y ) g(ω, X Y ) = g( X ω, Y ). Att en konnektion är kompatibel med metriken g medför att d(g(y, Z))(X) + d(g(z, X))(Y ) d(g(x, Y ))(Z) = g(z, X Y + Y X) + g(y, X Z Z X) + g(x, Y Z Z Y ). Om vi dessutom antar att konnektionen är symmetrisk kan vi skriva om högerledet här som 2g(Z, X Y ) g(z, [X, Y ]) + g(y, [X, Z]) + g([y, Z]), och vi får det som kallas Koszuls formel g( X Y, Z) = 1 (d(g(y, Z))(X) + d(g(z, X))(Y ) d(g(x, Y ))(Z)) 2 +g(z, [X, Y ]) g(y, [X, Z]) g(x, [Y, Z]). Men vi kan då vända på detta, vilket vi kan formulera som följer Sats 1 På en metrisk mångfald finns precis en konnektion som är både symmetrisk och förenlig med metriken. Den kallas Levi-Civita konnektionen. Bevis. Vi definierar naturligtvis konnektionen genom Koszuls formel. Vi måste visa att formeln definierar en konnektion som automatiskt blir symmetrisk och förenligt med metriken. Det överlåts åt läsaren. Anmärkning Den allmänna Koszuls formel, då konnektionens torsion inte är identiskt noll, är g( X Y, Z) = 1 (d(g(y, Z))(X) + d(g(z, X))(Y ) d(g(x, Y ))(Z))+ 2 g([x, Y ] + Θ(X, Y ), Z) g([x, Z] + Θ(X, Z), Y ) g([y, Z] + Θ(Y, Z), X). En annan användbar formel är följande: Vänsterledet är nämligen lika med d(x )(Y, Z) = 2g(Alt( X)(Y ), Z). Y (X )(Z) Z(X )(Y ) X ([Y, Z]) = Y (g(x, Z)) Z(g(X, Y )) g(x, [Y, Z]) = g( Y X, Z) g( Z X, Y ) + g(x, Y Z Z Y [Y, Z]) där den sista termen är noll och den första är högerledet ovan.
11 Derivationsformler för tensorfält 10 (17) 6 Riemanns krökningstensor Med hjälp av metriken kan vi ur krökningstensorn definiera det som kallas Riemanntensorn: Rm(X, Y, Z, W ) = g(r(x, Y )Z, W ). Alternativt: Rm = R. Denna ärver direkt två viktiga symmetrier från krökningstensorn: och, från Bianchis första identitet, Rm(X, Y, Z, W ) = Rm(Y, X, Z, W ) Rm(X, Y, Z, W ) + R(Y, Z, X, W ) + R(Z, Y, X, W ) = 0. Dessutom är den skevsymmetrisk i de två sista argumenten också: Rm(X, Y, Z, W ) = Rm(X, Y, W, Z). Detta följer av att Rm(X, Y, Z, Z) = 0 för alla Z (polarisering), vilket i sin tur följer som följer. Vi observerar först att varför g( X Y Z, Z) = X(g( Y Z, Z)) g( Y Z, X Z), 2g( X Z, Z) = X(g(Z, Z)), g(r(x, Y )Z, Z) = g( X Y Z, Z) g( Y X Z, Z) g( [X,Y ] Z, Z) = X(g( Y Z, Z)) Y (g( X Z, Z)) g( [X,Y ] Z, Z) = 1 (X(Y (f)) Y (X(f)) [X, Y ](f)) = 0, 2 där f = g(z, Z). Ur dessa symmetrier följer slutligen att Rm(X, Y, Z, W ) = Rm(Z, W, X, Y ). Med hjälp av Bianchis första identitet har vi nämligen att Rm(X, Y, Z, W ) = Rm(Z, X, Y, W ) Rm(Y, Z, X, W ) = R(Z, X, W, Y )+R(Y, Z, W, X) = Rm(W, Z, X, Y ) Rm(X, W, Z, Y ) Rm(W, Y, Z, X) Rm(Z, W, Y, X) = 2Rm(W, Z, Y, X)+Rm(X, W, Y, Z)+Rm(W, Y, X, Z) = 2Rm(W, Z, X, Y ) Rm(Y, X, W, Z), varur resultatet följer. Vi har också Bianchis andra identitet som säger att Rm(X, Y, Z, V, W ) + Rm(Y, Z, X, V, W ) + Rm(Z, X, V, W ) = 0. Bevis. Vi har att Rm(X, Y, Z, V, W ) = X Rm(Y, Z, V, W ) = X (Rm(Y, Z, V, W )) Rm( X Y, Z, V, W ) Rm(Y, X Z, V, W ) Rm(Y, Z, X V, W ) Rm(Y, Z, V, X W = X g(r(y, Z)V, W ) g( Sammanfattningsvis ser vi att Riemanntensorn är en symmetrisk bilinjärform på Λ 2 (T M), vilken uppfyller Bianchis första identitet. Med hjälp av den musikaliska isomorfismen får vi då en avbildning Rm : Λ 2 (T M) Λ 2 (T M) sådan att (Rm ω, η) = (ω, Rm η).
12 Derivationsformler för tensorfält 11 (17) 7 Den formella adjunkten till en konnektion Om X är ett vektorfält på M så är X en (1, 1)-tensor och om vi tar spåret av den, div X = Tr( X), får vi en funktion på M som vi känner igen som divergensen i den klassiska vektoranalysen: om E i är en ON-ram på T M så gäller att div X = j Ej X(E j ) = j θ j ( Ej X). Proposition Om σ M är volymsformen på M och X är ett vektorfält så gäller att d(i(x)σ M ) = (div X)σ M. Bevis. Låt {E i } vara en lokal ON-ram på T M och låt θ i vara den duala ramen på T M, sådan att σ M = θ 1... θ n. Då gäller att i(x)σ M = j ( 1) j 1 θ j (X)θ j. Det följer att d(i(x)σ M ) = i θ i Ei (i(x)σ) = i θ i Ei ( j ( 1) j 1 θ j (X)θ j ) = i,j ( 1) j 1 d(θ j (X))(E i )θ j = i θ i ( Ei X)σ M = (div X)σ M. Mer generellt, om T är en (r, s)-tensor definierar vi divergensen av T, div T som (r, s 1)- tensorn som ges av (div T )(Y 1,..., Y s 1 ) = Tr(X ( T ) (X,., Y 1,..., Y s 1 ), dvs vi tar spåret av den kovarianta derivatan av de två första kovarianta indexen. I koordinater (div T ) I J = g ij i TjJ. I i,j Notera att vi för ett vektorfält får att div X = div(x ). Med hjälp av detta får vi att om T är ett (r, s)-tensorfält och S ett (r, s + 1)-tensorfält, så gäller att ( T, S)σ M = (T, div S)σ M. M M Detta innebär att T = div T,
13 Derivationsformler för tensorfält 12 (17) d.v.s. den negativa divergensen är den formella adjunkten till. För att se påståendet, sätt P (X) = (T, i(x)s) = T (e I )S(X, e I ), I vilket är (T, S) betraktad som en 1-form. Då gäller att div P = ( T, S) + (T, div S). Men enligt Stokes sats är (div X)σ M = d(i(x)σ M ) = 0 M för varje vektorfält X, så resultatet följer av att div P = div P. Anmärkning Detta är lite luddigt. Mer explicit har vi i koordinater att P = I,J,j T J I SI jj θj, vilket betyder att div P = I,J,j M j (T J I S I jj) = I,J,j( j T J I )S I ji + T J I j S I jj = ( T, S) + (T, div S). Exempel 2 Vi har att om R är krökningstensorn så innebär Bianchis andra identitet att div R = d Ric, där d : S 2 (T M) Λ 2 (T M) T M definieras av d h(x, Y, Z) = h(x, Y, Z) (Y, Z, X. Vidare har vi att div Ric = 1 2 ds, där S är den skalära krökningen. För detta väljer vi ON-bas som är geodetisk i p (så att ei e j (p) = 0). Då gäller i p att g(div Ric, X) = i g(( ei Ric)e j, X) = i,j g( ej R(e j, e i )e i, X) = i,j g(( ej R)(e i, X)e j, e i ) = i,j ( g(( ei R)(X, e j )e j, e i ) g(( X R)(e j, e i )e j, e i ))) där vi använt Bianchis andra identitet. Detta är lika med = j g(( ej Ric)(X), e j ) X(S) = g(div(ric), X) X(S). Vi noterar också att Vi ser då att M T = div( T ) = Tr( 2 T ). ( T, S)σ M = ( T, S)σ M = (T, S)σ M, M M så är en självadjungerad operator. Den kallas den råa Laplaceoperatorn på M för konnektionen.
14 Derivationsformler för tensorfält 13 (17) 8 Liederivatan av tensorfält Låt X vara ett vektorfält på M (som vi inte specificerar någon metrik på i det här avsnittet). Detta definierar då ett flöde {Φ t } av diffeomorfismer på M genom att d dt Φ t(x) = X(Φ t (x)). Om S är en (0, s)-tensor på M definierar vi Lie-derivatan av S genom L X S = d dt Φ t S t=0. Den mäter vilken förändringshastighet S har då den rör sig med flödet. För en reellvärd funktion f på M ger detta att L X (f) = df(x). Lie-derivatan avbildar tensorer på tensorer samma typ och det är klart att Leibniz regel (9) L X (S T ) = L X S T + S L X T gäller (eftersom Φ t (S T ) = Φ t T Φ t T ). För att göra motsvarande infinitesimala beskrivning av hur ett vektorfält Y ändrar sig i riktning av ett annat vektorfält X tillgår lite annorlunda. Vi börjar då med att beräkna Y i punkten Φ t (x) varigenom vi får en vektor i den punkten. Sedan drar vi tillbaka denna vektor till x med hjälp av differentialen dφ t : Lie-derivatan ges nu i analogi med ovan av Φ t Y (x) = dφ t (Y (Φ t (x))). L X Y = d dt Φ t Y t=0. En allmän definition av Lie-derivatan för en godtycklig (r, s)-tensor får vi genom att kräva att Leibniz formel (9) gäller. Men härigenom har vi definierat både vad som menas med Φ t S för en godtycklig tensor på M samt dess infinitesimala beskrivning i form av Lie-derivatan L X S = d dt Φ t S t=0. Vi ska nu explicit beräkna L X Y för två vektorfält X och Y. Resultatet är ett vektorfält, och om vi ser detta som en differentialoperator på funktioner så ska det beräknas genom att vi beräknar derivatan av Φ t Y (f) = Φ t Y (Φ t f) i t = 0. P.g.a. linjäriteten har vi att Φ t Y (Φ t f) f = Φ t Y (Φ t f f) + (Φ t Y Y )(f) så en derivering ger att L X (Y (f)) = Y (L X f) + (L X Y )(f), vilket vi också kan skriva som X(Y (f)) = Y (X(f)) + L X Y (f). Med andra ord L X Y = [X, Y ].
15 Derivationsformler för tensorfält 14 (17) Jacobis identitet för kommutatorn innebär då att [L X, L Y ] = L [X,Y ]. Eftersom kommutatorn är skev-symmetrisk har vi att L X Y = L Y X och eftersom Φ t (fy ) = Φ t fφ t Y, följer genom en derivation att L X (fy ) = L X (f)y + fl X (Y ). Ur detta får vi att L fx Y = L Y (fx) = df(y )X fl Y X = df(y )X + fl X Y. Vi ser från detta att om vi vill uppfatta L X Y som en riktningsderivata, så räcker det inte att veta X:s värde i punkten ifråga, utan vi måste också känna dess värde i en omgivning av punkten Vi ska nu utnyttja detta till ytterligare analys av Lie-derivatan av (0, s)-tensorer S. Vi börjar då med att konstatera att Φ t (i(y )S) = i(φ t Y )Φ t S, och deriverar vi det m.a.p. t och sätter t = 0 får vi att Vi kan skriva det som att Om α är en 1-form följer ur detta att L X (i(y )S) = i(l X Y )S + i(y )L X S. i([x, Y ]) = [L X, i(y )]. L X α(y ) = L X (α(y )) α([x, Y ]). Formeln ovan kan vidareutvecklas till att ge oss en explicit formel för Lie-derivatan av allmänna (0, s)-tensorer. Vi har nämligen att (X, X 1,..., X s är alla vektorfält) L X (S(X 1,..., X s )) = L X (i(x s )... i(x 1 )S), och om vi använder formeln ovan på i(x k 1 )... i(x 1 )S får vi att L X (S(X 1,..., X s )) = S(X 1,..., X s 1, L X X s ) + (i(x s )L X S)(X 1,..., X s 1 ). Fortsätter vi på det sätter och flyttar om lite får vi slutligen att s (L X S)(X 1,..., X s ) = L X (S(X 1,..., X s )) S(X 1,..., [X, X i ],..., X s ). Exempel 3 En metrik g på M är en (symmetrisk) (0, 2)-tensor och vi har därför att (L X g)(y, Z) = dg(y, Z)(X) g([x, Y ], Z) g(y, [X, Z]). Kombinerar vi detta med ovanstående formler ser vi att (L X g)(y, Z) = g( Y X, Z) + g(y, Z X) = ( Y X) (Z) + ( Z X) (Y ) = Y X (Z) + Z X (Y ) = 2 Sym( X )(Y, Z) = 2g(Sym( X)(Y ), Z). Anmärkning Den allmänna formeln för en T r,s (M)-tensor blir (L X S)(θ 1,..., θ r, X 1,..., X s ) = L X (S(θ 1,..., θ r, X 1,..., X s )) r s S(θ 1,..., L X θ i,..., θ r, X 1,..., X s ) S(θ 1,..., θ r, X 1,..., [X, X i ],..., X s ).
16 Derivationsformler för tensorfält 15 (17) 9 Yttre differentialkalkyl Bland tensorfält av typ T 0,p (M) finns både underrrummet av symmetriska fält S p (M) och underrummet av skev-symmetriska fält, alltså rummet av k-former λ p (M). På detta senare rum ger oss kilprodukten en multiplikation : λ p (T M) λ q (T M) λ p+q (T M). Vidare har vi den yttre differentialoperatorn d : λ p (M) λ p+1 (M) som definieras av (10) dω(x 0,..., X p ) = p ( 1) j ( Xj ω)(x 0,..., ˆX j,..., X p ) = Alt( ω). i=0 Följande observation är viktig. Om vi förser M med en metrik och {E i } är en lokal ON-ram på T M och {θ i } den duala ON-basen på T M, så gäller för ω λ p (M) att dω = p θ i Ei ω. För att se att detta gäller observerar vi bara att X ω = i θ i (X) Ei ω, så vi har ur (10) att dω(x 0,..., X p ) = p ( 1) j j=0 n θ i (X j )( Ei ω)(x 0,..., ˆX j,..., X p ) vilket är precis i (θi Ei ω)(x 0,..., X p ). Ur definitionen av d får vi direkt räkneregler som d(ω η) = (dω) η + ( 1) p ω (dη), ω λ p (V ). Det följer också direkt ur definitionen av Lie-derivatan att L X är en funktion på λ p (V ) och att d L X = L X d, L X (ω η) = (L X ω) η + ω (L X η). Den vänstra likheten följer av differentialens invarians: Φ t dω = d(φ t ω) och den högra av att Φ t (ω η) = (Φ t ω) (Φ t η). En annan, djupare, relation mellan differentialen och Lie-derivatan ges i nästa sats. Sats 2 (Cartan-Weils formel) Om ω är en p-form och X ett vektorfält på V, så gäller att L X (ω) = i(x)dω + d(i(x)ω). Bevis. Antag först att ω = α dg där α är en p 1-form och g en funktion. Då gäller att L X (ω) = L X (α) dg + α L X (dg) = L X (α) dg + αd(x(g)),
17 Derivationsformler för tensorfält 16 (17) medan vi har att i(x)dω = i(x)(dα dg) = (i(x)dα) dg + ( 1) p (dα)x(g), d(i(x)ω) = d(i(x)α dg + ( 1) p 1 αx(g)) = d(i(x)α) dg + ( 1) p 1 ((dα)x(g) + ( 1) p 1 α d(x(g))). Lägger vi ihop de sista två likheterna får vi att i(x)dω) + d(i(x)ω) = (i(x)dα) + d(i(x)α)) dg + α d(x(g)). Vi ser att vi nu kan göra ett induktionsbevis. Vi vet att formeln är sann för 0-former (ty L X (f) = df(x) = i(x)df och i(x)f = 0). Antag att den är sann för alla p 1-former. Enligt vad vi sett ovan är den då också sann för alla p-former på formen ω = α dg. Men alla p-former kan fås som linjärkombinationer av sådana former, varför formeln är sann även för alla p-former. Exempel 4 Om σ M är volymselementet på en orienterad metrisk mångfald M så gäller för varje vektorfält X att L X σ M = d(i(x)σ M ) = (div X)σ M. Vi ska använda denna sats till att skapa explicita formler för den yttre differentialen uträknad med hjälp av vektorfält X i på V. Vi börjar med fallet när ω är en 1-form. Då gäller att dω(x, Y ) = i(y )i(x)dω = i(y )(L X (ω) d(i(x)ω) = (L X (ω) d(ω(x))(y ). Men vi vet från ovan att för en 1-form gäller att vilket ger att (L X ω)(y ) = L X (ω(y )) ω([x, Y ]) = X(ω(Y )) ω([x, Y ]) dω(x, Y ) = X(ω(Y )) Y (ω(x)) ω([x, Y ]). Detta är en oerhört användbar formel som ofta går under namnet Cartan s magiska formel. Den kan alternativt skrivas dω(x, Y ) = d(ω(y ))(X) d(ω(x))(y ) ω([x, Y ]). Antag nu istället att ω är en 2-form. Då får vi på motsvarande sätt dω(x, Y, Z) = i(z)i(y )i(x)dω = i(z)i(y )(L X (ω) d(i(x)ω)). Men nu vet vi från ovan att (L X ω)(y, Z) = L X (ω(y, Z)) ω([x, Y ], Z) ω(y, [X, Z]) och för 1-formen α = i(x)ω kan vi använda Cartans magiska formel. I den gäller att Y (α(z)) = Y (ω(x, Z)), Z(α(Y )) = Z(ω(X, Y )), α([y, Z] = ω(x, [Y, Z]).
18 Derivationsformler för tensorfält 17 (17) Sätter vi ihop detta får vi att för en 2-form gäller att dω(x, Y, Z) = X(ω(Y, Z)) Y (ω(x, Z)) + Z(ω(X, Y )) (11) ω([x, Y ], Z) ω(x, [Y, Z]) ω(y, [X, Z]). Om man fortsätter denna process får vi följande explicita uttryck för den yttre differentialen p dω(x 0,..., X p ) = ( 1) i X i (ω(x 0,..., ˆX i,..., X p )) i=0 ( 1) i+j ω([x i, X j ], X 0,..., ˆX i,..., ˆX j,..., X p ). i<j Som avslutning drar vi följande slutsats ur Cartan s magiska formel och dess motsvarighet (11): Om α är en 1-form gäller att d 2 α(x, Y, Z) = α(c[[x, Y ], Z]). Anmärkning Vi ser alltså att villkoret d 2 α = 0 är ekvivalent med Jacobis identitet för vektorfält. Som förberedelse noterar vi att (4) alternativt kan skrivas Bevis. Formeln ovan medför att och vi har att dω(x, Y, Z) = C(X(ω(Y, Z) ω([x, Y ], Z). d 2 α(x, Y, Z) = C(X(dα(Y, Z)) dα([x, Y ], Z)), X(dα(Y, Z)) = X(Y (α(z))) X(Z(α(Y ))) X(α([Y, Z])) Men den cykliska summan av X(Y (α(z))) X(Z(α(Y ))) blir lika med den cykliska summan av [X, Y ](α(z)), och vi har att vilket visar att dα([x, Y ], Z) = [X, Y ](α(z)) Z(α([X, Y ]) α([[x, Y ], Z]), d 2 α(x, Y, Z) = C([X, Y ](α(z)) X(α([Y, Z] ([X, Y ](α(z)) X(α([Y, Z]) α([[x, Y ], Z]))) = C(α([[X, Y ], Z])). Den formella adjunkten till d får vi t.ex. ur följande räkning: (d ω, η) = (ω, dη) = (ω, Alt( η))σ V = (ω, η) = ( div ω, η), så d = div. I en ON-ram betyder det att vi kan skriva M d ω = i i(e i ) Ei ω och den avbildar alltså p-former på (p 1)-former. För fullständighetens skull sätter vi d f = 0 för skalärvärda funktioner. Anmärkning Det finns ett alternativt uttryck för d i Hodges stjärnoperator, men vi tar inte upp det här.
Vektorknippen och tensorfält
Analys 360 En Webbaserad Analyskurs Differentialtopologi Vektorknippen och tensorfält Anders Källén MatematikCentrum LTH anderskallen@gmail.com Vektorknippen och tensorfält 1 (10) 1 Introduktion Tensorer
Läs merDifferentialformer och lite vektoranalys
Analys 360 En webbaserad analyskurs Analys på mångfalder Differentialformer och lite vektoranalys Anders Källén MatematikCentrum LTH anderskallen@gmail.com Differentialformer och lite vektoranalys 1 (15)
Läs merFFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar
FFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar Christian Forssén, Institutionen för fysik, Chalmers, Göteborg, Sverige Sep 11, 2017 12. Tensorer Introduktion till tensorbegreppet Fysikaliska
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Linjära avbildningar II Innehåll Repetition:
Läs merUppgifter till kurs: Geometriska analys och designmetoder för olinjära system
Uppgifter till kurs: Geometriska analys och designmetoder för olinjära system Erik Frisk 2 juni 200 Uppgift. Antag ett linjärt system som beskrivs av exkvationerna: ẋ = Ax+Bu y = Cx med n = 4 tillstånd,
Läs merMultilinjär algebra. MatematikCentrum LTH
Multilinjär algebra Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I det här kapitlet diskuterar vi de algebraiska grunderna för differentialformer, vilket görs ur ett abstrakt
Läs mer1 Konvexa optimeringsproblem grundläggande egenskaper
Krister Svanberg, april 2012 1 Konvexa optimeringsproblem grundläggande egenskaper Ett optimeringsproblem är i viss mening godartat om det tillåtna området är en konvex mängd och den målfunktion som ska
Läs merÖvningar. MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik. Linjär algebra 2. Senast korrigerad:
MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Linjär algebra 2 Senast korrigerad: 2006-02-10 Övningar Linjära rum 1. Låt v 1,..., v m vara vektorer i R n. Ge bevis eller motexempel till
Läs mer1 Vektorer och tensorer
Föreläsning 1. 1 Vektorer och tensorer Vi kommer att använda två olika beteckningar för vektorer. Enligt det första systemet använder vi fet stil för en vektor i typsatt text och ett vektorstreck då vi
Läs merDifferentialens geometriska betydelse
Analys 360 En webbaserad analyskurs Differentialkalkyl Differentialens geometriska betydelse Anders Källén MatematikCentrum LTH anderskallen@gmail.com Differentialens geometriska betydelse 1 (9) Introduktion
Läs merÖvningar. c) Om någon vektor i R n kan skrivas som linjär kombination av v 1,..., v m på precis ett sätt så. m = n.
Övningar Linjära rum 1 Låt v 1,, v m vara vektorer i R n Ge bevis eller motexempel till följande påståenden Satser ur boken får användas a) Om varje vektor i R n kan skrivas som linjär kombination av v
Läs merPrimitiva funktioner i flerdim
Analys 36 En webbaserad analyskurs Differentialkalkyl Primitiva funktioner i flerdim Anders Källén MatematikCentrum LTH anderskallen@gmail.com Primitiva funktioner i flerdim 1 (11) 1 Introduktion Att bestämma
Läs merOm ortonormerade baser i oändligtdimensionella rum
Analys 360 En webbaserad analyskurs Funktionsutvecklingar Om ortonormerade baser i oändligtdimensionella rum Anders Källén MatematikCentrum LTH anderskallen@gmail.com Om ortonormerade baser i oändligtdimensionella
Läs merSF1649, Vektoranalys och komplexa funktioner Tentamen, måndagen den 19 december Lösningsförslag. F n ds,
Institutionen för matematik, KTH Serguei Shimorin SF1649, Vektoranalys och komplexa funktioner Tentamen, måndagen den 19 december 211. Lösningsförslag 1. Räkna ut flödesintegral F n ds, där F = (x e y,
Läs merx ( f u 2y + f v 2x) xy = 24 och C = f
Institutionen för Matematik, KTH Torbjörn Kolsrud SF160, Differential- och integralkalkyl II, del 2, flervariabel, för F1. Tentamen onsdag 0 maj 2012, 8.00-1.00 Förslag till lösningar 1. Bestäm tangentplanet
Läs merInstitutionen för Matematik, KTH Torbjörn Kolsrud
Institutionen för Matematik, KTH Torbjörn Kolsrud 5B 7, ifferential- och integralkalkyl II, del 2, flervariabel, för F. Tentamen fredag 25 maj 27, 8.-3. Förslag till lösningar (ändrat 28/5-7, 29/5-7).
Läs merTATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning
TATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning Johan Thim 4 mars 2018 1 Linjära DE av godtycklig ordning med konstanta koefficienter Vi kommer nu att betrakta linjära differentialekvationer
Läs merLäsanvisningar till kapitel
Läsanvisningar till kapitel 2.3 2.5 2.3 Analytiska funktioner Analytiska funktioner, eller holomorfa funktioner som vi kommer kalla dem, är de funktioner som vi komer studera så gott som resten av kursen.
Läs merTentamen 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.
Institutionen för matematiska vetenskaper Chalmers tekniska högskola Niklas Eriksen Tentamen i tmv6c och tmv5c, Analys och linjär algebra C för K, Kf och Bt Lösningar 9--6. Lös initialvärdesproblemet x
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Linjära avbildningar I Innehåll En liten tillbakablick:
Läs merOändligtdimensionella vektorrum
Oändligtdimensionella vektorrum Vi har i den här kursen huvudsakligen studerat ändligtdimensionella vektorrum. Dessa är mycket användbara objekt och matriskalkyl ger en bra metod att undersöka dom med.
Läs merFFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar
FFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar Christian Forssén, Institutionen för fysik, Chalmers, Göteborg, Sverige Sep 14, 2018 5. Indexnotation Precis som vi har räkneregler för
Läs merMVE035. Sammanfattning LV 1. Blom, Max. Engström, Anne. Cvetkovic Destouni, Sofia. Kåreklint, Jakob. Hee, Lilian.
MVE035 Sammanfattning LV 1 Blom, Max Engström, Anne Cvetkovic Destouni, Sofia Kåreklint, Jakob Hee, Lilian Hansson, Johannes 11 mars 2017 1 Partiella derivator Nedan presenteras en definition av partiell
Läs mer= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).
Institutionen för Matematik, KTH Torbjörn Kolsrud SF163, ifferential- och integralkalkyl II, del 2, flervariabel, för F1. Tentamen torsdag 19 augusti 21, 14. - 19. Inga hjälpmedel är tillåtna. Svar och
Läs mer1 x. SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF626 Flervariabelanalys Lösningsförslag till tentamen 26-3-2 DEL A. Låt D vara fyrhörningen med hörn i punkterna, ), 6, ),, 5) och 4, 5). a) Skissera fyrhörningen D och beräkna dess area. p) b) Bestäm
Läs merSF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A. r cos t + (r cos t) 2 + (r sin t) 2) rdrdt.
1. Beräkna integralen medelpunkt i origo. SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen 218-3-14 D DEL A (x + x 2 + y 2 ) dx dy där D är en cirkelskiva med radie a och Lösningsförslag.
Läs mer1. (Dugga 1.1) (a) Bestäm v (3v 2u) om v = . (1p) and u =
Kursen bedöms med betyg,, 5 eller underkänd, där 5 är högsta betyg. För godkänt betyg krävs minst poäng från uppgifterna -7. Var och en av dessa sju uppgifter kan ge maximalt poäng. För var och en av uppgifterna
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av
SF166 Flervariabelanalys Lösningsförslag till tentamen 13-3-1 DEL A 1. En svängningsrörelse beskrivs av ( πx ) u(x, t) = A cos λ πft där amplituden A, våglängden λ och frekvensen f är givna konstanter.
Läs merInstitutionen för matematik SF1626 Flervariabelanalys. Lösningsförslag till tentamen Måndagen den 5 juni 2017 DEL A
Institutionen för matematik SF66 Flervariabelanalys Lösningsförslag till tentamen Måndagen den 5 juni 7 DEL A. En kulles höjd ges av z 6,x,y där enheten är meter på alla tre koordinataxlar. (a) I vilken
Läs merSF1626 Flervariabelanalys Tentamen Tisdagen den 12 januari 2016
Institutionen för matematik SF626 Flervariabelanalys Tentamen Tisdagen den 2 januari 26 Skrivtid: 8:-3: Tillåtna hjälpmedel: inga Examinator: Mats Boij Tentamen består av nio uppgifter som vardera ger
Läs merSF1626 Flervariabelanalys Tentamen Måndagen den 21 mars 2016
Institutionen för matematik SF626 Flervariabelanalys Tentamen Måndagen den 2 mars 26 Skrivtid: 8:-3: Tillåtna hjälpmedel: inga Examinator: Mats Boij Tentamen består av nio uppgifter som vardera ger maximalt
Läs merTATA42: Föreläsning 8 Linjära differentialekvationer av högre ordning
TATA42: Föreläsning 8 Linjära differentialekvationer av högre ordning Johan Thim 23 april 2018 1 Differentialoperatorer För att underlätta notation och visa på underliggande struktur introducerar vi begreppet
Läs merLösningar av uppgifter hörande till övning nr 5.
Lösningar av uppgifter hörande till övning nr 5. H.7 a) Antag att p är ett polynom med grad p < n. Då kan p skrivas som en linjärkombination av ortogonalpolynomen p k, där k < n. Alltså är p c k p k, m
Läs merGeometriska vektorer
Föreläsning 1, Linjär algebra IT VT2008 1 Geometriska vektorer De begrepp som linjär algebra kretsar kring är vektorer och matriser Dessa svarar mot datorernas fält (`arra') av dimension ett respektive
Läs merLösningsförslag till tentamen Onsdagen den 15 mars 2017 DEL A
Institutionen för matematik SF66 Flervariabelanalys Lösningsförslag till tentamen Onsdagen den 5 mars 7 DEL A. I nedanstående rätvinkliga koordinatsystem är varje ruta en enhet lång. (a) Bestäm de rymdpolära
Läs mer23 Konservativa fält i R 3 och rotation
Nr 23, 7 maj -5, Amelia 2 23 Konservativa fält i R 3 och rotation 23. Potential 23.. Två dimensioner (2D) I två dimensioner definierade vi ett vektorfält som konservativt om kurvintegralen av fältet endast
Läs merhar 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.
Institutionen för Matematik, KTH Torbjörn Kolsrud SF163, ifferential- och integralkalkyl II, del, flervariabel, för F1. Tentamen onsdag 7 maj 9, 1.-19. 1. Låt F (x, y, z) sin(x + y z) + x + y + 6z. a)
Läs merLösningsförslag till tentamen Torsdag augusti 16, 2018 DEL A
Institutionen för matematik SF1626 Flervariabelanalys Torsdag augusti 16, 2018 DEL A 1. Givet funktionen f(x, y) = ln(x 2 y 2 ). a) Bestäm definitionsmängden D för f. Rita även en bild av D. (2 p) b) Bestäm
Läs merTATA42: Föreläsning 7 Differentialekvationer av första ordningen och integralekvationer
TATA42: Föreläsning 7 Differentialekvationer av första ordningen och integralekvationer Johan Thim 0 januari 207 Introduktion En differentialekvation (DE) i en variabel är en ekvation som innehåller både
Läs merLINJÄR ALGEBRA II LEKTION 6
LINJÄR ALGEBRA II LEKTION 6 JOHAN ASPLUND INNEHÅLL 1 Inre produktrum 1 2 Cauchy-Schwarz olikhet 3 3 Ortogonala projektioner och Gram-Schmidts process 3 4 Uppgifter 4 61:13(a) 4 61:23(a) 4 61:29 5 62:7
Läs merAndragradspolynom Några vektorrum P 2
Låt beteckna mängden av polynom av grad högst 2. Det betyder att p tillhör om p(x) = ax 2 + bx + c där a, b och c är reella tal. Några exempel: x 2 + 3x 7, 2x 2 3, 5x + π, 0 Man kan addera två polynom
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF1626 Flervariabelanalys Lösningsförslag till tentamen 216-6-7 DEL A 1. Låt S vara ellipsoiden som ges av ekvationen x 2 + 2y 2 + 3z 2 = 5. (a) Bestäm en normalvektor till S i en punkt (x, y, z ) på S.
Läs merOm konvergens av serier
Om konvergens av serier Anders Källén MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I den här artikeln diskuteras några av de grundläggande satserna som hjälper oss att avgöra om en serie
Läs merLINJÄRA AVBILDNINGAR
LINJÄRA AVBILDNINGAR Xantcha november 05 Linjära avbildningar Definition Definition En avbildning T : R Ñ R (eller R Ñ R ) är linjär om T pau ` bvq at puq ` bt pvq för alla vektorer u, v P R (eller u,
Läs merTentamen i Flervariabelanalys F/TM, MVE , kl
Tentamen i Flervariabelanalys F/TM, MVE35 26-4-2, kl. 4-8 Hjälpmedel: Inga, ej räknedosa. Telefon: anknytning 5325 Telefonvakt: Edvin Wedin För godkänt krävs minst 2 poäng. Betyg 3: 2-29.5 poäng, betyg
Läs merLäsanvisningar till Analys B, HT 15 Del 1
Läsanvisningar till Analys B, HT 15 Del 1 Dag 1 Avsnitt 6.1 Definition av trappfunktion och integral av en trappfunktion. Räkneregler (de är mer eller mindre uppenbara). Definition av Riemannintegralen
Läs merTentan , lösningar
UPPALA UNIVERITET MATEMATIKA INTITUTIONEN Bo tyf Flervariabelanalys K, X m.fl. Höstterminen 2008 Tentan 2008-12-16, lösningar 1. Avgör om det finns någon punkt på ytan (x 1) 2 + 2(y 1) 2 + 2z 8 som är
Läs merHt Läsanvisningar till Hilbertrum och partiella differentialekvationer. Del 1. Ur Anton, Rorres; Elementary Linear Algebra
Ht-2010 Umeå universitet Institutionen för matematik och matematisk statistik PAB Läsanvisningar till Hilbertrum och partiella differentialekvationer Del 1 Ur Anton, Rorres; Elementary Linear Algebra 10.1-10.
Läs merSF1626 Flervariabelanalys Tentamen Tisdagen den 7 juni 2016
Institutionen för matematik SF1626 Flervariabelanalys Tentamen Tisdagen den 7 juni 216 Skrivtid: 8:-13: Tillåtna hjälpmedel: inga Examinator: Mats Boij Tentamen består av nio uppgifter som vardera ger
Läs mer1 Grundläggande kalkyler med vektorer och matriser
Krister Svanberg, mars 2015 1 Grundläggande kalkyler med vektorer och matriser Trots att läsaren säkert redan behärskar grundläggande vektor- och matriskalkyler, ges här i Kapitel 1 en repetition om just
Läs mer1 Några elementära operationer.
Föreläsning Några elementära operationer. Ett skalärfält är en reellvärd eller komplexvärd funktion Φ(x, y, z). Ett vektorfält är en vektorvärd funktion A(x, y, z). I ett kartesiskt koordinatsystem kan
Läs merÖVN 11 & 12 DEL A - DIFFTRANS - DEL2 - SF Nyckelord och innehåll. Inofficiella mål
ÖVN 11 & 12 DEL A - DIFFTRANS - DEL2 - SF1683 HTTP://KARLJODIFFTRANS.WORDPRESS.COM KARL JONSSON Nyckelord och innehåll Komplexa vektorrum U och underrum V U. Linjära höljet: V = span(v 1, v 2,..., v N
Läs merFFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar
FFM234, Klassisk fysik och vektorfält - Föreläsningsanteckningar Christian Forssén, Institutionen för fysik, Chalmers, Göteborg, Sverige Sep 4, 2018 1. Fält och derivator Ett fält är en fysikalisk storhet
Läs merFourierserier: att bryta ner periodiska förlopp
Analys 36 En webbaserad analyskurs Funktionsutvecklingar Fourierserier: att bryta ner periodiska förlopp Anders Källén MatematikCentrum LTH anderskallen@gmail.com Fourierserier: att bryta ner periodiska
Läs merUppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 11-14, 16/11-28/
Uppsala Universitet Matematiska Institutionen Bo Styf Transformmetoder, 5 hp gy, IT, W, X 2011-10-26 Sammanfattning av föreläsningarna 11-14, 16/11-28/11 2012. Här lär vi oss använda transformer för att
Läs merSF1626 Flervariabelanalys Tentamen Torsdagen den 20 augusti 2015
Institutionen för matematik SF1626 Flervariabelanalys Tentamen Torsdagen den 2 augusti 215 Skrivtid: 8:-1: Tillåtna hjälpmedel: inga Examinator: Mats Boij Tentamen består av nio uppgifter som vardera ger
Läs mere = (e 1, e 2, e 3 ), kan en godtycklig linjär
Linjära avbildningar II Förra gången visade vi att givet en bas i rummet, e = (e 1, e 2, e 3 ), kan en godtycklig linjär avbildning F : R 3 R 3 representeras av en matris: Om vi betecknar en vektor u:s
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Linjära avbildningar IV Innehåll Nollrum och
Läs merBasbyten och linjära avbildningar
Föreläsning 11, Linjär algebra IT VT2008 1 Basbyten och linjära avbildningar Innan vi fortsätter med egenvärden så ska vi titta på hur matrisen för en linjär avbildning beror på vilken bas vi använder.
Läs merSF1626 Flervariabelanalys Tentamen Onsdagen den 15 mars 2017
Institutionen för matematik SF66 Flervariabelanalys Tentamen Onsdagen den 5 mars 7 Skrivtid: 8:-3: Tillåtna hjälpmedel: inga Examinator: Mats Boij Tentamen består av nio uppgifter som vardera ger maximalt
Läs merav envariabelfunktionen g(t) och flervariabelfunktionen t = h(x, y) = x 2 + e y.)
Lösningsskisser till TATA69 Flervariabelanalys 16-1- 1 Stationära punkter ges av f (4x 3 + 4x, 3y + 6z, z + 6y (,,, dvs (x, y, z (,, eller (x, y, z (, 6, 18 Ur andraderivatorna fås de kvadratiska formerna
Läs merVEKTORANALYS Kursprogram VT 2018
VEKTORANALYS Kursprogram VT 2018 Allmänt om kursen Målsättningen med kursen är att lära ut ett antal grundläggande matematiska metoder, som under de fortsatta studierna kommer att tillämpas i flera olika
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF626 Flervariabelanalys Lösningsförslag till tentamen 23-- DEL A. Bestäm en ekvation för tangentplanet i punkten (,, 2 till ellipsoiden 2x 2 +3y 2 +z 2 = 9. (4 p Lösning. Vi uppfattar ytan som nivåytan
Läs merMer om analytisk geometri
1 Onsdag v 5 Mer om analytisk geometri Determinanter: Då man har en -matris kan man till den associera ett tal determinanten av som också skrivs Determinanter kommer att repeteras och studeras närmare
Läs merDERIVATA. = lim. x n 2 h h n. 2
DERIVATA Läs avsnitten 6.-6.5. Lös övningarna 6.cd, 6.2, 6.3bdf, 6.4abc, 6.5bcd, 6.6bcd, 6.7, 6.9 oc 6.. Läsanvisningar Allmänt gäller som vanligt att bevisen inte ingår i kursen, men det är mycket nyttigt
Läs merIntegraler av vektorfält Mats Persson
Föreläsning 1/8 Integraler av vektorfält Mats Persson 1 Linjeintegraler Exempel: En partikel rör sig längs en kurva r(τ) under inverkan av en kraft F(r). i vill då beräkna arbetet som kraften utövar på
Läs merIsometrier och ortogonala matriser
Isometrier och ortogonala matriser (Delvis resultat som kunde kommit tidigare i kursen) För att slippa parenteser, betecknas linära avbildningar med A och bilden av x under en lin avbildn med Ax i stället
Läs merKontsys F7 Skalärprodukt och normer
Repetition Skalärprodukt Norm Kontsys F7 Skalärprodukt och normer Pelle 11 februari 2019 Linjära rum Repetition Skalärprodukt Norm Linjära rum Linjärt underrum Ett linjärt rum över R är en mängd H där
Läs mer1 Linjära ekvationssystem. 2 Vektorer
För. 1 1 Linjära ekvationssystem Gaußelimination - sriv om systemet för att få ett trappformat system genom att: byta ordningen mellan ekvationer eller obekanta; multiplicera en ekvation med en konstant
Läs merStokes sats och dess motsvarigheter i vektoranalysen
Analys 360 En webbaserad analyskurs Analys på mångfalder Stokes sats och dess motsvarigheter i vektoranalysen Anders Källén atematikcentrum LTH anderskallen@gmail.com Stokes sats och dess motsvarigheter
Läs merStokes sats och dess motsvarigheter i vektoranalysen
Analys 360 En webbaserad analyskurs Analys på mångfalder Stokes sats och dess motsvarigheter i vektoranalysen Anders Källén atematikcentrum LTH anderskallen@gmail.com Stokes sats och dess motsvarigheter
Läs mer9. Magnetisk energi Magnetisk energi för en isolerad krets
9. Magnetisk energi [RMC] Elektrodynamik, ht 005, Krister Henriksson 9.1 9.1. Magnetisk energi för en isolerad krets Arbetet som ett batteri utför då det för en laddning dq runt en krets, från batteriets
Läs merOptimering med bivillkor
Optimering med bivillkor Vi ska nu titta på problemet att hitta max och min av en funktionen f(x, y), men inte över alla möjliga (x, y) utan bara för de par som uppfyller ett visst bivillkor g(x, y) =
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF166 Flervariabelanalys Lösningsförslag till tentamen 15-6-4 DEL A 1. Funktionen f är definierad på området som ges av olikheterna x > 1/ och y > genom f(x, y) ln(x 1) + ln(y) xy x. (a) Förklara vad det
Läs merTentamen i Flervariabelanalys, MVE , π, kl
Tentamen i Flervariabelanalys, MVE35 216-3-14, π, kl. 14.-18. Hjälpmedel: Inga, ej räknedosa. Telefon: anknytning 5325 Telefonvakt: Raad Salman För godkänt krävs minst 2 poäng. Betyg 3: 2-29 poäng, betyg
Läs merTillämpningar av komplex analys på spektralteori
Tillämpningar av komple analys på spektralteori Anders Källén, baserat på föreläsningar hösten 1979 av Lars Hörmander MatematikCentrum LTH anderskallen@gmail.com Sammanfattning I det här dokumentet härleds
Läs mer9. Magnetisk energi Magnetisk energi för en isolerad krets
9. Magnetisk energi [RM] Elektrodynamik, vt 013, Kai Nordlund 9.1 9.1. Magnetisk energi för en isolerad krets Arbetet som ett batteri utför då det för en laddning dq runt en krets, från batteriets anod
Läs merInstitutionen för Matematiska Vetenskaper TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F1, TMA
Institutionen för Matematiska Vetenskaper Göteborg TENTAMEN I LINJÄR ALGEBRA OCH NUMERISK ANALYS F, TMA67 009-08-7 DAG: Torsdag 7 augusti 009 TID: 8.30 -.30 SAL: V Ansvarig: Ivar Gustafsson, tel: 77 0
Läs merAnalys 360 En webbaserad analyskurs Analysens grunder. L Hôspitals regel. MatematikCentrum LTH
Analys 360 En webbaserad analyskurs Analysens grunder Gränsvärden och L Hôspitals regel Anders Källén MatematikCentrum LTH anderskallen@gmail.com Gränsvärden och L Hôspitals regel 1 (11) Introduktion Gränsvärdesöverläggningar
Läs merVektorgeometri för gymnasister
Vektorgeometri för gymnasister Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/vektorgeometri/gymnasiet.html Fakulteten för teknik Linnéuniversitetet Diagonalisering av linjära avbildningar III
Läs merMatematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 9 juni 2011 kl
1 Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 9 juni 2011 kl 08.00-1.00. OBS: Inga hjälpmedel är tillåtna på tentamensskrivningen. Bonuspoäng
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF166 Flervariabelanalys Lösningsförslag till tentamen 15-8- EL A 1. Betrakta funktionen f som är definierad i området där x + y genom f(x, y, z) x z x + y. (a) Beräkna gradienten f(x, y, z). (1 p) (b)
Läs merLinjära avbildningar. Låt R n vara mängden av alla vektorer med n komponenter, d.v.s. x 1 x 2. x = R n = x n
Linjära avbildningar Låt R n vara mängden av alla vektorer med n komponenter, d.v.s. R n = { x = x x. x n } x, x,..., x n R. Vi räknar med vektorer x, y likandant som i planet och i rymden. vektorsumma:
Läs meru 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)
ATM-Matematik Mikael Forsberg 734 41 3 31 Flervariabelanalys mag31 1669 Skrivtid: 9:-14:. Inga hjälpmedel förutom bifogad formelsamling. Lösningarna skall vara fullständiga och lätta att följa. Börja varje
Läs merVektoranalys I. Anders Karlsson. Institutionen för elektro- och informationsteknik
Vektoranalys I Anders Karlsson Institutionen för elektro- och informationsteknik 2 september 2015 Översikt över de tre föreläsningarna 1. Grundläggande begrepp inom vektoranalysen, nablaoperatorn samt
Läs merSF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A
SF1626 Flervariabelanalys Lösningsförslag till tentamen 213-8-22 DEL A 1. Betrakta funktionen f(x, y) ln(x 2 + xy 2 4). a) Bestäm tangentplanet till funktionsytan z f(x, y) i den punkt på ytan där x 1
Läs mer(x + 1) dxdy där D är det ändliga område som begränsas av kurvorna
UPPSALA UNIVERSITET Matematiska institutionen Anders Källström Prov i matematik ES, W Flervariabelanalys 8 1 1 Skrivtid: 9-1. Inga hjälpmedel. Lösningarna skall åtföljas av förklarande text/figurer. Varje
Läs mer1.1 Gradienten i kroklinjiga koordinatsystem
1 Föreläsning 4 1.1 Gradienten i kroklinjiga koordinatsystem Sats 1 i sfäriska koordinater; i cylindriska koordinater. Bevis. I kartesiska koordinater har vi att Φ = r ˆr + 1 r θ ˆθ + 1 ˆϕ (1 r sin θ ϕ
Läs merLINJÄR ALGEBRA II LEKTION 3
LINJÄR ALGEBRA II LEKTION 3 JOHAN ASPLUND INNEHÅLL Basbyten Kolonnrum, radrum och nollrum 3 Linjära avbildningar från R n till R m 4 Uppgifter 3 46:3 3 47:a 3 48:3a 4 48:a 4 49:9 4 40:7a,b BASBYTEN Om
Läs merTentamen: Lösningsförslag
Tentamen: Lösningsförslag Onsdag 5 mars 7 8:-3: SF674 Flervariabelanalys Inga hjälpmedel är tillåtna. Max: 4 poäng. 4 poäng Avgör om följande gränsvärde existerar och beräkna gränsvärdet om det existerar:
Läs merSF1626 Flervariabelanalys
1 / 14 SF1626 Flervariabelanalys Föreläsning 7 Henrik Shahgholian Vid Institutionen för matematik, KTH VT 2018, Period 3 2 / 14 SF1626 Flervariabelanalys Dagens Lektion Kap 12.8 1. Implicit definierade
Läs merSådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B).
BIJEKTION, INJEKTION, SURJEKTION Allmän terminologi. I samband med variabelbyte vid beräkning av integraler har vi en avbildning mellan två mängder A och B, dvs en funktion f : A B. Vi har oftast krav
Läs merTentamen TMA044 Flervariabelanalys E2
Tentamen TMA44 Flervariabelanalys E 4--3 kl. 8.3.3 Examinator: Peter Hegarty, Matematiska vetenskaper, halmers Telefonvakt: Elin Solberg, telefon: 73 88 34 Hjälpmedel: bifogat formelblad, ordlistan från
Läs merDoktorandkurs i flera komplexa variabler, vt 2010
Doktorandkurs i flera komplexa variabler, vt 2010 Frank Wikström 10 februari 2010 Frank Wikström () Doktorandkurs i flera komplexa variabler, vt 2010 10 februari 2010 1 / 20 Dagens program Plurisubharmoniska
Läs merInlämningsuppgift nr 2, lösningar
UPPALA UNIVRITT MATMATIKA INTITUTIONN Bo tyf Flervariabelanalys K, X m.fl. Höstterminen 8 Inlämningsuppgift nr, lösningar. Visa att ekvationen x + x(y ) + (y ) + z + sin(yz) definierar z som en funktion
Läs merUppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna
Uppsala Universitet Matematiska Institutionen Bo Styf LAoG I, 5 hp ES, KandMa, MatemA -9-6 Sammanfattning av föreläsningarna 3-7 Föreläsningarna 3 7, 8/ 5/ : Det viktigaste är här att du lär dig att reducera
Läs mer1. 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.
Institutionen för matematik KTH MOELLTENTAMEN Tentamensskrivning, år månad dag, kl. x. (x + 5).. 5B33, Analytiska metoder och linjär algebra. Uppgifterna 5 svarar mot varsitt moment i den kontinuerliga
Läs mer1.15 Uppgifter UPPGIFTER 21. Uppgift 1.1 a) Visa att transformationen x i = a ikx k med. (a ik ) =
1.15. UPPGIFTER 1 1.15 Uppgifter Uppgift 1.1 a) isa att transformationen x i = a ikx k med (a ik ) = 1 0 1 1 1 1 1 1 1 är en rotation. b) Bestäm komponenterna T ik om (T ik ) = 0 1 0 1 0 1 0 1 0 Uppgift
Läs merSubtraktion. Räkneregler
Matriser En matris är en rektangulär tabell av tal, 1 3 17 4 3 2 14 4 0 6 100 2 Om matrisen har m rader och n kolumner så säger vi att matrisen har storlek m n Index Vi indexerar elementen i matrisen genom
Läs merDEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604 för D, den 5 juni 2010 kl
1 Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Linjär algebra II, SF164 för D, den 5 juni 21 kl 9.- 14.. Examinator: Olof Heden. Hjälpmedel: Inga hjälpmedel är tillåtna på tentamensskrivningen.
Läs mer