– can be written as a Hamiltonian system
| 32.6.1 | ||||
|
ⓘ
| ||||
for suitable (non-autonomous) Hamiltonian functions .
The Hamiltonian for is
| 32.6.2 | |||
|
ⓘ
| |||
and so
| 32.6.3 | |||
|
ⓘ
| |||
| 32.6.4 | |||
|
ⓘ
| |||
Then satisfies . The function
| 32.6.5 | |||
|
ⓘ
| |||
defined by (32.6.2) satisfies
| 32.6.6 | |||
|
ⓘ
| |||
Conversely, if is a solution of (32.6.6), then
| 32.6.7 | |||
|
ⓘ
| |||
| 32.6.8 | |||
|
ⓘ
| |||
The Hamiltonian for is
| 32.6.9 | |||
|
ⓘ
| |||
and so
| 32.6.10 | |||
|
ⓘ
| |||
| 32.6.11 | |||
|
ⓘ
| |||
Then satisfies and satisfies
| 32.6.12 | |||
|
ⓘ
| |||
The function defined by (32.6.9) satisfies
| 32.6.13 | |||
|
ⓘ
| |||
Conversely, if is a solution of (32.6.13), then
| 32.6.14 | |||
|
ⓘ
| |||
| 32.6.15 | |||
|
ⓘ
| |||
The Hamiltonian for is
| 32.6.16 | |||
|
ⓘ
| |||
and so
| 32.6.17 | ||||
|
ⓘ
| ||||
| 32.6.18 | ||||
|
ⓘ
| ||||
Then satisfies with
| 32.6.19 | |||
|
ⓘ
| |||
The function
| 32.6.20 | |||
|
ⓘ
| |||
defined by (32.6.16) satisfies
| 32.6.21 | |||
|
ⓘ
| |||
Conversely, if is a solution of (32.6.21), then
| 32.6.22 | |||
|
ⓘ
| |||
| 32.6.23 | |||
|
ⓘ
| |||
The Hamiltonian for (§32.2(iii)) is
| 32.6.24 | |||
|
ⓘ
| |||
and so
| 32.6.25 | |||
|
ⓘ
| |||
| 32.6.26 | |||
|
ⓘ
| |||
Then satisfies with
| 32.6.27 | |||
|
ⓘ
| |||
The function
| 32.6.28 | |||
|
ⓘ
| |||
defined by (32.6.24) satisfies
| 32.6.29 | |||
|
ⓘ
| |||
Conversely, if is a solution of (32.6.29), then
| 32.6.30 | |||
|
ⓘ
| |||
| 32.6.31 | |||
|
ⓘ
| |||
The Hamiltonian for with is
| 32.6.32 | |||
|
ⓘ
| |||
and so
| 32.6.33 | |||
|
ⓘ
| |||
| 32.6.34 | |||
|
ⓘ
| |||
Then satisfies with
| 32.6.35 | |||
|
ⓘ
| |||
The function
| 32.6.36 | |||
|
ⓘ
| |||
defined by (32.6.32) satisfies
| 32.6.37 | |||
|
ⓘ
| |||
Conversely, if is a solution of (32.6.37), then
| 32.6.38 | |||
|
ⓘ
| |||
| 32.6.39 | |||
|
ⓘ
| |||
For Hamiltonian structure for see Jimbo and Miwa (1981), Okamoto (1986); also Forrester and Witte (2001).