Talk:PlanetPhysics/Basic Tensor Theory

Original TeX Content from PlanetPhysics Archive
%%% This file is part of PlanetPhysics snapshot of 2011-09-01 %%% Primary Title: basic tensor theory %%% Primary Category Code: 04.20.Cv %%% Filename: BasicTensorTheory.tex %%% Version: 6 %%% Owner: bloftin %%% Author(s): bloftin %%% PlanetPhysics is released under the GNU Free Documentation License. %%% You should have received a file called fdl.txt along with this file. %%% If not, please write to gnu@gnu.org. \documentclass[12pt]{article} \pagestyle{empty} \setlength{\paperwidth}{8.5in} \setlength{\paperheight}{11in}

\setlength{\topmargin}{0.00in} \setlength{\headsep}{0.00in} \setlength{\headheight}{0.00in} \setlength{\evensidemargin}{0.00in} \setlength{\oddsidemargin}{0.00in} \setlength{\textwidth}{6.5in} \setlength{\textheight}{9.00in} \setlength{\voffset}{0.00in} \setlength{\hoffset}{0.00in} \setlength{\marginparwidth}{0.00in} \setlength{\marginparsep}{0.00in} \setlength{\parindent}{0.00in} \setlength{\parskip}{0.15in}

\usepackage{html}

% this is the default PlanetMath preamble. as your knowledge % of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners.

% almost certainly you want these \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts}

% used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics) \usepackage{graphicx} % for neatly defining theorems and propositions %\usepackage{amsthm} % making logically defined graphics %\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here

\begin{document}

(\htmladdnormallink{work}{http://planetphysics.us/encyclopedia/Work.html} in progress)

\section{BASIC TENSOR THEORY}

\htmladdnormallink{Tensor}{http://planetphysics.us/encyclopedia/Tensor.html} analysis is the study of invariant \htmladdnormallink{objects}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html}, whose properties must be independent of the coordinate \htmladdnormallink{systems}{http://planetphysics.us/encyclopedia/SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence.html} used to describe the objects. A tensor is represented by a set of \htmladdnormallink{functions}{http://planetphysics.us/encyclopedia/Bijective.html} called components. For an object to be a tensor it must be an invariant that transforms from one acceptable coordinate system to another by the tensor rules.

Several examples of tensors are \htmladdnormallink{velocity}{http://planetphysics.us/encyclopedia/Velocity.html} \htmladdnormallink{vector}{http://planetphysics.us/encyclopedia/Vectors.html}, base vectors, \htmladdnormallink{metric}{http://planetphysics.us/encyclopedia/MetricTensor.html} coefficients for the length of a line, Gaussian curvature, and the Newtonian gravitation potential.

Many of the important \htmladdnormallink{differential equations}{http://planetphysics.us/encyclopedia/DifferentialEquations.html} for physics, engineering, and applied mathematics can also be written as tensors. Examples of differential equations that can be written in tensor form are \htmladdnormallink{Lagrange's equations}{http://planetphysics.us/encyclopedia/LagrangesEquations.html} of \htmladdnormallink{motion}{http://planetphysics.us/encyclopedia/CosmologicalConstant2.html} and \htmladdnormallink{Laplace's equation}{http://planetphysics.us/encyclopedia/FluorescenceCrossCorrelationSpectroscopy.html}. When an equation is written in tensor form it is in a general form that applies to all admissible coordinate systems.

\subsection{Summation Notation} The \htmladdnormallink{summation notation}{http://planetphysics.us/encyclopedia/EinsteinSummationNotation.html} used throughout this \htmladdnormallink{section}{http://planetphysics.us/encyclopedia/IsomorphicObjectsUnderAnIsomorphism.html} will be of the \htmladdnormallink{type}{http://planetphysics.us/encyclopedia/Bijective.html}:

\begin{equation} \sum_{i=1}^n = a_i x^i =\mathrm{a}_{1}\mathrm{x}_{1}+\mathrm{a}_{2}\mathrm{x}_{2}+\ldots+\mathrm{a}_{\mathrm{n}}\mathrm{x}_{n} \end{equation}

The superscripts on $\mathrm{x}$ are not \htmladdnormallink{powers}{http://planetphysics.us/encyclopedia/Power.html}; they are used to distinguish between the various $\mathrm{x}' \mathrm{s}$. In rectangular cartesian coordinates and vector notation, Equation 1 would be:

$$ \sum_{i=1}^{3} a_i x^i $$

where,

$\mathrm{x}^{1}=\mathrm{x}, \mathrm{x}^{2}=\mathrm{y}, \mathrm{x}^{3}=\mathrm{z}$

$\mathrm{a}_{1}=\mathrm{i}, \mathrm{a}_{2}=\mathrm{j}, \mathrm{a}_{\mathrm{3}}=\mathrm{k}$

With this interpretation of Equation 1.1 and the specific values for $\mathrm{a}_{\mathrm{i}}$ and $\mathrm{x}^{\mathrm{i}}$ as noted, sum $\mathrm{S}$ would be: $$ \mathrm{S}=\mathrm{i}\mathrm{x}+\mathrm{j}\mathrm{y}+\mathrm{k}\mathrm{z} $$

For additional simplification, \htmladdnormallink{Einstein}{http://planetphysics.us/encyclopedia/AlbertEinstein.html} dropped the $\sum$ in Equation 1.1 and the summation is then expressed

$$ \mathrm{S}=\mathrm{a}_{i}\mathrm{x}^{i} $$

This short cut is referred to as Einstein notation or Einstein summation convention. Further, a superscript index will indicate a contravariant tensor, while a subscript index will indicate a covariant tensor.

The rank of a tensor is the sum of the covariant and contravariant indexes.

\subsection{Relative Tensors}

The term relative tensor is used to describe \htmladdnormallink{scalars}{http://planetphysics.us/encyclopedia/Vectors.html} that are transformed from one co-ordinate system to another by means of the functional determinate known as the Jacobian. To illustrate this \htmladdnormallink{concept}{http://planetphysics.us/encyclopedia/PreciseIdea.html}, the differential increment of area$(\mathrm{d}\mathrm{A})$ is indicated in Fig. 1-1.

In cartesian coordinates $(\mathrm{x},\ \mathrm{y})$ it is: \begin{center} \includegraphics[scale=0.3]{image010.eps}

Fig. 1-1. \end{center}

$$ \mathrm{d}\mathrm{A}=\mathrm{d}\mathrm{x}\text{ }dy $$ In polar coordinates $(\mathrm{r},\ \mathrm{\theta})$ it is : $$ \mathrm{d}\mathrm{A}=\mathrm{r}\mathrm{d}\theta dr $$ Now, the connection between the $\mathrm{x}, \mathrm{y}$ cartesian coordinates and the $\mathrm{r}, \theta$ polar coordinates is: $$ \mathrm{x}=\mathrm{r}\cos \theta $$ $$ \mathrm{y}=\mathrm{r}\sin \theta $$ $$ \mathrm{r}=(\mathrm{x}^{2}+\mathrm{y}^{2})^{1/2} $$

$$ \theta =\tan^{-1} \frac{y}{x} $$ The Jacobian of the cartesian coordinates with respect to the polar coordinates is formed from the following partial derivatives : $$ \frac{\partial \mathrm{x}}{\partial \mathrm{r}}=\cos \theta \text{  } \frac{\partial \mathrm{x}}{\partial \theta}=-\mathrm{r}\sin \theta $$

$$ \frac{\partial \mathrm{y}}{\partial \mathrm{r}}=\sin \theta \text{  } \frac{\partial \mathrm{y}}{\partial \theta}=\mathrm{r}\cos \theta $$

This set of partial derivatives are used to form the following Jacobian:

\begin{equation} \left|\begin{array}{lll} \cos \theta & -r \sin \theta \\ \sin \theta & r \cos \theta \end{array}\right| =r\left(\cos^{2}\theta +\sin^{2}\theta \right)= r \end{equation}

In the same manner, the Jacobian of polar cooordinates with respect to the cartesian coordinates is formed from the following partial derivatives:

$$ \frac{\partial r}{\partial x}= \cos \theta \text{  }\frac{\partial r}{\partial y}=\sin \theta $$ $$ \frac{\partial \theta}{\partial x}=-\frac{1}{r}\sin \theta \text{  }\frac{\partial \theta}{\partial y}=\frac{1}{r}\cos \theta $$

This set of partial derivatives are used to form the following Jacobian:

\begin{equation} \left|\begin{array}{ll} \cos \theta & \sin \theta \\ -\frac{1}{r}\sin \theta & \frac{1}{r}\cos \theta \end{array}\right|=\frac{1}{r} \left( \cos^2 \theta +\sin^2 \theta \right) = \frac{1}{r} \end{equation}

Now, returning to the expression for differential area in cartesian coordinates and polar co-ordinates, the following equation can be written:

$$ S dx dy =\overline{S} dr d \theta $$ where,

$S=1$

$\overline{S}=r$

$S$ and $\overline{S}$ are called relative tensors, as they are related by the equations:

\begin{equation} {S}=\left|\frac{\partial {y}^{ {i}}}{\partial {x}^{ {j}}}\right|^{ {n}}\text{ }\overline{ {S}} \end{equation}

\begin{equation} \overline{ {S}}=\left|\frac{\partial {x}^{ {i}}}{\partial  {y}^{ {j}}}\right|^{ {n}}\text{ } {S} \end{equation}

Exponent $n$ in Equations 4 and 5 is used to determine the weight of a relative scalar. The examples in this section are relative scalars having a weight equaling one; therefore, $n = 1$. An absolute scalar has a weight of zero; i.e., $n = 0$. To illustrate Equation 4, we use the values:

$$ \overline{ {S}}= {r} $$ $$ \left|\frac{\partial {y}^{ {i}}}{\partial  {x}^{ {j}}}\right|=\left | \begin{array}{ll} \cos \theta & \sin \theta \\ -\frac{1}{ {r}}\sin\theta & \frac{1}{ {r}}\cos \theta \end{array}\right|=\frac{1}{ {r}} $$ $$ {y}^{ {i}}\text{ }ranges\text{ }from\text{ } {i}=1\text{ }to\text{ } {i}=2 $$ $$ {x}^{ {j}}\text{ }ranges\text{ }from\text{ } {i}=1\text{ }to\text{ } {j}\text{ }=2 $$ $$ {y}^{1}= {r},\text{ } {x}^{1}= {x} $$ $$ {y}^{2}=\theta ,\text{ } {x}^{2}= {y} $$ \begin{equation} {S}=\frac{1}{ {r}}( {r})=1 \end{equation}

Equation 6 is the desired result.

Now the notion of relative tensors can be extended to \htmladdnormallink{volumes}{http://planetphysics.us/encyclopedia/Volume.html} and \htmladdnormallink{mass}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html}. To illustrate this concept, we start with the equation for an incremental mass in orthogonal cartesian coordinates.

\begin{equation} dM = \rho dx dy dz \end{equation}

Now the incremental mass in spherical coordinates is written in terms of relative tensor $\overline{S}$:

$$ d \overline{M} = \overline{S} dr d\phi d\theta $$

$\overline{ {S}}$ is evaluated by the relative tensor equation:

\begin{equation} \overline{S} = \left | \frac{\partial x^i}{\partial y^j} \right | S \end{equation}

In this example $S = \rho$, where $\rho$ is called the scalar density.

$$ {x}^{1}= {x},\text{ } {x}^{2}= {y},\text{ } {x}^{3}= {z} $$ $$ {y}^{1}= {r},\text{ } {y}^{2}=\phi,\text{ } {y}^{3}= \theta $$

The geometrical relationship between the cartesian coordinates and the spherical co-ordinates is indicated in Fig. 1-2. The corresponding mathematical relationship between the coordinates is:

\begin{center} \includegraphics[scale=0.6]{Figure1-2.eps}

Fig. 1-2. \end{center}

$$ x = r \sin \phi \cos \theta $$ $$ y = r \sin \phi \sin \theta $$ $$ {z}= {r}\cos\phi $$

The partial derivatives for the Jacobian $\left| \frac{\partial x^i}{\partial y^j}\right|$ are:

$$ \frac{\partial x}{\partial r} = \sin \phi \cos \theta $$ $$ \frac{\partial x}{\partial \phi} = r\cos \phi \cos \theta $$

$$ \frac{\partial x}{\partial \theta} = -r \sin \phi \sin \theta $$

$$ \frac{\partial y}{\partial r} = \sin \phi \sin \theta $$ $$ \frac{\partial y}{\partial \phi} = r\cos \phi \sin \theta $$

$$ \frac{\partial y}{\partial \theta} = r \sin \phi \cos \theta $$

$$ \frac{\partial z}{\partial r} = \cos \theta $$ $$ \frac{\partial z}{\partial \phi} = -r\sin \phi $$

$$ \frac{\partial z}{\partial \theta} = 0 $$

Using these values, the resultant determinate is:

\begin{equation} \left | \begin{array}{lll} \sin \phi \cos \theta & r \cos \phi \cos \theta & -r \sin \phi \sin \theta \\ \sin \phi \sin \theta & r \cos \phi \sin \theta & r \sin \phi \cos \theta \\ \cos \phi & -r \sin \phi & 0 \end{array} \right | = r^2 \sin \phi \end{equation}

Now, Equation 5 can be evaluated:

\begin{equation} \overline{S} = r^2 \sin \phi \rho \end{equation}

and the equation for $d \overline{M}$ is:

\begin{equation} d \overline{M} = \rho r^2 \sin \phi dr d\phi d\theta \end{equation}

Equation 11 is the desired result for $d \overline{M}$. If the value for $d \overline{M}$ had been given initially in spherical coordinates, the corresponding value in cartesian coordinates could be found by the equation:

\begin{equation} dM = S dx dy dz \end{equation}

where,

\begin{equation} S = \left | \frac{\partial y^i}{\partial x^j} \right | \overline{S} \end{equation}

\subsection{Admissible Transformations}

From the previous examples, it has been demonstrated that relative tensors transform from one coordinate system to another by means of the functional determinate known as the Jacobian. Since a relative tensor is defined to be a function of the Jacobian, a necessary and sufficient condition for an admissible transformation of coordinates is that it is a member of a set in which the Jacobian does not vanish. This condition is also necessary and sufficient for absolute tensors. Therefore, the set of all admissible transformations of co-ordinates form a \htmladdnormallink{group}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} with non vanishing Jacobians. If notation $\left| J \right |$ is used for the Jacobian, the definition for an admissible transformation of co-ordinates can be expressed:

\begin{equation} \left| J \right | \ne 0 \end{equation}

Another property of an admissible transformation is:

\begin{equation} \left| \frac{\partial x^i}{\partial y^j} \right | \left| \frac{\partial y^i}{\partial x^j} \right | = 1 \end{equation}

An example of Equation 15 can be found in Jacobian Equation 2 and 3.

\begin{equation} \left( r \right ) \left ( \frac{1}{r}\right) = 1 \end{equation}

\subsection{N Dimensional Space}

In general terms a coordinate system represents a one-to-one correspondence of a point or object with a set of numbers. To measure distance, we can use a rectangular cartesian coordinate system. This is called a metric \htmladdnormallink{manifold}{http://planetphysics.us/encyclopedia/NoncommutativeGeometry4.html}, or space of $V_3$.

Now, a space or manifold of $N$ dimensions is expressed by the symbol $V_N$; and it is a coordinate system of $N$ dimensions, if for each set of N numbers there is one corresponding point or object.

A sub space $V_M$ where $M = N - 1$ is called a hypersurface. An example of a hypersurface in Euclidean space is a plane. It is a hypersurface of $V_2$.

\subsection{Contravariant Tensors} \subsection{Covariant Tensors} \subsection{Higher Rank and Mixed Tensors} \subsection{Metric Tensors and the Line Element} \subsection{Base Vectors} \subsection{Associated Tensors and the Inner Product} \subsection{Kronecker Deltas}

This is a Derivative work from the public \htmladdnormallink{domain}{http://planetphysics.us/encyclopedia/Bijective.html} work of

"Principles and Applications of Tensor Analysis" By MATTHEW S. SMITH

\end{document}