\documentclass[twoside]{article} \usepackage{amssymb, amsmath} \pagestyle{myheadings} \markboth{\hfil Resolvent kernel for the Kohn Laplacian \hfil EJDE--2002/69} {EJDE--2002/69\hfil Neur eddine Askour \& Zouhair Mouayn \hfil} \begin{document} \title{\vspace{-1in}\parbox{\linewidth}{\footnotesize\noindent {\sc Electronic Journal of Differential Equations}, Vol. {\bf 2002}(2002), No. 69, pp. 1--15. \newline ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu \newline ftp ejde.math.swt.edu (login: ftp)} \vspace{\bigskipamount} \\ % Resolvent kernel for the Kohn Laplacian on Heisenberg groups % \thanks{ {\em Mathematics Subject Classifications:} 47A10, 34A05, 35C15, 34B27. \hfil\break\indent {\em Key words:} Kohn Laplacian, Heisenberg group, magnetic Laplacian, resolvent kernel, \hfil\break\indent Green kernel, spectral density. \hfil\break\indent \copyright 2002 Southwest Texas State University. \hfil\break\indent Submitted March 15, 2002. Published July 24, 2002.} } \date{} % \author{Neur eddine Askour \& Zouhair Mouayn} \maketitle \begin{abstract} We present a formula that relates the Kohn Laplacian on Heisenberg groups and the magnetic Laplacian. Then we obtain the resolvent kernel for the Kohn Laplacian and find its spectral density. We conclude by obtaining the Green kernel for fractional powers of the Kohn Laplacian. \end{abstract} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{remark}[theorem]{Remark} \section{Introduction} The Heisenberg group can be described as the set $H_{n}= \mathbb{R}^{2n}\times \mathbb{R}$ equipped with the group law \begin{equation*} ( x,y,t)( x',y',t')=( x+x',y+y',t+t'+2( x'y-y'x))\,. \end{equation*} Its infinitesimal generators are the left invariant vector fields \begin{equation*} X_k=\frac{\partial }{\partial x_k}+2y_k\frac{\partial }{\partial t} ,\quad Y_k=\frac{\partial }{\partial y_k}-2x_k\frac{\partial }{ \partial t},\quad T=\frac{\partial }{\partial t} \end{equation*} which satisfy the canonical relations $[Y_j,X_k] =4\delta_{jk}T$. The self-adjoint operators $\frac{1}{2i}X_k$ and $\frac{1}{2i} Y_k$ correspond to the position and momentum operators in quantum mechanics. One also considers the following combinations of $X_k$ and $Y_k$: \begin{equation*} Z_k=\frac{1}{2}( X_k-iY_k)=\frac{\partial }{\partial z_k} +i\overline{z}_k\frac{\partial }{\partial t},\quad \overline{Z}_k=\frac{1 }{2}( X_k+iY_k)=\frac{\partial }{\partial \overline{z}_k} -iz_k\frac{\partial }{\partial t} \end{equation*} where $z_k=x_k+iy_k$. The operators $Z_k,\overline{Z}_k$ are related to the creation or annihilation operators. The model for the Kohn Laplacian on the Heisenberg group is \begin{equation*} \square_b=-\sum_{k=1}^n ( Z_k\overline{Z}_k+\overline{Z}_kZ_k) \end{equation*} \newline which can be written as $$\square_b=-2\sum_{k=1}^n \frac{\partial^2}{\partial z_k\partial \overline{z}_k}-2i\sum_{k=1}^n ( \overline{z}_k\frac{\partial }{\partial \overline{z}_k}-z_k\frac{\partial }{ \partial z_k})\frac{\partial }{\partial t}-2\sum_{k=1}^n | z_k|^2\frac{\partial^2}{\partial t^2}.\newline \tag{1.1}$$ This operator with $D( \square_b)=C_0^{\infty }( \mathbb{H}_{n},\mathbb{C})$, the space of complex-valued $C^{\infty }$-functions with a compact support in $\mathbb{H}_{n}$, as its natural regular domain in the Hilbert space $X=L^2( \mathbb{H }_{n},d\mu \otimes dt)$, is essentially self-adjoint. Here $d\mu$ and $dt$ denote respectively the Lebesgue measure on $\mathbb{C}^n$ and $\mathbb{R}$. It should be noted that the operator $\square_b$ is subelliptic but not elliptic \cite[p.374]{f1}. Its spectrum in $X$ is the set $[0,+\infty [$. As it will be shown in lemma \ref{lm3.1} below, the operator $\square_b$ is connected to the magnetic Laplacian $$\widetilde{\Delta }=-\sum_{j=1}^n \frac{\partial^2}{\partial z_j\partial \overline{z}_j}+\sum_{j=1}^n \overline{z}_j\frac{ \partial }{\partial \overline{z}_j}, \tag{1.2}$$ acting on the Hilbert space $L^2( \mathbb{C}^n ,e^{-| z| ^2}d\mu )$. Here $| z|^2=\langle z,z\rangle$ denotes the Euclidean norm square and $\langle z,w\rangle =\sum_{j=1}^n z_j\overline{w}_j$ the Hermitian product of $\mathbb{C}^n$. This paper is organized as follows. In section 2 we set some notation for special functions and state some formulas. In section 3, we give the resolvent of the Kohn Laplacian $\square_b$. In section 4, we obtain the Green kernel for fractional powers of $\square_b^{\alpha }$. In section 5, we give the spectral density of $\square_b$. Section 6 will be the Appendix. \section{Notation and formulas} Here we list some special functions and formulas to be used later. The reader can proceed to section 3 and refer back to this section as necessary. The confluent hypergeometric function \cite[ p.204]{n1} is denoted by \begin{equation*} _1F_1( a,c,x)=\frac{\Gamma ( c)}{\Gamma ( a)}\sum_{j=1}^{\infty }\frac{\Gamma ( a+j)}{\Gamma ( c+j)}\frac{x^j}{j!}. \end{equation*} As in \cite[p.264]{n1}, we define the function $$G( a,c,x)=\frac{\Gamma ( 1-c)}{\Gamma ( a-c+1)}\text{ }_1F_1( a,c;x)+\frac{\Gamma ( c-1)}{\Gamma ( a)}x^{1-c}\text{ }_1F_1( a-c+1,2-c,x) \tag{2.1}$$ Note note that at $c=m\in \mathbb{Z}_{+}$, the second term of (2.1) has a removable singularity. More precisely, \begin{multline} \lim_{c\to m}G( a,c,x)=\frac{( -1)^{m} }{( m-1)!\Gamma ( c-m+1)}\Big\{\sum_{k=1}^{m-1} \frac{( -1)^{k-1}( k-1)!}{( a-k)_k( m-k)_k}x^{-k} \\ +\sum_{k=0}^\infty \frac{( a)_kx^{k}}{k!( m)_k}[\ln x+\Psi ( a+k)-\Psi ( m+k) -\Psi ( k+1)] \Big\}, \tag{2.2} \end{multline} where $\Psi ( x)$ is the logarithmic derivative of $\Gamma ( x)$ and $( x)_j=:x( x+1)\cdots ( x+j-1)$. For $m=1$, one makes the convention that the first series in the second term of (2.2) vanishes \cite[p.213]{n1}. The Whittaker function \cite[p.225]{n1} is denoted by $$W_{\beta ,\alpha }( x)=x^{\alpha +\frac{1}{2}}e^{-\frac{x}{2} }G( \alpha -\beta +\frac{1}{2},2\alpha +1,x) \tag{2.3}$$ The Macdonald functions \cite[p.159]{n1} are defined as $$K_{\nu }( x)=\frac{1}{2}\frac{\pi }{\sin \pi \nu }( I_{-\nu }( x)-I_{\nu }( x)), \tag{2.4}$$ where $I_{\nu }( x)$ is the modified Bessel function of indice $\nu$ given by the series $$I_{\nu }( x)=\sum_{m=0}^\infty \frac{( \frac{1}{2} x)^{\nu +2m}}{m!\Gamma ( \nu +m+1)}. \tag{2.5}$$ We have also the following formulas for $\nu \notin \mathbb{Z}_{+}$: $$K_{\nu }( x)=\frac{\pi }{2\sin \nu \pi }\Big\{ \sum_{m=0}^\infty \frac{( \frac{1}{2}x)^{-\nu +2m}}{ m!\Gamma ( -\nu +m+1)}-\sum_{m=0}^\infty \frac{( \frac{1}{2}x)^{\nu +2m}}{m!\Gamma ( \nu +m+1)}\Big\} , \tag{2.6}$$ \begin{multline} K_{\nu }( x)=( -1)^{\nu +1}I_{\nu }( x) \ln ( \frac{x}{2})+\frac{1}{2}\sum_{k=0}^{\nu -1}\frac{ ( -1)^{k}( \nu -k-1)!}{k!}( \frac{x}{2}) ^{2k-\nu } \\ +( -1)^{\nu }\sum_{k=0}^{\infty }\frac{( \frac{x}{2} )^{2k+\nu }}{k!( k+\nu )!}[\Psi ( \nu +k+1)-\Psi ( k+1)] . \tag{2.7} \end{multline} For $\nu =0$, we assume that the first series in (2.7) vanishes, see \cite[p.159]{n1}. The Laguerre polynomials \cite[p.1037]{g1} are defined as $$L_k^{m}( x)=\sum_{j=0}^{k}( -1)^{k}\binom{ k+m}{k-j}\frac{x^j}{j!}\,. \tag{2.8}$$ \section{The resolvent of the operator $\square_b$} First, we establish the connection between the Kohn Laplacian $\square_b$ and the operator $\widetilde{\Delta }$ given in (1.1). For this, we denote by $\mathcal{F}$ the map from $L^2( \mathbb{H}_{n},d\mu \otimes dt)$ to $L^2( \mathbb{C}^n ,d\mu )$ given by the partial Fourier transform with respect to the variable $t$: \begin{equation*} \mathcal{F}\varphi ( z,\lambda )=\frac{1}{\sqrt{\pi }} \int_{-\infty }^\infty \varphi ( z,t)e^{-i\lambda t}dt=\lim_{\rho \to +\infty } \int_{| t| \leq \rho }\varphi ( z,t) e^{-i\lambda t}dt. \end{equation*} considered as the limit in the $L^2( \mathbb{R})$-norm sense. \begin{lemma} \label{lm3.1} For $\lambda >0$, the operators $\square_b$ and $\widetilde{\Delta }$ are related by $$T_{\lambda }\circ ( \frac{1}{2}\mathcal{F}\circ \square_b-n\lambda )\circ T_{\lambda }^{-1}=2\lambda \widetilde{\Delta }, \tag{3.1}$$ where $T_{\lambda }:L^2( \mathbb{C}^n ,d\mu ) \to \ L^2( \mathbb{C}^n ,e^{-| z|^2}d\mu )$ is the map \begin{equation*} T_{\lambda }f( z)=2^{-n}\lambda^{-n}e^{\frac{1}{2}| z|^2}f( \frac{z}{\sqrt{2\lambda }}). \end{equation*} \end{lemma} \paragraph{Proof} Let $f( z,t)\in D( \square_b)=C_0^{\infty }( \mathbb{H}_{n})$ and let $g( z,t)=\square_bf( z,t)$. i.e., $$g( z,t)=[-2\sum_{k=1}^n \frac{\partial^2}{ \partial z_k\partial \overline{z}_k}-2i\sum_{k=1}^n ( \overline{z}_k\frac{\partial }{\partial \overline{z}_k}-z_k\frac{ \partial }{\partial z_k})\frac{\partial }{\partial t} -2\sum_{k=1}^n | z_k|^2\frac{\partial^2}{\partial t^2}] f( z,t)\text{.} \tag{3.2}$$ Then, applying $\mathcal{F}$ to both sides of this equation and using the property \begin{equation*} \mathcal{F}( \frac{\partial^{\alpha }f}{\partial t^{\alpha }}) ( z,\lambda )=( i\lambda )^{\alpha }\mathcal{F} ( f)( z,\lambda ), \end{equation*} equation (3.2) becomes \begin{equation*} \mathcal{F}g( z,\lambda )=2[-\sum_{k=1}^n \frac{ \partial^2}{\partial z_k\partial \overline{z}_k}+\lambda \sum_{k=1}^n ( \overline{z}_k\frac{\partial }{\partial \overline{z}_k}-z_k\frac{\partial }{\partial z_k})+\lambda ^2\sum_{k=1}^n | z_k|^2] \mathcal{F}f( z,\lambda ). \end{equation*} Denoting by $\mathcal{F}\circ \square_b$ the operator \begin{equation*} 2\Big[-\sum_{k=1}^n \frac{\partial^2}{\partial z_k\partial \overline{z}_k}+\lambda \sum_{k=1}^n ( \overline{z}_k\frac{ \partial }{\partial \overline{z}_k}-z_k\frac{\partial }{\partial z_k} )+\lambda^2\sum_{k=1}^n | z_k|^2\Big] , \end{equation*} formula (3.1) follows by a direct computation. \hfill$\diamondsuit$ \begin{theorem} \label{thm3.1} Let $\xi \in \mathbb{C}$ such that $\mathop{\rm Re}( \xi )<0$. Then, the resolvent operator $( \xi -\square_b)^{-1}$ is given by \begin{equation*} ( \xi -\square_b)^{-1}f( z,t)=\int_{ \mathbb{H}_{n}}R( \xi ;( z,t),( w,s)) f( w,s)d\mu ( w)\otimes ds \end{equation*} where \begin{multline} R( \xi ,( z,t),( w,s))=\frac{-2^{n-1}}{ \pi^{n+\frac{1}{2}}}\int_0^\infty x^{n-1}\Gamma ( \frac{ -\xi }{4x}+\frac{n}{2})G( \frac{-\xi }{4x}+\frac{n}{2} ,n,2x| z-w|^2) \\ \times e^{-x| z-w|^2}\cos \big( x( t-s)+2x\mathop{\rm Im }\langle z,w\rangle \big)dx \tag{3.3} \end{multline} \end{theorem} \paragraph{Proof} Let $\xi \in \mathbb{C}$ be such that $\mathop{\rm Re}( \xi )<0$ and $f\in C_0^{\infty }( \mathbb{H}_{n},\mathbb{C})$. Then we need to solve the equation $$( \xi -\square_b)g( z,t)=f( z,t). \tag{3.4}$$ Applying the map $\mathcal{F}$ to both sides of this equation, we obtain $$( \xi -\mathcal{F}\circ \square_b)\mathcal{F}g( z,\lambda )=\mathcal{F}f( z,\lambda ) \tag{3.5}$$ where $\lambda$ is the dual variable of $t$. Because of lemma \ref{lm3.1}, for $\lambda >0$, equation (3.4) becomes $$T_{\lambda }^{-1}\circ 4\lambda ( \frac{\xi }{4\lambda }-\frac{n}{2}- \widetilde{\Delta })\circ T_{\lambda }\mathcal{F}g( z,\lambda )=\mathcal{F}f( z,\lambda ). \tag{3.6}$$ Now, for $\mathop{\rm Re}( \xi )<0$, the operator $\frac{\xi }{ 4\lambda }-\frac{n}{2}-\widetilde{\Delta }$ is invertible because $\frac{\xi }{4\lambda }-\frac{n}{2}$ does not belong to the set $\mathbb{Z}_{+}$ which is the spectrum of $\widetilde{\Delta }$. Thus, we can write $$\mathcal{F}g( z,\lambda )=T_{\lambda }^{-1}\circ ( 4\lambda )^{-1}( \frac{\xi }{4\lambda }-\frac{n}{2}-\widetilde{\Delta } )^{-1}\circ T_{\lambda }\mathcal{F}f( z,\lambda ). \tag{3.7}$$ On the other hand, for $\zeta \in \mathbb{C}\mathbf{\backslash }\mathbb{Z}_{+}$, we have the following formula, \cite[p.6938]{a1}, $$( \zeta -\widetilde{\Delta })^{-1}f( z)=-\pi ^{-n}\Gamma ( -\zeta )\int_{\mathbb{C}^n }e^{\langle z,w\rangle } G( -\zeta ,n,| z-w|^2) f( w)e^{-| w|^2}d\mu ( w). \tag{3.8}$$ Next, after a computation using (3.8), equation (3.7) becomes \begin{multline} \mathcal{F}g( z,\lambda )=-\pi^{-n}2^{n-2}\lambda^{n-1}\Gamma ( \frac{-\xi }{4\lambda }+\frac{n}{2})\int_{\mathbb{C} ^n }G( \frac{-\xi }{4\lambda }+\frac{n}{2},n,2\lambda | z-w|^2) \\ \times e^{2\lambda \langle z,w\rangle -\lambda | z| ^2-\lambda | w|^2}\mathcal{F}f( w,\lambda )d\mu ( w). \tag{3.9} \end{multline} For the case $\lambda <0$, it suffices to change the variable $z$ to $i \overline{z}$ in (3.5). This yields (3.5) again with $-\lambda$ instead of $\lambda$. Hence, in view of (3.9), we get \begin{multline} \mathcal{F}g( z,\lambda )=-\pi^{-n}2^{n-2}( -\lambda )^{n-1}\Gamma ( \frac{\xi }{4\lambda }+\frac{n}{2}) \int_{\mathbb{C}^n }G( \frac{\xi }{4\lambda }+\frac{n}{2} ,n,-2\lambda | z-w|^2) \\ \times e^{-2\lambda \langle w,z\rangle +\lambda | z| ^2+\lambda | w|^2}\mathcal{F}f( w,\lambda )d\mu ( w). \tag{3.10} \end{multline} In summary, for $\lambda \neq 0$, we obtain $$\mathcal{F}g( z,\lambda )=\int_{\mathbb{C}^n }Q_{\lambda }( \xi ;z,w)\mathcal{F}f( w,\lambda )d\mu ( w), \tag{3.11}$$ where \begin{multline*} Q_{\lambda }( \xi ;z,w)=-\pi^{-n}2^{n-2}| \lambda | ^{n-1}\Gamma ( \frac{-\xi }{4| \lambda | }+\frac{n}{2} )G( \frac{-\xi }{4| \lambda | }+\frac{n}{2},n,2| \lambda | | z-w|^2) \\ \times e^{2| \lambda | \langle z,w\rangle -| \lambda | | w|^2-| \lambda | | z| ^2}. \end{multline*} Now, by the Parseval-Plancherel theorem \cite[p.39]{n2}, from (3.11) we get the integral representation \begin{align} g( z,t)=&\frac{1}{\sqrt{\pi }}\int_{-\infty }^\infty e^{i\lambda t}\Big( \int_{\mathbb{C}^n }Q_{\lambda }( \xi ;z,w)\mathcal{F}f( w,\lambda )d\mu ( w) \Big)d\lambda \nonumber \\ =&\int_{\mathbb{C}^n }\Big( \frac{1}{\sqrt{\pi }}\int_{- \infty }^\infty e^{i\lambda t}Q_{\lambda }( \xi ,z,w)\mathcal{ F}f( w,\lambda )d\lambda \Big)d\mu ( w). \tag{3.12} \end{align} On the other hand, square integrability of the function $\lambda \to e^{i\lambda t}Q_{\lambda }( \xi ;z,w)$ (see section 6 below) enables us to write \begin{multline} \int_{-\infty }^\infty e^{i\lambda t}Q_{\lambda }( \xi ,z,w)\mathcal{F}f( w,\lambda )d\lambda \\ =\int_{-\infty }^\infty \Big( \int_{-\infty }^\infty e^{is( t-\lambda )}Q_{s}( \xi ,z,w)ds) f( w,\lambda \Big)d\lambda \tag{3.13} \end{multline} (see \cite[p.49]{n2} for the general theory). Hence, by (3.12) and (3.13) one can write \begin{equation*} g( z,t)=\int_{\mathbb{C}^n }R( \xi ;( z,t),( w,\lambda ))f( w,\lambda )d\mu ( w)\otimes d\lambda \end{equation*} where \begin{equation*} R( \xi ;( z,t),( w,\lambda ))=\frac{1}{ \sqrt{\pi }}\int_{-\infty }^\infty e^{i( t-\lambda ) }Q_{s}( \xi ;z,w)ds. \end{equation*} Finally, a direct computation yields \begin{multline*} R( \xi ;( z,t),( w,\lambda ))=\frac{ -2^{n-1}}{\pi^{n+\frac{1}{2}}}\int_0^\infty s^{n-1}\Gamma ( \frac{-\xi }{4s}+\frac{n}{2})G( \frac{-\xi }{4s}+\frac{n}{ 2},n,2s| z-w|^2) \\ \times e^{-s| z-w|^2}\cos ( s( t-\lambda )+2s \mathop{\rm Im}\langle z,w\rangle )ds. \end{multline*} This completes the proof of theorem \ref{thm3.1}. \hfill$\diamondsuit$ \begin{remark} \label{rmk3.1} \rm Considering the limit value $\xi =0$ in (3.3), we obtain the kernel function \begin{multline} R_0( ( z,t),( w,\lambda ))=\frac{ -2^{n-1}\Gamma ( \frac{n}{2})}{\pi^{n+\frac{1}{2}}} \int_0^\infty s^{n-1}\Gamma ( \frac{n}{2})G( \frac{n}{2},n,2s| z-w|^2)\\ \times e^{-s| z-w|^2}\cos ( s( t-\lambda )+2s\mathop{\rm Im }\langle z,w\rangle )ds. \tag{3.14} \end{multline} which corresponds to a right inverse of $\square_b$. That is, \begin{equation*} \square_b^{-1}f( z,t)=\int_{\mathbb{H}_{n}}-R_0( ( z,t),( w,s))f( w,\lambda )d\mu ( w)\otimes d\lambda\,. \end{equation*} In other words, $-R_0( ( z,t),( w,\lambda ) )$ is a Green kernel of $\square_b$. Another Green kernel for $\square_b$ is given by \begin{equation*} F=\frac{1}{2}c_{n}\rho^{-2n} \end{equation*} where $\rho =( t^2+| z|^{4})^{\frac{-1}{4}}$ and $c_{n}=n( n+2)\int_{\mathbb{H}_{n}}| z| ^2( 1+\rho ( z,t)^{4})^{\frac{-( n+4)}{ 2}}d\mu ( z)dt$, which was obtained by Folland using an analogous fact to $\| x\|^{2-n}$ being (a constant multiple of) the fundamental solution of the Laplacian on $R^n$ with source at $0$, see \cite[theorem 2, p.375]{f1}. \end{remark} \section{Green kernel for fractional powers of $\square_b$} As application of the formula obtained for the resolvent kernel of $\square_b$, we give the Green kernel of the fractional power operator $\square_b^{\alpha }$ for $\alpha \in ] 0,1[$. \begin{proposition} \label{prop4.1} Let $\alpha \in ] 0,1[$. Then the Green kernel of the fractional power operator $\square_b^{\alpha }$ is \begin{align*} H_{\alpha }( ( z,t),( w,s))=&-\frac{ 4^{1-\alpha }\Gamma ( 1-\alpha +n)}{2\pi^{n+\frac{1}{2}}\Gamma ( \alpha )}\int_0^\infty ( \sinh \frac{\lambda }{2})^{-n}\lambda^{\alpha -1} \\ &\times ( ( | z-w| \coth \frac{\lambda }{2}) ^2+t-s+2\mathop{\rm Im}\langle z,w\rangle )^{-\frac{1-\alpha +n }{2}} \\ &\times \cos ( ( n+1-\alpha )\arctan ( \frac{t-s+2\mathop{\rm Im}\langle z,w\rangle }{| z-w| }\tanh \frac{\lambda }{2 }))d\lambda . \end{align*} \end{proposition} \paragraph{Proof} Since $\square_b$ is a positive self-adjoint operator, its resolvent \cite[p.21]{k1} satisfies $$\left\| R( -s)\right\| \leq \frac{1}{s}. \tag{4.1}$$ This estimate enables us to define the fractional powers $\square_b^{\alpha},\alpha \in ] 0,1[$ according to the formula, \cite[p.127]{k1}, \begin{equation*} \square_b^{\alpha }g=\frac{\sin \pi \alpha }{\pi }\int_0^{+ \infty }s^{\alpha -1}R( -s)\square_bgds,\text{ }g\in D( \square_b). \end{equation*} Thanks to Kato's formula \cite[pp.123-125]{k1}, the resolvent operator $R_{\alpha }( \gamma )=( \gamma-\square_b^{\alpha })^{-1}$, $\alpha \pi <| \arg \gamma | \leq \pi$ , is given by $$R_{\alpha }( \gamma )=\frac{\sin \pi \alpha }{\pi } \int_0^\infty \frac{\xi^{\alpha }R( -\xi )}{\xi ^{2\alpha }-2\xi^{\alpha }\gamma \cos \pi \alpha +\gamma^2}d\xi . \tag{4.2}$$ The action of $R_{\alpha }( \gamma)$ on a function $f\in L^2( \mathbb{H}_{n})$ is $$R_{\alpha }( \gamma )f( z,t)=\frac{\sin \pi \alpha }{ \pi }\int_0^\infty \frac{\xi^{\alpha }R( -\xi ) f( z,t)}{\xi^{2\alpha }-2\xi^{\alpha }\gamma \cos \pi \alpha +\gamma^2}d\xi,\; \mbox{almost every where}. \tag{4.3}$$ Then the resolvent kernel of $\square_b^{\alpha }$ is $$I_{\alpha }( \gamma ;( z,t),( w,s))= \frac{\sin \pi \alpha }{\pi }\int_0^\infty \frac{\xi^{\alpha }R( -\xi ;( z,t),( w,s))}{\xi^{2\alpha }-2\xi^{\alpha }\gamma \cos \pi \alpha +\gamma^2}d\xi . \tag{4.4}$$ The limit value $\gamma =0$ in (4.4) gives a Green kernel of $\square_b^{\alpha }$: $$I_{\alpha }:=I_{\alpha }( 0;( z,t),( w,s) )=\frac{\sin \pi \alpha }{\pi }\int_0^\infty \xi ^{-\alpha }R( -\xi ,( z,t),( w,s))d\xi , \tag{4.5}$$ Using theorem \ref{thm3.1}, $I_{\alpha }$ in (4.5) becomes \begin{multline} I_{\alpha }=\frac{-2^{n-1}\sin \pi \alpha }{\pi^{n+\frac{3}{2}}} \int_0^\infty x^{n-1}\cos ( \tau x)e^{-x| z-w|^2} \\ \times ( \int_0^\infty \xi^{-\alpha }\Gamma ( \frac{ \xi }{4x}+\frac{n}{2})G( \frac{\xi }{4x}+\frac{n}{2},n;2x\rho )d\xi )dx , \tag{4.6} \end{multline} where $$\tau =t-s+2\mathop{\rm Im}\langle z,w\rangle ,\quad \rho=| z-w|^2. \tag{4.7}$$ Making the change of variable $u=\frac{1}{4x}\xi$, equation (4.6) can be rewritten as $$I_{\alpha }=\frac{-2^{n-1}4^{-\alpha +1}\sin \pi \alpha }{\pi^{n+\frac{3}{2} }}\int_0^\infty x^{n-\alpha }\cos ( \tau x)e^{-x\rho }N_{\alpha ,n,\rho }( x)dx, \tag{4.8}$$ where $$N_{\alpha ,n,\rho }( x)=\int_0^\infty u^{-\alpha }\Gamma ( u+\frac{n}{2})G( u+\frac{n}{2},n;2x\rho ) du. \tag{4.9}$$ The formula \begin{equation*} \Gamma ( a)G( a,c,x)=\int_0^\infty ( 1-e^{-\lambda })^{-c}\exp ( \frac{-x}{e^{\lambda }-1} )e^{-\lambda a}d\lambda \end{equation*} is obtained by combining (2.3) with the integral representation \begin{equation*} \Gamma ( s-\nu +1)e^{\frac{1}{2}\alpha }\alpha^{\frac{1}{2}\nu - \frac{1}{2}}W_{\frac{1}{2}\nu -\frac{1}{2}-s,\frac{1}{2}\nu }=\int_0^\infty e^{-st}( e^{t}-1)^{\nu -1}\exp ( \frac{-\alpha }{e^{t}-1})dt \end{equation*} \newline (see \cite[p.146]{e1}. Then, the integral (4.9) becomes \begin{align*} N_{\alpha ,n,\rho }( x)=&\int_0^\infty u^{-\alpha }( \int_0^\infty \frac{1}{( 1-e^{-\lambda })^n }\exp ( \frac{2\rho x}{1-e^{\lambda }})e^{-\lambda u}e^{-\frac{n }{2}\lambda }d\lambda )du \\ =&\int_0^\infty \frac{e^{-\frac{n}{2}\lambda }}{( 1-e^{-\lambda })^n }\exp ( \frac{2\rho }{1-e^{\lambda }} x)( \int_0^\infty u^{-\alpha }e^{-\lambda u}du)d\lambda\\ =&\int_0^\infty \frac{2^{-n}\Gamma ( 1-\alpha )}{ ( \sinh \frac{\lambda }{2})^n }\exp ( \frac{2\rho }{ 1-e^{\lambda }}x)\lambda^{\alpha -1}d\lambda . \end{align*} So, (4.8) becomes \begin{align*} I_{\alpha } =&\frac{-2^{1-2\alpha }}{\pi^{n+\frac{1}{2}}\Gamma ( \alpha )}\int_0^{\infty }x^{n-\alpha }e^{-x\rho }\cos \tau x\\ &\times \Big(\int_0^{\infty }\frac{1}{( \sinh \frac{\lambda }{2}) ^n }\exp ( \frac{2\rho }{1-e^{\lambda }}x)\lambda^{-1+\alpha }d\lambda \Big)dx \\ =&\frac{-2^{1-2\alpha }}{\pi^{n+\frac{1}{2}}\Gamma ( \alpha )} \int_0^{\infty }\frac{1}{( \sinh \frac{\lambda }{2}) ^n }\lambda^{\alpha -1} \Big( \int_0^{\infty }x^{n-\alpha }\exp ( -x\rho \coth \frac{\lambda }{2})\cos \tau xdx\Big)d\lambda. \tag{4.10} \end{align*} By using the formula \begin{equation*} \int_0^\infty x^{\nu -1}e^{-ax}\cos ( xy)dx=\Gamma ( \nu )( a^2+y^2)^{-\frac{\nu }{2}}\cos ( \nu \arctan ( \frac{y}{a})) \end{equation*} (see \cite{g1}, p. 490) for $\nu =1-\alpha +n,$ $a=\rho \coth \frac{t}{2}$ and $y=\tau$, the fundamental solution $I_{\alpha }$ in (4.10) becomes \begin{multline*} I_{\alpha }=-\frac{4^{1-\alpha }\Gamma ( 1-\alpha +n)}{2\pi^{n+ \frac{1}{2}}\Gamma ( \alpha )}\int_0^\infty ( \sinh \frac{\lambda }{2})^{-n}\lambda^{\alpha -1}( ( \rho \coth \frac{\lambda }{2})^2+\tau^2)^{-\frac{1-\alpha +n}{2 }} \\ \times \cos \big( ( n+1-\alpha )\arctan ( \frac{\tau }{ \rho }\tanh \frac{\lambda }{2})\big)d\lambda . \end{multline*} So, the proof of proposition \ref{prop4.1} is complete. \hfill$\diamondsuit$ \begin{remark} \label{rm4.1} \rm Proposition \ref{prop4.1} extends the result obtained by Benson et al in \cite[p.457]{b1} by providing the Green kernel of powers $\square_b^{p}$ with $1\leq p\leq n,p\in \mathbb{Z}_{+}$. \end{remark} \section{Spectral density of the operator $\square_b$} In this section, we give the spectral density of the Kohn Laplacian $\square_b$. The extension of $\square_b$ given by its adjoint will be also denoted by $\square_b$. The domain of the extension $\square_b$ will be denoted by $\mathbf{\chi }$. This extension $\square_b$ admits a spectral decomposition $\left\{ E_{\lambda }\right\}_{\lambda }$. The $\left\{ E_{\lambda }\right\}_{\lambda }$ is an increasing family of projectors that satisfy \begin{equation*} I=\int_{-\infty }^\infty dE_{\lambda } \end{equation*} where $I$ is the identity operator, and $\square_b=\int_{-\infty }^\infty \lambda dE_{\lambda }$ in the weak sense; that is, \begin{equation*} ( \square_bf,g)=\int_{-\infty }^\infty \lambda d( E_{\lambda }f,g) \end{equation*} for $f\in \mathbf{\chi }$ and $g\in L^2( \mathbb{H}_{n})$, where $( f,g)$ is the inner product of $L^2( \mathbb{H}_{n})$. The spectral density \begin{equation*} e_{\lambda }=\frac{dE_{\lambda }}{d\lambda } \end{equation*} is understood as an operator-valued distribution; i.e., an element of the space $\mathcal{D}'( \mathbf{R},L( \mathbf{\chi },L^2(\mathbb{H}_{n})))$. Here $L( \mathbf{\chi },L^2( \mathbb{H}_{n}))$ is the space of bounded operators from $\chi$ to $L^2( \mathbb{H}_{n})$. \begin{proposition} \label{prop5.1} The spectral density $e_{\lambda }=\frac{dE_{\lambda }}{d\lambda }$ of $\ \square_b$ is the operator valued distribution $\varphi \to \langle e_{\lambda },\varphi \rangle$ from $\mathcal{D}( \mathbb{R})$ to $L( \mathbf{\chi },L^2( \mathbb{H}_{n}))$ given by \begin{equation*} \langle e_{\lambda },\varphi \rangle f( z,t) =\int_{H_{n}}\Big[\int_0^\infty e( \lambda ,( z,t),( w,s))\varphi ( \lambda )d\lambda \Big] f( w,s)d\mu ( w)\otimes ds \end{equation*} where \begin{multline} e( \lambda ,( z,t),( w,s))=-\frac{1}{\pi ^{n+\frac{1}{2}}}\sum_{j=0}^\infty L_j^{n-1}( \frac{\lambda | z-w|^2}{( 2j+n)})\cos ( \frac{ \lambda ( t-s)+2\mathop{\rm Im}\langle z,w\rangle }{2( 2j+n)}) \\ \times \frac{\lambda^n }{( 2j+n)^{n+1}}e^{-\frac{\lambda | z-w|^2}{2( 2j+n)}} \tag{5.1} \end{multline} \end{proposition} \paragraph{Proof} We can write the resolvent kernel of $\square_b$, given in (3.3), as \begin{multline} R( \xi ;( z,t),( w,s))\\ =\frac{-2^{n-1}}{\pi^{n+\frac{1}{2}}}\int_0^\infty x^{n-1} \Gamma ( \eta ( x))G(\eta ( x),n,2x| z-w| ^2)e^{-x\rho } \cos ( x\tau )dx \tag{5.2} \end{multline} where $\rho$ , $\tau$ are defined in (4.7) and $\eta ( x)= \frac{-\xi }{4x}+\frac{n}{2}$. Next, using the summation formula \begin{equation*} \Gamma ( a)G( a,c,y)=\sum_{j=0}^\infty \frac{1}{j+a}L_j^{c-1}(y) \end{equation*} (understood in the distributional sense; \cite[theroem 3.1]{a1}) for $a=\eta ( x)$, $c=n$ and $y=2x\rho$, we get successively \begin{align*} &R( \xi ;( z,t),( w,s))\\ &=\frac{-2^{n-1}}{\pi^{n+\frac{1}{2}}}\sum_{j=0}^{\infty }\int_0^\infty { x}^{n-1}\frac{1}{j+\eta ( x)} { L}_j^{n-1}( 2x\rho ){ e}^{-x\rho }\cos ( x\tau ){ dx} \\ &=\frac{-2^{n-1}}{\pi^{n+\frac{1}{2}}}\sum_{j=0}^\infty \int_0^\infty \frac{2^{-n+1}\lambda^n }{( 2j+n) ^{n+1}}{ L}_j^{n-1}( \frac{\lambda }{2j+n}\rho ){ e }^{\frac{-\rho \lambda }{2( 2j+n)}}\cos ( \frac{\tau \lambda }{2( 2j+n)})\frac{d\lambda }{\lambda -\xi } \\ &=\frac{-1}{\pi^{n+\frac{1}{2}}}\int_0^\infty [ \sum_{j=0}^\infty \frac{\lambda^n }{( 2j+n)^{n+1}} L_j^{n-1}( \frac{\lambda }{2j+n}\rho )e^{\frac{-\rho \lambda }{ 2( 2j+n)}}\cos ( \frac{\tau \lambda }{2( 2j+n)} )] \frac{d\lambda }{\lambda -\xi }. \tag{5.3} \end{align*} Setting \begin{multline*} { e}( ( \lambda ,( z,t),( w,s) ))\\ =\frac{-1}{\pi^{n+\frac{1}{2}}}\sum_{j=0}^\infty \frac{\lambda^n }{( 2j+n)^{n+1}} { L}_j^{n-1}( \frac{\lambda }{2j+n}\rho ){ e}^{ \frac{-\rho \lambda }{2( 2j+n)}}\cos ( \frac{\tau \lambda }{ 2( 2j+n)}) \tag{5.4} \end{multline*} Then, we can write $$R( \xi ;( z,t),( w,s)) =\int_0^\infty \frac{e( \lambda ,( z,t),( w,s))}{\xi -\lambda }d\lambda \tag{5.5}$$ The convergence of the series given in (5.4) can be seen as follows. For $j$ sufficiently large, we have \begin{multline*} | \frac{\lambda^n }{( 2j+n)^{n+1}}L_j^{n-1}( \frac{ \lambda }{2j+n}\rho )e^{\frac{-\rho \lambda }{2( 2j+n)} }\cos ( \frac{\tau \lambda }{2( 2j+n)})| \\ \leq c( n;\lambda ,\tau ,\rho ){ j}^{-n-1}{ L}_j^{n-1}( \frac{\lambda }{2j+n}\rho ), \end{multline*} where $c( n;\lambda ,\tau ,\rho )$ is a positive constant. And by using the asymptotic formula \begin{equation*} L_j^{n-1}( \frac{\rho \lambda }{2j+1})=O( j^{n-1}) \end{equation*} (see, \cite{m1}, p.248) the inequality (5.7) becomes \begin{equation*} | \frac{\lambda^n }{( 2j+n)^{n+1}}L_j^{n-1}( \frac{ \lambda }{2j+n}\rho )e^{\frac{-\rho \lambda }{2( 2j+n)} }\cos ( \frac{\tau \lambda }{2( 2j+n)})| \leq c( n;\lambda ,\tau ,\rho )\frac{1}{j^2}. \end{equation*} Now, in view of (5.6) for $\xi \in \mathbb{C}\mathbf{\backslash } \mathbb{R}$ and $f,g\in L^2( \mathbb{H}_{n})$, we have \begin{multline*} ( R( \xi )f,g)\\ =\int_0^\infty \frac{ d\lambda }{\xi -\lambda }\int_{\mathbb{H}_{n}}[\int_{ \mathbb{H}_{n}}e( \lambda ,( z,t),( w,s)) f( w,s)d\mu ( w)\otimes ds] \overline{g( z,t)}d\mu (z)\otimes dt\,. \end{multline*} On the other hand, recalling the formula, \cite[p. 134]{a2}, \begin{equation*} ( R( \xi )f,g)=\int_0^\infty \frac{1}{ \xi -\lambda }d( E_{\lambda }f,g). \end{equation*} By uniqueness of the spectral measure, we get \begin{equation*} \frac{d( E_{\lambda }f,g)}{d\lambda }=( K_{\lambda }f,g), \end{equation*} where $K_{\lambda }$ the operator \begin{equation*} K_{\lambda }f( z,t)=\int_{\mathbb{H}_{n}}e( \lambda ,( z,t),( w,s))f( w,s)d\mu ( w)ds,\text{ }f\in L^2( \mathbb{H}_{n})\,. \end{equation*} Finally, an interpretation argument of the operator $K_{\lambda }$ in terms of the operators valued distribution see \cite[p.9]{e2} completes the proof. \hfill$\diamondsuit$ \section{Appendix} \begin{proposition} \label{prop6.1} The function $\lambda \to e^{i\lambda t}Q_{\lambda }( \xi ;z,w)$ belongs to $L^2( \mathbb{R},d\lambda )$, where \begin{multline*} Q_{\lambda }( \xi ;z,w)=-\pi^{-n}2^{n-2}| \lambda | ^{n-1}\Gamma ( \frac{-\xi }{4| \lambda | }+\frac{n}{2} )G( \frac{-\xi }{4| \lambda | }+\frac{n}{2},n,2| \lambda | | z-w|^2) \\ \times e^{2| \lambda | \langle z,w\rangle -| \lambda | | w|^2-| \lambda | | z| ^2}. \end{multline*} \end{proposition} To prove this proposition, we need the following lemma. \begin{lemma} \label{lm6.1} For $\lambda \in \mathbb{R}$, $\mathop{\rm Re}( \xi )<0$, and $w\neq z$, we have the following estimates: (i) For $| \lambda | >0$, \begin{equation*} | Q_{\lambda }( \xi ;z,w)| \leq \pi^{-n-\frac{1}{2} }2^{\frac{n}{2}-\frac{3}{2}}| z-w|^{1-n}| \lambda |^{ \frac{n-1}{2}}K_{\frac{n-1}{2}}( | \lambda | | z-w|^2). \end{equation*} (ii) For $| \lambda | >\frac{-\mathop{\rm Re}( \xi )}{4}$, \begin{equation*} | Q_{\lambda }( \xi ;z,w)| \leq \pi ^{-n}2^{n-2}| \lambda |^{n-1}C_{n}( \xi ,| z-w| ^2)e^{-t| \lambda | | z-w|^2}. \end{equation*} \end{lemma} \paragraph{Proof} Let $\mathop{\rm Re}( \xi )<0$ and \begin{equation*} S( \lambda )=\Gamma ( \frac{-\xi }{4| \lambda | } +\frac{n}{2})G( \frac{-\xi }{4| \lambda | }+\frac{n}{2 },n,2| \lambda | | z-w|^2). \end{equation*} This function can be expressed using the kernel\ $Q_{\lambda }( \xi ;z,w)$ as $$S( \lambda )=-\pi^n 2^{2-n}| \lambda | ^{1-n}e^{-2| \lambda | \langle z,w\rangle +| \lambda | | w|^2+| \lambda | | z| ^2}Q_{\lambda }( \xi ;z,w). \tag{6.1}$$ Using the integral representation \begin{equation*} G( a,c,x)=\frac{1}{\Gamma ( a)}\int_0^{+ \infty }t^{a-1}( 1+t)^{c-a-1}e^{-tx}dt, \mathop{\rm Re}( a)>0,\text{ }\mathop{\rm Re}( x)>0 \end{equation*} \cite[p.277]{m1}, $S( \lambda )$ can be written as \begin{equation*} S( \lambda )=\int_0^\infty t^{\frac{-\xi }{4| \lambda | }+\frac{n}{2}-1}( 1+t)^{\frac{\xi }{4| \lambda | }+\frac{n}{2}-1}e^{-2| \lambda | t| z-w|^2}dt,\quad w\neq z\,. \end{equation*} Then we have the estimate \begin{equation*} | S( \lambda )| \leq \int_0^\infty \phi_{\xi ,\lambda ,n}( t)dt, \end{equation*} where \begin{equation*} \phi_{\xi ,\lambda ,n}( t)=\exp ( ( \frac{-\mathop{\rm Re} ( \xi )}{4| \lambda | }+\frac{n}{2}-1)\ln ( t)+( \frac{\mathop{\rm Re}( \xi )}{4| \lambda | }+\frac{n}{2}-1)\ln ( 1+t)-2| \lambda | t| z-w|^2). \end{equation*} On the other hand, for $t>0$ it follows that \begin{equation*} ( \ln ( 1+t)-\ln ( t))\frac{\mathop{\rm Re} ( \xi )}{4| \lambda | }+( \frac{n}{2}-1) \ln ( t)+( \frac{n}{2}-1)\ln ( 1+t) \leq ( \frac{n}{2}-1)\ln ( t^2+t). \end{equation*} Therefore, $$\int_0^\infty \phi_{\xi ,\lambda ,n}( t)dt\leq \int_0^\infty ( t( 1+t))^{\frac{n}{2} -1}e^{-2| \lambda | t| z-w|^2}dt. \tag{6.2}$$ To compute the integral in (6.2), we make use of the formula \begin{equation*} \int_0^\infty ( 2\beta x+x^2)^{\nu -1}e^{-px}dx= \frac{\Gamma ( \nu )}{\sqrt{\pi }}( \frac{2\beta }{p} )^{\nu -\frac{1}{2}}e^{\beta p}K_{\nu -\frac{1}{2}}( \beta p), \end{equation*} $| \arg ( \beta )| <\pi$ and $\mathop{\rm Re}( \nu )>0$ (see \cite[p.322]{g1}). With $\nu =n/2$, $\beta =1/2$ and $p=2| \lambda |\, | z-w|^2$, we obtain the estimate (i). For (ii), we proceed as follows. For $\lambda \neq 0$ and $w\neq z$, we have that \begin{equation*} | S( \lambda )| \leq \int_0^{1}\phi_{\xi ,\lambda ,n}( t)dt+\int_1^\infty \phi_{\xi ,\lambda ,n}( t)dt. \end{equation*} Then it is easy to see that \begin{equation*} \int_0^{1}\phi_{\xi ,\lambda ,n}( t)dt\leq \int_0^{1}( t( 1+t))^{\frac{n}{2}-1}dt. \end{equation*} On other hand for $| \lambda | \geq \frac{-\mathop{\rm Re}( \xi )}{4}$, we have \begin{equation*} \int_1^\infty \phi_{\xi ,\lambda ,n}( t)dt\leq \int_1^\infty ( t( 1+t))^{\frac{n}{2} -1}e^{\frac{\mathop{\rm Re}( \xi )}{2}t| z-w|^2}dt. \end{equation*} Consequently for $| \lambda | \geq \frac{-\mathop{\rm Re}( \xi )}{4}$, one gets the estimate \begin{align*} | S( \lambda )| \leq& \int_0^{1}( t( 1+t))^{\frac{n}{2}-1}dt+\int_1^\infty ( t( 1+t))^{\frac{n}{2}-1}e^{t\frac{\mathop{\rm Re}( \xi )}{2}| z-w|^2}dt\\ =&C_{n,\xi ,| z-w| ^2}<+\infty\,. \tag{6.3} \end{align*} Then, in view of (6.1) and (6.3) we get estimate (ii). \paragraph{Proof of proposition \ref{prop6.1}} First, we shall prove that the function $\lambda \to \varphi ( \lambda )=| \lambda |^{\frac{n-1}{2}}K_{\frac{n-1}{2} }( | \lambda | | z-w|^2)$ is $L^2$-integrable for $| \lambda | \leq \frac{-\mathop{\rm Re} ( \xi )}{4}$. We will discuss two cases.\\ Case $\frac{n-1}{2}\notin \mathbb{Z}_{+}$: in view of (2.6) we have \begin{equation*} \varphi ( \lambda )=\frac{\pi }{2\sin \frac{( n-1) \pi }{2}}( \sum_{k=0}^\infty \frac{( \frac{\rho }{2} )^{\frac{1-n}{2}+2k}( | \lambda | )^{2k}}{ k!\Gamma ( k-\frac{n-1}{2}+1)}-\sum_{k=0}^\infty \frac{ ( \frac{\rho }{2})^{\frac{n-1}{2}+2k}( | \lambda | )^{n-1+2k}}{k!\Gamma ( k+\frac{n-1}{2}+1)}) \end{equation*} where $\rho =| z-w|^2$. It is not difficult to show uniform convergence of the involved series for $| \lambda | \leq \frac{-\mathop{\rm Re}( \xi )}{4}$. Thus, the function $\varphi ( \lambda )$ is continuous on the compact set $B_{\xi }=\{ \lambda ,| \lambda | \leq \frac{-\mathop{\rm Re}( \xi )}{4}\}$ , consequently, $\varphi ( \lambda )$ is $L^2$-Integrable on $B_{\xi }$. \\ Case $\ \frac{n-1}{2}\in \mathbb{Z}_{+}$: by (2.7) we can write \begin{align*} \varphi ( \lambda )=&( -1)^{\frac{n-1}{2}}I_{\frac{n-1 }{2}}( \rho | \lambda | )| \lambda |^{ \frac{n-1}{2}}\ln ( \frac{\rho | \lambda | }{2}) \\ &+\frac{1}{2}\sum_{k=0}^{\frac{n-1}{2}-1}\frac{( -1) ^{k}( \frac{n-1}{2}-k-1)!}{k!}( \frac{\rho }{2})^{2k- \frac{n-1}{2}}| \lambda |^{2k} \\ &+\frac{1}{2}( -1)^{\frac{n-1}{2}}\sum_{k=0}^\infty \frac{( \frac{\rho }{2})^{2k+n-1}}{k!( k+\frac{n-1}{2} )!}[\Psi ( \frac{n-1}{2}+k+1)+\Psi ( k+1)] | \lambda |^{2k+n-1}. \tag{6.4} \end{align*} Note that for $n\neq 1$ the last series converges uniformly in the compact set $B_{\xi }$ where we have use the asymptotic behavior of the function $\Psi ( z)$ as $| z| \to +\infty$, \cite[p.18]{m1}, \begin{equation*} \Psi ( z)=\ln ( z)-\frac{1}{2z}-\frac{1}{12z^2}+ \frac{1}{120z^{4}}-\frac{1}{252z^{6}}+O( \frac{1}{z^{8}}). \end{equation*} Then, using the same argument as in the first case, we deduce that $\varphi ( \lambda )$ is $L^2$-integrable on the set $B_{\xi }$. For $n=1$, (6.4) can be rewritten as \begin{equation*} \varphi ( \lambda )=I_0( \rho | \lambda | )\ln ( \frac{\rho | \lambda | }{2}) +\sum_{k=0}^\infty \frac{( \frac{\rho }{2})^{2k}}{ ( k!)^2}2\Psi ( k+1)| \lambda |^{2k} \end{equation*} which is also $L^2$-integrable on $B_{\xi }$. Thus, we have \begin{equation*} \int_{| \lambda | \leq \frac{-\mathop{\rm Re}( \xi ) }{4}}| Q_{\lambda }( \xi ;z,w)|^2d\lambda <+\infty . \end{equation*} By (ii) of lemma (6.1) we get that \begin{equation*} \int_{| \lambda | >\frac{-\mathop{\rm Re}( \xi )}{4} }| Q_{\lambda }( \xi ;z,w)|^2d\lambda <+\infty \text{.} \end{equation*} Therefore, \begin{equation*} \int_{-\infty }^\infty | Q_{\lambda }( \xi ;z,w) |^2d\lambda <+\infty. \end{equation*} \begin{thebibliography}{00} \frenchspacing \bibitem{a1} N. Askour and Z. Mouayn, \textit{Spectral decomposition and Resolvent kernel for magnetic Laplacians in }$\mathbb{C}^n$, Journal of mathematical Physics. 41, number 10, 6937-6943. October 2000. \bibitem{a2}] N. I. Akhiezer and Glazman, Theory of linear operators in Hilbert spaces'', Dover publications, Inc. New York (1993). \bibitem{b1} Chal Benson, A.H. Dooley and Gail Ratcliff, \textit{Fundamental Solutions For Powers of The Heisenberg sub-Laplacian}. Illinois Journal of Mathematics. 37, No 3, 455-476 (1993). \bibitem{e1} A. Erd\'{e}lyi et al, Tables of Integral Transforms'' (volume 1), Mac Graw- Hill book company, Inc. New York, Toronto, London (1954). \bibitem{e2} R. Estrada and A. Fulling, \textit{Distributional asymptotic expansions of spectral functions and of the associated Green kernels}. Electronic journal of Differential Equations, Vol. 1999 (1999), No. 7, p. 1-37. \bibitem{f1} G. B. Folland, \textit{A fundamental solution for subelliptic operator} Bulletin of the American Mathematical Society, 79, number 2, p. 373-377. March 1973. \bibitem{g1} I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series and Products'', New York, Academic, 1980. \bibitem{k1} S. G. Krein, Linear differential Equations in Banach space'', Translations of mathematical Monographs, American mathematical society (1972). \bibitem{m1}] W. Magnus, F. Oberhettinger and R.P. Soni, Formulas and Theorems for the Special functions of Mathematical Physics'', Springer-Verlag, Berlin Heidelberg, New York (1966). \bibitem{n1} A. Nikiforov and V.Ouvarov, Fonction sp\'{e}ciales de la Physique math\'{e}matique'', Edition Mir (1983). \bibitem{n2} U. Neri, Singular Integrals'', Lecture Notes in Mathematics, Springer-Verlag, Berlin, Heidelberg, New York (1971). \bibitem{w1} J. Weidmann. Linear Operators in Hilbert Spaces''. Springer-Verlag, New York, Heidelberg, Berlin. \end{thebibliography} \noindent\textsc{Neur eddine Askour} (corresponding author)\\ Department of Mathematics \newline Faculty of Sciences and Technics (M'Ghila) \newline BP. 523, CP. 23 000, B\'{e}ni Mellal, Morocco \\ e-mail: naskour@caramail.com \smallskip \noindent\textsc{Zouhair Mouayn} \\ Department of Mathematics \newline Faculty of Sciences and Technics (M'Ghila) \newline BP. 523, CP. 23 000, B\'{e}ni Mellal, Morocco \\ e-mail : mouayn@math.net \end{document}