Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1)
Based on the representation of a set of canonical operators on the lattice hZn, which are Clifford-vector-valued, we will introduce new families of special functions of hypercomplex variable possessing su(1,1) symmetries.
Збережено в:
| Опубліковано в: : | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут математики НАН України
2013
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/149357 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) / N. Faustino // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 17 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859908347854061568 |
|---|---|
| author | Faustino, N. |
| author_facet | Faustino, N. |
| citation_txt | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) / N. Faustino // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 17 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | Based on the representation of a set of canonical operators on the lattice hZn, which are Clifford-vector-valued, we will introduce new families of special functions of hypercomplex variable possessing su(1,1) symmetries.
|
| first_indexed | 2025-12-07T16:01:57Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 9 (2013), 065, 18 pages
Special Functions of Hypercomplex Variable
on the Lattice Based on SU(1,1)
Nelson FAUSTINO
Departamento de Matemática Aplicada, IMECC–Unicamp,
CEP 13083–859, Campinas, SP, Brasil
E-mail: faustino@ime.unicamp.br
URL: https://sites.google.com/site/nelsonfaustinopt/
Received May 06, 2013, in final form October 28, 2013; Published online November 05, 2013
http://dx.doi.org/10.3842/SIGMA.2013.065
Abstract. Based on the representation of a set of canonical operators on the lattice hZn,
which are Clifford-vector-valued, we will introduce new families of special functions of hy-
percomplex variable possessing su(1, 1) symmetries. The Fourier decomposition of the space
of Clifford-vector-valued polynomials with respect to the SO(n)× su(1, 1)-module gives rise
to the construction of new families of polynomial sequences as eigenfunctions of a coupled
system involving forward/backward discretizations E±
h of the Euler operator E =
n∑
j=1
xj∂xj
.
Moreover, the interpretation of the one-parameter representation Eh(t) = exp(tE−
h −tE
+
h ) of
the Lie group SU(1, 1) as a semigroup (Eh(t))t≥0 will allows us to describe the polynomial
solutions of an homogeneous Cauchy problem on [0,∞) × hZn involving the differencial-
difference operator ∂t + E+
h − E
−
h .
Key words: Clifford algebras; finite difference operators; Lie algebras
2010 Mathematics Subject Classification: 22E70; 30G35; 33C80; 39A12
1 Introduction
In the investigation of special functions, the representation theory through Lie groups allows
to compute families of orthogonal polynomials in terms of hypergeometric series expansions
(see, e.g., [17]). Recent approaches towards discrete quantum mechanics, as for instance in [14],
reveals that the representation of finite difference operators as canonical generators of a certain
Lie algebra provides a general scheme to construct sequences of polynomials as eigenfunctions of
a discrete Hamiltonian operator. These sequences of polynomials that appear on the literature
under the name of Sheffer sequences (cf. [6, 12]) or Appell sequences (cf. [16]) give rise to families
of Bernoulli and Euler polynomials beyond the classical rising/falling factorial polynomials (see
also [1, Section 3]).
Seen the fact that Clifford algebras of signature (0, n) encode the structure of the special
orthogonal group SO(n) of n × n matrices (cf. [4, Subsection I.1]), it remains natural to study
multi-variable extensions of the above approaches to the Euclidean space Rn in terms of hyper-
complex variables. In [13, Section 2] and in [2, Section 3] the authors obtained the hypercomplex
extension of Bernoulli and Euler polynomials, respectively; In [3, Section 4] the authors consid-
ered discrete versions of Fueter polynomials as an alternative hypercomplex extension for the
raising/lowering Clifford-vector-valued polynomials considered in [8, Section 3]. In [9, Section 2]
the authors shown that such families of Clifford-vector-valued polynomials of discrete variable
may be realized from Lie algebraic representations of an algebra of endomorphisms analogue to
the radial algebra representation obtained in continuum by Sommen (cf. [15]).
mailto:faustino@ime.unicamp.br
https://sites.google.com/site/nelsonfaustinopt/
http://dx.doi.org/10.3842/SIGMA.2013.065
2 N. Faustino
This paper is organized as follows: In Section 2 it will be given the motivation to study, in the
framework of Clifford algebras, sequences of polynomials generated from a set of finite difference
operators. In Section 3 the construction of irreducible representations for the spaces of Clifford-
vector-valued polynomials on the lattice hZn based on the Howe dual pair (SO(n), su(1, 1))
(cf. [11]) will be considered.
To find the Fourier decomposition for the space of Clifford-vector-valued polynomials on the
lattice hZn, we will start to determine the positive and negative series representations for the Lie
group SU(1, 1) in interconnection with the forward/backward discretizations E±h of the classical
Euler operator E =
n∑
j=1
xj∂xj . Afterwards, the action of the SO(n) × su(1, 1)-module on the
lattice hZn will produce a sequence of invariant and irreducible subspaces under the discrete
series representations of SU(1, 1).
The results obtained in Section 3 will be used in Section 4 to describe the space of Clifford-
vector-valued polynomials on the lattice hZn as hypergeometric series expansions and to char-
acterize the homogeneous solutions of the differential-difference operator ∂t+E+
h −E
−
h in terms
of the semigroup (Eh(t))t≥0 carrying the one-parameter representation Eh(t) = exp(tE−h − tE
+
h )
of SU(1, 1).
2 Scope of problems
Let e1, e2, . . . , en be an orthogonal basis of Rn. The Clifford algebra of signature (0, n), which we
will denote by C`0,n, corresponds to the algebra generated from the set of graded anti-commuting
relations
ejek + ekej = −2δj,k for any j, k = 1, 2, . . . , n. (1)
Under the linear space isomorphism given by the mapping ej1ej2 · · · ejr 7→ dxj1dxj2 · · · dxjr , with
1 ≤ j1 < j2 < · · · < jr ≤ n, the resulting algebra with dimension 2n is isomorphic to the exterior
algebra
∧
(Rn).
This allows us to represent any vector x = (x1, x2, . . . , xn) of Rn as an element x =
n∑
j=1
xjej ∈
C`0,n and the translations (x1, x2, . . . , xj ± h, . . . , xn) on the grid hZn ⊂ Rn with mesh width
h > 0 by the displacements x ± hej over C`0,n. Moreover, the Clifford-vector-valued functions
correspond to linear combinations in terms of the r-multivector basis ej1ej2 · · · ejr labeled by
subsets J = {j1, j2, . . . , jr} of {1, 2, . . . , n}, i.e.
f(x) =
n∑
r=0
∑
|J |=r
fJ(x)eJ with eJ = ej1ej2 · · · ejr .
Let us now recall some basic facts about finite difference operators. The forward/backward
finite differences ∂±jh defined on the grid hZn by(
∂+jh f
)
(x) =
f(x+ hej)− f(x)
h
and
(
∂−jh f
)
(x) =
f(x)− f(x− hej)
h
are interrelated by the translation operators
(
T±jh f
)
(x) = f(x± hej), i.e.
T−jh
(
∂+jh f
)
(x) =
(
∂−jh f
)
(x) and T+j
h
(
∂−jh f
)
(x) =
(
∂+jh f
)
(x). (2)
Also, they satisfy the product rules
∂+jh (g(x)f(x)) =
(
∂+jh g
)
(x)f(x+ hej) + g(x)
(
∂+jh f
)
(x),
∂−jh (g(x)f(x)) =
(
∂−jh g
)
(x)f(x− hej) + g(x)
(
∂−jh f
)
(x). (3)
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 3
Along the paper we will use the bold letters f ,g, . . . ,m, . . . ,w, . . . and so on, when we refer
to functions of the above form. The finite difference Dirac operators D±h defined viz
D+
h =
n∑
j=0
ej∂
+j
h and D−h =
n∑
j=0
ej∂
−j
h
are Clifford-vector-valued and correspond to finite difference approximations of the classical
gradient operator in a coordinate-free way.
Now let P = R[x] ⊗ C`0,n be the space of Clifford-vector-valued polynomials. We say that
{ms(x; τ) : s ∈ N0} ⊂ P is an Appell set carrying D+
h , resp. D−h , if for τ = ±h we have
D+
hm0(x,−h) = D−hm0(x;h) = 0 and
D+
hms(x;−h) = sms−1(x;−h),
D−hms(x;h) = sms−1(x;h), for every s ∈ N. (4)
Iterating r-times the operator D+
h , resp. D−h , it turns out that the action of the semigroup(
exp(tD+
h )
)
t≥0, resp.
(
exp(tD−h )
)
t≥0, on each ms(x;−h), resp. ms(x;h), gives rise to a bino-
mial expansion. Indeed, the iterated relations
(
D±h
)r
ms(x;∓h) = s!
(s−r)!ms−r(x;∓h), resp.(
D±h
)r
ms(x;∓h) = 0, that hold for s ≥ r, resp. s < r, leads to
exp
(
tD+
h
)
ms(x;−h) =
∞∑
r=0
tr
r!
(
D+
h
)r
ms(x;−h) =
s∑
r=0
(
s
r
)
trms−r(x;−h),
and analogously, to exp
(
tD−h
)
ms(x;h) =
s∑
r=0
(
s
r
)
trms−r(x;h).
The action of the semigroups
(
exp(tD+
h )
)
t≥0 and
(
exp(tD−h )
)
t≥0 on P then correspond to
the hypercomplex extension of the Taylor series expansion for polynomials (see, e.g., [1, Subsec-
tion 3.3]) that gives rise e.g. to Clifford-vector-valued polynomials of Bernoulli type analogous
to the ones obtained in [13, Section 2].
This approach corresponds to the discrete counterpart of the Cauchy–Kovaleskaya extension
described in [4, Subsection III.2]. For an alternative application of this approach in interrela-
tionship with discrete versions of Fueter polynomials, one refer to [3, Sections 3, 4].
The Fock space formalism carrying Hilbert spaces (cf. [5]) reveals that the problem of con-
structing polynomial sets {ms(x; τ) : s ∈ N0}, with τ = ±h, possessing the Appell set property
is equivalent to the construction of operator endomorphisms M+
h ,M
−
h ∈ End(P) in such way
that the elements of the form
ms(x;±h) = λs
(
M±h
)s
m0(x;±h), s ∈ N0
yield a basis for P. Hereby, the constants λs are chosen under the condition λ0 = 1 and the
constraints (4).
In terms of the umbral calculus formalism (see [6, 12] and the references therein), from the
identity operator I : f(x) 7→ f(x) and the commuting bracket [A,B] defined as
[A,B]f(x) = A(Bf(x))−B(Af(x)),
one can start to construct the set of Clifford-vector-valued polynomials {ms(x; τ) : s ∈ N0}
from Weyl–Heisenberg algebra symmetries. In order to proceed, we will define for a given linear
polynomial w(t) ∈ R[t] of degree 1 satisfying (∂+jh w)(xk) = (∂−jh w)(xk) = δjkµ, the following set
4 N. Faustino
of multiplication operators:
(Wjf)(x) = µ−1w(xj)f(x),(
W+j
h f
)
(x) = µ−1w
(
xj +
h
2
)
f(x+ hej),(
W−jh f
)
(x) = µ−1w
(
xj −
h
2
)
f(x− hej). (5)
It is now straightforward from the product rules (3) that the set of operators{
W−jh , ∂+jh , I : j = 1, 2, . . . , n
}
and
{
W+j
h , ∂−jh , I : j = 1, 2, . . . , n
}
span the Weyl–Heisenberg algebra of dimension 2n + 1. The remainder graded commuting
relations are given by[
∂+jh , ∂+kh
]
= 0,
[
W−jh ,W−kh
]
= 0,
[
∂+jh ,W−kh
]
= δjkI, (6)[
∂−jh , ∂−kh
]
= 0,
[
W+j
h ,W+k
h
]
= 0,
[
∂−jh ,W+k
h
]
= δjkI. (7)
In the discrete Clifford analysis setting (cf. [9, Subsection 1.3]), it is precisely the Weyl–
Heisenberg relations (6), resp. (7), that allows us to determine in a unique way M−h , resp. M+
h ,
as
M−h =
n∑
j=1
ejW
−j
h , resp. M+
h =
n∑
j=1
ejW
+j
h ,
providing in this way a Fourier duality between D+
h and M−h , resp. D−h and M+
h .
For discretizations of the Dirac operator D =
n∑
j=1
ej∂xj , written as a superposition of forward
and backward differences, the Fourier duality may be constructed by means of a set of skew-Weyl
relations (cf. [2]).
Notice that the Fourier duality terminology comes from invariant theory (cf. [11]). In the
language of Clifford analysis this is nothing else than the so-called Fischer duality (cf. [15]).
Since M±h maps ms(x;±h) into ms+1(x;±h), it remains clear that each Clifford-vector-
valued polynomial ms(x;h), resp. ms(x;−h), is an eigenfunction for the factorized Hamiltonian
M+
h D
−
h + D−hM
+
h , resp. M−h D
+
h + D+
hM
−
h . The Weyl–Heisenberg character between the oper-
ators ∂+jh and W−jh = µ−1w
(
xj − h
2
)
T−jh , resp. ∂−jh and W+j
h = µ−1w
(
xj + h
2
)
T+j
h , combined
with the orthogonality constraint (1) provided by the Clifford basis of C`0,n allows us to rewrite
the factorized Hamiltonians M+
h D
−
h + D−hM
+
h and M−h D
+
h + D+
hM
−
h in terms of the following
forward/backward discretizations of the Euler operator E =
∑
j=1
xj∂xj :
E+
h =
n∑
j=1
µ−1w
(
xj +
h
2
)
∂+jh , E−h =
n∑
j=1
µ−1w
(
xj −
h
2
)
∂−jh . (8)
Indeed, from (2) one can rewrite E+
h and E−h as
E+
h =
n∑
j=1
W+j
h ∂−jh and E−h =
n∑
j=1
W−jh ∂+jh .
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 5
Then M+
h D
−
h +D−hM
+
h and M−h D
+
h +D+
hM
−
h admit the following decompositions:
M+
h D
−
h +D−hM
+
h =
n∑
j=1
(
−2W+j
h ∂−jh − I
)
= −2E+
h − nI,
M−h D
+
h +D+
hM
−
h =
n∑
j=1
(
−2W−jh ∂+jh − I
)
= −2E−h − nI.
The second quantization approach through the set of Weyl–Heisenberg generators (6) and (7)
(cf. [5]) reveals that E±h are number-type operators with spectrum N0. This leads to
E+
h ms(x;h) = sms(x;h) and E−h ms(x;−h) = sms(x;−h).
From the above construction, it turns out that the Weyl–Heisenberg algebra character pro-
vided from the graded commuting relations (6), resp. (7), gives the required ladder structure to
construct also discrete analogues for Gegenbauer polynomials as a series expansion written in
terms of the Appell set {ms(x; τ) : s ∈ N0} (cf. [7]).
Since the eigenfunctions of E+
h and E−h do not coincide, in general, it remains natural to
ask which polynomial subsets {ms(x;h) : s ∈ N0} of P give rise to solutions of the coupled
eigenvalue system
E+
h ms(x;h) = sms(x;h), E−h ms(x;h) = sms(x;h), s ∈ N0.
From the relations (2), it remains clear that forward and backward differences, ∂+jh and ∂−jh
respectively, commute. In contrast, the operators W−jh , W+j
h do not commute in general. This
means that for each j = 1, 2, . . . , n the set of operators ∂+jh , ∂−jh , W−jh , W+j
h and I do not endow
a canonical realization of an Weyl–Heisenberg type algebra.
Although the solutions of the above coupled system of eigenvalue equations may not be rep-
resented in terms of Weyl–Heisenberg algebra symmetries, the set of generators W−jh , W+j
h , Wj
itself (see the coordinate expressions (5)) will be the departure point of this paper to de-
scribe the hidden Lie algebraic symmetries encoded by the solutions of the above coupled sys-
tem.
3 Clifford-vector-valued polynomials related with SU(1, 1)
3.1 Discrete series representions of SU(1, 1)
Accordingly to [17, Section 6.4], the Lie group SU(1, 1) has two families of discrete series rep-
resentations. In order to determine it algebraically, let us take a close look for the graded
commuting relations involving the number operators E+
h and E−h defined in (8).
For this purpose, one starts to show that the set of operators W+
h , W−h and W defined from
the left endomorphisms (5) acting on the space P:
W+
h =
n∑
j=1
W+j
h , W−h =
n∑
j=1
W−jh and W =
n∑
j=1
Wj (9)
generate a Lie algebra isomorphic to su(1, 1). In order to proceed, we will start with the following
lemma which interrelates the set of generators
W+j
h = µ−1w
(
xj +
h
2
)
T+j
h , W−jh = µ−1w
(
xj −
h
2
)
T−jh , Wj = µ−1w(xj)I.
6 N. Faustino
Lemma 1. For every j, k = 1, 2, . . . , n we have the following set of graded commuting rules:
(1) The operators W+j
h and W−kh satisfy
[
W+j
h ,W−kh
]
= 2hδjkWk.
(2) The operators W+k
h , resp. W−kh , and Wj are interrelated by[
W+k
h ,Wj
]
= hδjkW
+k
h , resp.
[
Wj ,W
−k
h
]
= hδjkW
−k
h .
Proof. (1) From the conditions T+k
h w
(
xk − h
2
)
= w
(
xk + h
2
)
, T−kh w
(
xk + h
2
)
= w
(
xk − h
2
)
and w
(
xk ∓ h
2
)
= T±jh w
(
xk ∓ h
2
)
, for j 6= k, one obtain for every j, k = 1, 2, . . . , n, the set of
graded commuting relations[
w
(
xj +
h
2
)
T+j
h , w
(
xk −
h
2
)
T−kh
]
= δjk
(
w
(
xk +
h
2
)2
− w
(
xk −
h
2
)2
)
I.
Now recall that w(t) ∈ R[t] is a polynomial of degree 1. Combination of linearity arguments
with the condition ∂±kh w(xk) = µ lead to the set of equations w
(
xk + h
2
)
+w
(
xk − h
2
)
= 2w(xk)
and w
(
xk + h
2
)
− w
(
xk − h
2
)
= hµ, and hence, to the set of equations
w
(
xk +
h
2
)2
− w
(
xk −
h
2
)2
= 2µhw(xk) with k = 1, 2, . . . , n.
Thus, for all j, k = 1, 2, . . . , n the above set of graded commuting relations are equivalent to[
W+j
h ,W−kh
]
= 2δjkhWk.
(2) Since Wk = µ−1w(xk)I commutes with
W+j
h = µ−1w
(
xj +
h
2
)
T+j
h , resp. W−jh = µ−1w
(
xj −
h
2
)
T−jh ,
for every j 6= k, it remains to show for every j = 1, 2, . . . , n the graded commuting relations[
W+j
h ,Wj
]
= hW+j
h and
[
Wj ,W
−j
h
]
= hW−jh .
From a direct computation[
w
(
xj +
h
2
)
T+j
h , w(xj)I
]
= w
(
xj +
h
2
)2
T+j
h − w(xj)w
(
xj +
h
2
)
T+j
h
= h
(
∂+jh wj
)
(x)w
(
xj +
h
2
)
T+j
h ,[
w(xj)I, w
(
xj −
h
2
)
T−jh
]
= w(xj)w
(
xj −
h
2
)
T−jh − w
(
xj −
h
2
)2
T−jh
= h
(
∂−jh wj
)
(x)w
(
xj −
h
2
)
T−jh .
Combination of the conditions
(
∂+jh w
)
(xj) =
(
∂−jh w
)
(xj) = µ with the coordinate expres-
sions (5) yields
[
W+j
h ,Wj
]
= hW+j
h , resp.
[
Wj ,W
−j
h
]
= hW−jh , as desired. �
From Lemma 1, one obtain for the set of multiplication operators (5), the Lie algebra iso-
morphism
span
{
1
h
W+j
h ,
1
h
W−jh ,
1
h
Wj : j = 1, 2, . . . , n
}
∼= sl(2n,R).
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 7
Thus, one can infer that 1
hW
+
h , 1
hW
−
h and 1
hW are the canonical generators of the three-
dimensional Lie algebra su(1, 1) ∼= sl(2,R). The remaining commuting relations are given by[
1
h
W+
h ,
1
h
W
]
=
1
h
W+
h ,
[
1
h
W−h ,
1
h
W
]
= −1
h
W,
[
1
h
W+
h ,
1
h
W−h
]
=
2
h
W. (10)
Now let’s turn our attention to the coordinate expressions of E±h given by (8). Recall that the
conditions
(
∂+jh w
)
(xk) =
(
∂−jh w
)
(xk) = δjkµ provided from construction allows us to recast E+
h
and E−h in terms of the multiplication operators defined in (5). Indeed, the basic identities
w
(
xj +
h
2
)
∂+jh =
1
h
(
w
(
xj +
h
2
)
T+j
h − w(xj)I
)
− µ
2
I,
w
(
xj −
h
2
)
∂−jh =
1
h
(
w(xj)I − w
(
xj −
h
2
)
T−jh
)
− µ
2
I
lead to the following coordinate expressions:
E+
h =
n∑
j=1
(
1
h
W+j
h −
1
h
Wj −
1
2
I
)
=
1
h
W+
h −
1
h
W − n
2
I,
E−h =
n∑
j=1
(
1
h
Wj −
1
h
W−jh −
1
2
I
)
=
1
h
W − 1
h
W−h −
n
2
I, (11)
and consequently, to the following coordinate expressions involving the sum/difference be-
tween E+
h and E−h :
E+
h + E−h =
1
h
W+
h −
1
h
W−h − nI, E+
h − E
−
h =
1
h
W+
h +
1
h
W−h −
2
h
W. (12)
The following set of results are also straightforward and will give the key ingredients to
construct the positive/negative series representations encoded by SU(1,1).
Lemma 2. The operators E+
h −E
−
h , 1
hW
+
h and E+
h + n
2 I, resp. E+
h −E
−
h , 1
hW
−
h and E−h + n
2 I
are the canonical generators of the Lie algebra su(1, 1). The remainder commuting relations are
given by[
E±h +
n
2
I, E+
h − E
−
h
]
= E−h − E
+
h ,
[
E±h +
n
2
I,
1
h
W±h
]
=
1
h
W±h ,[
E+
h − E
−
h ,
1
h
W±h
]
= 2
(
E±h +
n
2
I
)
.
Proof. First, notice that direct combination of relations (10) with the coordinate expres-
sions (11) and (12) results into the following set of graded commuting relations carrying the
operators E+
h + n
2 I, E−h + n
2 I and E+
h − E
−
h :[
E+
h +
n
2
I, E−h +
n
2
I
]
=
[
1
h
W+
h −
1
h
W,
1
h
W − 1
h
W−h
]
= E+
h − E
−
h .
In order to prove the graded commuting relations
[
E+
h +n
2 I,
1
hW
+
h
]
= 1
hW
+
h and
[
E−h +n
2 I,
1
hW
−
h
]
= 1
hW
−
h one starts to rewrite
[
E+
h + n
2 I,
1
hW
+
h
]
and
[
E−h + n
2 I,
1
hW
−
h
]
and based on the coordi-
nate expressions (11). In concrete[
E+
h +
n
2
I,
1
h
W+
h
]
=
[
1
h
W+
h −
1
h
W,
1
h
W+
h
]
,[
E−h +
n
2
I,
1
h
W−h
]
=
[
1
h
W − 1
h
W−h ,
1
h
W−h
]
. (13)
8 N. Faustino
The graded commuting relations provided from (10) yield[
1
h
W+
h −
1
h
W,
1
h
W+
h
]
=
1
h
W+
h and
[
1
h
W − 1
h
W−h ,
1
h
W−h
]
=
1
h
W−h ,
and therefore, the relations (13) are equivalent to[
E+
h +
n
2
I,
1
h
W+
h
]
=
1
h
W+
h and
[
E−h +
n
2
I,
1
h
W−h
]
=
1
h
W−h .
Finally, the relations
[
E+
h − E
−
h ,
1
hW
+
h
]
= 2
(
E+
h + n
2 I
)
and
[
E+
h − E
−
h ,
1
hW
−
h
]
= 2
(
E−h + n
2 I
)
follow straightforwardly from direct combination of the coordinate expression obtained in (12)
for E+
h − E
−
h with the graded commutators[
1
h
W+
h +
1
h
W−h −
2
h
W,
1
h
W+
h
]
= 2
(
1
h
W+
h −
1
h
W
)
,[
1
h
W+
h +
1
h
W−h −
2
h
W,
1
h
W−h
]
= 2
(
1
h
W − 1
h
W−h
)
. �
In the proof of Proposition 1 and in the subsequent results, we will make use of the following
lemma which follows straightforwardly from induction on N.
Lemma 3. For every A, B and for every s ∈ N, the graded commutator [A,Bs] satisfies the
summation formula
[A,Bs] =
s−1∑
r=0
Br[A,B]Bs−1−r.
Proposition 1. For any s ∈ N we have the following graded commuting relations:[
E±h +
n
2
I,
(
E+
h − E
−
h
)s]
= −s
(
E+
h − E
−
h
)s
,[
E±h +
n
2
I,
(
1
h
W±h
)s]
= s
(
1
h
W±h
)s
,[
E+
h − E
−
h ,
(
1
h
W±h
)s]
= s
(
2E±h + (n− s+ 1)I
)(1
h
W±h
)s−1
.
Proof. Recall that when [A,B] = ±B, Lemma 3 reduces to
[A,Bs] =
s−1∑
r=0
±BrBBs−1−r = ±sBs.
Combination of Lemma 2 with the above identity carrying the substitutions A = E±h + n
2 I
and B = E+
h − E
−
h /B = 1
hW
±
h yield[
E±h +
n
2
I,
(
E+
h − E
−
h
)s]
= −s
(
E+
h − E
−
h
)s
,[
E±h +
n
2
I,
(
1
h
W±h
)s]
= s
(
1
h
W±h
)s
.
For the proof of[
E+
h − E
−
h ,
(
1
h
W±h
)s]
= s
(
2E±h + (n− s+ 1)I
)(1
h
W±h
)s−1
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 9
recall that the relations [E±h + n
2 I,
1
hW
±
h ] = 1
hW
±
h provided from Lemma 2 are equivalent to the
intertwining properties 1
hW
±
h
(
E±h + n
2 I
)
=
(
E±h +
(
n
2 − 1
)
I
)
1
hW
±
h .
Induction over r = 1, . . . , s− 1 gives(
1
h
W±h
)r (
E±h +
n
2
I
)
=
(
E±h +
(n
2
− r
)
I
)(1
h
W±h
)r
.
Finally, the direct application of Lemma 3 carrying the substitutions A = E+
h − E−h and
B = 1
hW
+
h results into[
E+
h − E
−
h ,
(
1
h
W±h
)s]
=
s−1∑
r=0
(
1
h
W±h
)r
2
(
E±h +
n
2
I
)(1
h
W±h
)s−1−r
=
s−1∑
r=0
2
(
E±h +
(n
2
− r
)
I
)(1
h
W±h
)s−1
= s
(
2E±h + (n− s+ 1)I
)(1
h
W±h
)s−1
. �
Now let m0(x;h) be a Clifford-vector-valued polynomial that satisfies the set of equations
E+
h m0(x;h) = E−h m0(x;h) = 0. The intertwining relations E±h
(
1
hW
±
h
)s
=
(
1
hW
±
h
)s
(E±h + sI)
that yield from
[
E±h + n
2 I,
(
1
hW
±
h
)s]
= s
(
1
hW
±
h
)s
(see Proposition 1) lead to
E+
h
[(
1
h
W+
h
)s
m0(x;h)
]
= s
(
1
h
W+
h
)s
m0(x;h),
E−h
[(
1
h
W−h
)s
m0(x;h)
]
= s
(
1
h
W−h
)s
m0(x;h).
Then it is straightforward to see that the basis functions of the form ws(x;h) =
(
1
hW
+
h
)s
m0(x;h)
and ws(x;−h) =
(
1
hW
−
h
)s
m0(x;h) satisfy the following set of ladder operator relations:
1
h
W+
h ws(x;h) = ws+1(x;h),(
E+
h − E
−
h
)
ws(x;h) = s(s+ n+ 1)ws−1(x;h), (14)(
E+
h +
n
2
I
)
ws(x;h) =
(
s+
n
2
)
ws(x;h);
1
h
W−h ws(x;−h) = ws+1(x;−h),(
E+
h − E
−
h
)
ws(x;−h) = s(s+ n+ 1)ws−1(x;−h), (15)(
E−h +
n
2
I
)
ws(x;−h) =
(
s+
n
2
)
ws(x;−h).
We are now in conditions to construct the positive, resp. negative, part for the discrete series
representation carrying the group SU(1, 1) in the same order of ideas of [17, Section 6.4]. Recall
that for the given set of generators 1
hW
+
h , 1
hW
−
h and 1
hW of su(1, 1), the graded commuting
relations (10) endow a ∗-structure defined viz
(
1
hW
)∗
= 1
hW and
(
1
hW
+
h
)∗
= − 1
hW
−
h . A direct
computation shows that the Casimir operator
Kh =
(
1
h
W
)2
− 1
2
(
1
h
W+
h
1
h
W−h +
1
h
W−h
1
h
W+
h
)
(16)
determines all irreducible unitary representations πλ of SU(1, 1) on the enveloping algebra
U(su(1, 1)) through its eigenvalues λ. Moreover, the positive series representation π+λ labelled
by λ is thus determined by the set of ladder operators
π+λ
(
1
h
W−h
)
= E+
h − E
−
h , π+λ
(
1
h
W+
h
)
=
1
h
W+
h , π+λ
(
1
h
W
)
= E+
h +
n
2
I,
π+λ (Kh) =
(
E+
h +
n
2
I
)(
E+
h +
(n
2
− 1
)
I
)
−
W+
h
h
(
E+
h − E
−
h
)
10 N. Faustino
underlies the representation space `2(N0) carrying the family of subspaces (Hs;h)s∈N0 of the form
Hs;h =
{
ws(x;h) =
(
1
h
W+
h
)s
m0(x;h) ∈ P : E+
h m0(x;h) = E−h m0(x;h) = 0
}
,
while the negative ones is thus determined by the set of ladder operators
π−λ
(
1
h
W−h
)
=
1
h
W−h , π−λ
(
1
h
W+
h
)
= E+
h − E
−
h , π−λ
(
1
h
W
)
= −E−h −
n
2
I,
π−λ (Kh) =
(
E−h +
n
2
I
)(
E−h +
(n
2
− 1
)
I
)
−
W−h
h
(E+
h − E
−
h )
and underlies the representation space `2(N0) carrying the family of subspaces (Hs;−h)s∈N0 of
the form
Hs;−h =
{
ws(x;−h) =
(
1
h
W−h
)s
m0(x;h) ∈ P : E+
h m0(x;h) = E−h m0(x;h) = 0
}
.
A short computation based on the ladder operator properties (14) and (15) shows that the
positive/negative discrete series representations π+λ /π
−
λ of the Lie group SU(1, 1) are labeled by
the constants λ = n2
4 −
n
2 − 2s, with s ∈ N0.
Remark 1. In the context of quantum mechanical systems, this framework may be derived
as consequence of a more general result – the so-called Crum’s theorem (cf. [14, Subsec-
tions 2.2, 2.3]).
3.2 The action of SO(n) on the lattice
With the aim of understanding the action of SO(n) on the lattice hZn as a representation
theory carrying canonical generators which are invariant with respect to the orthogonal Lie
algebra so(n), we will first recall some basic concepts and observations about SO(n) and so(n)
in the context of Clifford algebras.
Let us denote by B(x, y) = −1
2(xy + yx) the bilinear form generated by the Clifford vector
representations x =
n∑
j=1
xjej and y =
n∑
j=1
yjej of Rn. The set of matrices T : Rn → Rn with
determinant equals 1 for which B(Tx, Ty) = B(x, y) forms a group under the operation of
composition. This group is called the special orthogonal group of rotations and it is denoted
by SO(n).
Let us take a close look for the SO(n)-action on the lattice hZn given by the left regular
representation
Λ(T )f(x) = f
(
T−1x
)
with T ∈ SO(n), f ∈ P and x ∈ hZn. (17)
In order to proceed, one can select from SO(n) the 1-parameter subgroups elements T±hjk (θ) =
exp
(
θS±hjk
)
generated by exponentiation from the Lie algebra elements S±hjk ∈ so(n) (1 ≤ j <
k ≤ n) in such way that each S±hjk is skew-symmetric, i.e. S±hjk = −S±hkj .
In particular, the canonical elements of the form
S+h
jk = µ−1w
(
xj +
h
2
)
∂+kh − µ
−1w
(
xk +
h
2
)
∂+jh ,
S−hjk = µ−1w
(
xj −
h
2
)
∂−kh − µ
−1w
(
xk −
h
2
)
∂−jh (18)
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 11
that correspond to the discrete counterparts of the classical angular momentum operators Ljk =
xj∂xk−xk∂xj , endow the left representations of SO(n) acting on each subspace Hs;h, resp. Hs;−h
of P, that is Λ
(
T+h
jk (θ)
)
= exp
(
θS+h
jk
)
, resp. Λ
(
T−hjk (θ)
)
= exp
(
θS−hjk
)
.
It is straightforwardly to see from (8) that the operator E+
h − E
−
h commutes with the skew-
symmetric elements (18) belonging in this way to the center of the enveloping algebra U(so(n)).
Then E+
h − E−h commutes with all left regular representations Λ
(
T+h
jk (θ)
)
, resp. Λ
(
T−hjk (θ)
)
,
of SO(n) and so E+
h − E
−
h commutes with all left regular representations of the form (17).
By virtue of the above Lie algebraic representation we have shown that the family of subspaces
(Hs;±h)s∈N0
of P are SO(n)-invariant on hZn with respect to E+
h −E
−
h , and so, to all the operators
encoded by left-regular representations of SO(n) on hZn.
Remark 2. The left regular representations Λ
(
T±hjk (θ)
)
of SO(n) on the lattice hZn are canon-
ically isomorphic to standard left regular representations Λ(Tjk(θ)) of SO(n) on Rn given in
terms of rotations on the 2-dimensional plane with coordinates (xj , xk) (cf. [17, Chapter 9.1]).
Indeed, the Clifford-vector-valued extension of the classical Sheffer map Ψx from R[x] to P
defined by linearity from the mapping
Ψx :
n∏
j=1
x
αj
j 7→
n∏
j=1
(
W+j
h
)αj1, resp. Ψx :
n∏
j=1
x
αj
j 7→
n∏
j=1
(
W−jh
)αj1,
satisfies the intertwining relations Ψxxj = W+j
h Ψx and Ψx∂xj = ∂−jh Ψx, resp. Ψxxj = W−jh Ψx
and Ψx∂xj = ∂+jh Ψx.
This leads to the intertwining relations ΨxLjk = S+h
jk Ψx, resp. ΨxLjk = S−hjk Ψx, with Ljk =
xj∂xk − xk∂xj , and hence to the intertwining property below at the level of SO(n):
ΨxΛ (Tjk(θ)) = Λ
(
T±hjk (θ)
)
Ψx.
This in turn shows that the 1-parameter representation T+h
jk (θ), resp. T−hjk (θ) of SO(n), on hZn
is canonically isomorphic to to the 1-parameter representation Tjk(θ) of SO(n) on Rn.
3.3 The Howe dual pair (SO(n), su(1, 1))
Along this section we will study subspaces of Clifford-vector-valued polynomials which are invari-
ant under the action of the SO(n)× su(1, 1)-module. The ladder properties (14) and (15) reveal
that for each s ∈ N0 the representation π+λ
(
1
hW
+
h
)
= 1
hW
+
h , resp. π−λ
(
1
hW
−
h
)
= 1
hW
−
h , maps
Hs;h, resp. Hs;−h, into Hs+1;h, resp. Hs+1;−h, while π+λ
(
1
hW
−
h
)
= π−λ
(
1
hW
+
h
)
= E+
h −E
−
h maps
Hs;h ∩ Hs;−h onto the trivial space {0}. Also, the positive/negative representations π±λ
(
1
hW
)
,
resp. π±λ (Kh), leave the the subspace Hs;h, resp. Hs;−h, invariant. Here W and Kh denote the
multiplication and the Casimir operator labeled by (9) and (16), respectively.
In addition, for any r = 0, 1, . . . , s− 1, the Clifford-vector-valued polynomial spaces(
1
h
W±h
)r
(Hs−r;h ∩Hs−r;−h) =
{(
1
h
W±h
)r
ms−r(x;h) : ms−r(x;h) ∈ Hs−r;h ∩Hs−r;−h
}
are also invariant under the action of π+λ
(
1
hW
)
and π+λ (Kh), resp. π−λ
(
1
hW
)
and π−λ (Kh).
So, each SO(n)-invariant subspace Hs;h, resp. Hs;−h, of P is isomorphic to the family of sub-
spaces
(
1
hW
+
h
)r
(Hs−r;h ∩Hs−r;−h), resp.
(
1
hW
−
h
)r
(Hs−r;h ∩Hs−r;−h), with r = 0, . . . , s. This
means that each Hs;h, resp. Hs;−h, appears with infinite multiplicity.
In addition, since
(
1
hW
+
h
)r
(Hs−r;h ∩Hs−r;−h) = {0} =
(
1
hW
−
h
)r
(Hs−r;h ∩Hs−r;−h) if and
only if s = r, by virtue of ladder operator relations (14), resp. (15), one can infer that the direct
12 N. Faustino
sum decomposition(
1
h
W+
h
)r
(Hs−r;h ∩Hs−r;−h) = Vh ⊕Wh,
resp.
(
1
h
W−h
)r
(Hs−r;h ∩Hs−r;−h) = Vh ⊕Wh,
only fulfils for the subspaces Vh =
(
1
hW
+
h
)r
(Hs−r;h ∩Hs−r;−h) and Wh = {0}, resp. Vh =(
1
hW
−
h
)r
(Hs−r;h ∩Hs−r;−h) and Wh = {0}. This means that the SO(n)-invariant subspaces(
1
hW
+
h
)r
(Hs−r;h ∩Hs−r;−h), resp.
(
1
hW
−
h
)r
(Hs−r;h ∩Hs−r;−h), of P are also irreducible.
In order to collect the infinite multiplicities of π+λ /π
−
λ carrying the eigenvalues λ = n2
4 −
n
2 − 2s of the Casimir operator (16), it remains to investigate the su(1, 1)-action on P regarded
as a SO(n) × su(1, 1)-module that yields the Howe dual pair (SO(n), su(1, 1)). For a sake of
readability, the Howe dual pair construction will be only sketched. Further details arising this
construction can be found in [10, Chapters 4 & 5].
First, notice that the above set of properties produces the following infinite triangle as a chain
diagram carrying the families of subspaces (Hs;h)s∈N0
, resp. (Hs;−h)s∈N0
:
{0} H0;±h ← H1;±h ← H2;±h ← . . .
{0} H0;h ∩H0;−h ← 1
hW
+
h (H0;h ∩H0;−h) ← ( 1
hW
±
h )2 (H0;h ∩H0;−h) ← . . .
⊕ ⊕ ⊕
{0} H1;h ∩H1;−h ← 1
hW
+
h (H1;h ∩H1;−h) ← . . .
⊕ ⊕
{0} H2;h ∩H2;−h ← . . .
⊕
{0} ← . . .
. . .
In the above triangle diagram, the representations π+λ
(
1
hW
−
h
)
= π−λ
(
1
hW
+
h
)
= E+
h − E
−
h –
the Fourier duals of π±λ
(
1
hW
±
h
)
– act as isomorphisms that shift each individual summand from
the right to the left. The first line gives the direct sum decomposition of P in terms of the
SO(n)-invariant pieces Hs;h, resp. Hs;−h, through hZn, i.e.
P =
∞⊕
s=0
Hs;h =
∞⊕
s=0
Hs;−h.
Also, for each s ∈ N0 the (s + 1)-row (which is infinite-dimensional) give rise to su(1, 1)-
modules isomorphic to the SO(n)-module Hs;h, resp. Hs;−h, while the (s+ 1)-column provides
the splitting of the subspace Hs;h, resp. Hs;−h, as a direct sum in terms of the irreducible pieces(
1
hW
+
h
)r
(Hs−r;h ∩Hs−r;−h), resp.
(
1
hW
−
h
)r
(Hs−r;h ∩Hs−r;−h):
Hs;h =
s⊕
r=0
(
1
h
W+
h
)r
(Hs−r;h ∩Hs−r;−h) ,
Hs;−h =
s⊕
r=0
(
1
h
W−h
)r
(Hs−r;h ∩Hs−r;−h) .
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 13
These chain decompositions lead, in a multiplicity free way, to the following Fourier decom-
positions of P:
P =
∞⊕
s=0
s⊕
r=0
(
1
h
W+
h
)r
(Hs−r;h ∩Hs−r;−h) ,
P =
∞⊕
s=0
s⊕
r=0
(
1
h
W−h
)r
(Hs−r;h ∩Hs−r;−h) . (19)
Remark 3. The algebra of endomorphisms End(P) encoded on the Fourier decompositions (19)
is the so-called Weyl algebra of polynomial operators (cf. [10, Chapter 4]).
4 Families of special functions
4.1 Hypergeometric series representations
Proposition 2. Any sequence of polynomials {ms(x;h) : s ∈ N0} satisfying the set of eigenvalue
equations E+
h ms(x;h) = E−h ms(x;h) = sms(x;h) is determined in a unique way as
ms(x;h) = γsws(x;±h) with ws(x;±h) ∈ Hs;±h and γs ∈ R.
Moreover, the constants γs are given by
γs =
s∑
r=0
(−1)r(−s− n− 1)r
(−2s− n+ 2)r
(
s
r
)
.
Hereby (a)r = a(a+ 1) · · · (a+ r − 1) denotes the Pochhammer symbol.
Proof. To prove this, let us consider the family {ms(x;h) : s ∈ N0} of Clifford-vector-valued
polynomials, each of them given as a solution of the eigenvalue equations
E+
h ms(x;h) = E−h ms(x;h) = sms(x;h). (20)
From the Fourier decompositions labeled by (19) each ws(x;±h) ∈ Hs;h may be written in
a unique way as
ws(x;±h) =
s∑
r=0
(
1
h
W±h
)r
ms−r(x;h).
From the ladder operator relations (14) and (15), one obtain, for any r = 0, 1, . . . , s, the map-
ping property
(
1
hW
±
h
)r (
E+
h − E
−
h
)r
: Hs;±h → Hs;±h. Then, for a given polynomial sequence
{ws(x; τ) : s ∈ N0} of P, one can compute each ms(x;h) from the formulae
ms(x;h) =
s∑
r=0
cr,s
(
1
h
W±h
)r
w̃s−r(x;±h). (21)
where w̃s−r(x;±h) =
(
E+
h − E
−
h
)r
ws(x;±h) and the constants cr,s ∈ R are determined from
the constraint (20).
Combination of the graded commuting relation provided from Proposition 1:[
E+
h − E
−
h ,
(
1
h
W±h
)r]
= r(2E±h + (n− r + 1)I)
(
1
h
W±h
)r−1
14 N. Faustino
with the eigenvalue properties
E±h
[(
1
h
W±h
)r−1
w̃s−r(x;±h)
]
= (s− 1)
(
1
h
W±h
)r−1
w̃s−r(x;±h)
lead to the recursive relations
(
E+
h − E
−
h
) [(1
h
W±h
)r
w̃s−r(x;±h)
]
= r(2s+ n− r − 1)
(
1
h
W±h
)r−1
w̃s−r(x;±h) +
(
1
h
W±h
)r
w̃s−r−1(x;±h)
and moreover, to the following linear expansions
E+
h ms(x;h)− E−h ms(x;h) =
s∑
r=1
dr,s
(
1
h
W±h
)r
w̃s−r−1(x;±h),
where the coefficients dr,s are given by dr,s = (r + 1)(2s+ n− r − 2)cr+1,s + cr,s.
Hence ms(x;h) satisfies the constraint (20) if and only if dr,s = 0 holds for every r =
0, 1, . . . , s, that is, each cr,s is determined from the condition c0,s = 1 and from the constraint
cr+1,s =
cr,s
(r + 1)(−2s− n+ r + 2)
.
Therefore
cr,s =
r∏
q=1
1
q(−2s− n+ q + 1)
=
1
r!(−2s− n+ 2)r
.
Now it remains to show the relations ms(x;h) = γsws(x;±h). Iterating r times the operator
E+
h − E
−
h , one obtain from (14) the recursive relations
(
E+
h − E
−
h
)r
ws(x;h) = (−1)r
s!
(s− r)!
(−s− n)rws−r(x;h),(
1
h
W+
h
)r
ws−r(x;h) = ws(x;h).
Then we have
(
1
hW
+
h
)r
w̃s−r(x;±h) = (−1)r s!
(s−r)!(−s−n− 1)rws(x;±h), and therefore, the
set of relations (21) are equivalent to ms(x;h) = γsws(x;±h), with
γs =
s∑
r=0
(−1)r(−s− n− 1)r
(−2s− n+ 2)r
(
s
r
)
. �
Remark 4. A simple computation involving the binomial identity (−1)r
(
s
r
)
= (−s)r
r! shows
that the constant γs corresponds to the s-term truncation of the hypergeometric function
2F1(a, b; c; z) =
∞∑
r=0
(a)r(b)r
(c)r
zr
r! labelled by the parameters a = −s−n−1, b = −s, c = −2s−n+2
and z = 1.
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 15
4.2 Application to Cauchy problems
On this section it will be studied families of Clifford-vector-valued polynomials given as solutions
of the following homogeneous Cauchy problem in [0,∞)× hZn:
∂tg(t, x) + E+
h g(t, x)− E−h g(t, x) = 0, t > 0,
g(0, x) = f(x), t = 0, (22)
E+
h g(t, x) = E−h g(t, x), t ≥ 0.
The solution of the Cauchy problem (22) may be written formally as g(t, x) = Eh(t)f(x) with
f(x) ∈
⊕∞
s=0Hs;h ∩ Hs;−h. Hereby Eh(t) = exp(tE−h − tE
+
h ) is a one-parameter representation
of the Lie group SU(1, 1).
Note that the graded commuting property
[
E+
h − E
−
h ,Eh(t)
]
= 0 for each t ≥ 0 assures that
(Eh(t))t≥0 is a semigroup, i.e.
Eh(0) = I and Eh(t+ τ) = Eh(t)Eh(τ) for all t, τ ≥ 0.
The next sequence of results will makes clear that, for any t ≥ 0, the operator Eh(t) leaves
the space of Clifford-vector-valued polynomials P invariant.
Lemma 4. We have the following intertwining properties carrying the semigroup operator
Eh(t) = exp(tE−h − tE
+
h ):(
tE−h + (1− t)E+
h
)
Eh(t) = Eh(t)E+
h ,(
1
h
W+
h − t
(
E+
h + E−h + nI
))
Eh(t) = Eh(t)
1
h
W+
h .
Proof. In order to start proving the intertwining property(
tE−h + (1− t)E+
h
)
Eh(t) = Eh(t)E+
h ,
one can start to compute, for each s ∈ N, the graded commutator
[
2E+
h + nI,
(
E−h − E
+
h
)s]
.
A short computation based on Lemma 2 shows that[
E+
h , E
−
h − E
+
h
]
=
[
E+
h +
n
2
I, E−h − E
+
h
]
= E+
h − E
−
h .
Thus, direct application of Lemma 3 for A = E+
h and B = E−h − E
+
h results into[
E+
h ,
(
E−h − E
+
h
)s]
= s
(
E+
h − E
−
h
) (
E−h − E
+
h
)s−1
.
This leads to
[
E+
h ,Eh(t)
]
=
∞∑
r=0
tr
r!
[
E+
h ,
(
E−h − E
+
h
)r]
=
∞∑
r=1
tr
(r − 1)!
(E+
h − E
−
h )
(
E−h − E
+
h
)r−1
=
(
tE+
h − tE
−
h
)
Eh(t).
Therefore, the above graded commuting relation is equivalent to the intertwining property
Eh(t)E+
h = (tE−h + (1− t)E+
h )Eh(t).
For the proof of
(
1
hW
+
h − t
(
E+
h + E−h + nI
))
Eh(t) = Eh(t) 1
hW
+
h , one needs to compute, for
every r ∈ N, the graded commutator
[
1
hW
+
h ,
(
E+
h − E
−
h
)r]
based on Lemma 3. First, recall that
16 N. Faustino
the relation [E−h − E
+
h , E
+
h + n
2 I] = E−h − E
+
h that follows from Lemma 2 is equivalent to the
intertwining property(
E−h − E
+
h
) (
E+
h +
n
2
I
)
=
(
E+
h +
(n
2
+ 1
)
I
) (
E−h − E
+
h
)
.
Induction over r ∈ N gives(
E−h − E
+
h
)r (
E+
h +
n
2
I
)
=
(
E+
h +
(n
2
+ r
)
I
) (
E−h − E
+
h
)r
.
On the other hand, from
[
1
hW
+
h , E
−
h − E
+
h
]
= 2E+
h + nI (see Lemma 2) and from direct
application of Lemma 3 results into the following set of relations carrying the generators A =
1
hW
+
h and B = E−h − E
+
h :[
1
h
W+
h ,
(
E−h − E
+
h
)s]
=
s−1∑
r=0
(
E−h − E
+
h
)r (
2E+
h + nI
) (
E−h − E
+
h
)s−1−r
=
s−1∑
r=0
(
2E+
h + (n+ 2r) I
) (
E−h − E
+
h
)s−1
= s
(
2E+
h + (n+ s− 1)I
) (
E+
h − E
−
h
)s−1
.
This leads to[
1
h
W+
h ,Eh(t)
]
=
∞∑
s=0
ts
s!
[
1
h
W+
h ,
(
E−h − E
+
h
)s]
=
∞∑
s=1
ts
(s− 1)!
(2E+
h + nI)
(
E−h − E
+
h
)s−1
+
∞∑
s=2
ts
(s− 2)!
(
E−h − E
+
h
)s−1
= t
(
E+
h + E−h + nI
)
Eh(t).
and hence, to the intertwining property(
1
h
W+
h − t
(
E+
h + E−h + nI
))
Eh(t) = Eh(t)
1
h
W+
h . �
Proposition 3. For any t ≥ 0 and s ∈ N0, we have the mapping property
Eh(t) : Hs;h ∩Hs;−h → Hs;h ∩Hs;−h.
Moreover the semigroup (Eh(t))t≥0 leaves invariant the space of Clifford-vector-valued polyno-
mials P.
Proof. Recall that from the Fourier decomposition (19) any f(x) ∈ P may be written uniquely
as
f(x) =
∞∑
s=0
s∑
r=0
(
1
h
W+
h
)s
ms−r(x;h),
where {ms(x;h) : s ∈ N} is a sequence of polynomials satisfying the set of eigenvalue equations
E+
h ms(x;h) = E−h ms(x;h) = sms(x;h).
From Lemma 4, one can easily see that the operator Eh(t) intertwines E+
h and tE−h + (1 −
t)E+
h . Since E+
h − E
−
h commutes with Eh(t), it follows that the set of functions ms(t, x;h) :=
Eh(t)ms(x;h) satisfy the coupled system of equations(
tE−h + (1− t)E+
h
)
ms(t, x;h) = sms(t, x;h),
(
E+
h − E
−
h
)
ms(t, x;h) = 0.
Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) 17
From the above system of equations, one can infer the eigenvalue relations E+
h ms(t, x;h) =
E−h ms(t, x;h) = sms(t, x;h). Thus we have shown the mapping property Eh(t) : Hs;h∩Hs;−h →
Hs;h ∩Hs;−h.
Finally, since the operator 1
hW
+
h − t
(
E+
h + E−h + nI
)
is canonically isomorphic to 1
hW
+
h , one
can see that
Eh(t)
[(
1
h
W+
h
)r
ms−r(x;h)
]
=
(
1
h
W+
h − t
(
E+
h + E−h + nI
))r
ms−r(t, x;h).
From the representation of E+
h + E−h + nI given by (12), one can conclude that the right-
hand side of the above relation is a Clifford-vector-valued polynomial but also an eigenfunction
of tE−h + (1− t)E+
h carrying the eigenvalue s ∈ N0.
Therefore Eh(t)f(x) =
∞∑
s=0
s∑
r=0
Eh(t)
[(
1
hW
+
h
)r
ms−r(x;h)
]
∈ P. �
Remark 5. One can see from a direct combination of Lemma 4 with (11) that for t = 0, the
polynomial solution provided from the initial condition g(0, x) = f(x) belongs to
⊕∞
s=0Hs;h
while for t = 1 the solution g(1, x) = Eh(1)f(x) belongs to
⊕∞
s=0Hs;−h. So, the semigroup
(Eh(t))t≥0 gives, in particular, a direct link between the positive series representation of SU(1, 1)
with the negative ones.
Remark 6. One can see from Lemma 4 that 1
2
(
1
hW
+
h + 1
hW
−
h
)
is the Fourier dual of E+
h −E
−
h
carrying the parameter t = 1
2 .
One can also deduce from Lemma 4 that the solutions of the eigenvalue problem
E+
h gs(t, x) + E−h gs(t, x) = 2sgs(t, x)
correspond to gs
(
1
2 , x
)
= Eh
(
1
2
)
f(x), with f(x) ∈ Hs;h. Moreover, given gs(1, x) ∈ Hs;−h, one
can compute gs
(
1
2 , x
)
by letting act the inverse of Eh
(
1
2
)
on gs(1, x), i.e.
gs
(
1
2
, x
)
= Eh
(
−1
2
)
gs(1, x).
The next corollary, that follows straightforwardly from the combination of the above propo-
sition with Proposition 2, fully characterize the Clifford-vector-valued polynomial solutions of
the Cauchy problem (22) as hypergeometric 0F1-series expansions.
Corollary 1. Let f(x) ∈
⊕∞
s=0Hs,h ∩ Hs,−h. If there is a sequence of polynomials {ws(x;h) :
s ∈ N0}, each of them belonging to Hs,h, then the solutions g(t, x) = Eh(t)f(x) of the Cauchy
problem (22) are given explicitly in terms of the hypergeometric 0F1-series expansion
f(x) =
∞∑
s=0
[0F1(−2s− n+ 2; ∂t)t
s]t=1ws(x;h),
where 0F1(c; z) denotes the hypergeometric function 0F1(c; z) =
∞∑
r=0
1
(c)r
zr
r! .
Proof. From Proposition 2 it follows that each f(x) ∈
⊕∞
s=0Hs,h ∩Hs,−h may be written as
f(x) =
∞∑
s=0
γsws(x;h) with γs =
s∑
r=0
(−1)r(−s− n− 1)r
(−2s− n+ 2)r
(
s
r
)
.
A short computation based on the lowering properties (∂t)
rts = s!
(s−r)! t
s−r for s ≥ r and
(∂t)
rts = 0 for s < r yields γs = [0F1(−2s− n+ 2; ∂t)t
s]t=1. �
18 N. Faustino
Acknowledgements
The work of the author was supported by the fellowship 13/07590-8 of FAPESP (S.P., Brazil)
and by the project PTDC/MAT/114394/2009 funded by FCT (Portugal) through the European
program COMPETE/FEDER. The author would like to thank to the anonymous referees for
the careful reading and for the criticism through the reports. This allows to improve the quality
of the former manuscript in a clever style and for Waldyr A. Rodrigues Jr. (IMECC–Unicamp)
for the careful reading of the final version and for the important remarks concerning Section 2.
The major part of this work was developed when the author was a research member of the
Centre for Mathematics from University of Coimbra (Portugal). The author wish to express
along these lines his gratitude to all members of the research centre for the excellent atmosphere
and for the constant support that made these last three years a pure enjoyment.
References
[1] Cartier P., Mathemagics (a tribute to L. Euler and R. Feynman), in Noise, Oscillators and Algebraic
Randomness (Chapelle des Bois, 1999), Lecture Notes in Phys., Vol. 550, Springer, Berlin, 2000, 6–67.
[2] De Ridder H., De Schepper H., Kähler U., Sommen F., Discrete function theory based on skew Weyl
relations, Proc. Amer. Math. Soc. 138 (2010), 3241–3256.
[3] De Ridder H., De Schepper H., Sommen F., Fueter polynomials in discrete Clifford analysis, Math. Z. 272
(2012), 253–268.
[4] Delanghe R., Sommen F., Souček V., Clifford algebra and spinor-valued functions. A function theory for the
Dirac operator, Mathematics and its Applications, Vol. 53, Kluwer Academic Publishers Group, Dordrecht,
1992.
[5] Di Bucchianico A., Loeb D.E., Rota G.C., Umbral calculus in Hilbert space, in Mathematical Essays in
Honor of Gian-Carlo Rota (Cambridge, MA, 1996), Progr. Math., Vol. 161, Birkhäuser Boston, Boston,
MA, 1998, 213–238.
[6] Dimakis A., Müller-Hoissen F., Striker T., Umbral calculus, discretization, and quantum mechanics on
a lattice, J. Phys. A: Math. Gen. 29 (1996), 6861–6876, quant-ph/9509014.
[7] Eelbode D., Monogenic Appell sets as representations of the Heisenberg algebra, Adv. Appl. Clifford Algebr.
22 (2012), 1009–1023.
[8] Faustino N., Kähler U., Fischer decomposition for difference Dirac operators, Adv. Appl. Clifford Algebr.
17 (2007), 37–58, math.CV/0609823.
[9] Faustino N., Ren G., (Discrete) Almansi type decompositions: an umbral calculus framework based on
osp(1|2) symmetries, Math. Methods Appl. Sci. 34 (2011), 1961–1979, arXiv:1102.5434.
[10] Goodman R., Wallach N.R., Representations and invariants of the classical groups, Encyclopedia of Mathe-
matics and its Applications, Vol. 68, Cambridge University Press, Cambridge, 1998.
[11] Howe R., Remarks on classical invariant theory, Trans. Amer. Math. Soc. 313 (1989), 539–570.
[12] Levi D., Tempesta P., Winternitz P., Umbral calculus, difference equations and the discrete Schrödinger
equation, J. Math. Phys. 45 (2004), 4077–4105, nlin.SI/0305047.
[13] Malonek H.R., Tomaz G., Bernoulli polynomials and Pascal matrices in the context of Clifford analysis,
Discrete Appl. Math. 157 (2009), 838–847.
[14] Odake S., Sasaki R., Discrete quantum mechanics, J. Phys. A: Math. Theor. 44 (2011), 353001, 47 pages,
arXiv:1104.0473.
[15] Sommen F., An algebra of abstract vector variables, Portugal. Math. 54 (1997), 287–310.
[16] Tempesta P., On Appell sequences of polynomials of Bernoulli and Euler type, J. Math. Anal. Appl. 341
(2008), 1295–1310.
[17] Vilenkin N.J., Klimyk A.U., Representation of Lie groups and special functions. Vol. 1. Simplest Lie groups,
special functions and integral transforms, Mathematics and its Applications (Soviet Series), Vol. 72, Kluwer
Academic Publishers Group, Dordrecht, 1991.
http://dx.doi.org/10.1007/3-540-45463-2_2
http://dx.doi.org/10.1090/S0002-9939-2010-10480-X
http://dx.doi.org/10.1007/s00209-011-0932-5
http://dx.doi.org/10.1007/978-94-011-2922-0
http://dx.doi.org/10.1088/0305-4470/29/21/017
http://arxiv.org/abs/quant-ph/9509014
http://dx.doi.org/10.1007/s00006-012-0330-z
http://dx.doi.org/10.1007/s00006-006-0016-5
http://arxiv.org/abs/math.CV/0609823
http://dx.doi.org/10.1002/mma.1498
http://arxiv.org/abs/1102.5434
http://dx.doi.org/10.2307/2001418
http://dx.doi.org/10.1063/1.1780612
http://arxiv.org/abs/nlin.SI/0305047
http://dx.doi.org/10.1016/j.dam.2008.06.009
http://dx.doi.org/10.1088/1751-8113/44/35/353001
http://arxiv.org/abs/1104.0473
http://dx.doi.org/10.1016/j.jmaa.2007.07.018
1 Introduction
2 Scope of problems
3 Clifford-vector-valued polynomials related with SU(1,1)
3.1 Discrete series representions of SU(1,1)
3.2 The action of SO(n) on the lattice
3.3 The Howe dual pair (SO(n),su(1,1))
4 Families of special functions
4.1 Hypergeometric series representations
4.2 Application to Cauchy problems
References
|
| id | nasplib_isofts_kiev_ua-123456789-149357 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T16:01:57Z |
| publishDate | 2013 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Faustino, N. 2019-02-21T07:12:33Z 2019-02-21T07:12:33Z 2013 Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) / N. Faustino // Symmetry, Integrability and Geometry: Methods and Applications. — 2013. — Т. 9. — Бібліогр.: 17 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 22E70; 30G35; 33C80; 39A12 DOI: http://dx.doi.org/10.3842/SIGMA.2013.065 https://nasplib.isofts.kiev.ua/handle/123456789/149357 Based on the representation of a set of canonical operators on the lattice hZn, which are Clifford-vector-valued, we will introduce new families of special functions of hypercomplex variable possessing su(1,1) symmetries. The work of the author was supported by the fellowship 13/07590-8 of FAPESP (S.P., Brazil) and by the project PTDC/MAT/114394/2009 funded by FCT (Portugal) through the European program COMPETE/FEDER. The author would like to thank to the anonymous referees for the careful reading and for the criticism through the reports. This allows to improve the quality of the former manuscript in a clever style and for Waldyr A. Rodrigues Jr. (IMECC–Unicamp) for the careful reading of the final version and for the important remarks concerning Section 2. The major part of this work was developed when the author was a research member of the Centre for Mathematics from University of Coimbra (Portugal). The author wish to express along these lines his gratitude to all members of the research centre for the excellent atmosphere and for the constant support that made these last three years a pure enjoyment. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) Article published earlier |
| spellingShingle | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) Faustino, N. |
| title | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) |
| title_full | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) |
| title_fullStr | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) |
| title_full_unstemmed | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) |
| title_short | Special Functions of Hypercomplex Variable on the Lattice Based on SU(1,1) |
| title_sort | special functions of hypercomplex variable on the lattice based on su(1,1) |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/149357 |
| work_keys_str_mv | AT faustinon specialfunctionsofhypercomplexvariableonthelatticebasedonsu11 |