6.5 The Toda Equations 255The derivative ofAnwith respect tox, as obtained by differentiating the
rows, consists of the sum ofndeterminants, only one of which is nonzero.
That determinant is a cofactor ofAn+1:
Dx(An)=−A(n+1)
n,n+1.
Differentiating the columns with respect toyand then the rows with respect
tox,
Dy(An)=−A(n+1)
n+1,n,DxDy(An)=A(n+1)
nn. (6.5.7)
Denote the determinant in (6.5.6) byE. Then, applying the Jacobi identity
(Section 3.6) toAn+1,
E=
∣
∣
∣
∣
∣
A
(n+1)
nn −A(n+1)
n,n+1−A
(n+1)
n+1,n A(n+1)
n+1,n+1∣
∣
∣
∣
∣
=An+1A(n+1)
n,n+1;n,n+1which simplifies to the right side of (6.5.6).
It follows as a corollary that the equationD
2
(logun)=un+1un− 1u^2
n,D=
ddx,
is satisfied by the Hankel–Wronskian
un=An=|Di+j− 2
(f)|n,where the functionf=f(x) is arbitrary.
Theorem 6.4. The equation
1
ρDρ[
ρDρ(logun)]
=
un+1un− 1u
2
n,Dρ=ddρ,
is satisfied by the function
un=An=e−n(n−1)x
Bn, (6.5.8)where
Bn=∣
∣
(ρDρ)i+j− 2
f(ρ)∣
∣
n,f(ρ)arbitrary.Proof. Putρ=e
x
. Then,ρDρ=Dxand the equation becomes
D
2
x(logAn)=ρ2
An+1An− 1A^2
n. (6.5.9)
Applying (6.5.8) to transform this equation fromAntoBn,
D
2
x(logBn)=D2
x(logAn)=
ρ2
Bn+1Bn− 1B
2
ne−[(n+1)n+(n−1)(n−2)− 2 n(n−1)]x