Professional Documents
Culture Documents
MATH5410 semiclassicalOPs
MATH5410 semiclassicalOPs
29
February 24, 2022 DRAFT
3.1.A. Exercise. Consider the first two polynomials in the sequence tPn u8 n“0
defined above. We have P0 pxq “ 1, since this is the only monic polynomial
of degree 0. Suppose P1 pxq “ x ` a0 .
(i) Show by using xP0 , P1 y “ 0 that a0 “ 0.
(ii) Express the squared norms h0 “ xP0 , P0 y, h1 “ xP1 , P1 y in terms of
moments.
The evenness of the weight function leads to the following lemma.
Lemma 3.1.2. For all n P N, the polynomials tPn u8
n“0 satisfy
Pn p´xq “ p´1qn Pn pxq. (3.3)
Proof. The proof is almost identical to the one for Hermite polynomials
(see Lemma 2.2.4) and we omit the details here. ⇤
As is the case for all orthogonal polynomials, we can show that tPn pxqu8
n“0
satisfy a 3-term recurrence relation.
3.1.3. Proposition. The polynomials tPn pxqu8
n“0 satisfy the 3-term recur-
rence relation
hn
xPn “ Pn`1 ` Pn´1 , (3.4)
hn´1
for all n P N.
Proof. Since x Pn is a polynomial of degree n ` 1, we can express it
as a linear combination of other polynomials in the sequence, up to degree
n ` 1. That is, we have
n
ÿ pnq
xPn pxq “ Pn`1 pxq ` aj Pj pxq. (3.5)
j“0
(Note that the coefficient of Pn`1 has to be unity because we are considering
monic polynomials.) Now, consider 0 § m § n ´ 2. Then multiplying the
above equation by Pm e´U on both sides and integrating over the real line
gives
n
ÿ pnq
xx Pn , Pm y “ xPn`1 , Pm y ` aj xPj , Pm y. (3.6)
j“0
The orthogonality condition (3.4) gives the left side as
xx Pn , Pm y “ 0,
since xx Pn , Pm y “ xPn , x Pm y, and, furthermore, the degree of xPm is m `
1 § n ´ 1. The term xPn`1 , Pm y on the right side of Equation (3.6) also
pnq
vanishes by orthogonality and so the right side becomes am hm . Therefore,
pnq
we have am “ 0 for all 0 § m § n ´ 2.
Therefore, Equation (3.5) becomes
xPn “ Pn`1 ` ↵n Pn ` n Pn´1 . (3.7)
Take the inner product of this equation with Pn . Then we get
xx Pn , Pn y “ xPn`1 , Pn y
` ↵n xPn , Pn y
` n xPn´1 , Pn y.
©Nalini Joshi 30
Special Topics in Applied Mathematics
We now use Equation (3.10) three times (for n, n`1 and n´1) to replace the
derivatives in this result. But this yields an equation containing Pn , Pn´1 ,
Pn´2 , Pn´3 , and Pn´4 . We replace xPn´1 and xPn´3 to obtain an equation
containing only Pn , Pn´2 , and Pn´4 . Since these are orthogonal polynomials,
their coefficients must vanish identically, and these lead to the following
equations arising from the coefficients of Pn , Pn´2 , and Pn´4 respectively:
An ` 1 ´ An`1 “ 0, (3.11a)
hn´1 hn
An ` Cn “ Cn`1 ` An´1 , (3.11b)
hn´2 hn´1
hn´3 hn
Cn ´ Cn´1 “ 0. (3.11c)
hn´4 hn´1
There are several ways of proving the following claim.
3.2.2. Claim. An “ n.
Proof. Equation (3.11a) is a linear first-order difference equation with
general solution
An “ n ` a 0 ,
where a0 is an arbitrary constant. Recall that we have
P0 “ 1, P1 “ x ` const,
for some constant in P1 . From Equation (3.10) with n “ 1 (using the con-
vention that the case of Pn with any negative index n is taken to be zero)
we get P11 “ A1 P0 , which implies A1 “ 1. Hence we have 1 ` a0 “ 1, which
yields a0 “ 0. This is the desired result. ⇤
3.2.3. Claim. Cn “ c0 n n´1 n´2 , where c0 is some arbitrary constant, and
n “ hn {hn´1 .
where n “ Cn hhn´3
n
.This equation is solved by n “ c0 , for an arbitrary
constant c0 . The desired result follows by observing that
hn hn hn´1 hn´2
“
hn´3 hn´1 hn´2 hn´3
“ n n´1 n´2 .
⇤
Note that we had 3 equations: Equations (3.11a), (3.11b), (3.11c), for
two unknown functions An and Cn . So there is one more equation left which
imposes a compatibility condition on these functions. This leads to the
following claim.
33 ©Nalini Joshi
February 24, 2022 DRAFT
©Nalini Joshi 34
Special Topics in Applied Mathematics
ª8
“4 P3 pP3 ` k2 P2 ` k1 P1 ` k0 qe´U dx,
´8
“ 4h3 .
Note that in the second last line, we expressed the cubic 4x3 ´ 2tx in terms
of a linear combination of P3 , . . ., P0 and then used orthogonality to get the
final line. Now using the fact that
h3
3 2 1 “ ,
h0
we get c0 h3 “ 4h3 , which gives the desired result. ⇤
3.2.B. Exercise. Show that c1 “ ´2t, where c1 is a constant appearing in
Equation (3.12). (You may find it useful to use the results on moments at
the beginning of this section.)
3.2.1. Continuum limits. The continuum limit of a difference equation
with a discrete independent variable n is a limiting case of the equation,
obtained by taking smaller and smaller spacing between successive steps of
the iteration.
35 ©Nalini Joshi
February 24, 2022 DRAFT
©Nalini Joshi 36
Special Topics in Applied Mathematics
where we have used the 3-term recurrence relation twice as well as orthogo-
nality relations following from the fact that 0 § m § n ´ 1. In other words,
we obtain #
pnq 0, if m “ n ´ 2
Bm “
´ n n´1 , if m “ n ´ 2.
This is the desired result. ⇤
Lemma 3.3.2. The rate of change of the squared norm hn with respect to t
is given by
hn t
“ n`1 ` n . (3.16)
hn
Proof. To prove this result, consider
ˆª 8 ˙
B 2 ´U
hn t “ Pn e dx .
Bt ´8
Using similar ideas to those in the previous proof, we find
h2n
hnt “ hn`1 ` ,
hn´1
which implies the desired result. ⇤
Corollary 3.3.3. The lemma above shows that
nt “ n p n`1 ´ n´1 q . (3.17)
Proof. The proof follows by using the relation n “ hn {hn´1 and ap-
plying the above lemma. ⇤
Equation (3.17) is called the Volterra lattice equation, because it is a
special case of the Lotka-Volterra systems which is a model of predator-prey
systems in biology.
3.3.A. Exercise. Separate odd and even iterates of Equations (3.13) or
(3.17) by defining the following variables:
#
uk , for n “ 2k,
n “
vk , for n “ 2k ` 1.
(i) Show that the Volterra lattice equation (3.17) becomes
# ` ˘
u9 k “ uk vk ´ vk´1 ,
` ˘ (3.18)
v9 k “ vk uk`1 ´ uk .
(ii) We can find exact solutions of this system by making the hypothesis:
fk e t
uk “ ,
↵`e t
gk
vk “ ,
↵`e t
for some functions fk , gk of k and constants ↵, . Find the difference
equations that fk and gk must satisfy for this to be a solution of
Equations (3.18).
(iii) Solve the equations for fk and gk you found in the previous question
and hence find explicit solutions of the Volterra lattice equation.
37 ©Nalini Joshi