Thermodynamic Structure and Composition in Nonlinear Convection-Diffusion

Resumen Técnico: Estructura y Composición Termodinámica en la Convección–Difusión No Lineal

Planteamiento del Problema
Los sistemas de convección–difusión no lineales son fundamentales para modelar fenómenos de transporte, incluyendo la transferencia de masa y calor en fluidos, medios porosos y continuos reactivos. Mientras que los enfoques clásicos suelen centrarse en las ecuaciones diferenciales parciales (EDP) gobernantes, existe una brecha crítica para asegurar que estos modelos preserven la consistencia termodinámica bajo las operaciones naturales realizadas durante el análisis y la simulación. Específicamente, a menudo no está claro si la segunda ley de la termodinámica (manifestada como un balance de energía libre con disipación no negativa) sobrevive cuando un sistema se restringe a un subdominio, se acopla a otro subsistema a través de una interfaz, se linealiza cerca del equilibrio o se discretiza para su computación. Las tradiciones existentes —como la termodinámica fuera del equilibrio, los flujos de gradiente y las formulaciones de sistemas abiertos— abordan partes de este problema estructural, pero carecen de un marco unificado que trate la consistencia termodinámica como una propiedad invariante bajo estas transformaciones.

Metodología
El artículo adopta un enfoque de "continuo primero" y "no lineal primero", revirtiendo el orden tradicional donde la teoría lineal es fundacional. La metodología procede a través de cuatro capas conceptuales:

1. Formulación del Continuo: Los autores definen los sistemas de convección–difusión no lineales abiertos como objetos estructurados que comprenden un dominio, un espacio de estados admisibles, una densidad de almacenamiento (energía libre), descomposiciones de flujo constitutivas (reversibles y disipativas), fuentes y puertos de frontera. La admisibilidad termodinámica se define mediante relaciones constitutivas que aseguran la existencia de un balance de energía libre con disipación volumétrica no negativa y contribuciones explícitas de frontera/fuente.
2. Marco Categórico: Los sistemas se organizan en una categoría, ThermCont, donde los objetos son estos sistemas termodinámicos y los morfismos son "morfismos termodinámicos exactos". Estos morfismos preservan estrictamente las estructuras de almacenamiento, disipación, fuente y emparejamiento de frontera. Esta capa categórica se utiliza para formalizar la afirmación de que la consistencia termodinámica es un invariante bajo transformaciones específicas.
3. Análisis Composicional: El artículo investiga cómo se comporta el balance termodinámico bajo la restricción a subdominios, la reconstrucción de lo local a lo global sobre particiones compatibles y la interconexión de subsistemas abiertos. Utiliza una estructura de tipo pre-haz (presheaf) para demostrar que los balances locales reconstruyen el balance global de forma exacta cuando las potencias de las interfaces internas se cancelan.
4. Linealización y Discretización: El marco deriva los modelos clásicos de convección–difusión lineales como "descendientes termodinámicos tangentes" en el equilibrio. Además, extiende el análisis a formulaciones débiles y a esquemas de paso de tiempo tanto semidiscretos como totalmente discretos, definiendo las condiciones bajo las cuales estas aproximaciones numéricas heredan la estructura termodinámica.

Contribuciones Clave y Resultados

• Definición de Sistemas Termodinámicos Abiertos: El artículo establece una definición rigurosa de sistemas termodinámicos de continuo no lineales abiertos (Definición 2.5) y demuestra que la admisibilidad constitutiva implica un balance de energía libre de continuo (Teorema 2.9). Este balance toma la forma $\frac{d}{dt}F = -D + B + S$, donde $D$ (disipación) es no negativa.
• Invarianza bajo Morfismos: Se demuestra que la consistencia termodinámica es invariante bajo morfismos termodinámicos exactos (Teorema 3.5). Esto establece que la estructura de la segunda ley se preserva bajo transformaciones exactas que preservan la estructura.
• Cierre Composicional:
  • Restricción: El Teorema 4.5 muestra que restringir un sistema a un subdominio preserva el balance termodinámico, separando simplemente el intercambio de frontera en componentes externos e internos.
  • Reconstrucción de Local a Global: El Teorema 4.9 demuestra que, para una partición finita compatible, la suma de los balances locales recupera exactamente el balance global, apoyándose en la cancelación mutua de las potencias de la interfaz interna (Lema 4.8).
  • Interconexión: El Teorema 4.13 prueba que los subsistemas locales abiertos pueden unirse en un sistema compuesto admisible si sus relaciones de interfaz satisfacen una condición de conservación de potencia (Definición 4.12).
• Linealización como Teoría Tangente: El artículo deriva los sistemas de convección–difusión lineales como el sistema termodinámico tangente en un equilibrio de referencia (Teorema 5.6). Muestra que el sistema linealizado hereda un funcional de almacenamiento cuadrático, una forma disipativa y una estructura de intercambio de frontera que satisfacen la ley de balance inducida. Esto se formaliza mediante un functor de linealización (Proposición 5.9).
• Discretización que Preserva la Estructura: Los autores definen esquemas semidiscretos (Definición 7.3) y totalmente discretos (Definición 7.6) termodinámicamente admisibles. Prueban que si estos esquemas respetan condiciones estructurales específicas (por ejemplo, el uso de variables de prueba termodinámicas y reglas de la cadena discretas), satisfacen un balance de energía libre discreto (Teoremas 7.4 y 7.7).
• Ejemplos Explícitos: El marco se aplica a dos clases específicas de EDP: la difusión por deriva no lineal con advección y la convección–difusión de medio poroso. En ambos casos, el artículo deriva explícitamente los términos de almacenamiento, flujo y disipación, confirmando que el marco captura las EDP de continuo genuinas.

Significancia y Reivindicaciones
El artículo sostiene que su contribución principal es un marco de transporte composicional en el cual la segunda ley permanece visible y preservada a través del modelado de continuo, el acoplamiento de subsistemas, la aproximación lineal y la computación.

Los autores argumentan que la formulación categórica no es meramente decorativa, sino esencial para abordar cuestiones sobre la supervivencia de la estructura de la segunda ley bajo operaciones como la restricción, la interconexión y la discretización. Al tratar la consistencia termodinámica como un invariante categórico, el marco unifica el tratamiento de sistemas no lineales y sus descendientes lineales, locales y computacionales.

El artículo señala modestamente que, si bien establece un "paquete termodinámico de continuo mínimo" (localización, cancelación de potencia y reconstrucción exacta), no llega a afirmar que estos sistemas formen un haz completo sobre la categoría del dominio, dejando la identificación de las condiciones de coincidencia y los axiomas de pegado para extensiones futuras. Del mismo modo, la discusión sobre direcciones futuras sugiere que formalizar la localidad como un pre-haz y explorar la semántica interna mediante lógica geométrica son continuaciones naturales, pero no requeridas para los resultados actuales.

En última instancia, el artículo postula que la segunda ley no debe verse como una estimación auxiliar adjunta a un modelo post-hoc, sino como el invariante organizador de una categoría de sistemas de transporte de continuo no lineales admisibles.