Talk:Integrability conditions for differential systems

referred to in Caratheodory's infamous exposition on thermodynamics and measure theory

edit

hi guys,

just annotating the talk page for now. i suspect when i'm done reading the paper i'll have more to say, but given my mentions of differential forms on earlier conversations (see Talk:Constant of integration), i feel somewhat relieved that i have some company.

On page 2[1] of his famous exposition, we see that he mentions the Pfaffian, which lead me to this page.

sooooo relieved. maybe i'll have more to say when i'm done. not sure yet.174.3.155.181 (talk) 00:12, 11 July 2016 (UTC)Reply

  • almost* done my first pass, but everything comes together around page 23. much of this exposition focused on exploiting what i'd call the "practical constants of integration", which is denoted with the zero subscript for the respective coordinate system being discussed.
translation by Delphinich is definitely better than nothing, but i took the first copy i could find. i had to correct some errors.
one error worth mentioning is the the second line of the two-line equation page 17, just above equation (28). it should be
 , not
 , because the first system's deformation coordinates are in terms of   and the second in terms of  
edit (22:55ish GMT 12 July 2016): subscript for system of equations   enumerated on page 5 is incorrect; correct form is  
edit (21:39ish GMT 13 July 2016): subscript '0' missing for two-dimensional plane connecting   with line G–i.e.   (not  ) 174.3.155.181 (talk) 21:43, 13 July 2016 (UTC)Reply
far from done obviously, but it does seem the overarching theme puts an emphasis on basics of calculus. pretty cool once you see it come together, but i can see how those unfamiliar with calculus of variations don't respect it (which isn't a good thing). 174.3.155.181 (talk) 01:10, 12 July 2016 (UTC)Reply
OOOOOO SH************, CARATHEODORY BUSTS OUT THE TERM "THERMODYNAMIC POTENTIAL" ON PAGE 26. MAD POTENTIAL THEORY FEELS HOLLA PAUL GARABEDIAN AWW YEAH 174.3.155.181 (talk) 01:46, 12 July 2016 (UTC)Reply



k i have read the paper and, while i have a plan of attack in my head, i'm waiting for my mind's subconscious organisation algorithm to complete defragmentation of the most recently-added content.

  • at this time i want to share some quotes that, when i later add the relevant formulations from Caratheodory's work (and presumably tie it to other older ideas), are expected to improve readers understanding of how William Thomson, 1st Baron Kelvin's work aligns with the Fundamental theorem of calculus, also known as Stokes' theorem.
  • at the least, it is hoped the ensuing effort will help readers understand the existence of the hypothesised one-to-one correspondence between mathematical analysis and thermodynamics, where the latter was known to be the inspiration of the former during the times of Robert Boyle and probably his biggest fan, Sir Isaac Newton.
  • young, "modern" mathematicians may find it unusual that the root of the purely abstract concepts comprising the foundations of mathematics were once inspired by "Nature", but this is where a proper understanding of the fundamental theorem of calculus is crucial, as this deceptively simple result is powerful enough to summarise any experience, assuming the calculating machine has sufficient bit length (precision) to represent the rich, infinitesimal differential values

now to share the relevant (italicised) quotes, with commentary where appropriate.

    1. "Now, although no other assumptions on the nature of heat can be made[2], one can construct a theory that accounts for all of the results of experience..."
    2. "One can derive the entire theory [of thermodynamics] without assuming the existence of a physical quantity that deviates from ordinary mechanical quantities, namely, heat."
    3. "I have chosen an arrangement of the conclusions that differs from the classical proofs as little as possible, and likewise exhibits the parallelism that must necessarily exist between the main results of the theory and the picture that emerges from the measurements that are actually carried out.
    4. "At the conclusion, I would like to draw attention to the fact that the notion of temperature is not included in the coordinates from the outset, but first appears as a result of certain equations of condition, which are presented on page 16. The grounds for which this conception of temperature is to be preferred are briefly hinted at in the final section; they originate in certain situations that give rise to radiative phenomena
    5. "The second law that now comes into question is of a completely different nature: Namely, one has found that under all adiabatic changes of state that start from any given initial state certain final states are not attainable, and that such "unattainable" final states can be found in any neighbourhood of the initial state.

      However, since physical measurements cannot be absolutely precise this fact of experience includes more than the mathematical content of the aforementioned law, and we must demand that when a point is excluded, the same shall also be true of a small region around this point whose size depends upon the precision of the measurement..."

    6. "Leaving from a given initial point, one can obviously actually arrive at any possible final form under the influence of particular external forces. However, one can do more: Namely, the change of form of the system S that takes place during an adiabatic change of state is a prescribed function of time. In other words: One can prescribe n functions
       
      and demand that the change of state that goes through them is of a sort that the timelike variation of the deformation coordinates   will be represented by above sequence.
      • Carathéodory then mentions that the external work A is not a function of time, but state, and that the first law of thermodynamics can be written as
        where  , and   are functions of  [3] and   is the (total) internal energy of the system[4]
      assuming we are dealing with quasi-static, adiabatic, change of state, which is defined as the difference between the limiting value of the external work and applied external work (will elaborate later, or try to).
    7. Conversely any any curve in the space of   that leaves   constant can be regarded as the trace of the change of state of that sort; namely   is equivalent to
       
       [5]
      Now, Axiom II states there exists a state in an arbitrarily-chosen neighbourhood of an arbitrarily-chosen point that cannot be approximated by adiabatic changes of state.
      However the assumption of quasi-static, adiabatic change of state also means   is not exactly zero.
      If the states that cannot be approximated (i.e. singular points that exist by Axiom 2) are omitted, then the above expression has a non-infinite and non-zero multiplier, denoted as 1/M, that bounds the expression for the first law
       
      Using this identity equation to replace the DA in  , we obtain the relations:
       
       
      which, when satisfied by the given coordinate system, result in a normalized coordinate system.
    8. Let two simple systems S1 and S2 be given with normalised coordinates  ,   [respectively]. These systems shall be separated by a fixed wall that is permeable only by heat... defined by the following properties:
      1. The deformation coordinates of the two systems in question can be varied independently of each other after the introduction of a coupling [6]
      2. Any arbitrary change of the form of the total system, when it is adiabatically isolated, equilibrium is reached after a finite time
      3. The total system S is then only found, but also always therefore in equilibrium, when a certain relation between the coordinates xi, yi of the form:
         
        is satisfied
      4. Whenever any two systems S1 and S2 are in equilibrium with a third system S3 under analogous conditions, there likewise exists an equilibrium between S1 and S2
        This condition therefore means the same thing as saying that for the three equations:
         
         
         
        which bring about equilibrium between S1 and S2, S1 and S3, S1 and S3. Each equation is a consequence of the other two.
        This is however possible only when the system of equations above are equivalent to a system of the form
         
        In particular the condition from the equation in list item 3 (directly above) can then be replaced by two equations of the form:
         
         
        in which τ means a new variable.
        One calls this quantity τ the temperature and equations ρ(x0,...,xn) and σ(y0,...,ym) the equations of state [7]
      • Section 7 Absolute Temperature relates two (normalised) systems S1 and S2 with equations of state
         [8]
      • by assuming their respective equations of state ρ(x0,...,xn) and σ(y0,...,ym) depend on at least one of their respective deformation coordinates, where the chosen coordinate (here, x1 and y1) is assigned to variable τ.
        M and N therefore become functions of   and   respectively.
      • Noting that both the parameters M,N and equations of state ρ(x0,...,xn), σ(y0,...,ym) of S1 and S2 are independent of each other, we introduce a change of variables to normalise the first law (expressed a sum of these systems):
         
        where λ is a function of x0,y0; M is a function of x0,τ, and N is a function of y0,τ.
        By the Leibniz's product rule, differentiating λN and λM with respect to τ gives:
          and  
        which gives a logarithmic derivative (with respect to τ):
         
        that can not depend on either x0 or y0[9] thereby decomposing λ into a product of a function of x0,y0 and another function of a single variable τ:
         
        This expression allows further splitting of M and N such that they are a product of two factors: one depending upon τ, and the other upon x0 (y0 respectively):
         
        where C is an arbitrary[10] non-null constant.[11]
    9. To obtain the entropy coordinate as introduced by Rudolf Clausius, we first normalise the equations using the second last equation from list item 7, and the expressions for M obtained at the end of list item 8,
       
       [12]
      and introduce a new coordinate η using an integral form of the expression for M obtained in list item 8:
       [13]
      which can be solved for x0 since, by the last equation in list item 8, M, and consequently α are non-zero. The total differential of the energy function is now of the form
       
      where η is called the entropy. Thus for systems S = S1 + S2 considered in list item 8, the total differential is:
       
      and expressing their respective entropies η1,η2 with equations:
       
       
      as functions of xi,yk and the new η variables, the total differential again takes the form  .
      Carathéodory briefly mentions how physicists have overlooked the additive property of entropy in order to regard entropy as a physical quantity similar to the mass that is attached to any spatially extended body, which is probably among the most distinguishing features of his formulation compared to others.
      He lastly goes on to say that since the entropy only depends on x0 in normalized coordinates, that it remains constant for any quasi-static adiabatic process, and any change of state of a simple system where the entropy remains constant is called reversible.
      we summarise the (brief) section on 'irreversible changes of state with two relevant passages:
      From this [the fact that the entropy of an isolated system never decreases], it follows that equilibrium will always come about when the entropy must decrease under all permissible virtual changes of state of a simple system, and it possesses a maximum in the equilibrium state.[14]
      Any change of state under which the value of entropy changes is called irreversible.
      • Carathéodory proceeds to synthesise the above in a setting where we are given simple system S that may depend on the coordinates
         
        and assume temperature scale is already determined.[15] The following functions are determinable from the measurements:
        1. The equation of state S for any temperature scale τ.
           
        2. The coefficients of the Pfaffian expression for the (external) work A:
           
        3. The coefficients of the Pfaffian equation for quasi-static, adiabatic changes of state:
           [16]

        to experimentally determine functions Xi, an approach similar to the definition of the derivative is used; that is, we consider changes in state of the system where only a single deformation coordinate, say x1, increases by Δx1, while x2,...,xn remain constant.
        We then measure the change Δξ0 in ξ0 that occurs during the process. When Δx1 is sufficiently small, and the change of state occurs sufficiently slowly,[17] we get:
         [18]
        for the initial state. The Pfaffian in item 3 (of this subsection) must possess a multiplier λ that makes it a complete differential (i.e. satisfying the definition of the Pfaffian system on page 12) when quantities Xi satisfy certain differential equations that must necessarily exist for any actual system, as long as the theory is correct.

        I am going to stop here, as his remaining derivations employ techniques introduced in earlier sections, making the rest easier to follow.
    10. One thus only needs to regard the state coordinates that we had up to now as functions of the position, and to modify the definition of the internal energy and the work done from the outside with the help of particular corresponding integrals
    174.3.155.181 (talk) 00:54, 17 July 2016 (UTC) Reply

    References

    1. ^ Carathéodory, Constantin (1909). "Untersuchungen ueber die Grundlagen der Thermodynamik" [Examination of the foundations of Thermodynamics] (PDF). Mathematische Annalen. 67. Translated by Delphinich, D. H.: 355–386.
    2. ^ aside from assuming when two objects come into contact, heat flows from the object with higher temperature to the one with lower temperature
    3. ^ Notice how   include  , which is not a deformation coordinate? important to note as   plays an important role as a "non-vanishing coefficient" in the Pfaffian.
    4. ^ Caratheodory originally defines α as the total number of phases   contained in system S; under the same change of variables (subscripts) that he employs earlier when setting up a simplex-like optimisation problem on page 5, it is okay to assume there are n phases.
    5. ^ It may help viewing ξ0 as a Augmented form (slack variable) that's introduced to facilitate the calculation of the "normalized" (bounded by M) Pfaffian.
    6. ^ i think it's reasonably safe to suggest the introduction of a coupling between S1 and S2 implies connectedness (?) The coupling bit is interesting because, hypothetically, we could use a hyperboloid as a coupling, no? fix the points on the circumference of the circle corresponding to the respective space (i.e. circle C1 for space S1, etc) and connect them with a line (like the animation).
    7. ^ here, i believe Carathéodory is implicitly exploiting the power of the real numbers. that is, if S1 and S2 are in equilibrium with eachother, then by def'n there is no net heat exchange. thus, an incredibly precise real value could presumably summarise this (shared) property between these two systems that may have radically different deformation coordinates (which, remember, summarise the phases of the respective system!).
    8. ^ M and N bound S1 and S2, respectively, and their sum follows from the first law (sum of internal energy ε and external work A sum to near-zero).
    9. ^ recall the Great Gauss Almighty's Theorema egregium expresses Gaussian curvature without depending on the surface, instead relying on measurements taken on the surface. it seems the logarithmic derivative for each system having the same form reflects this intuition(?)
    10. ^ here, C is arbitrary because of the result from section 6, which showed the temperature scale is arbitrary by setting two equations of state equal to the same temperature, followed by demonstrating the equations that equal this temperature are not uniquely determined (page 16)
    11. ^ decomposition seems to reflect the intuition from footnote 7(?) that is, temperature could be used to further separate the quantitative expression for each state (sort of like removing redundant information prior to comparing properties).
    12. ^ Note: variable t is now the temperature
    13. ^ Recall, on pages 12-13 that a0,a1,...,an are coordinates that are unreachable from the differential curves,and that make the Pfaffian equation a complete differential; the completeness presumably allows integration from a0 to x0
    14. ^ this statement seemingly lends support to the Principle of maximum entropy, which can presumably be calculated using mathematical optimisation.
    15. ^ Carathéodory assumes t is known to reduce the (already-lengthy) exposition; it follows from this assumption that both the internal energy ε and entropy η can be determined.
    16. ^ On page 12, coefficients Xi of Pfaffian
       
      are finite, continuous differentiable functions of xi.
    17. ^ "sufficiently slowly" to satisfy def'n of the quasi-static adiabatic change of state on page 10
    18. ^ at the risk of belabouring "simple" definitions, recall that holding all deformation constants whilst varying one is the textbook definition of the partial derivative