Proof of thermodynamic stability condition

  • Context: Graduate 
  • Thread starter Thread starter chimay
  • Start date Start date
  • Tags Tags
    Statistical mechanics
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 3K views
chimay
Messages
81
Reaction score
8
TL;DR
Question about a mathematical detail in the proof of the thermodynamic stability relation
I am watching Kardar's Statistical Mechanics course in my spare time and I am struggling to understand a mathematical detail in the proof of the thermodynamic stability condition. See Eq. I.62 here.

The author considers a homogeneous system at equilibrium with intensive and extensive variables [itex](T,J,\mu)[/itex] and [itex](E,x,N)[/itex], respectively. Then, He imagines that the latter system is divided into two subsystems (A and B) that can exhange energy. Under the assumption that [itex]E,x[/itex] and [itex]N[/itex] are conserved, we have [itex]\delta E_A=-\delta E_B[/itex], [itex]\delta x_A=-\delta x_B[/itex] and [itex]\delta N_A=-\delta N_B[/itex]. What is not clear to me is the statement "Since the intensive variables are themselves functions of the extensive coordinates, to first order in the variations of [itex](E, x, N)[/itex], we have [itex]\delta T_A=-\delta T_B[/itex], [itex]\delta J_A=-\delta J_B[/itex] and [itex]\delta \mu_A=-\delta \mu_B[/itex]."

Can anyone explain to me the previous statement more in detail?

Thank you!
 
Physics news on Phys.org
If, for example, ##T=f(E)##, then to the first order, ##\delta T=f'\, \delta E##.
Then, ##\delta E_A = -\delta E_B## implies ##\delta T_A = -\delta T_B##.
 
Reply
  • Like
Likes   Reactions: chimay
Hi Hill, thank you for your reply.
I understand your point:
[itex]\delta T_A = \frac{\partial f}{\partial E}\bigg\rvert_{T_A} \delta E_A[/itex] and
[itex]\delta T_B = \frac{\partial f}{\partial E}\bigg\rvert_{T_B} \delta E_B[/itex].

However, since the two subsystems are not necessarily equal, even though [itex]\delta E_A = - \delta E_B[/itex], [itex]\delta T_A \ne \delta T_B[/itex] because [itex]\frac{\partial f}{\partial E}\bigg\rvert_{T_A} \ne \frac{\partial f}{\partial E}\bigg\rvert_{T_B}[/itex].

Where am I wrong?
 
chimay said:
However, since the two subsystems are not necessarily equal, even though δEA=−δEB, δTA≠δTB because ∂f∂E|TA≠∂f∂E|TB.
They say, "The two subsystems, A and B, initially have the same values for the intensive variables". That is, ##T_A=T_B##. Then, ##\frac{\partial f}{\partial E}\bigg\rvert_{T_A} = \frac{\partial f}{\partial E}\bigg\rvert_{T_B}##.
 
Reply
  • Like
Likes   Reactions: chimay
You are right! I read it so many times but I missed that. Indeed, since the overall system is at equilibrium, it makes sense that the two "subsystems" have the same values for the intensive variables. Kardar's book is very dense of information and I find it hard to follow sometimes...

Thank you for your help!
 
Reply
  • Like
Likes   Reactions: Hill