Vincent Rodgers © 2005 . Vincent Rodgers © 2005 A Very Brief Intro to Tensor Calculus Two...
Transcript of Vincent Rodgers © 2005 . Vincent Rodgers © 2005 A Very Brief Intro to Tensor Calculus Two...
Vincent Rodgers © 2005www.physics.uiowa.edu
A Very Brief Intro to Tensor Calculus
Two important concepts: Covariant Derivatives and Tensors
Familiar objects but dressed up a little differently
Vincent Rodgers © 2005www.physics.uiowa.edu
What are tensors?
Two important objects in elementary Calculus
Derivative Operators
Differentials
Recall Calculus 101
Vincent Rodgers © 2005www.physics.uiowa.edu
START WITH COORDINATE TRANSFORMATION:
Functions transforms as:
Then the derivative operator transforms like:
The differentials transform as:
COVARIANTTRANSFORMATION
CONTRAVARIANT
SCALAR1
Vincent Rodgers © 2005www.physics.uiowa.edu
We can build coordinate invariantsby using the covariant and contravariant tensors.
This is invariant under coordinate transformations.
This is called a scalar or tensor of rank zero.
contravariant
covariant
scalar
scalar
Vincent Rodgers © 2005www.physics.uiowa.edu
Transforms covariantly
Transforms contravariantly
Transformations in more than one dimension:
Transforms covariantly
Transforms contravariantly
Inve
rses
of
eac
h ot
her
Einstein Implied Sum Rule is Used. Also we always use these definition to define the
fundamental raised and lowered indices.
Vincent Rodgers © 2005www.physics.uiowa.edu
Simple Example: Consider a rectangular to polar coordinate transformation
where
Notation
Vincent Rodgers © 2005www.physics.uiowa.edu
x
y
rLen
gth of
A
sin( ) cos( )
cos( ) sin( )
dx r dr
dy r d
Vincent Rodgers © 2005www.physics.uiowa.edu
2 22 2
2 22 2
( )( )
1sin( ) cos( )
( )( )
1cos( ) sin( )
r
x x r x
x y
x r x yx y
x r r
r
y y r y
y x
y r x yx y
y r r
sin( ) cos( )
1 1cos( ) sin( )x y rr r
Vincent Rodgers © 2005www.physics.uiowa.edu
So motion in two dimensions is independent of the coordinate chart.
Between the different coordinate systems there is a “dictionary”the transformation laws, that tell one observer how a different observer perceives some event.
Physics should be independent of the coordinate system.
GENERAL COORDINATE INVARIANCE
Build physical theories out of quantities that can be translated to another coordinate without depending on a particular coordinatesystem. This is the essence of Tensors.
Vincent Rodgers © 2005www.physics.uiowa.edu
SOME COMMON EXAMPLES OF TENSORS
Covariant
Contravariant
Mixed
Tensor Product
Vincent Rodgers © 2005www.physics.uiowa.edu
Example: Stress-Strain Tensor
Stress Tensor and Strain Tensor Stress-Strain relationship represents how a body is
distorted in the y direction (say) due to a force applied in the x direction (say).
dx
dy
xF x S F
Vincent Rodgers © 2005www.physics.uiowa.edu
rLen
gth of
A
The Metric Tensor: used to measure distance and to map contravariant tensors into covariant tensors
x
yIn the (x,y) coordinate system
In the (r, ) coordinate system
THE METRIC AS WELL AS ALL TENSORS HAVE MEANING INDEPENDENTLY OF A
COORDINATE SYSTEM. THE COORDINATESYSTEM IS ONLY REPRESENTING THE
METRIC!ds
Vincent Rodgers © 2005www.physics.uiowa.edu
Not all metrics are the same.Here are two metrics that cannot be related by a smooth coordinate
transformationA metric on a
flat sheet of paper
A metric on a basketball
Vincent Rodgers © 2005www.physics.uiowa.edu
Two other favorites but in four dimensions
Minkowski Space metric using Cartesian coordinates
A black hole metric using spherical coordinates
Vincent Rodgers © 2005www.physics.uiowa.edu
HOW DO WE TAKE DERIVATIVES OF TENSORS?
BIG PROBLEM! Ordinary derivative of tensors are not tensors!
Derivatives are supposed to measure the difference betweenthe tops of the tensors but here the tails are not at the same place.
We need to figure out how to get the tails to touch.
xx + dxx
Vincent Rodgers © 2005www.physics.uiowa.edu
INTRODUCE COVARIANT DERIVATIVES
tensor nontensor nontensor
Christoffel Symbol
Vincent Rodgers © 2005www.physics.uiowa.edu
Christoffel Symbol parallel transports the tails of tensors together!
x + dxx
Tails are together so now we can compute the
difference.
a cbcP
Vincent Rodgers © 2005www.physics.uiowa.edu
GEOMETRP
Distances are determined by the metric. Here it is clearly different on these two dimensional surfaces
PARALLELL TRANSPORT IDEA ON A BALL AND FLAT SHEET OF PAPER
Vincent Rodgers © 2005www.physics.uiowa.edu
Metric gives us the geometry through theCovariant derivative.
Little loops can be measured through the commutator of the Covariant derivative operator.
Riemann Curvature Tensor
Ricci Tensors
Ricci Scalar
Metric tensor2
( ) da b b a c abc d
cdab acbd
abab
a bab
C R C
R R g
R R g
ds g dx dx
Vincent Rodgers © 2005www.physics.uiowa.edu
Explicitly “geometry” is defined by the Riemann Curvature Tensor. Explicitly we write:
12 ( )
a a a q a q abcp b pc c pb pc qb pb qc
a adbc c db b dc d bc
a a
R
g g g g
x
Vincent Rodgers © 2005www.physics.uiowa.edu
GEOMETRY
R=0
These manifolds have different Ricci scalars that is how we know they have Different geometry and not just look different because of a choice of coordinates.
Recall gauge symmetry in Electrodynamics, different potentials give same E and B ifthey are related by a gauge transformation. You get different E and B if they are not.
R=1/r2
Vincent Rodgers © 2005www.physics.uiowa.edu
THE GEODESIC EQUATION AS A FORCE LAW
Velocities (the time components are the same gamma factorsseen in special relativity).
Acceleration Force
Proper time
Shortest Distance is defined by the differential equation called the Geodesic Equation.
Vincent Rodgers © 2005www.physics.uiowa.edu
Maxwell Theory in terms of Tensors
• Start with the Vector Potential
( , ) ( / , , , )x y zA x t V c A A A
Scalar potential
Vector Potential
Vincent Rodgers © 2005www.physics.uiowa.edu
Gauge transformations
AB
At
E
AA
xixg
giggAgA
t
'
'
))(exp()(
11'
These Change
These Remainthe same
Vincent Rodgers © 2005www.physics.uiowa.edu
y
x
z
z
y
x
BAAF
BAAF
BAAF
EAAF
EAAF
EAAF
AAF
133113
323223
122112
033003
022002
011001
The Covariant Relationship to E and B
ANTISYMMETRIC RANK 2 TENSOR
Vincent Rodgers © 2005www.physics.uiowa.edu
0
0
0
0
0
0
0
0
xyz
xzy
yzx
zyx
xyz
xzy
yzx
zyx
EEcB
EEcB
EEcB
cB
cB
cB
G
BBcE
BBcE
BBcE
cE
cE
cE
F
The Maxwell Field Tensor and its Dual Tensor
FG 2
1
Vincent Rodgers © 2005www.physics.uiowa.edu
0
/
),(;0
000
0
0
B
JEB
E
BE
JcJGJF
t
t
MAXWELL’S EQUATIONS IN A COVARIANT NUTSHELL (SI units)
Vincent Rodgers © 2005www.physics.uiowa.edu
THE COVARIANT DERIVATIVE
FAA
AAAA
A
))(())((,
Curvature of a gauge theory!