We prove an infinite dimensional version of the arnoldliouville theorem for integrable nonlinear pdes. As is well known 1, 4, the integrability by quadratures of a differential equation in space rn is a method of seeking its solutions by means of finite number of algebraic oper. In this paper, we prove a version of arnoldliouville theorem for c 1 commuting hamiltonians. Liouvillearnold theorem hamiltonian systems on canonically symplectic phase spaces. Roughly speaking, the sturm separation theorem states that linearly independent solutions have the same number of zeros. In classical mechanics, the complete state of a particle can be given by its coordinates and momenta. This proof in ndimensions is completely analogous, except that we need to carefully define an ndimensional flux density liouvilles theorem. Advanced classical mechanicsliouvilles theorem wikiversity. I am currently reading arnolds book mathematical methods of classical mechanics on page 278 and i dont see through his arguments there. In section 3, we define the canonical poisson brack ets. Thus, to some extend the arnoldliouville theorem has a character. Liouvilles theorem on integration in terms of elementary functions r.
A typical example is the euler equation on the dual of a lie algebra. All the eigenvalues of a sturm liouville problem are real. The basic idea of liouville s theorem can be presented in a basic, geometric fashion. This equation describes the evolution of phase space distribution function for the conservative hamiltonian system. Liouvilles theorem definition of liouvilles theorem at. It provides a complete description of the system both at equilibrium and also away from equilibrium. The liouvillearnold theorem, anyway, requires additional. Liouvilles theorem and the fundamental theorem of algebra 3 note. Introduction to liouvilles theorem paths in simple phase spaces. The liouvillearnold theorem states that under mild hypotheses, the com. These are that the level set of the first integrals must be compact and connected. If jfzj m for all z 2c, for some m, then f is constant. Proof of arnoldliouville theorem in classical mechanics.
We show that the lipschitz regularity of the foliation by invariant lagrangian tori is crucial to determine the dynamics on each lagrangian torus and that the c 1 regularity of the foliation by invariant lagrangian tori is crucial to prove the continuity of arnoldliouville coordinates. Mathematical tripos part ii integrable systems, hand out 2. Datar recall that an entire function is a function that is holomorphic on the entire complex plane c. It follows from liouvilles theorem if is a nonconstant entire function, then the image of is dense in. I am currently reading arnolds book mathematical methods of classical mechanics on page 278 and i dont see through his arguments there at a point. Liouvilles theorem a bounded entire function is constant. Liouville s theorem describes the evolution of the distribution function in phase space for a hamiltonian system. The geometry surrounding the arnoldliouville theorem. The first important result that we want to prove is liouvilles theorem. The liouvillearnold theorem states that a liouvilleintegrable system admits a canonical transformation to actionangle coordinates, provided that it respects some other topological conditions. Liouvilles theorem definition, the theorem that every function of a complex variable, bounded and differentiable for all finite values of the variable, is a constant function.
In a case study we consider the focusing nls equation with periodic boundary conditions. Liouville equation and liouville theorem the liouville equation is a fundamental equation of statistical mechanics. For example, it remains to understand the symplectic theory of integrable systems. The proof of liouvilles theorem is constructive and hamiltons equations are. This definition, which contains as particular cases, completely integrable hamiltonian systems. For example, the simple harmonic oscillator, with hamiltonian, describes circles in phase space parameterized with the variables.
Suppose on the other hand that there is some not in the image of, and that there is a positive real such that has no point within of. Liouvilles theorem on integration in terms of elementary. This definition, which contains as particular cases, completely integrable hamiltonian systems, hamiltonian actions, and duistermaat lagrangian fibrations, is extended to the contact category, and the following famous results. Bounded entire functions liouvilles theorem suppose fz is an entire function. Proof of arnoldliouville theorem in classical mechanics closed ask question. To prove this theorem, we need the following lemma. Roth, rational approximations to algebraic numbers, mathematika 2 1955, 120. The statement and proof of the liouvillearnold theorem that we present are based on arnolds classic book 4 there exist several.
To prove liouville s theorem, it is enough to show that the derivative of any entire function vanishes. Liouville theorem in physics bsc liouville theorem statistical mechanics liouville theorem phase space liouville theorem in hindi liouville theorem in statistical physics liouville theorem. It is a content of the liouvillearnold theorem which we state without a proof in section 4. A generalization of the liouvillearnold theorem by g. Weak liouvillearnol d theorems and their implications. This theorem is often called arnoldliouville theorem, but it was. Let f be a holomorphic function on a domain open connected of c.
We show that the liouvillearnold theorem concerning knowledge of involutory. Roughly speaking, a liouville integrable system on a phase space m r2n is one which possesses nfunctionally independent conserved quantities. Chaotic motions in hamiltonian systems tor vergata. It is a fundamental theory in classical mechanics and has a straight forward generalization to quantum systems. Arnoldliouville theorem, atiyahguilleminsternberg convexity of the moment map theorem, delzant realization theorem. It essentially states that the phase space volume is locally conserved, or in other words time evolution doesnt change it. This proof of liouvilles theorem in a three dimensional phase space uses the divergence theorem theorem in a fashion familiar to most physics majors. In dynamical systems theory, the liouvillearnold theorem states that if, in a hamiltonian. In fact, i know the liouvillearnold theorem but, since i am interested in the physical application of it, i wonder if the compactness condition is reasonable or if there are many system that are not easily integrable for this reason. We show that the lipschitz regularity of the foliation by invariant lagrangian tori is crucial to determine the dynamics on each lagrangian torus and that the c 1 regularity of the foliation by invariant lagrangian tori is crucial to prove the continuity of arnold liouville coordinates. In both approaches we make assumptions low energy density, equilibrium, etc. Equivalently, nonconstant holomorphic functions on have unbounded images the theorem is considerably improved by picards little theorem.
That is, every holomorphic function f for which there exists a positive number m such that. For example in three dimensions, there are three spatial coordinates and three conjugate momenta. The liouvillearnold theorem, anyway, requires additional topological conditions to find a transformation which leads to actionangle coordinates and, in these set of variables, the hamiltonjacobi equation associated to the system is completely separable so that it is solvable by quadratures. A beautiful consequence of this is a proof of the fundamental theorem of algebra, that any polynomial is completely factorable over the complex numbers. In fact, the proof of the fundamental theorem of algebra given in john fraleighs a first course in abstract algebra, 7th edition addisonwesley, 2003 is the proof we have given here. We recall a few elementary facts from linear algebra. Pdf a generalization of the liouvillearnold theorem. In this paper, we prove a version of arnold liouville theorem for c 1 commuting hamiltonians. It is a fundamental theory in classical mechanics and has a straightforward generalization to quantum systems. Chapter 5 sturmliouville theory texas tech university. Lets first think further about paths in phase space.
Fundamental theorem of algebra one of the immediate consequences of cauchys integral formula is liouvilles theorem, which states that an entire that is, holomorphic in the whole complex plane c function cannot be bounded if it is not constant. Liouvilles theorem applies only to hamiltonian systems. Symplectic theory of completely integrable hamiltonian systems. The nonabelian liouvillearnold integrability by quadratures problem 385 theorem 0. We show that the liouvillearnold theorem concerning knowledge of involutory first integrals for hamiltonian systems is available for any system of second order ordinary differential equations.
In dynamical systems theory, the liouvillearnold theorem states that if, in a hamiltonian dynamical system with n degrees of freedom, there are also known n first integrals of motion that are independent and in involution, then there exists a canonical transformation to actionangle coordinates in which the transformed hamiltonian is. An example of the theoretical utility of the hamiltonian formalism is liouvilles theorem. Classical integrable systems and linear flow on tori math berkeley. In dynamical systems theory, the liouville arnold theorem states that if, in a hamiltonian dynamical system with n degrees of freedom, there are also known n first integrals of motion that are independent and in involution, then there exists a canonical transformation to actionangle coordinates in which the transformed hamiltonian is dependent only upon the action coordinates and the angle coordinates evolve linearly in time. In complex analysis, liouvilles theorem, named after joseph liouville, states that every bounded entire function must be constant.
The basic idea of liouvilles theorem can be presented in a basic, geometric fashion. Classical integrable systems and linear flow on tori. On the liouvillearnold theorem mathematics stack exchange. Fundamental theorem of algebra one of the immediate consequences of cauchys integral formula is liouville s theorem, which states that an entire that is, holomorphic in the whole complex plane c function cannot be bounded if it is not constant. H be an integrable 2ndimensional hamiltonian system. Liouvilles theorem as was already mentioned, there are two approaches to thermodynamics. For example, the simple harmonic oscillator, with hamiltonian. Liouvilles theorem describes the evolution of the distribution function in phase space for a hamiltonian system. To show that f is a constant function, we need to show that fz.
290 635 1035 992 1397 371 1266 454 767 96 401 1626 199 938 1611 1126 147 511 1138 74 1138 1250 240 374 27 371 3 22 991 193 935 513 591 295 1213