I Comparing Spacetime and Thermodynamic State Space Manifolds

cianfa72
Messages
2,784
Reaction score
293
TL;DR Summary
Spacetime vs thermodynamic state space as manifolds from the intrinsic vs extrinsic point of view
Hi,

I don't know if it is the right place to ask for the following: I was thinking about the difference between the notion of spacetime as 4D Lorentzian manifold and the thermodynamic state space.

To me the spacetime as manifold makes sense from an 'intrinsic' point of view (let me say all the universe lives in such manifold) whereas the thermodynamic state space as manifold actually represents the thermodynamic state of a physical system and as manifold it makes sense only from an 'extrinsic' point of view.

In other words in the thermodynamic state space case we start from an 'ambient' vector space ##\mathbb R^n## in which a physical system is represented as a point in this space. Of course there exist constrains on the possible 'combination' of the state space variables/coordinates (e.g. the amount of Energy) so that the set of possible points as manifold is actually a submanifold of ##\mathbb R^n##.

What do you think about ? Thank you.
 
Physics news on Phys.org
The entire point of using calculus on manifolds is that you do not require any embedding space. Be it spacetime or the thermodynamic state space.
 
  • Like
Likes cianfa72 and dextercioby
Orodruin said:
The entire point of using calculus on manifolds is that you do not require any embedding space. Be it spacetime or the thermodynamic state space.
Yes, of course: from the calculus point of view there is no difference at all. My point was to understand if there is in principle a difference between the two.

To me the thermodynamic state space cannot be conceived from an intrinsic point of view (it was born in extrinsic view).

##n## in ##\mathbb R^n## is the state space dimension that is the number of thermodynamic variables used (e.g. ##p,V,t,S##). This number is not the number of system's degree of freedom -- i.e. the dimension of the submanifold representing the thermodynamic state of the physical system being described (basically the number of coordinates).
 
Last edited:
cianfa72 said:
To me the thermodynamic state space cannot be conceived from an intrinsic point of view (it was born in extrinsic view).
Why not? It is just a structure telling you about the possible states of a system. That there are some functions on this space that you can measure does not make it any less so.

cianfa72 said:
My point was to understand if there is in principle a difference between the two.
I’d say the big difference is the Lorentzian structure placed on spacetime.
 
It seems to me that one should compare
  • the spacetime manifold M with a thermodymamic space M_{therm} (possibly coordinatized by (U,V,S) )
and
  • (say) a spacelike hypersurface in M associated with possible foliation of M
    with a hypersurface (U,V,S(U,V)) in M_{therm} describing the states of a particular substance (like a an ideal gas).
Possibly interesting:
https://physics.stackexchange.com/q...m-of-thermodynamics-based-on-contact-geometry
 
  • Like
Likes dextercioby
robphy said:
the spacetime manifold M with a thermodymamic space M_{therm} (possibly coordinatized by (U,V,S) )
If we assume a simple thermodynamic state space ##M_{therm}## with only two degree of freedom (i.e. ##M_{therm}## dimension is 2) we can assign to it just two coordinates, for instance ##(V,S)##. In this case the internal energy ##U## is not an indipendent coordinate, it is just a function defined on ##M_{therm}##.
 
cianfa72 said:
If we assume a simple thermodynamic state space ##M_{therm}## with only two degree of freedom (i.e. ##M_{therm}## dimension is 2) we can assign to it just two coordinates, for instance ##(V,S)##. In this case the internal energy ##U## is not an indipendent coordinate, it is just a function defined on ##M_{therm}##.
(as I said above) for a particular substance.
Specifying U(S,V) or S(U,V) is essentially defining the equation of state of a particular substance.
 
robphy said:
(as I said above) for a particular substance.
Specifying U(S,V) or S(U,V) is essentially defining the equation of state of a particular substance.
Ah ok, basically you are saying that ##M_{therm}## manifold is actually three dimensional (it is coordinatized by ##(U,V,S)## ).

Pick a particular system (substance) amounts to pick a function ##f(U,V,S)## on the manifold and equate it to zero. Then expliciting ##U## we can write ##f(U,V,S)=U - g(V,S)=0## i.e. ##U=g(V,S)##.

This way our system (substance) is defined as the submanifold ##U - g(V,S)=0## of the ##M_{therm}## manifold we started with.

Is that correct ? Thank you.
 
Last edited:
  • #10
From links at post #6 I was reading about the theory of contact manifold. Pfaffian equations are introduced and a solution of it is actually a submanifold of the manifold we stared with such that the Pfaffian equation's one-form vanish on it.

Take for instance the following one-form field ##\omega = f(p,t)dp + g(p,t)dt## defined on the manifold and consider the Pfaffian equation ##\omega = f(p,t)dp + g(p,t)dt = 0##.

By definition ##h(p,t)=c## is a solution if ##dh## is a non-zero multiple (which is the integrating factor function) of the one-form ##\omega## above. On ##h(p,t)=0## submanifold we have ##dh=0## hence the value ##f(p,t)## and ##g(p,t)## functions take on those points should be zero (i.e. ##\omega## vanishes on that submanifold).

Is that right ? Thank you.
 
  • #11
cianfa72 said:
From links at post #6 I was reading about the theory of contact manifold. Pfaffian equations are introduced and a solution of it is actually a submanifold of the manifold we stared with such that the Pfaffian equation's one-form vanish on it.

Take for instance the following one-form field ##\omega = f(p,t)dp + g(p,t)dt## defined on the manifold and consider the Pfaffian equation ##\omega = f(p,t)dp + g(p,t)dt = 0##.

By definition ##h(p,t)=c## is a solution if ##dh## is a non-zero multiple (which is the integrating factor function) of the one-form ##\omega## above. On ##h(p,t)=0## submanifold we have ##dh=0## hence the value ##f(p,t)## and ##g(p,t)## functions take on those points should be zero (i.e. ##\omega## vanishes on that submanifold).

Is that right ? Thank you.
Why do you think it is right? Take a specific example. Say ##f=1## and ##g=1##, then they are never zero anywhere. The equation becomes ##dp+dt=0##, which integrates to ##p+t=c##, so your ##h(p,t)=p+t##.
 
  • #12
martinbn said:
Take a specific example. Say ##f=1## and ##g=1##, then they are never zero anywhere. The equation becomes ##dp+dt=0##, which integrates to ##p+t=c##, so your ##h(p,t)=p+t##.
Oh Yes, you're right I'm confused. So what does actually mean the one-form ##\omega## vanish ?
 
  • #13
cianfa72 said:
Oh Yes, you're right I'm confused. So what does actually mean the one-form ##\omega## vanish ?
One forms evaluate on vectors. It means that if you restrict the form ##\omega## to points on the surface ##h(p,t)=c## and evaluate on vectors tangent to the surface it will vanish. On other vectors it will not.
 
  • Like
Likes cianfa72
  • #14
martinbn said:
One forms evaluate on vectors. It means that if you restrict the form ##\omega## to points on the surface ##h(p,t)=c## and evaluate on vectors tangent to the surface it will vanish. On other vectors it will not.
So the equation ##\omega = f(p,t)dp + g(p,t)dt = 0## actually means: search for ##h(p,t)=c## submanifolds of the given manifold such that the one-form ##\omega## evaluated on the vector space of tangent vectors to that submanifold (i.e on the vector subspace of the tangent space defined at each point of the given manifold) vanish.

Is that correct ? Thanks.
 
Last edited:
  • #15
cianfa72 said:
So the equation ##\omega = f(p,t)dp + g(p,t)dt = 0## actually means: search for ##h(p,t)=c## submanifolds of the given manifold such that the one-form ##\omega## evaluated on the vector space of tangent vectors to that submanifold (i.e on the vector subspace of the tangent space defined at each point of the given manifold) vanish.

Is that correct ? Thanks.
Yes, but only in dimension 2. In general at each point the form will vanish on a ##n-1## dimensional subspace of the tangent space at that point. This way you get a family of such subspaces one for each point of the manifold. You can then ask if there are submanifolds whose tangent spaces are these. In general it will not be the case. There is a theorem of Frobenious that explains when this happens. In you example of a 2 dimensional manifold, you have a distribution of 1 dimensional subspaces. And those are always integrable. You need to find the integral curves to a vector field.
 
  • Like
Likes cianfa72 and ergospherical
  • #16
martinbn said:
Yes, but only in dimension 2. In general at each point the form will vanish on a ##n-1## dimensional subspace of the tangent space at that point. This way you get a family of such subspaces one for each point of the manifold. You can then ask if there are submanifolds whose tangent spaces are these. In general it will not be the case. There is a theorem of Frobenious that explains when this happens.
Yes, if ##\omega## is the given one-form field, Frobenious thereom says it is integrable giving you a ##n-1## submanifold if and only if
$$\omega \wedge d \omega = 0$$
My point is that the defintion of contact manifold ##M_{therm}## of odd dimension ##2k+1## requires ##\omega \wedge (d \omega)^k \neq 0## so the Frobenius condition actually does not hold.

As far as I can tell, there exist no submanifolds of dimension ##k+1, k+2...2k## such that ##\omega## evaluated on their associated subspaces of tangent vectors vanishes.

##\omega \wedge (d \omega)^{k+1} = 0## does means there exist a submanifold of dimension ##k## such that the above condition holds.
 
Last edited:
  • #17
cianfa72 said:
Yes, if ##\omega## is the given one-form field, Frobenious thereom says it is integrable giving you a ##n-1## submanifold if and only if
$$\omega \wedge d \omega = 0$$
My point is that the defintion of contact manifold ##M_{therm}## of odd dimension ##2k+1## requires ##\omega \wedge (d \omega)^k \neq 0## so the Frobenius condition actually does not hold.

As far as I can tell, there exist no submanifolds of dimension ##k+1, k+2...2k## such that ##\omega## evaluated on their associated subspaces of tangent vectors vanishes.
You considered a 2 dimensional manifold in post #11, it cannot be a ##2k+1## dimensional.
 

Similar threads

Back
Top