Home EEE Contact


tensor calculus

Theory of relativity

Special theory of relativity   |   General theory of relativity   |   Tensor calculus

Quantum mechanics

Schrodinger's equation   |   Matrix mechanics

"God created the integers and rest are the work of men"


Tensor calculus

Tensor calculus was first developed to aid the development of Einstein's general theory of relativity. Since then it has been a separate branch of applied mathematics. Tensors are multi-linear maps. That is to say, they are linear in many variables and are functions of them just like vectors are also functions. They are functions of coordinates variable. As an example, metric tensor is a function of coordinates. Riemann tensor is also function of coordinates. Tensors transform in special way under change of coordinates. Application of calculus to tensor gives different resutls than scalars and vectors. Tensor calculus not only involves calculus but also linear algebra. Tensor field is tensor valued function defined on a general manifold. Manifold is a generalized space of which Euclidean space is a special case. In each point in a manifold tensor field assigns a tensor quantity like vector field assigns a vector at each point in space. A special example of tensor field is metric tensor which assigns a tensor to measure distance at each point in a manifold. For example on the surface of a sphere a metric tensor has different value at different point.

Tensor analysis

Tensors were conceived in 1900 by Tullio Levi-Civita and Gregorio Ricci-Curbastro. It was used by Albert Einstein to develop his theory of general relativity. Contrasted with the infinitesimal calculus, tensor calculus allows presentation of physics equations in a form that is independent of the choice of coordinates on the manifold.
Tensors are matrices but they can be multi-dimensional array of numbers with an additional property that these numbers obey certain transformation rules. The role of tensor lies in the fact that physical laws written in tensor language remains valid everywhere. Laws of physics should not change from place to place in the physical universe. That is if some quantities are equal in one coordinate frame they should also be equal in any other coordinate frame. For example vectors are quantities which retains its properties (magnitude and direction) no matter which coordinate system is used. We can have expressions for them , which are free of coordinates but when we have relations between any two such expressions, coordinates need to be specified. The dependence of coordinates can not be avoided. These relations are called tensors.
Tensor can be explained in another way : we saw that coordinates describe certain relations appearing in the expressions of vectors and tensors. But the way coordinates enter into them makes the truth of the expressions independent of them. The difference is comparable to that between linguistic statements and statements about what words mean. Suppose you want to translate the sentence "human is the most intellectual species on earth" into French or German. You can easily do it without altering the truth of the sentence. But if you have a sentence like "strength is a word which contains seven syllables and one vowel" and you want to translate it into French , you can not do it easily without altering the truth of the sentence. In tensor analysis coordinates play the role of words except that linguistic statements are harder to distinguish than others. Tensor accomplishes this task.
Coordinates are numbers that are needed to fix a point in space or event in spacetime. A collection of coordinates called 'n-tuple' forms what is known as coordinate system. Almost all the elementary concepts of physics are dependent on coordinates system. Theory of electromagnetism, Newtonian physics are examples of those. As I mentioned tensors , a simple mathematical representation of tensors can be given :

tensor calculus


Covariant and contravariant tensor

The components of tensor (A[rs]) in the left hand side are referred to a certain reference frame and in right hand side the components(A[jk]) in another reference frame are related to the components of left hand side by certain transformation rules. The coordinates on the numerator are functions of coordinates on the denominator. These components (A[rs]) form the tensor of rank two. It has dimension 3 indicated by the value of the indices j and k. In relativity theory j and k has 4 values (1,2,3,4). Corresponding coordinates are x, y, x and t. The repeated indices j and k on the right hand side is summed over by convention. This tensor is called covariant tensor. Tensors played important role in formulating natural laws. Everybody has to agree on the results obtained by tensor equations. This is called general covariance which motivated Einstein to formulate his theory of General Relativity. All the equations of relativity are generally covariant.

tensors


The tensor above is a contra -variant rank two tensor. It has special transformation properties as given in the equation. The differentials in the denominator and numerator are reversed compared to that in the covariant one described before. We can also form a mixed tensor with both covariant and contravariant components. Different component in such tensor will transform differently. An example is given below:

tensor calculus

There is no physical distinction between covariant and contravariant tensors. They both contain the same physical content. It is only the interpretation that are different. As the transformation is defined as the infinitesimal displacement , we need not worry about curvature of space. In case of two displacement, the difference can be spotted easily. When the axes do not intersect orthogonally, there is only two way to project the vector onto the axes : either parallel or vertical. Covariant and contravariant component of a vectore can be geometrically interpreted as the component that is parallel projection to axis and component that is perpendicular projection to axis.


covariant tensors

When the axes are orthogonal, contra-variant and covariant projections becomes identical.

The above tensor is type (1,2) tensor. So why are tensors so important in physics or mathematics ? It is actually an entity studied under linear algebra. In linear algebra , it can have any rank and thus can be more generalized form of vectors or scalars. In physics , it has became a necessity to use tensor. Many physical quantities needs more than one direction to be specified. For example stress is a tensor quantity which has two directions : one is normal to a surface and other is tangential to the surface. The former is called normal stress and the latter is called shear stress. Mechanical engineers are used to it more than others. It is this tensor that attracted Einstein to use it in his theory. He just included a time dimension to it and make it relativistic. We will come to that when discussing the theory of relativity in more details.

The notion of covariant derivative can be developed by taking the derivative of vector function which takes one or more value as argument and returns a vector.


tensor calculus
The covariant derivative is the summation of usual derivative and a Christoffel symbol coupled term. If we assign a vector to each direction in space we get a tensor of second order. Such tensor's components are labelled by pair(i,j).
tensor calculus
Stress is a second rank tensor. In three dimensions it has nine components which Einstein generalized in four dimensions including time. The generalized tensor is known as Stress-energy tensor, which acts as a source of graviational field.
tensors

The tensor consists of nine components {σ{ij} that completely define the state of stress at a point inside a material in the deformed state, placement, or configuration. The tensor relates a unit-length direction vector n to the stress vector T(n) across an imaginary surface perpendicular to n:

tensors

Tensor product is defined as the bilinear map that takes elements from two vector spaces and produces element of a third vector space. It does, in this process, generalises outer product of vectors.
tensor calculus

Tensor product can be formed with a vector space and its dual as well. In that case we get what is called mixed tensors each of which is itself an element of another vector space. So tensor product is generally , a composition of vector spaces over a field F. In short, it maps cartesian product of two vector space to another vector space, that generalizes vector outer product. Outer product of two vectors of rank n and m is the matrix nxm.


tensor calculus

Levi cevita tensor

Levi cevita tensor is a rank two tensor. It is often called permutation symbol, alternative symbol. It is anti-symmetric tensor.
 le cevita tensors
so it is a collection of 2x2=4 number s in two dimensions. It can be generalized in higher dimensions also.

Invariant theory

Tensors and tensor equations are invariant quantity. Vector and tensor , as we have seen do not change when we change coordinates or coordinate system. The components of tensors change but a linear combination of them remain the same. We begin with simple invariant quantity ds^2.

ds^2 = ds.ds= g(11)dx(1)^2 + g(12)dx(1)dx(2) + ......+ g(44)dx(4)^2 .

The above quantity ds^2 is a dot product vector ds with itself. It is the spacetime interval which remain invariant or same no matter whichever coordinates are used. The components g(ik) change but ds^2 remains unchanged.

Generalizing divergence of a vector, we can form divergence of any tensor using the covariant derivative of it. Taking a tensor A(uv) , divegence of it has four components :
[A(1v)]1 + [A(2v)]2 + [A(3v)]3 + [A(4v)]4 where (v = 1, 2, 3, 4) and
[A(1v)]1 = d/dx(1) A(1v) + [a1,1]A(au) - [u1,a]A(1u) Where [ab,c] is the Christoffel symbol.
We can get Einstein's tensor from Riemann's curvature tensor.
Riemann curvature tensor is G(uv) = d/dx([uv,a]) - d/dx([uv,a]) + [uv,a][uv,a] - [uv,a][uv,a]
Divergence of Einstein tensor's is identically zero. This is known as the "fundamental theorem of mechanics". So we can say
[G(uv) - (1/2)g(uv)G],a = 0.
The mass and momentum copnservation law, on the other hand, says that divergence of Stress-energy tensor is identically zero. So
[T(uv)],a = 0 .
Equating to zero both quantities, we can get field equation of Einstein's theory of general relativity
G(uv) - (1/2)g(uv)G = KT(uv) [where K is 8π/c^4 ]

General relativity with tensor calculus

General relativity (GR, also known as the general theory of relativity or GTR) is the geometric formulation of gravitation published by Albert Einstein in 1915 and the current explanation of gravitation in modern physics. General relativity generalizes special relativity and Newton's law of universal gravitation, affording a unified description of gravity as a geometric property of space and time, or spacetime. In particular, the curvature of spacetime is directly connected to the energy and momentum of whatever matter and radiation are present. The relation is specified by the Einstein field equations, a system of partial differential equations. Without the method of tensor calculus GR formulation would not have been possible
Some predictions of general relativity differ significantly from those of classical physics, especially concerning the passage of time, the geometry of space, the motion of bodies in free fall, and the propagation of light. Examples of such differences include gravitational time dilation, gravitational lensing, the gravitational redshift of light, and the gravitational time delay. The predictions of general relativity in relation to classical physics have been confirmed in all observations and experiments to date. Although general relativity is not the only relativistic theory of gravity, it is the simplest theory that is consistent with experimental data. However, unanswered questions remain, the most fundamental being how general relativity can be reconciled with the laws of quantum physics to produce a complete and self-consistent theory of quantum gravity.
Einstein's theory has important astrophysical implications. For example, it implies the existence of black holes—regions of space in which space and time are warped in such a way that nothing, not even light, can escape—as an end-state for massive stars. There is abundance evidence that the intense radiation emitted by certain kinds of astronomical objects is due to black holes; for example, microquasars and active galactic nuclei result from the presence of stellar black holes and supermassive black holes, respectively. The bending of light ray by gravity can lead to the phenomenon of gravitational lensing, in which multiple mirror images of the same distant astronomical object are visible in the sky. General relativity also predicts the existence of gravitational waves, which have since been observed directly by the physics collaboration LIGO. In addition, general relativity is the basis of current cosmological models of a consistently expanding universe.
Widely acknowledged as a theory of extraordinary beauty, general relativity has often been described as the most beautiful of all existing physical theories.


This website is mine. I am a self-claimed scientist. I am a writer too. I am trying to build this website for mass people and education. My goal is to make everybody aware of science and technology. I have tried my best to share my knowledge and experience here. But at this moment I have to give a lot of effort and money to others , which I can hardly manage. If you like reading my website, I will be happy and if not , please do not go away from it. Ads are displayed on front page. If you click on it, I will get some money. Thus my wrtiting will be worthful. One click can make both of us happy. Your contribution can change the world. If you invest in learning and education , you will be rewarded in future. Thank you

Notes and additional comments

A field F is a set endowed(equip) with some operations(addition, multiplication). The difference between group and field is that group has one operation while field has two operations. Field has to satisfy certain axioms and so the groups. Much of the mathematics and its related concepts depend on the axioms and propositions. In the past mathematics was unable to answer much of quesions and properties regarding mathematical objects. Now mathematics is capable of giving answers. Mathematics is not only a language but it is reasoning itself. The essense of reasoning is logic. I can recite in Russell's word : Unlike we are very mistaken all mathematics are logical deduction from premises and axioms.

One of the most difficult matters in all controversy is to distinguish disputes about words from disputes about facts: it ought not to be difficult, but in practice it is. This is quite as true in physics as in other subjects. In the seventeenth century there was a terrific debate as to what 'force' is; to us now, it was obviously a debate as to how the word 'force' should be defined, but at the time it was thought to be much more. One of the purposes of the method of tensors, which is employed in the mathematics of relativity, is to eliminate what is purely verbal (in an extended sense) in physical laws. It is of course obvious that what depends on the choice of co-ordinates is 'verbal' in the sense concerned. A person punting walks along the boat, but keeps a constant position with reference to the river-bed so long as she or he does not pick up the pole. The Lilliputians might debate endlessly whether the punter is walking or standing still; the debate would be as to words, not as to facts. If we choose co-ordinates fixed relatively to the boat, the punter is walking; if we choose co-ordinates fixed relatively to the river-bed, the punter is standing still. We want to express physical laws in such a way that it shall be obvious when we are expressing the same law by reference to two different systems of co-ordinates, so that we shall not be misled into supposing we have different laws when we only have one law in different words. This may be accomplished by the method of tensors. Some laws which seem plausible in one language cannot be translated into another; these are impossible as laws of nature. The laws that can be translated into any co-ordinate language have certain characteristics: this is a substantial help in looking for such laws of nature as the theory of relativity can admit to be possible. Of the possible laws, we choose the simplest one which predicts the actual motion of bodies correctly: logic and experience combine in equal proportions in obtaining this expression. But the problem of arriving at genuine laws of nature is not to be solved by the method of tensors alone; a good deal of careful thought is wanted in addition. Some of this has been done; much remains to be done.
Laws of motion
The present chapter will adopt, for the moment, a naïve attitude towards Newton’s Laws. It will not examine whether they really hold, or whether there are other really ultimate laws applying to the ether; its problem is merely to give those laws a meaning. The first thing to be remembered is—what physicists now-a-days will scarcely deny—that force is a mathematical fiction, not a physical entity. The second point is that, in virtue of the philosophy of the calculus, acceleration is a mere mathematical limit, and does not itself express a definite state of an accelerated particle. It may be remembered that, in discussing derivatives, we inquired whether it was possible to regard them otherwise than as limits—whether, in fact, they could be treated as themselves fractions. This we found impossible. In this conclusion there was nothing new, but its application in Dynamics will yield much that is distinctly new. It has been customary to regard velocity and acceleration as physical facts, and thus to regard the laws of motion as connecting configuration and acceleration. This, however, as an ultimate account, is forbidden to us. It becomes necessary to seek a more integrated form for the laws of motion, and this form, as is evident, must be one connecting three configurations. 456. The first law of motion is regarded sometimes as a definition of equal times. This view is radically absurd. In the first place, equal times have no definition except as times whose magnitude is the same. In the second place, unless the first law told us when there is no acceleration (which it does not do), it would not enable us to discover what motions are uniform. In the third place, if it is always significant to say that a given motion is uniform, there can be no motion by which uniformity is defined. In the fourth place, science holds that no motion occurring in nature is uniform; hence there must be a meaning of uniformity independent of all actual motions—and this definition is, the description of equal absolute distances in equal absolute times. The first law, in Newton’s form, asserts that velocity is unchanged in the absence of causal action from some other piece of matter. As it stands, this law is wholly confused. It tells us nothing as to how we are to discover causal action, or as to the circumstances under which causal action occurs. But an important meaning may be found for it, by remembering that velocity is a fiction, and that the only events that occur in any material system are the various positions of its various particles. If we then assume (as all the laws of motion tacitly do) that there is to be some relation between different configurations, the law tells us that such a relation can only hold between three configurations, not between two. For two configurations are required for velocity, and another for change of velocity, which is what the law asserts to be relevant. Thus in any dynamical system, when the special laws (other than the laws of motion) which regulate that system are specified, the configuration at any given time can be inferred when two configurations at two given times are known.
The second and third laws introduce the new idea of mass; the third also gives one respect in which acceleration depends upon configuration. The second law as it stands is worthless. For we know nothing about the impressed force except that it produces change of motion, and thus the law might seem to be a mere tautology. But by relating the impressed force to the configuration, an important law may be discovered, which is as follows. In any material system consisting of n particles, there are certain constant coefficients (masses) m1, m2 . . . mn to be associated with these particles respectively; and when these coefficients are considered as forming part of the configuration, then m1 multiplied by the corresponding acceleration is a certain function of the momentary configuration; this is the same function for all times and all configurations. It is also a function dependent only upon the relative positions: the same configuration in another part of space will lead to the same accelerations. That is, if xr, yr, zr be the coordinates of mr at time t, we have xr = fr (t) etc., and m1 x¨1 = F (m1, m2, m3, . . . mn, x2 − x1, x3 − x1 . . . xn − x1, y2 − y1, . . .). This involves the assumption that x1 = f1(r) is a function having a second differential coefficient x¨1; the use of the equation involves the further assumption that x¨1 has a first and second integral. The above, however, is a very specialized form of the second law; in its general form, the function F may involve other coefficients than the masses, and velocities as well as positions.


Facebook Reddit StumbleUpon Twitter
You can provide your comment and response about "tensor calculus" below:




Computer science and Engineering

Networking   |   Computerscience   |   Web development    
Sitemap |   portfolio
Resume |   Contact|   Contact|   privacy policy