Fernando Garcia

Home     Research     Blog     Other     About me


Some formalizations in thermal theory

March 10th, 2024.

Introduction

Thermodynamics is a topic that's highly tied to experiments. It is pretty much the norm that books and courses on thermodynamics follow a historical treatment with a big emphasis on measurements and experiments in general. The introduction of new concepts comes with a related experiment or lab scenario.

While studying some thermodynamics on my free time, I came across a new presentation that brings more rigor to those that are less experiment-driven. In this post I want to outline this methodology and derive some of the results that are familiar from a course in thermodynamics.

This post was inspired by the works of László Tisza and the book Thermal Quantum Field Theory: Algebraic Aspects and applications, by Khanna, Malbouisson, Malbouisson, and Santana.

Although previous knowledge is not necessarily required to follow the work below, it is highly recommended.

Basic notions

Here's a list of variables and the letters we shall use to denote them:

Variables can be of two types: Extensive and Intensive. Intensive properties are those that are independent of the size of the system. On the other hand, extensive variables are those that depend on the size of the system. As an example, consider a blob of clay:

The new piece of clay will have the same temperature and (mass) density, making them intensive variables. Still, it will have different energy, volume, and number of moles, making them extensive variables.

There are two important remarks to be made here: Densities of extensive variables are intensive, and there are variables which are neither intensive or extensive.

In the same way we can define a system's state in classical mechanics by describing its positions and momentums, we define a thermal system's state by referring to its thermal variables. In the same way we are interested in knowing the equations of motion in classical mechanics, given the classical variables of position and momentum, our goal in thermal physics is to have a function of state for the system in question.

Before moving into a brief summary of the three laws of thermodynamics, we need to make sure two points are clear: Processes are assumed to be quasi-static, meaning that states are connected by an infinite amount of intermediary states. Further, suppose we describe a system with r+1 variables:

x={x0,,xr}

We will set x0=E. Then mechanical work takes the form

dW=fdx=j=1lfjdxj;lr

Where the fj's are generalized forces, along with their extensive parameters xj.

With this in mind, we can talk about the three laws. These allow us to talk about the dynamics, rather than just specific states of a system.

1st law: Conservation of energy. The (infinitesimal) change in internal energy is equal to a flow in heat and work:

dE=dQ+dW

2nd law: On entropy and the (ir)reversibility of process. We introduce, as an assumption, the state function S(x)S(E,x1,,xr) and call it entropy. This function is extensive, analytical, and monotonically increasing (with respect to E).

Extensive variables (given the restrictions imposed by internal constraints) will take values which maximize S in the equilibrium state.

δS|eq.=0δ2S|eq.<0

There are processes which we do not observe in nature and which would not violate the first law. They don't happen because of the second law.

3rd law: It is impossible to lower the temperature of a system to T=0 (by a number of finite steps).

The fundamental relation

Since S is supposed to be analytic on E (the internal energy variable), there is a unique way to write

S=S(E,x1,,xr)E=E(S,x1,,xr)

Those two relations are known as the fundamental equations/relations. As we shall see below, we can derive everything from them. Further, we can add a further layer of abstraction and consider the fundamental equation:

Ψ(x)=Ψ(x0,,xr)

And talk about the entropy representation:

x0=E|Ψ=S

Or the energy representation:

x0=S|Ψ=E

Both (internal) energy and entropy are first-order homogeneous functions:

S(λE,x1,,λxr)=λS(E,x1,,xr)E(λS,x1,,λxr)=λE(S,x1,,xr)

So we have in general

Ψ(λx0,,λxr)=λΨ(x0,,xr)

This might seem like a trivial remark, but it is a useful one: Differentiate the above expression with respect to the parameter λ:

Ψ(x0,,xr)=jΨ(λx)(λxj)(λxj)xj=jΨ(λx)(λxj)xj

But we can also take the differential of Ψ by definition:

dΨ=j=0r(Ψxj)dxj=j=0rFjdxj

Where

Fj=Ψxj If we set λ=1, we have: Ψ(x)=j=0rΨ(x)xjxj=j=0rFjxj

This means that if we know the r+1 relations Fi for i=0,,r, known as the equations of state, we can write the fundamental relation.

What can we say about the Fi's?

Since Ψ is homogeneous of first order, it follows that the Fi's, being derivatives of Ψ, are zero-order homogeneous functions (making them intensive):

Ψ(λx)=λΨ(x)Differentiate both sides...xiΨ(λx)=xi(λΨ(x))Ψ(λx)(λxi)(λxi)xi=λΨ(x)xiλΨ(λx)(λxi)=λFi(x)λFi(λx)=λFi(x)Fi(λx)=Fi(x)

With this in mind, consider taking λ=1/xr. Then:

Fi=Fi(x0xr,,xr1xr,1)

Meaning that the r+1 different equations of state can be written in terms of r intensive variables.

To see how the Fi's relate to a physical system, let's consider a simple example. Imagine an isolated system divided in two subsystems:

With total energy

E=Ea+Eb

And total entropy

S=Sa(Ea)+Sb(Eb)

For this first example, let's keep Va,Vb,Na,Nb fixed. Because the system is assumed to be isolated, the total energy E is also constant. Consider heat flow between system a and system b. What are the equilibrium conditions? Let's use the entropy representation (Ψ=S, so Fj(s)=Sxj, where the superscript denotes that we are working in the entropy representation)

Equilibrium dictates δS=0. We see that:

0=SEa=SaEa+SbEa=SaEa+SbEbEbEa(Since E is constant)=SaEa+SbEb(1)

So

SaEa=SbEb

Or in terms of F's:

F0,a(s)=F0,b(s)

Where 0 denotes the first variable (Internal energy by convention), and the letter after the comma indicates which subsystem we are talking about. Physically, this is the equilibrium condition in terms of the intensive variables F0,sys(s).

If we move out of equilibrium, what happens to the system? The evolution will be characterized by δS>0, that is:

δS=(F0,a(s)F0,b(s))δEa>0

There are two cases to consider:

Case 1: F0,a(s)>F0,b(s). Then δEa>0 and thus δEb<0.

Case 2: F0,a(s)<F0,b(s). Then δEa<0 and thus δEb>0.

It is clear that heat will travel from the low F to the high F. This sounds familiar but not quite right. This is the opposite of how temperature behaves, so consider:

F0,subsyss=SsubsysEsubsys=1Tsubsys

So

Tsubsys=EsubsysSsubsys

In general

T=ES

In particular, notice two important things: The first being that F0,subsys(E)=EsubsysSsubsys=T, so a derivation in the Energy picture gives the same result. Furthermore, we have that

ES=T0

Since S increases monotonically with E.

As another example, consider a simple system, meaning that

x={E,V,N1,,Nn}

Where V denotes volume and Ni the number of moles of the ith substance. In equilibrium, we must have

0=SVa=SaVa+SbVa=SaVa+SbVbVbVa=SaVa+SbVb(1)

Since V=Va+Vb=const.. So

SaVa=SbVb

Meaning

F1,a(s)=F1,b(s)

If we move out of equilibrium, what happens to the system? The evolution will be characterized by δS>0, that is:

δS=(F1,a(s)F1,b(s))δVa>0

There are two cases to consider:

Case 1: F1,a(s)>F1,b(s). Then δVa>0 and thus δVb<0.

Case 2: F1,a(s)<F1,b(s). Then δVa<0 and thus δVb>0.

It is clear that the chamber that will grow (positive change in volume) is the one with higher "force" F1,subsys(s).

From definitions and as above, we have:

F1(s)=SV=SEEV=1TEV

So we identity

SV=PT

In similar ways, we find that

EV=PEN=μSN=μT

Which allow us to write (for the simple system) in the Energy representation:

dE=TdSPdV+jμjdNjE=TSPV+jμjNj

And in the entropy representation:

dS=1TdE+PTdV1TjμjdNjS=1TE+PTV1TjμjNj

Using the first law (dE=dQ+dW) and the energy representation, we see that

TdSPdV=dQ+dWdQ=TdS

Thermodynamic potentials

Let's now consider the Legendre transform of Ψ (in rk variables):

L=Ψj=k+1rFjxj

With Fj defined as before. It is clear that:

dL=j=0kFjdxjj=k+1rxjdFj

What this does is create a function L with variables

L(x0,,xk,Fk+1,,Fr)

And we refer to the Fi's as conjugates of xi.

Consider a simple system in the energy representation. Then Ψ=E. We consider a few examples:

1. Helmholtz free energy.

Take the Legendre transform in the variable S, and denote L by F. We get:

F=EESS=ETS

2. Enthalpy

Take the Legendre transform in the variable V, and denote L by H. We get:

H=EEVV=E(P)V=E+PV

3. Gibbs free energy

Take the Legendre transform in the variable S and V, and denote L by G. We get:

G=EESSEVV=ETS+PV

4. Grand thermodynamical potential (also known as Landau potential or Landau free energy)

Take the Legendre transform in the variable S and N, and denote L by ΩG. We get:

ΩG=EESSENN=ETSμN

Consider now some transforms in the Entropy representation:

5. Massieu potential (also known as Helmholtz free entropy)

Take the Legendre transform in the variable E, and denote L by Φ. We get:

Φ=SSEE=S1TE

6. Planck potential (also known as Gibbs free entropy)

Take the Legendre transform in the variable V, and denote L by Ξ. We get:

Ξ=SSVV=SPTV

These ideas provide some advantages, such as the description of a thermal state in terms of both intensive and extensive variables.

Final remarks

As usual, the post is getting long. In a later blog post I will discuss further developments in the aforementioned way of doing thermodynamics. There is relevance in Statistical mechanics, a topic I have yet to discuss here.


Back to Blogs