158 4. Particular Determinants
Hn=|Si+j− 2 |n=λnxn(n+1)/ 2
,Jn=|Ai+j− 2 |n=λnxn(n−1)/ 2
,where
λn=[
1! 2! 3!···(n−1)!]2
.The following proofs differ from the originals in some respects.Proof. It is proved using a slightly different notation in Theorem 4.28
in Section 4.8.5 on Turanians that
EnGn−En+1Gn− 1 =F2
n,
which is equivalent to
En− 1 Gn− 1 −EnGn− 2 =F2
n− 1. (4.12.16)
Putx=e
t
in (4.12.5) so that
Dx=e−t
DtDt=xDx,Dx=∂
∂x,etc. (4.12.17)Also, put
θm(t)=ψm(et
)=
∞
∑r=1rm
ertθ′
m(t)=θm+1(t). (4.12.18)Define the column vectorCj(t) as follows:
Cj(t)=[
θj(t)θj+1(t)θj+2(t)...]T
so that
C
′
j
=Cj+1(t). (4.12.19)The number of elements inCjis equal to the order of the determinant of
which it is a part, that is,n,n−1, orn−2 in the present context.
LetQn(t, τ)=∣
∣C
0 (τ)C 1 (t)C 2 (t)···Cn− 1 (t)∣
∣
n, (4.12.20)
where the argument in the first column isτ and the argument in each of
the other columns ist. Then,
Qn(t, t)=En. (4.12.21)DifferentiateQnrepeatedly with respect toτ, apply (4.12.19), and put
τ=t.
D
r
τ
{Qn(t, t)}=0, 1 ≤r≤n− 1 , (4.12.22)