Tensors in GR and in mechanics

TrickyDicky
Messages
3,507
Reaction score
28
Besides the dimensionality (4 vs. 3), how would you go about explaining the difference between tensors in GR and in continuum mechanics?
I was asked by an engineer friend that finds GR too "esoteric" and complex to get into.
 
Physics news on Phys.org
TrickyDicky said:
Besides the dimensionality (4 vs. 3), how would you go about explaining the difference between tensors in GR and in continuum mechanics?
I was asked by an engineer friend that finds GR too "esoteric" and complex to get into.
In my judgement, there is no difference. Of course, when you start working with the components of tensors in GR using coordinate systems, you are dealing with a non-Euclidean geometry rather than 3D Euclidean space. But the basic principles of manipulating tensors is exactly the same.
 
Classical tensors tranform between frames using the Galilean transform, t' = t, x' = t - vx. When you replace the above Galilean tensor transformation rules with the Lorentz transform, you get relativistic tensors.

There may be slight differences in notation as well, for instance according to wikki the engineering stress-energy tensor differs from the physicists stress-energy tensor by convective terms.

I'm biased, but I'd say the physicists version is actually simpler and easier to work with.
 
TrickyDicky said:
Besides the dimensionality (4 vs. 3), how would you go about explaining the difference between tensors in GR and in continuum mechanics?

I agree with Chet in that there is none. Furthermore continuum mechanics is in and of itself a powerful and ubiquitously used calculational and conceptual tool in GR.

TrickyDicky said:
I was asked by an engineer friend that finds GR too "esoteric" and complex to get into.

Conceptually GR is definitely on the hard side but the mathematics of GR is easy.
 
To elaborate on what I said earlier, as an engineer who first used tensors in solid and fluid mechanics and then studied SR and GR, there were some features of tensors in relativity that took some getting used to, mainly related to the fact that, because of the peculiar nature of the time dimension, one or more of the covariant components of the metric tensor is negative. However, aside from that, one is still dealing with tensors using curvilinear coordinates (at least in GR), and one is working with a curved manifold using the same mathematical approaches that Gauss developed for 2D curved surfaces.

Chet
 
Chestermiller said:
To elaborate on what I said earlier, as an engineer who first used tensors in solid and fluid mechanics and then studied SR and GR, there were some features of tensors in relativity that took some getting used to, mainly related to the fact that, because of the peculiar nature of the time dimension,
Chet
Yes, you are hitting on the fact that there is a different metric signature in Euclidean space (positive diagonals, or (+1,+1,+1,+1)), where ordinary continuum dynamics lives, and Minkowski space (with signature (-1,+1,+1,+1) or (+1,-1,-1,-1) depending on convention), which is the appropriate arena for special relativity. The Lorentzian signature of the Minkowski metric (namely the different sign in front the time-time and space-space components) translates over to general relativity since any more general metric that describes a real gravitational field must reduce, as per the equivalence principle, to the Minkowski metric locally. It is therefore sometimes said that general relativity includes only pseudo-Riemannian manifolds with Lorentzian signature.
 
Last edited:
Typically, tensors in "continuum mechanics" are "Euclidean tensors". That is, they are constructed on geometries where the metric tensor is diagonal with constants along the diagonal (and so can, by a change of scale, be transformed to the identity matrix). A result of that is that the "covariant" and "contra-variant" representations of a matrix are the same.
 
HallsofIvy said:
Typically, tensors in "continuum mechanics" are "Euclidean tensors". That is, they are constructed on geometries where the metric tensor is diagonal with constants along the diagonal (and so can, by a change of scale, be transformed to the identity matrix). A result of that is that the "covariant" and "contra-variant" representations of a matrix are the same.
I have lots of experience with tensors in continuum mechanics that are not, as you refer to them, Euclidean tensors. Any time you use a non-orthogonal coordinate system, the off diagonal components of the metric tensor are non-zero. Also, when you are describing the kinematics of the large deformations of materials, you use tensors like the Cauchy Green tensor and the finite strain tensor, both of that have non-diagonal components, and for which the covariant and contravariant components are not the same. When you use an embedded material coordinate system, even if the coordinate lines are initially orthogonal, after the deformation has occurred, the coordinate lines are usually non-orthogonal and curved. Also, in continuum mechanics, even if the coordinate axes are cartesian, the stress tensor generally features non-zero off-diagonal components. Only if the coordinate axes are aligned with the principal directions of stress is the stress tensor diagonal. Even then, the covariant and contravariant components are usually not the same.
 
pervect said:
There may be slight differences in notation as well, for instance according to wikki the engineering stress-energy tensor differs from the physicists stress-energy tensor by convective terms.

I'm biased, but I'd say the physicists version is actually simpler and easier to work with.

Engineers and physicists use the term stress tensor to describe two different entities. First of all, in engineering we don't use the term "stress-energy tensor." Secondly, what physicists call the stress-energy tensor, we call the momentum flux tensor (plus the isotropic pressure tensor). Third, what engineers call the stress tensor describes the internal state of stresses within a solid or fluid material that is deforming. There is no corresponding entity in relativity (to my knowledge) because, in practice, there are not many practical applications for quantifying the mechanics of deforming materials on the relativistic scale. In 3D fluid mechanics, we describe the internal stresses within a fluid as twice the Newtonian viscosity times the rate of deformation tensor. The latter is equal to the sum of the velocity gradient tensor and the transpose of the velocity gradient tensor, divided by 2. If this representation were to be expanded to relativistic fluid mechanics, I suppose we would replace the velocity gradient tensor by the gradient of the 4 velocity.

Chet
 
Last edited:
  • #10
Chestermiller said:
I have lots of experience with tensors in continuum mechanics that are not, as you refer to them, Euclidean tensors. Any time you use a non-orthogonal coordinate system, the off diagonal components of the metric tensor are non-zero.
That just makes them non-Cartesian. The underlying geometry is still Euclidean, no?
 
  • #11
Thanks for the interesting replies.
Of course a tensor is always obviously a tensor, but it is always more didactic to concentrate on the differences as it is done in the last answers.

Chestermiller makes some very good points, in line with what I had in mind:

Chestermiller said:
I have lots of experience with tensors in continuum mechanics that are not, as you refer to them, Euclidean tensors.

I think you and HallsofIvy are referring to Cartesian tensors in general (with the caveat you highlight below). I mean AFAIK(but you surely know more tan I do so correct me if I'm wrong) all engineering applications of tensors not related to relativity, use Euclidean tensors, defined as those set in Euclidean space (vanishing Riemannian tensor).
As you explain, obviously not all of them use cartesian coordinates, some use curvilinear coordinates that basically demand most of the machinery used in non-euclidean tensors(in terms of Christoffel symbols and position-dep. basis, covariance and contravariance...), and some use non-orthogonal coordinate system, etc.


Chestermiller said:
Also, in continuum mechanics, even if the coordinate axes are cartesian, the stress tensor generally features non-zero off-diagonal components. Only if the coordinate axes are aligned with the principal directions of stress is the stress tensor diagonal. Even then, the covariant and contravariant components are usually not the same.

Right, the shear stresses. However I would have thought in the last case you mention there wouldn't be covariant and contravariant distinction(unless for instance non-orthogonal basis were used).
 
  • #12
bapowell said:
That just makes them non-Cartesian. The underlying geometry is still Euclidean, no?
Yes. The underlying geometry is still Euclidean. So, in all these cases, it is possible to find a cartesian coordinate system in which the metric tensor is diagonal, with components +1.

However, if you have a curved (non-Euclidean) 2D surface immersed in flat 3D space (for example, the interior contour of an automobile tire or a saddle), the 2D surface would feature a metric tensor which could not be reduced to the Euclidean representation. It would exhibit mathematical features completely analogous to those of curved space-time, except, of course, for negative components of the metric tensor.
 
  • #13
TrickyDicky said:
Thanks for the interesting replies.

Right, the shear stresses. However I would have thought in the last case you mention there wouldn't be covariant and contravariant distinction(unless for instance non-orthogonal basis were used).
Not if you are using curvilinear coordinates. In orthogonal spherical and cylindrical coordinates, for example, the contravariant and the covariant components are not all equal.
 
  • #14
Chestermiller said:
There is no corresponding entity in relativity (to my knowledge)...

Actually there is. Given a 4-velocity field ##\xi^{\mu}## describing a fluid flow, we can write ##\nabla_{\mu}\xi_{\nu} = \omega_{\mu\nu} + \theta_{\mu\nu} - \xi_{\mu}a_{\nu}##. If we let ##h_{\mu\nu} = g_{\mu\nu} + \xi_{\mu}\xi_{\nu}## denote the orthogonal projector relative to ##\xi^{\mu}## then ##\theta_{\mu\nu} = h^{\alpha}{}{}_{\mu}h^{\beta}{}{}_{\nu}\nabla_{(\alpha}\xi_{\beta)}## is called the expansion tensor. It's trace ##\theta = \nabla_{\mu}\xi^{\mu}## has the usual physical interpretation in terms of volume transport by fluid elements. It's trace-free part ##\sigma_{\mu\nu} = \theta_{\mu\nu} - \frac{1}{3}h_{\mu\nu}\theta## is the shear stress tensor.

##\omega_{\mu\nu} = h^{\alpha}{}{}_{\mu}h^{\beta}{}{}_{\nu}\nabla_{[\alpha}\xi_{\beta]}## is the vorticity tensor from which the vorticity vector ##\omega^{\mu} = \epsilon^{\mu\nu\alpha\beta}\xi_{\nu}\nabla_{\alpha}\xi_{\beta}## can be defined. ##\omega^{\mu}## and ##\sigma_{\mu\nu}## reduce to the usual Newtonian expressions for fluids if we evaluate them in a momentarily comoving local inertial frame of a fluid element. Most standard GR textbooks will develop this hydrodynamical formulation of relativistic kinematics. See, for example, chapter 22 of MTW and chapter 9 of Wald.

Chestermiller said:
because, in practice, there are not many practical applications for quantifying the mechanics of deforming materials on the relativistic scale...

Actually on the contrary it's very important when analyzing relativistic problems. Both the Ehrenfest paradox and the Bell paradox can be explained in very simple terms using the hydrodynamical formulation of relativistic kinematics.
 
Last edited:
  • #15
HallsofIvy said:
Typically, tensors in "continuum mechanics" are "Euclidean tensors". That is, they are constructed on geometries where the metric tensor is diagonal with constants along the diagonal (and so can, by a change of scale, be transformed to the identity matrix). A result of that is that the "covariant" and "contra-variant" representations of a matrix are the same.

The distinction between covariant and contra-variant only disappears for Cartesian coordinates. If you are using curvilinear coordinates r, \theta, \phi, then there is a distinction even for Euclidean geometry.
 
  • #16
TrickyDicky said:
Of course a tensor is always obviously a tensor, but it is always more didactic to concentrate on the differences as it is done in the last answers.

The differences are purely conventional. Special and general relativistic fluid dynamics are only different from the non-relativistic counter-part in terms of the physical consequences of SR and GR. For example clocks comoving with elements of a fluid with non-vanishing vorticity cannot be Einstein synchronized globally. However the formalism is no different-we just make physical quantities generally covariant.
 
  • #17
A difference in what is typically done in General Relativity compared with Euclidean space is the choice of basis vectors.

Suppose you are using the curvilinear coordinates r, \theta, \phi. If you make an infinitesimal change in coordinates, then the displacement vector in the GR convention is typically written:

\delta \vec{r} = \delta r\ \textbf{e}_r + \delta \theta\ \textbf{e}_{\theta} + \delta \phi\ \textbf{e}_{\phi}

This gives different magnitudes to the different basis vectors:
\textbf{e}_r \cdot \textbf{e}_r = 1
\textbf{e}_\theta \cdot \textbf{e}_\theta = r^2
\textbf{e}_\phi\cdot \textbf{e}_\phi= r^2 sin^2(\theta)

In contrast, people working with Euclidean geometry typically choose "unit vectors". So they would right:

\delta \vec{r} = \delta r\ \hat{r} + r\ \delta \theta\ \hat{\theta} + r\ sin(\theta)\ \hat{\phi}

where \hat{r} \cdot \hat{r} = \hat{\theta} \cdot \hat{\theta} = \hat{\phi} \cdot \hat{\phi} = 1

In GR, because of the indefinite metric, you can't always get a "unit vector" in an arbitrary direction.
 
  • #18
Chestermiller said:
Not if you are using curvilinear coordinates. In orthogonal spherical and cylindrical coordinates, for example, the contravariant and the covariant components are not all equal.

Sure.


However, if you have a curved (non-Euclidean) 2D surface immersed in flat 3D space (for example, the interior contour of an automobile tire or a saddle), the 2D surface would feature a metric tensor which could not be reduced to the Euclidean representation. It would exhibit mathematical features completely analogous to those of curved space-time, except, of course, for negative components of the metric tensor.
But you would still use an Euclidean stress or deformation 3D tensor, have you found any situation in which you needed to model a curved surface object using a 2D stress tensor(if that can be done at all)?
 
  • #19
stevendaryl said:
In GR, because of the indefinite metric, you can't always get a "unit vector" in an arbitrary direction.

We can and very frequently do GR problems using frame fields which are sections of the vector bundle that assign an orthonormal frame to each event in space-time. The integrals curves of the time-like basis vector of a frame field represent a family of observers and the spatial basis vectors represent their meter sticks, gyroscopes etc. so that distinction is rather non-existent.
 
Last edited:
  • #20
WannabeNewton said:
We can and very frequently do GR problems using frame fields which are sections of the vector bundle that assign an orthonormal frame to each event in space-time. The integrals curves of the time-like basis vector of a frame field represent a family of observers and the spatial basis vectors represent their meter sticks, gyroscopes etc. so that distinction is rather non-existent.

But you can't have unit vectors for an arbitrary coordinate system, though.
 
  • #21
stevendaryl said:
But you can't have unit vectors for an arbitrary coordinate system, though.

Coordinate basis fields are in general unphysical (exceptions are adapted coordinates of asymptotically flat space-times)-if we want to compute measurements of physical observables relative to a given family of observers then we must use frame fields just like in Newtonian mechanics. Holonomic and non-holonomic frames exist in Newtonian mechanics too.
 
  • #22
WannabeNewton said:
Coordinate basis fields are in general unphysical-if we want to compute measurements of physical observables relative to a given family of observers then we must use frame fields just like in Newtonian mechanics. Holonomic and non-holonomic frames exist in Newtonian mechanics too.

I'm just talking about what is typically done. In Newtonian physics using curvilinear coordinates, typically people use unit vectors. In GR using curvilinear coordinates, people typically use basis vectors e_\mu where e_\mu \cdot e_\nu = g_{\mu \nu}

You're probably right, that people don't actually do calculations with arbitrary coordinate systems in either GR or Newtonian physics.
 
  • #23
stevendaryl said:
I'm just talking about what is typically done. In Newtonian physics using curvilinear coordinates, typically people use unit vectors. In GR using curvilinear coordinates, people typically use basis vectors e_\mu where e_\mu \cdot e_\nu = g_{\mu \nu}

I should say: what's typically done in textbooks. Real applications by researchers often require different tools than those introduced in introductions to the subjects.
 
  • #24
stevendaryl said:
I should say: what's typically done in textbooks. Real applications by researchers often require different tools than those introduced in introductions to the subjects.

I definitely agree with you there but unfortunately it's not even a problem of introductory texts. Wald and Carroll for example never once make substantial use of the very important formalism of frame fields. MTW and Straumann on the other hand have tons of problems and examples involving frame field calculations, Cartan calculus, and the likes.
 
  • #25
Anyway, my point was that when someone writes a vector in the form:

\sum_i V^i e_i

the e_i don't necessarily mean unit vectors in GR, while they typically do mean unit vectors in nonrelativistic vector calculus.
 
  • #26
WannabeNewton said:
... reduce to the usual Newtonian expressions for fluids if we evaluate them in a momentarily comoving local inertial frame of a fluid element. Most standard GR textbooks will develop this hydrodynamical formulation of relativistic kinematics.
The comoving frame requirement is quite limiting in practice, I think it was you that started a thread recently on the problems of finding a treatment of the SET without this limitation.

Actually on the contrary it's very important when analyzing relativistic problems. Both the Ehrenfest paradox and the Bell paradox can be explained in very simple terms using the hydrodynamical formulation of relativistic kinematics.

Any reference handy?
 
  • #27
TrickyDicky said:
The comoving frame requirement is quite limiting in practice...

As far as the physics goes yes it is especially when it comes to thermodynamics.

TrickyDicky said:
Any reference handy?

I'll try to find one for the Bell paradox although it's very easy to see how the aforementioned formalism explains it.

As for the other, see section 5.5 of this paper: http://arxiv.org/pdf/math-ph/0602018v2.pdf
 
  • #28
TrickyDicky said:
Sure.
But you would still use an Euclidean stress or deformation 3D tensor, have you found any situation in which you needed to model a curved surface object using a 2D stress tensor(if that can be done at all)?

Yes. If you are working with the deformational behavior of curved composite membrane type structures (tires) and large deformation behavior of non-linear rheological materials like rubber membranes (e.g., balloons), you would model them as curved deformable 2D structures. In such cases, you usually treat the stress tensor as approximately exhibiting plane strain (i.e., within the 2D tangent space). I used this extensively when I worked on the mechanics of Kevlar reinforced radial tires in support of Kevlar tire cord sales at DuPont.

Miller, C., Popper, P., Gilmour, P.W., and Schaffers, W.J., Textile Mechanics Model of a Pneumatic Tire, Tire Science and Technology, 13, 4, 187-226 (1985)

Popper, P., Miller, C., Filkin, D.L., and Schaeffers, W.J., A Simple Model for Cornering and Belt-Edge Separation in Radial Tires, Tire Science and Technology, 14, 1 (1986)
 
  • #29
WannabeNewton said:
Actually there is. Given a 4-velocity field ##\xi^{\mu}## describing a fluid flow, we can write ##\nabla_{\mu}\xi_{\nu} = \omega_{\mu\nu} + \theta_{\mu\nu} - \xi_{\mu}a_{\nu}##. If we let ##h_{\mu\nu} = g_{\mu\nu} + \xi_{\mu}\xi_{\nu}## denote the orthogonal projector relative to ##\xi^{\mu}## then ##\theta_{\mu\nu} = h^{\alpha}{}{}_{\mu}h^{\beta}{}{}_{\nu}\nabla_{(\alpha}\xi_{\beta)}## is called the expansion tensor. It's trace ##\theta = \nabla_{\mu}\xi^{\mu}## has the usual physical interpretation in terms of volume transport by fluid elements. It's trace-free part ##\sigma_{\mu\nu} = \theta_{\mu\nu} - \frac{1}{3}h_{\mu\nu}\theta## is the shear stress tensor.

##\omega_{\mu\nu} = h^{\alpha}{}{}_{\mu}h^{\beta}{}{}_{\nu}\nabla_{[\alpha}\xi_{\beta]}## is the vorticity tensor from which the vorticity vector ##\omega^{\mu} = \epsilon^{\mu\nu\alpha\beta}\xi_{\nu}\nabla_{\alpha}\xi_{\beta}## can be defined. ##\omega^{\mu}## and ##\sigma_{\mu\nu}## reduce to the usual Newtonian expressions for fluids if we evaluate them in a momentarily comoving local inertial frame of a fluid element. Most standard GR textbooks will develop this hydrodynamical formulation of relativistic kinematics. See, for example, chapter 22 of MTW and chapter 9 of Wald.



Actually on the contrary it's very important when analyzing relativistic problems. Both the Ehrenfest paradox and the Bell paradox can be explained in very simple terms using the hydrodynamical formulation of relativistic kinematics.

Thanks very much, WBN. This sounds very interesting. I don't quite understand all your notation, but I certainly get the gist of what you are saying. I'm going to try to look into chapter 22 of MTW and see what I can get out of it. I'm not that comfortable with the indicial notation that you're using. Can this also be expressed in "object" notation?

Chet
 
  • #30
Chestermiller said:
Can this also be expressed in "object" notation?

Is that the same as index-free index notation? E.g. ##\nabla_{\mu}\xi^{\mu}## would correspond to ##\vec{\nabla} \cdot \vec{\xi}## and ##\nabla_{[\mu}\xi_{\nu]}## would correspond to ##d\xi##. However I should note that when it comes to relativistic fluid dynamics, most GR texts will use either index notation or index-free notation via differential forms and in my opinion the former is much easier to work with when doing calculations. MTW uses both.

Nevertheless, take a look at this: http://arxiv.org/pdf/gr-qc/0605010v2.pdf
 
  • #31
WannabeNewton said:
Is that the same as index-free index notation? E.g. ##\nabla_{\mu}\xi^{\mu}## would correspond to ##\vec{\nabla} \cdot \vec{\xi}## and ##\nabla_{[\mu}\xi_{\nu]}## would correspond to ##d\xi##. However I should note that when it comes to relativistic fluid dynamics, most GR texts will use either index notation or index-free notation via differential forms and in my opinion the former is much easier to work with when doing calculations. MTW uses both.

Nevertheless, take a look at this: http://arxiv.org/pdf/gr-qc/0605010v2.pdf

Yes WBN. That's what I meant. I will check out this reference. Thanks again.

Chet
 
  • #32
Chestermiller said:
Yes. If you are working with the deformational behavior of curved composite membrane type structures (tires) and large deformation behavior of non-linear rheological materials like rubber membranes (e.g., balloons), you would model them as curved deformable 2D structures. In such cases, you usually treat the stress tensor as approximately exhibiting plane strain (i.e., within the 2D tangent space). I used this extensively when I worked on the mechanics of Kevlar reinforced radial tires in support of Kevlar tire cord sales at DuPont.

Miller, C., Popper, P., Gilmour, P.W., and Schaffers, W.J., Textile Mechanics Model of a Pneumatic Tire, Tire Science and Technology, 13, 4, 187-226 (1985)

Popper, P., Miller, C., Filkin, D.L., and Schaeffers, W.J., A Simple Model for Cornering and Belt-Edge Separation in Radial Tires, Tire Science and Technology, 14, 1 (1986)

Thanks for the info and references.
 
  • #33
TrickyDicky said:
Thanks for the info and references.
Incidentally, I meant plane stress, not plane strain. Sorry for the error.

Chet
 
  • #34
WannabeNewton said:
... continuum mechanics is in and of itself a powerful and ubiquitously used calculational and conceptual tool in GR.

It really is, and you've given a few examples of it in this thread.
I was wondering if this is a two-way fruitful relation. Are there useful ways to apply concepts and insights from relativity in the continuum mechanics- mechanical engineering context?
 
  • #35
TrickyDicky said:
I was wondering if this is a two-way fruitful relation. Are there useful ways to apply concepts and insights from relativity in the continuum mechanics- mechanical engineering context?

I'm afraid I can't help you there as I know nothing about mechE or even engineering as a whole :frown:
 
  • #36
WannabeNewton said:
I'm afraid I can't help you there as I know nothing about mechE or even engineering as a whole :frown:

No problem, maybe Chestermiller? (being a experienced engineer and versed in relativity)
 
  • #37
TrickyDicky said:
No problem, maybe Chestermiller? (being a experienced engineer and versed in relativity)
Yes I can. On a practical basis, applying what you learn in relativity to attack engineering problems wouldn't be much help, but, from the standpoint of unifying concepts, relativity fills some important gaps.

Before studying relativity, I always thought that, because of the similarity in the differential form of the continuity equation and the equation of motion, there must be a way of uniting these into a single equation. However, it wasn't until I studied relativity that I was able to learn how this could be done. Einstein figured it out because he must have had some background in continuum mechanics and recognized the value in modeling at the continuum level. In relativity, the equation of continuity automatically combines with the equation of motion when one takes the divergence of the stress-energy tensor. This is usually set equal to zero. However, in engineering, we deal with mechanical stresses in elastic solids and viscous fluids that must be added to the right hand side of the equation. I don't know how to do this yet, especially for the case of solids where deformations are referenced to some initial state (i.e., at a specific constant time for some frame of reference). However, my not knowing how to do it doesn't mean that it can't be done.

Another unifying area is in electrostatics/electromagnetism. In engineering, we deal with the force of an electrical field on a stationary charged particle, and we deal separately with the force of a magnetic field on a moving charged particle. Relativity automatically unifies both these relationships into a single equation involving the dot product of the Faraday tensor with the 4 velocity vector. It's really quite dazzling mathematically.

Hope this helps.

Chet
 
  • #38
Viscosity occurs in relativistic and non-relativistic fluid mechanics in principally similar ways, but there are also some impotant differences.

Fluid mechanics can be derived from kinetic theory as an aproximation that the mean free path is small compared to the typical macroscopic scales over which the collective observables like the flow velocity of the fluid changes. Then it is a good approximation to assume that each fluid cell is in thermal equilibrium. Then the continuity equations for conserved quantities like energy, momentum, and conserved charges (in the nonrelativistic case also mass) leads to ideal fluid dynamics (Euler's equations).

In the next step one considers small deviations from local thermal equilibrium, leading to viscous corrections (Navier-Stokes equations), heat flow, etc.

In relativistic fluid dynamics, however, the NS-approximation leads to instabilities and acausalities. Thus one has to go at least to 2nd-order corrections in the non-equilibrium expansion. In relaxation-time approximation this leads to the Israel-Stewart equations of relativistic viscous hydro.

Recently this expansion has been extended to higher orders. Look for papers by Gabriel Denicol, Andre El et al.

Relativistic hydro doesn't play a role in mechanical engineering, I guess, because there the fluids are well in the non-relativistic regime. It finds however important applications in ultra-relativistic heavy-ion collisions or supernova explosions and neutron-star formation. The latter includes even general relativistic hydro.
 
  • #39
Some thoughts on the original question...

The dimensionality mentioned in the original question is a big difference. Some lower-dimensional analogues of tensors used in GR simplify greatly (sometimes to zero). (Sometimes exploiting symmetries in a three-dimensional space can hide the distinction between different kind of "vectors"... vectors, pseudovectors, bivectors, two-forms.)

The signature of GR is also a big difference. Null vectors (vectors perpendicular to itself) are foreign to Euclidean space.

Torsion is zero in GR. But folks are using torsion to study dislocations.

(A while back I was wondering how one would formulate continuum mechanics in n-dimensions [no longer relying on the special properties of three-dimensional space... no more "axis" of rotation].)
 
Back
Top