Groups, Special Functions and Rigged Hilbert Spaces

TL;DR

This paper explores the deep connections between Lie groups, special functions, and rigged Hilbert spaces, demonstrating how they form a unified mathematical framework in quantum mechanics.

Contribution

It establishes a comprehensive framework linking Lie group representations, special functions, and rigged Hilbert spaces, with detailed examples relevant to quantum mechanics.

Findings

Unified framework for Lie groups, special functions, and rigged Hilbert spaces.

Explicit representation of Lie algebra generators as unbounded operators.

Application to various quantum mechanical groups and functions.

Abstract

We show that Lie groups and their respective algebras, special functions and rigged Hilbert spaces are complementary concepts that coexist together in a common framework and that they are aspects of the same mathematical reality. Special functions serve as bases for infinite dimensional Hilbert spaces supporting linear unitary irreducible representations of a given Lie group. These representations are explicitly given by operators on the Hilbert space $\mathcal H$ and the generators of the Lie algebra are represented by unbounded self-adjoint operators. The action of these operators on elements of continuous bases is often considered. These continuous bases do not make sense as vectors in the Hilbert space, instead they are functionals on the dual space, $\Phi^\times$, of a rigged Hilbert space, $\Phi\subset \mathcal H \subset \Phi^\times$. As a matter of fact, rigged Hilbert spaces are the structures in which both, discrete orthonormal and continuous bases may coexist. We define the space of test vectors $\Phi$ and a topology on it at our convenience, depending on the studied group. The generators of the Lie algebra can be often continuous operators on $\Phi$ with its own topology, so that they admit continuous extensions to the dual $\Phi^\times$ and, therefore, act on the elements of the continuous basis. We have investigated this formalism to various examples of interest in quantum mechanics. In particular, we have considered, $SO(2)$ and functions on the unit circle, $SU(2)$ and associated Laguerre functions, Weyl-Heisenberg group and Hermite functions, $SO(3,2)$ and spherical harmonics, $su(1,1)$ and Laguerre functions, $su(2,2)$ and algebraic Jacobi functions and, finally, $su(1,1)\oplus su(1,1)$ and Zernike functions on a circle.

Equations

$$\Phi \subset \mathcal{H}\subset {\Phi }^{\times },$$

$$F(\alpha \psi +\beta \phi )={\alpha }^{\ast }F(\psi )+{\beta }^{\ast }F(\phi ),$$

$$F(\phi )=:⟨\phi |F⟩.$$

$$|⟨\phi |F⟩|\le K\{p_1(\phi )+p_2(\phi )+\cdots +p_m(\phi )\}.$$

$$F_{\phi }(\psi )=⟨\psi |F_{\phi }⟩:=⟨\psi |\phi ⟩,$$

$$q_j(F(\phi ))\le K\{p_1(\phi )+p_2(\phi )+\cdots +p_m(\phi )\},\forall \phi \in \Phi .$$

$$⟨\phi |AF⟩=⟨A^{†}\phi |F⟩,\forall \phi \in \Phi ,\forall F\in {\Phi }^{\times }.$$

$$⟨\phi |f(A)\psi ⟩={\int }_0^{\infty }f(\omega )⟨\phi |\omega ⟩⟨\omega |\psi ⟩d\omega ,$$

$$⟨\phi |F⟩=⟨U\phi |UF⟩,\forall \phi \in \Phi ,\forall F\in {\Phi }^{\times },$$

$$\begin{array}[]{lllclll}&\Phi&\subset&{\mathcal{H}}&\subset&\Phi^{\times}\\[5.69046pt] &\hskip-9.95863pt{U}\downarrow&&\hskip-8.5359pt{U}\downarrow&&\hskip-8.5359pt{U}\downarrow\\[5.69046pt] &\Psi&\subset&\mathcal{G}&\subset&\Psi^{\times}\end{array}\,.$$

$$f_m(\varphi ):=\frac{1}{\sqrt{2\pi }}{e}^{-im\varphi },\forall m\in \mathbb{Z},$$

$$f(\varphi )=\sum _{m\in \mathbb{Z}}{a}_m{f}_m(\varphi ),a_m\in \mathbb{C}$$

$$\sum_{n\in\mathbb{Z}}|a_{m}|^{2}=\big{|}\big{|}f(\phi)\big{|}\big{|}^{2}\,,$$

$$\big{|}\big{|}f(\phi)\big{|}\big{|}_{p}^{2}:=\sum_{m\in\mathbb{Z}}|a_{m}|^{2}\,|m+i|^{2p}<\infty\,,\qquad p=0,1,2\dots\,.$$

$$\begin{array}[]{lllclll}&\Psi&\subset&L^{2}(\mathcal{C})&\subset&\Psi^{\times}\\[5.69046pt] &\hskip-21.05519pt{U^{-1}}\downarrow&&\hskip-19.20569pt{U^{-1}}\downarrow&&\hskip-20.20164pt{U^{-1}}\downarrow\\[5.69046pt] &\Phi&\subset&{\mathcal{H}}&\subset&\Phi^{\times}\end{array}\,.$$

$$|f⟩=\sum _{m\in \mathbb{Z}}{a}_m|m⟩=\sum _{m=-\infty }^{\infty }{a}_m|m⟩,$$

$$⟨f|\varphi ⟩:=\frac{1}{\sqrt{2\pi }}\sum _{m=-\infty }^{\infty }{a}_m^{\ast }{e}^{im\varphi }⟹⟨m|\varphi ⟩=\frac{1}{\sqrt{2\pi }}{e}^{im\varphi }.$$

$$\begin{array}[]{lll}|\langle f|\phi\rangle|&\leq&\displaystyle\sum_{m=-\infty}^{\infty}|a_{m}|=\sum_{m=-\infty}^{\infty}\frac{|a_{m}|\,|m+i|}{|m+i|}\\[11.38092pt] &\leq&\displaystyle\sqrt{\sum_{m=-\infty}^{\infty}\frac{1}{|m+i|^{2}}}\;\sqrt{\sum_{m=-\infty}^{\infty}|a_{m}|^{2}\,|m+i|^{2}}=K\,\big{|}\big{|}\,|f\rangle\big{|}\big{|}_{1}\,,\end{array}$$

$$U|f⟩=\sum _{m=-\infty }^{\infty }{a}_{m}U|m⟩=\sum _{m=-\infty }^{\infty }{a}_m{f}_m(\varphi )=\sum _{m=-\infty }^{\infty }{a}_m\frac{1}{\sqrt{2\pi }}{e}^{-im\varphi }=⟨\varphi |f⟩=f(\varphi ).$$

$$⟨g|f⟩={\int }_0^{2\pi }{g}^{\ast }(\varphi )f(\varphi )d\varphi ={\int }_0^{2\pi }⟨g|\varphi ⟩⟨\varphi |f⟩d\varphi .$$

$$\mathbb{I}={\int }_0^{2\pi }|\varphi ⟩⟨\varphi |d\varphi .$$

$$|f⟩=\mathbb{I}|f⟩={\int }_0^{2\pi }|\varphi ⟩⟨\varphi |f⟩d\varphi ={\int }_0^{2\pi }f(\varphi )|\varphi ⟩d\varphi .$$

$$f(\varphi )=⟨\varphi |f⟩={\int }_0^{2\pi }⟨\varphi |{\varphi }^{\prime }⟩⟨{\varphi }^{\prime }|f⟩d{\varphi }^{\prime },$$

$$⟨\varphi |{\varphi }^{\prime }⟩=\delta (\varphi -{\varphi }^{\prime }).$$

$$\sum _{m=-\infty }^{\infty }|m⟩⟨m|=I,$$

$$|m⟩=\mathbb{I}|m⟩={\int }_0^{2\pi }|\varphi ⟩⟨\varphi |m⟩d\varphi =\frac{1}{\sqrt{2\pi }}{\int }_0^{2\pi }{e}^{-im\varphi }|\varphi ⟩d\varphi .$$

$$\mathbb{I}|{\varphi }^{\prime }⟩={\int }_0^{2\pi }|\varphi ⟩⟨\varphi |{\varphi }^{\prime }⟩d\varphi ={\int }_0^{2\pi }|\varphi ⟩\delta (\varphi -{\varphi }^{\prime })d\varphi =|{\varphi }^{\prime }⟩.$$

$$⟨g|F⟩=\sum _{m=-\infty }^{\infty }⟨g|m⟩⟨m|F⟩.$$

$$\begin{array}[]{lll}\displaystyle\sum_{m=-\infty}^{\infty}\big{|}\langle g|m\rangle\big{|}\cdot\big{|}\langle m|F\rangle\big{|}&\leq&\displaystyle C\sum_{m=-\infty}^{\infty}\big{|}\langle g|m\rangle\big{|}\cdot\big{|}m+i\big{|}^{p}=C\sum_{m=-\infty}^{\infty}\frac{\big{|}\langle g|m\rangle\big{|}}{\big{|}m+i\big{|}^{p}}\,\big{|}m+i\big{|}^{2p}\\[11.38092pt] &\leq&\displaystyle C\,\sqrt{\sum_{m=-\infty}^{\infty}\big{|}\langle g|m\rangle\big{|}^{2}\cdot\big{|}m+i\big{|}^{4p}}\times\sqrt{\sum_{m=-\infty}^{\infty}\frac{1}{\big{|}m+i\big{|}^{2p}}}=K\,\big{|}\big{|}g\big{|}\big{|}_{2p}\,,\end{array}$$

$$I|\varphi ⟩=|\varphi ⟩=\sum _{m=-\infty }^{\infty }|m⟩⟨m|\varphi ⟩=\frac{1}{\sqrt{2\pi }}\sum _{m=-\infty }^{\infty }{e}^{im\varphi }|m⟩.$$

Full text

Keywords: Rigged Hilbert spaces; discrete and continuous bases; special functions; Lie algebras; representations of Lie groups, harmonic analysis

1 Introduction

Harmonic analysis has undergone strong development since the first work by Fourier [1]. The main idea of the Fourier method is to decompose functions in a superposition of other particular functions, i.e, “special functions”. Since the original trigonometric functions used by Fourier many special functions, like the classical orthogonal polynomials [2], have been used generalising the original Fourier idea. In many cases such special functions support representations of groups and in this way group representation theory appears closely linked to harmonic analysis [3]. Another cruzial fact is that harmonic analysis is related to linear algebra and functional analysis, in the sense that elements of vector spaces or Hilbert spaces are decomposed in terms of orthogonal bases or operators as linear combinations of their eigenvalues (i.e applying the spectral theorem, see Theorem 1 in Section 2). In many occasions continuous bases and discrete bases are involved in the same framework, Hence the arena where all these objects fit in a precise mathematical way is inside a rigged Hilbert space. Hence we have a set of mathematical objects: classical orthogonal polynomials, Lie algebras, Fourier analysis, continuous and discrete bases and rigged Hilbert spaces fully incorporated in a harmonic frame that can bee used in quantum mechanics as well as in signal processing.

In a series of previous articles, we gave some examples showing that Lie groups and algebras, special functions, discrete and continuous bases and rigged Hilbert spaces (RHS) are particular aspects of the same mathematical reality, for which a general theory is needed. As a first step in the construction of this general theory, we want to present a compact review of the results which have been so far obtained by us and that can be useful in applications where harmonic analysis is involved.

Special functions play often the role of being part of orthonormal bases of Hilbert spaces serving as support of representations of Lie groups of interest in Physics. As is well known, decompositions of vectors of these spaces are given in terms of some sort of continuous basis, which are not normalisable and hence, outside the Hilbert space. The most popular formulation to allow the coexistence of these continuous bases with the usual discrete bases is the RHS, where the elements of continuous bases are well defined as functionals on a locally convex space densely defined as a subspace of the Hilbert space supporting the representation of the Lie group.

Thus, we have the need for a framework that includes Lie algebras, discrete and continuous bases and special functions, as building blocks of these discrete bases. In addition, it would be desirable to have structures in which the generators of the Lie algebras be well defined continuous operators on. The rigged Hilbert space comply with the requirements above mentioned.

All the cases presented here have applications not only in physics but in other sciences. In particular, Hermite functions are related to signal analysis in the real line and also with the fractional Fourier transform [4]. In [5] we have introduced a new set of functions in terms of the Hermite functions that give rise bases in $L^{2}(\mathcal{C})$ and in $l^{2}(\mathbb{Z})$ where $\mathcal{C}$ is the unit circle. Both bases are related by means of the Fourier transform and the discrete Fourier transform. In [6] we will present a systematic study of these functions as well as the corresponding rigged Hilbert space framework. Recently spherical harmonics are used in 3-dimensional signal processing with applications in geodesy, astronomy, cosmology, graph computation, vision computation, medical images, communications systems,… [7, 8, 9]. Zernike polynomials are well known for their applications in optics [10, 11, 12]. Moreover all of them can be considered as examples of harmonic analysis where the connection between groups, special functions and RHS fit together perfectly.

The paper is organized as follows. A brief description of RHS and their use in Physics and in Engineering is given in Section 2. In Section 3 it is discussed in details SO(2), related to the exponential $e^{{\bf i}m\phi}$, where the technical aspects are reduced to the minimum. Section 4 considers how Associated Laguerre Functions allow to construct two different RHS, one related to the integer spin and the other to half-integer spin of SU(2). In Section 5 an analysis is performed of the basic case of the line, where the fundamental ingredient of the RHS are the Fourier Transform, the Hermite Functions and the Weyl-Heisenberg group. Section 6 is devoted to the RHS constructed on Spherical Harmonics in relation with SO(3). In section 7 Laguerre Functions are used to construct another RHS related to SU(1,1). Jacobi Functions and the 15-dimensional algebra SU(2,2) are the bricks of a more large RHS which is studied in Section 8. The last example we discuss (Section 9) is the RHS constructed on the Zernike Functions and the algebra $su(1,1)\oplus su(1,1)$ (that should be used also in connection with the Laguerre Functions). Few remarks close the paper in Section 10.

2 Rigged Hilbert Spaces

The less popular among our ingredients is the concept of rigged Hilbert spaces, so that a short section devoted to this concept seems necessary. A rigged Hilbert space, also called Gelfand triplet, is a tern of spaces [13]

[TABLE]

where: i.) $\mathcal{H}$ is an infinite dimensional separable Hilbert space; ii.) $\Phi$ is a dense subspace of $\mathcal{H}$ endowed with a locally convex topology stronger, i.e., it has more open sets, than the Hilbert space topology that $\Phi$ has inhereted from $\mathcal{H}$; iii.) $\Phi^{\times}$ is the space of all continuous antilinear functionals on $\Phi$. Thus, $F\in\Phi^{\times}$ is a mapping $F:\Phi\longmapsto\mathbb{C}$ such that for any pair $\psi,\varphi\in\Phi$ and any pair of complex numbers $\alpha,\beta\in\mathbb{C}$, one has

[TABLE]

where the star denotes complex conjugation. The continuity is given with respect to the locally convex topology on $\Phi$ and the usual topology on the complex plane $\mathbb{C}$. Instead the notation in (2), we shall henceforth use the Dirac notation, which is quite familiar to physicists:

[TABLE]

In general, the topology on $\Phi$ is given by a family of seminorms. In the examples we have studied so far, the topology on $\Phi$ is given by a countable set of seminorms, where by countable we mean either finite or denumerable. As the topology on $\Phi$ is stronger than the Hilbert space topology, one of these seminorms could be chosen to be the Hilbert space norm.

Seminorms provide a nice criterion to determine whether a linear or antilinear functional over $\Phi$ is continuous. The linear or antilinear functional $F:\Phi\longmapsto\mathbb{C}$ is continuous if and only if, there exists a positive number $K>0$ and finite number of seminorms, $p_{1},p_{2},\dots,p_{m}$, taken from those that define the topology on $\Phi$ such that for any $\varphi\in\Phi$, we have [14]

[TABLE]

One typical example of functional is the following one. Pick an arbitrary $\varphi\in\Phi$ and define $F_{\varphi}$ as

[TABLE]

which is obviously antilinear on $\Phi$. Then, use the Schwarz inequality in $|\langle\psi|F_{\varphi}\rangle|\leq||\psi||\,||\varphi||$, take $K=||\varphi||$, $p_{1}(\psi):=||\psi||$, for all $\psi\in\Phi$ and use (4) so as to conclude the continuity of $F_{\varphi}$ on $\Phi$. However, not all elements of $\Phi^{\times}$ lie in this category. A typical counterexample is the Dirac delta.

Analogously, assume that $\Phi$ and $\Psi$ are two locally convex spaces with topologies given by the respective families of seminorms $\{p_{i}\}_{i\in\mathcal{I}}$ and $\{q_{j}\}_{j\in\mathcal{J}}$. A linear or antilinear mapping $F:\Phi\longmapsto\Psi$ is continuous if and only if for each seminorm $q_{j}$ on $\Psi$ there exists a positive constant $K>0$ and a finite number of seminorms, $p_{1},p_{2},\dots,p_{m}$, from those defining the topology on $\Phi$ such that

[TABLE]

Both, the constant $K$ and the seminorms $p_{1},p_{2},\dots,p_{m}$ depend on $q_{j}$, but not on $\varphi$. We shall use these results along the present article.

Less interesting is that the dual space $\Phi^{\times}$ may be endowed with the weak topology induced by $\Phi$. As is well known, the seminorms for this weak topology are defined as follows: for each $\varphi\in\Phi$, we define the seminorm $p_{\varphi}$ as $p_{\varphi}(F)=|\langle\varphi|F\rangle|$, for all $F\in\Phi^{\times}$.

Since the topology on $\Phi$ is stronger than the Hilbert space topology, the canonical injection $i:\Phi\longmapsto\mathcal{H}$, with $i(\varphi)=\varphi$, for all $\varphi\in\Phi$, is continuous. Furthermore, one may prove that the injection $i:\mathcal{H}\longmapsto\Phi^{\times}$ given by $i(\varphi):=F_{\varphi}$ (5) is one-to-one and continuous with respect to the Hilbert space topology on $\mathcal{H}$ and the weak topology on $\Phi^{\times}$ [13].

RHS have been introduced in Physics with the purpose of giving a rigorous mathematical background to the celebrated Dirac formulation of quantum mechanics, which is widely used by physicists. This mathematical formulation has been the objects of various publications [15, 16, 17, 18, 19, 20, 21]. In addition, rigged Hilbert spaces have been used in Physics or mathematics with various purposes that include:

1. A proper mathematical meaning for the Gamow vectors, which are the non-normalizable vectors giving the states of the exponentially decaying part of a quantum scattering resonance [22, 23, 24, 25].

2. Using Hardy functions on a half-plane [24, 25, 26], we may construct RHS that serve as a framework for an extension of ordinary quantum mechanics that accounts for time asymmetric quantum processes. One example of such processes is the quantum decay [27, 28, 29, 30, 31, 32].

3. Providing an appropriate context for the spectral decompositions of Koopman and Frobenius-Perron operators in classical chaotic systems in terms of the so called Pollicot-Ruelle resonances, which are singularities of the power spectrum [33, 34].

4. Some situations that arise in quantum statistical mechanics demand the use of generalized states and some singular structures that require the use of rigged Liouville spaces [35, 36, 37].

5. A proper definition of some of the structures that appear in the axiomatic theory of quantum fields, like Wightman functional, Borchers algebra, generalized states, etc, require of structures like the rigged Fock space [38, 39, 40]. Both rigged Liouville and Fock spaces are obvious generalizations of RHS.

6. White noise and other stochastic processes may also be formulated in the context of RHS [41, 42] as well as the study of certain solutions of partial differential equations [].

7. In the last years the RHS have appeared associated to time-frequency analysis and Gabor analysis that have many applications in physics and engineering related to signal proceesing [43, 44, 45, 46, 47, 48, 49, 50]. In particular, applications in electrical engineering have been introduced in [52, 53, 54].

One of the most interesting properties of RHS is the possibility of extending to the duals certain unbounded operators defined on domains including the space $\Phi$. Let us consider a linear operator $A:\Phi\longmapsto\mathcal{H}$ and let $A^{\dagger}$ its adjoint, which has the following properties:

1. For any $\varphi\in\Phi$, then, $A^{\dagger}\varphi\in\Phi$. One says that $\Phi$ reduces $A^{\dagger}$ or, equivalently, that $A^{\dagger}$ leaves $\Phi$ invariant, so that $A^{\dagger}\Phi\subset\Phi$. Note that we do not assume that $A\Phi\subset\Phi$, in general.

2. The adjoint $A^{\dagger}$ is continuous on $\Phi$.

Then, the operator $A$ may be extended to a continuous operator on $\Phi^{\times}$, endowed with the weak topology. For any $F\in\Phi^{\times}$, one defines $AF$ as by means of the following duality formula:

[TABLE]

One of the properties of the extension is that it is continuous on $\Phi^{\times}$ when this space has the weak topology.

In particular, if $A$ is a symmetric operator, formula (7) read as $\langle\varphi|AF\rangle=\langle A\varphi|F\rangle$. If $A$ were self-adjoint, there is always a subspace $\Phi$ with the following properties: i.) $\Phi$ dense in $\mathcal{H}$; ii.) $\Phi$ is a subspace of the domain of $A$; iii.) it is possible to endow $\Phi$ with a locally convex topology, finer than the Hilbert space topology, such that $A$ be continuous on $\Phi$. As a consequence, there exists a RHS, $\Phi\subset\mathcal{H}\subset\Phi^{\times}$ such that the self-adjoint operator $A$ may be extended to the dual $\Phi^{\times}$ and, henceforth, to a larger space than the original Hilbert space where $A$ is densely defined.

These ideas drive us to the important result known as the Gelfand-Maurin theorem [13, 55] that gives a spectral decomposition à la Dirac of a self-adjoint operator with continuous spectrum. We present it here in its simplest form in order not to enter in unnecessary complications and notations.

Theorem 1.-(Gelfand-Maurin) Let $A$ be a self-adjoint operator on a infinite dimensional separable Hilbert space $\mathcal{H}$, with simple absolutely continuous spectrum $\sigma(A)\equiv\mathbb{R}^{+}\equiv[0,\infty)$. Then, there exists a rigged Hilbert space $\Phi\subset\mathcal{H}\subset\Phi^{\times}$, such that:

1. $A\Phi\subset\Phi$ and $A$ is continuous on $\Phi$. Therefore, it may be continuously extended to $\Phi^{\times}$.

2. For almost all $\omega\in\mathbb{R}^{+}$, with respect to the Lebesgue measure, there exists a $|\omega\rangle\in\Phi^{\times}$ with $A|\omega\rangle=\omega\,|\omega\rangle$.

3. (Spectral decomposition) For any pair of vectors $\varphi,\psi\in\Phi$, and any measurable function $f:\mathbb{R}^{+}\longmapsto\mathbb{C}$, we have that

[TABLE]

with $\langle\omega|\psi\rangle=\langle\psi|\omega\rangle^{*}$.

4. The above spectral decomposition is implemented by a unitary operator $U:\mathcal{H}\longmapsto L^{2}(\mathbb{R}^{+})$, with $U\psi=\langle\omega|\psi\rangle=\psi(\omega)$ and $[UAU^{-1}]\psi(\omega)=\omega\,\psi(\omega)=\omega\langle\omega|\psi\rangle$ for any $\psi\in\Phi$ . This means that $UAU^{-1}$ is the multiplication operator on $U\Phi$.

*5. For any pre-existent RHS $\Phi\subset\mathcal{H}\subset\Phi^{\times}$, such that $A\Phi\subset\Phi$ with continuity and $A$ is an operator satisfying our hypothesis, then 2, 3 and 4 hold. *

This result will have some interest in our forthcoming discussion.

Two rigged Hilbert spaces $\Phi\subset\mathcal{H}\subset\Phi^{\times}$ and $\Psi\subset\mathcal{G}\subset\Psi^{\times}$ are unitarily equivalent if there exists a unitary operator $U:\mathcal{H}\longmapsto\mathcal{G}$ such that: i.) $U$ is a one-to-one mapping from $\Phi$ onto $\Psi$; ii.) $U:\Phi\longmapsto\Psi$ is continuous; iii.) its inverse $U^{-1}:\Psi\longmapsto\Phi$ is also continuous. Then, by using the duality formula

[TABLE]

we extend $U$ to a one-to-one mapping from $\Phi^{\times}$ onto $\Psi^{\times}$, which is continuous with the weak topologies on both duals and which has an inverse with the same properties. Resumming we have the following diagram

[TABLE]

3 SO(2): The basic example

To begin with, let us briefly summarize the most simple case that contains some general ingredients to be used in other situations [56]. Consider the unit circle in the plane, defined by $\mathcal{C}:=\{(x,y)\in\mathbb{R}^{2}\;;\;x^{2}+y^{2}=1\}$. As is well known, its group of invariance is $SO(2)$.

The Hilbert space on the unit circle is the space of measurable functions $f(\phi):\mathcal{C}\longmapsto\mathbb{R}$, which are square integrable. We denote this space as $L^{2}[0,2\pi)\equiv L^{2}(\mathcal{C})$. The set of functions

[TABLE]

where $\mathbb{Z}$ is the set of integer numbers, is an orthonormal basis in $L^{2}[0,2\pi)$. Then, each $f(\phi)\in L^{2}(\mathcal{C})$ admits a span of the form,

[TABLE]

with

[TABLE]

where $\mathbb{C}$ is the field of the complex numbers and \big{|}\big{|}f(\phi)\big{|}\big{|} is the norm of the function $f(\phi)$ on $L^{2}[0,2\pi)$.

3.1 Rigged Hilbert spaces associated to $L^{2}(\mathcal{C})$

To construct a RHS, let us consider the space $\Psi$ of the functions $f(\phi)\in L^{2}[0,2\pi)$ having the property,

[TABLE]

The countably family of norms \big{|}\big{|}-\big{|}\big{|}_{p} generates a metrizable topology on $\Psi$. The fact that this family includes $p=0$, shows that the canonical injection $\Psi\longmapsto L^{2}(\mathcal{C})$ is continuous. Let $\Psi^{\times}$ be the dual of $\Psi$ (continuous antilinear functionals on $\Psi$) with the weak topology induced by the dual pair $\{\Psi,\Psi^{\times}\}$. Then, $\Psi\subset L^{2}(\mathcal{C})\subset\Psi^{\times}$ is a RHS.

Along this particular and concrete RHS, we consider another one, unitarily equivalent to this and constructed as follows. Let us take an abstract infinite dimensional separable Hilbert space $\mathcal{H}$. We know that there is a unitary mapping $U\mathcal{H}\equiv L^{2}(\mathcal{C})$, in fact continuous. The sequence of vectors $\{|m\rangle\}_{m\in\mathbb{Z}}$, with $U|m\rangle=f_{m}(\phi)$, forms a orthonormal basis on $\mathcal{H}$. Then, following the comment at the end of Section 2, we may construct a RHS, $\Phi\subset\mathcal{H}\subset\Phi^{\times}$ unitarily equivalent to $\Psi\subset L^{2}(\mathcal{C})\subset\Psi^{\times}$, just by defining $\Phi:=U^{-1}\Psi$ and extending $U^{-1}$ as a continuous mapping from $\Psi^{\times}$ onto $\Phi^{\times}$, using the duality formula (9). More explicitly

[TABLE]

The mapping $U^{-1}$ also transport topologies, so that if $|f\rangle\in\Phi$ with

[TABLE]

then the topology on $\Phi$ is given by the set of norms \big{|}\big{|}\,|f\rangle\big{|}\big{|}_{p}^{2}=\sum_{m\in\mathbb{Z}}|a_{m}|^{2}\,(m+i)^{2p}.

One of the most important features of RHS is the possibility of using continuous and discrete bases within the same space. For any $\phi\in[0,2\pi)$, we define the ket $|\phi\rangle$ as a linear mapping from $\Phi$ into $\mathbb{C}$, such that for any $|f\rangle\in\Phi$, with $|f\rangle=\sum_{m\in\mathbb{Z}}a_{m}\,|m\rangle$, we have

[TABLE]

In order to prove that $|\phi\rangle$ is continuous as an antilinear functional on $\Phi$, we use the Cauchy-Schwarz inequality as follows:

[TABLE]

where the meaning of the constant $K$ is obvious. Then, continuity follows from (4) and, hence, $|\phi\rangle\in\Phi^{\times}$. Then, let us write $\langle\phi|f\rangle:=\langle f|\phi\rangle^{*}$. It becomes obvious that $\langle\phi|$ is a continuous linear functional on $\Phi$. Note that

[TABLE]

Let us consider two arbitrary vectors $|f\rangle,\,|g\rangle\in\Phi$ and their corresponding images in $\Psi$ by $U$: $f(\phi)=U\,|f\rangle$, $g(\phi)=U\,|g\rangle$, respectively. Since $U$ is unitary, it preserves scalar products, so that

[TABLE]

Omiting the arbitrary $|f\rangle,\,|g\rangle\in\Phi$, so as to obtain a relation of the type

[TABLE]

Then, observe that

[TABLE]

Now, let us compare (14) with (20). While (14) is a span of any vector $|f\rangle\in\Phi$ in terms of a discrete basis, (20) is a span of the same vector in terms of a continuous basis. Both bases belong to the dual space $\Phi^{\times}$, although the discrete basis is in both $\Phi$ and $\Phi^{\times}$ and the continuous basis only in $\Phi^{\times}$. The identity $\mathbb{I}$ is obviously the canonical injection from $\Phi$ into $\Phi^{\times}$. It is interesting that it may be inserted in the formal product $\langle\phi|f\rangle$, which is

[TABLE]

so that

[TABLE]

Discrete and continuous bases have clear analogies. Since the basis $\{|m\rangle\}$ is an orthonormal basis in $\mathcal{H}$, it satisfies the following completeness relation:

[TABLE]

where $I$ is the identity operator on both $\mathcal{H}$ and $\Phi$, so that it is somehow different to the identity $\mathbb{I}$ (19). The vectors $|m\rangle$ are in $\Phi$, so that they admit an expansion in terms of the continuous basis as in (20):

[TABLE]

We have two identities $\mathbb{I}$ (19) and $I$ (23) and both are quite different. First of all, the definitions of both identities are dissimilar. Furthermore, $\mathbb{I}$ cannot be extended to an identity on $\Phi^{\times}$, since operations like $\langle\phi|F\rangle$ for any $F\in\Phi^{\times}$ cannot be defined in general. As happens with the product of distributions, only some of these brackets are allowed. For example, if $|F\rangle=|\phi^{\prime}\rangle$, for $\phi^{\prime}$ fixed in $[0,2\pi)$. Then, clearly

[TABLE]

On the other hand, $I$ (23) can indeed be extended to the whole $\Phi^{\times}$. Let us write formally for any $g\in\Phi$ and any $F\in\Phi^{\times}$,

[TABLE]

First of all, observe that both $\langle g|m\rangle$ and $\langle m|F\rangle$ are well defined. The question is to know whether the sum in the r.h.s. of (26) converges. To show that this is indeed the case, we need the following result:

**Lemma 1.-**For any $F\in\Phi^{\times}$, there exists a constant $C>0$ and a natural $p$, such that $|\langle m|F\rangle|\leq C\,|m+i|^{p}$.

Proof.- It is just a mimic of the proof of Theorem V.14 in [14], page 143. $\blacksquare$

After Lemma 1, we may show the absolute convergence of the series in (26). For that recall that $g=\sum_{m=-\infty}^{\infty}\langle m|g\rangle\,|m\rangle$ and that $g\in\Phi$. Then,

[TABLE]

where $K=C$ times the second square root, which obviously converges. This shows the absolute convergence of (26). In consequence, the formal procedure of inserting the identity in (23) to $\langle g|f\rangle$ as in (26) is rigorously correct. Thus, we see that there exists a substantial difference between the identities (19) and (23). In addition, (23) gives a span of $|\phi\rangle$ in terms of the discrete basis $\{|m\rangle\}$ as follows:

[TABLE]

Compare (27) with the converse relation given by (24). It is easy to prove that the series in the r.h.s. of (27) converges in the weak topology on $\Phi^{\times}$.

3.2 About representations of $SO(2)$

We define the regular representation of $SO(2)$, $\mathcal{R}(\theta)$, on $L^{2}[0,2\pi)$ as

[TABLE]

This induces an equivalent representation, $R(\theta)$, supported on $\mathcal{H}$ by means of the unitary mapping $U$ as

[TABLE]

These representations preserve the RHS structure due to the following result:

**Lemma 2.- **For any $\theta\in[0,2\pi)$, $R(\theta)$ is a bicontinuous bijection on $\Phi$.

**Proof.- ** Let $|f\rangle\in\Phi$ with $\displaystyle f=\sum_{m=-\infty}^{\infty}a_{m}\,|m\rangle$. Then,

[TABLE]

Hence, $R(\theta)\Phi\subset\Phi$. Since $R^{-1}(\theta)=R(-\theta)$, we have that $R(-\theta)\Phi\subset\Phi$, so that $\Phi\subset R(\theta)\Phi$ and, consequently, $R(\theta)\Phi=\Phi$.

The continuity of $R(\theta)$ on $\Phi$ is trivial for any $\theta\in[0,2\pi)$ and, hence, its inverse is also continuous. $\blacksquare$

This result has some immediate consequences, such as i.) $R(\theta)$ can be extended to a continuous bijection on $\Phi^{\times}$, as a consequence of the duality formula (9); and ii.) $\mathcal{R}(\theta)$ is a bicontinuous bijection on $\Psi$ and also on $\Psi^{\times}$. A simple consequence of i.) is the following: since $f(\phi)=\langle\phi|f\rangle$ for all $f(\phi)\in\Psi$, we have that

[TABLE]

so that for any arbitrarily fixed $\theta\in[0,2\pi)$,

[TABLE]

In addition to the regular representation, there exists one unitary irreducible representation, UIR in the sequel, on $L^{2}[0,2\pi)$ for each value of $m\in\mathbb{Z}$ given by $\mathcal{U}_{m}(\phi):=e^{-im\phi}$. This induces a UIR on $\mathcal{H}$ given by $U_{m}(\theta)=U^{-1}\mathcal{U}(\phi)\,U=e^{-iJ\phi}$, where $J$ is the self-adjoint generator of all these representations. We know that for all $m\in\mathbb{Z}$, we have that

[TABLE]

Obviously, $J$ cannot be extended to a bounded operator on $\mathcal{H}$.

**Proposition 1.-**The self-adjoint operator $J$ is a well defined continuous linear operator on $\Phi$.

Proof.- We define the action of $J$ on any $\displaystyle|f\rangle=\sum_{m=-\infty}^{\infty}a_{m}\,|m\rangle\in\Phi$ as

[TABLE]

Then, for $p=0,1,2,\dots$, we have that

[TABLE]

which shows that for any $|f\rangle\in\Phi$, $J|f\rangle$ is a well defined vector on $\Phi$. This also shows the inequality valid for any $p=0,1,2,\dots$ and all $|f\rangle\in\Phi$,

[TABLE]

which proves the continuity of $J$ on $\Phi$, after (6). $\blacksquare$

All these properties show that $J$ may be extended to a weakly continuous linear operator on $\Phi^{\times}$. In order to determine its action on the functionals $|\phi\rangle$, let us consider the following derivation valid for all $f(\phi)\in\Psi$:

[TABLE]

It is a very simple exercise to show that this derivation is a well defined continuous linear operator on $\Psi$. Then, we define $D_{\phi}$ as

[TABLE]

The operator $iD_{\phi}$ is continuous and linear on $\Phi$. Moreover, it is symmetric on $\Phi$, so that it may be extended to a weakly continuous linear operator on $\Phi^{\times}$. In addition:

[TABLE]

This derivation is somehow unnecessary as we know from (33), (36) and (38) that $J=iD_{\phi}$. Here, we close the discussion on $SO(2)$.

4 $SU(2)$ and Associated Laguerre Functions

In the previous section, we have studied the relations between the Lie group $SO(2)$, the special functions $f_{m}(\phi)=\frac{1}{\sqrt{2\pi}}\,e^{-im\phi}$, for $m\in\mathbb{Z}$. We have constructed a couple of RHS, one based in the use of these functions, the other being an abstract RHS unitarily equivalent to the former. In the sequel, we are going to extend a similar formalism using instead the group $SU(2)$ and the associated Laguerre functions [57, 58].

The associate Laguerre functions [59, 60, 61], $L_{n}^{(\alpha)}(x)$ are functions depending for $n=0,1,2,\dots$ on the non-negative real variable $x\in[0,\infty)$ and a fixed complex parameter $\alpha$, which satisfy the following differential equation:

[TABLE]

Note that for $\alpha=0$, we obtain the Laguerre polynomials. In this presentation and for reasons to be clarified later, we are interested in those associated Laguerre functions such that $\alpha$ be an integer number, $\alpha\in\mathbb{Z}$.

4.1 Associated Laguerre Functions

It is also useful to introduce a set of alternative variables, such as $j:=n+\alpha/2$ and $m:=-\alpha/2$ with $|m|\leq j$ and $j-m\in\mathbb{N}$, $\mathbb{N}$ being the set of non-negative integers. Observe that $j$ is either positive integer or positive semi-integer, i.e. $n\in\mathbb{N}$, $\alpha\in\mathbb{Z}$ and $\alpha\geq-n$. Then, we define the following sequence of functions:

[TABLE]

These functions are symmetric with respect to to the exchange $m\leftrightarrow-m$. In addition, they satisfy the following orthonormality and completeness relations:

[TABLE]

It is also well known that, for a fixed value of $m$, the functions $\{\mathcal{L}_{j}^{m}(x)\}_{j=|m|}^{\infty}$ form an orthonormal basis for $L^{2}(\mathbb{R}^{+})$, $\mathbb{R}^{+}:=[0,\infty)$.

We may rewrite the differential equation (39) in terms of the functions $\mathcal{L}_{j}^{m}(x)$ as

[TABLE]

where

[TABLE]

The operators in (43) can be extended by linearity and closeness to domains dense in $L^{2}(\mathbb{R}^{+})$. Next, we formally define the following linear operators:

[TABLE]

which give the following relations:

[TABLE]

On the subspace spanned by linear combinations of the functions $\mathcal{L}_{j}^{m}(x)$, this gives the following commutation relations:

[TABLE]

which are the commutation relations for the generators of the Lie algebra $su(2)$. For each fixed value of $j$ integer or half-integer and $-j\leq m\leq j$, the space of the linear combinations of the functions $\mathcal{L}_{j}^{m}(x)$ support a $2j+1$ dimensional representation of $SU(2)$.

4.2 Associated Laguerre functions on the plane

In RHS the number of variables is equal to the number of parameters because the properties of $\Phi$ and $\Phi^{\times}$. In subsection 3.1 we discussed a RHS based on one parameter $m$ and one continuous variable $x$. An alternative is to introduce a new continuous variable $\phi$ and construct a RHS with two parameters $j$ and $m$ and two variables, the old one $x$ and this new one $\phi$. This point will be discussed in general in Section 10.

Then, we introduce an angular variable $\phi\in[-\pi,\pi]$ and the new functions:

[TABLE]

These functions satisfy the property $\mathcal{Z}_{j}^{m}(r,\phi+2\pi)=(-1)^{2j}\mathcal{Z}_{j}^{m}(r,\phi)$. After (42) and the change of variable $x\to r^{2}$, we obtain the following differential equation for $\mathcal{Z}_{j}^{m}(r,\phi)$:

[TABLE]

It is not difficult to obtain the orthonormality and completeness relations for the functions $\mathcal{Z}_{j}^{m}(r,\phi)$, which are

[TABLE]

This shows that the set of functions $\{\mathcal{Z}_{j}^{m}(r,\phi)\}$ forms a basis of $L^{2}(\mathbb{R}^{2},d\mu)$ with $d\mu(r,\phi):=r\,dr\,d\phi/\pi$. Observe the similitude with the set of spherical harmonics $\{Y_{j}^{m}(\theta,\phi)\}$, which forms a basis of the Hilbert space $L^{2}(S^{2},d\Omega)$.

Let $\mathcal{H}$ be an abstract infinite dimensional separable Hilbert space and $U$ a unitary mapping from $L^{2}(\mathbb{R}^{2})$ onto $\mathcal{H}$, $U:L^{2}(\mathbb{R}^{2})\longmapsto\mathcal{H}$. An orthonormal basis $\{|j,m\rangle\}$ in $\mathcal{H}$ is given by $|j,m\rangle:=U\mathcal{Z}_{j}^{m}(r,\phi)$, so that $\{|j,m\rangle\}$ satisfy the conditions of orthonormality and completeness:

[TABLE]

where $j_{min}=0$ for integer spins and $j_{min}={1/2}$ for half-integer spins.

After the two last equations in (43), we define

[TABLE]

so that

[TABLE]

where $j$ is a non-negative integer or half-integer and $m=-j,-j+1,\dots,j-1,j$.

Let us proceed with the definitions of some new objects. First of all, the operators $J_{\pm}$ and $~{}J_{3}$ on $L^{2}(\mathbb{R}^{2})$, which are

[TABLE]

The operators defined in (53) act on the functions $\mathcal{Z}_{j}^{m}(r,\phi)$ exactly as $K_{\pm}$ and $K_{3}$ on $\mathcal{L}_{j}^{m}(x)$, expressions given in (45). Also, we define the corresponding operators on $\mathcal{H}$ as

[TABLE]

so that

[TABLE]

4.3 Rigged Hilbert spaces associated to $L^{2}(\mathcal{R}^{2})$

On $\mathcal{H}$, we have already defined a pair of the discrete basis $\{|j,m\rangle\}$, one for integer values of $j$ and the other for half-integer values of $j$. In order to define continuous bases, we have to construct a suitable pair of RHS. Let us consider the space of all $|f\rangle\in\mathcal{H}$,

[TABLE]

where we have taken one of the choices for $j$, either integer or half-integer, such that they satisfy the following property:

[TABLE]

where, again, we may use either the basis with $j$ integer or with $j$ half-integer. We call $\Phi_{I}$ and $\Phi_{H}$ the resulting spaces, where the indices $I$ and $H$ mean “integer” and “half-integer”, respectively. This spaces are rather small. Nevertheless, they are still dense in $\mathcal{H}$, since they contain the orthonormal basis $\{|j,m\rangle\}$. We need this kind of topology in order to guarantee the continuity of the elements of the continuous basis, as shall see. Norms \big{|}\big{|}-\big{|}\big{|}_{p} endow both $\Phi_{I}$ and $\Phi_{H}$ of a structure of metrizable locally convex space and give a pair of unitarily equivalent RHS

[TABLE]

On these structures, it makes sense the existence of continuous bases, $\{|r,\phi\rangle\}$, as we can show right away. For each pair of values of $r$ and $\phi$, we define the following anti-linear mapping $|r,\phi\rangle$ as follows. Let $f(r,\phi):=U^{-1}\,|f\rangle$, $|f\rangle\in\mathcal{H}$ so that

[TABLE]

Then, define

[TABLE]

Note that for $|f\rangle=|j,m\rangle$, we have that

[TABLE]

As in the previous cases, we may define $\Psi_{I,H}:=U^{-1}\Phi_{I,H}$, so as to define two new RHS, which are unitarily equivalent to the (58). These are

[TABLE]

Then, $f(r,\phi)$ as in (59) is in $\Psi_{I}$ or in $\Psi_{H}$, if and only if the coefficients $a_{j,m}$ satisfy the relations (57). The kets $|r,\phi\rangle$, which are obviously linear on $\Phi_{I}$ and $\Phi_{H}$, are also continuous under the topologies induced by the norms $||-||_{p}$. This is a consequence of the next two results.

**Lemma 3.- **The functions $\mathcal{Z}_{j}^{m}(r,\phi)$ have the following upper bound:

[TABLE]

Proof.- To begin with, look at equation (40) and (47). Then, we use the following inequality, which has been given in [62]:

[TABLE]

Here, $k$ and $n$ are natural numbers, $\alpha\geq 0$, $x\geq 0$ and $(n+1)^{(k)}:=(n+1)(n+2)\dots(n+k)$ is the Pochhammer symbol.

We have to consider the cases $m<0$ and $m\geq 0$, as well as the condition $\alpha\geq 0$, which is necessary for the validity of inequality (4). All these two conditions are really only one since $m=-\alpha/2$ and the functions $\mathcal{L}_{j}^{m}(x)$ satify the following symmetry relation:

[TABLE]

Then, we discuss $m<0$. Here, we write $-m$ with $m\in\mathbb{N}$ instead. Take (40), where we replace $m$ by $-m$ and use (64). First, we have

[TABLE]

Then, complete $\mathcal{L}^{-m}_{j}(x)$ so as to obtain

[TABLE]

This result, along (65) and (47) gives (63). $\blacksquare$

**Theorem 2.-**Each of the kets $|r,\phi\rangle$ is a continuous anti-linear functional in both $\Phi_{I}$ and $\Phi_{H}$.

Proof.- It is a consequence of the previous lemma 3. From (60) and (63), we have the following inequalities, the first one in the second row being the Cauchy-Schwarz inequality,

[TABLE]

The second row in (68) is the product of two terms. The second one is the root of a convergent series. Let us denote this term by $C>0$. The expression under the square root in the first factor is bounded by

[TABLE]

so that

[TABLE]

which, along the linearity of $|r,\phi\rangle$ on $\Phi_{I,H}$, proves our assertion. $\blacksquare$

Formal relations between discrete $\{|j,m\rangle\}$ and continuous bases $\{|r,\phi\rangle\}$ are easy to find. Let us go back to (60). Due to the unitary relation between $L^{2}(\mathbb{R}^{+})$ and $\mathcal{H}$, we conclude that $a_{j,m}^{*}=\langle f|j,m\rangle$, so that $\displaystyle\langle f|r,\phi\rangle=\sum_{j=0}^{\infty}\sum_{m=-j}^{j}\langle f|j,m\rangle\,\mathcal{Z}_{j}^{m}(r,\phi)$ and, hence, omitting the arbitrary $|f\rangle\in\Phi_{I,H}$, we have that

[TABLE]

The inverse relation may be easily found taking into account the unitary mapping between $L^{2}(\mathbb{R}^{+})$ and $\mathcal{H}$, again. In fact, being given $|f\rangle,|g\rangle\in\Phi_{I,H}$, their scalar product gives:

[TABLE]

Then, if we choose $|g\rangle=|j,m\rangle$ and omit the arbitrary $|f\rangle\in\Phi_{I,H}$, we have the converse relation to (71) as

[TABLE]

Although this is implicit in the above expressions, it could be interesting to write the explicit spans of any $|f\rangle\in\Phi_{I,H}$ in terms of the discrete and continuous basis. These are

[TABLE]

and

[TABLE]

The continuity of the linear operators $\widetilde{J}$, $\widetilde{M}$, $\widetilde{J}_{\pm}$ and $\widetilde{J}_{3}$ is rather obvious. For instance, for any $|f\rangle\in\Phi_{I,H}$, we define

[TABLE]

so that, for any $p=0,1,2,\dots$

[TABLE]

This relation proves both, that $\widetilde{J}\,|f\rangle$ is in either $\Phi_{I,H}$ and the continuity of $\widetilde{J}$ in both spaces. Similar results can be obtained for the other operators: $\widetilde{M}$, $\widetilde{J}_{\pm}$ and $\widetilde{J}_{3}$ .

As a matter of fact, the topology (57) is too strong, if we just wanted to provide RHS for which the above operators be continuous. Take for instance the spaces of all $|f\rangle\in\mathcal{H}$ such that

[TABLE]

One of the spaces, $\Xi_{I}$, holds for $j$ integer and the other, $\Xi_{H}$, holds for $j$ half-integer. The above operators reduce both spaces $\Xi_{I,H}$ and are continuous on them. The proof is essentially identical as in the previous case. Thus, we have two sequences of rigged Hilbert spaces one for $j$ integer, labelled by $I$, and the other for $j$ half-integer, labelled by $H$, where all the inclusions are continuous:

[TABLE]

While the operators $\widetilde{J}$, $\widetilde{M}$, $\widetilde{J}_{\pm}$ and $\widetilde{J}_{3}$ are continuous on $\Phi_{I,H}$ and $\Xi_{I,H}$, we have introduce the topology (57) just to make sure of the continuity of the functionals $\{|r,\phi\rangle\}$. All these operators can be continuously extended to the duals. Note that $\widetilde{J}$, $\widetilde{M}$ and $\widetilde{J}_{3}$ are symmetric, although $\widetilde{J}_{\pm}$ are formal adjoint of each other.

5 Weyl-Heisenberg group and Hermite functions

Possibly, the better studied and the most widely used of the special functions are the Hermite functions. When properly normalized, the Hermite functions form an orthonormal discrete basis for $L^{2}(\mathbb{R})$ and have the form

[TABLE]

where $H_{n}(x)$ are the Hermite polynomials [59, 60, 61].

5.1 Continuous and discrete bases and RHS

In quantum mechanics for one-dimensional systems [63], one often uses a pair of continuous bases: the continuous bases in the coordinate and momentum representation, denoted as $\{|x\rangle\}$ and $\{|p\rangle\}$ respectively, with $x,p\in\mathbb{R}$. Kets $|x\rangle$ and $|p\rangle$ are eigenkets of the position operator $Q$ and momentum operator $P$, respectively: $Q|x\rangle=x|x\rangle$ and $P|p\rangle=p|p\rangle$. In order to define these objects and the continuous bases they produce, we need RHS [15]. Then, the ingredients in our construction are the following:

• •

The Schwartz space $S$ of all complex indefinitely differentiable functions of the real variable $x\in\mathbb{R}$, such as they and all their derivatives at all orders go to zero at the infinity faster than the inverse of any polynomial. The Schwartz space $S$ is endowed with a metrizable locally convex topology [14]. It is well known that $S$ is the first element of a RHS $S\subset L^{2}(\mathbb{R})\subset S^{\times}$. Note that the Fourier transform leaves this triplet invariant.

• •

An abstract infinite-dim. separable Hilbert space $\mathcal{H}$ along a fixed, although arbitrary, unitary operator $U:\mathcal{H}\to L^{2}(\mathbb{R})$. If $\Phi:=U^{-1}S$ and we transport the locally convex topology from $S$ to $\Phi$ by $U^{-1}$, we have a second RHS $\Phi\subset\mathcal{H}\subset\Phi^{\times}$, unitarily equivalent to $S\subset L^{2}(\mathbb{R})\subset S^{\times}$.

• •

For any $|f\rangle\in\Phi$ and any $x_{0}\in\mathbb{R}$, we define $\langle f|x_{0}\rangle:=f(x_{0})$, where $f(x):=U|f\rangle$, so that $f(x)\in S$. Analogously, for any $p_{0}\in\mathbb{R}$, we define

[TABLE]

Vectors $|x\rangle,|p\rangle\in\Phi^{\times}$ for any $x,p\in\mathbb{R}$ [64].

• •

Define $\widetilde{Q}f(x):=xf(x)$ and $\widetilde{P}f(x):=-if^{\prime}(x)$, for all $f(x)\in S$, where the prime means derivative. Let $Q:=U^{-1}\widetilde{Q}U$ and $P:=U^{-1}\widetilde{P}U$. Then, for given $x_{0}\in\mathbb{R}$, $\langle Qf|x_{0}\rangle=x_{0}f(x_{0})$, so that $\langle f|Q|x_{0}\rangle=x_{0}f(x_{0})=x_{0}\langle f|x_{0}\rangle$, which implies that $Q|x_{0}\rangle=x_{0}|x_{0}\rangle$. We have used the same notation for $Q$ and its extension to $\Phi^{\times}$. Analogously, $P|p_{0}\rangle=p_{0}|p_{0}\rangle$, for any $p_{0}\in\Phi^{\times}$.

• •

Since $U$ is unitary, it preserves scalar products, so that for arbitrary $|g\rangle,|f\rangle\in\Phi$, we have

[TABLE]

which defines the following identity:

[TABLE]

which is the canonical injection $I:\Phi\longmapsto\Phi^{\times}$ with $I|f\rangle\in\Phi^{\times}$ for any $|f\rangle\in\Phi$. Another representation of this identity is

[TABLE]

This means that, for any $|f\rangle\in\Phi$, $I|f\rangle\in\Phi^{\times}$ can be written as

[TABLE]

and

[TABLE]

• •

The conclusion of the above paragraph is that either set of vectors $\{|x\rangle\}$ and $\{|p\rangle\}$ forms a continuous basis for the vectors in $\Phi$. In addition, we have a discrete basis on $\mathcal{H}$ defined as

[TABLE]

which has the properties,

[TABLE]

where $\mathbb{I}$ is the identity operator on $\mathcal{H}$. For any $|f\rangle=\sum_{n=0}^{\infty}a_{n}|n\rangle\in\Phi$, we have that

[TABLE]

so that

[TABLE]

identity that makes sense in $\Phi^{\times}$. Taking into account (83), (89) and that $\langle n|x\rangle=\psi_{n}(x)$, we may invert formula (90). Take an arbitrary $|f\rangle\in\Phi$:

[TABLE]

so that, if we omit the arbitrary bra $\langle f|$, we conclude that

[TABLE]

identity that makes sense in $\Phi^{\times}$. Another property can be easily shown from (67) and $f(x)=\langle x|f\rangle\in\Phi$:

[TABLE]

• •

Analogously, in the momentum representation, we have that

[TABLE]

since the Fourier transform of $\psi_{n}(x)$ is $(-i)^{n}\psi_{n}(p)$

[TABLE]

and $\langle p|p^{\prime}\rangle=\delta(p-p^{\prime})$.

5.2 The Weyl-Heisenberg Lie algebra

Let us consider the following operators, defined by their action on the normalized Hermite functions [65] :

[TABLE]

for $n=0,1,2,\dots$. These operators can be uniquely extended to $S$, and these extensions are essentially self-adjoint and continuous on $S$ with its own topology, so that they are extensible to weakly continuous operators on $S^{\times}$. The properties of these operators are very well known. Let us name

[TABLE]

which have the same properties on $\Phi$. As usual,

[TABLE]

so that,

[TABLE]

Obviously, $a$ and $a^{\dagger}$ are continuous on $\Phi$ and extended with continuity to $\Phi^{\times}$. The extensions are defined using the duality formula (7). As a system of generators of the Weyl-Heisenberg Lie algebra, we may use either $\{Q,P,N,\mathbb{I}\}$ or $\{a,a^{\dagger},N,\mathbb{I}\}$. Note that

[TABLE]

where the brackets mean anti-commutator. On $\Phi$, the Casimir operator vanishes:

[TABLE]

In addition, the universal enveloping algebra of the Weyl-Heisenberg group is irreducible on the RHS $\Phi\subset\mathcal{H}\subset\Phi^{\times}$.

6 The group SO(3,2) and the spherical harmonics

Let us consider the hollow unit sphere $S^{2}$ in $\mathbb{R}^{3}$. Any point in $S^{2}$ is characterized by two angular variables $\theta$ and $\phi$, with $0\leq\theta\leq\pi$ and $0\leq\phi<2\pi$. Let us consider the Hilbert space, $L^{2}(S^{2},d\Omega)$, with $d\Omega:=d(\cos\theta)\,d\phi$, of Lebesgue measurable complex functions, $f(\theta,\phi)$, such that

[TABLE]

An orthonormal basis for $L^{2}(S^{2},d\Omega)$ is given by $\sqrt{l+1/2}\,Y_{l}^{m}(\theta,\phi)$, where $Y_{l}^{m}(\theta,\phi)$ are the spherical harmonics [59, 60, 61]

[TABLE]

where $l\in\mathbb{N}$, the set of natural numbers, $m\in\mathbb{Z}$ the set of integers, with $|m|\leq l$ and $P_{l}^{m}$ are the associated Legendre functions. This means, in particular, that for any $f(\theta,\phi)\in L^{2}(S^{2},d\Omega)$

[TABLE]

and

[TABLE]

From the fact that the set of spherical harmonics is an orthonormal basis, we obtain the following relations:

[TABLE]

with \delta(\cos\theta-\cos\theta^{\prime})=\delta(\theta-\theta^{\prime})/\big{|}\sin\theta\big{|}.

6.1 RHS associated to the spherical harmonics

The Hilbert space $L^{2}(S^{2},d\Omega)$ supports a representation of a UIR of the de-Sitter group $SO(3,2)$ with quadratic Casimir $\mathcal{C}_{so(3,2)}=-5/4$ on the spherical harmonics [66, 67]. The action of the generators of the Cartan subalgebra of the Lie algebra $so(3,2)$, $L$ and $M$, is

[TABLE]

Once we have established this Hilbert space which supports a representation of the Anti-de-Sitter group , let us consider a unitarily equivalent abstract Hilbert space $\mathcal{H}\equiv U[L^{2}(S^{2},d\Omega)]$, where $U$ is unitary. An orthonormal basis for this space is given by the vectors $\{|l,m\rangle\}$, where for each pair $l,m$ (with $|m|\leq l$), $|l,m\rangle:=U\,[\sqrt{1+1/2}\,Y_{l}^{m}(\theta,\phi)]$. If we define

[TABLE]

we have ,

[TABLE]

The operators $\widetilde{L}$ and $\widetilde{M}$ on $\mathcal{H}$, as well as $L$ and $M$ on $L^{2}(S^{2},d\Omega)$ are obviously unbounded and self-adjoint on its maximal domain as symmetric generators of a Lie algebra. Next, we are going to construct a RHS on which they are, in addition, continuous [67]. Let us consider the subspace $\Phi$ of all vectors $\displaystyle|f\rangle=\sum_{l=0}^{\infty}\sum_{m=-l}^{l}f_{l,m}\,|l,m\rangle\in\mathcal{H}$, such that

[TABLE]

The objects \big{|}\big{|}-\big{|}\big{|}_{p} are indeed norms, which provides $\Phi$ of a metrizable locally convex topology. For $p=0$, we have the norm on $\mathcal{H}$, so that the canonical injection $i:\Phi\longmapsto\mathcal{H}$ is continuous. Take the anti-dual space $\Phi^{\times}$ and endow it with the weak topology compatible with the dual pair $\{\Phi,\Phi^{\times}\}$. Thus, we have the RHS:

[TABLE]

Then, define $\mathcal{D}:=U^{-1}\Phi$, and transport the topology from $\Phi$ to $\mathcal{D}$. This topology is given by the norms

[TABLE]

The anti-dual $\mathcal{D}^{\times}=U^{-1}\Phi^{\times}$ is defined via the extension of $U^{-1}$ to $\Phi^{\times}$ via a duality formula of the type (9). We have the rigged Hilbert space

[TABLE]

unitarily equivalent to $\Phi\subset\mathcal{H}\subset\Phi^{\times}\,$ (111).

6.2 Continuous bases depending on the angular variables

Let us begin with $f(\theta,\phi)\in\mathcal{D}$ and $|f\rangle=U[f(\theta,\phi)]\in\Phi$. For fixed angles with values $0\leq\theta<\pi$, $0\leq\phi<2\pi$, almost elsewhere, define the following continuous anti-linear functional, $|\theta,\phi\rangle$, on $\Phi$: For arbitrary $|f\rangle\in\Phi$, one defines the mapping $|\theta,\phi\rangle$ as

[TABLE]

where the star denotes complex conjugation. The linearity of each $|\theta,\phi\rangle$ on $\Phi$ is obvious. In order to prove the continuity, take,

[TABLE]

where $p$ is a natural number with $p\geq 3$. Then, take the modulus in (6.2) and use the Schwarz inequality in the right hand side. We have

[TABLE]

The first factor in the right hand side of (115) is nothing else than $||\,|f\rangle||_{p}$, while the second factor converges due to the fact that $|Y_{l}^{m}(\theta,\phi)|^{2}\leq(2\pi)^{-1}$ for all $\theta,\phi$ [68]. If we call $C$ this second factor, we finally conclude that

[TABLE]

which, after (4), guarantees the continuity of the functional $|\theta,\phi\rangle$ on $\Phi$, so that $|\theta,\phi\rangle\in\Phi^{\times}$ for almost all $0\leq\theta<\pi$, $0\leq\phi<2\pi$. These functionals have some interesting properties:

• •

For any $f(\theta,\phi)\in\mathcal{D}$, we can define the operator $\cos\Theta\,f(\theta,\phi):=\cos\theta\,f(\theta,\phi)$. One has that $\cos\theta\,f(\theta,\phi)\in\mathcal{D}$ and $\cos\Theta$ is continuous on $\mathcal{D}$. Therefore, we may define $\widehat{\cos\Theta}:=U\,\cos\Theta\,U^{-1}$, which is a symmetric continuous linear operator on $\Phi$ and, hence, can be extended into the anti-dual $\Phi^{\times}$ by the duality formula (7). For almost all $0\leq\theta<\pi$, $0\leq\phi<2\pi$, we can prove that

[TABLE]

• •

Analogously, if we define the operator $e^{i\Phi}$ on $f(\theta,\phi)\in\mathcal{D}$ as $e^{i\Phi}\,f(\theta,\phi):=e^{i\phi}\,f(\theta,\phi)$ and $\widehat{e^{i\Phi}}:=U\,e^{i\Phi}\,U^{-1}$, we have that

[TABLE]

• •

Let $|g\rangle,|f\rangle\in\Phi$. Their scalar product is

[TABLE]

Then, we may write the following formal identity:

[TABLE]

We give below the meaning of this $\mathbb{I}$.

Let us take the formal identity $\mathbb{I}$ as in (120) and let us apply it to the arbitrary vector $|f\rangle\in\Phi$. It gives

[TABLE]

This gives a span of $|f\rangle$ in terms of the vectors of the form $|\theta,\phi\rangle$. This justifies the name of continuous basis for the set of vectors $\{|\theta,\phi\rangle\}$, $0\leq\theta<\pi$, $0\leq\phi<2\pi$. Furthermore, the formal expression (121) is indeed a continuous anti-linear functional on $\Phi$. If we apply it to an arbitrary vector $|g\rangle\in\Phi$ and take the modulus, it comes

[TABLE]

with K=4\pi\,C^{2}\,\big{|}\big{|}\,|f\rangle\big{|}\big{|}_{p}. Thus, the right hand side in (121) makes sense as an element of $\Phi^{\times}$. Consequently, the identity $\mathbb{I}$ represents the canonical identity from $\Phi$ into $\Phi^{\times}$. In particular (121) gives

[TABLE]

Since $\{|l,m\rangle\}$ is a basis for $\mathcal{H}$, the identity $\mathcal{I}$ on $\mathcal{H}$ may be written as

[TABLE]

Thus, for each $|f\rangle\in\Phi$, we may write

[TABLE]

so that, omitting the arbitrary $|f\rangle\in\Phi$, we have that

[TABLE]

which may be looked as the inversion formula for (121) . If we multiply (121) to the left by $\langle\theta^{\prime},\phi^{\prime}|$, operation which is legitimate, we immediately realize that

[TABLE]

which is a textbook formula.

6.3 Continuity of the generators of $so(3,2)$

Along the present section, we are going to use the following definitions for the generators of the $so(3,2)$ Lie algebra, based on the action of these generators on the spherical harmonics [66]:

[TABLE]

These operators can be extended to closed linear operator on suitable dense domains. In addition, we have the generators of the Cartan subalgebra, since the rank of the $so(3,2)$ Lie algebra is 2 and and its dimension is 10. These generators are precisely the operators $L$ and $M$ defined in (107). Correspondingly, we have analogous operators densely defined on $\mathcal{H}$ as

[TABLE]

The action of operators (129) on the elements of the basis $\{|l,m\rangle\}$ is obvious. The continuity of these operators on $\Phi$ and $\Phi^{\times}$ has been established in [67]. For instance, assume that $|f\rangle=\sum_{l=0}^{\infty}\sum_{m=-l}^{l}f_{l,m}\,|l,m\rangle\in\Phi$. Then, write

[TABLE]

and

[TABLE]

expression valid for $p=0,1,2,\dots$. This means that $\widehat{L}|f\rangle\in\Phi$ if $|f\rangle\in\Phi$. Due to (6), (131) and the linearity of $\widehat{L}$, it is continuous. Since $\widehat{L}$ is symmetric, it is extensible to $\Phi^{\times}$ with continuity under the weak topology.

The proof for the continuity of the operators in (129) on $\Phi$ is similar. In order to extend these operators by continuity to $\Phi^{\times}$, we have to realize first that all the operators with index $+$ are the formal adjoints of the corresponding operator with sign $-$ and viceversa, for instance $\widehat{K}_{+}$ and $\widehat{K}_{-}$ are formal adjoint of each other. Therefore, to extend these operators to $\Phi^{\times}$, we only have to use the duality formual (7). Needless to say that $L$, $M$ and operators (128) have the same properties on $\mathcal{D}\subset\mathcal{H}\subset\mathcal{D}^{\times}$.

7 The $su(1,1)$ Lie algebra and Laguerre functions

The associated Laguerre polynomials with index $\alpha\in(-1,\infty)$, $L_{n}^{\alpha}(y)$, $n=0,1,2,\dots$, are defined on the half-line $\mathbb{R}^{+}\equiv[0,\infty)$ [59, 60, 61]. An orthonormal basis on the Hilbert space $L^{2}(\mathbb{R}^{+})$ is given by the following functions

[TABLE]

and $\alpha$ fixed.

Let us consider the space, $\mathcal{D}_{\alpha}$, of vectors $f(y)=\sum_{n=0}^{\infty}a_{n}\,M_{n}^{\alpha}(y)\in L^{2}(\mathbb{R}^{+})$, such that

[TABLE]

with the topology produced by the norms $||-||_{p}$. With this topology, the space $\mathcal{D}_{\alpha}$ is a Fréchet nuclear space and is dense in $L^{2}(\mathbb{R}^{+})$. For $p=0$, we have the Hilbert space norm, so that the canonical injection $i:\mathcal{D}_{\alpha}\longmapsto\mathcal{H}$ is continuous. In consequence, for any fixed $\alpha\in(-1,\infty)$,

[TABLE]

is a RHS.

7.1 Symmetries of the Laguerre functions

The following operators defined on the functions $M_{n}^{\alpha}(y)$ as

[TABLE]

admit closed extensions on $L^{2}(\mathbb{R}^{+})$. In addition, define the following operators [57]:

[TABLE]

where $I$ is the identity operator. The action of these operators on the functions of the basis $\{M_{n}^{\alpha}(y)\}$ is

[TABLE]

Note that $K_{+}$ and $K_{-}$ are the formal adjoint of each other (i.e. $(K_{\pm})^{\dagger}=K_{\mp}$ ) and

[TABLE]

The commutation relations of $K_{\pm}$ and $K_{3}$ are

[TABLE]

which are the commutation relations for the generators of the $su(1,1)$ Lie algebra [65]. The Casimir is

[TABLE]

The next result concerns the continuity of these operators.

Proposition 2.-

The operators $K_{\pm}$, $K_{3}$, $Y$ and $Y\,D_{y}$ are continuous on $\mathcal{D}_{\alpha}$ for fixed $\alpha\in(-1,\infty)$.

Proof.- Let $f(y)=\sum_{n=0}^{\infty}a_{n}\,M_{n}^{\alpha}(y)\in\mathcal{D}_{\alpha}$. Then,

[TABLE]

We need to show that (141) is well defined on $\mathcal{D}_{\alpha}$. For all $p=0,1,2,\dots$, take,

[TABLE]

This shows both our claim and the continuity of $K_{+}$ on $\mathcal{D}_{\alpha}$. Proofs for $K_{-}$ and $K_{3}$ are similar. The continuity of $Y$ comes from (138) and the continuity of $Y\,D_{y}$ from (136). $\blacksquare$

7.2 RHS and continuous bases

In order to define the continuous basis, we need an abstract RHS, which is the usual procedure. Let us consider an abstract infinite dimensional separable Hilbert space $\mathcal{H}$ and a unitary operator $U:\mathcal{H}=L^{2}(\mathbb{R}^{+})$. We choose the operator $U$ as that given by the Gelfand-Maurin theorem (section 2), where the role of $A$ is played by the operator $Y$ defined in (138). This unitary operator $U$ is not necessarily unique, although this is irrelevant, choose any one that makes this job.

Then, define for each $\alpha\in(-1,\infty)$ the space $\Phi_{\alpha}:=U^{-1}\mathcal{D}_{\alpha}$ and transport the topology from $\mathcal{D}_{\alpha}$ to $\Phi_{\alpha}$ by $U^{-1}$. Call $|n,\alpha\rangle:=U^{-1}\,M_{n}^{\alpha}(y)$. For any $|f\rangle=\sum_{n=0}^{\infty}a_{n}\,|n,\alpha\rangle\in\Phi_{\alpha}$, the norms defining the topology are

[TABLE]

We have the family of RHS given by $\Phi_{\alpha}\subset\mathcal{H}\subset\Phi_{\alpha}^{\times}$ for each $\alpha\in(-1,\infty)$. Let us define the operator $\widetilde{Y}:=UYU^{-1}$, which is continuous on each of the $\Phi_{\alpha}$. After the Gelfand-Maurin theorem, we conclude that there exists a set of functionals $|y\rangle\in\Phi_{\alpha}^{\times}$ for $y\in\mathbb{R}^{+}$, such that $\widetilde{Y}\,|y\rangle=y\,|y\rangle$. In the kets $|y\rangle$, we omit the index $\alpha$ for simplicity. Furthermore and according to (7), for any pair of vectors $|f\rangle,|g\rangle\in\Phi_{\alpha}$, we have that

[TABLE]

If we omit the arbitrary bra $\langle f|$ in both identities of (144), we obtain the following information:

For each $|g\rangle\in\Phi_{\alpha}$, we have the decomposition

[TABLE]

which shows that the functionals $|y\rangle$, for all $y\in\mathbb{R}^{+}$, form a continuous basis for $\Phi_{\alpha}$. 2. 2.

Vectors in the discrete and continuous basis are related by

[TABLE] 3. 3.

If, in addition, we omit the arbitrary ket $|g\rangle$ in (144), we obtain the following identity,

[TABLE]

which is the canonical injection $\mathbb{I}:\Phi_{\alpha}\longmapsto\Phi_{\alpha}^{\times}$.

8 The $su(2,2)$ Lie algebra and algebraic Jacobi functions

The Jacobi polynomials of order $n\in\mathbb{N}$, $J^{\alpha,\beta}_{n}(x)$, are usually defined as

[TABLE]

with

[TABLE]

which are the generalized binomial coefficients, $a$ is an arbitrary number and $s$ a positive integer [59, 60, 61]. They verify the following second order differential equation:

[TABLE]

8.1 Algebraic Jacobi functions

Jacobi polynomials yield to the main concept of this section, the algebraic Jacobi functions [66, 71], defined as

[TABLE]

where,

[TABLE]

Considerations derived from the theory of group representations force the following restrictions in the above parameters:

[TABLE]

and the parameters $(j,m,q)$ are all together integers or half-integers. We may rewrite conditions (153) in terms of the original parameters $(n,\alpha,\beta)$ as

[TABLE]

The algebraic Jacobi functions ${\cal J}_{j}^{m,q}(x)$ verify the following differential equation:

[TABLE]

where the symmetry under the interchange $m\Leftrightarrow q$ is evident. In addition, for fixed $m$ and $q$ the algebraic Jacobi functions satisfy the following relations:

[TABLE]

The indices $j$, $m$ and $q$ are either integer or half-integer. Relations (156) show that for $m$ and $q$ being fixed, the set of functions given by $\{\sqrt{j+1/2}\,J_{j}^{m,q}(x)\}_{j\geq\sup(|m|,|q|)}^{\infty}$ forms an orthonormal basis of the Hilbert space $L^{2}[-1,1]$.

We may comment in passing the existence of a relation between the Legendre functions and some of the algebraic Jacobi functions, which is

[TABLE]

8.2 Symmetries of the algebraic Jacobi functions

Also, the ladder operators, $A_{\pm},B_{\pm},C_{\pm},D_{\pm},E_{\pm},F_{\pm}$ that appear in the theory of algebraic Jacobi functions are generators of the $su(2,2)$ Lie algebra [69, 70]. Their action on the algebraic Jacobi functions is given by

[TABLE]

The generators of the Cartan subalgebra, $J$, $M$ and $Q$, act on the algebraic Jacobi functions as follows:

[TABLE]

All these operators can be extended to unbounded closed operators on $L^{2}[-1,1]$. In the case of $J$, $M$ and $Q$, they admit self-adjoint extensions. Operators denoted with the same capital letter and different sign are formal adjoint (conjugate Hermitian) of each other (i.e., $(X_{\pm})^{\dagger}=X_{\mp}$). On functions ${\cal J}_{j}^{m,q}(x)$ with $j\geq|m|>|q|$, one may define the following pair of mutually Hermitian formal adjoint operators:

[TABLE]

so that

[TABLE]

These operators $K_{\pm}$ along $K_{3}:=J+1/2$ close a $su(1,1)$ Lie algebra, since:

[TABLE]

and the set of functions $\{{\cal J}_{j}^{m,q}(x)\}^{m,q\,{\rm fixed}}_{j\geq|m|>|q|}$ with $|m|>|q|$ is a basis of the space supporting a UIR of the group $SU(1,1)$ with Casimir $\mathcal{C}=m^{2}-1/4$.

8.3 Algebraic Jacobi functions on the hypersphere $\mathcal{S}^{3}$

In the precedent analysis, we have deal with situations in which the number of discrete and continuous variables is the same. This idea revealed to be of importance in the analysis of the spaces which make continuous the above operators, if we are really interested in a description encompassing the maximal generality. To this end, we define the following functions:

[TABLE]

where $\phi$ and $\chi$ are two angular variables, $\phi\in[0,2\pi)$ and $\chi\in[0,\pi]$ ($x$ could be considered as $x=\cos\theta$ with $\theta\in[0,\pi]$ and in this case the Jacobi functions will live in the hypersphere $\mathcal{S}^{3}$). Thus, the $\mathcal{N}$-functions defined in (163) depend on the variables, $x,\phi,\chi$, and the discrete parameters $j,m,q$. The properties of the Jacobi functions yield to the following orthogonality relations valid for for either $j$ integer or $j$ half-integer, with $m,q=-j,-j+1,\dots,j-1,j$ and $m^{\prime},q^{\prime}=-j^{\prime},-j^{\prime}+1,\dots,j^{\prime}-1,j^{\prime}$:

[TABLE]

These functions satisfy a completeness relation of the type:

[TABLE]

where $j_{min}=0$ for integers values of $j$ or $j_{min}=1/2$ for half-integers and $I$ is an identity. Note that we have two different situations, one when $j$ is an integer and the other when $j$ is a half-integer. In both cases, either $e^{im\phi}$ or $e^{iq\chi}$ span respective vector spaces of dimension $2j+1$. This spaces, being isomorphic to $\mathbb{C}^{2j+1}$, may be identified with it. Then, for either $j$ integer or half-integer, the set of functions $\mathcal{N}^{m,q}_{j}(x,\phi,\chi)$ with $m,q=-j,-j+1,\dots,j-1,j$ is the basis for the following Hilbert spaces:

[TABLE]

respectively. The subindices $I$ and $H$ stand for integer and half-integer, respectively. Then, let us take $f_{I}(x,\phi,\chi)\in\mathcal{H}_{I}$ and $f_{H}(x,\phi,\chi)\in\mathcal{H}_{H}$, so that

[TABLE]

8.4 RHS associated to the algebraic Jacobi functions

Next, we define two new rigged Hilbert spaces. The spaces of test functions $\Phi_{I}$ and $\Phi_{H}$ are the functions in $\mathcal{H}_{I}$ and $\mathcal{H}_{H}$, respectively, such that

[TABLE]

and

[TABLE]

respectively, with $r,s=0,1,2,\dots$. Observe that both (168) and (169) define norms on $\mathcal{H}_{I}$ and $\mathcal{H}_{H}$, respectively, and they generate respective topologies on $\Phi_{I}$ and $\Phi_{H}$. For $r=s=0$, we recover the Hilbert space topology, which shows that the canonical injections $\Phi_{I,H}\longmapsto\mathcal{H}_{I,H}$ are continuous, so that

[TABLE]

are rigged Hilbert spaces.

Analogously, we define the spaces $\Xi_{I}$ and $\Xi_{H}$ as the spaces of functions in $\mathcal{H}_{I}$ and $\mathcal{H}_{H}$ verifying the following relations:

[TABLE]

and

[TABLE]

respectively, with $r,s=0,1,2,\dots$. These are also norms that endow respective topologies on $\Xi_{I}$ and $\Xi_{H}$. Since,

[TABLE]

we conclude that $\Xi_{I,H}\subset\Phi_{I,H}$ and that the canonical injections $\Xi_{I,H}\longmapsto\Phi_{I,H}$ are continuous. Thus, we have two new RHS’s, and, in addition, we have the following subordinate relations with continuity

[TABLE]

where in each sequence in (174), we should keep either the subindex $I$ or $H$.

8.5 Continuity of the $su(2,2)$ operators

The operators $J$, $M$ and $Q$, defined above in this section, admit obvious extensions to respective dense subspaces of $\mathcal{H}_{I,H}$. For instance,

[TABLE]

Thus,

[TABLE]

for $r,s=0,1,2,\dots$, which proves that $J\Phi_{I}\subset\Phi_{I}$ with continuity. Analogously,

[TABLE]

for $r,s=0,1,2,\dots$, which proves that $J\Xi_{I}\subset\Xi_{I}$ with continuity. Same for $J$ on $\Phi_{H}$ and $\Xi_{H}$ and for $M$ and $Q$ in these four spaces. Since these operators are symmetric and self-adjoint on a proper domain, they may be extended by continuity to the duals. A similar proof is also valid to show the continuity of the ladder operators $A_{\pm}$ and $B_{\pm}$, defined in (158) and $K_{\pm}$ in (160) on all the spaces $\Xi_{I,H}$ and $\Phi_{I,H}$ and therefore their extensions by continuity to the duals.

However, the ladder operators $C_{\pm},D_{\pm},E_{\pm},F_{\pm}$ have a different nature, as they transform algebraic Jacobi functions of integer indices into the same type of functions with half-integer indices and viceversa. Under the assumption that $C_{-}\,\mathcal{N}_{j}^{0,0}(x,\phi,\chi)=0$ and the same for $D_{-}$, $E_{-}$ and $F_{-}$, we can easily prove that all these operators are continuous from $\Phi_{I}$ into $\Phi_{H}$ and viceversa and the same from $\Xi_{I}$ into $\Xi_{H}$ and viceversa. As they are the formal adjoint of each other, we conclude that they can be also continuously extended as analogous relations between the duals.

8.6 Discrete and continuous basis

In the sequel, we omit the subindices $I$ and $H$ for simplicity. All results will be valid for both cases. As we have done in all precedent examples, let us consider an abstract infinite dimensional separable Hilbert space $\mathcal{G}$ and a unitary mapping $U:\mathcal{G}\longmapsto\mathcal{H}$. As a matter of fact, there are two of each: $U_{I,H}:\mathcal{G}_{I,H}\longmapsto\mathcal{H}_{I,H}$, although we omit the subindices, as we said. Take $\Theta:=U^{-1}\Xi$ and $\Psi:=U^{-1}\Phi$, and endow $\Theta$ and $\Phi$ with the topologies transported by $U^{-1}$ from $\Xi$ and $\Phi$, respectively. Then, we have two new RHS’s, $\Theta\subset\mathcal{G}\subset\Theta^{\times}$ and $\Psi\subset\mathcal{G}\subset\Psi^{\times}$. We focus our attention in the former.

For any $|f\rangle\in\Theta$, we define the action of the ket $|x,m,q\rangle$, $x\in[-1,1]$, $m$ and $q$ being fixed, as

[TABLE]

This definition shows that $|x,m,q\rangle$ is an anti-linear mapping on $\Theta$, which is also continuous since,

[TABLE]

with

[TABLE]

Next, let us define the kets $|j,m,q\rangle$ for any $j$ and any $m,q=-j,-j+1,\dots,j-1,j$ as

[TABLE]

so that (178) gives

[TABLE]

since (182) is real. Observe that there exists the following formal relation between $|x,m,q\rangle$ and $|j,m,q\rangle$:

[TABLE]

This is easily justified by multiplying (183) by $\langle j,m^{\prime},q^{\prime}|$:

[TABLE]

which coincides with (182) . There are some other formal relations that can be easily obtain. Proofs are published elsewhere [71], there are simple notwithstanding. First of all, we have

[TABLE]

For any $|f\rangle\in\Theta$, we have the following relation:

[TABLE]

where if $|f\rangle=\sum_{j=0}^{\infty}\sum_{m,q=-j}^{j}a_{j,m,q}\sqrt{j+1/2}\,\mathcal{J}_{j}^{m,q}(x)$, we have that

[TABLE]

so that

[TABLE]

which shows that any $|f\rangle\in\Theta$ may be written formally in terms of the elements of the set of functionals $\{|x,m,q\rangle\}$, which acquires the category of continuous basis due to this fact. Here, $x\in[-1,1]$, $m,q$ being the set either of the integers or the half-integers, either positive or negative.

For $|j,m,q\rangle$, the functions $f^{m,q}(x)$ are equal to $\sqrt{j+1/2}\,\mathcal{J}_{j}^{m,q}(x)$, which after (187) gives

[TABLE]

which gives the inversion formula for (183). We have completed the relation between discrete and continuous basis. Moreover, note that

[TABLE]

and

[TABLE]

where $\mathcal{I}:\Theta\longmapsto\Theta^{\times}$ is the canonical injection relating this dual pair. We close here the discussion on Jacobi algebraic functions.

9 su(1,1)$\oplus$su(1,1), Zernike functions and RHS

The so called Zernike polynomials were introduced by Zernike in 1934 in connection with some applications in the analysis of optical images [10]. These Zernike polynomials $R_{n}^{m}(r)$, also called Zernike radial polynomials [72], as usually one takes $0\leq r\leq 1$ in applications, are the solutions of the differential equation,

[TABLE]

verifying

[TABLE]

Explicitly,

[TABLE]

For each value of $m$, Zernike polynomials show orthogonality properties:

[TABLE]

as well as a completeness relation such as

[TABLE]

They are also related to the Jacobi polynomials according to the following formula:

[TABLE]

Along Zernike polynomials, there exist the Zernike functions $\mathcal{Z}_{n}^{m}(r,\phi)$, which are defined on the closed unit circle

[TABLE]

as follows:

[TABLE]

with the conditions $|m|\leq n$ and $\frac{n-|m|}{2}\in\mathbb{N}$ .

9.1 $W$-Zernike functions

From (198), we define the $W$-Zernike functions, $W_{u,v}(r,\phi)$, using the following procedure [73]. First of all, introduce the parameters $u$ and $v$, defined as

[TABLE]

which are positive integers and independent of each other, $u,v=0,1,2,\dots$. With this notation,

[TABLE]

The $W$-Zernike functions, $W_{u,v}(r,\phi)$ are functions on the closed unit circle $\mathcal{D}$, verifying the relation

[TABLE]

In addition the $W$-Zernike functions have some interesting properties:

• •

They are square integrable on $\mathcal{D}$, so that they belong to the Hilbert space $L^{2}(\mathcal{D},rdrd\phi)\equiv L^{2}(\mathcal{D})$.

• •

They fulfil some symmetry relations such as

[TABLE]

where the star denotes complex conjugation.

• •

They are orthonormal on $L^{2}(\mathcal{D})$:

[TABLE]

where $\langle\cdot,\cdot\rangle$ denotes scalar product on $L^{2}(\mathcal{D})$.

• •

A completeness relation holds:

[TABLE]

• •

The fact that Zernike polynomials are bounded, $|R_{n}^{m}(r)|\leq 1$ on the interval $0\leq r\leq 1$, implies an interesting upper bound for the $W$-Zernike functions:

[TABLE]

9.2 Rigged Hilbert spaces and $W$-Zernike functions

The set of $W$-Zernike functions forms an orthonormal basis for $L^{2}(\mathcal{D})$ so that for any square integrable function $f(r,\phi)\in L^{2}(\mathcal{D})$ we have that

[TABLE]

with

[TABLE]

Let us define two different spaces, which will be the spaces of test functions for respective RHS. The first one is

[TABLE]

The space $\Psi_{1}$ is endowed with the Frèchet topology given by the following family of norms

[TABLE]

The second space of test functions is defined by the following condition:

[TABLE]

Its topology is given by the following sequence of norms:

[TABLE]

Let us consider a sequence of complex numbers $\{a_{n}\}$ such that the series $\sum_{n=0}^{\infty}|a_{n}|<\infty$. Clearly,

[TABLE]

which shows that

[TABLE]

for $p=0,1,2,\dots$. This shows that $\Psi_{2}\subset\Psi_{1}$ and that the canonical injection $i:\Psi_{2}\longmapsto\Psi_{1}$ is continuous. This gives a couple of rigged Hilbert spaces where injections in all inclusions are continuous:

[TABLE]

An important property for the span of the functions $f(r,\phi)\in\Psi_{2}$ in terms of the $W$-Zernike functions is given by the following result:

**Theorem 3.-**For any $f(r,\phi)\in\Psi_{2}$, the series

[TABLE]

converges absolutely and uniformly and hence point-wise.

Proof.- The proof is based on the bound (205) valid for the $W$-Zernike functions. Thus, using (205) and taking into account (210), we have that

[TABLE]

Then, the Weiersstrass $M$-Theorem guarantees the absolute and uniform convergence of the series. $\blacksquare$

9.3 Continuity of relevant operators acting on the $W$-Zernike functions

In the discussion on the continuous basis below, we shall see the relevance of the following operator on $L^{2}(\mathcal{D})$:

[TABLE]

In [73], we prove that

[TABLE]

with

[TABLE]

Note that $0\leq\alpha_{u}^{v},\beta_{u}^{v}\leq 1$ and $f_{-1,0}=0$. We want to show that $P\Psi_{2}\subset\Psi_{2}$ with continuity. Let us take $f(r,\phi)=\sum_{u,v=0}^{\infty}f_{u,v}\,W_{u,v}(r,\phi)\in\Psi_{2}$, so that

[TABLE]

Since $f_{-1,0}=0$, the first term of the second row in (202) gives

[TABLE]

The second term in the same row gives,

[TABLE]

Equations (220) and (221) together show that

[TABLE]

which shows our claim.

Other important operators are the generators of the Lie algebra $su(1,1)\oplus su(1,1)$, $U$, $V$, $A_{\pm}$, $B_{\pm}$, $A_{3}=U+1/2$ and $B_{3}=V+1/2$. Their commutation relations are the following:

[TABLE]

All the $A$ operators commute with all the $B$ operators. The Casimirs are

[TABLE]

with $\{X,Y\}=XY+YX$. On the $W$-Zernike functions, all these operators act as follows [73]:

[TABLE]

All these operators are densely defined and unbounded on $L^{2}(\mathcal{D})$. Furthermore,

Proposition 2*The operators $U$, $V$, $A_{\pm}$ and $B_{\pm}$ are continuous on $\Psi_{2}$. In addition, $A_{+}$ and $A_{-}$ are formal adjoint of each other and same for $B_{+}$ and $B_{-}$ and $U$ and $V$ are essentially self-adjoint on $\Psi_{2}$. *

Proof That $A_{+}$ and $A_{-}$ and also $B_{+}$ and $B_{-}$ are formal adjoint of each other is obvious from (209). The proof of the continuity on $\Psi_{2}$ of all these operators is the same. Take for instance $A_{+}$. The formal action of $A_{+}$ on $f(r,\phi)\in\Psi_{2}$ is given by

[TABLE]

Then,

[TABLE]

which proves that $A_{+}\Psi_{2}\subset\Psi_{2}$ with continuity. The same for all other operators. Finally, $U$ and $V$ are obviously symmetric on $\Psi_{2}$ and the ranges of $U\pm iI$ and $V\pm iI$ on $\Psi_{2}$ are $\Psi_{2}$ itself, so that $U$ and $V$ are essentially self-adjoint with domain $\Psi_{2}$.

9.4 Continuous bases and RHS

Let $\mathcal{H}$ be an arbitrary infinite dimensional separable Hilbert space and $U$ a unitary operator $U:\mathcal{H}=L^{2}(\mathcal{D})$. As in previous cases, we define $\Phi_{i}:=U^{-1}\Psi_{i}$, $i=1,2$ (214), and transport the topologies on $\Psi_{i}$ to $\Phi_{i}$ by $U^{-1}$. We have a couple of rigged Hilbert spaces in correspondence. So ,we have the following diagram

[TABLE]

Nevertheless, our rigged Hilbert space of reference will be here $\Phi_{2}\subset\mathcal{H}\subset\Phi_{2}^{\times}$. Take any vector $U^{-1}f(r,\phi)=|f\rangle\in\Phi_{2}$, and for (almost with respect to the Lebesgue measure) each $0\leq r\leq 1$ and $0\leq\phi\leq 2\pi$ define the mapping $|r,\phi\rangle$ by $\langle f|r,\phi\rangle:=f^{*}(r,\phi)=\langle r,\phi|f\rangle^{*}$. Clearly, $|r,\phi\rangle$ is linear for each $r$ and $\phi$. In addition, this is continuous so that $|r,\phi\rangle\in\Phi_{2}^{\times}$. To prove the continuity, note that $U^{-1}$ transport the given topology from $\Psi_{2}$ to $\Phi_{2}$. Let $|u,v\rangle:=U^{-1}\,W_{u,v}(r,\phi)$ for each $u,v=0,1,2,\dots$. Then, if $|f\rangle=\sum_{u,v=0}^{\infty}f_{u,v}\,|u,v\rangle$, we have that the norms $||\,|f\rangle||_{1,q}$ defining the topology on $\Psi_{2}$ are identical to (211). Thus, taking into account (205), we have

[TABLE]

The scalar product of two vectors $|f\rangle\,,|g\rangle\in\Phi_{2}$ is given by

[TABLE]

so that, we have the identity,

[TABLE]

which should be interpreted as the canonical injection $\mathcal{I}:\Phi_{2}\longmapsto\Phi_{2}^{\times}$. In particular, if we apply (230) to $|u,v\rangle$, we have that

[TABLE]

which may be looked as a relation between the discrete basis $\{|u,v\rangle\}$ in $\mathcal{H}$ and the continuous basis $\{|r,\phi\rangle\}$. Note that, according to our definition, $\langle r,\phi|u,v\rangle=W_{u,v}(r,\phi)$. If we multiply (231) to the left by $\langle r,\phi|$, we have:

[TABLE]

so that,

[TABLE]

Relation (233) suggest an inversion formula for (231). As $\{|u,v\rangle\}$ is an orthonormal basis for $\mathcal{H}$, we may write the identity on $\mathcal{H}$ as

[TABLE]

As $|u,v\rangle\in\Phi_{2}$, we may write

[TABLE]

This inversion formula is totally consistent as one may check by formal multiplication to the left by $\langle r^{\prime},\phi^{\prime}|$ and the comparison of the given result with (233) in one side and (204) on the other. In conclusion, each $|f\rangle\in\Phi_{2}$ admit two different expansions in terms of the discrete basis $\{|u,v\rangle\}$ and the continuous basis $\{|r,\phi\rangle\}$. They are, respectively,

[TABLE]

and

[TABLE]

As a final remark, all operators (223) have their counterparts as operators on $\mathcal{H}$ with exactly the same properties. In particular, they are continuous on $\Phi_{2}$.

10 Concluding remarks

Specific RHS are constructed starting from well defined special functions and a particular UIR of a Lie group, which is the symmetry group of the corresponding special functions. The Lie generators of these group are continuous operators with the topologies carried by the RHS.

It is a general property that in a RHS the variables and the parameters are one-to-one related. This implies that, starting from special functions with $n_{p}$ parameters and $n_{v}$ continuous variables, it is possible to construct different RHS’s. Indeed when $n_{p}=n_{v}$ we can construct not only a RHS involving all parameters and variables but also RHS’s involving subsets of equal number of parameters and variables, saving the role of spectators for the remaining ones. If $n_{p}>n_{v}$ the possible RHS’s are limited to $n_{v}$ and the exceeding parameters remain spectators (as it happens with $j$ in Section 4 and $\alpha$ in Section 7) but it is impossible to construct a RHS based on the $\Gamma(z)$ functions where we have not parameters at all. An alternative is shown by the Spherical Harmonics where a new variable $\phi$ is added to the Associated Legendre polynomials, by the extension of Jacobi polynomials to the Jacobi functions defined on the hypersphere ${\mathcal{S}}^{3}$ in the subsection 8.3 and by the generalization of Zernike polynomials defined on the interval to Zernike functions defined on the unit circle in Section 9.

Special functions are transition matrices between discrete and continuous bases (for instance, generalization of the exponential $e^{{\bf i}m\phi}=\langle m|\phi\rangle$ in Section 3 and spherical harmonics $Y_{l}^{m}(\theta,\phi)=\langle l,m|\theta,\phi\rangle$ in Section 6).

The UIR of the corresponding Lie group defines the basis vectors of the discrete basis in the space $\Phi$, while the regular representation of the Lie group defines the basis vectors of the continuous basis in $\Phi^{x}$ of the RHS $\Phi\subset{\mathcal{H}}\subset\Phi^{\times}$.

Special functions determine a basis in the related space of square integrable functions. As they define a basis also of a unitary irreducible representation of the group, all other bases of the space are simply obtained applying on them an arbitrary element of the group.

Acknowledgments

This research is supported in part by the Ministerio de Economía y Competitividad of Spain under grant MTM2014-57129-C2-1-P and the Junta de Castilla y León (Project BU229P18).