The Role of the Second Law of Thermodynamics in Continuum Physics: A Muschik and Ehrentraut Theorem Revisited

: In continuum physics, constitutive equations model the material properties of physical systems. In those equations, material symmetry is taken into account by applying suitable representation theorems for symmetric and/or isotropic functions. Such mathematical representations must be in accordance with the second law of thermodynamics, which imposes that, in any thermodynamic process, the entropy production must be nonnegative. This requirement is fulﬁlled by assigning the constitutive equations in a form that guaranties that second law of thermodynamics is satisﬁed along arbitrary processes. Such an approach, in practice regards the second law of thermodynamics as a restriction on the constitutive equations, which must guarantee that any solution of the balance laws also satisfy the entropy inequality. This is a useful operative assumption, but not a consequence of general physical laws. Indeed, a different point of view, which regards the second law of thermodynamics as a restriction on the thermodynamic processes, i.e., on the solutions of the system of balance laws, is possible. This is tantamount to assuming that there are solutions of the balance laws that satisfy the entropy inequality, and solutions that do not satisfy it. In order to decide what is the correct approach, Muschik and Ehrentraut in 1996, postulated an amendment to the second law, which makes explicit the evident (but rather hidden) assumption that, in any point of the body, the entropy production is zero if, and only if, this point is a thermodynamic equilibrium. Then they proved that, given the amendment, the second law of thermodynamics is necessarily a restriction on the constitutive equations and not on the thermodynamic processes. In the present paper, we revisit their proof, lighting up some geometric aspects that were hidden in therein. Moreover, we propose an alternative formulation of the second law of thermodynamics, which incorporates the amendment. In this way we make this important result more intuitive and easily accessible to a wider audience.


Introduction
Let B be a continuous body undergoing a thermomechanical transformation, whose evolution in the spacetime is ruled by the system of balance laws with v j as the components of the velocity field on B entering the total time derivative, Φ β k as the components of the flux of U β , and r β as the production of U β (for the sake of simplicity, we assume that the supplies are zero).Moreover, the symbols f ,t and f ,j mean the partial derivatives of function f with respect to time and to the spatial coordinate x j , j = 1, 2, 3, respectively.
We suppose that the fields U β , the fluxes Φ β k , and the productions r β depend on ω unknown fields z α (x j , t) and on their spatial derivatives z α,j (x j , t).Then, suitable constitutive equations must be assigned for them.Such equations must account for material symmetry, namely, the invariance of certain physical properties with respect to a group of coordinate transformations (symmetry group).Thus, suitable representation theorems for symmetric and/or isotropic functions must be applied [8].Through the constitutive equations, material symmetry reflects itself in the Equation (1) field, which inherit from them particular mathematical properties.Meaningful examples of such reciprocal influences are illustrated in [9], where some important equations of continuum physics are studied by the Lie symmetry analysis of differential equations.On the other hand, the mathematical representation of material symmetry cannot neglect the constraint dictated by the second law of thermodynamics, which imposes the local entropy production σ (s) = ρs ,t + ρs ,j v j + J k,k − ρ(r/ϑ), (6) where s is the specific entropy, J k are the components of the entropy flux, and ϑ the absolute temperature, are nonnegative, namely, whatever the thermodynamic process is [1,2].Indeed, the unilateral differential constraint (7) can be interpreted either as a restriction on the solutions of Equation (1), or as a restriction on the constitutive equations that characterize the fields U β , Φ β k , r β , s, and J k .In the first case, it leads to the following assumption: Assumption 1.Among the mathematical solutions of Equation (1), we must find those that are physically realizable by substituting them into the Inequality (7) and checking the sign.
In the second case, instead, it leads to a different assumption, namely: Assumption 2. The constitutive equations for U β , Φ β k , r β , s, and J k must be assigned in such a way that the constraint (7) is satisfied along arbitrary thermodynamic processes.
Modern constitutive theories of continuum thermodynamics are based on the second statement, which was formulated for the first time by Coleman and Noll [1] in 1963, and is universally known as the entropy (or dissipation) principle [10].On the other hand, since the determination of solutions of Equation ( 1) is, in general, very difficult, the Coleman-Noll approach is the most convenient one used for determining the consequences of the second law.Two rigorous mathematical procedures for analyzing the restrictions dictated by the second law on the constitutive equations are based on such an assumption, namely, the Coleman-Noll and Liu procedures [1,11,12].
In order to investigate if the entropy principle, as formulated by Coleman and Noll, is just an operative assumption or a consequence of a general physical law, Muschik and Ehrentraut in 1996 proved their celebrated theorem in [13], which we revisit here within a geometric perspective.Since the theorem has a complex mathematical formulation, herein we limit ourselves to provide a sketch of the result, referring the reader to reference [13] for details.Their starting point is the following concept of equilibrium for a thermodynamic system.
A thermodynamic system is said to be in equilibrium (stable or metastable), if isolation of the system from its environment does not affect the observables of the system (or in other words, if the state of the isolated system is the same as the state of the system prior to insulation).
Then, they define the process direction vectors as those vectors that are tangent to the curve representative of a process in the state space.Moreover, they show that in a fixed point of such a curve, the entropy production is linear in the process direction vectors y α .The vectors y α are said irreversible, if σ (s) (y α ) > 0, reversible, if σ (s) (y α ) = 0, non-real, if σ (s) (y α ) < 0. In particular, a vector y α such that σ (s) (y α ) = 0, is called the reversible process direction.
At this point, Muschik and Ehrentraut prove their fundamental.

Proposition 1.
If in a point of non-equilibrium of the curve representative of the process in the state space there exist both irreversible and non-real process directions, then, in that point, it is possible to obtain a reversible process direction as a linear combination of the latter.
Such a result is unphysical, since in a non-equilibrium point the entropy production can be zero.In order to overcome such a discrepancy, Muschik and Ehrentraut add to the classical formulation of the second law, represented by the Inequality (7), the following amendment.
Except in equilibria, reversible process directions in state space do not exist.
The consequences of the amendment are severe, because it implies that, in a given point, the process directions are either all irreversible (or reversible, in the limit of quasistatic transformation), or all non-real.On the other hand, since non-real process directions do not exist in nature, we must choose the first option.As a consequence, non-real process directions that must be excluded by the second law do not exist.Moreover, since the point on the curve of the process is arbitrary, we are led to conclude that there are no non-real thermodynamic processes to be forbidden by the second law and, hence, the last necessarily restricts the constitutive equations and not the thermodynamic processes.In this way, the classical Coleman-Noll approach follows by a rigorous proof.
It is worth observing that Proposition 1 and its consequences are not aimed at giving more deep physical insight on some basic concepts of thermodynamics, such as equilibrium and reversibility, since in [13] those concepts are the classical ones.Indeed, Proposition 1 aims at answering the following question, which is fundamental from the methodological point of view: is the Coleman-Noll interpretation of the second law, as a constraint on the constitutive equations, a mathematical consequence of the basic laws of thermodynamics or an additional operative assumption that does not follow from those laws?The answer, given by Proposition 1, is that such an interpretation is a consequence of the second law, provided the amendment is postulated.In the absence of the amendment, the Coleman-Noll approach would be an arbitrary assumption and, hence, it could be questioned.The present paper is motivated by the observation that the important result illustrated above can be put in a more general and accessible form within a geometric framework.To achieve that task, we use the results in references [14,15], where a geometric perspective on non-equilibrium thermodynamics has been given.The chosen state space is different with respect to that considered reference [13], because we do not include in it the time derivatives.In this way, the constitutive equations we deal with are suitable to satisfy the principle of material indifference [2].After defining the space of the higher derivatives, we introduce the definitions of the real, ideal, and over-ideal vector of the higher derivatives.For thermodynamic processes, we give the definitions of irreversible, reversible, and over-reversible process, by analyzing the properties of its representative curve in the fiber bundle of the configuration spaces.Once the geometric framework is complete, we reformulate the second law of thermodynamics, both locally and globally, in space and time, in order to encompass the amendment.In this way, we are able to prove a new formulation of the Muschik and Ehrentraut theorem.In the discussion in Section 5, we highlight some of the main advantages of the geometric approach presented here.We underline that our generalized formulation of the second law seems to be more adapt for some recent thermodynamic theories that analyze real transformations, which occur in a finite time, and not by quasi-static transformations, which require an infinite time to be realized [16][17][18].Moreover, we will see that the use of the fiber bundle allows to provide, in a very intuitive manner, the mathematical definition of reversible and irreversible processes, and to generalize, in a natural way, local results to global ones.Finally, our approach leads to a physically sound interpretation of the principle of local equilibrium [19], which provides the theoretical justification of the definition of entropy and temperature outside the equilibrium.
The paper runs as follows.
In Section 2, we construct a new thermodynamic framework for non-equilibrium processes.In Section 3, we present a new formulation, both locally and globally, of the second law of thermodynamics.In Section 4, we prove the Muschik and Ehrentraut theorem.In Section 5, we discuss our results and present some open problems that will be considered in future research.

The Thermodynamic Framework
In this section, we construct a geometric framework where our main results can be formulated.To this end, we begin by providing some basic definitions.Definition 1.The space C t of the configurations at the instant t is represented by a ω-dimensional vector space spanned by the solutions z α (x j , t) of Equation (1) with a structure of a finitedimensional manifold.
We assume that the total configuration space is given by the disjointed union with a given natural structure of a fiber bundle over the real line R where time flows [14,15].
Under the natural assumption that C t does not vary in time, namely, C t = C ∀t, then C has the topology of the Cartesian product ∈ C is said to be a restricted thermodynamic process p of initial point t 0 and duration τ 0 + τ − t 0 , reference [14].Moreover, p = p(t) is the parametric equation of the curve γ representative of p in C.
As said in Section 2, in order to find the fields z α (x j , t), i.e., to solve the system (1), for the quantities U β , Φ α k and r α constitutive equations must be assigned on a suitable state space.Definition 5.The 4ω-dimensional vector space with the structure of a finite-dimensional manifold for any value of the time variable t, it represents a local in the time state space and it is called state space at the instant t.
Definition 6.The disjoint union with a given natural structure of a fiber bundle over the real line R where time flows, it represents the total configuration space and it is said to be the thermodynamic bundle.
Again, under the natural assumption that Σ t does not vary in time, namely, Σ t = Σ ∀t, then S has the topology of the Cartesian product Of course, The balance Equation (1) on the local in time state space Σ t reads In Equation ( 14), we may individuate the 10ω higher derivatives z α,t , z α,jt , z α,jk , which are the space and time derivatives of the elements of Σ t .Definition 7. The local in time 10ω-dimensional vector space and the fiber bundle represent the space of the higher derivatives at time t and its fiber bundle, respectively.Definition 8.A point P ∈ B is said to be in a state of equilibrium at the instant t, if z α,t (P, t) + z α,j (P, t)v j = 0 ∀ t, and z α,jt (P, t) + z α,jk (P, t)v k = 0 ∀ t.
The Definition 8 leads to Definition 9.The equilibrium subspace of H t and its fiber bundle are given by Êt = z α,jk (x j , t) , ( 17) Analogously, the entropy inequality on the state space reads Definition 10.The local in time 10ω-dimensional vector space at time t and the fiber bundle define the vector space and the fiber bundle of the higher derivatives, respectively, whose state vectors satisfy the entropy inequality.Moreover, the equilibrium subspace of W t and its fiber bundle are given by Remark 2. We defined two different spaces of the higher derivatives, one for the balance equations and another for the entropy inequality, related to the fundamental focus of the present investigation, namely, to determine the conditions, if any, under which all of the solutions of the balance laws are also solutions of the entropy inequality.This will be discussed in detail in the next section.
The relations in Equations ( 14) and ( 19) can be arranged as follows Let us now define the 10ω × 1 column vector function the ω × 1 column vector and the ω × 10ω matrix with C β and A βα defined on S. In this way, the balance Equation ( 24) can be rearranged as Analogously, after defining the 10ω × 1 column vector function and the scalar function we can write the Inequality (25) as Remark 3. It is worth observing that the higher derivatives entering the system (29) are elements of H t , while those entering the Inequality (32) are elements of W t .
From now on, we pursue our analysis under the hypothesis that B occupies the whole space.Then, for arbitrary t 0 ∈ [τ 0 , τ 0 + τ], we consider the restricted process p of the initial instant t 0 and duration τ 0 + τ − t 0 , and suppose that it corresponds to the solution of the Cauchy problem for the system (29) with initial conditions If A βα and C β are regular, and A βα is invertible, the theorem of Cauchy-Kovalevskaya ensures that the Cauchy problem (29) and (33) has a unique solution continuously depending on the initial data (33), reference [20].However, such a solution does not necessarily correspond to a thermodynamic process that is physically realizable, since the physically admissible solutions of (29) and (33) are only those solutions, which additionally satisfy the unilateral differential constraint (32).On the other hand, the problems (29) and (33) are very difficult to solve, in general, so that finding a solution, and verifying ex post if it also satisfies (32), does not seem to be a convenient procedure.For that reason, Coleman and Noll [1] in 1963 postulated the constitutive principle referred in Section 2, reference [10].It is important to investigate if the Coleman and Noll postulate is a consequence of a general physical law or an arbitrary, although very useful, assumption, as observed by Muschik and Ehrentraut [13].Such a study will be carried out in the following sections.

Local and Global Formulations of the Second Law of Thermodynamics
Let us consider now a fixed point P 0 ∈ B whose vector position will be indicated by x 0 , a fixed instant of time t 0 ∈ [τ 0 , τ 0 + τ].We note that, whatever is t 0 , it can can ever be considered as the initial time of a restricted process of duration τ 0 + τ − t 0 .Moreover, let Σ 0 , H 0 , and E 0 the vector spaces Σ t (P 0 , t 0 ), H t (P 0 , t 0 ), and E t (P 0 , t 0 ).When evaluated in (P 0 , t 0 ), the balance Equation (29) and the entropy Inequality (32) transform in the algebraic relations: In this way, we can regard the ω × 10ω matrix A βα (Σ 0 ) as a linear morphism from H 0 to the ω-dimensional Euclidean vector space defined on Σ 0 .Analogously, the vector B α (Σ 0 ) can be regarded as a linear application from H 0 in R, so that B α (Σ 0 ) belongs to the dual space H * 0 of H 0 .It is worth observing that, since A βα is supposed to be invertible (otherwise the Cauchy problem (29) and (33) would not admit a unique solution), the algebraic relations (34) allow to determine ω of the 10ω components of y α .Moreover, by spatial derivation of the initial conditions (33), we have which, once evaluated in P 0 , allow to determine 6ω components of y α .It is worth observing that, since the initial conditions can be assigned arbitrarily, such 6ω quantities can assume arbitrary values.Moreover, there are further 3ω components of the vector y α that remain completely arbitrary, since the system (34) and the initial relations (36) allow to determine only 7ω of the 10ω components of y α .It is not guaranteed that the Inequality (35) is satisfied whatever is y α ∈ H 0 .Thus, we define the space W 0 ⊆ H 0 constituted by the vectors of H 0 , which satisfy both Equation (34) and the Inequality (35).

Remark 4.
It is worth observing that, although it is not guaranteed that the Inequality (35) is satisfied, whatever is y α ∈ H 0 , at this stage, we do not have elements to exclude such a possibility.
In other words, we do not have elements to decide if, actually, W 0 is a proper subspace of H 0 or if it coincides with H 0 .
In order to decide if W 0 ⊂ H 0 , or W 0 = H 0 , we follow the way paved by Muschik and Ehrentraut [13], who observed that such a decision cannot be ensued solely by the second law of thermodynamics, because such a law does not contain information regarding Equation (34) or the initial conditions (36).In order to fill this gap, Muschik and Ehrentraut completed the information contained in the Inequality (35) by an amendment that clarifies how the reversible transformations can be realized from the operative point of view.Here, we followed their strategy, but we propose a more general approach that includes the amendment into a new formulation of the second law.To achieve that task, we needed some preliminary definitions.To this end, we observed that, in the real world, reversible thermodynamic transformations do not exist, but they are approximated by very slow (quasi-static) transformations in which, in any point P 0 ∈ B, the system is close to the thermodynamic equilibrium.From an ideal point of view, a quasi-static transformation requires an infinite time to occur, and in any point of the system, the value of the state variable is constant in time.
Remark 5. Alternative formulations of the thermodynamic laws that consider realistic transformations occurring in a finite time are proposed within the framework of finite time thermodynamics [16][17][18].
As far as the thermodynamic framework is concerned, if B undergoes a quasi-static transformation, along with Muschik and Ehrentraut [13], we say that, in any point (P 0 , t 0 ), the vectors of the higher derivatives are elements of E 0 .Such an observation suggests the following definitions.Definition 11.A vector y α ∈ H 0 is said: We can establish the following, owing to the definitions above: Postulate 1 (A local formulation of the second law of thermodynamics).Let B be a body, and let the couple (P 0 , t 0 ) represent an arbitrary point of B at an arbitrary instant t 0 ∈ [τ 0 , τ 0 + τ].Suppose B undergoes an arbitrary thermodynamic process of initial instant t 0 and duration τ 0 + τ − t 0 .Then, the local space of the higher derivatives W 0 does not contain over-ideal vectors.Moreover, a vector y α ∈ W 0 is ideal if, and only if, (P 0 , t 0 ) is in thermodynamic equilibrium.
The postulate, the above traduces the experimental evidence, in that, in a thermodynamic process, the entropy production cannot be negative at any point P 0 of B at any instant t 0 .Moreover, it also expresses the further experimental fact, which is often tacit in the formulations of the second law of thermodynamics-that the entropy production can be zero only in the points of B that are in equilibrium.In particular, if the point P 0 ∈ B at the instant t 0 is in a thermodynamic equilibrium, then W 0 = E 0 .Hence, y α ∈ E 0 is ideal if, and only if, (P 0 , t 0 ) is in a thermodynamic equilibrium.Finally, a vector y α ∈ W 0 is either real or over-ideal if, and only if, (P 0 , t 0 ) is not in a thermodynamic equilibrium.Remark 6.We should note that the local formulation of the second law of thermodynamics prohibits that over-ideal vectors be in W 0 , but it does not prevent that they be in H 0 .Whether H 0 contains over-ideal vectors (or not) is the focus of the present investigation.Definition 12. Let B be a body undergoing an arbitrary thermodynamic process p of the initial instant t 0 and duration τ 0 + τ − t 0 , and let γ be the curve representative of the process in C. The process p is said to be:

•
Irreversible, if there exists at least a point z α (P, t) of γ in which the vector of the higher derivatives y α (P, t) is real; • Reversible, if in any point z α (P, t) of γ the vector of the higher derivatives y α (P, t) is ideal; • Over-reversible, if there exists at least a point z α (P, t) of γ in which the vector of the higher derivatives y α (P, t) is over-ideal.
The definitions above allow us to enunciate the following: Postulate 2 (The global formulation of the second law of thermodynamics).Over-reversible processes do not occur in nature.Moreover, a thermodynamic process is reversible if, and only if, any point P ∈ B, at any instant t, is in a thermodynamic equilibrium.
The previous formulations (local and global) of the second law of thermodynamics include information not present in the classical ones-that the reversible transformations are necessarily quasi-static and, hence, they need an infinite time to occur.Thus, they represent ideal processes, which, in nature, are approximated by very slow transformations.Here, we take into account such a situation by admitting that this is possible if, and only if, at any point of the body, at any instant t, there is a state of thermodynamic equilibrium.On the other hand, this implies that at any point of γ, the vector of the higher derivatives y α (P, t) lie in the equilibrium bundle E , and is ideal.

The Muschik and Ehrentraut Theorem Revisited
In this section, we present a novel formulation of the Muschik and Ehrentraut theorem proved in reference [13].To this end, we use the thermodynamic framework and the generalized formulations of the second law established above.Theorem 1.Let B be a body, and let the couple (P 0 , t 0 ) represent an arbitrary point of B at an Proof.To prove the theorem, it is enough to demonstrate that the vectors of H 0 are all (and only) the vectors of W 0 .To this end, we observe that, in the generic point (P 0 , t 0 ), fixed values of A βα (Σ 0 ), C β (Σ 0 ), B α (Σ 0 ), and D(Σ 0 ) correspond to infinite vectors y α (P 0 , t 0 ), because only ω components of y α (P 0 , t 0 ) are determined by the balance equations while the remaining 9ω are completely arbitrary (see discussion in Section 3).Moreover, if all the y α in H 0 are over-ideal, the vector space W 0 would be empty, because the second law of thermodynamics prohibits that it contains over-ideal vectors.As a consequence, in (P 0 , t 0 ), no process would be possible.On the other hand, since (P 0 , t 0 ) is arbitrary, no thermodynamic transformation could occur in B in the interval of time [τ 0 , τ 0 + τ].So, in (P 0 , t 0 ), the space H 0 contains, in principle, both real/ideal vectors and over-ideal ones.
Let us suppose that in (P 0 , t 0 ), the space H 0 contains an ideal vector y 1 α and an overideal vector y 2 α .Since the existence of y 1 α is possible if, and only if, (P 0 , t 0 ) is in the thermodynamic equilibrium, while y 2 α exists if, and only if (P 0 , t 0 ) is not in the thermodynamic equilibrium, such a situation is impossible to be realized.
Analogously, let us suppose that y 1 α is ideal and y 2 α is real.Again, such a situation is impossible, because it would require (P 0 , t 0 ) to be in equilibrium and not in equilibrium.
Finally, let y 1 α be a real vector, and y 2 α be an over-ideal one.Such a situation is possible, in principle, provided (P 0 , t 0 ) is not in equilibrium.
In such a case, due to the local formulation of the second law, neither y 1 α nor y 2 α are elements of E 0 .
Let us consider the linear combination and y 2 α are in H 0 , they satisfy the following equations The combination of Equation (37) multiplied by λ and Equation (38) multiplied by namely, y 3 α is also a solution of Equation (34), i.e., it is in H 0 .On the other hand, the local entropy production corresponding to y 3 α can be written as Since λ is arbitrary in ]0, 1[, nothing prevents choosing it as because, as it is easily seen, the right-hand side of Equation ( 41) is in the interval ]0, 1[.In fact, being y 2 α over-ideal we have Consequently, the right-hand side of Equation (40) vanishes, so that y 3 α is in E 0 .However, this is impossible, otherwise (P 0 , t 0 ) would be in a thermodynamic equilibrium.Thus, it is forbidden that in (P 0 , t 0 ) there are both real and over-ideal vectors that are solutions of the local balance laws (34).
Furthermore, suppose that both y 1 α and y 2 α are real.Then, it is easy to verify by direct calculations that λ can be taken, such that σ 3 > 0.
Finally, if (P 0 , t 0 ) is a point of equilibrium, then the entropy production related to y 1 α and y 2 α vanishes, so that by Equation (40), it follows that σ 3 is zero.The considerations above show the impossibility that, in a point P 0 of B, at a given instant t 0 , the solutions of Equation (34) can be of different types.Moreover, they cannot be over-ideal only, because this contradicts the local form of the second law of thermodynamics.
Thus, H 0 may contain either only real vectors, and in such a case, (P 0 , t 0 ) is a point of non-equilibrium, or only ideal vectors, and in such a case, (P 0 , t 0 ) is a point of equilibrium.This conclusion proves the theorem.
Proof.This corollary is an immediate consequence of the arbitrariness of the initial instant t 0 , and of the point P 0 .In particular, whatever t 0 is, we can ever consider it as the initial instant of the restricted process of duration τ 0 + τ − t 0 , so that H 0 ≡ H t (P 0 , t 0 ) has dimension 10ω.Moreover, only 7ω of components of the vectors of H 0 can be determined by the algebraic relations (34) and (36) while the further 3ω components are completely arbitrary.Thus, to H 0 can be applied to the conclusions established in Theorem 1.This is enough to prove that, for any t ∈ [τ 0 , τ 0 + τ], the space of the higher derivatives H t contains only real or ideal vectors.
Remark 7. The Corollary 2 also implies Ê = E .Corollary 3. The unilateral differential constraint (32) is a restriction on the constitutive quantities U β , r β , s, and J k , and not on the thermodynamic processes p.
Proof.In fact, any process p : t ∈ [τ 0 , τ 0 + τ] ⊆ R → z α (x j , t) ∈ C, where z α (x j , t) is a solution of the balance laws (29), can only be either irreversible or reversible but not over-reversible, because otherwise its representative curve γ would contain at least an over-ideal point against Corollary 2. On the other hand, such a property of the solutions of the system of balance laws is not guaranteed, whatever A βα and C β are, and for arbitrary s and J k , because, given the state space, only particular forms of those functions defined on it lead to a nonnegative entropy production.Then, the role of the unilateral differential constraint in Equation ( 32) is just to select such forms.

Discussion
Exploitation of the second law of thermodynamics is based on the assumption that the constitutive equations modeling material properties must be assigned in such a way that all solutions of the field equations satisfy the entropy inequality.An alternative interpretation of the second law consequences is that we must exclude from the set of solutions of the balance equations ones that do not guarantee a nonnegative entropy production.The problem of the choice between the two interpretations above was solved in 1996 by Muschik and Ehrentraut [13], by postulating an amendment to the second law, which states that, at a fixed instant of time and in any point of the body, the entropy production is zero if, and only if, this point is in a thermodynamic equilibrium.Muschik and Ehrentraut proved that, under the validity of the amendment, the constitutive equations and not the thermodynamic processes are restricted by the second law of thermodynamics.Such a result provides the theoretical basis to the rigorous mathematical procedures for the exploitation of the second law proposed by Coleman and Noll in 1963 [1], and by Liu in 1972 [12].
In the present paper, we revisited the Muschik and Ehrentraut theorem, highlighting some geometric aspects that were hidden in reference [13].Moreover, we proposed a generalized formulation of the second law of thermodynamics that incorporates the amendment.Progresses in the analysis of the entropy principle achieved in this way are the following: 1.
In the analysis of the efficiency of the thermodynamic systems, the concept of the Carnot cycle plays a fundamental role.Carnot was the first to prove that the efficiency of a quasi-static transformation is maximum for a Carnot cycle.However, since quasi-static transformations require an infinite time, the Carnot efficiency is not suitable to describe the performance of real heat engines, which produce irreversible transformations taking over in a finite time.Thus, for real processes, it is important to investigate how much the efficiency deteriorates when the cycle is operated in a finite time.This is the task of finite time thermodynamics, a modern non-equilibrium theory, which has been developed in the last four decades [16][17][18].Since the global formulation of the second law of thermodynamics proposed here explicitly mentions the fact that a reversible transformation lies in the equilibrium bundle E , it seems to be more appropriate for finite time thermodynamics with respect to the classical formulation, which does not contain such information.2.
Owing to the Definitions 11 and 12, we have given a general but intuitive definition of reversible and irreversible processes, by analyzing the properties of its representative curve in the fiber bundle of the configuration spaces.To the best of our knowledge, such a definition has never been presented in literature.Furthermore, such properties provide a generalized formulation, both local and global, of the second law of thermodynamics, leading to the main results of the present paper, namely, Theorem 1.

3.
As a final consideration, we observe that, in non-equilibrium thermodynamics, the concepts of entropy and temperature are still open problems, since their definitions, far from equilibrium, are questionable [6].Usually, the problem is solved by postulating the principle of the local equilibrium, which assumes that, at least locally, the thermodynamic functions defined at the equilibrium can describe the thermodynamic properties of the materials in non-equilibrium situations [19].Thus, our geometric framework, providing a meaningful representation of the state spaces involved in equilibrium and non-equilibrium processes, allows to interpret the validity of the principle of the local equilibrium as the extension of some properties that are valid in the subspace E of H, to the whole H.In Figure 1, we provide a sketch of the analysis of the entropy principle developed in the present paper and its relation with the Muschik and Ehrentraut theory.In reference [21], the results in [13] were extended in order to encompass non-regular processes.Such an investigation deserves consideration, since thermodynamic processes involving discontinuous solutions are frequent in physics.In future research studies, we will aim to reanalyze the results in [21], within the mathematical framework presented here.

Figure 1 .
Figure 1.A schematized explanation of the analysis of the entropy principle developed in the present paper, and of its relation to the Muschik and Ehrentraut theory.An Amendment to second law of thermodynamics has been proposed by Muschik and Ehrentraut in 1996 [13]; rigorous procedures for the exploitation of the entropy principle have been formulated by Coleman and Noll in 1963[1], and by Liu in 1972[12]; the general tenets of Finite Time Thermodynamics have been summarized by Andresen, Salomon and Berry in 1984[17].