Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Surface Tensors

  1. Jan 4, 2008 #1

    eep

    User Avatar

    I'm reading through Pauli's "Theory of Relativity", which has a discussion of tensors in the mathematical tools section of the book.

    When introducing surface tensors, he states

    "Such tensors can be obtained by considering two vectors [itex]x[/itex], [itex]y[/itex] which together span a two-dimensional parallelepiped. Its projections parallel to the axes on to the six two-dimensional coordinate planes, measure in units of the six parallelepipeds of the base vectors [itex]e_i[/itex], are given by

    [tex]\xi^{ik} = x^iy^k - x^ky^i[/tex]

    ..."

    First, since we're dealing with 4-dimensional spacetime, I'm asuuming the six two-dimensional coordinate planes would be the xy,xz,xt,yz,yt,and zt planes. Is this right?

    More importantly, I don't understand what the [itex]\xi^{ik}[/itex] represent, can someone explain it to me in a geometrical sense?
     
  2. jcsd
  3. Jan 6, 2008 #2

    haushofer

    User Avatar
    Science Advisor


    Well, it looks to me that this is just a cross-product put into an antisymmetric tensor. Normally one expresses the crossproduct as

    [tex]
    \xi^{i} = \epsilon_{ijk}x^{j}y^{k}
    [/tex]

    What your tensor is is just a generalization of this without the summation, so you obtain a second order tensor instead of a vector:
    [tex]
    \xi^{ij} = x^{i} \wedge y^{j}
    [/tex]
    So what in the first case we called [tex]\xi^{3}[/tex] is now [tex]\xi^{12}[/tex]. And, not surprisingly, this [tex]\xi^{3}[/tex] is perpendicular to the surface described by [tex]\xi^{12}[/tex].

    In n dimensions [tex]\xi^{ij}[/tex] has n(n-1)/2 independent entries, which in this case is indeed 6. So in short: in the one case you choose to represent an area by a vector which is perpendicular to that area ( the crossproduct in 3 dimensions ). In the other case you choose to represent it by a rank two tensor.
     
  4. Jan 6, 2008 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    To see what they represent, think about finding the "vector differential of area" of a surface in three dimensions. If we have a surface given by z= f(x,y), then we can use x and y as parameters and write the "position vector" of the surface as [itex]\vec{r}(x,y)= x\vec{i}+ y\vec{j}+ f(x,y)\vec{k}[/itex]. Differentiating with respect to x and then y gives the tangent vectors in the x and y directions: [itex]\vec{r}_x= \vec{i}+ f_x \vec{k}[/itex] and [itex]\vec{r}_y= \vec{j}+ f_y\vec{k}[/itex]. Their cross product gives a vector perpendicular to the surface whose length is the "differential of area":
    [tex]\left|\begin{array} {ccc}\vec{i} & \vec{j} & \vec{k} \\0 & 1 & f_y\\ 1 & 0 & f_x \end{array}\right|= f_x\vec{i}+ f_y\vec{j}- \vec{k}[/tex]
    The cross product is only defined in 3 dimensions. In higher dimensions, you need to use the generalization (with the "alternating" tensor [itex]\epsilon_{ijk}[/itex] as haushofer said). Actually, using the alternating tensor in 3 dimensions give a 3 by 3 "anti-symmetric" tensor: having 0s on the diagonal, the three values, given above, above the diagonal and their negatives below. That would be the [itex]\xi^{ik} = x^iy^k - x^ky^i[/itex] you have.
     
  5. Jan 6, 2008 #4

    eep

    User Avatar

    Thanks, really cleared everything up for me
     
  6. Jan 7, 2008 #5
    What is... a bivector?

    Start with the plane and pick an origin. From two vectors [itex]\mathbf{u}[/itex] and [itex]\mathbf{v}[/itex] we can form a parallelogram which we will denote by [itex]/\mathbf{u},\mathbf{v}/[/itex]. (Let the parallelogram have an orientation, and denote this by [itex]-/\mathbf{u},\mathbf{v}/ = /\mathbf{v},\mathbf{u}/[/itex].)

    We will now investigate the equivalence classes of parallelograms with the same oriented area. Having not mentioned a metric or other machinery to measure area, the first question to settle is if it is actually possible to form such equivalence classes. To see that this is indeed possible, take two parallelograms [itex]/\mathbf{u},\mathbf{v}/[/itex] and [itex]/\mathbf{w},\mathbf{z}/[/itex] and split the two vectors of the first parallelogram in components of the vectors of the second parallelogram:

    [tex]\begin{array}{l}\mathbf{u} = u_1\mathbf{w}+u_2\mathbf{z} \\ \mathbf{v} = v_1\mathbf{w}+v_2\mathbf{z}\end{array}[/tex]

    Then the two have parallelograms have the same area if

    [tex]u_1v_2-u_2v_1=1[/tex].

    The equivalence class of such parallelograms is called a bivector and is denoted [itex]\mathbf{u}\wedge\mathbf{v}[/itex]. The set of bivectors in the plane is a one-dimensional vector space. Having picked one bivector [itex]\mathbf{u}\wedge\mathbf{v}[/itex] (generated by two vectors [itex]\mathbf{u}[/itex] and [itex]\mathbf{v}[/itex]) to be a basis, any other bivector can be written

    [tex]a\,\mathbf{u}\wedge\mathbf{v}[/tex]

    for some number [itex]a[/itex].

    Moving up one dimension, a bivector in three dimensions is the equivalence class of parallelograms with the same area and lying in the same plane. Two bivectors [itex]\mathbf{u}\wedge\mathbf{v}[/itex] and [itex]\mathbf{w}\wedge\mathbf{z}[/itex] - not necessarily in the same plane - can be added together to produce a new bivector. First, pick new representative parallelograms [itex]/\mathbf{a},\mathbf{b}/[/itex] and [itex]/\mathbf{c},\mathbf{b}/[/itex] of the bivectors sharing a common vector [itex]\mathbf{b}[/itex]. (This means that [itex]\mathbf{b}[/itex] lies in the intersection line of the bivector planes.) Then add the two other vectors together [itex]\mathbf{d}=\mathbf{a}+\mathbf{c}[/itex]. The resulting bivector is [itex]\mathbf{d}\wedge\mathbf{b}[/itex].

    The set of bivectors in 3-space is a three-dimensional vector space. Given a vector basis [itex]\mathbf{e}_x,\mathbf{e}_y,\mathbf{e}_z[/itex], this also generates a bivector basis:

    [tex]\mathbf{e}_y\wedge\mathbf{e}_z,\;\mathbf{e}_z\wedge\mathbf{e}_x,\;\mathbf{e}_x\wedge\mathbf{e}_y[/tex].

    Any bivector, let's call it [itex]\mathbf{\xi}[/itex], splits into

    [tex]\mathbf{\xi} = \xi_{yz}\,\mathbf{e}_y\wedge\mathbf{e}_z+\xi_{zx}\,\mathbf{e}_z\wedge\mathbf{e}_x+\xi_{xy}\,\mathbf{e}_x\wedge\mathbf{e}_y[/tex].
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?