An integral representation of eigenfunctions for the deformed Noumi–Sano operators

Abstract

The deformed Noumi–Sano operator $H_{n,m}^{d}(x,y)$ of order $d$ is a simultaneous extension of the Macdonald operator and the Noumi–Sano operator. In this paper, we construct an integral transform associated with eigenvalue problem of $H_{n,m}^{d}(x,y)$. Using the integral transform, we obtain an integral representation of eigenfunctions for $H_{n,m}^{d}(x,y)$.

Key words: $q$-hypergeometric integral, Macdonald polynomial, $q$-difference equation.

2020 Mathematics Subject Classification Numbers: 39A13, 33D52, 44A20.

1 Introduction

We fix $q$, $t\in\mathbb{C}$ with $0<|q|,\,|t|<1$. The shift operator $T_{q,x}^{\pm\mu}=\prod_{i=1}^{n}T_{q,x_{i}}^{\pm\mu_{i}}$ is defined by $(T_{q,x}^{\pm\mu}f)(x_{1},\ldots,x_{n})=f(q^{\pm\mu_{1}}x_{1},\ldots,q^{\pm\mu_{n}}x_{n})$. Hallnäs, Langmann, Noumi and Rosengren [3] introduced a family of $q$-difference operators defined by

$$H_{n,m}(x,y;u;q,t)=H_{n,m}(x,y;u)=\sum_{d=0}^{\infty}u^{d}H_{n,m}^{d}(x,y)$$

$$:=\sum_{\mu\in(\mathbb{Z}_{\geq 0})^{n}}\sum_{I\subset\{1,\ldots,m\}}(t^{1-n}q^{m}u)^{|\mu|}(-tu)^{|I|}q^{\binom{|I|}{2}}B_{\mu,I}(x,y)T_{q,x}^{\mu}T_{t,y}^{-I},$$ (1.1)

$$B_{\mu,I}(x,y)=\frac{\Delta(q^{\mu}x)}{\Delta(x)}\prod_{i,j=1}^{n}\frac{(tx_{i}/x_{j};q)_{\mu_{i}}}{(qx_{i}/x_{j};q)_{\mu_{i}}}\prod_{\begin{subarray}{c}1\leq i,j\leq m\\ i\in I,j\notin I\end{subarray}}\frac{y_{i}-qy_{j}}{y_{i}-y_{j}}$$

$$\quad\quad\quad\quad\quad\quad\times\prod_{i=1}^{n}\left(\prod_{j\in I}\frac{1-x_{i}/(ty_{j})}{1-q^{\mu_{i}}x_{i}/y_{j}}\prod_{j\notin I}\frac{1-x_{i}/(qy_{j})}{1-q^{\mu_{i}-1}x_{i}/y_{j}}\right),$$ (1.2)

where $|\mu|=\mu_{1}+\cdots+\mu_{n}$, $q^{\mu}x=(q^{\mu_{1}}x_{1},\ldots,q^{\mu_{n}}x_{n})$, $\Delta(x)=\prod_{i<j}(x_{i}-x_{j})$ and $(a;q)_{n}=\prod_{k=0}^{n-1}(1-aq^{k})$. The operator $H_{n,m}(x,y;u)$ is called the deformed Noumi–Sano operator. This operator $H_{n,m}(x,y;u)$ is a simultaneous extension of the Macdonald operator of type $A$ [8, 10] and the Noumi–Sano operator [11]. More precisely, $H_{0,m}(y^{-1},u/t;t,q)$ coincides with the Macdonald operator, and $H_{n,0}(x;u/t;q,t)$ is the Noumi–Sano operator (see [2, 3, 13] for detailed properties). The operator (1.1) has super-Macdonald polynomials [13] as eigenfunctions. Our aim is to construct an integral transform associated with the eigenvalue problem for the deformed Noumi–Sano operator $H_{n,m}^{d}(x,y)$.

We define the function $\omega_{n,m;N,M}(x,y;z,w)$ of the variables $x=(x_{1},\ldots,x_{n})$, $y=(y_{1},\ldots,y_{m})$, $z=(z_{1},\ldots,z_{N})$ and $w=(w_{1},\ldots,w_{M})$ as

$$\omega_{n,m;N,M}(x,y;z,w)=x^{\alpha}y^{\beta}\Psi_{n,m;N,M}(x,y;z,w)\rho(x,y),$$ (1.3)

for $\alpha,\beta\in\mathbb{C}$, where $(a;p)_{\infty}=\prod_{k=0}^{\infty}(1-ap^{k})$ and

$$\rho(x,y)=\frac{\left(\prod_{1\leq i\neq j\leq n}(x_{i}/x_{j};q)_{\infty}/(tx_{i}/x_{j};q)_{\infty}\right)\left(\prod_{1\leq i\neq j\leq m}(y_{i}/y_{j};t)_{\infty}/(qy_{i}/y_{j};t)_{\infty}\right)}{\prod_{i=1}^{n}\prod_{j=1}^{m}(1-q^{-1}x_{i}/y_{j})(1-ty_{j}/x_{i})},$$ (1.4)

$$\Psi_{n,m;N,M}(x,y;z,w)$$

$$=\prod_{i=1}^{n}\prod_{j=1}^{N}\frac{(x_{i}z_{j};q)_{\infty}}{(x_{i}z_{j}/t;q)_{\infty}}\prod_{i=1}^{m}\prod_{j=1}^{M}\frac{(qty_{i}w_{j};t)_{\infty}}{(ty_{i}w_{j};t)_{\infty}}\prod_{i=1}^{n}\prod_{j=1}^{M}(1-x_{i}w_{j})\prod_{i=1}^{m}\prod_{j=1}^{N}(1-y_{i}z_{j}).$$ (1.5)

The main result of this paper is as follows.

Theorem 1.1.

Assume $q^{\alpha}=t^{-\beta}$, $r<|q|^{d}R$, and $|q|<|t|$, where $\alpha,\beta\in\mathbb{Z}$ and $r,R\in\mathbb{R}_{>0}$. Suppose that a function $\varphi(x,y)$ satisfies the following conditions:

• The function $\varphi(x,y)$ is a simultaneous eigenfunction of $H^{k}_{n,m}$ $(0\leq k\leq d)$, i.e.

  $$H^{k}_{n,m}(tx^{-1},q^{-1}y^{-1})\varphi(x,y)=E_{k}\varphi(x,y),\quad 0\leq k\leq d.$$ (1.6)

• The function $\varphi(x,y)$ is holomorphic on $D=\{(x,y)\mid|q|^{d}R\leq|x_{i}|\leq R,\,r\leq|y_{j}|\leq|t|^{-1}r\,(1\leq i\leq n,\,1\leq j\leq m)\}$.

We put $C_{d}=\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}$, where $\mathbb{T}^{s}_{p}$ denotes the $s$-dimensional torus of radius $p$. If $|z_{j}|<|t|/R,\,|w_{j}|<1/r$, then the function

$$\Omega(z,w)=\int_{C_{d}}\varphi(x,y)\omega_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}$$ (1.7)

satisfies

$$H^{d}_{N,M}(z,w)\Omega(z,w)=\left(\sum_{k+l=d}\frac{(t^{N-n}q^{m-M};q)_{k}}{(q;q)_{k}}(t^{1-N}q^{M})^{k}t^{\beta l}E_{l}\right)\Omega(z,w).$$ (1.8)

Remark 1.2.

The function $\rho(x,y)$ coincides with the function $\Delta_{n,m}(x,y;q,t)$ in [1] with $x$ and $y$ replaced by $t^{1/2}x$ and $q^{-1/2}y$, respectively. The function $\Psi_{n,m;N,M}(x,y;z,w)$ is a kernel function of the deformed Noumi–Sano operator [3, Theorem 2.1, Remark 2.2] as

$$H_{N,M}(z,w;u)\Psi_{n,m;N,M}(x,y;z,w)$$

$$=\frac{(t^{1-n}q^{m}u;q)_{\infty}}{(t^{1-N}q^{M}u;q)_{\infty}}H_{n,m}(x,y;u)\Psi_{n,m;N,M}(x,y;z,w).$$ (1.9)

Remark 1.3.

When $n=N=0$, our integral $\Omega(z,w)$ coincides with the integral in [9].

Due to the explicit formula [3, equation (36)]

$$H^{l}_{n,m}(x,y)1=\frac{(t^{n}q^{-m};q)_{l}}{(q;q)_{l}}(t^{1-n}q^{m})^{l}1,$$ (1.10)

we obtain an eigenfunction of $H^{d}_{N,M}(z,w)$ as follows:

Corollary 1.4.

Assume $q^{\alpha}=t^{-\beta}$, $r<|q|^{d}R$, and $|q|<|t|$, where $\alpha,\beta\in\mathbb{Z}$ and $r,R\in\mathbb{R}_{>0}$. If $|z_{j}|<|t|/R,\,|w_{j}|<1/r$, then the following equation holds:

$$H^{d}_{N,M}(z,w)\int_{\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}}\omega_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}$$

$$=\left(\sum_{k+l=d}\frac{(t^{N-n}q^{m-M};q)_{k}(t^{n}q^{-m};q)_{l}}{(q;q)_{k}(q;q)_{l}}(t^{1-N}q^{M})^{k}(q^{m}t^{\beta+1-n})^{l}\right)$$

$$\quad\quad\quad\quad\times\int_{\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}}\omega_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}.$$ (1.11)

The contents of this paper are as follows. In Section 2, we review [9]. In Section 3, we give a proof of Theorem 1.1. In Section 4, we summarize the results and discuss related problems. In Appendix A, we construct an integral transform for the eigenvalue problem of the Noumi–Sano operator $H_{n,0}(x;u)$.

2 Review of Mimachi–Noumi’s method

In this paper, we construct an integral transform for deformed Noumi–Sano operators using the method of Mimachi–Noumi [9]. In this section, we give a review of this method.

Macdonald introduced a commuting family of $q$-difference operators defined by

$$D_{y}^{r}=t^{\binom{r}{2}}\sum_{\begin{subarray}{c}I\subset\{1,2,\ldots,m\}\\ |I|=r\end{subarray}}\prod_{i\in I,j\notin I}\frac{ty_{i}-y_{j}}{y_{i}-y_{j}}T_{q,y}^{I},$$ (2.1)

for $y=(y_{1},\ldots,y_{m})$ and $r=1,2,\ldots,m$. The generating function of these operators is given by

$$D_{y}(u)=\sum_{r=0}^{m}(-u)^{r}D_{y}^{r}$$ (2.2)

The operator $D_{y}(u)$ satisfies the following important kernel identity.

Theorem 2.1 (Macdonald [8], Mimachi–Noumi [9], Noumi [10]).

We set

$$\Pi_{m,M}(y;w)=\prod_{i=1}^{m}\prod_{j=1}^{M}\frac{(ty_{i}w_{j};q)_{\infty}}{(y_{i}w_{j};q)_{\infty}}.$$ (2.3)

Then we have

$$D_{y}(u)\Pi_{m,M}(y;w)=(u;t)_{m-M}D_{w}(t^{m-M}u)\Pi_{m,M}(y;w).$$ (2.4)

Proof.

The identity (2.4) is independent of $q$. Hence it suffices to prove the case $q=t$. When $q=t$, we obtain the following from Cauchy formula.

$$\Pi_{m,M}(y;w)=\prod_{i=1}^{m}\prod_{j=1}^{M}\frac{1}{1-y_{i}w_{j}}=\sum_{l(\lambda)\leq\min\{m,M\}}s_{\lambda}(y)s_{\lambda}(w).$$ (2.5)

Suppose $M\geq m$, we have

$$D_{y}(u)s_{\lambda}(y)=s_{\lambda}(y)\prod_{i=1}^{m}(1-ut^{M-i+\lambda_{i}})\prod_{i=m+1}^{M}(1-ut^{M-i}),$$

$$D_{w}(u)s_{\lambda}(w)=s_{\lambda}(w)\prod_{i=1}^{m}(1-ut^{M-i+\lambda_{i}}).$$ (2.6)

By (2.5) and (2.6), we obtain the special case $q=t$ of the desired formula. This completes the proof. ∎

The proof of our main results is based on a method similar to that of Mimachi–Noumi [9]. Therefore, we review Mimachi–Noumi’s result and their proof.

Theorem 2.2 (Mimachi–Noumi [9]).

Assume $\alpha\in\mathbb{Z}$. Suppose that a function $\varphi(y)$ satisfies the following conditions:

• The function $\varphi(y)$ is an eigenfunction of $D_{y^{-1}}(u/q^{\alpha})$, i.e.

  $$D_{y^{-1}}(u/q^{\alpha})\varphi(y)=E\varphi(y).$$ (2.7)

• The function $\varphi(y)$ is holomorphic on $V=\{y\mid|q|\leq|y_{i}|\leq 1\ (1\leq i\leq m)\}$.

If $|w_{j}|<1$, then the function

$$\Omega(w)=\int_{\mathbb{T}^{m}}\varphi(y)\omega_{m,M}(y;w)\frac{dy}{y}$$ (2.8)

satisfies

$$D_{w}(u)\Omega(w)=(u;t)_{M-m}E\Omega(w),$$ (2.9)

where

$$\omega_{m,M}(y;w)=y^{\alpha}\Pi_{m,M}(y;w)\rho(y),\quad\rho(y)=\prod_{i\neq j}\frac{(y_{i}/y_{j};q)_{\infty}}{(ty_{i}/y_{j};q)_{\infty}}.$$ (2.10)

Remark 2.3.

In [9, Theorem 1], another integral transform in terms of Jackson integral is constructed. Here we state only the part relevant to the present paper.

The proof of Theorem 2.2 will be given after we prove several lemmas. These lemmas are obtained in [9].

Lemma 2.4.

We put

$$D_{y}(u)=\sum_{I\subset\{1,\ldots,m\}}(-u)^{|I|}A_{I}(y)T_{q,y}^{I},\quad A_{I}(y)=t^{r(r-1)/2}\prod_{i\in I,j\notin I}\frac{ty_{i}-y_{j}}{y_{i}-y_{j}}.$$ (2.11)

Then we have

$$T_{q,y}^{-I}A_{I}(y)\rho(y)=A_{I}(y^{-1})\rho(y).$$ (2.12)

Proof.

By a simple calculation, we have

$$\frac{T_{q,y}^{-I}\rho(y)}{\rho(y)}=\prod_{i\in I,j\notin I}\frac{1-y_{i}/(qy_{j})}{1-ty_{i}/(qy_{j})}\frac{1-ty_{j}/y_{i}}{1-y_{j}/y_{i}}.$$ (2.13)

Hence we obtain

$$\frac{T_{q,y}^{-I}A_{I}(y)\rho(y)}{\rho(y)} =\prod_{i\in I,j\notin I}\frac{1-y_{i}/(qy_{j})}{1-ty_{i}/(qy_{j})}\frac{1-ty_{j}/y_{i}}{1-y_{j}/y_{i}}\prod_{i\in I,j\notin I}\frac{ty_{i}/q-y_{j}}{y_{i}/q-y_{j}}$$

$$=\prod_{i\in I,j\notin I}\frac{1-ty_{j}/y_{i}}{1-y_{j}/y_{i}}=A_{I}(y^{-1}).$$ (2.14)

∎

Lemma 2.5.

Assume $\alpha\in\mathbb{Z}$ and $|t|<|q|$. Suppose a function $\varphi(y)$ is holomorphic on $V=\{y\mid|q|\leq|y_{i}|\leq 1\ (1\leq i\leq m)\}$. If $|w_{i}|<1$, then

$$\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}A_{I}(y)\left(T_{q,y}^{I}\Pi(y;w)\right)\rho(y)\frac{dy}{y}$$

$$=q^{-\alpha|I|}\int_{\mathbb{T}^{m}}y^{\alpha}\Pi(y;w)\rho(y)A_{I}(y^{-1})\left(T_{q,y}^{-I}\varphi(y)\right)\frac{dy}{y}.$$ (2.15)

Proof.

By the change of variables $y\to q^{-I}y$, we have

$$\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}A_{I}(y)\left(T_{q,y}^{I}\Pi(y;w)\right)\rho(y)\frac{dy}{y}$$

$$=q^{-\alpha|I|}\int_{q^{I}\mathbb{T}^{m}}y^{\alpha}\left(T_{q,y}^{-I}A_{I}(y)\rho(y)\varphi(y)\right)\Pi(y;w)\frac{dy}{y}.$$ (2.16)

By Lemma 2.4, we get

$$\int_{q^{I}\mathbb{T}^{m}}y^{\alpha}\left(T_{q,y}^{-I}A_{I}(y)\rho(y)\varphi(y)\right)\Pi(y;w)\frac{dy}{y}$$

$$= \int_{q^{I}\mathbb{T}^{m}}y^{\alpha}\left(T_{q,y}^{-I}\varphi(y)\right)A_{I}(y^{-1})\rho(y)\Pi(y;w)\frac{dy}{y}.$$ (2.17)

The poles of the integrand (2.17) on the right-hand side for $y\in(\mathbb{C}\setminus\{0\})^{m}$ are as follows:

$$y_{i}-q^{-k}/w_{j}=0\quad\left(k\in\mathbb{Z}_{\geq 0},\ 1\leq i\leq m,\ 1\leq j\leq M\right),$$

$$y_{a}-tq^{k}y_{b}=0\quad\left(k\in\mathbb{Z}_{\geq 0},\ 1\leq a,b\leq m\right).$$ (2.18)

From assumptions $|w_{j}|<1$ and $|t|<|q|$, the integrand (2.17) on the right-hand side is holomorphic on $V$. Therefore, we obtain

$$\int_{q^{I}\mathbb{T}^{m}}y^{\alpha}\left(T_{q,y}^{-I}\varphi(y)\right)A_{I}(y^{-1})\rho(y)\Pi(y;w)\frac{dy}{y}$$

$$=\int_{\mathbb{T}^{m}}y^{\alpha}\left(T_{q,y}^{-I}\varphi(y)\right)A_{I}(y^{-1})\rho(y)\Pi(y;w)\frac{dy}{y}$$ (2.19)

From this equation, we obtain the desired equation (2.15). ∎

We give the proof of Theorem 2.2, following [9].

Proof of Theorem 2.2.

By the kernel identity (2.4), we get

$$D_{w}(u)\Omega(w) =\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}\left(D_{w}(u)\Pi(y;w)\right)\rho(y)\frac{dy}{y}$$

$$=(u;t)_{M-m}\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}\left(D_{y}(u)\Pi(y;w)\right)\rho(y)\frac{dy}{y}.$$ (2.20)

By Lemma 2.5, we have

$$\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}\left(D_{y}(u)\Pi(y;w)\right)\rho(y)\frac{dy}{y}$$

$$=\sum_{I\subset\{1,\ldots,m\}}\int_{\mathbb{T}^{m}}(-u)^{|I|}\varphi(y)y^{\alpha}A_{I}(y)\left(T_{q,y}^{I}\Pi(y;w)\right)\rho(y)\frac{dy}{y}$$

$$=\sum_{I\subset\{1,\ldots,m\}}\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}\Pi(y;w)\rho(y)(u/q^{\alpha})^{|I|}A_{I}(y^{-1})\left(T_{q,y}^{-I}\varphi(y)\right)\frac{dy}{y}.$$ (2.21)

By assumption (2.7), we get

$$\sum_{I\subset\{1,\ldots,m\}}\int_{\mathbb{T}^{m}}\varphi(y)y^{\alpha}\Pi(y;w)\rho(y)(u/q^{\alpha})^{|I|}A_{I}(y^{-1})\left(T_{q,y}^{-I}\varphi(y)\right)\frac{dy}{y}$$

$$=\int_{\mathbb{T}^{m}}\left(D_{y^{-1}}(u/q^{\alpha})\varphi(y)\right)\omega_{m,M}(y;w)\frac{dy}{y}=E\int_{\mathbb{T}^{m}}\varphi(y)\omega_{m,M}(y;w)\frac{dy}{y}.$$ (2.22)

Hence we have the desired equation (2.9). ∎

3 Integral transform for eigenproblem of deformed Noumi–Sano operator

In this section, we construct an integral transform for deformed Noumi–Sano operators using the method of Mimachi–Noumi [9].

The deformed Noumi–Sano operator $H_{n,m}(x,y;u)$ satisfies the following kernel identity.

Theorem 3.1 (Hallnäs–Langmann–Noumi–Rosengren [3]).

The following identity holds.

$$H_{N,M}(z,w;u)\Psi_{n,m;N,M}(x,y;z,w)$$

$$=\frac{(t^{1-n}q^{m}u;q)_{\infty}}{(t^{1-N}q^{M}u;q)_{\infty}}H_{n,m}(x,y;u)\Psi_{n,m;N,M}(x,y;z,w).$$ (3.1)

Here $\Psi_{n,m;N,M}(x,y;z,w)$ is given in (1.5). In particular, we have

$$H_{N,M}^{d}(z,w)\Psi_{n,m;N,M}(x,y;z,w)$$

$$=\sum_{k+l=d}\frac{(t^{N-n}q^{m-M};q)_{k}}{(q;q)_{k}}(t^{1-N}q^{M})^{k}H_{n,m}^{l}(x,y)\Psi_{n,m;N,M}(x,y;z,w).$$ (3.2)

The identity (3.1) follows from Kajihara’s transformation formula [6]. We omit the proof. For details, see [3]. We note that $\Psi$ in [3] is defined as

$$\prod_{i=1}^{n}\prod_{j=1}^{N}\frac{(tx_{i}z_{j};q)_{\infty}}{(x_{i}z_{j};q)_{\infty}}\prod_{i=1}^{m}\prod_{j=1}^{M}\frac{(qty_{i}w_{j};t)_{\infty}}{(ty_{i}w_{j};t)_{\infty}}\prod_{i=1}^{n}\prod_{j=1}^{M}(1-tx_{i}w_{j})\prod_{i=1}^{m}\prod_{j=1}^{N}(1-ty_{i}z_{j}).$$ (3.3)

However, this $\Psi$ does not satisfy the kernel identity (3.1). We slightly modify $\Psi$ so that it satisfies the kernel identity.

To prove Theorem 1.1, we prove several lemmas.

Lemma 3.2.

$$T_{q,x}^{-\mu}T_{t,y}^{I}(B_{\mu,I}(x,y)\rho(x,y))=B_{\mu,I}(tx^{-1},q^{-1}y^{-1})\rho(x,y).$$ (3.4)

Proof.

We put

$$F_{0}(x,y)=\prod_{i=1}^{n}\left(\prod_{j\in I}\frac{1-x_{i}/(ty_{j})}{1-q^{\mu_{i}}x_{i}/y_{j}}\prod_{j\notin I}\frac{1-x_{i}/(qy_{j})}{1-q^{\mu_{i}-1}x_{i}/y_{j}}\right),$$ (3.5)

$$G_{0}(x,y)=\prod_{i=1}^{n}\prod_{j=1}^{m}\frac{1}{(1-q^{-1}x_{i}/y_{j})(1-ty_{j}/x_{i})},$$ (3.6)

$$F_{1}(x)=\frac{\Delta(q^{\mu}x)}{\Delta(x)}\prod_{i,j=1}^{n}\frac{(tx_{i}/x_{j};q)_{\mu_{i}}}{(qx_{i}/x_{j};q)_{\mu_{i}}},$$ (3.7)

$$G_{1}(x)=\prod_{1\leq i\neq j\leq n}\frac{(x_{i}/x_{j};q)_{\infty}}{(tx_{i}/x_{j};q)_{\infty}},$$ (3.8)

$$F_{2}(y)=\prod_{\begin{subarray}{c}1\leq i,j\leq m\\ i\in I,j\notin I\end{subarray}}\frac{y_{i}-qy_{j}}{y_{i}-y_{j}},$$ (3.9)

$$G_{2}(y)=\prod_{1\leq i\neq j\leq m}\frac{(y_{i}/y_{j};t)_{\infty}}{(qy_{i}/y_{j};t)_{\infty}}.$$ (3.10)

By simple calculation, we have

$$T_{q,x}^{-\mu}T_{t,y}^{I}(F_{0}(x,y)G_{0}(x,y))=F_{0}(t/x,1/(qy))G_{0}(x,y),$$ (3.11)

$$T_{q,x}^{-\mu}(F_{1}(x)G_{1}(x))=F_{1}(t/x)G_{1}(x),$$ (3.12)

$$T_{t,y}^{I}(F_{2}(y)G_{2}(y))=F_{2}(1/(qy))G_{2}(y).$$ (3.13)

Since $B_{\mu,I}(x,y)\rho(x,y)=F_{0}(x,y)G_{0}(x,y)F_{1}(x)G_{1}(x)F_{2}(y)G_{2}(y)$, we obtain the desired identity (3.4). ∎

Remark 3.3.

The case $|I|=|\mu|=1$ of Lemma 3.2 was obtained in [1].

Lemma 3.4.

Assume $r<|q|^{\max_{i}{|\mu_{i}|}}R$ and $|q|<|t|$, where $r,R\in\mathbb{R}_{>0}$. Suppose a function $\varphi(x,y)$ is holomorphic on $D=\{(x,y)\mid|q|^{\mu_{i}}R\leq|x_{i}|\leq R,\,r\leq|y_{j}|\leq|t|^{-1}r\,(1\leq i\leq n,\,1\leq j\leq m)\}$. If $|z_{j}|<|t|/R,\,|w_{j}|<1/r$, then we have

$$\int_{C_{\mu}}x^{\alpha}y^{\beta}\varphi(x,y)\rho(x,y)B_{\mu,I}(x,y)\left(T_{q,x}^{\mu}T_{t,y}^{-I}\Psi_{n,m;N,M}(x,y;z,w)\right)\frac{dx}{x}\frac{dy}{y}$$

$$= q^{-\alpha|\mu|}t^{\beta|I|}\int_{C_{\mu}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y},$$ (3.14)

where $C_{\mu}=\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}$ and $\alpha,\beta\in\mathbb{Z}$.

Proof.

By the change of variables $x\to q^{-\mu}x,\ y\to t^{I}y$, we have

$$\int_{C_{\mu}}x^{\alpha}y^{\beta}\varphi(x,y)\rho(x,y)B_{\mu,I}(x,y)\left(T_{q,x}^{\mu}T_{t,y}^{-I}\Psi_{n,m;N,M}(x,y;z,w)\right)\frac{dx}{x}\frac{dy}{y}$$

$$= q^{-\alpha|\mu|}t^{\beta|I|}\int_{q^{\mu}\mathbb{T}^{n}_{R}\times t^{-I}\mathbb{T}^{m}_{r}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\rho(x,y)B_{\mu,I}(x,y)\right)$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}.$$ (3.15)

By Lemma 3.2, we obtain

$$\int_{q^{\mu}\mathbb{T}^{n}_{R}\times t^{-I}\mathbb{T}^{m}_{r}}x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\rho(x,y)B_{\mu,I}(x,y)\right)\Psi_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}$$

$$= \int_{q^{\mu}\mathbb{T}^{n}_{R}\times t^{-I}\mathbb{T}^{m}_{r}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}.$$ (3.16)

The poles of the integrand (3.16) on the right-hand side for $(x,y)\in(\mathbb{C}\setminus\{0\})^{n+m}$ are as follows:

$$x_{i}-q^{-k}t/z_{j}=0\quad(k\in\mathbb{Z}_{\geq 0},\,1\leq i\leq n,\,1\leq j\leq N),$$ (3.17)

$$y_{i}-t^{-k-1}/w_{j}=0\quad(k\in\mathbb{Z}_{\geq 0},\,1\leq i\leq m,\,1\leq j\leq M),$$ (3.18)

$$x_{i}-tq^{k+\mu_{i}}x_{j}=0\quad(k\in\mathbb{Z}_{\geq 0},\,1\leq i\neq j\leq n),$$ (3.19)

$$y_{i}-qt^{k}y_{j}=0\quad(k\in\mathbb{Z}_{\geq 0},\,1\leq i\neq j\leq m),$$ (3.20)

$$x_{i}-qy_{j}=0\quad(\ 1\leq i\leq n,\,1\leq j\leq m),$$ (3.21)

$$x_{i}-ty_{j}=0\quad(\ 1\leq i\leq n,\,1\leq j\leq m),$$ (3.22)

$$x_{i}-q^{\mu_{i}+1}ty_{j}=0\quad(\ 1\leq i\leq n,\,j\in I),$$ (3.23)

$$x_{i}-q^{\mu_{i}}ty_{j}=0\quad(\ 1\leq i\leq n,\,j\notin I).$$ (3.24)

From assumptions $|z_{j}|<|t|/R,\,|w_{j}|<1/r$ and $|q|<|t|$, the integrand (3.16) on the right-hand side is holomorphic on $D$. Therefore, we obtain

$$\int_{q^{\mu}\mathbb{T}^{n}_{R}\times t^{-I}\mathbb{T}^{m}_{r}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}$$

$$= \int_{\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}.$$ (3.25)

From this equation, we obtain the desired equation (3.14). ∎

Remark 3.5.

The integrand on the right-hand side of (3.16) is holomorphic on $D$ if we assume $R<|q|^{\max_{i}{|\mu_{i}|}+1}|t|r$ instead of $r<|q|^{\max_{i}{|\mu_{i}|}}R$ in Lemma 3.4. Hence, Lemma 3.4 holds with $r<|q|^{\max_{i}{|\mu_{i}|}}R$ replaced by $R<|q|^{\max_{i}{|\mu_{i}|}+1}|t|r$. Therefore, the condition $r<|q|^{d}R$ in Theorem 3.7 below can be replaced by $R<|q|^{d+1}|t|r$.

Remark 3.6.

Because of the poles (3.21)–(3.24), the radii $r$ and $R$ of path $C_{\mu}$ depend on $\mu$. When $m=0$, the poles (3.21)–(3.24) do not appear. Therefore, the path can be taken independently of $\mu$. In particular, an integral transform for eigenvalue problem of the generating function $H_{n,0}(x;u)$ for Noumi–Sano operator can be constructed. See Appendix A for details.

We restate the main result.

Theorem 3.7.

Assume $q^{\alpha}=t^{-\beta}$, $r<|q|^{d}R$, and $|q|<|t|$, where $\alpha,\beta\in\mathbb{Z}$ and $r,R\in\mathbb{R}_{>0}$. Suppose that a function $\varphi(x,y)$ satisfies the following conditions:

• The function $\varphi(x,y)$ is a simultaneous eigenfunction of $H^{k}_{n,m}$ $(0\leq k\leq d)$, i.e.

  $$H^{k}_{n,m}(tx^{-1},q^{-1}y^{-1})\varphi(x,y)=E_{k}\varphi(x,y),\quad 0\leq k\leq d.$$ (3.26)

• The function $\varphi(x,y)$ is holomorphic on $D=\{(x,y)\mid|q|^{d}R\leq|x_{i}|\leq R,\,r\leq|y_{j}|\leq|t|^{-1}r\,(1\leq i\leq n,\,1\leq j\leq m)\}$.

We put $C_{d}=\mathbb{T}^{n}_{R}\times\mathbb{T}^{m}_{r}$, where $\mathbb{T}^{s}_{p}$ denotes the $s$-dimensional torus of radius $p$. If $|z_{j}|<|t|/R,\,|w_{j}|<1/r$, then the function

$$\Omega(z,w)=\int_{C_{d}}\varphi(x,y)\omega_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}$$ (3.27)

satisfies

$$H^{d}_{N,M}(z,w)\Omega(z,w)=\left(\sum_{k+l=d}\frac{(t^{N-n}q^{m-M};q)_{k}}{(q;q)_{k}}(t^{1-N}q^{M})^{k}t^{\beta l}E_{l}\right)\Omega(z,w).$$ (3.28)

Proof.

Using formula (3.2), we have

$$H^{d}_{N,M}(z,w)\Omega(z,w)$$

$$=\sum_{k+l=d}\bigg(\frac{(t^{N-n}q^{m-M};q)_{k}}{(q;q)_{k}}(t^{1-N}q^{M})^{k}t^{\beta l}$$

$$\quad\quad\quad\times\int_{C_{d}}\varphi(x,y)x^{\alpha}y^{\beta}\left(H_{n,m}^{l}(x,y)\Psi_{n,m;N,M}(x,y;z,w)\right)\rho(x,y)\frac{dx}{x}\frac{dy}{y}\bigg).$$ (3.29)

By Lemma 3.4,

$$\int_{C_{d}}\varphi(x,y)x^{\alpha}y^{\beta}\left(H_{n,m}^{l}(x,y)\Psi_{n,m;N,M}(x,y;z,w)\right)\rho(x,y)\frac{dx}{x}\frac{dy}{y}$$

$$=\sum_{|\mu|+|I|=l}\int_{C_{d}}\varphi(x,y)x^{\alpha}y^{\beta}B_{\mu,I}(x,y)\left(T_{q,x}^{\mu}T_{t,y}^{-I}\Psi_{n,m;N,M}(x,y;z,w)\right)\rho(x,y)\frac{dx}{x}\frac{dy}{y}$$

$$=\sum_{|\mu|+|I|=l}q^{-\alpha|\mu|}t^{\beta|I|}\int_{C_{d}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}.$$ (3.30)

By assumption $q^{\alpha}=t^{-\beta}$, we obtain

$$\sum_{|\mu|+|I|=d}q^{-\alpha|\mu|}t^{\beta|I|}\int_{C_{d}}\bigg(x^{\alpha}y^{\beta}\left(T_{q,x}^{-\mu}T_{t,y}^{I}\varphi(x,y)\right)\rho(x,y)B_{\mu,I}(tx^{-1},q^{-1}y^{-1})$$

$$\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\times\Psi_{n,m;N,M}(x,y;z,w)\bigg)\frac{dx}{x}\frac{dy}{y}$$

$$=t^{\beta l}\int_{C_{d}}x^{\alpha}y^{\beta}\left(H^{l}_{n,m}(tx^{-1},q^{-1}y^{-1})\varphi(x,y)\right)\rho(x,y)\Psi_{n,m;N,M}(x,y;z,w)\frac{dx}{x}\frac{dy}{y}.$$ (3.31)

This completes the proof of the theorem. ∎

4 Summary and discussion

In this paper, we gave an integral transform associated with eigenvalue problem of $H_{n,m}^{d}(x,y)$ in Theorem 1.1. We obtained this result by the kernel identity (3.1), self-adjointness (3.4) and $q$-de Rham theory (3.14).

There are many related problems. We mention two of them.

• In this paper, we gave an integral transform associated with eigenvalue problem of $H_{n,m}^{d}(x,y)$. However, we did not obtain an integral transform associated with eigenvalue problem of the generating function $H_{n,m}(x,y;u)$. It is important to derive an integral transform associated with eigenvalue problem of $H_{n,m}(x,y;u)$. We note that an integral transform associated with the generating function $H_{n,0}(x;u)$ of Noumi–Sano operators can be constructed by the same method. See Appendix A for details.

• The Ruijsenaars–Macdonald $q$-difference operators and the Noumi–Sano $q$-difference operators have elliptic analogues [11, 12]. The deformed Noumi–Sano $q$-difference operators have also elliptic analogues [4]. It is important to consider an elliptic analogue of integral transform for deformed Noumi–Sano operators. We remark that an integral transform for the elliptic Ruijsenaars operators is given in [7].

Appendix A The case of Noumi–Sano operator

In this appendix, we construct an integral transform for the eigenvalue problem of the Noumi–Sano operator $H_{n,0}(x;u)$. We use the same method as in Section 3.

We recall notations for the case of $m=0$:

$$H_{n,0}(x;u)=\sum_{\mu\in(\mathbb{Z}_{\geq 0})^{n}}(t^{1-n}u)^{|\mu|}B_{\mu,\emptyset}(x)T_{q,x}^{\mu},$$ (A.1)

$$B_{\mu,\emptyset}(x)=\frac{\Delta(q^{\mu}x)}{\Delta(x)}\prod_{i,j=1}^{n}\frac{(tx_{i}/x_{j};q)_{\mu_{i}}}{(qx_{i}/x_{j};q)_{\mu_{i}}},$$ (A.2)

$$\rho(x)=\prod_{1\leq i\neq j\leq n}(x_{i}/x_{j};q)_{\infty}/(tx_{i}/x_{j};q)_{\infty},$$ (A.3)

$$\Psi_{n,0;N,0}(x;z)=\prod_{i=1}^{n}\prod_{j=1}^{N}\frac{(x_{i}z_{j};q)_{\infty}}{(x_{i}z_{j}/t;q)_{\infty}},$$ (A.4)

$$\omega_{n,0;N,0}(x;z)=x^{\alpha}\Psi_{n,0;N,0}(x;z)\rho(x).$$ (A.5)

Lemma A.1.

Assume $R\in\mathbb{R}_{>0}$ and $\alpha\in\mathbb{Z}$. Suppose a function $\varphi(x)$ is holomorphic on $D=\{x\mid|q|^{\mu_{i}}R\leq|x_{i}|\leq R\ (1\leq i\leq n)\}$. If $|z_{j}|<|t|/R$, then we have

$$\int_{C}x^{\alpha}\varphi(x)\rho(x)B_{\mu,\emptyset}(x)\left(T_{q,x}^{\mu}\Psi_{n,0;N,0}(x;z)\right)\frac{dx}{x}$$

$$= q^{-\alpha|\mu|}\int_{C}x^{\alpha}\left(T_{q,x}^{-\mu}\varphi(x)\right)\rho(x)B_{\mu,\emptyset}(x^{-1})\Psi_{n,0;N,0}(x;z)\frac{dx}{x},$$ (A.6)

where $C=\mathbb{T}^{n}_{R}$.

This can be checked in a similar manner as the proof of Lemma 3.4. We remark that conditions of the path are independent from $\mu$. Therefore, we get an integral transform for eigenvalue problem of the generating function $H_{n,0}(x;u)$ of the Noumi–Sano operator.

Theorem A.2.

Assume $\alpha\in\mathbb{Z}$ and $R\in\mathbb{R}_{>0}$. Suppose that a function $\varphi(x)$ satisfies the following conditions:

• The function $\varphi(x)$ is an eigenfunction of $H_{n,0}(x;u)$, i.e.

  $$H_{n,0}(x^{-1};q^{-\alpha}u)\varphi(x)=E\varphi(x).$$ (A.7)

• The function $\varphi(x)$ is holomorphic on $D=\{x\mid|q|^{\mu_{i}}R\leq|x_{i}|\leq R\ (1\leq i\leq n)\}$.

We put $C=\mathbb{T}^{n}_{R}$, where $\mathbb{T}^{s}_{p}$ denotes the $s$-dimensional torus of radius $p$. If $|z_{j}|<|t|/R$, then the function

$$\Omega(z)=\int_{C}\varphi(x)\omega_{n,0;N,0}(x;z)\frac{dx}{x}$$ (A.8)

satisfies

$$H_{n,0}(z;u)\Omega(z)=\left(E\frac{(t^{1-n}u;q)_{\infty}}{(t^{1-N}u;q)_{\infty}}\right)\Omega(z).$$ (A.9)

Due to the explicit formula [11, equation (5.17)]

$$H_{n,0}(x;u)1=\frac{(q^{1-n}u;q)_{\infty}}{(tu;q)_{\infty}}1,$$ (A.10)

we obtain an eigenfunction of $H_{N,0}(z;u)$ as follows:

Corollary A.3.

Assume $\alpha\in\mathbb{Z}$ and $R\in\mathbb{R}_{>0}$. If $|z_{j}|<|t|/R$, then the following equation holds:

$$H_{n,0}(z;u)\int_{\mathbb{T}^{n}_{R}}\omega_{n,0;N,0}(x;z)\frac{dx}{x}$$

$$=\left(\frac{(q^{1-n-\alpha}u;q)_{\infty}(t^{1-n}u;q)_{\infty}}{(tq^{-\alpha}u;q)_{\infty}(t^{1-N}u;q)_{\infty}}\right)\int_{\mathbb{T}^{n}_{R}}\omega_{n,0;N,0}(x;z)\frac{dx}{x}.$$ (A.11)

Remark A.4.

In the case of the deformed Noumi–Sano operator, the path $C_{d}$ in Theorem 3.7 depends on $\mu$, so we do not discuss an integral transform associated with eigenvalue problem of the generating function $H_{n,m}(x,y;u)$.

Address:

Taikei Fujii

Department of Mathematics, Ochanomizu University, Japan.

E-mail: fujii.taikei@ocha.ac.jp

Takahiko Nobukawa

Department of Mathematical Sciences, Aoyama Gakuin University, Japan.

E-mail: nobukawa@math.aoyama.ac.jp