1. Introduction
The area of complex systems has attracted the attention of many researchers in recent years and has exhibited a large variety of novel phenomena, such as nonlinear dynamics, slow relaxation processes, and nonextensivity in some thermodynamic quantities [
1,
2,
3,
4]. These systems are usually characterized by a large number of components immersed in random or disordered media that interact through long-range forces and/or possess long time memories; as a consequence, they may present a collective behavior very different from those of their individual components. Many of the above-mentioned phenomena have been understood appropriately by means of proposals of generalized entropies [
4,
5,
6,
7,
8,
9,
10,
11,
12], which have found grounds on diverse applications within the realm of complex systems (see, e.g., Ref. [
9] for a comprehensive list of entropic forms available in the literature up to 2011). In its statistical formulation, a given entropic form should be a functional only of a set
, i.e.,
, where
stands for the probability of finding a given system on a state
i at time
t [
13,
14]. Most of these generalized entropies violate the additivity property and are usually referred to as non-additive entropic forms. This property concerns two probabilistically independent systems (
A and
B), described by two sets of probabilities
and
, respectively, such that the probabilities for the composed system are given by
(
). A given entropic form is considered non-additive if
Among the many proposals of generalized (or non-additive) entropies, the most commonly known is Tsallis entropy
[
12], which is characterized by an index
q (
),
so as to recover the Boltzmann–Gibbs (BG) entropy,
in the limit
, i.e.,
.
One of the most successful theories of contemporary theoretical physics is BG statistical mechanics [
13,
14,
15,
16,
17]; this theory is based on BG entropy, which is additive. The time evolution of
, and consequently, its approach to the equilibrium state, is directly related to the evolution of the probabilities
, which follow some fundamental equation, e.g., a master equation. For continuous probability densities
, the linear Fokker–Planck equation (FPE) appears to be an appropriate candidate for describing the evolution of probabilities and represents one of the most important equations of nonequilibrium BG statistical mechanics. The FPE delineates the time evolution of the probability density
for finding a given particle at a position
at time
t while diffusing under an external potential [
14,
15,
16,
17,
18]. Usually one considers a confining external potential, leading to the possibility of a stationary-state solution after a sufficiently long time. Particular interest in the literature has been given to a harmonic confining potential, which leads to a Gaussian distribution as the stationary-state solution of the FPE [
17,
18]. In the absence of an external potential, the FPE reduces to the linear diffusion equation, which does not present a stationary-state solution and is also associated with many out-of-equilibrium applications, such as the celebrated Brownian motion and related phenomena.
A clear understanding of the range of applicability of BG statistical mechanics has been emerging in the latest years; for example, it has become evident that it should be used for systems characterized by weakly interacting particles and/or short time memories. As typical counter-examples, regarding diffusion, it is very frequent nowadays to find dynamical behavior that falls out of the ambit of the linear cases, which are commonly called anomalous diffusion and usually take place in media presenting randomness, porosity, and heterogeneity [
19]. To deal with these phenomena, one habitually uses a nonlinear (power-like) diffusion equation, known in the literature as a porous media equation [
20]. Similar to the linear FPE, by adding a confining potential contribution, one obtains a nonlinear Fokker–Planck equation (NLFPE) [
21], as introduced in Refs. [
22,
23]. For a harmonic confining potential, this NLFPE presents a
q-Gaussian distribution typical of nonextensive statistical mechanics [
4,
5,
6] as its stationary-state solution. This distribution is expressed as
and can be defined in terms of the
q-exponential function,
where
and
for
(zero otherwise). In this way, the NLFPE introduced in Refs. [
22,
23] is associated with the Tsallis entropy,
, since its
q-Gaussian solution coincides with the distribution that maximizes
. Additionally, proofs of an H-theorem connect the linear FPE with BG entropy [
17,
18], as well as NLFPEs with generalized entropies [
21,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35], and particularly, they relate the NLFPE of Refs. [
22,
23] to the entropy
.
In the present work, we analyze general entropic forms (typically non-additive) for both continuous and discrete probabilities whose time evolution follows a NLFPE, or a master equation, respectively. Some important novel results from the thermodynamical point of view, related to their corresponding equilibrium states, are studied. In the next section, we define general NLFPEs and explore their relationship to non-additive entropies by means of an H-theorem. Additionally, the corresponding stationary-state solutions are discussed; due to the H-theorem, after a sufficiently long time, the system should reach an equilibrium state for which a given stationary-state solution holds as the equilibrium solution. At equilibrium, we show that the Carnot cycle applies for these entropic forms under very common conditions. In
Section 3, we consider the case of discrete probabilities, whose time evolution follows a master equation, while also proving an H-theorem; moreover, the third law of thermodynamics is discussed for both
and general entropic forms. Finally, in
Section 4, we present our main conclusions.
2. Continuous Probabilities: Non-Additive Entropic Forms and NLFPEs
Although one may pursue an analysis in arbitrary dimensions, by considering a probability density
(such as, e.g., in Ref. [
34]) herein for simplicity, we will restrict ourselves to a one-dimensional space described in terms of a probability density
and following the normalization condition
In this case, a general NLFPE may be defined as [
30,
31]
where
D represents a diffusion coefficient with dimensions of energy, and the external force
is associated with a confining potential
[
]. The functionals
and
should satisfy certain mathematical requirements, e.g., positiveness and monotonicity with respect to
[
30,
31]; moreover, to ensure the normalizability of
for all times, one must impose the conditions
The NLFPE of Equation (
7) recovers some well-known cases as particular limits: (i) the linear FPE [
14,
15,
16,
17,
18] for
and
and (ii) the NLFPE introduced in Refs. [
22,
23], which are associated with nonextensive statistical mechanics, for
and
, where
represents a real number related to the entropic index through
. It should be mentioned that a large variety of NLFPEs, such as the one related to nonextensive statistical mechanics, the one in the general form of Equation (
7), or even those presenting nonhomogeneous diffusion coefficients in the nonlinear diffusion term, have been derived in the literature by generalizing standard procedures applied to the linear FPE [
14,
15,
16,
17,
18], e.g., from approximations in the master equation [
34,
36,
37,
38,
39] or from a Langevin approach considering a multiplicative noise [
40,
41,
42,
43,
44,
45].
Almost two decades ago, NLFPEs presenting more than one diffusive term appeared in the literature [
36,
46,
47,
48,
49,
50,
51,
52], and a special interest was given to a concrete physical application, namely, a system of interacting vortices, which is currently used as a suitable model for type II superconductors, that exhibited such a behavior [
47,
48,
49,
50,
51,
52]. A general discussion of NLFPEs with two diffusive contributions was presented in Ref. [
33], where one can be identified in Equation (
7),
Next, we discuss the H-theorem associated with Equation (
7), leading to a direct connection between this equation and entropic forms; we also comment on the above case of two diffusive contributions.
2.1. Generalized Forms of the H-Theorem from NLFPEs
The H-theorem represents one of the most important results of nonequilibrium statistical mechanics since it ensures that after a sufficiently long time, the associated system will reach an equilibrium state. In standard nonequilibrium statistical mechanics, it is usually proven by considering the BG entropy
and making use of an equation that describes the time evolution of the associated probability density, such as the Boltzmann probability density, linear FPE (in the case of continuous probabilities), or the master equation (in the case of discrete probabilities) [
13,
14,
15,
16,
17]. To our knowledge, the first proof of an H-theorem making use of a NLFPE appeared in the literature more than 30 years ago [
53]. After that, proofs were extended by many authors in such a way as to cover generalized entropic forms and their relationships to NLFPEs (see, e.g., Refs. [
21,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35]); below, we closely follow those carried in Refs. [
30,
31,
32,
33].
In the case of a system under a confining external potential
(from which one obtains the external force appearing in Equation (
7),
), the H-theorem corresponds to a well-defined sign for the time derivative of the free-energy functional,
with
denoting a positive parameter with dimensions of temperature. Moreover, the entropy may be considered in the general form [
30,
31,
32,
33],
where
k represents a positive constant with entropy dimensions, whereas the functional
should be at least twice differentiable. Furthermore, the conditions that ensure the normalizability of
for all times (cf. Equation (
8)) are also used in the proof of the H-theorem. Considering
, the H-theorem may be achieved by imposing the condition [
30,
31,
32,
33],
which relates the entropic form to a certain time evolution described by the two functionals of Equation (
7). Particular entropic forms and their associated NLFPEs were explored in Ref. [
30], whereas families of NLFPEs (those characterized by the same ratio
) were studied in Ref. [
32].
One should mention that the relationship of Equation (
12) is applicable for a single diffusive contribution, a linear internal-energy definition (as in Equation (
10)), and for a constant diffusion coefficient, as in Equation (
7). Extensions of the H-theorem have been achieved, disregarding these restrictions separately, by considering: (i) two diffusive contributions, as in Equation (
9) [
33] (to be discussed next); (ii) a nonlinear internal-energy definition (see Refs. [
31,
34]). In this case, the H-theorem is fulfilled through a slight modification in the NLFPE of Equation (
7), so that besides Equation (
12), an extra equation appears concerning the nonlinear functional appearing in the internal energy definition; (iii) a diffusion coefficient dependent on the position, so that one needs to modify the free energy of Equation (
10) [
54]. Recent studies have discussed physical systems within the context of nonextensive statistical mechanics, characterized by a varying entropic index
q, such as a modified cosmological scenario [
55], and the phenomenon of quantum mixing, i.e., the superposition of particle states with different masses [
56]. This is certainly an interesting novelty, not contemplated by Equation (
7), which recovers the NLFPE introduced in Refs. [
22,
23] and is associated with nonextensive statistical mechanics for
and
, where
q represents a real number. The solution of this NLFPE is the so-called
q-Gaussian distribution (cf. Equation (
4)), which was shown to cover a large number of experimental verifications within the context of anomalous diffusion phenomena, for which the value of
q may vary for different systems [
4,
5,
6,
7,
8]. An NLFPE with a variable index
q, its solution, as well as a possible H-theorem, require a particular nontrivial analysis, which, to our knowledge, has not been addressed at present.
A detailed proof of the H-theorem in the case of two diffusive contributions, such as in Equation (
9), was presented in Ref. [
33]; briefly, one replaces the free energy functional of Equation (
10) with
where
and
denote positive parameters with dimensions of temperature. Similarly to Equation (
11), one defines
In such a case, it is sufficient to impose the conditions
as well as
extending the condition of Equation (
12) for two diffusion contributions.
From now on, we restrict our analysis to a single diffusion contribution, as in Equation (
7), and their associated free energy functional (cf. Equation (
10)), entropy functional (cf. Equation (
11)), as well as the relationship in Equation (
12). In the discussion above, this situation occurs whenever a diffusion coefficient is much larger than the other one (e.g.,
) so that one may neglect the effects of the smaller contribution. As a typical example, one should mention a system of interacting vortices currently used as a suitable model for type II superconductors, for which, in typical cases, one of the diffusion coefficients has been shown to be at least
times larger than the other one [
49].
2.2. Equilibrium Distribution
Now, we briefly work out the stationary-state (i.e., time-independent) solution of Equation (
7), as well as the equilibrium distribution that results from an extremization procedure of the entropic functional in Equation (
11) (a detailed analysis of these procedures may be found in Ref. [
30])). As usual, the Lagrange parameters of this later approach will be defined appropriately so that these two results coincide; based on this, in the calculations that follow, we refer to an equilibrium state, described by a distribution
.
First, let us obtain the time-independent distribution of Equation (
7); for this purpose, we rewrite it in the form of a continuity equation,
where the probability current density is given by
The solution
is obtained by setting
(as required by conservation of probability [
30]), so that
which may still be written in the form
Integrating the equation above over
x and remembering that the external force was defined as
, one obtains
where
. Now, one uses the relationship in Equation (
12), and, performing the integration, can further obtain
with
being a constant.
Next, we extremize the entropic functional of Equation (
11) with respect to the probability under the constraints of probability normalization and an internal energy definition following Equation (
10). For this, we introduce the functional
where
and
are Lagrange multipliers. Hence, the extremization
leads to
One notices that Equations (
22) and (
24), which result from the stationary-state solution of Equation (
7) and the extremization of the entropic functional of Equation (
11), respectively, coincide if one chooses the Lagrange multipliers
and
.
2.3. Carnot Cycle for a General Entropic Form
Considering non-additive entropies, the Carnot cycle was shown to hold for the equilibrium entropy
(in the case that
) and its corresponding thermodynamically conjugated parameter
[
49], which is used to define an infinitesimal heat-like quantity
[
50,
51,
52]; the physical system under investigation was a model for type II superconductors characterized by interacting vortices. Later on, the Carnot cycle was shown to be valid for any system of particles interacting repulsively through short-range potentials, whose equilibrium distributions are compact
q-Gaussian distributions (characterized by a cutoff) and can be described by the entropy
(for
), extending the above-mentioned proof for
[
57]. One should notice that, in the illustrations concerning the Tsallis entropy considered herein, the equilibrium distribution and the entropic form are related by means of the simple change
[
58]. This appears to be a direct consequence of a linear internal energy definition, such as the one in Equation (
10), which was considered in Refs. [
50,
51,
52,
57]; this subtle property will be discussed in detail for the case of discrete probabilities (see the next section). Herein, we show that the Carnot cycle holds for general entropic forms, as defined in Equation (
11). For this, we assume that the usual (i.e., very common) conditions apply for the system under investigation, as described below.
(i) The equilibrium distribution
, which maximizes the entropic functional of Equation (
11) (as shown in
Section 2.2), exists and leads to the entropy
and internal energy
at equilibrium. Both
and
are state functions in the sense that
where
a and
b denote arbitrary equilibrium thermodynamic states. We introduce the short notations
and
(similar notations holding for state
b). Hence, one may define an infinitesimal type of heat,
, where
represents the positive parameter with the temperature dimensions introduced in Equation (
10).
(ii) The system under investigation can, in principle, perform work in several ways, leading to an infinitesimal contribution,
, where for each contribution
i,
and
are pairs of thermodynamically conjugate variables. However, for simplicity, we restrict the following analysis to a single “external field”,
, and its conjugate,
. The parameter
is also considered a state function following conditions similar to those in Equations (
25) and (
26).
(iii) Using the quantities defined in (i) and (ii), we formulate the equivalent to the first law,
where
corresponds to the work carried out by the external field
on the system.
(iv) Equation (
27) implies that
; we assume that
is invertible, yielding
(with the same condition holding for
), leading to
From Equation (
27) (or equivalently, from Equation (
28)) one obtains the fundamental relationship
as well as the equation of state
Let us now consider four equilibrium states, yielding a Carnot cycle
, defined by two isothermal (constant
) transformations:
at a temperature
and
at a temperature
, with
. These transformations are intercalated by two adiabatic transformations (where
S is constant) (
and
), so that
. Considering that both
S and
U are state functions (according to Equations (
25) and (
26)), and using Equation (
27), one has for the whole cycle
From this later equation, one can obtain that the total work
W carried out
on the system is given by
where we have defined
(
) as the total work completed
by the system. For the two isothermal transformations, one has
and using Equation (
31), one obtains that
showing that
and
present different signs. Therefore, as usually considered for a Carnot Cycle, we assume that
and
, i.e., heat gets into (out of) the system along the isothermal transformation at temperature
(
). Let us now redefine
and
, leading to the fundamental relationship for the Carnot Cycle,
as well as to the conservation of energy along the whole cycle, which can be expressed as
Tn these two equations above, all quantities are positive. Consequently, one has the celebrated efficiency for the Carnot cycle,
Therefore, we have shown that the Carnot cycle, which represents a fundamental thermodynamical process, holds for general entropic forms as defined in Equation (
11) and for the internal energy of Equation (
10) under the usual requirements for its equilibrium state. Within the framework of non-additive entropies, the most serious restrictions are: (a) at equilibrium,
and
, so that one must express
, where
represents state functions, whose small changes define infinitesimal work contributions; (b) the entropy
should be invertible, leading to the possibility of expressing
. Only if these conditions are satisfied may one be able to calculate an effective temperature in two different (but equivalent) ways,
using Equations (
27) and (
28), respectively.
To our knowledge, at present, the only successful proofs of a Carnot cycle for non-additive entropies have been carried for the equilibrium entropy
(in the case that
) and its corresponding thermodynamically conjugate parameter
in an application of a system of type II superconducting vortices [
49,
50,
51,
52], as well as an extension for the equilibrium entropy
(for
) associated with a system of particles interacting repulsively through short-range potentials, whose equilibrium distributions are compact
q-Gaussian distributions (characterized by a cutoff) [
57]. The proof above opens the way for the validation of the Carnot cycle considering other non-additive entropic forms available in the literature.
3. Discrete Set of Probabilities: H-Theorem and Equilibrium
Solutions for Generalized Entropies
We now consider a system characterized by discrete states, with associated probabilities
(
), where
represents the probability of finding the system on a state
i at time
t, following the normalization condition
For discrete probabilities, an H-theorem was proven for
(cf. Equation (
3)) in both cases of an isolated system (expressed by
) and a system in contact with a heat bath at a temperature
T, where one can consider the time-derivative of the free-energy functional to be
leading to
(see, e.g., Ref. [
13]).
Recently, there has been a growing interest in generalized entropic forms for an appropriate description of complex systems [
4,
5,
6,
7,
8,
9,
10,
11]. In most cases, these entropic forms may be written as
where the functional
should be concave and at least twice-differentiable, i.e.,
. Moreover, the free-energy functional is considered similar to the one in Equation (
42),
where
represents a positive quantity with dimensions of temperature, which in some cases may coincide with the usual absolute temperature
T, although it may present a different concept in some complex systems (see, e.g., Refs. [
49,
50,
51,
52]).
The extremization of the entropic form of Equation (
43), considering the constraints for the probability normalization of Equation (
41) (with the Lagrange multiplier
) and the internal energy definition of Equation (
44) (with its corresponding Lagrange multiplier
), leads to the following equation for the equilibrium distribution
:
where we have defined
One should notice that the functional
is invertible, since
is concave; however, in some cases, one may deal with a transcendental equation for
. The procedure above applied to BG entropy (cf. Equation (
3)) yields the well-known Boltzmann weight [
13,
14]; let us now illustrate this method by considering the Tsallis entropy (cf. Equation (
2)), for which
Substituting the result above into Equation (
45) and using Equation (
41), one obtains the distribution
where
for
and is zero otherwise; the superscript refers to the extremization of the entropy
under the internal energy definition with a linear dependence on the set of probabilities, as in Equation (
44), which is also known as first formulation [
4]. It is important to notice that the equilibrium distribution coming out of the extremization procedure of any entropic form is directly related to the imposed constraints (see, e.g., Refs. [
58,
59,
60,
61,
62] for detailed discussions on the role of constraints in nonextensive statistical mechanics); herein, we adopt the linear internal energy definition due to its simplicity for proving the H-theorem. However, the most common form for the equilibrium distribution, usually known as the Tsallis distribribution, is obtained from an internal energy definition with a nonlinear dependence on the set of probabilities
, i.e., a power-like
, leading to [
4]
which will be considered the equilibrium distribution from now on. Notice that Equations (
48) and (
49) may be converted into one another by means of the simple change
[
58]. In fact, the distribution of Equation (
49) may also be derived from the extremization of
in Equation (
45). Since in the thermodynamic application that follows, namely, the third law of thermodynamics for the Tsallis entropy, we consider an equilibrium state described by Equation (
49), the corresponding entropic form can be written as
instead of
.
Below, we outline the proof of an H-theorem for general entropic forms, written as in Equation (
43), which may be achieved by making use of a master equation [
63],
As usual,
represents the probability transition rate associated with a transition from state
i to state
j (i.e.,
is the probability that a transition from states
i to
j occurs during the time interval
). Herein, we will consider the most general out-of-equilibrium situation characterized by time-dependent probability transition rates, i.e.,
. These quantities will become time-independent only at equilibrium, where the detailed balance condition holds,
The procedure below essentially extends the proof of the H-theorem for BG entropy in Equation (
3) for an isolated system, as well as for a system in contact with a heat bath at a temperature
T, where one considers the time derivative of the free-energy functional in Equation (
42) (see, e.g., Ref. [
13]). Following this, we start by taking the time derivative of the entropic form in Equation (
43),
and using Equation (
50), one obtains
Interchanging
and adding the resulting equation with Equation (
53), one obtains
where we have used the definition of Equation (
46). In a similar way, one can express the time derivative of the internal energy of Equation (
44) as
Now, using Equations (
44), (
54) and (
55), one obtains the time derivative of the free-energy functional,
General proofs of the H-theorem have been carried out in Ref. [
63] through algebraic manipulations of the equations above (e.g., making use of the property that
is concave, leading to a monotonically decreasing first derivative
) for two typical situations, namely, an isolated system (for which the H-theorem is expressed by
) and a system in contact with a thermal bath (for which the H-theorem is expressed by
). Moreover, these proofs apply to very general out-of-equilibrium situations (along which
) and are characterized by non-symmetric probability transition rates (
). Additional interesting results were achieved in Ref. [
64], where the quantities above were associated with the phenomenon of entropy production for irreversible processes. Mathematically, this result may be expressed by writing the entropy time rate in the form [
16,
65,
66]
where one can identify the contributions of the entropy production
and entropy flux
. These two concepts were extended to general entropic forms, making use of general NLFPEs [
67] when dealing with continuous probabilities, as well as of a master equation [
64] for discrete probabilities. Comparing the quantities above with
one identifies
so that, for a non-negative entropy production contribution, the H-theorem implies
, as expected [
16,
65,
66]. All these results were illustrated for the particular cases of BG (cf. Equation (
3)) and Tsallis (cf. Equation (
2)) entropies [
63,
64].
Third Law of Thermodynamics for Generalized Entropies
Herein, we assume that the following typical conditions apply.
(i) There is a positive temperature-like parameter , associated with the Lagrange multiplier , such that . It is important to mention that the following analysis also applies for the absolute temperature T of standard thermodynamics.
(ii) There is a discrete non-negative energy spectrum , i.e., ().
(iii) There is a non-degenerate ground state characterized by the energy .
(iv) There is a gap between the energies of the ground and first-excited states, .
(v) As the temperature parameter decreases (or equivalently, as increases), the probabilities associated with the lowest-energy states become larger.
Next, we illustrate the third law of thermodynamics for the entropy
of Equation (
2) and its corresponding equilibrium distribution in Equation (
49). In this case, for convenience, we set
. Notice that the requirement for real probabilities in Equation (
49) implies the condition
Whenever the inequality above is violated, one has
, i.e., the corresponding energy level may not be occupied. For the third law of thermodynamics applied under the above requirements, two distinct cases should be considered, namely,
and
, as discussed below.
The condition in Equation (
60) is always fulfilled, so that for
, the system should reach a pure state, characterized by
and leading to
.
The condition in Equation (
60) is not always fulfilled, and it may be violated for certain ranges of
, values of
q, and energies
, for which
. Now, we concentrate on the two lowest energy values, separated by the gap
, and define a temperature
through
. At precisely the effective temperature
, only these two energy levels are occupied with the respective probabilities
and
such that
. Then, for a slightly lower temperature, one has
and
, leading to
. Notice that
(for
), whereas
, yielding
(for
).
Therefore, the entropy
becomes zero for a positive value of temperature,
, so that the third law is satisfied at (and below) this temperature value. In this way, the effective temperature
for
plays a role similar to
for
; thus, in the former case, all thermodynamic quantities should be analyzed in the limit
(from above). The vanishing of
at an effective temperature
for
is directly related to violations in the condition of Equation (
60), i.e., to the existence of a cutoff in the set of probabilities
. Qualitative plots of the entropy
versus the effective temperature
are presented in
Figure 1; in each case, the approach to the limits
(
) or
(
) are shown in dashed lines since the corresponding slopes may depend on the system under investigation. One should mention that previous studies of the third law for the Tsallis entropy [
68,
69] did not take into account the effective temperature
for
, leading to misinterpretations of the third law of thermodynamics.
Below, we formulate the third law for the entropy , as well as for nonadditive entropies in general.
Consider a system described by: (a) a positive effective temperature (for certain values of q, this temperature may coincide with the absolute temperature T of standard thermodynamics) thermodynamically conjugated to the entropy (typically ); (b) a discrete non-negative energy spectrum ; (c) a non-degenerate ground state with energy ; and (d) a gap between the energies of the ground and the first-excited states, . Under these conditions, the entropy becomes zero for () or for (), where ”.
For a general nonadditive entropic form, as defined in Equation (
43) and possibly characterized by a set of indices
typical of nonadditive entropic forms [
9,
10,
11], one should add an extra condition in the above statement concerning possible combinations of
, energy values
, and the indices
, for which there may be restrictions on the probabilities
, such as a cutoff, yielding levels with
. In this way, we formulate the third law for a general nonadditive entropy below.
Consider a system described by: (a) a positive effective temperature, , thermodynamically conjugated to the entropy (for certain values of the indices , this temperature may coincide with the absolute temperature T of standard thermodynamics); (b) a discrete non-negative energy spectrum ; (c) a non-degenerate ground state with energy ; (d) a gap between the energies of the ground and the first-excited states, ; and (e) combinations of , the energy values , and the indices , for which there are restrictions on the probabilities , such as a cutoff, yielding levels with . Under these conditions, the entropy becomes zero for (with ), where this threshold should depend on and the parameters that define the entropy; whenever the restrictions described in (e) do not apply, becomes zero for ”.
4. Discussion and Conclusions
We have discussed some basic aspects related to non-additive entropies, considering their time evolution in the cases of continuous and discrete probabilities, described by nonlinear Fokker–Planck and master equations, respectively. In both cases, forms of the H-theorem were proven, connecting functionals of the probabilities appearing in these equations with those of the entropic forms. A particular emphasis was given to their equilibrium-state distributions, showing that those obtained from the corresponding evolution equations coincide with those derived form the extremization of the associated entropic forms.
Considering the equilibrium state, we have shown that a Carnot cycle holds for a general entropic form under standard thermodynamic conditions. Within the framework of non-additive entropies, the most serious restrictions for the validity of the Carnot cycle are as follows: (a) the equilibrium functionals
and
should allow one to express
, where
represents state functions, whose small changes define infinitesimal work contributions; (b) the entropy
should be invertible, leading to the possibility of expressing
. Only if these conditions are satisfied may one be able to calculate an effective temperature parameter, which is fundamental for the Carnot cycle. It is possible that these procedures may not be feasible for some of the entropic forms introduced in the literature (see, e.g., a comprehensive list in Ref. [
9]). To our knowledge, at present, the only successful proofs of a Carnot cycle for non-additive entropies have been carried out for the equilibrium entropy
(in the case for which
) and its corresponding thermodynamically conjugate parameter
in an application of a system of type II superconducting vortices [
49,
50,
51,
52], as well as an extension for the equilibrium entropy
(for
), associated with a system of particles interacting repulsively through short-range potentials, whose equilibrium distributions are compact
q-Gaussian distributions (characterized by a cutoff) [
57].
In the case of discrete probabilities, we have discussed how the third law of thermodynamics should apply to equilibrium non-additive entropic forms in general. Considering an equilibrium entropic form S and its thermodynamically conjugate parameter , one has two situations to be analyzed, which are as follows: (i) combinations of , energy values , and possible entropic indices characteristic of the generalization, for which there are restrictions on the probabilities , such as a cutoff, which implies levels with ; (ii) cases where the combinations mentioned in (i) do not lead to restrictions on the probabilities . If there are no restrictions, one must have when ; whenever there are restrictions on the set of probabilities (such as a possible cutoff), one should have for , where .
The physical consequences, and particularly, the fact that the equilibrium-state distributions obtained from the corresponding evolution equations (for both continuous and discrete probabilities) coincide with those obtained from the extremization of the entropic form, become very relevant for the study of complex systems. Moreover, the validity of a Carnot cycle and a formulation of the third law of thermodynamics for general entropic forms, under standard thermodynamic requirements, opens the path for consistent thermodynamic frameworks in the context of generalized (or non-additive) entropic forms.