Saturday, October 14, 2006

noethers theorem

1. we proved the noether's theorem( for every continuous symmetry with end points fixed characterized by m parameters, there are exactly m conserved quantities characterised by Q_k, where Q_k=(delta L /delta q_dot)*(delta q / delta alpha_k), alpha ks are parameters.) this we did by writing the transformed q_i's as functions of q_j and alpha_k, effecting the variation of the action,setting it to zero for a symmetry and using the lagrange equations.
2.next, we also considered the cases where the end points vary and noted that such a variation of end points causes the lagrangian to remain otherwise unchanged.this variation causes a variation of the coordiantes at the boundary, but along the trajectory.the limits of integration change.for the action to remain unchanged, the change of lagrangian due to this must equal the change of lagrangian due to the coordinate variation.a short calcualtion then yielded the conservation of energy.
3.we also saw that the alpha_k 's form a lie algebra
4.we derived the energy momentum tensor of the field.we noted that the tensor was not unique and so certain tensors(anti-symmetric in the last two indices) can be added to it to symmetrize it.
5.we derived its form for the classical electromagnetic field, checked that the tensor was symmetric and traceless.
6.it was also noted that this tensor cannot always be diagonalised; since under such a transformation the metric (which is not an identity metric, it is a minkowski metric) must also be preserved.

Thursday, October 12, 2006

further points of discussion

1.we discussed the possibilty of whether all canonical transformations can be represented by rotations of phase space and reasoned that in general it cannot.the reasoning follows the lines of symplectic structure of the poisson brackets which implies that canonical transformations cannot be
in general represented by rotations of phase space.
2.the second pair of maxwell equations
3. we saw that quantum mechanics is a field theory in some sense.this is because we can always obtain the klein-gordon equation (which describes quantum mechanics) from an action which can be said to describe a classical field theory in 0+1 dimension.
4.some discussions on path integrals

interesting points of fields in lower dimensions

there are some points about electrodynamics you can rather easily see from the field tensor.

in 1+1 dim, the field tensor is a 2X2 matrix with only one independent component.this component is the 01 component:which is one space and one time.so this is an electric field.note that E is a polar vector and so is the 01 component; hence the electric field is a scalar in 1+1 dimension.

all components exhausted, there is no B in 1+1 dimension!!

this also follows from Biot-savart law; the force on a current due to another current acts in a direction prependicular ot the line joining them, which is not possible in 1 space.

now lets come to 2 +1 dim.the electric field has 2 components.

what about the magnetic field ?

recall biot-savart law.force is given as a cross pdt, it has the structure of Fj=εjkvkB so it turns out that it is a scalar.also since F and v are polar vectors,B must ont change sign under parity and hence it is a true vector.

Bianchi identity: suppose u have an antisymmetric object and u have an operator that acts linearly on the tensor , then the sum of all cyclic permutations of the tensor add up to zero.
Fij=DjAi – DiAj (1)
define tijk=DkFij (2)
then the bianchi identity is
Tijk=tijk+tjki+tkij=0 (3)
as can be shown by substituting 1 & 2 in 3.

Next,using the anti-symmetric properties of Tijk in 3 we see that only 4 non-trivial equations result.knowing that this involves no source terms, we suspect these to be the source free maxwell equations.there are the right number of them!so the bianchi identity are the source free maxwell equations

why do you need a four-vector potential to characterize the field in the action formulation?well,this is because you have E from a scalar potential and B from a vector potential.

note that the convention E= -div (phi) comes from the convention that a positive charge moves in the direction of lower field.

the sturcture of the bianchi identity, ie, of some linear operator acting on an antisymetric structure is the same as for maxwell equations.

ED#

proceeding further, we wrote down the action of the complete field+particle system and then used the variational techniques with respect to different cocordinates to get maxwell equations in four-dimensional form.symmetry arguments for gauge invariance yielded the continuity equation.the properties of the field tensor in 1+1 and 2+1 dim were also deduced.

Sunday, October 08, 2006

Into Electrodynamics

With the notational ideas cleared up, i move into the covariant formulation of electrodynamics.But first, a short review of relativistic mechanics.
Using the principle of least action,the lagrangian is determined to be
L=-mc^2*sqrt(1-v^2/c^2)
Then we go ahead to find the expressions for momentum and energy in the case of a free particle.the euler-lagrange equations of motion(ELEOM) give us the condition that the four-velocity must be a constant.
LL makes the comment that the energy in relativistic mechanics is always positive and proportional to the mass, unlike in class mech where it can be either positive or negative.That would be because in class mech u do have the potential energy of interaction of a system of particles.but to do so in rel. mech. one has to explicitly include the momentum and energy of the field produced by the interacting particles.
A short review was also made of the angular momentum tensor, its antisymmetric nature.

Next, we come to the section where the field is viewed as an physical entity that mediates interactions between particles, since relativity allows only contact interaction.A particle imparts the information about its motion to the field surrounding it, which then propagate it far away.Also, since relativiy disallows the concept of rigid bodies, the so called elementary particles must be pointlike.
the next sections are more mathematical.in them we use the four-vector A to characterise the field, obtain the lagrangian, the generalised momentum,the hamiltonian.Then we proceed further to obtain the ELEOM and define the elecric and magnetic fields.interestingly, we see that the work done on the particle is only by the electric field E, since the magnetic field B is always perpendicular to the velocity v.
Equations of motion in classical mechanics are time reversal invariant; the same thing is true in electrodynamics under the transformation t-> -t; E -> E ; B -> -B which in turn implies phi -> phi; A -> -A; phi and A being the components of the four vector A.
then i studied gauge invariance and solutions for E,B and energy in constant electomagnetic fields.

Friday, October 06, 2006

four vectors

Thought it would be wise to recall some of the concepts before proceeding further.So,I started with revising the section on Four Vectors of sec 6 of Landau-Lifshitz(LL).
there is one thing i wanted to clarify.A quantity that is a product of a pseudoscalar and a scalar is a pseudoscalar; the product of a pseudoscalar with another pseudoscalar would be a scalar.I can extend the same argument to vectors and tensors; and then i would claim that (levi-civita_iklm)*(levi-civita_prst) is a true tensor.