Operator
is a polynomial in
but
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
so
can also be expressed as a polynomial in terms of shift operators
,
,
, and
converting the differential equation for
into a difference equation among contiguous instances of
which we call a contiguity relation.
Let
stand for
,
,
, or
and
stand for
,
,
, or
respectively. If we express
as a polynomial in
, then we get
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
where the
signs depend on
,
,
,
and whether
is
,
,
,
and
.
These results let us define
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
The coefficients of these polynomials in
,
,
,
and
are defined when
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
Operators
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
![](Images/indent.png)
are defined for all
,
,
, and
.
|