Dada una partición de un sistema en dos sistemas más pequeños, la energía $U$ se divide en $U_1$ y $U_2$ con $$U=\mathcal{P}(U_1,U_2):=U_1+U_2,$$ para que $U_2$ viene dada por $U-U_1$ . Aquí la operación $\mathcal{P}$ denota la regla de partición.
Lo que he escrito arriba es básicamente la extensividad de energía y refuerza en cierto modo la idea de paquetes de energía, o partículas. La idea de extensividad está estrechamente relacionada con la aditividad. Un pequeño flujo de energía del sistema uno al sistema dos viene dado entonces por
$$U_1\rightarrow \mathbb{fl}^-(U_1):= U_1-\epsilon, \\ U_2\rightarrow \mathbb{fl}^+(U_2):=U_2+\epsilon.$$
Lo que no queremos dejar caer es la conservación de la energía, por lo que
$$U=\mathcal{P}(U_1,U_2)=\mathcal{P}(\mathbb{fl}^-(U_1),\mathbb{fl}^+(U_2)),$$
donde $\mathbb{fl}^\pm$ definen lo que se supone que es un flujo de energía, y debido a la conservación de la energía estas funciones en parte determinadas por $\mathcal{P}$ .
¿Hay algún buen argumento por el que en la termodinámica o en la física estadística clásica, las leyes implícitas para este tipo de división deban formularse con un signo más (aparte de que hay buenas teorías en las que esta idea se cumple)?
Después de todo, hay algunos modelos para los que las nociones de extensividad o aditividad no están tan claras para todas las cantidades (por ejemplo, algunas de las definiciones de entropía de las últimas décadas).
Las relaciones $$\mathcal{P}(U_2,U_1)=\mathcal{P}(U_1,U_2),$$ $$\mathcal{P}(\mathbb{fl}^-(U_1),\mathbb{fl}^+(U_2))=\mathcal{P}(\mathbb{fl}^+(U_1),\mathbb{fl}^-(U_2)),$$ también parecen muy naturales - aunque esto podría no ser totalmente necesario, ya que los valores de $U_1$ y $U_2$ son elementos de los reales y, por tanto, ordenados/distinguibles.
Además, creo que el orden de colocación de los subsistemas no puede importar
$$\mathcal{P}(U_1,\mathcal{P}(U_2,U_3))=\mathcal{P}(\mathcal{P}(U_1,U_2),U_3).$$
Debería haber más restricciones de este tipo.
Así, por ejemplo, una primera ansatz sería que se pudiera considerar $$U=\mathcal{P}(U_1,U_2):=U_1U_2,$$ para que $$\mathbb{fl}^-(U_1)\equiv\tfrac{U_2}{\mathbb{fl}^+(U_2)}U_1.$$
Una realización de eso (que se construye de manera que el cambio a través de $\mathbb{fl}^-$ es el mismo que en el caso aditivo) sería
$$U_1\rightarrow \mathbb{fl}^-(U_1):= \left(1-\tfrac{\epsilon}{U_1}\right)U_1 =U_1-\epsilon, \\ U_2\rightarrow \mathbb{fl}^+(U_2):= \left(1-\tfrac{\epsilon}{U_1}\right)^{-1}U_2 =U_2+\left(\tfrac{U_2}{U_1}\right)\epsilon+ O\left((\tfrac{\epsilon}{U_1})^2\right).$$