Path-Dependent Energy Lagrangian for Irreversible Thermomechanical Systems
Huilong Ren
TL;DR
A Path-Dependent Energy Lagrangian (PDEL) is proposed to unify reversible mechanics and irreversible thermodynamics within a single variational principle. The action S combines the reversible Helmholtz free energy with a history integral of nonthermal channel powers, and an upper-limit (tangential) variation ensures that the same channel powers feed both the dissipative forces and the entropy/heat source, closing the first law without double counting. Channel-wise power balancing yields nonnegative entropy production and recovers standard dissipative models (e.g., Kelvin–Voigt, diffusion) while clarifying reversible thermo-mechanical cross terms; the framework also accommodates multiphysics extensions such as diffusion, electrochemistry, and hereditary effects. Overall, PDEL offers a compact, multiphysics variational framework that subsumes traditional formalisms (Rayleigh, Onsager, GENERIC) with minimal algebraic overhead and straightforward extension to complex cross-coupled thermomechanical problems.
Abstract
We present a minimal Path-Dependent Energy Lagrangian (PDEL) that generates, from a single action, the balance equations of mechanics and the entropy/heat equation for irreversible thermomechanical systems. The reversible part is the Helmholtz free energy, while irreversible effects enter through a history integral of channel powers. A single upper-limit/tangential variation rule makes the same instantaneous power appear as a dissipative force in the mechanical/internal-variable equations and as a positive source in the entropy/heat equation, closing the first law without double counting and guaranteeing nonnegative entropy production under mild monotonicity assumptions. PDEL preserves the classical Lagrangian mechanics while subsuming standard dissipative models (Kelvin--Voigt viscosity, diffusion) and their viscous heating, and clarifies the reversible character of thermo-mechanical cross terms. The formulation offers a compact alternative to Rayleigh/Onsager appendices and GENERIC/metriplectic brackets, with limited algebraic complexity and straightforward extension to multiphysics.
