![Page 1: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/1.jpg)
Laguerre Functions and Differential Recursion Relations - p. 1/42
Generalized Laguerre Functionsand
Differential Recursion Relations
Mark DavidsonMathematics Department
Louisiana State Universtiy
collaborative work withGestur Olafsson
andGenkai Zhang
![Page 2: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/2.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 2/42
The Classical Case
![Page 3: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/3.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 3/42
Laguerre Polynomials
Rodrigues Formula
Lαn(x) =
exx−α
n!
dn
dxn(e−xxn+α)
![Page 4: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/4.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 3/42
Laguerre Polynomials
Rodrigues Formula
Lαn(x) =
exx−α
n!
dn
dxn(e−xxn+α)
Generating Function
(1 − w)−α−1 exp
(
xw
w − 1
)
=
∞∑
n=0
Lαn(x)wn,
where |w| < 1, α > −1
![Page 5: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/5.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 3/42
Laguerre Polynomials
Rodrigues Formula
Lαn(x) =
exx−α
n!
dn
dxn(e−xxn+α)
Generating Function
(1 − w)−α−1 exp
(
xw
w − 1
)
=
∞∑
n=0
Lαn(x)wn,
where |w| < 1, α > −1
Expansion Formula
Lαn(x) =
1
n!
n∑
k=0
Γ(n+ α+ 1)
Γ(k + α+ 1)
(
n
k
)
(−x)k
=Γ(n+ α+ 1)
Γ(n+ 1)1F1(−n, α+ 1;x)
![Page 6: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/6.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 4/42
Lα0 (x) = 1
Lα1 (x) = −x+ α+ 1
Lα2 (x) = 1
2 (x2 − 2(α+ 2)x+ (α+ 1)(α+ 2))
The family of Laguerre polynomials is orthogonal asfunctions on R
+ with respect to the inner product
(f |g) =
∫ ∞
0
f(x)g(x)xαe−xdx.
![Page 7: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/7.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 5/42
Differential Recursion Relations
The following are well known recursion relations.
(tD2 + (α− t+ 1)D)Lαn(t) = −nLα
n(t), (Laguerre’s equation)
![Page 8: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/8.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 5/42
Differential Recursion Relations
The following are well known recursion relations.
(tD2 + (α− t+ 1)D)Lαn(t) = −nLα
n(t), (Laguerre’s equation)
tDLαn(t) = nLα
n(t) − (n+ α)Lαn−1(t),
![Page 9: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/9.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 5/42
Differential Recursion Relations
The following are well known recursion relations.
(tD2 + (α− t+ 1)D)Lαn(t) = −nLα
n(t), (Laguerre’s equation)
tDLαn(t) = nLα
n(t) − (n+ α)Lαn−1(t),
tDLαn(t) = (n+ 1)Lα
n+1(t) − (n+ α+ 1 − t)Lαn(t).
![Page 10: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/10.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 5/42
Differential Recursion Relations
The following are well known recursion relations.
(tD2 + (α− t+ 1)D)Lαn(t) = −nLα
n(t), (Laguerre’s equation)
tDLαn(t) = nLα
n(t) − (n+ α)Lαn−1(t),
tDLαn(t) = (n+ 1)Lα
n+1(t) − (n+ α+ 1 − t)Lαn(t).
These kinds of equations are reminiscent of creation andannihilation operators that arise in physics and are codifiedin representation theory.
![Page 11: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/11.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 5/42
Differential Recursion Relations
The following are well known recursion relations.
(tD2 + (α− t+ 1)D)Lαn(t) = −nLα
n(t), (Laguerre’s equation)
tDLαn(t) = nLα
n(t) − (n+ α)Lαn−1(t),
tDLαn(t) = (n+ 1)Lα
n+1(t) − (n+ α+ 1 − t)Lαn(t).
These kinds of equations are reminiscent of creation andannihilation operators that arise in physics and are codifiedin representation theory.
In fact, such formulas are seen in a familiar family ofrepresentations of SU(1, 1) and SL(2,R) called highestweight representation .
![Page 12: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/12.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 6/42
The group SL(2, R)
G = SL(2,R) and GC = SL(2,C)
T (R+) = R + iR+ = z ∈ C | Im(z) > 0
Let g =
(
a b
c d
)
∈ G and z ∈ T (R+). Let
g · z =az + b
cz + d
This defines a transitive action of G on the upper half planeT (R+). If K is the fixed point group for i:
K = g ∈ G : g · i = i then K =
(
cos θ sin θ
− sin θ cos θ
)
: θ ∈ R
and G/K ⋍ T (R+).
![Page 13: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/13.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 7/42
Highest Weight Representations of SL(2,R)
Let Hα be the set of holomorphic functions of T (R+) suchthat
(F | G) =2α
2πΓ(α)
∫
H
F (z)G(z) yα−1dxdy <∞.
This is a nonzero Hilbert space if α > 0For F ∈ Hα we define
πα(g)F (z) = (a− bz)−α−1F (g−1 · z)
where g =
(
a b
c d
)
∈ SL(2,R).
The formula πα defines a unitary representation of G. It is ahighest weight representation.
![Page 14: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/14.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 8/42
Some Properties of Hα
The space Hα is a reproducing space: If
K(z, w) =Γ(α+ 1)
−i(z − w)α+1
then the functionKw(·) = K(·, w)
is in Hα and(F |Kw) = F (w),
for all w ∈ T (R+) and F ∈ Hα.
![Page 15: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/15.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 9/42
The Lie algebra
sl(2,C) = all 2 × 2 trace zero complex matrices.
1. e =
(
0 −ii 0
)
.
2. e+ = 12
(
−i 1
1 i
)
3. e− = 12
(
i 1
1 −i
)
Each of these are in sl(2,C) and form a basis. Furthermore,we have
![Page 16: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/16.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 10/42
The Lie Algebra action
1. πα(e0) · F (z) = i((α+ 1)zF (z) + (1 + z2)F ′(z)).
2. πα(e+) · F (z) = (α+ 1)( z+i2 )F (z) + (z+i)2
2 F ′(z),
3. πα(e−) · F (z) = (α+ 1)( z−i2 )F (z) + (z−i)2
2 F ′(z),
![Page 17: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/17.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 11/42
The K-finite vectors
A K-finite vector is a vector v ∈ Hα for which the linear spanof all translates πα(k)v, k ∈ K, is finite dimensional.Define
γn,α(z) = cn,α
(
z − i
z + i
)n
(z + i)−(α+1)
where cn,α = iα+1 Γ(n+α+1)Γ(n+1) . Each of these functions are in
Hα(T (R+)) and the collection forms an orthogonal basis ofK-finite vectors.
(There is an equivalent realization of all this on the space ofholomorphic functions on the unit disk, which is equivalent tothe upper half plane by the Cayley transform. In thisrealization the K-finite vectors are of the form zn,n = 0, 1, . . .. The Cayley transform of these functions givesγn,α.)
![Page 18: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/18.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 12/42
Moreover,1. πα(e) · γn,α = −(2n+ α+ 1)γn,α.
2. πα(e+) · γn,α = −i(n+ α)γn−1,α,
3. πα(e−) · γn,α = −i(n+ 1)γn+1,α,
![Page 19: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/19.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 13/42
The Restriction Principle
For a function F defined on the upper half plane let
RF (t) = F (it),
where t > 0. The map R is known as the restriction map.Since the functions in Hα are holomorphic if follows that Ris injective. Let ka = Kia ∈ Hα.
![Page 20: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/20.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 13/42
The Restriction Principle
For a function F defined on the upper half plane let
RF (t) = F (it),
where t > 0. The map R is known as the restriction map.Since the functions in Hα are holomorphic if follows that Ris injective. Let ka = Kia ∈ Hα.
Lemma(1) The linear span of ka : a > 0 is dense in Hα(T (R+)).(2) Rka ∈ L2(R+, dµα), where dµα = tα dt.(3) The set Rka : a > 0 is dense in L2(R+, dµα).
![Page 21: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/21.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 13/42
The Restriction Principle
For a function F defined on the upper half plane let
RF (t) = F (it),
where t > 0. The map R is known as the restriction map.Since the functions in Hα are holomorphic if follows that Ris injective. Let ka = Kia ∈ Hα.
Lemma(1) The linear span of ka : a > 0 is dense in Hα(T (R+)).(2) Rka ∈ L2(R+, dµα), where dµα = tα dt.(3) The set Rka : a > 0 is dense in L2(R+, dµα).
It follows thatR : Hα → L2(R+, dµα)
is densely defined and has dense range. It is easily seento be closed. We can thus polarize RR∗:
![Page 22: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/22.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 14/42
Polarization of R
Let f be in the domain of R∗. Then
RR∗f(y) = R∗f(iy)
= (R∗f | K(·, iy))Hα
= (f | K(·, iy))L2
= Γ(α+ 1)
∫ ∞
0
f(x)xα
(x+ y)α+1dx
=
∫ ∞
0
f(x)L(tαe−ty)(x)xαdx
=
∫ ∞
0
tαe−tyL(xαf(x))(t) dt (symmetry of L)
= L(tαL(xαf(x)))(y)
![Page 23: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/23.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 15/42
The Laplace Transform
Define Pf(y) = L(xαf(x))(y). Then P > 0 and
P 2 = RR∗.
Therefore P =√RR∗. There is a unitary operator
U : L2(R+, xαdx) → Hα
so that R∗ = UP : For f ∈ L2(R+, xαdx) and z = iy we have
Uf(z) = Uf(iy) = RUf(y) = Pf(y)
=
∫ ∞
0
e−ytf(t)tα dt
=
∫ ∞
0
eiztf(t)tα dt.
![Page 24: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/24.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 16/42
Since Uf is holomorphic we obtain
Theorem The unitary map U : L2(R+, dµα) → Hα(T (R+)) isgiven by
Uf(z) =
∫ ∞
0
eiztf(t) dµα(t).
![Page 25: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/25.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 17/42
Transferring the Representation πα
The unitary operator U allows us to transfer therepresentation, πα on Hα to an equivalent representation,λα, on L2(R+, xαdx):
πα(g)Uf = Uλα(g)f.
Theorem Suppose f ∈ L2(R+, dµα) is twice differentiable.Then1. λα(e+)f(t) = −i
2 (tD2 + (2t+ (α+ 1))D + (t+ α+ 1))f(t)
2. λα(e−)f(t) = −i2 (tD2 − (2t− (α+ 1))D + (t− (α+ 1))f(t)
3. λα(e)f(t) = (tD2 + (α+ 1)D − t)f(t)We define ℓαn(t) = L−1(γn,α)
![Page 26: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/26.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 18/42
Representation implied Recursion Relations
Theorem With notation as above we have
ℓαn = e−tLαn(2t).
Furthermore,1. λα(e) · ℓαn(t) = −(2n+ α+ 1)ℓαn(t).
2. λα(e+) · ℓαn(t) = −i(n+ α)ℓαn−1(t),
3. λα(e−) · ℓαn(t) = −i(n+ 1)ℓαn+1(t),which we can write1. (tD2 + (α+ 1)D + (2n+ α+ −t)ℓαn = 0,
2. (tD2 + (2t+ (α+ 1))D + (t+ α+ 1))ℓαn = 2(n+ α)ℓαn+1,
3. (tD2 − (2t− (α+ 1))D + (t− (α+ 1)))ℓαn = 2(n+ 1)ℓαn−1.
![Page 27: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/27.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 19/42
These formulas, in turn, imply the following recursionrelations for the Laguerre polynomials Lα
n.1. (tD2 + (α− t+ 1)D + n)Lα
n(t) = 0,2. tDLα
n(t) = nLαn(t) − (n+ α)Lα
n−1(t),
3. tDLαn(t) = (n+ 1)Lα
n+1(t) − (n+ α+ 1 − t)Lαn(t).
![Page 28: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/28.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 20/42
Summary
Thus the representation theory of Sl(2,R) encodes theclassical differential recursion relations for the Laguerrepolynomials.
![Page 29: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/29.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 20/42
Summary
Thus the representation theory of Sl(2,R) encodes theclassical differential recursion relations for the Laguerrepolynomials.
The formula for the generating function falls right out of therepresentation theory here presented.
![Page 30: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/30.jpg)
The Classical CaseLaguerrePolynomialsRecursionRelationsThe group SL(2,R)Highest WeightRepresentationsSome Properties ofHα
The Lie algebraThe Lie AlgebraactionThe K-finitevectorsThe RestrictionPrinciplePolarization of RThe LaplaceTransformRepresentationTransferredRecursionRelationsSummary
Laguerre Functions and Differential Recursion Relations - p. 20/42
Summary
Thus the representation theory of Sl(2,R) encodes theclassical differential recursion relations for the Laguerrepolynomials.
The formula for the generating function falls right out of therepresentation theory here presented.
Further analysis (of a less representation nature) gives therecursion relations in the α parameter.
![Page 31: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/31.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 21/42
Faraut-Koranyi Generalized LaguerrePolynomials on Jordan Algebras
![Page 32: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/32.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP
![Page 33: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/33.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
![Page 34: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/34.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone.
![Page 35: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/35.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
![Page 36: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/36.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
![Page 37: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/37.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
![Page 38: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/38.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
![Page 39: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/39.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE
![Page 40: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/40.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE J = Herm(n) with productA B = 1
2 (AB +BA) ande = I
![Page 41: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/41.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE J = Herm(n) with productA B = 1
2 (AB +BA) ande = I
Ω = Herm+(n)
![Page 42: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/42.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE J = Herm(n) with productA B = 1
2 (AB +BA) ande = I
Ω = Herm+(n)
H = GL(n,C) acting on Ωby g · x = gxg∗
![Page 43: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/43.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE J = Herm(n) with productA B = 1
2 (AB +BA) ande = I
Ω = Herm+(n)
H = GL(n,C) acting on Ωby g · x = gxg∗
L = U(n)
![Page 44: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/44.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 22/42
Jordan Algebras
GENERAL SETUP Let J be a simple finite
dimensional EuclideanJordan Algebra with unit e.
Ω =
x2 : x ∈ J
: a
symmetric cone. Let H be connected
component of thesubgroup of GL(J) thatleaves Ω invariant.
Let L be the fixed pointsubgroup of e.
The H acts transitively onΩ and Ω = H/L.
EXAMPLE J = Herm(n) with productA B = 1
2 (AB +BA) ande = I
Ω = Herm+(n)
H = GL(n,C) acting on Ωby g · x = gxg∗
L = U(n)
Herm+(n) ≃GL(n,C)/U(n)
![Page 45: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/45.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 23/42
Generalized Power Functions
The expansion formula for the Laguerre polynomials involveGamma functions, a binomial coefficient, and powers of x.Each of these objects have analogues on Jordan algebras.Let J be a Euclidean Jordan algebra of dimension d. If J hasrank r then there are r principle minors,
∆1,∆2, . . . ,∆r.
Let m = (m1, . . . ,mn) be a multi-index of positive integersuch that m1 ≥ m2 ≥ · · · ≥ mn ≥ 0. Define
∆m = ∆m1−m2
1 · · ·∆mrr .
Let
ψm(x) =
∫
L
∆m(lx) dl.
ψm is a nonzero L-invariant polynomials on J of degree|m| = m1 +m2 + · · · +mr and are referred to as generalizedpower functions.
![Page 46: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/46.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 24/42
The Gamma Function
The function ∆r is the determinant function on J and usuallydenoted by ∆. Furthermore, if d = dim(J) then ∆
−dr dx is the
H-invariant measure of Ω.
The classical Gamma function is given by
Γ(s) =∫∞
0e−tts 1
tdt.
![Page 47: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/47.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 24/42
The Gamma Function
The function ∆r is the determinant function on J and usuallydenoted by ∆. Furthermore, if d = dim(J) then ∆
−dr dx is the
H-invariant measure of Ω.
The classical Gamma function is given by
Γ(s) =∫∞
0e−tts 1
tdt.
For the cone Ω we have
ΓΩ(s) =∫
Ωe− tr t∆s(t) ∆(t)−
dr dt,
where tr is the trace operator on J and s is a multi-index.
![Page 48: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/48.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 24/42
The Gamma Function
The function ∆r is the determinant function on J and usuallydenoted by ∆. Furthermore, if d = dim(J) then ∆
−dr dx is the
H-invariant measure of Ω.
The classical Gamma function is given by
Γ(s) =∫∞
0e−tts 1
tdt.
For the cone Ω we have
ΓΩ(s) =∫
Ωe− tr t∆s(t) ∆(t)−
dr dt,
where tr is the trace operator on J and s is a multi-index.
![Page 49: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/49.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 24/42
The Gamma Function
The function ∆r is the determinant function on J and usuallydenoted by ∆. Furthermore, if d = dim(J) then ∆
−dr dx is the
H-invariant measure of Ω.
The classical Gamma function is given by
Γ(s) =∫∞
0e−tts 1
tdt.
For the cone Ω we have
ΓΩ(s) =∫
Ωe− tr t∆s(t) ∆(t)−
dr dt,
where tr is the trace operator on J and s is a multi-index.
![Page 50: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/50.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 24/42
The Gamma Function
The function ∆r is the determinant function on J and usuallydenoted by ∆. Furthermore, if d = dim(J) then ∆
−dr dx is the
H-invariant measure of Ω.
The classical Gamma function is given by
Γ(s) =∫∞
0e−tts 1
tdt.
For the cone Ω we have
ΓΩ(s) =∫
Ωe− tr t∆s(t) ∆(t)−
dr dt,
where tr is the trace operator on J and s is a multi-index.
![Page 51: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/51.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 25/42
Generalized Binomial Coefficient
The usual binomial coefficient can be defined by the rule
(1 + x)n =
n∑
k=0
(
n
k
)
xk.
Since (1 + x)n is a polynomial of degree n it is a linearcombination of 1, x, . . . , xn. The coefficient of xk thusuniquely define the binomial coefficients.
The L-invariant function ψm is a polynomial of degree |m|and the collection ψm : |m| ≤ α spans the set of allL-invariant polynomials of degree ≤ α. The L-invariantpolynomial ψm(e+ x) has degree |m| and is thus a linearcombination of terms of the form ψn, where |n| ≤ |m|. Thegeneralize binomial coefficients , are thus defined such that
ψm(e+ x) =∑
|n|≤|m|
(
m
n
)
ψn(x).
![Page 52: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/52.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 26/42
Generalized Laguerre Polynomials
Recall the classical Laguerre polynomial:
Lαn(x) =
n∑
k=0
Γ(n+α+1)Γ(k+α+1)
(
n
k
)
(−x)k
![Page 53: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/53.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 26/42
Generalized Laguerre Polynomials
Recall the classical Laguerre polynomial:
Lαn(x) =
n∑
k=0
Γ(n+α+1)Γ(k+α+1)
(
n
k
)
(−x)k
Faraut and Koranyi define the generalized Laguerrepolynomial by the formula:
Lνm(x) =
∑
|n|≤|m|
ΓΩ(ν+m)ΓΩ(ν+n)
(
m
n
)
ψn(−x).
![Page 54: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/54.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 26/42
Generalized Laguerre Polynomials
Recall the classical Laguerre polynomial:
Lαn(x) =
n∑
k=0
Γ(n+α+1)Γ(k+α+1)
(
n
k
)
(−x)k
Faraut and Koranyi define the generalized Laguerrepolynomial by the formula:
Lνm(x) =
∑
|n|≤|m|
ΓΩ(ν+m)ΓΩ(ν+n)
(
m
n
)
ψn(−x).
![Page 55: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/55.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 26/42
Generalized Laguerre Polynomials
Recall the classical Laguerre polynomial:
Lαn(x) =
n∑
k=0
Γ(n+α+1)Γ(k+α+1)
(
n
k
)
(−x)k
Faraut and Koranyi define the generalized Laguerrepolynomial by the formula:
Lνm(x) =
∑
|n|≤|m|
ΓΩ(ν+m)ΓΩ(ν+n)
(
m
n
)
ψn(−x).
![Page 56: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/56.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 26/42
Generalized Laguerre Polynomials
Recall the classical Laguerre polynomial:
Lαn(x) =
n∑
k=0
Γ(n+α+1)Γ(k+α+1)
(
n
k
)
(−x)k
Faraut and Koranyi define the generalized Laguerrepolynomial by the formula:
Lνm(x) =
∑
|n|≤|m|
ΓΩ(ν+m)ΓΩ(ν+n)
(
m
n
)
ψn(−x).
![Page 57: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/57.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 27/42
Orthogonality
Let L2(Ω, dµν) be the space of square integrable functionson Ω with respect to the measure dµν = ∆ν− d
r (x)dx.
![Page 58: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/58.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 27/42
Orthogonality
Let L2(Ω, dµν) be the space of square integrable functionson Ω with respect to the measure dµν = ∆ν− d
r (x)dx.
Let ℓνm(x) = e− tr(x)Lνm(2x). These are the generalized
Laguerre Functions .
![Page 59: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/59.jpg)
Fauraut-KoranyiJordan AlgebrasGeneralized PowerFunctionsThe GammaFunctionGeneralizedBinomialCoefficientGeneralizedLaguerrePolynomialsOrthogonality
Laguerre Functions and Differential Recursion Relations - p. 27/42
Orthogonality
Let L2(Ω, dµν) be the space of square integrable functionson Ω with respect to the measure dµν = ∆ν− d
r (x)dx.
Let ℓνm(x) = e− tr(x)Lνm(2x). These are the generalized
Laguerre Functions . THEOREM The set
ℓνm(x) : m ≥ 0
is an orthogonal basis of
L2(Ω, dµν)L.
![Page 60: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/60.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 28/42
Tube-type Domains, HermitianSymmetric Groups, and Highest Weight
Representations
![Page 61: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/61.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 29/42
Tube-type domains and Hermitian groups
Let T (Ω) = iΩ + J ⊂ JC. Let Aut(T (Ω)) be the group ofbiholomorphic automorphisms of T (Ω) and G = Aut(T (Ω)).If K is the fixed point group for the point ie ∈ T (Ω) then K isa maximal compact subgroup of G and
T (Ω) = G/K.
The groups H and L that are associated with Ω aresubgroups of G.
The groups G that can arise have been classified. Some ofthe groups that arise in this way are:
Sl(2,R)
SU(n, n)
Sp(n,R)
SO∗(4m)
![Page 62: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/62.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 30/42
Highest Weight Representations
In a manner analogous to the usual upper half plane we maydefine a Hilbert space Hν of holomorphic functions on T (Ω):
Hν =
F : T (Ω) → C : dν
∫
T (Ω)
|F (z)|2 ∆(z)ν− 2dr dz <∞
.
Hν is nonzero if and only if ν > 1 + a(r − 1), where a is aconstant that depends on the Jordan algebra J .
There is a unitary highest weight representation, πν , of G onHν given by
π(g)F (z) = J(g−1, z)νr2dF (g−1z),
where J(g, z) is the complex Jacobian of the action g · z. Thisrepresentation is a highest weight representation.
![Page 63: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/63.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 31/42
Some K-finite vectors
The generalized power functions, ψm, extend to JC andtheir Cayley transform:
qm,ν(z) = ∆(z + e)−νψm
(
z − e
z + e
)
,
are in HLν . These functions play a role analogous to
γn,α(x) for SL(2,R).
![Page 64: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/64.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 31/42
Some K-finite vectors
The generalized power functions, ψm, extend to JC andtheir Cayley transform:
qm,ν(z) = ∆(z + e)−νψm
(
z − e
z + e
)
,
are in HLν . These functions play a role analogous to
γn,α(x) for SL(2,R).
THEOREM The setqm,ν : m ≥ 0
is an orthogonal basis of HLν .
![Page 65: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/65.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 32/42
The Restriction Principle
For F a holomorphic function on T (Ω) we define therestriction map
RF (x) = F (ix).
Then R is a densely defined, closed, and has dense image.Polarization of R∗ gives
THEOREM The map,
Lν(f)(z) =
∫
Ω
e−(iz,x)f(x) dµν ,
defines a unitary isomorphism of L2(Ω, dµν) onto Hν .
Let λν be the representation of G equivalent to πν via Lν .
![Page 66: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/66.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 33/42
Technical difficulties
The representation theoretic interpretation of the differentialrecursion relations in the SL(2,R) case relied on havingexplicit formulas for the action of πν(x) and how they act onγn,α. Recall1. πα(e0) · F (z) = i((α+ 1)zF (z) + (1 + z2)F ′(z)).
2. πα(e+) · F (z) = (α+ 1)( z+i2 )F (z) + (z+i)2
2 F ′(z),
3. πα(e−) · F (z) = (α+ 1)( z−i2 )F (z) + (z−i)2
2 F ′(z),and1. πα(e) · γn,α = −(2n+ α+ 1)γn,α.
2. πα(e+) · γn,α = −i(n+ α)γn−1,α,
3. πα(e−) · γn,α = −i(n+ 1)γn+1,α.
![Page 67: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/67.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 34/42
The subalgebra gLC
In general we can compute formulas for the operators πν(x),x ∈ gC, but we do not have explicit formulas for their actionon qm,ν . Part of the problem arises from the fact that πν(x)
does not leave HLν invariant for all x ∈ gC.
However, the subalgebra
gLC = x ∈ gC : Ad(l)x = x, for all l ∈ L
does leave HLν invariant and is, furthermore, a three
dimensional subalgebra isomorphic to SL(2,C).
![Page 68: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/68.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 35/42
A basis of gLC
Since L ⊂ K the center of K, k, is a subset of gLC. As G is a
Hermitian group the center of k is spanned by a single vector,X. The operator adX on gC has only the eigenvalues 0, 1,−1. The 0-eigenspace is kC
The +1-eigenspace is denoted p+
The −1 eigenspace is denoted p−.The intersection of gL
C and h, the Lie algebra of H, is onedimensional and spanned by a single vector Z. It turns outthat Z = X+ +X−, where X+ ∈ p+ and X− ∈ p−.
LEMMA The Lie algebra gLC is spanned by X, X+ and X−
and gLC ∩ g is spanned by iX, Z = X+ +X−, and
i(X+ −X−).
![Page 69: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/69.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 36/42
The action on HLν
THEOREM We have
πν(X)qm,ν = (rν + |m|)qm,ν
and
πν(Z)qm,ν =
r∑
j=1
(
m
m − ej
)
qm−ej,ν
−r∑
j=1
(ν +mj −a
2(j − 1))cm(j)qm+ej,ν .
Observe that the action of Z and qm,ν involves both a shiftupward and a shift downward in the multi-indices. But it isknown that this is precisely the role of p− and p+; theiractions are the so-called raising and lowering operators (orcreation and annihilation operators).
![Page 70: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/70.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 37/42
Since Z = X+ +X− we have the following corollary.
COROLLARY
πν(X+)qm,ν =
r∑
j=1
(
m
m − ej
)
qm−ej,ν
and
πν(X−)qm,ν = −r∑
j=1
(ν +mj −a
2(j − 1))cm(j)qm+ej,ν .
![Page 71: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/71.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 38/42
Transferring the action to L2(Ω, dµν)
THEOREM
Lν(ℓνm) = ΓΩ(ν)qm,ν .
THEOREM
λν(Z)f(x) = (νr +E)f(x),
where E is the Euler operator:Ef(x) = d
dtf(tx)|t=1 = d
dtf(exp(tZ))|t=1.
THEOREM λν(X)ℓνm = (rν + 2 |m|)ℓνm
λν(X+)ℓνm =∑r
j=1
(
m
m − ej
)
(mj − 1 + v− a2 (j− 1))ℓνm−ej
λν(X−)ℓνm =∑r
j=1 cm(j)ℓνm+ej
![Page 72: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/72.jpg)
RepresentationTheoryType-type DomainsHighest WeightRepresentationsSome K-finitevectorsThe RestrictionPrincipleTechnicaldifficultiesThe subalgebra
gL
C
A basis of gL
C
The action on HLν
Transfer of actionRecursionRelations
Laguerre Functions and Differential Recursion Relations - p. 39/42
Differential Recursion Relations for SU(n, n)
For SU(n, n) we have determine explicitly the formulas forthe algebraic action. When applied to X, X+ and X− and tothe Laguerre functions we obtain the following differentialrecursion relations.
tr(s∇∇ + ν∇− s)ℓνm = −(rν + 2|m|)ℓνm. 1
2 tr(s∇∇ + (νI + 2s)∇ + (νI + s))ℓνm(s) =
−∑r
j=1
(
m
m − γj
)
(mj − 1 + ν − (j − 1))ℓνm−γj
12 tr(s∇∇+(νI − 2s)∇+(s− νI))ℓνm = −∑r
j=1 cm(j)ℓνm+γj.
Notice the similarity to the classical case: (tD2 + (α+ 1)D − t)ℓαn = −(2n+ α+ 1)ℓαn, (tD2 + (2t+ (α+ 1))D + (t+ α+ 1))ℓαn = −2(n+ α)ℓαn−1,
(tD2 − (2t− (α+ 1))D + (t− (α+ 1)))ℓαn = −2(n+ 1)ℓαn+1.
![Page 73: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/73.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 40/42
Conclusions
![Page 74: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/74.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 41/42
Results in Other Settings
With the unit disk playing the role of the upper half planeand the interval (0, 1) playing the role of the cone R+ weget a similar theory involving the Meixner-Pollacykpolynomials.
![Page 75: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/75.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 41/42
Results in Other Settings
With the unit disk playing the role of the upper half planeand the interval (0, 1) playing the role of the cone R+ weget a similar theory involving the Meixner-Pollacykpolynomials.
Since G/K has a realization as a bounded symmetricdomain the result extend.
![Page 76: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/76.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 41/42
Results in Other Settings
With the unit disk playing the role of the upper half planeand the interval (0, 1) playing the role of the cone R+ weget a similar theory involving the Meixner-Pollacykpolynomials.
Since G/K has a realization as a bounded symmetricdomain the result extend.
The Spherical-Fourier transform transfers these results toa space on Weyl-group invariant functions on an rdimensional space a∗
C. The recursion relations take the
form of difference equations.
![Page 77: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/77.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 42/42
Directions
Related analysis suggests that such generalizationsshould extend to generalizations of other special functionslike the Hermite and Legendre polynomials.
![Page 78: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/78.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 42/42
Directions
Related analysis suggests that such generalizationsshould extend to generalizations of other special functionslike the Hermite and Legendre polynomials.
We have only dealt with the so-called scalar highest weightrepresentations. Is there an analogue with extensions tovector valued Laguerre functions?
![Page 79: Generalized Laguerre Functions and Differential Recursion ...davidson/lectures/Iowatalk.pdfThe Classical Case Laguerre Polynomials Recursion Relations The group SL(2,R) Highest Weight](https://reader034.vdocuments.net/reader034/viewer/2022042913/5f49c2885242940b41281435/html5/thumbnails/79.jpg)
ConclusionsResults in OtherSettingsDirections
Laguerre Functions and Differential Recursion Relations - p. 42/42
Directions
Related analysis suggests that such generalizationsshould extend to generalizations of other special functionslike the Hermite and Legendre polynomials.
We have only dealt with the so-called scalar highest weightrepresentations. Is there an analogue with extensions tovector valued Laguerre functions?
The Laguerre functions defined by Faraut and Koranyi areL-invariant. How does the theory change when oneconsiders functions that transform according to a characterof L?