Professional Documents
Culture Documents
Nonlinear Systems and Their Remarkable Mathematical Structures Volume 1 1St Edition Norbert Euler Online Ebook Texxtbook Full Chapter PDF
Nonlinear Systems and Their Remarkable Mathematical Structures Volume 1 1St Edition Norbert Euler Online Ebook Texxtbook Full Chapter PDF
https://ebookmeta.com/product/nonlinear-wave-and-plasma-
structures-in-the-auroral-and-subauroral-geospace-1st-edition-
evgeny-mishin/
https://ebookmeta.com/product/ball-redbook-greenhouse-structures-
equipment-and-technology-volume-1-19th-edition-chris-beytes/
https://ebookmeta.com/product/statistical-and-nonlinear-physics-
a-volume-in-the-encyclopedia-of-complexity-and-systems-
science-2nd-edition-robert-a-meyers/
Dynamical Systems and Nonlinear Waves in Plasmas 1st
Edition Santo Banerjee
https://ebookmeta.com/product/dynamical-systems-and-nonlinear-
waves-in-plasmas-1st-edition-santo-banerjee/
https://ebookmeta.com/product/american-studies-in-europe-
volume-1-their-history-and-present-organization-sigmund-skard/
https://ebookmeta.com/product/nonlinear-mechanics-of-complex-
structures-from-theory-to-engineering-applications-holm-
altenbach/
https://ebookmeta.com/product/introduction-to-the-mathematical-
physics-of-nonlinear-waves-2nd-edition-minoru-fujimoto/
https://ebookmeta.com/product/mathematical-feynman-path-
integrals-and-their-applications-second-edition-sonia-mazzucchi/
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
Edited by
Norbert Euler
i i
i i
i i
i i
Photo of acrylic painting titled “The Apollonius Problem” by Nora Euler (March 2017)
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been
made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity
of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright
holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this
form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may
rectify in any future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmitted, or utilized
in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying,
microfilming, and recording, or in any information storage or retrieval system, without written permission from the
publishers.
For permission to photocopy or use material electronically from this work, please access www.copyright.com
(http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers,
MA 01923, 978-750-8400. CCC is a not-for-profit organization that provides licenses and registration for a variety of
users. For organizations that have been granted a photocopy license by the CCC, a separate system of payment has been
arranged.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for
identification and explanation without intent to infringe.
Visit the Taylor & Francis Web site at
http://www.taylorandfrancis.com
and the CRC Press Web site at
http://www.crcpress.com
i i
i i
i i
i i
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xiii
The Authors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xv
F Calogero
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. The main idea and some key identities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3. Two examples of systems of nonlinearly-coupled ODEs solvable
by algebraic operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4. A differential algorithm to evaluate all the zeros of a generic
polynomial of arbitrary degree. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9
5. Extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
2. Transforms and Riemann-Hilbert problems . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3. The structure of integrable PDEs: Lax pair formulation . . . . . . . . . . . . . 24
4. An integral transform for nonlinear boundary value problems . . . . . . . . 26
5. Further considerations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2. Singularity confinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3. The full-deautonomisation approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4. Halburd’s exact calculation of the degree growth . . . . . . . . . . . . . . . . . . . . 57
5. Singularities and spaces of initial conditions . . . . . . . . . . . . . . . . . . . . . . . . . 64
i i
i i
i i
i i
vi Contents
J Hietarinta
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2. Basic set-up for lattice equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3. Symmetries and hierarchies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4. Lax pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5. Continuum limits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6. Discretizing a continuous equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7. Integrability test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
8. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
2. General properties of the Kahan-Hirota-Kimura discretization . . . . . . . 96
3. Novel observations and results. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .96
4. The general Clebsch flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5. The first Clebsch flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6. The Kirchhoff case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
7. Lagrange top . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
8. Concluding remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
O Bihun
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
2. Zeros of generalized hypergeometric polynomial with two
parameters and zeros of Jacobi polynomials . . . . . . . . . . . . . . . . . . . . . . . . 127
3. Zeros of generalized hypergeometric polynomials . . . . . . . . . . . . . . . . . . . 133
4. Zeros of generalized basic hypergeometric polynomials . . . . . . . . . . . . . . 136
5. Zeros of Wilson and Racah polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6. Zeros of Askey-Wilson and q-Racah polynomials . . . . . . . . . . . . . . . . . . . 147
i i
i i
i i
i i
Contents vii
R Conte, T W Ng and C F Wu
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
2. A simple pedagogical example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
3. Lessons from this pedagogical example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
4. Another characterization of elliptic solutions:
the subequation method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
5. An alternative to the Hermite decomposition . . . . . . . . . . . . . . . . . . . . . . . 172
6. The important case of amplitude equations . . . . . . . . . . . . . . . . . . . . . . . . . 173
7. Nondegenerate elliptic solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
8. Degenerate elliptic solutions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .180
9. Current challenges and open problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
2. Lax–Sato compatible systems of vector field equations . . . . . . . . . . . . . . 190
3. Heavenly equations: Lie-algebraic integrability scheme . . . . . . . . . . . . . 195
4. Integrable heavenly dispersionless equations: Examples . . . . . . . . . . . . . 199
5. Lie-algebraic structures and heavenly dispersionless systems . . . . . . . . 202
6. Linearization covering method and its applications . . . . . . . . . . . . . . . . . 207
7. Contact geometry linearization covering scheme . . . . . . . . . . . . . . . . . . . . 215
8. Integrable heavenly superflows: Their Lie-algebraic structure . . . . . . . 217
9. Integrability and the Lagrange–d’Alembert principle . . . . . . . . . . . . . . . 222
X B Hu
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
2. Bianchi theorem of permutability and superposition formula
of the KdV equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
3. Superposition formulae for a variety of soliton equations
with examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
i i
i i
i i
i i
viii Contents
C Schiebold
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257
2. An operator approach to integrable systems . . . . . . . . . . . . . . . . . . . . . . . . 259
3. The nc AKNS system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
4. Solution formulas for the AKNS system . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
5. Projection techniques revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
6. Matrix- and vector-AKNS systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
7. Reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
8. The finite-dimensional case. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
9. Solitons, strongly bound solitons (breathers), degeneracies . . . . . . . . . . 278
10. Multiple pole solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
11. Solitons of matrix- and vector-equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
C Valls
i i
i i
i i
i i
Contents ix
G Gaeta
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352
2. Normal forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
3. Normal forms and symmetry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
4. Michel theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358
5. Unfolding of normal forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
6. Normal forms in the presence of symmetry . . . . . . . . . . . . . . . . . . . . . . . . . 364
7. Normal forms and classical Lie groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
8. Finite normal forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368
9. Gradient property. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .369
10. Spontaneous linearization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
11. Discussion and conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
Appendix A: The normal forms construction . . . . . . . . . . . . . . . . . . . . . . . 373
Appendix B: Examples of unfolding . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
Appendix C: Hopf and Hamiltonian Hopf bifurcations . . . . . . . . . . . . . . 379
Appendix D: Symmetry and convergence for normal forms . . . . . . . . . 381
R Kozlov
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 408
2. Illustrating example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
i i
i i
i i
i i
x Contents
1. Foreword . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437
2. Stochastic behavior and symmetries of differential equations
- an introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
3. Statistics of the Navier-Stokes equations and its symmetries . . . . . . . . 444
4. Summary and outlook . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468
2. Differential operators of infinite order in mathematics
and physics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470
3. Mathematical theory for nonlocal equations . . . . . . . . . . . . . . . . . . . . . . . . 473
4. The operator f (∂t ) : Lp (R+ ) −→ H q (C+ ). . . . . . . . . . . . . . . . . . . . . . . . . . .478
5. The initial value problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
6. From the Laplace to the Borel transform . . . . . . . . . . . . . . . . . . . . . . . . . . . 488
7. Linear zeta-nonlocal field equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 492
8. Future work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 495
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 500
2. Preliminaries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .501
3. Governing equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
4. Geostrophy and the f - and β-plane approximations . . . . . . . . . . . . . . . . 503
5. Geostrophy in spherical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510
i i
i i
i i
i i
Contents xi
6. Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 516
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520
2. Lotka-Volterra equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 521
3. Rosenzweig-McArthur equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 523
4. Mathematical tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524
5. Systems with more predators. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .528
6. Modified standard system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537
1. Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 541
2. A rotating shallow water system. Ermakov-Ray-Reid reduction . . . . . 544
3. Hamiltonian Ermakov-Ray-Reid reduction in
magneto-gasdynamics. The pulsrodon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 548
4. Hamiltonian Ermakov-Ray-Reid systems. Parametrisation
and integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 553
5. Multi-component Ermakov systems. Genesis in N -layer
hydrodynamics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .555
6. Multi-component Ermakov and many-body system connections . . . . . 559
7. Multi-component Ermakov-Painlevé systems . . . . . . . . . . . . . . . . . . . . . . . 562
i i
i i
i i
i i
i i
i i
i i
i i
Preface
The aim of this book is to provide a comprehensive account of the state of the art on
the mathematical description of nonlinear systems. The book consists of 20 invited
contributions written by leading experts in different aspects of nonlinear systems
that include ordinary and partial differential equations, difference equations and
q-difference equations, discrete or lattice equations, non-commutative and matrix
equations, stochastic equations, as well as supersymmetric equations. The contents
is divided into four main parts, namely Part A: Integrable Systems, Part B: So-
lution Methods and Solution Structures, Part C: Symmetry Methods of Nonlinear
Systems, and Part D: Nonlinear Systems in Applications. Below we give a short
description of each contribution.
Part A consists of five contributions, numbered A1 to A5. In this part the au-
thors mainly address the fundamental question of how to detect integrable systems.
In A1 the author F Calogero describes a somewhat novel technique to identify non-
linear systems of differential equations solvable by algebraic operations. In A2 the
authors A S Fokas and B Pelloni give a comprehensive review of the so-called Fokas
Method to solve initial-boundary value problems applied to nonlinear partial differ-
ential equations on the half-line. In A3 the authors B Grammaticos, A Ramani, R
Willox and T Mase describe how to detect discrete integrability by the singularity
approach; the singularities of which arise for second order rational mappings. In A4
the author J Hietarinta provides an elementary introduction to discrete or lattice
soliton equations, where a multidimensional setting is discussed in some detail. In
the last contribution of this section, namely A5, the authors Yu B Suris and M Pe-
trera discuss new results of the Hahan-Hirota-Kimura discretizations and provide,
amongst other things, the integrals of motion.
Part B makes up the largest part of the book and consists of six contributions,
numbered B1 to B6. Here the authors describe different methods by which to ob-
tain explicit solutions of nonlinear systems and/or describe the solution structures
of the systems. In B1 the author O Bihun discusses a general method to construct
isospectral matrices that are defined in terms of the zeros of certain polynomials. It
is shown, amongst other things, how this leads to solvable nonlinear first-order ordi-
nary differential systems. In B2 the authors R Conte, T W Ng and C F Wu provide
a tutorial introduction to methods that were recently developed by the authors in
order to find all meromorphic particular solutions of nonintegrable, autonomous,
algebraic ordinary differential equations of any order. Some examples in physics
are given. In B3 the authors O E Hentosh , Ya A Prykarpatsky, D Blackmore and
A Prykarpatski give a review to the Buhl compatible vector field equation problem
by emphasizing its Pfeiffer and Lax–Sato type solutions. They furthermore ana-
lyze the related Lie-algebraic structures and integrability of the so-called heavenly
equations. An interesting related Lagrange–d’Alembert principle is also discussed
in this contribution, as well as other related aspects. In B4 the author X B Hu
is concerned with superposition formulae and Bianchi identities that are related
to bilinear Bäcklund transformations for nonlinear integrable equations in bilinear
xiii
i i
i i
i i
i i
xiv Preface
form. The author utilizes this to generate soliton solutions, rational solutions as
well as some other special solutions to some nonlinear integrable equations. Many
examples are provided. In B5 the author C Schiebold constructs m × n-matrix
valued solutions for the AKNS system. A complete asymptotic description is given
for multiple pole solutions, including wave packets of weakly bound breathers. The
collision of vector solitons is also studied. In B6 the author C Valls uses a new
method, recently introduced by A Gasull and H Giacomini, to characterize all trav-
eling wave solutions of the Generalized Korteweg-de-Vries-Burgers equation as well
as for the Kuramoto-Sivashinsky equation.
In Part C the authors concentrate on symmetry methods for nonlinear systems.
It consists of five contributions, numbered C1 to C5. In C1 the authors M Euler
and N Euler describe the multipotentialization process by which it is possible to
construct nonlocal invariance of certain nonlinear symmetry-integrable evolution
equations in 1 + 1 dimensions. A complete account of this process for the fifth-order
Kupershmidt equation and its hierarchies is given. In C2 the author G Gaeta dis-
cusses several aspects of the geometry of vector fields in (Poincaré-Dulac) normal
form. This relies substantially on Michel theory. The case, common in physics, of
systems enjoying an a priori symmetry is also discussed in some detail. In C3 the
authors A V Kiselev, A O Krutov and T Wolf provide an informal discussion of
the step-by-step computation of nonlocal recursions for symmetry algebras of non-
linear coupled boson-fermion N = 1 supersymmetric systems by using the SsTools
environment. In C4 the author R Kozlov discusses Lie point symmetries of Itô
stochastic differential equations, which correspond to Lie group transformations of
the independent variable (time) and dependent variables that preserve the differ-
ential form of the equations and the properties of Brownian motion. In C5 the
authors M Oberlack, M Waclawczyk and V Grebenev describe the so-called statis-
tical symmetries of turbulence and discuss their importance in understanding the
statistics of turbulence such as intermittency and non-gaussianity.
Part D provides some of the applications of nonlinear systems. This part con-
sists of four contributions, numbered D1 to D4. In D1 the authors A Chávez, H
Prado and E G Reyes review their work on integral transforms for ordinary differ-
ential equations of infinite order and apply the theory to equations defined with
the help of the Riemann zeta function which are of interest in modern theoretical
physics. In D2 the authors A Constantin and R S Johnson discuss the rôle of non-
linearity in geostrophic ocean flows on a sphere and point out some of its challenges.
In D3 the authors A V Osipov and G Söderbacka give a review of their results on
a class of systems of the type n predators - one prey. They also discuss, amongst
other things, the extinction and different simple and complicated coexistence of
the predators. In D4 the authors C Rogers and W K Schief discuss Ermakov-type
systems in nonlinear physics and continuum mechanics. They describe applications
in rotating shallow water theory, magnetogasdynamics, multi-layer hydrodynam-
ics and many-body theory. The authors also review their recent work on hybrid
Ermakov-Painlevé systems.
Norbert Euler (Luleå, 3 July 2018)
i i
i i
i i
i i
The Authors
11. Basil Grammaticos, Université Paris VII & XI, France [A3]
21. Tuen Wai Ng, The University of Hong Kong, China [B2]
i i
i i
i i
i i
29. Alfred Ramani, Université Paris VII & XI, France [A3]
i i
i i
i i
i i
Abstract
In this paper an overview is provided of an approach to identify systems
of nonlinearly-coupled Ordinary Differential Equations solvable by algebraic
operations— also including models interpretable as many-body problems with
Newtonian equations of motion (”accelerations equal forces”). This technique—
which was introduced several decades ago—has had an important evolution re-
cently. This development entails that the universe of solvable models thereby
generated is quite vast; it also includes dynamical systems which feature non-
trivially rather simple time evolutions, for instance isochronous or asymptot-
ically isochronous. In this paper this development is tersely described and
representative examples of the solvable models thereby obtained are exhibited
and tersely discussed. A differential algorithm to evaluate all the zeros of a
generic polynomial of arbitrary degree is also reported. Extensions of this ap-
proach to systems of nonlinearly-coupled Partial Differential Equations and to
evolutions in ”discrete time” are tersely mentioned.
1 Introduction
Four decades ago the idea was introduced to identify nonlinearly-coupled systems
of Ordinary Differential Equations (ODEs) amenable to exact treatments by in-
vestigating the motion of zeros and poles of special solutions of solvable partial
differential equations [1]. This idea led to many developments; see for instance the
relevant chapters in the two books [2] [3] and references therein. Recently a new
twist of this idea has emerged [4]; this breakthrough, and some of its developments
(see for instance [5] and the last section of the present paper), have vastly expanded
the identification of dynamical systems solvable by algebraic operations: see [6] and
references therein. In this paper we provide a terse overview of these findings.
N
X N
Y
pN (z; t) = z N + ym (t) z N −m =
[z − xn (t)] . (2.1)
m=1 n=1
1
i i
i i
i i
i i
2 F Calogero
where
X
σm (x̃) = (x`1 x`2 · · · x`m ) (2.2b)
1≤`1 <`2 ···`m ≤N
·
Likewise the t-derivative ẏm (t) can be explicitly expressed in terms of x̃ (t) and x̃ (t)
by t-differentiating these formulas.
On the other hand the zeros xn —while being uniquely determined, up to permu-
tations, whenever the N coefficients ym are themselves assigned—cannot be gener-
ally expressed in terms of the coefficients by explicit formulas, unless N ≤ 4. Never-
theless, for all values of N the fact that this transition from the N coefficients ym (t)
to the zeros xn (t) is an algebraic operation has important implications: for instance
if the time evolution of the N coefficients ym (t) is isochronous with period T —i. e.
ym (t+T ) = ym (t) for all (or almost all) assignments of initial data—then
clearly the
evolution of the corresponding zeros is also isochronous, xn t + T̃ = xn (t); albeit
with a period T̃ which is generally an integer multiple of the period T , T̃ = νT ,
with the integer ν in the range 1 ≤ ν ≤ νMax (N ) (for a clear discussion of this
question, including bounds and estimates of the maximal value νMax (N ), see [7]).
i i
i i
i i
i i
And analogous results obtain of course in the case of asymptotic isochrony (for this
notion see for instance [8]).
It is as well evident that if the time evolution of the N coefficients ym (t) is Hamil-
tonian, the time evolution of the N coefficients xn (t) is also Hamiltonian—although
it might not be possible to write explicitly the corresponding Hamiltonian nor the
canonical momenta conjugated to the canonical coordinates xn (t); and likewise if
the time evolution of the N coefficients ym (t) is Hamiltonian and integrable, the
corresponding time evolution of the N coefficients xn (t) is also Hamiltonian and
integrable.
The main idea to identify systems of N nonlinearly-coupled ODEs solvable by
algebraic operations is to consider solvable time evolutions of the N coefficients
ym (t) of a t-dependent polynomial and to then focus on the corresponding evolution
of the N zeros xn (t) of that polynomial (see (2.1)); by taking advantage of the fact
that the transition from the N zeros xn to the N coefficients ym of a polynomial
is given by explicit formulas, and the inverse transition from the N coefficients
ym to the N zeros xn of a polynomial by algebraic operations (see above). The
solvable character of the t-evolution of the N coefficients ym (t) might be simple
enough to yield an explicit solution, as would for instance be the case for a system
of N linear autonomous decoupled ODEs; or the solution might itself be achieved
by algebraic operations—such as, say, the evaluation of the N eigenvalues of an
explicitly known N ⊗ N matrix—as it would be the case for a system of N linearly-
coupled autonomous ODEs. Note that, even when the time evolution of the N
coefficients ym (t) is characterized by linear ODEs, the corresponding evolution of
the N zeros is generally quite nonlinear.
Clearly to implement this idea one needs to find an explicit way to transform
the evolution ODEs satisfied by the N coefficients ym (t) into the corresponding
ODEs satisfied by the N zeros xn (t) . Indeed, a simple way to do so provided
the foundation for the results reported in [1] and subsequently largely exploited to
identify and investigate algebraically solvable models characterized by nonlinearly-
coupled systems of ODEs; see for instance [2] [3] and references therein. But it was
restricted to the case in which the system of ODEs satisfied by the N coefficients
ym (t) had an essentially linear character.
Recently a—remarkably simple—way to bypass this important restriction was
noted [4]. It is provided by the following key identities:
h i
PN N −m
− m=1 ẏm (xn )
ẋn = QN (2.3a)
`=1,`6=n (xn − x` )
∂pN (z;t)
− ∂t z=xn
= QN , (2.3b)
`=1,`6=n (xn − x` )
i i
i i
i i
i i
4 F Calogero
h i
N
PN N −m
X
2ẋn ẋ`
m=1 ÿ m (xn )
ẍn = − QN (2.4a)
xn − x` `=1,`6=n (xn − x` )
`=1, `6=n
∂ 2 pN (z;t)
N
X 2ẋn ẋ` ∂t2 z=xn
= − QN . (2.4b)
xn − x` `=1,`6=n (xn − x` )
`=1, `6=n
Remark 2-1. The proofs of these 2 identities are so simple that we do not
feel the need to detail them here: they obtain by (partially) t-differentiating, once
respectively twice, the 2 expressions in the right-hand side of (2.1), and then setting
z = xn (t). Readers who like to see these proofs are referred to the literature [4] [5]
[6], where they will also find the generalization of these identities to t-differentiations
of higher order than 2.
And let us report here, for future reference, the following additional relations
obviously implied by (2.1):
N h i
ym (xn )N −m = − (xn )N .
X
(2.5)
m=1
Clearly these identities open the way to the explicit transformation of systems
of ODEs satisfied by the N coefficients ym (t) to systems of ODEs satisfied by the
N zeros xn (t). For instance, let the N coefficients ym (t) satisfy the system of
first-order ODEs
·
~y = f~ (~y ; t) , ẏm (t) = fm (~y (t) ; t) , (2.6a)
with N assigned functions fm (~y ; t) (the N components of the N -vector f~ (~y ; t)).
Then clearly the identity (2.3) implies that the N zeros xn (t) satisfy the following
system of ODEs:
−1
N N h i
fm (~y ; t) (xn )N −m .
Y X
ẋn = − (xn − x` ) (2.6b)
`=1, `6=n m=1
In this system (2.6b) of ODEs for the N dependent variables xn (t) the N compo-
nents ym (t) of the N -vector ~y (t) are of course supposed to be replaced by their
explicit expressions (2.2) in terms of the N zeros x` (t).
It is plain how the same procedure allows to transform a system of second-order
ODEs satisfied by the ym (t)’s into a system of second-order ODEs satisfied by the
xn (t)’s—via the identities (2.3) and (2.4), as well as (2.2) and (if need be) their
time-derivatives.
Let us conclude this section by spelling out—obvious as this might be—the solv-
able character via algebraic operations of a system of nonlinearly coupled ODEs
such as (2.6b). We assume of course that the input—in addition to this explicit sys-
tem of ODEs—is the assignment of the N initial data xn (0). The first step is then
i i
i i
i i
i i
to compute—via the explicit formulas (2.2) (at t = 0)—the explicit values of the N
initial values ym (0). The second step is to evaluate the quantities ym (t) by solving
the system of ODEs (2.6a), starting from the N values ym (0) evaluated in the first
step; note that we are assuming that this second step can be performed by algebraic
operations (or possibly even explicitly). The third step is to evaluate the N quan-
tities xn (t) by finding the N zeros of the polynomial, see (2.1), the N coefficients
ym (t) of which have been computed in the second step; note that this is indeed an
algebraic operation (which may be explicitly performed for N ≤ 4; although the
relevant formulas are complicated enough to be hardly useful for N > 2).
Remark 2-2. An important aspect of the procedure we just described needs
to be emphasized. Because in the last step the quantities xn (t) are identified as
the N zeros of a (known) t-dependent polynomial, see (2.1), they get defined as
an unordered set x̃ (t) of N (generally complex ) numbers. Hence the information
is lost of which one of these N numbers xn (t) is, say, the solution x1 (t) which has
evolved—generally continuously over time—from the specific initial datum x1 (0).
In certain cases, this might be irrelevant: for instance, if the quantities xn (t) are the
coordinates of N indistinguishable point particles moving in the complex plane (or,
equivalently, in the real Cartesian plane); then only the evolution of the unordered
set x̃ (t) is relevant. Otherwise the identification of each of the xn (t)’s as they evolve
over time can only be obtained by following their (generally continuous) evolution
over time; or, in a more practical context, by breaking up that evolution—from the
initial (t = 0) time to the actual time t—into subintervals: say, from τ` to τ`+1
with τ` < τ`+1 , τ1 = 0, τL = t, with appropriate assignments, of the integer L
and of the L positive numbers τ` , adequate to guarantee that the identification of
the quantities xn (t) obtain by an argument of contiguity (of xn (τ` ) to xn (τ`+1 )),
unambiguously approximating continuity.
Let us however emphasize that—in spite of the limitation described in this Re-
mark 2-2—certain general properties (say, isochrony or integrability; as discussed
above) of the dynamical systems identified via the technique described above—see
for instance (2.6b)—might be sufficient to single them out as interesting models,
worthy of study in theoretical or applicative contexts.
i i
i i
i i
i i
6 F Calogero
i i
i i
i i
i i
ym (t) = a(+)
m exp iλ (+)
m t + a (−)
m exp iλ (−)
m t ,
ẏm (0) − λ(∓) ym (0)
a(±)
m = (+) (−)
, λ(±) (±) (±)
m = iωm − αm . (3.13b)
λm − λm
−1
N N
X 2ẋn ẋ` Y
ẍn = − (xn − x` ) ·
xn − x`
`=1, `6=n `=1,`6=n
N
X hnh i
(+) (−) (+) (−)
· i ωm + ωm − αm + αm ẏm
m=1
h i o i
(+) (−)
+ ωm (+) (−)
ωm − αm (+) (−)
αm + i ωm (−) (+)
αm + ωm αm ym (xn )N −m (3.14)
.
(±) (±)
In these formulas ωm and αm are real parameters (analogous to those introduced
above without the additional upper decoration); and of course in the equations
of motion (3.14) the quantities ym (t) (respectively ẏm (t)) are supposed to be re-
placed by their expressions (2.2) (respectively their time-derivatives) in terms of the
dependent variables xn (t) (and their time derivatives).
Note that these equations can be interpreted as the Newtonian equations of
motions (”accelerations equal forces”) of N unit mass point-particles moving in the
complex x-plane (or equivalently in the real Cartesian plane with coordinates Re (x)
and Im (x)).
We leave to the interested reader the analysis—analogous to that reported in Sec-
tion 3.1—of the cases in which these dynamical systems are isochronous or asymp-
totically isochronous.
(±) (±)
Note that, in the special case in which the parameters ωm and αm are restricted
to satisfy the conditions
(+) (−) (+) (−)
ωm + ωm = Ω, αm + αm =α, (3.15a)
(+) (−) (+) (−) (+) (−) (−) (+)
αm αm − ωm ωm = A , αm ωm + α m ωm = B , (3.15b)
with Ω, α, A, B real parameters—independent of the parameter m—the equations
of motion (3.14) get, via the identities (2.4) and (2.5), drastically simplified, reading
−1
N N
X 2ẋn ẋ` Y
ẍn = + (iΩ − α) ẋn + (A − iB) (xn − x` ) (xn )N .
xn − x`
`=1, `6=n `=1,`6=n
i i
i i
i i
i i
8 F Calogero
(3.15c)
(+) (−) (+) (−)
In the even more special case with ωm = Ω, ωm = αm = αm = 0 implying
α = A = B = 0 these equations of motion simplify even more, reading
N
X 2ẋn ẋ`
ẍn = iΩẋn + ; (3.16)
xn − x`
`=1, `6=n
Note that this is equivalent to the statement that the N coordinates xn (t) are the
N zeros of the polynomial equation Q of degree N in z that obtains by multiplying
this formula by the polynomial N `=1 [z − x` (0)].
Remark 3.2-1. The system of Newtonian equations of motion (3.16) features
several remarkable properties: it is invariant under an arbitrary rescaling of the time
variable (t ⇒ at with a an arbitrary real constant), under an arbitrary translation
of the coordinates (xn (t) ⇒ xn (t) + b with b an arbitrary complex constant), and
under an arbitrary rescaling of the coordinates (xn (t) ⇒ c xn (t) with c an arbitrary
complex constant). Moreover—as indicated by the invariance just mentioned, with
the assignment c = exp (iθ)—these equations of motion (3.16) are invariant under
rotations in the complex x-plane, so that they can be reformulated in covariant 2-
vector form via the transition from the complex x-plane to the real Cartesian plane
that obtains by introducing the real 2-vectors ~rn (t) ≡ (Re [xn (t)] , Im [xn (t)]) ; it
is indeed easily seen that they then read as follows,
· · · · · ·
·· · N
X ~rn ~r` · ~rn` + ~r` ~rn · ~rn` − ~rn` ~rn · ~r`
~rn = Ω ẑ ∧ ~rn + 2
2
, (3.19)
`=1,`6=n
(rn` )
where ẑ denotes the unit-vector orthogonal to the Cartesian plane, the symbol ∧
denotes the standard (3-dimensional) vector-product (so that, if ~r is a 2-vector in
i i
i i
i i
i i
or, equivalently,
· · · · · ·
·· N
X ~rn ~r` · ~rn` + ~r` ~rn · ~rn` − ~rn` ~rn · ~r`
~rn = 2 . (3.20b)
`=1,`6=n
(r )2 n`
In this case, of course, its behavior is not isochronous; but it is also rather remark-
able. The interested reader will find a detailed treatment in the book [2], see in
particular its Subsection 4.2.4, the title of which provides a glimpse of its contents:
”The simplest model: explicit solution (the game of musical chairs), Hamiltonian
structure”.
i i
i i
i i
i i
10 F Calogero
The proof of this result is an elementary application of the two identities (2.3)
and (2.4) to the specific t-dependent polynomial
N
Y
pN (z; t) = (1 − t) [z − xn (0)] + t PN (z) , (4.25)
n=1
which clearly interpolates linearly from the polynomial featuring the N arbitrary
zeros xn (0) (at t = 0) to the polynomial PN (z) at t = 1. It is indeed an elementary
task to verify that the N zeros xn (t) of this polynomial pN (z; t) feature the following
properties: (i) they are evidently consistent with the (arbitrary) assignment xn (0)
at t = 0, and with the formula (4.24) at t = 1; (ii) the t-derivative of this polynomial
pN (z; t) , evaluated at t = 0, is consistent (via (2.3)) with the assignment (4.23);
(iii) the linear dependence on t of this polynomial pN (z; t) implies that its second
t-derivative vanishes identically, hence, via the identity (2.4b), that its zeros xn (t)
evolve in time according to the simple system of ODEs (4.22). Q. E. D.
Remark 4-1. The alert reader will have noted that the system of ODEs (4.22)
coincides with the simplest version of the goldfish model, see Remark 3.2-2.
i i
i i
i i
i i
5 Extensions
Various extensions of the approach described in this paper have been investigated:
(i) to the vistas opened by the possibility to iterate the procedure described above
(to identify algebraically solvable systems of nonlinearly-coupled ODEs via the tran-
sition from the time evolution of the N coefficients of a time-dependent polynomial
to that of its N zeros), and to thereby generate infinite hierarchies of such alge-
braically solvable systems [14]; (ii) to treat systems of PDEs rather than systems of
ODEs [15]; (iii) to evolutions in discrete time rather than continuous time [16]. All
these developments are reviewed in the book [6], where the interested reader will
also find additional references.
Finally, let us report—without detailing their (quite easy) proofs, see [17] and
[18]—some amusing twists (featuring a potential Diophantine connotation, see be-
low) of the findings reported in Section 4 and in [16].
Proposition 5-1. Consider the system of N nonlinearly coupled first-order
ODEs
N
Q N
Q
[xn (t) − xm (0)] − [xn (t) − fm ]
m=1 m=1
ẋn (t) = N
, (5.1a)
Q
[xn (t) − xm (t)]
m=1, m6=n
where the N initial (possibly complex ) values xn (0) of the dependent variables
xn (t) are assigned arbitrarily (but all different among themselves—xn (0) 6= xm (0)
if n 6= m—to avoid that the denominator in the right-hand side of (5.1a) vanish at
t = 0); and the N numbers fm are assigned arbitrarily.
Then the values xn (1) of the dependent variables xn (t) at t = 1 coincide—up
to permutations—with the N numbers fm ,
x̃ (1) = f˜ . (5.1b)
Proposition 5-2. Consider the system of N second-order discrete-time evolu-
tion equations (with the integers ` now playing the role of discrete time)
N
Y N
Y
2 [zn (` + 2) − zm (` + 1)] − [zn (` + 2) − zm (`)] = 0 ; (5.2a)
m=1 m=1
i i
i i
i i
i i
12 F Calogero
note that this formula provides the unordered set z̃ (` + 2), the elements of which
are the N values zn (` + 2), as the N zeros of the polynomial of degree N in z
defined in terms of the two unordered sets z̃ (`) and z̃ (` + 1) as follows:
N
Y N
Y
PN (z; z̃ (`) , z̃ (` + 1)) = 2 [z − zm (` + 1)] − [z − zm (`)] . (5.2b)
m=1 m=1
N N
Y (−1)N Y
[zn (1) − zm (0)] + [zn (1) − fm ] = 0 ; (5.3a)
L−1
m=1 m=1
(1)
hence these N data zn (1) are the N roots of the polynomial pN z; z̃ (0) , f˜; L , of
degree N in z, defined as follows in terms of the two unordered sets z̃ (0) and f˜:
N N
(1)
Y (−1)N Y
pN z; z̃ (0) , f˜; L = [z − zm (0)] + [z − fm ] . (5.3b)
L−1
m=1 m=1
z̃ (L) = f˜ . (5.4)
N
X N
Y
pN (z; t) = z N + [ym (t) PN −m (z)] = [z − xn (t)] , (5.5)
m=1 n=1
i i
i i
i i
i i
where the N monic polynomials PN −m (z), of degree N −m, are arbitrarily assigned.
It is then easily seen that identities analogous to (2.3) and (2.4) still hold, reading
− N
P
[ẏm PN −m (xn )]
ẋn = Qm=1
N
(5.6a)
`=1,`6=n (xn − x` )
∂pN (z;t)
− ∂t z=xn
= QN , (5.6b)
`=1,`6=n (xn − x` )
N PN
X 2ẋn ẋ` m=1 [ÿm PN −m (xn )]
ẍn = − N
(5.6c)
xn − x`
Q
`=1, `6=n `=1,`6=n (xn − x` )
∂ 2 pN (z;t)
N
X 2ẋn ẋ` ∂t2 z=xn
= − QN . (5.6d)
xn − x` `=1,`6=n (x n − x` )
`=1, `6=n
However the ansatz (5.5) does not generally entail simple explicit expressions—
such as (2.2)—of the N quantities ym in terms of the N quantities xn . Relatively
explicit expressions of the N quantities ym in terms of the N quantities xn can
of course be obtained if the polynomials PN −m (z) were part of an orthogonal set,
but the resulting treatment would still be somewhat more complicated; it would on
the other hand allow the identification and investigation of new models solvable by
algebraic operations, including examples featuring additional free parameters and
yielding interesting properties—such as isochrony—which might hardly be guessed
by just looking at their equations of motion.
References
[1] F. Calogero, Motion of Poles and Zeros of Special Solutions of Nonlinear
and Linear Partial Differential Equations, and Related ”Solvable” Many Body
Problems, Nuovo Cimento 43B, 177-241 (1978).
[3] F. Calogero, Isochronous systems, Oxford University Press, 2008 (264 pages); a
marginally updated paperback edition has been published by OUP in Septem-
ber 2012.
[4] F. Calogero, New solvable variants of the goldfish many-body problem, Studies
Appl. Math. 137 (1), 123-139 (2016); DOI: 10.1111/sapm.12096.
i i
i i
i i
i i
14 F Calogero
[11] F. Calogero, Novel differential algorithm to evaluate all the zeros of any
generic polynomial, J. Nonlinear Math. Phys. 24, 469-472 (2017). DOI:
10.1080/14029251.2017.1375685.
[13] F. Calogero, Zeros of entire functions and related systems of infinitely many
nonlinearly-coupled evolution equations, Theor. Math. Phys. 196 (2), 1111-
1128 (2018).
[14] O. Bihun and F. Calogero, Generations of monic polynomials such that the
coefficients of each polynomial of the next generation coincide with the zeros of
a polynomial of the current generation, and new solvable many-body problems,
Lett. Math. Phys. 106 (7), 1011-1031 (2016); DOI: 10.1007/s11005-016-0836-8.
arXiv: 1510.05017 [math-ph].
[17] F. Calogero, Finite and infinite systems of nonlinearly coupled ordinary differ-
ential equations the solutions of which feature remarkable Diophantine findings,
J. Nonlinear Math. Phys. 25, 434-442 (2018).
i i
i i
i i
i i
1 Introduction
The Inverse Scattering Transform, pioneered at the end of the 1960’s by Kruskal
et al. [50] and consolidated throughout the 1970’s by the work of many others
[5, 6, 55, 59], is considered one of the most important advances in the study of
nonlinear evolution PDEs. This transform can be used for analysing integrable
nonlinear evolution PDEs in one space dimension, and is essentially a nonlinear
version of the Fourier transform in one variable. It can be applied to systems with
the property that the nonlinearity is exactly balanced by other effects, such as
dispersive effects. This implies that, in many important respects, the behaviour
of the solutions of the system is highly regular. For example, when posed on the
infinite line, these systems admit localised solutions, referred to as solitons, that
interact elastically - the interaction does not affect the amplitude and speed of the
solutions. More importantly still, localised initial conditions with sufficient energy
will eventually evolve into a train of solitons, followed by a dispersive tail.
In addition to nonlinear evolution PDEs in one space variable, there exists a
variety of other types of integrable systems, including PDEs in two space variables
[39, 9], ODEs such as the classical Painlevé equations [49] and singular integral
nonlinear equations such as the Benjamin-Ono equation [41]. The defining property
of integrable systems is the existence of a Lax pair, namely the fact that the given
equation can be written as the compatibility of two linear eigenvalue equations
involving the eigenvalue λ ∈ C and the eigenfunction Ψ, which may be scalar or
matrix-valued. The eigenvalue λ is sometimes referred to as the spectral parameter;
in analogy with the Fourier transform, λ plays the role of the independent variable
in Fourier space.
i i
i i
i i
i i
proposed by Fokas and extensively developed by the authors and others, has pro-
duced a substantial body of results and, unexpectedly, has led to a new perspective
and results on the theory of boundary value problems also for linear PDEs in two
independent variables. For an introduction to this theory and a summary of the
main results, see [30] (see also [19] for a review of linear boundary value problems
and [38] for recent applications and advances).
The Unified Transform has its origin in two fundamental observations. These
observations, seemingly pertaining to separate fields, yield the formulation in terms
of a Riemann-Hilbert problem, namely to the problem of reconstructing a function
of a complex variable λ, analytic everywhere off a given contour, from its known
jump condition across the contour (a clear, non-technical review of Riemann-Hilbert
problems in this context can be found in [52]. Riemann-Hilbert problems appear in
a disparate variety of problems in mathematics and mathematical physics [21].
The two observations are the following:
2. Integral transforms such as the Fourier transform can be derived via the spec-
tral analysis of an ODE in the complex plane [32].
The origin of the Fokas Method is the realisation that the existence of a Lax
pair makes it possible to solve both ODEs of this pair simultaneously. Just as the
analysis of a single ODE yields a transform associated with one given independent
variable, this simultaneous analysis yields a transform associated with both inde-
pendent variables. Moreover, since this transform is associated with the particular
Lax pair, it is also custom-made for the given PDE. Combining this idea with the
two observations above, it is possible to construct algorithmically a formal integral
representation of the solution of a given boundary value problem for an integrable
PDE - this construction is the basis of the Unified Transform approach. It is im-
portant to note that this representation generally involves contours in the complex
plane. Actually, for the solution of a linear PDE, the solution representation takes
the form of an integral along such a complex contour.
The representation derived in this way has explicit dependence on the indepen-
dent variables of the PDE, hence it is straightforward to show that it indeed provides
a solution of the PDE. For evolution problems, one verifies easily that at t = 0 the
solution representation satisfies the given initial condition.
However, this representation involves all the boundary values of the solution,
while in general some of the boundary values cannot be prescribed independently
as boundary conditions, and are therefore unknown. Indeed, the main difficulty
in the Fokas Method is the elimination of the unknown boundary values from the
representation.
However, already at this point, a significant advantage of the unified transform
becomes clear: since it involves explicit dependence on the independent variables of
i i
i i
i i
i i
the problem, asymptotic and qualitative information on the solution can be derived
directly, even before the contribution of the unknown boundary values is eliminated.
where I denotes a finite or infinite interval in R, the given initial condition q0 (x) is
assumed sufficiently smooth and decaying if I is infinite, and T is a given positive
constant.
When I = R, hence the PDE is posed on the full line, assuming sufficiently rapid
decay of the solution as x → ±∞, one obtains a Cauchy initial value problem for
(1.1). The standard approach for solving this problem involves taking the Fourier
transform of this equation to obtain a first order ODE that can be solved explicitly:
FT ∂ q̂(λ, t)
qt + ∂x3 q = 0 PDE → ODE + (iλ)3 q̂(λ, t) = 0, (1.2)
∂t
where
Z∞
q̂(λ, t) = e−iλx q(x, t)dx.
−∞
Consider now the case that I = [0, ∞), assuming that the solution decays as
x → ∞, and that the boundary condition q(0, t) = f0 (t) is prescribed. Following
the same steps as for I = R, namely taking the Fourier transform of q(x, t) on the
half line, solving the resulting ODE, which now contains three boundary values at
x = 0, and evaluating the inverse transform of the result, one finds the following
integral representation of the solution of (1.1) on the half-line:
Z∞
∞
Z
1 3
q(x, t) = eiλx+iλ t e−iλy q0 (y)dy dλ + (1.3)
2π
−∞ 0
Z∞
t
Z
1 3 3
eiλx+iλ t e−iλ s qxx (0, s) + iλqx (0, s) − λ2 f0 (s) ds dλ.
+
2π
−∞ 0
The first term in this representation is the contribution of the initial condition. This
would have been the only term present when solving the Cauchy value problem for
i i
i i
i i
i i
decaying data, with the integration in y extending over R. In this term, the x and
t dependence is explicit through the exponential term.
The second term involves the boundary values of the solution at x = 0, but two
of the boundary values involved in the integrand are not directly available. This is
the generic case: to guarantee that the boundary value problem admits a unique
solution, only one condition can be prescribed at this boundary, and therefore in
general two boundary values are unknown [36, 37].
This difficulty can be overcome for certain PDEs of second order in x by using
the sine or cosine transform. However, this is not possible for PDEs involving
third order derivatives. In addition, even using the sine or cosine transform, the t-
dependence of the resulting expression is not explicit, as t appears in the integration
interval as well as in the exponential part of the integrand. Last but not least, the
integral expressions derived by using the sine or cosine transform are not uniformly
convergent when x → 0. For example, in the case of the heat equation with q(0, t) =
f0 (t), the sine transform yields
Z∞
∞
ZT
Z
2 2 2
q(x, t) = sin(λx)e−λ t sin(λy)q0 (y)dy − eλ s f0 (s)ds dλ. (1.4)
π
0 0 0
Letting x = 0 in the above expression and assuming that we can take the limit x → 0
inside the integral, we find that q(0, t) = 0, not q(0, t) = f0 (t). Thus we cannot
take the limit x → 0 inside the integral, i.e. the above integral is not uniformly
convergent.
For the case of equation (1.1), where there does not exist a classical transform,
the Unified Transform yields the following representation for the solution of the
problem with q(0, t) = f0 (t) as the prescribed boundary condition:
Z∞
∞
Z
1 3
q(x, t) = eiλx+iλ t e−iλy q0 (y)dy dλ + (1.5)
2π
−∞ 0
T
Z Z
1 3 3
eiλx+iλ t e−iλ s qxx (0, s) + iλqx (0, s) − λ2 f0 (s) ds dλ,
+
2π
∂D+ 0
i i
i i
i i
i i
λ-plane
A
A Re(iλ3 τ ) > 0
A
Re(iλ3 τ ) <0 A
A
Re(iλ3 τ ) < 0
A D+
A
A
A
A π
A 3
A R
(τ > 0)
with
Z∞ ZT
−iλy − 3
qˆ0 (λ) = e q0 (y)dy, λ∈C , f˜0 (λ) = e−iλ s f (s)ds, θ = e2πi/3 . (1.7)
0 0
In this linear example, the expression (1.5) can also be derived without using a Lax
pair formulation: it can be obtained from (1.3) by simply considering analyticity
properties with respect to the variable λ, extended from R to C, and deforming the
contour of integration. However, this deformation is not possible in the nonlinear
case. The general methodology to obtain the representation (1.5) is based instead
on using the Lax pair formulation and on deriving a Riemann-Hilbert problem. This
general approach can indeed be extended to the case of nonlinear integrable evolu-
tion equations in one space variable, e.g. to the famous KdV or mKdV equation,
posed on the domain 0 < x < ∞, 0 < t < T :
However, in this case, the elimination of the unknown boundary values can be
carried out as effectively as in the linear case only for special boundary conditions,
called linearisable [27, 29]. For general boundary conditions, the characterisation of
the unknown boundary values is more complicated [42, 43].
i i
i i
i i
i i
In this article, we present a summary of the main results obtained by this ap-
proach for boundary value problems on the half-line, unifying the treatment of linear
and integrable nonlinear PDEs in two independent variables. Our aim is to review
the main ideas and tools needed to carry out this programme successfully, and dis-
cuss its limitations, avoiding detailed proofs. For the details, the reader can refer
to the papers cited throughout.
We will not include in the treatment of the nonlinear case any consideration
of isolated singularities in the spectral variable λ, although soliton solutions arise
precisely from these singularities. This mechanism is well understood and it is not
specific to the treatment of boundary value problems, which is the focus of this
paper [1, 4].
We note that problems periodic in x have been analysed with algebro-geometric
techniques [12, 23, 54]. However, these techniques can be used only to construct
particular solutions, namely x-periodic versions of soliton solutions. Although it
has been established a long time ago that such problems are linearisable [48], the
implementation of the unified transform to this class of problems remains open.
Z∞
µ− (x, λ) = − eiλ(x−y) q(y)dy bounded for Im(λ) ≤ 0.
x
In addition, the functions µ± have the following properties (see Figure 2):
• µ± is analytic in C±
• µ± = O λ1 as λ → ∞ in C± ,
i i
i i
i i
i i
where
Z∞
q̂(λ) = e−iλy q(y)dy, λ ∈ R. (2.3)
−∞
C+
(λ plane) µ+
µ−
C−
Figure 2. A Riemann-Hilbert problem on the real line
Hence, given q(x), the transform q̂(λ) is obtained as the jump of the sectionally
analytic solution µ such that µ = µ+ for λ ∈ C+ and µ = µ− for λ ∈ C− .
Conversely, suppose q̂(λ) is given. Then the data above determine uniquely a
scalar Riemann-Hilbert problem for µ, with jump on the real line given by the right
hand side of (2.2). This Riemann-Hilbert problem can be solved explicitly by the
so-called Plemelj formula [2]. This yields
Z∞ Z∞
1 [µ+ − µ− ] (x, ζ) 1 eiζx q̂(ζ)
µ(x, λ) = dζ = dζ. (2.4)
2πi ζ −λ 2πi ζ −λ
−∞ −∞
Hence using
q(x) = µx − iλµ,
one finds
Z∞
1
q(x) = eiζx q̂(ζ)dζ, x ∈ R. (2.5)
2π
−∞
In summary: the first order ODE (2.1) gives rise to the pair of equations (2.3)-
(2.5), i.e. it encodes the Fourier transform.
and that the expression (2.5) for q(x) in terms of q̂(λ) can also be derived starting
from the asymptotic information
iq(x)
µ± ∼ , |λ| → ∞ =⇒ q(x) = −i lim λµ(x, λ). (2.7)
λ λ→∞
i i
i i
i i
i i
These latter formulae have a direct analogue in the nonlinear case presented in
the next section. Indeed, the steps outlined here for the derivation of the Fourier
transform can be used to give a derivation of other linear and nonlinear integral
transforms, compute the associated inversion formula and prove rigorously its va-
lidity. This approach provides a new proof of the inversion formula for many classical
transforms such as Mellin, Abel and Radon transforms, as well as the first proof of
the inversion formula for the attenuated Radon transform, widely used in medical
imaging [31, 57].
i i
i i
i i
i i
For λ ∈ R, where both µ1 and µ2 are defined, these solutions are related by
µ1 (x, λ) = µ2 (xλ)e−ixλc
σ3
s(λ), λ ∈ R, (2.12)
By re-arranging the jump matrix s(λ) in (2.12), one finds that the two matrix-valued
(1) (2) (1) (2)
function M ± , defined as M − = (µ1 , µ2 ) and M + = (µ2 , µ1 ) and analytic in
±
C respectively, satisfy a jump condition across R of the form
i i
i i
i i
i i
From the expression for M (x, λ) one must derive an expression for q(x) and
thus formulate the associated inverse transform. Recall that, in the linear case,
µ ∼ iq/λ as λ → ∞. Similarly, from the expression for M (x, λ), one can determine
the arbitrary function q by computing the λ asymptotic of the (1, 2) element of the
matrix M (x, λ), as done in (2.7), and obtain
q(x) = 2i lim (λM12 (x, λ)).
|λ|→∞
The above procedure gives rise to a nonlinear version of the Fourier transform,
known as the Inverse Scattering Transform (IST). The jump matrix J(λ) is the
analogue of the direct Fourier transform. Indeed, the direct and inverse transform
diagram can be summarised as follows:
Direct transform - obtain J(λ) from q(x) via solving an ODE for M (x, t, λ):
0 q(x)
q −→ Q = −→
±q̄(x) 0
−→ M : Mx + iλ[σ3 , M ] = QM −→ eiλxc
σ3
J = (M + )−1 M − .
Inverse transform - obtain q(x) from J(λ) via solving a Riemann-Hilbert prob-
lem for M (x, t, λ):
+ iλxc
σ3 − 1
J −→ M : M =e JM , x ∈ R, M = I + O −→ q = 2i lim (λM12 ).
λ λ→∞
i i
i i
i i
i i
mKdV
There is no general methodology for finding a Lax pair associated with a given
nonlinear PDE, although the dressing method of Shabat and Zakharov can be used
to derive an integrable PDE by starting from a Lax pair for a given linear PDE
[30, 59].
3.1 The solution of the Cauchy problem on the line using the In-
verse Scattering Transform
The Lax pair formulation of the NLS equation is given explicitly by
Mx + iλ[σ3 , M ] = QM
λ ∈ C, (3.4)
Mt + 2iλ2 [σ3 , M ] = (2λQ − iQx σ3 − iν|q|2 σ3 )M
where M = M (x, t, λ), implies that q(x, t) solves the PDE (3.2) if and only if for
all λ ∈ C there exists an invertible matrix-valued function M (x, t, λ) solving (3.4).
The NLS is obtained by imposing the compatibility condition Mxt = Mtx .
The first ODE in this pair is precisely the ODE associated with the nonlinear
Fourier transform derived earlier, where now q(x, t) replaces q(x). The second
part of the Lax pair is used to determine the time evolution of J(λ, t), which now
depends on t. Given q(x, 0) = q0 (x) ∈ S(R), one constructs M (x, 0, λ) and then
2
J0 (λ) = J(λ, 0). The t-part of the Lax pair implies J(λ, t) = e−iλ tσ̂3 .
Conversely, given J(λ, t) the function q(x, t) can be represented in terms of the
elements of the matrix M (x, t, λ) as
where the function M (x, t, λ), sectionally analytic for λ ∈ C, is the solution of the
Riemann-Hilbert problem determined by
2 σ 1
M − = M + e(iλx−iλ t)c 3
J0 (λ), λ ∈ R, M =I +O as |λ| → ∞,
λ
i i
i i
i i
i i
and the spectral functions a(λ), b(λ) are defined by in terms of the given initial
condition q0 (x) as
M21 (x, 0, λ)
(b(λ), a(λ)) = lim (m(x, λ)1 , m(x, λ)2 ), m(x, λ) =
x→−∞ M22 (x, 0, λ)
(to simplify the exposition, here and in the sequel it is assumed that a(λ) has no
zeros).
The vector m(x, λ), as the second column vector of the solution of the first ODE
in the Lax pair at t = 0, satisfies
1 0 0 q0 (x)
mx (x, λ) + 2iλ m(x, λ) = m(x, λ),
0 0 ±q¯0 0
0
lim m(x, λ) = .
x→∞ 1
The expressions above make it apparent that the spectral functions a(λ), b(λ) de-
pend only on the initial condition q0 (x), and that the time dependence only enters
(explicitly) through the exponential term.
Examples of such equations are the NLS, KdV and mKdV equations given by
(3.2), (1.8), (1.9) respectively, as well as many other important equations of math-
ematical physics. In analogy with the case of the full line in section 3.1, the role of
the Fourier transform of the initial condition q0 (x) is played by the spectral data
defined in terms of the initial information. These spectral data are the pair of
functions a(λ), b(λ) such that
b(λ) M21 (x, 0, λ)
= ,
a(λ) M22 (x, 0, λ)
where M (x, 0, λ) is the solution of the x part of the Lax pair, i.e. the first ODE
in (3.4), evaluated at t = 0. It is useful to express more transparently the relation
between q0 (x) and a(λ), b(λ): let
The function Ψ(x, λ) has symmetries inherited from the matrices Q, Q̃, so it is
enough to consider one of its columns. For example, the second column of Ψ(x, λ)
i i
i i
i i
i i
where M (0, t, λ) is the solution of the t part of the Lax pair, i.e. the second ODE in
(3.4), evaluated at x = 0. It is desirable to express the relation between boundary
values and these spectral functions, and to conform with the usual notation, set
i i
i i
i i
i i
conditions. Given q0 (x) ∈ S(R+ ) and a subset of set of the boundary values
{fk (t) = ∂kx q(0, t)}n−1
k=0 , the main problem becomes to show that the global relation
characterises the remaining unknown boundary values. This involves the analysis of
the global relation in the complex λ plane to determine a representation depending
only on the prescribed initial and boundary conditions.
As discussed below, this step is fully successful in the nonlinear case only for
certain special types of boundary conditions, called linearisable boundary condition.
For generic boundary conditions, the characterisation of the unknown boundary
values via the global relation is itself a nonlinear problem, and it reduces to solving
a nonlinear system of equations [29].
i i
i i
Another random document with
no related content on Scribd:
“‘God bless you, Mr. President!’ said the father, the only words
he had uttered; and the mother, making a low courtesy, fairly
sobbed: ‘O sir, we are so much obliged to you.’ ‘Yes, yes; all right;
and you will find that that will bring him,’ was spoken in tones so
kindly and tender, that they have often since thrilled my memory.”
XXXVII.
In the year 1855 or ’56, George B. Lincoln, Esq., of Brooklyn,
was travelling through the West in connection with a large New York
dry-goods establishment. He found himself one night in an
insignificant town on the Illinois River, by the name of Naples. The
only tavern of the place had evidently been constructed with
reference to business on the smallest possible scale. Poor as the
prospect seemed, Mr. Lincoln had no alternative but to put up at the
place. The supper-room was also used as a lodging-room. After a
tolerable supper and a comfortable hour before the fire, Mr. L. told
his host that he thought he would “go to bed.” “Bed!” echoed the
landlord; “there is no bed for you in this house, unless you sleep with
that man yonder. He has the only one we have to spare.” “Well,”
returned Mr. Lincoln, “the gentleman has possession, and perhaps
would not like a bedfellow.” Upon this, a grizzly head appeared out of
the pillows, and said, “What is your name?” “They call me Lincoln at
home,” was the reply. “Lincoln!” repeated the stranger; “any
connection of our Illinois Abraham?” “No,” replied Mr. L., “I fear not.”
“Well,” said the old man, “I will let any man by the name of ‘Lincoln’
sleep with me, just for the sake of the name. You have heard of
Abe?” he inquired. “Oh yes, very often,” replied Mr. Lincoln. “No man
could travel far in this State without hearing of him, and I would be
very glad to claim connection, if I could do so honestly.” “Well,” said
the old gentleman, “my name is Simmons. ‘Abe’ and I used to live
and work together when we were young men. Many a job of wood-
cutting and rail-splitting have I done up with him. Abe Lincoln,” said
he with emphasis, “was the likeliest boy in God’s world. He would
work all day as hard as any of us—and study by firelight in the log-
house half the night; and in this way he made himself a thorough
practical surveyor. Once, during those days, I was in the upper part
of the State, and I met General Ewing, whom President Jackson had
sent to the Northwest to make surveys. I told him about Abe Lincoln,
what a student he was, and that I wanted he should give him a job;
He looked over his memoranda, and, pulling out a paper, said:
‘There is —— county must be surveyed; if your friend can do the
work properly, I shall be glad to have him undertake it—the
compensation will be six hundred dollars!’ Pleased as I could be, I
hastened to Abe, after I got home, with an account of what I had
secured for him. He was sitting before the fire in the log-cabin when I
told him; and what do you think was his answer? When I finished, he
looked up very quietly, and said, ‘Mr. Simmons, I thank you very
sincerely for your kindness, but I don’t think I will undertake the job.’
‘In the name of wonder,’ said I, ‘why? Six hundred dollars does not
grow upon every bush out here in Illinois.’ ‘I know that,’ said Abe,
‘and I need the money bad enough, Simmons, as you know; but I
never have been under obligation to a Democratic administration,
and I never intend to be so long as I can get my living another way.
General Ewing must find another man to do his work.’”
I related this story to the President one day, and asked him if it
was true. “Pollard Simmons!” said he: “well do I remember him. It is
correct about our working together; but the old man must have
stretched the facts somewhat about the survey of the county. I think I
should have been very glad of the job at that time, no matter what
administration was in power.” Notwithstanding this, however, I am
inclined to believe Mr. Simmons was not far out of the way. His
statement seems very characteristic of what Abraham Lincoln may
be supposed to have been at twenty-three or twenty-five years of
age.
Mr. G. B. Lincoln also told me of an amusing circumstance which
took place at Springfield soon after Mr. Lincoln’s nomination in 1860.
A hatter in Brooklyn secretly obtained the size of the future
President’s head, and made for him a very elegant hat, which he
sent by his townsman, Lincoln, to Springfield. About the time it was
presented, various other testimonials of a similar character had
come in from different sections. Mr. Lincoln took the hat, and after
admiring its texture and workmanship, put it on his head and walked
up to a looking-glass. Glancing from the reflection to Mrs. Lincoln, he
said, with his peculiar twinkle of the eye, “Well, wife, there is one
thing likely to come out of this scrape, any how. We are going to
have some new clothes!”
One afternoon during the summer of 1862, the President
accompanied several gentlemen to the Washington Navy-yard, to
witness some experiments with a newly-invented gun. Subsequently
the party went aboard of one of the steamers lying at the wharf. A
discussion was going on as to the merits of the invention, in the
midst of which Mr. Lincoln caught sight of some axes hanging up
outside of the cabin. Leaving the group, he quietly went forward, and
taking one down, returned with it, and said: “Gentlemen, you may
talk about your ‘Raphael repeaters’ and ‘eleven-inch Dahlgrens;’ but
here is an institution which I guess I understand better than either of
you.” With that he held the axe out at arm’s length by the end of the
handle, or “helve,” as the wood-cutters call it—a feat not another
person of the party could perform, though all made the attempt. In
such acts as this, showing that he neither forgot nor was ashamed of
his humble origin, the late President exhibited his true nobility of
character. He was a perfect illustration of his favorite poet’s words:—
Mr. Lincoln said: “Colonel, did you ever dream of a lost friend, and
feel that you were holding sweet communion with that friend, and yet
have a sad consciousness that it was not a reality?—just so I dream
of my boy Willie.” Overcome with emotion, he dropped his head on
the table, and sobbed aloud.
XXXIX.
William Wallace Lincoln, I never knew. He died Thursday,
February 20th, 1862, nearly two years before my intercourse with the
President commenced. He had just entered upon his twelfth year,
and has been described to me as of an unusually serious and
thoughtful disposition. His death was the most crushing affliction Mr.
Lincoln had ever been called upon to pass through.
After the funeral, the President resumed his official duties, but
mechanically, and with a terrible weight at his heart. The following
Thursday he gave way to his feelings, and shut himself from all
society. The second Thursday it was the same; he would see no
one, and seemed a prey to the deepest melancholy. About this time
the Rev. Francis Vinton, of Trinity Church, New York, had occasion to
spend a few days in Washington. An acquaintance of Mrs. Lincoln
and of her sister, Mrs. Edwards, of Springfield, he was requested by
them to come up and see the President. The setting apart of
Thursday for the indulgence of his grief had gone on for several
weeks, and Mrs. Lincoln began to be seriously alarmed for the health
of her husband, of which fact Dr. Vinton was apprised. Mr. Lincoln
received him in the parlor, and an opportunity was soon embraced
by the clergyman to chide him for showing so rebellious a disposition
to the decrees of Providence. He told him plainly that the indulgence
of such feelings, though natural, was sinful. It was unworthy one who
believed in the Christian religion. He had duties to the living, greater
than those of any other man, as the chosen father, and leader of the
people, and he was unfitting himself for his responsibilities by thus
giving way to his grief. To mourn the departed as lost belonged to
heathenism—not to Christianity. “Your son,” said Dr. Vinton, “is alive,
in Paradise. Do you remember that passage in the Gospels: ‘God is
not the God of the dead but of the living, for all live unto him’?” The
President had listened as one in a stupor, until his ear caught the
words, “Your son is alive.” Starting from the sofa, he exclaimed,
“Alive! alive! Surely you mock me.” “No, sir, believe me,” replied Dr.
Vinton; “it is a most comforting doctrine of the church, founded upon
the words of Christ himself.” Mr. Lincoln looked at him a moment,
and then, stepping forward, he threw his arm around the clergyman’s
neck, and, laying his head upon his breast, sobbed aloud. “Alive?
alive?” he repeated. “My dear sir,” said Dr. Vinton, greatly moved, as
he twined his own arm around the weeping father, “believe this, for it
is God’s most precious truth. Seek not your son among the dead; he
is not there; he lives to-day in Paradise! Think of the full import of the
words I have quoted. The Sadducees, when they questioned Jesus,
had no other conception than that Abraham, Isaac, and Jacob were
dead and buried. Mark the reply: ‘Now that the dead are raised, even
Moses showed at the bush when he called the Lord the God of
Abraham, the God of Isaac, and the God of Jacob. For he is not the
God of the dead, but of the living, for all live unto him!’ Did not the
aged patriarch mourn his sons as dead?—‘Joseph is not, and
Simeon is not, and ye will take Benjamin also.’ But Joseph and
Simeon were both living, though he believed it not. Indeed, Joseph
being taken from him, was the eventual means of the preservation of
the whole family. And so God has called your son into his upper
kingdom—a kingdom and an existence as real, more real, than your
own. It may be that he too, like Joseph, has gone, in God’s good
providence, to be the salvation of his father’s household. It is a part
of the Lord’s plan for the ultimate happiness of you and yours. Doubt
it not. I have a sermon,” continued Dr. Vinton, “upon this subject,
which I think might interest you.” Mr. Lincoln begged him to send it at
an early day—thanking him repeatedly for his cheering and hopeful
words. The sermon was sent, and read over and over by the
President, who caused a copy to be made for his own private use
before it was returned. Through a member of the family, I have been
informed that Mr. Lincoln’s views in relation to spiritual things
seemed changed from that hour. Certain it is, that thenceforth he
ceased the observance of the day of the week upon which his son
died, and gradually resumed his accustomed cheerfulness.
XL.
Among my visitors in the early part of May was the Hon. Mr.
Alley, of Massachusetts, who gave me a deeply interesting inside
glimpse of the Chicago Republican Convention in 1860. The popular
current had, at first, set very strongly in favor of Mr. Seward, who,
many supposed, would be nominated almost by acclamation. The
evening before the balloting the excitement was at the highest pitch.
Mr. Lincoln was telegraphed at Springfield, that his chances with the
Convention depended upon obtaining the votes of two delegations
which were named in the despatch; and that, to secure this support,
he must pledge himself, if elected, to give places in his Cabinet to
the respective heads of those delegations. A reply was immediately
returned over the wires, characteristic of the man. It was to this
effect:—