He estado tratando de entender cómo podemos igualar la entropía de Boltzmann $k_B \ln \Omega$ y la entropía de la termodinámica. Estoy siguiendo el enfoque encontrado en el primer capítulo de la mecánica estadística de Pathria, y en muchos otros textos. Muchas otras preguntas en stackexchange se acercan al abordar este problema, pero no creo que ninguna de las respuestas vaya directamente a mi pregunta específica.
Entonces, estamos considerando dos sistemas aislados 1 y 2, que se ponen en contacto térmico y se les permite intercambiar energía (asumamos por simplicidad que solo pueden intercambiar energía). En el lado termodinámico del problema, tenemos la condición necesaria y suficiente para el equilibrio térmico
$$T_1=\frac{\partial E_1}{\partial S_1}=T_2=\frac{\partial E_2}{\partial S_2},$$
donde las temperaturas $T_1$ y $T_2$, las energías internas $E_1$ y $E_2$, y las entropías $S_1$ y $S_2$ están definidas de manera apropiada en términos operativos y termodinámicos. Por otro lado, podemos mostrar que la condición necesaria y suficiente para el equilibrio desde el punto de vista de la mecánica estadística es
$$\beta_1 \equiv \frac{\partial \ln \Omega_1}{\partial E_1}= \beta_2 \equiv \frac{\partial \ln \Omega_2}{\partial E_2}.$$
Aquí, $\Omega_1$ y $\Omega_2$ son el número de microestados asociados con el macroestado de cada sistema. Ahora, dado que ambas relaciones son necesarias y suficientes para el equilibrio, una igualdad se cumple si y solo si la otra también se cumple. Mi pregunta es: ¿Cómo podemos proceder desde aquí para mostrar que $S=k_B \ln \Omega$, sin limitar nuestro alcance a ejemplos específicos (como un gas ideal)? En el texto de Pathria y en otros tratamientos, no veo mucha explicación sobre cómo se justifica este paso.
Mis pensamientos posiblemente equivocados son: Parece que primero necesitamos mostrar que $\beta$ es una función solo de $T$ (y de hecho la misma función de $T$ para ambos sistemas), y luego mostrar que la forma de esta función es de hecho $\beta \propto T^{-1}$. Pero no estoy seguro de cómo probar ninguna de esas afirmaciones.