Maths

Discussion in 'General Advice' started by Imoyram, Nov 1, 2015.

  1. EulersBidentity

    EulersBidentity e^i*[bi] + 1

    ...I'm back. And I passed that fucking PDEs exam!

    You guys. I'm nearly finished with this degree. But before I do. Can anyone help with some...uhhh...probably comes under the heading of graph theory, though is mostly just manipulation of summations. I can't grasp it, conceptually.

    Question:
    IMG_20170101_192954_404.jpg

    Solution:
    IMG_20170101_193103_992.jpg

    The crucial step I don't understand is how the third expression in the solution equates to the fourth. Though additionally if anyone has any resources for improving understanding of summation notation, that'd be aces. I find it unintuitive.

    Edit: 10 mins of scribbling & staring into space later...I've verified that both expressions are accurate, but I'm still stuck on how to manipulate the summations algebraically.

    Man, this field is so cool. I wish I understood it.
     
    Last edited: Jan 1, 2017
  2. Exohedron

    Exohedron Doesn't like words

    Ignoring the summation over jl-1 for now, we have
    sumj1=1n...sumjl-2=1nAij1Aj1j2...Ajl-2jl-1
    This is a product of matrices. In particular, let's consider only the first two factors and summing over j1. We have
    sumj1=1n Aij1Aj1j2 =
    Ai1A1j2 + Ai2A2j2 + ... + AinAnj2
    which is the (i,j2) entry in A2. So similarly for the first three factors:
    sumj1=1nsumj2=1n Aij1Aj1j2Aj2j3 = sumj2=1n (A2)ij2Aj2j3 = (A3)ij3
    And so on for the rest of the chain. Since there are l-1 factors and the outer indices are i from the first factor and l-1 from the last factor, we end up with
    (Al-1)ijl-1
    i.e. the (i, jl-1) entry of Al-1 as our end result.

    Combinatorics and graph theory is basically all induction. Just start with something being 1, and then 2, and then 3, and then try to convince yourself that going from 2 to 3 is like going from 3 to 4, and therefore from n to n+1.
     
    Last edited: Jan 1, 2017
    • Like x 1
  3. evilas

    evilas Sure, I'll put a custom title here

    I have no idea what's going on in the first 2 equations but going from the third to the fourth seems to be just taking the jl-1 summation and moving it all the way outside, bracketing the whole thing between the first summation sign and the kjl-1, which you can do because kjl-1 only depends on jl-1 so it can be moved outside all the middle sums. The string of sums inside the brackets ends in summing over jl-2. Does that help?

    EDIT: ninja'd, also lol I was wondering why they didn't use induction but turns out I just didn't realize it because they went from l to l-1 instead of the other way around.
     
    Last edited: Jan 1, 2017
  4. EulersBidentity

    EulersBidentity e^i*[bi] + 1

  5. Exohedron

    Exohedron Doesn't like words

    Matrix indices are kind of a mess to try to read, which is why I got really into Einstein notation when I first found out about it, and then into Cvitanovic Birdtracks diagrams. Anything to make the bookkeeping easier.
     
  6. evilas

    evilas Sure, I'll put a custom title here

    Waitwait, what are those? With how much I love Einstein notation I feel like I'll love it.
     
  7. Exohedron

    Exohedron Doesn't like words

    Cvitanovic Birdtrack diagrams are basically like Feynman diagrams with all the physics stripped off. A matrix becomes a little box with a wire going in and a wire going out, and you get the product of two matrices by just connecting the outgoing wire of one matrix to the ingoing wire of the other, leaving you with a thing with a wire in and a wire out, which you can then put in a box. We can also talk about higher order tensors as boxes with more wires going in or out.
    Einstein notation shows you what indices to match by having them use the same symbol; birdtracks show you what indices to match by connecting the corresponding wires. The benefit of the birdtracks system is that you then have all the power of graph topology to tell you when two different-looking things are really the same. This is really handy for things like Lie group computations, since birdtrack diagrams tend to be invariant/equivariant naturally, rather than needing that to be imposed or proven.
    Birdtracks evolved from Penrose graphical notation which is mostly for general relativity; birdtracks are a bit more general in scope since they cover more Lie groups, and are less rigid in structure, but they don't really have good notation for covariant derivatives, or any type of derivatives for that matter.
     
  8. EulersBidentity

    EulersBidentity e^i*[bi] + 1

    Maths babes! Physics babes! I'm back to ask for help again. I've been utterly floundering on my "Electromagnetism & Special Relativity" module, and I forgot that I knew some people who know all about this. So.

    In advance: I'm sorry, all my questions are going to be hard to follow because I don't understand what I don't understand. So please bear with me.

    Could someone explain to me in small words the ηµν tensor for transforming co-/contravarient vectors? For the purposes of my course it's defined as
    n tensor.png

    And for context, this is the relevant problem that I can't solve:
    n tensor qa1.jpg

    I'll be back with a hundred more questions, probably. Sorry about that. Your help is much appreciated.
     
  9. evilas

    evilas Sure, I'll put a custom title here

    @EulersBidentity so you know how the Einstein Summation Convention is basically "generalizing matrix multiplication to any sort of tensor"?
    Well, any index in a tensor can be either covariant (index is below) or contravariant (index is above). And the way to go from one to the other is to multiply by a special tensor, which, in the case of special relativity, is the Minkowski tensor, η, which has the special property that ημν is the same as ημν. (this is not the case in general relativity, where you use a different, more generalized tensor)
    How do you do the thing? One index at a time. Suppose you want to raise the index "b" of the tensor Fab.
    How do you do it? you multiply F by η. The result is, Fab η = Faβ (you can think of it like "the b's cancel out")
    To raise both indices, you need to do it twice. To lower an index it's the same thing, only with the lower-index version of η

    ...am I being clear or sort of confusing?
     
    • Like x 1
  10. Exohedron

    Exohedron Doesn't like words

    Yay, tensor indices. They're the worst.

    Okay, first, think of electrical plugs. You have plugs and you have sockets, and you can stick a plug into an socket but you aren't allowed to stick a plug into another plug, and you can't stick an socket into another socket , and it's all terribly homophobic but there isn't much we can do about that.

    Now, when I say "stick a plug into an outlet", I mean "take an upper index and a lower index and contract", which in turn means sum over all possible ways to set the two indices equal to each other. So if we have ημν, which has two sockets, and a vector sξ, which has a single plug, we can plug s into η to get
    ημνsν = ημ0s0 + ημ1s1 + ημ2s2 + ημ3s3
    But if we had another object Tξ with one outlet, we can't stick that into ημν.
    Let's look at ημνsν again. It still has one socket free. So we can think of ημν as a way to take something that has a single plug and produce something that has a single socket.
    Conversely, if we had something like θστ with two plugs, we could use it to turn something with a single socket into something with a single plug. I'm starting to regret having made the homophobia quip, because there are all sorts of implications here.
    Aaaanyway, how do we get something like θστ? Well, now we have to think about relativity. Relativity states that absolute displacements are invariant and hence physically valid. Hence ημν, which is our mathematical description of the (square of the) absolute displacement, is physically valid. What else is physically valid?
    There is an object with one plug and one socket that is also physically valid, namely the Kronecker delta δσμ, which takes on the value 1 if the value of σ equals the value of μ and is 0 otherwise. In other words, Tσδσμ = Tμ. The Kronecker delta is physically valid because it doesn't do anything.
    We also have an object, sometimes called the Levi-Civita (I'm just gonna say LC from now on) tensor, ϵτμνσ with four sockets. We'll talk about this one later.
    We can take two objects, regardless of plug and socket type, and just put them next to each other, which is just tensor multiplication. We take Tσ and Uμν and stick them together to get TσUμν, which has a total of two sockets and one plug. This is physically valid. This includes multiplication by scalars or scalar-valued functions, because scalars are just things with no plugs and no sockets.
    Addition of two things that have the same number of sockets and the same number of plugs is physically valid; you just have to use the same index labels.
    And finally, contraction, i.e. sticking plugs into sockets is physically valid.
    So now we can start building new, physically valid things. In particular, although we can't "build" it in the usual sense, we can use ημν, δσμ and contraction to build an object with two plugs, by saying that θσμημν = δσν. This is sixteen linear equations in sixteen unknowns, so you can solve for the values of θσμ, but you're probably better off just guessing because most of the answers are going to be 0 anyway.
    Oftentimes you'll see θσμ written with a η instead of θ, because physicists live in a haze of confusing notation and sketchy assumptions about coordinate systems. I'm gonna keep writing θ.

    Okay, speaking of things with plugs or sockets, we're now given this object Fμν with two sockets, and we're asked to produce Fμν, by which they mean turn our object with two sockets into an object with two plugs via physically valid means. Well, we know how to turn one socket into one plug, using θσμ and contraction. So now we just do it twice, once to each of the sockets of Fμν.

    Now back to LC. This is our hypervolume object, in that if you take four vectors and stick them into the four sockets of LC, you get a number that is equal to the signed hypervolume of the hyperparallelipiped formed by those four vectors. Alternatively it's the determinant: you turn the entries of the four vectors into the columns of a 4x4 matrix and take the determinant and you get ϵτμνσtτuμwνsσ.
    If you unravel that a bit, you find that ϵ0123 = 1, that ϵτμνσ is 0 if the values of any two indices are equal, and that swapping the values of any two indices gives you a minus sign. So ϵ0023 = 0, and ϵ1023 = -1, and ϵ1203 = 1, and ϵ1230 = -1, and so on.

    Finally, and most dangerous, is ∂μ. Unlike all of our other objects so far, this isn't just a bunch of numbers or scalar-valued functions. This is a bunch of derivatives. When we say ∂μFνσ, we mean ∂Fνσ/∂xμ, and that's different from Fνσμ.
    This doesn't mean anything particularly exciting at the moment, but it will become exciting if you move to general relativity, because it turns out that it's harder to make ∂μ generally invariant.
    But in terms of sticking plugs into sockets, ∂μ is just another object with a plug.

    So, recap: upper indices are sockets, lower indices are plugs, things need to be relativistically invariant, and you can use invariant things with multiple plugs or sockets to turn sockets into plugs or plugs into sockets.

    Also, for the sake of everyone's sanity you should probably be setting c to 1.

    [EDIT] So it turns out that v and ν look even more similar in this font than I had initially thought, so I changed all of the 'v's into 's's, except for one which I changed into a 'w' and changed the 'w' next to it into an 's'. As always, a mathematician is running out of letters.
     
    Last edited: Apr 24, 2017
    • Like x 1
    • Useful x 1
  11. evilas

    evilas Sure, I'll put a custom title here

    Exohedron did it better :P
     
  12. Exohedron

    Exohedron Doesn't like words

    I spent basically the first half of my grad school career learning how this stuff works, and the second half learning how to avoid it at all costs.
     
    • Like x 1
  13. evilas

    evilas Sure, I'll put a custom title here

    Really? How come? I actually really like it cause it's all compact and looks nice. Then again I'm only an undergrad so proooobably haven't encountered the worst examples. But like. I'm the kind of person who likes trig identities cause it's all summed up in e=cis(θ) so. I'm a weird kid.

    EDIT: Wait, I think I misunderstood, you mean you hate having to add up all the terms, right?
     
    Last edited: Apr 24, 2017
  14. Exohedron

    Exohedron Doesn't like words

    I disliked having to figure out what was contracted with what, and the proliferation of indices looked really inelegant to me. Like, suppose I want to write down a tensor with n upper indices and m lower indices without actually fixing m and n. Do I want to have to write Ta1...anb1...bm? And if I want to contract that with something else?
    Or partial symmetrization/antisymmetrization. I mean, I could explicitly contract it with a symmetrizer/antisymmetrizer, I guess, or use that godawful bracket notation, but do I really want to?
    Also keeping track of tensors with more types of indices than just "covariant" and "contravariant". When you have to deal with things like spinor indices, or adjoint indices, and you need some way to indicating that a tensor has 3 covariant vector indices and 2 contravariant vector indices and 2 left-handed spinor indices and 4 right-handed spinor indices and an adjoint index but you only have "upper" and "lower" types.
    And even just keeping track what's contracted and what's free requires searching the entire term every time.
    So instead I started doing all of my computations using birdtracks, which is basically the plug-socket model. Very easy to write down a tensor with an unknown number of indices, because I don't need to explicitly label each index. Very easy to follow contractions because the connection is visual. Very easy to symmetrize or antisymmetrize arbitrary indices because the corresponding cables can be brought together easily. Very easy to make up new types of indices, just by making up new types of plugs and sockets. Very easy to figure out what's uncontracted, because those are just cables that don't lead anywhere.
    Why write
    ck = (Ta1)i1i2(Ta2)i2i3...(Taek)iekiek+1(Taek+1)iek+1i1Xa1Xa2...XaekXaek+1
    when you can just write:
    upload_2017-4-24_23-1-49.png
     
    Last edited: Apr 25, 2017
    • Informative x 1
  15. Exohedron

    Exohedron Doesn't like words

    Or imagine trying to write this:
    upload_2017-4-24_23-23-19.png
    There are 14 tensors there and 16 contractions and two uncontracted indices (marked I and O here) that you would have to search for. If I were being really more formal, there would actually be 17 tensors there and 19 contractions.
     
    • Useful x 1
  16. Exohedron

    Exohedron Doesn't like words

    I'm realizing now, years after the fact, that in that last diagram there should be a gap in the thin curve leading up to the white circle in the middle, to indicate that the crossing of the two thin curves isn't itself a nontrivial tensor. I think the text explicitly notes which kinds of cables a nontrivial tensor can have so there's really only one reasonable way to interpret the crossing and this particular expression wasn't really of interest to anyone, but just for clarity's sake I should have put in a gap, probably.
     
  17. EulersBidentity

    EulersBidentity e^i*[bi] + 1

    These are both great!! I like the plug/socket analogy particularly (despite implications).
    Since (ημν)2 is the 4x4 id matrix, are the entries (& position) of Fμν the same as the entries of Fμν? Or is there a subtlety of indices that I haven't understood?

    Edit: Sorry about the delay, I'm trying to keep track of all my different modules. This one slid to the back burner but it's my soonest Oh God exam.
     
    Last edited: May 2, 2017
  18. evilas

    evilas Sure, I'll put a custom title here

    There is a subtlety of indices, which you'll figure out if you do the full thing, and it has to do with the fact that you're not actually contracting the two ηs with each other - one of the η's is acting on the columns, the other one is acting on the rows.
    I think this is one of the times where it's actually for the best to do the full calculation, just to try to get a grasp on what's going on behind the scenes.

    Fμν = ηημaFab = η * [ ημ0F0b + ημ1F1b + ημ2F2b+ ημ3F3b ]
    (remember that each of the terms in the sum is a full-fledged 4-by-4 matrix, it just so happens that most of the terms in each of the 4 matrices are 0, and they don't mess with each other.)

    Yes, before you ask. It is a pain in the ass and there are better ways to do this, which @Exohedron can probably explain a lot better. But I can't think of them rn
     
  19. Exohedron

    Exohedron Doesn't like words

    Unfortunately, at this stage in your education every way to do this computation is a pain in the ass; the solution is not to find a better way to do the computation, but to find a way to not have to do the computation (that's the real secret to mathematics). But, alas, you've been given Maxwell's equations in the non-invariant formulation, which means you actually have to worry about components and awful nonsense like that.
    But yeah, don't try to do things the easy way for the nonce. Do things the hard way, verify that the hard way works, see what the hard way gives you, and then look for an easy way once you've built up a suite of test examples whose solutions you know. I think one of my profs would file this under "calculations you should do at least once in your life, but in the privacy of your own home."
     
    • Agree x 1
  20. Exohedron

    Exohedron Doesn't like words

    But in the future, the answer is Feynman diagrams, but like, taken seriously instead of just being shorthand.
     
    • Like x 1
  1. This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
    By continuing to use this site, you are consenting to our use of cookies.
    Dismiss Notice