How the Hahn-Banach Theorem Sheds Bright Light on Fundamental Questions in Classical Thermodynamics

This paper explores the mathematical connection between the Hahn-Banach Theorem and the Second Law of Thermodynamics, demonstrating how the theorem guarantees the existence of entropy and temperature functions for any material state while establishing that their uniqueness depends on the reachability of states via reversible processes.

The Gist

The "Universal Rulebook" of Energy: A Simple Guide to the Hahn-Banach Theorem and Thermodynamics

Imagine you are playing a brand-new board game. You don't know all the rules yet, but you do know one absolute, unbreakable law: "You can never win more points than the game allows."

In the world of physics, this "unbreakable law" is the Second Law of Thermodynamics. It basically says that in any closed system, energy tends to spread out, and you can't create a "perpetual motion machine" that runs forever without any cost.

For over 150 years, scientists have used this law to talk about two very important things: Entropy (a measure of disorder or "spread-out-ness") and Temperature (how "hot" or "energetic" a state is).

But there has always been a massive, nagging question: How do we know these two things actually exist as mathematical functions that work for every possible situation?

This paper, written by Martin Feinberg and Richard Lavine, uses a powerful mathematical tool called the Hahn-Banach Theorem to answer that question.

---

1. The Problem: The "Missing Manual"

Think of a material (like water, steel, or a chemical mixture) as a complex machine. As you heat it, squeeze it, or stir it, the machine changes its "state."

Traditional science textbooks often say: "Entropy and Temperature only exist when the machine is perfectly still and balanced (Equilibrium)." If the machine is moving fast or reacting violently (Non-equilibrium), many scientists felt they couldn't officially define entropy or temperature. It was like trying to measure the "calmness" of a person while they are mid-air in a bungee jump—it felt impossible.

2. The Hero: The Hahn-Banach Theorem

The authors introduce a mathematical "superhero" called the Hahn-Banach Theorem.

To understand this theorem, imagine a crowded room full of people (these are all the possible "processes" or actions a material can undergo). Some people are following the rules (the Second Law), and some are "rule-breakers" (processes that would create infinite energy).

The Hahn-Banach Theorem is like a magical divider. It says: "If you have a group of rule-followers and a group of rule-breakers, and they are clearly different, I can always draw a straight line (or a plane) that perfectly separates them."

The breakthrough: The authors show that if you apply this "magical divider" to the Second Law, the "line" it draws actually is the math for Entropy and Temperature!

The theorem proves that as long as the Second Law holds, Entropy and Temperature must exist, even if the material is in a chaotic, non-equilibrium state. You don't need the machine to be "still" to define these values; the math guarantees they are there.

3. The Twist: The "Uniqueness" Problem

Now, here is where it gets tricky. While the theorem proves these functions exist, it doesn't guarantee there is only one way to define them.

Imagine you are looking at a mountain range through a foggy window. You can see the peaks, but because of the fog, you might draw the map in several different ways. One person might draw the map based on height, another based on steepness. Both maps are "correct," but they look different.

The paper explains that for Entropy and Temperature to be unique (meaning there is only one "true" map), the material must be able to undergo "Reversible Processes."

• A Reversible Process is like a perfectly smooth, slow-motion dance. You can go forward, and you can go backward, and nothing is wasted.
• An Irreversible Process is like dropping an egg. You can move forward, but you can't "un-drop" it to get the original state back.

The authors prove that if your material can perform these "perfect dances" (reversible processes) to reach every possible state, then the math "clears the fog," and your Entropy and Temperature functions become unique and perfect.

Summary: The Big Picture

• Old View: "We can only talk about Entropy and Temperature when things are calm and steady (Equilibrium)."
• New View (via Hahn-Banach): "As long as the Second Law of Thermodynamics is true, Entropy and Temperature exist for everything—even the most chaotic, fast-moving systems."
• The Catch: "If you want those values to be the only possible correct values, you have to be able to move through those states using perfectly smooth, reversible paths."

In short, the authors have used 20th-century math to bridge the gap between 19th-century physics and the complex, moving world of modern science.

Technical Summary

Technical Summary: How the Hahn-Banach Theorem Sheds Bright Light on Fundamental Questions in Classical Thermodynamics

Authors: Martin Feinberg and Richard B. Lavine
Date: April 27, 2026

---

1. Problem Statement

Classical thermodynamics, established by 19th-century pioneers (Clausius, Gibbs, Kelvin, etc.), relies on the existence of entropy and temperature functions that satisfy the Second Law (specifically the Clausius-Duhem inequality). However, a long-standing conceptual tension exists regarding the domain of these functions:

• The Equilibrium Constraint: Traditional teaching and consensus (even in modern AI models) suggest that entropy and temperature are strictly defined only for systems in thermodynamic equilibrium, as they are traditionally derived via reversible paths (Carnot cycles).
• The Nonequilibrium Extension: Modern continuum thermomechanics (e.g., the Coleman-Noll methodology) frequently applies these functions to nonequilibrium states (rapid deformations, chemical reactions, sharp temperature gradients) without a rigorous mathematical foundation for their existence or uniqueness in such settings.

The authors address two fundamental questions:

1. Does the Second Law itself guarantee the existence of entropy and temperature functions for arbitrary (potentially nonequilibrium) material states?
2. Under what conditions is the uniqueness of these functions ensured?

2. Methodology

The authors employ modern functional analysis, specifically the Hahn-Banach Theorem, to provide a rigorous mathematical framework for thermodynamics. They transition from a "cartoon" two-state model to a generalized "meta-thermodynamics" framework:

• Mathematical Framework: They define a Thermodynamic Theory as a pair $(\Sigma, P)$, where $\Sigma$ is a compact state space (a subset of $\mathbb{R}^N$) and $P$ is a set of processes represented as vectors in a topological vector space $V(\Sigma)$. A process $p \in P$ is defined by a pair $(\Delta m, q)$, where $\Delta m$ is the change in the mass distribution (condition) and $q$ is the heating measure.
• The Kelvin-Planck Second Law: They formalize the Second Law as a geometric constraint on the set of processes: the closed convex cone of actual processes $\hat{P}$ must be disjoint from the set of processes that represent "perfect efficiency" (absorbing heat without emission).
• Geometric Separation: They use the Hahn-Banach Theorem (specifically the version regarding the separation of disjoint convex sets by a continuous linear functional) to derive thermodynamic properties from these geometric constraints.

3. Key Contributions and Results

A. Existence (Theorem 6.1):
The authors prove that the existence of a Clausius-Duhem entropy-temperature pair is equivalent to the Kelvin-Planck Second Law.

• Result: If a theory satisfies the Second Law, the Hahn-Banach Theorem immediately guarantees the existence of a continuous specific-entropy function $\eta(\cdot)$ and a positive thermodynamic-temperature function $T(\cdot)$ such that the Clausius-Duhem inequality holds for all processes in $P$.
• Significance: This decouples existence from equilibrium. Entropy and temperature exist for nonequilibrium states as long as the Second Law is satisfied; they do not require the existence of reversible paths to be mathematically valid.

B. Uniqueness of Temperature (Theorem 8.1):
The authors investigate when a temperature scale is "essentially unique" (unique up to a positive scale factor).

• Result: Essential uniqueness of the temperature scale requires that the set of processes $\hat{P}$ be "rich" enough to contain a large supply of Carnot elements (reversible cyclic processes operating between different hotness levels).
• Significance: If a state cannot be visited by a reversible process, the temperature at that state is not uniquely determined by the Second Law.

C. Uniqueness of Entropy (Theorem 9.1):

• Result: For a theory with a unique temperature scale, the entropy function is unique (up to an additive constant) if and only if all states in the state space $\Sigma$ are reversibly related (i.e., can be connected by a reversible process).
• Significance: This provides a mathematical explanation for why classical thermodynamics focuses on equilibrium: while entropy exists for nonequilibrium states, it is only uniquely defined across the entire state space if the space is fully "connected" by reversible processes.

4. Significance and Implications

• Reframing Classical Foundations: The paper demonstrates that the 19th-century reliance on reversible/equilibrium processes was a sufficient but not a necessary condition for the existence of thermodynamic functions.
• Validation of Modern Continuum Mechanics: It provides a rigorous justification for the use of the Clausius-Duhem inequality in nonequilibrium settings (e.g., viscous fluids, reacting mixtures), confirming that the existence of these functions is a direct consequence of the Second Law.
• Bridging Disciplines: The work serves as a bridge between the "engineering" view of thermodynamics (often rooted in 19th-century intuition) and the "mathematical" view (rooted in 20th-century functional analysis), suggesting that the perceived limitations of entropy (its restriction to equilibrium) are a consequence of seeking uniqueness rather than existence.