PhysLean Documentation

PhysLean.StatisticalMechanics.CanonicalEnsemble.TwoState

Two-state canonical ensemble #

This module contains the definitions and properties related to the two-state canonical ensemble.

The canonical ensemble corresponding to state system, with one state of energy E and the other state of energy 0.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    theorem CanonicalEnsemble.twoState_probability_snd (E : ) (T : Temperature) :
    (twoState E).probability T 1 = 1 / 2 * (1 - Real.tanh (T.β * E / 2))

    Probability of the excited (energy E) state in closed form.

    A simplification of the entropy of the two-state canonical ensemble.

    Equations
    Instances For

      A simplification of the helmholtzFreeEnergy of the two-state canonical ensemble.

      Equations
      Instances For