What Are Completely Integrable Hamilton Systems

Total Page:16

File Type:pdf, Size:1020Kb

What Are Completely Integrable Hamilton Systems THE TEACHING OF MATHEMATICS 2011, Vol. XIII, 1, pp. 1–14 WHAT ARE COMPLETELY INTEGRABLE HAMILTON SYSTEMS BoˇzidarJovanovi´c Abstract. This paper is aimed to undergraduate students of mathematics and mechanics to draw their attention to a modern and exciting field of mathematics with applications to mechanics and astronomy. We cared to keep our exposition not to go beyond the supposed knowledge of these students. ZDM Subject Classification: M55; AMS Subject Classification: 97M50. Key words and phrases: Hamilton system; completely integrable system. 1. Introduction Solving concrete mechanical and astronomical problems was one of the main mathematical tasks until the beginning of XX century (among others, see the work of Euler, Lagrange, Hamilton, Abel, Jacobi, Kovalevskaya, Chaplygin, Poincare). The majority of problems are unsolvable. Therefore, finding of solvable systems and their analysis is of a great importance. In the second half of XX century, there was a breakthrough in the research that gave a basis of a modern theory of integrable systems. Many great mathemati- cians such as P. Laks, S. Novikov, V. Arnold, J. Mozer, B. Dubrovin, V. Kozlov contributed to the development of the theory, which connects the beauty of classi- cal mechanics and differential equations with algebraic, symplectic and differential geometry, theory of Lie groups and algebras (e.g., see [1–4] and references therein). The aim of this article is to present the basic concepts of the theory of integrable systems to readers with a minimal prior knowledge in the graduate mathematics, so we shall not use a notion of a manifold, symplectic structure, etc. The most of mechanical and physical systems are modelled by Hamiltonian equations. We shall introduce Hamiltonian systems with one of the easiest prob- lems, the system of n independent harmonic oscillators (Section 2). The corre- sponding equations, as linear, are easily solvable. The solutions are expressed as a trigonometric functions of time and the dynamics is linearized on invariant tori. It turns out that much more complex Hamiltonian problems, if they have a sufficient number of integrals of motion (conservation laws), have qualitatively a similar behavior. It is a content of the Liouville-Arnold theorem which we state without a proof in Section 4. In Section 3, we define the canonical Poisson brack- ets. This is a very important geometric structure that makes possible to study Hamiltonian systems using analytical, algebraical and geometrical methods. 2 B. Jovanovi´c Finally in Section 5, the system of two identical harmonic oscillators is consid- ered. It is shown that this system provides a natural description of an important geometrical object, the Hopf fibration. 2. Hamiltonian equations and harmonic oscillators 2.1. We have learned already in a high school about the harmonic oscillator, describing the motion of a material point under the influence of a force ¡aq, a > 0, where q is a shift from the equilibrium position q = 0 (for example, a motion of a material point related to the elastic spring with the elastic coefficient a). The system is described by the equation: (1) mq¨ = ¡aq; where m is the mass of a material point. By introducing of a new variable p = mq˙ (the moment) and the function 1 2 a 2 h(q; p) = 2m p + 2 q (the sum of kinetic and potential energy of the system), the second order equation (1) takes the form of the system of two first order equations in the space R2(q; p): p @h @h (2)q ˙ = = ; p˙ = ¡aq = ¡ : m @p @q Fig. 1. The system of n independent harmonic oscillators Now, let us consider the system of n independent harmonic oscillators (e.g., the system of n elastic springs). As above, we can write equations of motion in the 2n 2n space R (q; p) = R (q1; : : : ; qn; p1; : : : ; pn): pi @h @h (3)q ˙i = = ; p˙i = ¡aiqi = ¡ ; i = 1; : : : ; n mi @pi @qi Pn 2 2 (mi; ai > 0), where h(q; p) = i=1(pi =mi +aiqi )=2 represents the total mechanical energy of the system. 2.2. The system of equations @h @h (4)q ˙i = ; p˙i = ¡ ; i = 1; : : : ; n @pi @qi 2n defined in a region U of the space R (q1; : : : ; qn; p1; : : : ; pn) is called a Hamiltonian system. The function h is called Hamiltonian, while the region U is called the phase space of the system. By introducing the variable x = (q1; : : : ; qn; p1; : : : ; pn) and a Hamiltonian vector field µ ¶ @h @h @h @h (5) Xh = ;:::; ; ¡ ;:::; ¡ ; @p1 @pn @q1 @qn system (4) reads simplyx ˙ = Xh(x). What are integrable Hamilton systems 3 2.3. Let us recall some basic notions from the theory of ordinary differential equations. Consider the equations n (6)x ˙ = X(x); x = (x1; : : : ; xd) 2 U ½ R ; where X = (X1(x);:::;Xd(x)) is a smooth vector field on U. By the theorem on existence and uniqueness of solutions, through each point x0 2 U and a moment of 0 time t0, there is a unique solution x(t), such that x(t0) = x . Under integrability of the system (6), in broadest context, we mean the finding 0 of the solutions x(t) for a general initial condition x(t0) = x . The most important objects in solving the equation are (first) integrals of the motion. A function F is a first integral of equation (6) if it is constant along solutions: f(x(t)) = const. It is clear that f is an integral if and only if the derivative of f in the direction vector field X identically equals to zero: Xd @f X(f) = X ´ 0: i @x i=1 i Geometrically, this means that if at some point of time t0 a trajectory x(t) belongs to Mc = ff(x) = cg, then it lies within Mc for every t. If the differential df is different from zero on Mc, then Mc is a smooth hyper-surface. The vectors X(x) are tangent to Mc for every x 2 Mc. Fig. 2. Invariant surface Now, if equation (6) have l functionally independent integrals, the problem re- duces (for general values of the parameters c = (c1; : : : ; cl)) to solving the restricted system on (d ¡ l)-dimensional smooth invariant surface Mc : f1(x) = c1; : : : ; fr(x) = cl: It is clear that the existence of d ¡ 1 integrals implies solvability of (6). 4 B. Jovanovi´c 2.4. As we shall see soon, in the framework of Hamiltonian mechanics, for solving equation (4) there should be “only” n integrals. Even more, the phase space of a completely integrable Hamiltonian system has a very fine structure: it is, almost everywhere, decomposed on invariant n-dimensional tori in which the dynamics is linearized. We mentioned that we shall skip using of manifolds. However, there is one exception. The main geometrical object in the theory of integrable systems is a torus, and we hope readers will become familiar with its use. A torus (n-dimensional) Tn is a direct product of n circles: Tn = S1 £ ¢ ¢ ¢ £ S1 : | {z } n n Let ('1;:::;'n) be linear coordinates of the vector space R . Then we have a n n natural mapping ¼ : R ! T , ¼(') = ' mod 2¼, where 'i (mod 2¼) is the angular variable on the i-th circle. The mapping ¼ is 2¼-periodic in each variable. n n Thus, we can represent torus as an n-dimensional cube [0; 2¼] ½ R ('1;:::;'n) with identified opposite sides of the cube: ('1;:::;'i¡1; 0;'i+1;:::;'n) ´ ('1;:::;'i¡1; 1;'i+1;:::;'n); i = 1; : : : ; n: A linear (quasi-periodic, conditionally periodic) motion on Tn is a projection of a line with the mapping ¼: 0 (7) 'i(t) = 'i + !it; i = 1; : : : ; n: The numbers !1;:::;!n are called frequencies. The trajectory (7) is called a wind- ing of the torus, as well. Fig. 3. Linear trajectories on a two-dimensional torus for !2=!1 2= Q, !2=!1 ¼ 3=2 (non-periodic) and !2=!1 = 3=2 (periodic), respectively. 2.5. One can solve (2) easily. First note that the energy h is an integral: d 1 a 1 1 h(q; p) = 2pp˙ + 2qq˙ = apq ¡ apq = 0: dt 2m 2 m m What are integrable Hamilton systems 5 2 The equation h(q; p) = E, for E > 0 defines the ellipse ME in R (q; p). Let us introduce an angular variable ' (mod 2¼) on ME (see Fig. 2): p p (8) q = 2E=a cos('); p = ¡ 2Em sin('): p From the equations of motion (2) we get' ˙ = a=m. Hence, by integration, we obtain the well known expressions p ³p ´ p ³p ´ q(t) = 2E=a cos a=mt + '0 ; p(t) = ¡ 2Em sin a=mt + '0 : The constants E ¸ 0 (energy) and '0 2 [0; 2¼) are determined from the initial con- dition (q(t0); p(t0)). The initial condition (q(t0); p(t0)) = (0; 0) gives the equilibrium position, namely the solution is (q(t); p(t)) ´ (0; 0). Fig. 4. The phase space of a harmonic oscillator 2.6. System (3) has n independent integrals: 1 2 ai 2 (9) fi(q; p) = fi(qi; pi) = pi + qi ; i = 1; : : : ; n 2mi 2 (the energy of i-th harmonic oscillator) and the phase space is foliated on invariant surfaces 2n (10) Mc = f(q1; : : : ; qn; p1; : : : ; pn) 2 R j f1 = c1; : : : ; fn = cng: In general, if all constants ci are greater then zero, Mc is a product of ellipses: Mc = Ec1 £¢ ¢ ¢£Ecn , Eci = f(qi; pi) j fi = cig and represents an n-dimensional torus n T . If one of the constants ci is zero, the invariant manifold Mc is less dimensional torus.
Recommended publications
  • Aspects of Integrable Models
    Aspects of Integrable Models Undergraduate Thesis Submitted in partial fulfillment of the requirements of BITS F421T Thesis By Pranav Diwakar ID No. 2014B5TS0711P Under the supervision of: Dr. Sujay Ashok & Dr. Rishikesh Vaidya BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE PILANI, PILANI CAMPUS January 2018 Declaration of Authorship I, Pranav Diwakar, declare that this Undergraduate Thesis titled, `Aspects of Integrable Models' and the work presented in it are my own. I confirm that: This work was done wholly or mainly while in candidature for a research degree at this University. Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated. Where I have consulted the published work of others, this is always clearly attributed. Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work. I have acknowledged all main sources of help. Signed: Date: i Certificate This is to certify that the thesis entitled \Aspects of Integrable Models" and submitted by Pranav Diwakar, ID No. 2014B5TS0711P, in partial fulfillment of the requirements of BITS F421T Thesis embodies the work done by him under my supervision. Supervisor Co-Supervisor Dr. Sujay Ashok Dr. Rishikesh Vaidya Associate Professor, Assistant Professor, The Institute of Mathematical Sciences BITS Pilani, Pilani Campus Date: Date: ii BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE PILANI, PILANI CAMPUS Abstract Master of Science (Hons.) Aspects of Integrable Models by Pranav Diwakar The objective of this thesis is to study the isotropic XXX-1/2 spin chain model using the Algebraic Bethe Ansatz.
    [Show full text]
  • A New Two-Component Integrable System with Peakon Solutions
    A new two-component integrable system with peakon solutions 1 2 Baoqiang Xia ∗, Zhijun Qiao † 1School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou, Jiangsu 221116, P. R. China 2Department of Mathematics, University of Texas-Pan American, Edinburg, Texas 78541, USA Abstract A new two-component system with cubic nonlinearity and linear dispersion: 1 1 mt = bux + 2 [m(uv uxvx)]x 2 m(uvx uxv), 1 − −1 − nt = bvx + [n(uv uxvx)]x + n(uvx uxv), 2 − 2 − m = u uxx, n = v vxx, − − where b is an arbitrary real constant, is proposed in this paper. This system is shown integrable with its Lax pair, bi-Hamiltonian structure, and infinitely many conservation laws. Geometrically, this system describes a nontrivial one-parameter family of pseudo-spherical surfaces. In the case b = 0, the peaked soliton (peakon) and multi-peakon solutions to this two-component system are derived. In particular, the two-peakon dynamical system is explicitly solved and their interactions are investigated in details. Moreover, a new integrable cubic nonlinear equation with linear dispersion 1 2 2 1 ∗ ∗ arXiv:1211.5727v4 [nlin.SI] 10 May 2015 mt = bux + [m( u ux )]x m(uux uxu ), m = u uxx, 2 | | − | | − 2 − − is obtained by imposing the complex conjugate reduction v = u∗ to the two-component system. The complex valued N-peakon solution and kink wave solution to this complex equation are also derived. Keywords: Integrable system, Lax pair, Peakon. Mathematics Subject Classifications (2010): 37K10, 35Q51. ∗E-mail address: [email protected] †Corresponding author, E-mail address: [email protected] 1 2 1 Introduction In recent years, the Camassa-Holm (CH) equation [1] mt bux + 2mux + mxu = 0, m = u uxx, (1.1) − − where b is an arbitrary constant, derived by Camassa and Holm [1] as a shallow water wave model, has attracted much attention in the theory of soliton and integrable system.
    [Show full text]
  • Remarks on the Complete Integrability of Quantum and Classical Dynamical
    Remarks on the complete integrability of quantum and classical dynamical systems Igor V. Volovich Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia [email protected] Abstract It is noted that the Schr¨odinger equation with any self-adjoint Hamiltonian is unitary equivalent to a set of non-interacting classical harmonic oscillators and in this sense any quantum dynamics is completely integrable. Higher order integrals of motion are presented. That does not mean that we can explicitly compute the time dependence for expectation value of any quantum observable. A similar re- sult is indicated for classical dynamical systems in terms of Koopman’s approach. Explicit transformations of quantum and classical dynamics to the free evolution by using direct methods of scattering theory and wave operators are considered. Examples from classical and quantum mechanics, and also from nonlinear partial differential equations and quantum field theory are discussed. Higher order inte- grals of motion for the multi-dimensional nonlinear Klein-Gordon and Schr¨odinger equations are mentioned. arXiv:1911.01335v1 [math-ph] 4 Nov 2019 1 1 Introduction The problem of integration of Hamiltonian systems and complete integrability has already been discussed in works of Euler, Bernoulli, Lagrange, and Kovalevskaya on the motion of a rigid body in mechanics. Liouville’s theorem states that if a Hamiltonian system with n degrees of freedom has n independent integrals in involution, then it can be integrated in quadratures, see [1]. Such a system is called completely Liouville integrable; for it there is a canonical change of variables that reduces the Hamilton equations to the action-angle form.
    [Show full text]
  • "Integrable Systems, Random Matrices and Random Processes"
    Contents Integrable Systems, Random Matrices and Random Processes Mark Adler ..................................................... 1 1 Matrix Integrals and Solitons . 4 1.1 Random matrix ensembles . 4 1.2 Large n–limits . 7 1.3 KP hierarchy . 9 1.4 Vertex operators, soliton formulas and Fredholm determinants . 11 1.5 Virasoro relations satisfied by the Fredholm determinant . 14 1.6 Differential equations for the probability in scaling limits . 16 2 Recursion Relations for Unitary Integrals . 21 2.1 Results concerning unitary integrals . 21 2.2 Examples from combinatorics . 25 2.3 Bi-orthogonal polynomials on the circle and the Toeplitz lattice 28 2.4 Virasoro constraints and difference relations . 30 2.5 Singularity confinement of recursion relations . 33 3 Coupled Random Matrices and the 2–Toda Lattice . 37 3.1 Main results for coupled random matrices . 37 3.2 Link with the 2–Toda hierarchy . 39 3.3 L U decomposition of the moment matrix, bi-orthogonal polynomials and 2–Toda wave operators . 41 3.4 Bilinear identities and τ-function PDE’s . 44 3.5 Virasoro constraints for the τ-functions . 47 3.6 Consequences of the Virasoro relations . 49 3.7 Final equations . 51 4 Dyson Brownian Motion and the Airy Process . 53 4.1 Processes . 53 4.2 PDE’s and asymptotics for the processes . 59 4.3 Proof of the results . 62 5 The Pearcey Distribution . 70 5.1 GUE with an external source and Brownian motion . 70 5.2 MOPS and a Riemann–Hilbert problem . 73 VI Contents 5.3 Results concerning universal behavior . 75 5.4 3-KP deformation of the random matrix problem .
    [Show full text]
  • On the Non-Integrability of the Popowicz Peakon System
    DISCRETE AND CONTINUOUS Website: www.aimSciences.org DYNAMICAL SYSTEMS Supplement 2009 pp. 359–366 ON THE NON-INTEGRABILITY OF THE POPOWICZ PEAKON SYSTEM Andrew N.W. Hone Institute of Mathematics, Statistics & Actuarial Science University of Kent, Canterbury CT2 7NF, UK Michael V. Irle Institute of Mathematics, Statistics & Actuarial Science University of Kent, Canterbury CT2 7NF, UK Abstract. We consider a coupled system of Hamiltonian partial differential equations introduced by Popowicz, which has the appearance of a two-field coupling between the Camassa-Holm and Degasperis-Procesi equations. The latter equations are both known to be integrable, and admit peaked soliton (peakon) solutions with discontinuous derivatives at the peaks. A combination of a reciprocal transformation with Painlev´eanalysis provides strong evidence that the Popowicz system is non-integrable. Nevertheless, we are able to con- struct exact travelling wave solutions in terms of an elliptic integral, together with a degenerate travelling wave corresponding to a single peakon. We also describe the dynamics of N-peakon solutions, which is given in terms of an Hamiltonian system on a phase space of dimension 3N. 1. Introduction. The members of a one-parameter family of partial differential equations, namely mt + umx + buxm =0, m = u − uxx (1) with parameter b, have been studied recently. The case b = 2 is the Camassa-Holm equation [1], while b = 3 is the Degasperis-Procesi equation [3], and it is known that (with the possible exception of b = 0) these are the only integrable cases [14], while all of these equations (apart from b = −1) arise as a shallow water approximation to the Euler equations [6].
    [Show full text]
  • Introduction to Integrable Systems 33Rd SERB Theoretical High Energy Physics Main School, Khalsa College, Delhi Univ
    Introduction to Integrable Systems 33rd SERB Theoretical High Energy Physics Main School, Khalsa College, Delhi Univ. December 17-26, 2019 (updated Feb 26, 2020) Govind S. Krishnaswami, Chennai Mathematical Institute Comments and corrections may be sent to [email protected] https://www.cmi.ac.in/˜govind/teaching/integ-serb-thep-del-19/ Contents 1 Some reference books/review articles 2 2 Introduction 3 2.1 Integrability in Hamiltonian mechanics.............................................3 2.2 Liouville-Arnold Theorem...................................................6 2.3 Remarks on commuting flows.................................................9 2.4 Integrability in field theory...................................................9 2.5 Some features of integrable classical field theories.......................................9 2.6 Integrability of quantum systems................................................ 10 2.7 Examples of integrable systems................................................ 11 2.8 Integrable systems in the wider physical context........................................ 12 3 Lax pairs and conserved quantities 12 3.1 Lax pair for the harmonic oscillator.............................................. 12 3.2 Isospectral evolution of the Lax matrix............................................. 13 4 KdV equation and its integrability 15 4.1 Physical background and discovery of inverse scattereing................................... 15 4.2 Similarity and Traveling wave solutions............................................ 17 4.3
    [Show full text]
  • Integrable Systems, Symmetries and Quantization
    Integrable systems, symmetries, and quantization Daniele Sepe∗ Vu˜ Ngo. c Sany October 18, 2017 Keywords : classical and quantum integrable systems, moment(um) maps, spectral theory, quantization. MS Classification: 37J35, 53D05, 70H06, 81Q20. Abstract These notes are an expanded version of a mini-course given at the Poisson 2016 conference in Geneva. Starting from classical integrable systems in the sense of Liouville, we explore the notion of non-degenerate singularities and expose recent research in connection with semi-toric systems. The quantum and semiclassical counterpart are also pre- sented, in the viewpoint of the inverse question: from the quantum mechanical spectrum, can one recover the classical system? 1 Foreword These notes, after a general introduction, are split into four parts: • Integrable systems and action-angle coordinates (Section3), where the basic notions about Liouville integrable systems are recalled. • Almost-toric singular fibers (Section4), where emphasis is laid on a Morse- arXiv:1704.06686v2 [math.SG] 16 Oct 2017 like theory of integrable systems. • Semi-toric systems (Section5), where we introduce the recent semi-toric systems and their classification. ∗Universidade Federal Fluminense, Instituto de Matemática, Campus do Valonguinho CEP 24020-140, Niterói (Brazil), email: [email protected] yIRMAR (UMR 6625), Université de Rennes 1, Campus de Beaulieu, 35042 Rennes cedex (France), email: [email protected] 1 • Quantum systems and the inverse problem (Section6), where the geomet- ric study is applied to the world of quantum mechanics. The main objective is to serve as an introduction to recent research in the field of classical and quantum integrable systems, in particular in the relatively new and expanding theory of semi-toric systems, in which the au- thors have taken an active part in the last ten years (cf.[78, 62, 63, 35] and references therein).
    [Show full text]
  • INTEGRABLE SYSTEMS and GROUP ACTIONS Contents 1
    INTEGRABLE SYSTEMS AND GROUP ACTIONS EVA MIRANDA Abstract. The main purpose of this paper is to present in a uni¯ed approach to see di®erent results concerning group actions and integrable systems in symplectic, Poisson and contact manifolds. Rigidity problems for integrable systems in these manifolds will be explored from this perspective. Contents 1. Introduction 2 2. The Symplectic case 4 2.1. Liouville-Mineur-Arnold Theorem: Torus actions meet integrable systems 4 2.2. Rigidity 7 2.3. Singular counterparts to Arnold-Liouville 8 2.4. Additional symmetries 14 3. The Contact case 16 3.1. Toric and non-toric contact manifolds and integrability 18 3.2. Additional symmetries 25 4. The Poisson case 27 4.1. Examples 27 4.2. The local structure of a Poisson manifold 29 4.3. Integrable systems, normal forms and action-angle coordinates for Poisson manifolds 30 4.4. Equivariant theorems for Poisson manifolds 32 References 33 Date: November 15, 2011. 1991 Mathematics Subject Classi¯cation. 53D17. Key words and phrases. integrable system, momentum map, Poisson manifold, Contact man- ifold, symplectic manifold, group action. Partially supported by the DGICYT/FEDER project MTM2009-07594: Estructuras Geomet- ricas: Deformaciones, Singularidades y Geometria Integral. 1 2 EVA MIRANDA 1. Introduction From the very beginning: symmetries, group actions and integrable systems have been close allies. The study of symmetries of the di®erential systems given by Hamilton's equation associated to an energy function H, led naturally to the existence of Poisson commuting functions and the method of integration by quadra- tures. When the number of commuting functions is maximal, the resolution by quadratures is possible and the set of commuting functions de¯nes an integrable system on the phase space T ¤(Rn).
    [Show full text]
  • Integrable Systems (1834-1984)
    Integrable Systems (1834-1984) Da-jun Zhang, Shanghai University Da-jun Zhang • Integrable Systems • Discrete Integrable Systems (DIS) • Collaborators: Frank Nijhoff (Leeds), Jarmo Hietarinta (Turku) R. Quispel, P. van der Kamp (Melbourne) 6 lectures • A brief review of history of integrable systems and soliton theory (2hrs) • Lax pairs of Integrable systems (2hrs) • Integrability: Bilinear Approach (6hrs=2hr × 3) 2hrs for 3-soliton condition bilinear integralility 2hrs for Bäcklund transformations and vertex operators 2hrs for Wronskian technique • Discrete Integrable Systems: Cauchy matrix approach (2hrs) Integrable Systems • How does one determine if a system is integrable and how do you integrate it? …. categorically, that I believe there is no systematic answer to this question. Showing a system is integrable is always a matter of luck and intuition. • Viewpoint of Percy Deift on Integrable Systems Linearisable-resolve-clear dependence of parameters trigonometric, special, Pinleve functions • “Fifty Years of KdV: An Integrable System” Interaction of Integrable Methods • dynamical systems • probability theory and statistics • geometry • combinatorics • statistical mechanics • classical analysis • numerical analysis • representation theory • algebraic geometry • …… Solitons John Scott Russell (9 May 1808-8 June 1882) Education: Edinburgh, St. Andrews, Glasgow • August, 1834 • z Russell’s observation • A large solitary elevation, a rounded, smooth and well defined heap of water, which continued its course along the channel apparently without change of form or diminution of speed … Its height gradually diminished, and after a chase of one or two miles I lost it in the windings of the channel. Such, in the month of August 1834, was my first chance interview with that singular and beautiful phenomenon.
    [Show full text]
  • Primitive Solutions of the Korteweg–De Vries Equation
    Theoretical and Mathematical Physics, 202(3): 334–343 (2020) PRIMITIVE SOLUTIONS OF THE KORTEWEG–DE VRIES EQUATION S. A. Dyachenko,∗ P. Nabelek, † D. V. Zakharov,‡ andV.E.Zakharov§ We survey recent results connected with constructing a new family of solutions of the Korteweg–de Vries equation, which we call primitive solutions. These solutions are constructed as limits of rapidly vanishing solutions of the Korteweg–de Vries equation as the number of solitons tends to infinity. A primitive solution is determined nonuniquely by a pair of positive functions on an interval on the imaginary axis and a function on the real axis determining the reflection coefficient. We show that elliptic one-gap solutions and, more generally, periodic finite-gap solutions are special cases of reflectionless primitive solutions. Keywords: integrable system, Korteweg–de Vries equation, primitive solution DOI: 10.1134/S0040577920030058 1. Introduction The Korteweg–de Vries (KdV) equation ut(x, t)=6u(x, t)ux(x, t) uxxx(x, t)(1) − plays a fundamental role in the modern theory of integrable systems and is the prototypical example of an infinite-dimensional integrable system. The KdV equation is the first equation of an infinite sequence of commuting equations called the KdV hierarchy. The auxiliary linear operator for the KdV hierarchy is the one-dimensional Schr¨odinger operator on the real axis ψ′′ + u(x)ψ = Eψ, <x< . (2) − −∞ ∞ ∗Department of Mathematics, University of Washington, Seattle, Washington, USA, e-mail: urrfi[email protected]. †Department of Mathematics, Oregon State University, Corvallis, Oregon, USA, e-mail: [email protected]. ‡Department of Mathematics, Central Michigan University, Mount Pleasant, Michigan, USA, e-mail: [email protected].
    [Show full text]
  • Integrable Couplings of the Kaup-Newell Soliton Hierarchy Mengshu Zhang University of South Florida, [email protected]
    University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School January 2012 Integrable Couplings of the Kaup-Newell Soliton Hierarchy Mengshu Zhang University of South Florida, [email protected] Follow this and additional works at: http://scholarcommons.usf.edu/etd Part of the American Studies Commons, and the Mathematics Commons Scholar Commons Citation Zhang, Mengshu, "Integrable Couplings of the Kaup-Newell Soliton Hierarchy" (2012). Graduate Theses and Dissertations. http://scholarcommons.usf.edu/etd/4267 This Thesis is brought to you for free and open access by the Graduate School at Scholar Commons. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Scholar Commons. For more information, please contact [email protected]. Integrable Couplings of the Kaup-Newell Soliton Hierarchy by Mengshu Zhang A thesis submitted in partial fulfillment of the requirements for the degree of Master of Arts Department of Mathematics & Statistics College of Arts and Sciences University of South Florida Major Professor: Wen-Xiu Ma, Ph.D. Arthur Danielyan, Ph.D. Sherwin Kouchekian, Ph.D. Date of Approval: June 08, 2012 Keywords: Lax pairs, Zero curvature representation, Enlarged systems, Recursion operator, Infinitely many symmetries Copyright © 2012, Mengshu Zhang Acknowledgments First and foremost, I would like to offer my sincerest gratitude to my advisor, Dr. Wen-Xiu Ma, who has helped me enormously during my study these two years, and has given much guidance with his patience and knowledge throughout my thesis writing, I would never have been able to complete my thesis without his help. And many thanks to my committee members: Dr.
    [Show full text]
  • Liouville Integrability of Conservative Peakons for a Modified CH
    Liouville integrability of conservative peakons for a modified CH equation* Xiangke Chang † Jacek Szmigielski ‡ Abstract The modified Camassa-Holm equation (also called FORQ) is one of numer- ous cousins of the Camassa-Holm equation possessing non-smoth solitons ( peakons) as special solutions. The peakon sector of solutions is not uniquely defined: in one peakon sector (dissapative) the Sobolev H1 norm is not pre- served, in the other sector (conservative), introduced in [2], the time evolution of peakons leaves the H1 norm invariant. In this Letter, it is shown that the conservative peakon equations of the modified Camassa-Holm can be given an appropriate Poisson structure relative to which the equations are Hamiltonian and, in fact, Liouville integrable. The latter is proved directly by exploiting the inverse spectral techniques, especially asymptotic analysis of solutions, devel- oped elsewhere [3]. 1 Introduction The partial differential equation with cubic nonlinearity m (u2 u2)m) 0, m u u , (1.1) t + − x x = = − xx ¡ ¢ is a modification of the Camassa-Holm equation (CH) [1] m um 2u m 0, m u u , (1.2) t + x + x = = − xx for the shallow water waves. The history of (1.1) is slightly convoluted: it appeared in the papers of Fokas [7], Fuchssteiner [8], Olver and Rosenau[15] and was, later, redis- covered by Qiao [16, 17]. Both equations have non-smooth solitons (called peakons) as solutions. In our recent Letter [2] we pointed out that (1.1) has in fact two mean- arXiv:1707.04989v1 [nlin.SI] 17 Jul 2017 ingful types of peakon solutions: one type of peakon flows, based on the concept of weak solutions to conservation laws, proposed in [9], does not preserve the H 1 norm u 1 , the other type put forward in [2] does.
    [Show full text]