arxiv:cond-mat/ v1 [cond-mat.stat-mech] 2 Jul 2005

Transcription

1 hermodynamic of n Ideal Generalized Ga: I hermodynamic Law B. H. Lavenda Univeritá degli Studi, Camerino 603 (MC) Italy (Dated: February, 008) arxiv:cond-mat/ v1 [cond-mat.tat-mech] Jul 005 he equation of tate for an ideal generalized ga, like an ideal quantum ga, are expreed in term of power law of the temperature. he reduction of an ideal generalized ga to an ideal claical cae occur when the characteritic empirical temperature exponent in the thermal equation of tate and in the abolute temperature coincide in contrat to the merger of an ideal quantum ga with an ideal claical ga in the high temperature limit. corollary to Carnot theorem i proved aerting that the ratio of the work done over a cycle to the heat aborbed to increae the temperature at contant volume i the ame for all bodie at the ame volume. power mean, the energy and entropy are incomparable and a new adiabatic potential i introduced by howing that the volume raied to a characteritic exponent i alo the integrating factor for the quantity of heat o that the econd law can be baed on the property that power mean are monotonically increaing function of their order. INCOMPRBLE HERMODYNMIC LWS hermodynamic ditinguihe itelf on being able to take into account procee involving heat tranfer. ccording to J. J. homon [1888], heat i the uncontrollable form of work, and temperature i it meaure. J. P. Joule appreciated that heat and work were interconvertible, depending only on a contant for the unit choen to meaure heat and mechanical work. he firt law wa formulated a an expreion for the conervation of internal energy even in the preence of heat tranfer. he econd law placed limitation on the amount of heat that could be converted into mechanical work. ccording to William homon (Lord Kelvin) [1851] it i impoible to contruct an engine which when operated in a cycle will produce no effect other than the extraction of heat from a reervoir and the performance of an equivalent amount of work. he econd law alo uccinctly um up obervation of nature like heat alway pae from hotter to colder, and never in the revere direction [Carathéodory 1909], at contant volume. It alo aert that heat will be aborbed a a ga expand to keep it temperature contant. Nicola-Léonard-Sadi Carnot [184] not only dicovered that there i an upper bound to the efficiency of engine operating in a cloed cycle, but, alo called attention to a truly mathematical invariant quantity that inpired homon later reearche into the dicovery of that entity. hi invariant would be the ame for all ubtance at the ame temperature, and homon, equated it with the temperature meaured on the ideal ga ab- Electronic addre: bernard.lavenda@unicam.it olute cale. hi factor proved to be an integrating denominator for the quantity of heat, and became a matter of contention between R. Clauiu and homon for it true authorhip [ait 1868]. hu, the entropy, like the internal energy, and in contrat to the quantity of heat, wa identified a a point function which had the advantage of depending only on the intantaneou tate of the body, and not on the proce by which the body arrived in that tate. o the bet of our knowledge there ha never been any quetion of the compatibility of the firt and econd law of thermodynamic. Certainly, the two law are compatible for a claical ideal ga (ICG) becaue of the eparability of the temperature and volume afforded by the logarithmic function. However, thi i not true, in general, for an ideal generalized ga (IGG), or a quantum ga (IQG) [Landberg 1961], which i the low temperature extenion of an ICG. Here, we make the ditinction between an IGG and an ICG in that the former can be valid at all temperature and not only in the high temperature limit. hi mean that the tranition between and IGG and an ICG occur in a manner different than taking the high temperature limit, and one in which we hall explore in the lat ection of thi paper. For an IGG, a well a an IQG, power law are involved that contain product of different power of the temperature and volume. nd, in fact, one find that for all procee other than thoe involving pure heat conduction, the power mean derived from the firt and econd law are incomparable. In order to rectify thi incompatibility, we will prove a corollary to Carnot theorem, aerting that the ratio of the work done in a complete cycle to the heat aborbed on expanion at contant temperature i the ame for all ubtance at the ame temperature. he corollary tate that the ratio of the work done in a complete cycle to the heat aborbed on volume expanion at contant temperature i the ame for all ubtance at the ame volume. hi, in effect, replace the iotherm of the

2 Carnot cycle by iochore without affecting the efficiency of the cycle. In addition to the invere temperature, another integrating factor for the quantity of heat will be hown to exit [Einbinder 1948], and lead to a new adiabatic potential, which will be comparable to the entropy, and differ from it by a power of the adiabatic variable. he difference between thi new potential and the entropy i that it i not a firt-order homogeneou function of the volume. hi will enable a comparion of mean involving procee involving work where, otherwie, the firt and econd law would be mute ince both the internal energy and the entropy are firt-order homogeneou function of the volume for an IGG. he exitence of a new adiabatic potential raie the quetion a to the actual content and predictive power of the econd law. he irreitible increae in the entropy during an irreverible proce will now be confronted with the ame inevitable decreae in the new adiabatic potential. Irreveribility will have to be detached from quaitatic procee which occur a a paage through a equence of equilibrium tate [Born 1949]. Irreveriblity will apply to thoe procee where the initial and final tate differ either with repect to their temperature and/or volume. n equilibration reulting in the conervation of one of the two adiabatic potential will depend on whether the temperature ratio of the two tate, or their invere volume ratio raied to a characteritic power, i equal to the ratio of quantitie of heat aborbed or rejected at thee temperature or volume. One conerving equilibration will be neceary in order to ecure a final uniform tate with a common mean value. General tatement can be made about uch conerving equilibration: an entropy conerving equilibration ha the lowet common final mean temperature or volume, implying the maximum amount of work ha been performed. In addition, thermal efficiency can never be inferior to mechanical efficiency. In a companion paper [Lavenda 005], thee tatement will be tranlated into comparable power mean, and the lack of abolutene of thee potential a a cla of equivalent mean. he metrizability of uch a pace of equivalent mean will alo be tudied; the notion of a metric i entirely foreign to claical thermodynamic. Probability ditribution and probabilitic notion will enter naturally whenever procee inide the ytem occur in an uncontrollable manner, like heat tranfer and deformation. Evolution criteria will be hown to eminate from the fundamental property that power mean are monotonically increaing function of their order. here will then be hown numerou mathematical inequalitie, like the chebychef and Jenen inequalitie, all which predict an increae in entropy on the average, or to the decreae on the average of the complementary adiabatic potential. hee mathematical inequalitie will eliminate the need to have recoure to experiment, albeit one ingle experiment, to determine the ign of the entropy change, or to that of the complementary adiabatic potential. POWER LWS If the abolute temperature,, and volume,, are choen a the independent variable, the integrability condition for the entropy i ( ) ( ) p E = + p, (1) where p i the preure, and E i the internal energy. If the product p meaure the abolute temperature cale then ( ) E = 0. () In other word, in order for Boyle law to be identical with the abolute temperature, it i neceary and ufficient that the internal energy be a linear function of the temperature alone [Buchdahl 1966]. If the preure were to vary a ome power of the temperature, ay α, then from (1) we would have ( ) [( ) ] E lnp = 1 p ln = (α 1)p. (3) hu, the ICG condition () that p meaure the abolute temperature, eparate two domain: one in which (3) i poitive, α > 1, and the attractive nature of the ga implie that it will condene, and another region in which (3) i negative, α < 1, and repulion prevail implying that the ytem ha a zero-point energy [Einbinder 1948]. Every ga compried of mechanically noninteracting particle obey an equation of tate of the form [Einbinder 1948] p = E(, ), (4) where > 0 i proportional to the adiabatic exponent. Introducing (4) into (1) convert it into the differential equation E = ( ) E ( ) E. (5) reating (5) a a Lagrange equation, the auxiliary equation are d = d = de E. here are two independent olution, = c, and either E/ = a, or E = b, where a, b, and c are arbitrary contant. he general olution i Ψ 1 (a, c) = Ψ 1 (E/, ) = 0, i.e., E = ψ 1 ( ), (6)

3 3 or Ψ (b, c) = Ψ (E, ) = 0, i.e., E = ψ ( ), (7) where Ψ i and ψ i are arbitrary function. he coefficient of E, namely, 1/ and, will later be appreciated a integrating factor for the quantity of heat. he function ψ i are olution to the adiabatic equation ( ) ψi he auxiliary equation to (8) are d = d ( ) ψi = 0. (8) = dψ i 0. here are again two independent olution, ψ i = a and = b, o that the general olution to (8) i ψ i = ψ i (z), in which and appear only through the combination z =. For ψ 1 = cont., (6) i the thermal equation of tate for an ICG, while for ψ = cont., (7) i the zero-point energy. Wherea E = a i an approximate relation, valid in the high temperature limit, o too E = b can be conidered an approximate relation, thi time valid in the low temperature limit [Einbinder 1948]. hee are the extreme cae where the internal energy i a function of either the abolute temperature, in the high temperature limit, or of the volume, in the low temperature limit. he zero-point expree the fact that particle interaction are repulive, ( E/ ) < 0, and uch a ytem would be entirely mechanical ince dq = de +p d = 0. However, there i another poibility in which the internal energy, a well a the entropy, tend to zero monotonically with the temperature. he thermal equation of tate (6) can be conidered a an IGG, i.e., one for which the particle number, N = ψ 1 (, ), i variable, being a function of the temperature. hi will provide a very profound analogy between a two phae claical ytem, like a Carnot engine, that wa analyzed by Clapeyron by an equation bearing hi name, and an IGG which doe not conerve the number of particle. In the cae that E tend to zero monotonically with, ψ (z) may be approximated by L(z) = c α α at low temperature where all we demand for the preent i that α > 0. ccording to (4), the internal energy, E = c α (α 1), give a preure p = c α (α 1) 1. For dynamic tability we require ( ) p = [(α 1) 1] p < 0. However, if the internal energy i to retain it property of being a firt-order homogeneou function, we mut have (α 1) = 1, implying ( ) p = 0, (9) or a phae equilibrium [Einbinder 1948]. arying the volume at contant temperature leave the vapor preure contant by having the liquid either evaporate or condene. hi i preciely the condition under which the Clapeyron equation i valid. For an IGG, the volume of the econd phae i nil ince there i no longer particle conervation, N = ψ 1 (, ) cont. hi fine balance keep the preure independent of the volume and the internal energy a firt-order homogeneou finction p = c q/r E = c q/r. (10) In the low temperature limit ψ (z) can be replaced by L(z) = a + cz q/r, (11) where a > 0. hen, ince E = L(z) E = ( a + cz q/r), and ( E/ ) < 0 if a i finite, or ( E/ ) > 0 if a vanihe, and q > r. In the later cae, the preure mut atify (9) o that = r/(q r). Furthermore, E/ = ψ 1 (z) = L(z)/z, and d (E )/z = dl(z)/z =: ds, where S(z) = q q r cz1/ = q q r ψ 1(z) (1) i the entropy. Hence, no deciion can be made between the Planck (S = 0 at = 0) and the Nernt (S = cont. at = 0) formulation of the third law becaue the concept of abolute entropy i meaningle. Moreover, we will ee in the following paper that an abolute L(z) i alo meaningle ince only it difference i meaurable. he difference between the enthalphy, H = U + p = (1 + )c q/r, and time the entropy, (1), i ( G = 1 + q ) c q/r. (13) q r he Gibb free energy (13) preent itelf a a meaure of non-extenivity, and vanihe when = r/(q r) [Einbinder 1948]. HE SECOND LWS he quantity of heat, dq, which mut be aborbed by a body to make it temperature rie to + d and it volume expand to + d i dq = M d + N d. (14) hi caloric equation, familiar to all the early thermodynamicit, undoubtedly fell out of favor due to the fact [Clauiu 1850]

4 4 that Q cannot be a function of and, if thee variable are independent of each other. For if it were, then by the well-known law of the differential calculu, that if a function of two variable i differentiated with repect to both of them, the order of differentiation i indifferent and thi wa definitely not o with (14). In fact, the exactne condition of the internal energy, du = dq p d = (M p)d + N d, how that their difference gave [homon 1851] dp d = M N. (15) hi led Planck [1945] to remark that the notation dq ha frequently given rie to miundertanding, for dq ha been repeatedly regarded a the differential of a known finite quantity Q. hi faulty reaoning may be illutrated by the following example. nd the example Planck gave reulted in (15), which homon took merely a a tatement of the firt law. he tatement that he took a the econd law wa Clapeyron equation dp d = M C(), (16) where C() i the reciprocal of the Carnot function, which homon howed wa equal to the abolute temperature,. hat i, the ratio of the total work done in an infiniteimal cycle, dp d dd, to the ratio of the heat aborbed in the firt branch of the Carnot cycle, M d, dp d d M = d C() (17) mut be the product of d and a function of only. he very remarkable theorem that dp/d / M mut be the ame for all ubtance at the ame temperature wa firt given (although not in preciely the ame term) by Carnot [homon 1851]. For an ICG, M = p, becaue the internal energy i a function of the abolute temperature alone, and N, it wa realized by Clauiu, can be a function of only. It i even probable that thi magnitude [N], which repreent the pecific heat of the ga at contant volume, i a contant. In contrat, for an IGG, ( M = ) c q/r = q p, (18) r and N = q r c 1/. (19) Expreion (18) invalidate Clauiu concluion that a permanent ga, when expanded at contant temperature, take up only o much heat a i conumed doing external work during the expanion. Clauiu concluion i baed on the fact that the working ubtance wa an ICG, obeying p =, while (18) how that an IGG aborb more ince q > r. o convert dq into the total differential of a certain function, we introduce the integrating factor λ, and require λm = λn. (0) he exactne condition (0) can be rearranged to read ( M N ) = M lnλ + N lnλ. (1) By a compoite ytem argument, λ can only be a function of or. For conider two imple fluid in thermal contact; uch a ytem will have three independent variable, 1 and. he integrating factor can only be a function of the common variable [Carathéodory 1909]. Hence, ( M ) N = d lnλ M d. On the trength of the exactne condition for the internal energy (15), thi i equivalent to the Clapeyron equation (17), and on the trength of Carnot theorem C() = i the integrating denominator for the increment in the heat, dq, giving the entropy, (1), which depend on and only through the combination z =. Now conider two imple fluid in mechanical contact, for which the independent variable are, 1, and. gain, the integrating factor λ can only be a function of the variable in common to both ubytem o that the exactne condition (1) now reduce to dp d d d N d = d lnλ( ). () By interchanging iochore for iotherm, N d i the quantity of heat aborbed in the firt egment of an equivalent Carnot cycle, a we hall dicu in the next ection. he very remarkable fact, equivalent to Carnot theorem, i that the right-hand ide i the product of d and a function only of the volume. hu, dp/d/n i the ame for all ubtance at the ame volume. For an IGG, λ( ) = [Einbinder 1948], which reduce to λ( ) = R/Cv for an ICG, where C v i the heat capacity

5 5 at contant volume, and R i the ga contant, which will only be introduced in conjunction with C v. he integrating factor λ( ) for the increment in the heat, dq, now give the point function (11), which, again, depend on and only through the combination, z. However, wherea the entropy (1) i extenive, the potential (11) i not. Conider any two tate 1 and, with 1 > for concretene. ny proce connecting the two tate will be aid to be irreverible if z 1 > z. (3) Rearranging (3) we get 1 / > / 1 o that the thermal efficiency, η t = = η v, can never be inferior to the mechanical efficiency, η v. If Q 1 and Q are quantitie of heat aborbed and rejected at 1 and, repectively, then we ay that there i thermal equilibration if = Q 1 1 Q 1, wherea there i mechanical equilibration if 1 = Q Q 1 1. More work can be accomplihed during a thermal equilibration than a mechanical one ince the ytem achieve a lower final temperature,. For any infiniteimal narrow Carnot cycle, the ratio Q /Q 1 may be replaced by it differential, dq /dq 1. hermal equilibration reult when dq = 0, (4) and dq 0, (5) while mechanical equilibration require dq = 0, (6) and dq 0, (7) ince any irreverible cycle i necearily le efficient than a Carnot cycle, dq /dq 1 < / 1. For procee of pure thermal conduction, we would identify (6) with the firt law, and the conervation of energy over the entire cycle, and (7) a the tatement of the econd law. However, for purely mechanical interaction neither (7) nor the firt law would give an evolutionary criterion ince the internal energy and entropy are firt-order homogeneou function of the volume. he criteria of mechanical equilibration would fix the final volume a the weighted arithmetic mean of the partial volume, according to (5), while (4) would how that L would tend to decreae ince the arithmetic mean i inferior to the power mean of order q/(q r). If we plit the cycle up into two egment, B, and B, where the former contain all the irreveribility, then (5) give while (7) become dq > L B L, S B S > dq. If the infiniteimal increment in the heat i the um of the infiniteimal heat dq e introduced into the ytem, or extracted from it, and the um of irreverible heat tranfer within the ytem, n dq = dq e + dq i, then for an iolated ytem dq e = 0, n L B L < dq i, (8) under the condition that n n S B S > dqi / = 0, or dq i, (9) under the condition n dq i = 0. Inequality (9) i referred to a Clauiu inequality, while inequality (8) appear to be novel. For each individual proce of heat tranfer, dq i will appear twice: once a a poitive quantity and once a a negative quantity. he econd law (9) aert that the integrating denominator in the former i maller than in the latter, ince heat flow pontaneouly from a hotter to a colder body at contant volume. lternatively, according to (8), a heat i aborbed the ga expand at contant temperature, o that the integrating factor of the former will be maller than the latter. Either (8) or (9) can be taken a tatement of the econd law, depending on the contraint impoed. It i quite remarkable that both criteria can be formulated in term of comparable mean, and their fundamental property that the power mean i a monotonic increaing function of it order will be invetigated thoroughly in the following paper.

6 6 N EQUILEN CRNO CYCLE n equivalent cycle to that of Carnot can be obtained by replacing iothermal by iochore. hi will prove a very remarkable theorem that dp/d / N mut be the ame for all ubtance at the ame volume, which i preciely analogou to Carnot theorem that dp/d / M mut be the ame for all ubtance at the ame temperature. he cycle conit of: 1. borption of a quantity of heat Q 1, at a contant volume 1, by compreion which raie the abolute temperature from 1 to, and, conequently, increae the preure.. n adiabatic expanion to a tate of larger volume, and lower temperature he rejection of a quantity of heat Q, by expanion which lower the temperature to 4 at contant volume. 4. n adiabatic compreion which retore the ytem to volume 1, and temperature 1. he adiabatic branche provide the following ratio 1 = 3 = 4. 1 he ratio of the heat rejected, Q 3 4, to the heat aborbed, Q 1 i Q 3 4 = 1 Q 1, and the efficiency of the engine η v = 1 1 i the ame a the Carnot, thermal, efficiency, η t. Now, for an infiniteimal cycle, the ratio of the total work performed to the heat aborbed at contant volume i (), which i the ame for all ubtance at the ame volume. hi, a we have hown in the lat ection, i equivalent to the Carnot theorem (17). Both () and (17) give the ame Clapeyron equation, which, when integrated, give the preure in (10), independent of volume for a homogeneou ytem. nd while it wa realized that dp/d wa a function of the temperature alone [Clauiu 1850], it wa not appreciated that the mechanical ICG equation of tate, p =, could not be ued to evaluate the work., HE RNSIION IGG ICG he abolute temperature,, and the empirical temperature, t, will coincide only for an ICG. For an ICG, p read the temperature, and E i a function of the temperature alone, independent of the volume. In contrat for an IGG, p will be independent of the volume, and E will be a function of it. In addition, E will no longer be a linear function of the temperature. he only demand made by the zeroth law i that when two identical ytem are placed in thermal contact their empirical temperature be the ame when a tate of mutual thermal equilibrium ha been reached. Once the empirical cale ha been choen, the abolute temperature mut be a monotonically increaing function of it, viz., (t) = t r, with r 1. On the empirical temperature cale, E will vary a t q, where q r with the equality ign pertaining to the ICG limit. Wherea the exponent r i related to the average kinetic energy of the particle, the exponent q i related to additional form of energy, like the energy required to create or annihilate particle, ince for an IGG the particle number i not conerved. a matter of fact, the vanihing of the difference of the two exponent will ignal the tranition from an IGG to an ICG, a we hall now how. hi i in ditinction to the tranition between an IQG and an ICG which occur only in the high temperature limit. It i notable that in the limit a q r, the entropy (1) i of the indeterminate form 0/0. pplying L Hôpital rule, we get lim S(z) = c lnz, q r where z = R/Cv. Identifying c a C v give In the ame limit, and conequently, either lim S(z) = C v ln + R ln. q r lim L(z) = C v R/Cv, q r de = ds(z) p d = C v d or 1 de = dl(z) p d = C v d, R/Cv which i the thermal equation of tate of an ICG. [Born 1949] Born M (1949) Natural Philoophy of Caue and Chance. Oxford UP, Oxford

7 7 [Buchdahl 1966] Buchdahl H (1966) he Concept of Claical hermodynamic. Cambridge UP, Cambridge [Carathéodory 1909] Carathéodory C (1909) Math. nn. (Berlin) 67: ; ee alo, Born M (1949) Natural Philoophy of Caue and Chance. Clarendon Pre, London [184] Carnot SN (184) Reflection on the Motive Power of Heat. Pari [Clauiu 1850] Clauiu R (1850) Poggendorff nnalen LXXIX ; tranl. in Magie WF (1899) he Second Law of hermodynamic. merican Book Co, New York [Einbinder 1948] Einbinder H (1948) Phy. Rev. 74: ; (1949) ibid 76: [Hardy et. al. 195] Hardy GH, Littlewood JE, Pólya G (195) Inequalitie. nd ed., Cambridge U. P., Cambridge [Landberg 1961] Landberg P (1961) mer. J. Phy [Lavenda 005] Lavenda BH (005) hermodynamic of an ideal generalized ga: II mean of order α [1945] Planck M (1945) reatie on hermodynamic. Dover, New York [ait 1868] ait PG (1868) Sketch of hermodynamic. Edmonton and Dougla, Edinburgh [1888] homon JJ (1988) pplication of Dynamic to Phyic and Chemitry. MacMillan, London [1851] homon W (1851) ran. Roy. Soc. Edinburgh March; (185) Phil. Mag. I; reprinted in Magie WF (1899) he Second Law of hermodynamic. merican Book Co, New York [homon 1851] homon W (1851) ran. Roy. Soc. Edinburgh March; (185) Phil. Mag. I; reprinted in Magie WF (1899) he Second Law of hermodynamic. merican Book Co, New York