Termodynamikens axiomatik har till uppgift att identifiera strukturen av termodynamiska begrepp och lagar [1] med syftet att logiskt konsekvent införa i vetenskaplig cirkulation av makroskopiska fysikaliska storheter som inte är definierade i andra grenar av fysiken - intern energi , entropi och temperatur : "två nya fysiska storheter introduceras i termodynamiska storheter - entropi och absolut temperatur ; detta steg är föremål för motivering” [2] . Det finns en annan idé om axiomatikens roll i termodynamiken (H. Falk): "Med etableringen av någon teori blir den själv föremål för forskning, först och främst när den expanderar i en sådan utsträckning på grund av tillägg som det blir allt svårare att tränga in i dess logiska samband. Sedan börjar axiomatikens uppgifter...” [3] .
Inom termodynamiken, som i alla naturvetenskapliga discipliner, är de grundläggande lagarna och principerna formulerade som en generalisering av hela komplexet av experimentella fakta. Termodynamik som vetenskap föddes i början av 1800-talet som ett svar på behovet av att skapa vetenskapliga grunder för driften av värmemotorer , när världsbilden inkluderade begrepp som senare förkastades, till exempel teorin om kalorier . Tillsammans med vetenskapens utveckling utökades utbudet av tillgängliga experimentella fakta och kunskapen om grunderna för materiens struktur fördjupades, och följaktligen utvecklades också förståelsen för termodynamikens grunder. Under loppet av denna utveckling föreslogs olika uppsättningar av postulat, på vilka författarna byggde sina system för exponering av termodynamikens grunder. För närvarande finns det olika tillvägagångssätt för konstruktionen av termodynamikens axiomatik, där både antalet och formuleringen av själva postulaten kan skilja sig markant.
Till skillnad från matematik kan en fysikalisk teori inte omedelbart konstrueras som en axiomatisk teori. Om i matematik objekt och axiomsystemet för dem används direkt som byggnadsmaterial för teorin, så utgår de i fysiken från de ackumulerade experimentella fakta och mönster som är relaterade till dessa fakta. Olika delar av det studerade området av fenomen beskrivs först utifrån olika teoretiska tillvägagångssätt, som ofta inte överensstämmer med varandra. I detta skede kan den fysikaliska teorin ännu inte representeras i en axiomatisk form. Först efter att ha identifierat de huvudsakliga regelbundenheterna som styr ett givet område av fenomen och separerat exakta regelbundenheter från ungefärliga, blir det möjligt och ändamålsenligt att uttrycka de etablerade regelbundenheterna i form av ett system av axiom och presentera huvudresultaten av teorin som strikta konsekvenser av det konstruerade axiomatiska systemet: "om vi i matematik axiomatiserar för att förstå, så måste vi i fysiken först förstå för att kunna axiomatisera" ( Eugene Wigner ) [4] .
Några av begreppen och kvantiteterna som används av klassisk termodynamik är lånade från andra delar av makroskopisk fysik [5] [6] (till exempel massa , tryck , arbete kommer från mekanik ), och den andra delen introduceras i själva termodynamiken. Termodynamikens grundläggande begrepp inkluderar de som inte definieras i andra grenar av fysiken, och till vilka termodynamiken själv bara kan ge beskrivande definitioner, eftersom mer allmänna begrepp helt enkelt inte existerar:
Påståenden som relaterar till de två första av dessa begrepp kallas ibland i den inhemska litteraturen för termodynamikens utgångspunkter [7] , och påståenden relaterade till inre energi är föremål för termodynamikens första lag [8] [9] .
Termodynamik introducerar nya makroskopiska variabler i vetenskaplig cirkulation [10] : intern energi, temperatur, entropi och kemisk potential , såväl som kombinationer av dessa kvantiteter. För att göra detta, på basis av grundläggande begrepp och variabler, bildas grundläggande begrepp och variabler , av vilka de viktigaste är värme , temperatur och entropi ; på basis av fundamentala och grundläggande variabler byggs sekundära variabler, såsom värmekapacitet , kemisk potential, termodynamiska potentialer , Massier-Planck funktioner . Termodynamikens lagar är formulerade som system av axiom som kopplar samman termodynamikens grundläggande begrepp. Dessa axiomsystem delas in i två grupper:
Historiskt sett var system baserade på värmebegreppet de första som användes. Detta koncept, vars rötter ligger i teorin om kalorier, kan emellertid uteslutas från antalet grundläggande och överföras till sekundära.
Termodynamik, som lånar begreppen energi och arbete från andra grenar av fysiken, introducerar genom sin första princip nya fysiska storheter i beaktande - intern energi som en termodynamisk storhet som kännetecknar systemet, och värme (mängden värme) som en termodynamisk storhet som karakteriserar process för övergång av systemet från ett tillstånd till ett annat [11] :
Trots det faktum att termodynamiken betraktar en av dessa nya storheter som ett odefinierat grundbegrepp (vilket man - eller - beror på termodynamikens konstruktionssystem), för jämviktsprocesser i vilande slutna system , uppstår inga relaterade osäkerheter. Det finns dock situationer där definitionen av arbete måste göras inom själva termodynamiken. I det här fallet uppstår en tvetydighet i begreppen värme och arbete, förknippad med godtyckligheten i att bryta ned förändringen av inre energi till värme och arbete: "det är svårt att entydigt reducera all påverkan från miljön till begreppen " arbete” och ”värme”” [12] .
I praktiken leder den osäkerhet som är förknippad med användningen av begreppen "värme" och "arbete" inte till några slående paradoxala eller oönskade konsekvenser, eftersom de, på tal om värmen eller arbetet i en process, alltid innebär en förändring i denna process av en av de termodynamiska potentialerna (därmed, vid en konstant volym, är den termiska effekten av en kemisk reaktion lika med en förändring i systemets inre energi och vid ett konstant tryck till en förändring i entalpi [37] ) . Ur en teoretisk synvinkel gäller alla slutsatser baserade på användningen av begreppet "värme" som en grundläggande en endast för icke-relativistiska slutna system i jämvikt. Detta betyder i synnerhet att för öppna, icke-jämvikts- och relativistiska system kräver införandet av entropi som en makroskopisk parameter som karakteriserar systemets termiska egenskaper användning av axiom som kompletterar den vanliga listan över termodynamiska postulat . Så P. T. Landsberg kompletterade listan ovan med termodynamikens fjärde lag , enligt vilken, för att beskriva tillståndet för homogena öppna jämviktssystem och icke-jämviktssystem, används samma uppsättning variabler som för homogena slutna jämviktssystem, kompletterat med variabler som kännetecknar systemets kemiska sammansättning [38] [39] .
En radikal lösning på det aktuella problemet är att ersätta begreppet "värme" med begreppet "entropi" som grundläggande. Nedan finns exempel på axiomatiska system som använder detta tillvägagångssätt, vars kärna är postulatet om existensen av entropi [40] .
Grunden för modern kemisk termodynamik är Gibbsteorin med objekt som är nya för termodynamiken från 1800-talet - multikomponent heterogena system med varierande massor och sammansättningar , kemiska och fastransformationer . Om i Clausius termodynamik en teori byggs upp genom att beakta idealiserade processer, med hjälp av vilka nya variabler introduceras - intern energi, entropi och termodynamisk temperatur - som karaktäriserar det inre tillståndet i ett termodynamiskt system, så ligger fokus i Gibbs teori på den termodynamiska egentliga systemet och dess variabler [41] : intern energi och entropi, vars existens och egenskaper postuleras, väljs som teorins huvudsakliga obestämda variabler.
Tillämpningsområdet för Clausius termodynamik (liksom alla andra teoretiska system för att konstruera denna vetenskapliga disciplin, baserat på användningen av mängden värme som en av teorins huvudvariabler) är begränsat till slutna system. I själva verket är värme per definition energi som överförs utan att utföra arbete och utan att ändra massorna av de ämnen som utgör systemet [42] , det vill säga massorna ( kvantiteterna ) av ämnen (till exempel i uttryck för specifik värme och annat specifika kvantiteter) i Clausius termodynamik är inte termodynamiska variabler [43] , och numeriska parametrar . Därför kan metoder som härstammar från Clausius inte visa att entropin beror på massorna av de ämnen som utgör systemet [44] . Härav följer att utvidgningen av termodynamiken utförd av Gibbs till öppna system med variabel sammansättning kräver en expansion av teorin med inblandning av nya empiriska motiveringar, det vill säga ytterligare postulat. Denna förlängning och konsekvenserna av den utgör huvudinnehållet i Gibbs termodynamik [44] .
Gibbs, i sin avhandling "On the Equilibrium of Heterogeneous Substances" (1875-1878), utgår från konceptet om energin i ett termodynamiskt system och principen om ökad entropi, och hans presentationsmetod är en logisk struktur som initialt tar hänsyn till massan av ett ingående ämne som en termodynamisk variabel ( Gibbs postulat ), och baserat på följande påståenden:
(Energi av ett öppet homogent system enligt Gibbs; Gibbs grundläggande ekvation i energitermer) |
Dessa bestämmelser utgör grunden för Gibbs termodynamik, som är en oberoende (det vill säga utgående från Clausius termodynamik, men inte knuten till den) logisk struktur. Det faktum att Gibbs själv inte kallade de viktigaste uttalandena i sin teori för postulat eller axiom förändrar inte sakens väsen. Presentationsstilen i Gibbs avhandling "On the Equilibrium of Heterogeneous Substances" är axiomatisk: först ges en formulering, följt av en diskussion, åtföljd av exempel. Gibbs, som inte brydde sig alltför mycket om den formella strängheten i att förklara grunderna för sitt system, strävade efter att så snabbt som möjligt gå över till att överväga specifika problem. Därför är Gibbsteorin inte ett komplett axiomatiskt system. Därefter utvecklades Gibbs tillvägagångssätt, i synnerhet i verk av L. Tisza [28] . Faktum är att den kemiska termodynamikens axiomatik är vägen från de grundläggande axiomen till Gibbs-formalismen (och vidare - enligt Gibbs).
Tyvärr presenteras ibland Gibbs termodynamik - en autonom logisk struktur - som en del av Clausius/Carathéodory-teorin ibland i utbildningslitteraturen, och eleverna frågar till exempel varför det är nödvändigt att bevisa villkoret för jämvikt mellan temperaturer i jämviktsfaser om detta redan följer av termodynamikens nolllag [53] .
N. N. Schiller var den första som systematiskt utvecklade den logiska sidan av termodynamikens grundläggande begrepp och lagar. Han visade att, tillsammans med de klassiska formuleringarna av termodynamikens andra lag i Clausius och Thomsons anda , är andra likvärdiga formuleringar möjliga. Schiller ansåg att ett av de viktigaste och mest allmänna uttalandena om existensen av en integrerande divisor för en elementär mängd värme [54] .
1909 försökte en elev till den berömde matematikern David Hilbert, Constantine Carathéodory , ge den första axiomatiska konstruktionen av termodynamiken [55] [56] [57] . I sin artikel "On the Fundamentals of Thermodynamics" satte han den extremt abstrakta uppgiften att studera kropparnas termiska tillstånd. Huvudinnehållet i den andra lagen enligt Carathéodory var att vid en fixerad energi hos systemet i en godtyckligt nära grannskap av dess initiala tillstånd, finns det alltid tillstånd som är ouppnåeliga adiabatiskt - utan termisk interaktion med omgivningen. Matematiskt betyder detta (som i den ursprungliga tolkningen av Clausius) existensen av en integrerande faktor för den pfaffiska formen, som ger systemets tillståndsekvation. Fördelen med Carathéodorys tillvägagångssätt (jämfört med Clausius) är förkastandet av de restriktioner som åläggs av postulatet om existensen av en idealgas. Komplexiteten och matematiseringen av artikeln blev dock ett allvarligt hinder för att Carathéodorys idéer skulle tränga in i fysiken.
T. A. Afanas'eva-Ehrenfest kompletterade termodynamikens postulatsystem med axiomet om förekomsten av termodynamisk jämvikt och delade termodynamikens andra lag i två logiskt oberoende delar, av vilka den första underbygger existensen av entropi, och den andra är en uttalande om den stadiga ökningen av entropi i verkliga adiabatiska processer.
1) Det finns en tillståndsfunktion - temperatur. Jämlikheten mellan temperaturer på alla punkter är villkoret för termisk jämvikt mellan två system eller två delar av samma system [60] .
2) Varje termodynamiskt system har en karakteristisk tillståndsfunktion - energi. Denna tillståndsfunktion ökar med mängden värme som rapporteras till systemet dQ och minskar med mängden externt arbete som utförs av systemet dW. För ett slutet system är lagen om energibevarande giltig [9] .
3) Varje termodynamiskt system har en tillståndsfunktion som kallas entropi. Entropi beräknas enligt följande. Systemet överförs från ett godtyckligt valt initialtillstånd till motsvarande slutliga tillstånd genom en sekvens av jämviktstillstånd; alla delar av värme dQ som tillförs systemet beräknas, var och en divideras med den absoluta temperaturen T som motsvarar den, och alla värden som erhålls på detta sätt summeras (den första delen av termodynamikens andra lag) . I verkliga (inte idealiska) processer ökar entropin i ett slutet system (den andra delen av termodynamikens andra lag) [61] .
4) Vid absolut nolltemperatur antar entropin värdet S 0 , oberoende av tryck, aggregationstillstånd och andra egenskaper hos ämnet [62] .
Systemet för konstruktion av termodynamik som föreslagits av A. A. Gukhman [63] [64] [65] [66] [67] är baserat på följande bestämmelser:
N. I. Belokon identifierar inte termodynamikens postulat , som är en generalisering av den månghundraåriga erfarenheten av att förstå naturen, med dess början - matematiska uttryck för postulat. Den första lagens postulat är lagen om energibevarande . Den första lagen är formulerad enligt följande: förändringen i den inre energin i en kropp eller ett system av kroppar är lika med den algebraiska summan av de mottagna (överförda) mängderna värme och arbete, eller, vad som är detsamma, värmen som tas emot av systemet utifrån omvandlas successivt till en förändring i systemets inre energi och till prestanda (återbäring) av externt arbete [72]
Denna ekvation, som är den externa energibalansen för ett termodynamiskt system, är endast giltig för reversibla processer . Belokon kompletterar med ekvationen i den första lagen om balansen av arbetsvätskan , som tar hänsyn till den interna värmeöverföringen av systemet till följd av den irreversibla omvandlingen av arbete till värme under friktion , elektrisk uppvärmning, diffusion etc. Den totala mängden värme som tas emot av kroppen definieras som summan av två kvantiteter: värme , summerad utifrån, och värmen från inre värmeöverföring :
Den resulterande generaliserade ekvationen av den första lagen är också giltig för irreversibla processer.
Termodynamikens andra lag är traditionellt formulerad som en enhetlig princip för existensen och ökningen av entropi och är baserad på postulaten om irreversibilitet (Clausius, Thomson, Planck , etc.) [73] . Misstaget att underbygga principen om existensen av entropi på basis av postulatet om irreversibilitet och behovet av dess oberoende motivering påpekades av N. N. Schiller, K. Karateodory, T. A. Afanas'eva-Ehrenfest, A. Sommerfeld, A. Gukhman, N. I. Belokon och andra. Behovet av att dela termodynamikens andra lag i två oberoende principer bygger på det faktum att principen om existensen av entropi är grunden för härledningen av ett antal av termodynamikens viktigaste differentialförhållanden och dess vetenskapliga betydelse kan inte överskattas, och principen om ökande entropi av isolerade system är en statistisk princip, mycket mindre generell, som karakteriserar den mest sannolika riktningen för processerna för att förändra tillståndet för isolerade system som observeras i vår värld. För första gången gavs ett oberoende belägg för principen om existensen av entropi för alla termodynamiska system av N. I. Belokon på basis av postulatet för termostatikens andra lag (Belokons postulat): temperatur är den enda tillståndsfunktionen som bestämmer riktningen för spontan värmeöverföring, det vill säga mellan kroppar och element i kroppar som inte är belägna i termisk jämvikt, är samtidig spontan (enligt balans) överföring av värme i motsatta riktningar omöjlig - från kroppar som är mer uppvärmda till kroppar som är mindre uppvärmda och vice versa [74] .
Belokons postulat är ett specialfall av den mest grundläggande vetenskapliga principen - principen om naturfenomens orsakssamband . Den är symmetrisk med avseende på riktningen för spontan värmeöverföring, men utesluter fullständigt samtidig icke-jämviktsvärmeöverföring i motsatta riktningar, vilket är ett brott mot kausalitetsprincipen . Konsekvensen av Belokons postulat är påståendet: det är omöjligt att samtidigt (inom samma rums-temporala system av positiva eller negativa absoluta temperaturer) fullborda omvandlingar av värme till arbete och arbete till värme . Således är termodynamik baserad på Belokons axiomatik giltig både för världar med positiva och för världar med negativa absoluta temperaturer .
G. Falks och G. Jungs axiomatik är baserad på följande påståenden [75] :
Rationell termodynamik betraktar termiska fenomen i kontinuum baserat på det icke-traditionella tillvägagångssättet av K. Truesdell , P. A. Zhilin och deras anhängare [76] [77] [78] [79] [80] . Målet är att skapa en rigorös matematisk axiomatik av de initiala bestämmelserna i kontinuumtermomekaniken så att den täcker den bredaste möjliga klassen av modeller , och intuitiva idéer om fysiska fenomen uttrycks i matematisk form. Grunden för teorin bygger på sådana matematiska strukturer och begrepp som vektor- , metriska och topologiska rum , kontinuerliga och differentierbara avbildningar , grenrör , tensorer , grupper och deras representationer, etc. För enkla objekt är ett så komplicerat tillvägagångssätt inte. krävs, men för mer komplexa fenomen i kontinuerliga medier, såsom viskoelasticitet , krypning , minneseffekter ( hysteres ), avslappning , etc., stöter konstruktionen av fenomenologiska modeller ofta på svårigheter, varav en betydande del relaterar till bildandet av en adekvat matematisk anordning. Därför är en korrekt beskrivning av den matematiska strukturen hos ett objekt baserad på axiomatik och dess logiska konsekvenser inte bara av metodologiskt intresse, utan också av praktisk betydelse.
Rationell termodynamik delar inte in termodynamik i jämvikt och icke-jämvikt ; båda dessa discipliner behandlas som en enda del av kontinuumfysiken . Tid ingår initialt uttryckligen i den rationella termodynamikens ekvationer. De initiala obestämda variablerna i teorin är rumsliga koordinater, tid, massa, temperatur, energi och hastigheten för värmetillförsel/avlägsnande. Dessa kvantiteter beskrivs endast av sådana egenskaper som kan uttryckas på matematikens språk. Inom rationell termodynamik är förekomsten av temperatur inte underbyggd på basis av idéer om termisk jämvikt ; dessutom betraktas sådana bevis som "metafysikens starka cirklar" [81] . Till skillnad från de system för konstruktion av termodynamik, där temperaturen uttrycks i termer av intern energi och entropi [82] [83] , i rationell termodynamik, tvärtom, uttrycks entropi i termer av intern energi och temperatur. Termodynamikens andra lag betraktas inte som en begränsning av möjliga processer, utan som en begränsning av den tillåtna formen av ekvationer som beskriver verkliga system och processer [84] .
Terminologin som används i arbeten om rationell termodynamik skiljer sig ofta från den allmänt accepterade (till exempel kan entropi kallas "kalori"), vilket gör den svår att förstå.
Frågan är varför i studiet av termodynamik "förutsätts inte existensen av entropi direkt som en oberoende princip? Vad får oss att härleda denna princip som en konsekvens av någon annan proposition? Svaret är ganska tydligt. Sakens väsen ligger i det faktum att en sådan lösning på problemet i det allmänt accepterade systemet för att exponera termodynamikens grunder inte på något sätt är förberedd och skulle uppfattas som artificiell, omotiverad och väsentligen obegriplig” [2] .
Axiomen (börjande, postulat) som termodynamiken bygger på är inte tre, inte fyra (om vi räknar nollbörjan ) och inte ens fem (om vi räknar " minus först" början ), så de föredrar redan att inte räkna dem. Slutligen, förutom axiom, överenskommelser och teorem inom termodynamiken, finns det också "principer", till exempel Putilov-principen om termodynamisk tillåtlighet i jämviktstermodynamik eller Curie-principen i icke-jämvikts-termodynamik, det vill säga påståenden som inte är överenskommelser eller satser, men gör inte anspråk på att vara naturens lagars roll. De bör inte förväxlas med termodynamikens axiom eller teorem, som traditionellt använder ordet "princip" i sina namn (Nernst -principen, Le Chatelier-Brown-principen ).
Det aktuella läget för frågan om termodynamisk axiomatik behandlas i artikeln [85] .
Termodynamik | |
---|---|
Delar av termodynamiken | |
Termodynamikens principer |