0 Daumen
634 Aufrufe

ich wollte heute ein Gleichungssystem, welches die folgende Form hat,

G~A=AABF~BBABFB, \tilde G_A = A_{AB} \tilde F^B - B_{AB}F^B,

GA=AABFB+BABF~B, G_A = A_{AB} F^B + B_{AB}\tilde F^B,

explizit nach FA F^A (bzw. F~A\tilde F^A) zu lösen. Dabei sind die Matrizen A und B symmetrisch und invertierbar mit Inversen A1ABA^{-1AB} und B1AB B^{-1AB}.


Was ich gemacht habe:

B1CAG~A=B1CAAABF~BFC B^{-1CA}\tilde G_A= B^{-1CA}A_{AB}\tilde F^B - F^C

A1CAGA=FC+A1CABABF~B,A^{-1CA} G_A = F^C + A^{-1CA} B_{AB}\tilde F^B,

zusamen also

B1CAG~A+A1CAGA=(B1CAAAB+A1CABAB)F~B. B^{-1CA}\tilde G_A + A^{-1CA} G_A =(B^{-1CA} A_{AB}+ A^{-1CA}B_{AB})\tilde F^B.

Problem: der Ausdruck in der Klammer hat ja die Form M+M1M + M^{-1}, ob er invertierbar ist, weiß ich allerdigs nicht. Und gesetzt den Fall, dass

Λ BC : =B1CAAAB+A1CABAB\Lambda^C_{~B} := B^{-1CA} A_{AB}+ A^{-1CA}B_{AB}

invertierbar ist, d.h. Λ1 BAΛ CB=δCA {\Lambda^{-1}}^A_{~B}\Lambda^B_{~C} = \delta^A_C, dann hätte ich

F~D=Λ1 CD(B1CAG~A+A1CAGA)\tilde F^D={\Lambda^{-1}}^D_{~C} (B^{-1CA}\tilde G_A + A^{-1CA} G_A)

und analog

FD=Λ1 CD(B1CAGAA1CAG~A). F^D = {\Lambda^{-1}}^D_{~C} (B^{-1CA}G_A -A^{-1CA} \tilde G_A).


Das müsste allerdings wieder die beiden Ausgangsgleichungenlösen, was es nicht tut. Sieht jemand, was falsch ist? Ist es die Annahme, dass Λ\Lambda invertierbar ist? (Ich denke nicht)

Avatar von

Da sind einige Unklarheiten. Es gibt in Deiner Ausgangsgleichung kein FA F^A und was sollen die Ausdrücke A1AB A^{-1AB}   bedeuten.

Doch, in der Summe BABFBB_{AB}F^B in der ersten Zeile kommen die FAF^A vor und ebenfalls in der zweiten Zeile. (Summe über doppelte Indizes ist natürlich implizit, falls das die Frage ist. Die \(F^A sind 2-Formen auf einer Mannigfaltigkeit und ihre Anzahl (auf jeden Fall endlich) hängt mit deren Kohomologie zu zusammen, das tut hier aber eigentlich nichts zur Sache.)

A1AB A^{-1AB} ist die inverse zu A, genauer eines ihrer Matrixelemente.

1 Antwort

+1 Daumen

Hi,

die Gleichung kann man ja auch in Matrixblockform wie folgt schreiben

(G~G)=(ABBA)(F~F) \begin{pmatrix} \tilde G \\G \end{pmatrix} = \begin{pmatrix} A & -B \\ B & A \end{pmatrix} \begin{pmatrix} \tilde F\\F \end{pmatrix} Die Inverse Matrix von
(ABBA) \begin{pmatrix} A & -B \\ B & A \end{pmatrix} lautet
(ABBA)1=((A+BA1B)1(A+BA1B)1BA1A1B(A+BA1B)1A1A1B(A+BA1B)1BA1) \begin{pmatrix} A & -B \\ B & A \end{pmatrix}^{-1} = \begin{pmatrix} (A+B A^{-1} B)^{-1} & (A+B A^{-1} B)^{-1} B A^{-1} \\ -A^{-1} B (A+B A^{-1} B)^{-1} & A^{-1}-A^{-1} B (A+B A^{-1} B)^{-1} B A^{-1} \end{pmatrix}
siehe https://en.m.wikipedia.org/wiki/Block_matrix
Damit ergibt sich
(F~F)=(ABBA)1(G~G) \begin{pmatrix} \tilde F\\F \end{pmatrix} = \begin{pmatrix} A & -B \\ B & A \end{pmatrix}^{-1} \begin{pmatrix} \tilde G\\G \end{pmatrix}

Ich hatte Deine Komponentenschreibweise nicht verstanden. Die  obige Schreibweise ist aber kompakter.

Deinen Fehler habe ich leider nicht gefunden, vielleicht hilft das aber auch weiter.

Avatar von 39 k

Ein anderes Problem?

Stell deine Frage