1: \documentstyle[11pt,amssymb]{article}

2: \input{epsf}

3: 

4: \topmargin 0 cm

5: \oddsidemargin -0.5 cm

6: \evensidemargin -0.3 cm

7: \textwidth 6 in

8: \textheight 23 cm

9: %\usepackage{amssymb}

10: 

11: 

12: \title{ Exponential equations for  the quantum ``$az+b$'' group.}

13: 

14: \author{Ma{\l }gorzata Rowicka - Kudlicka\thanks{Supported by KBN grant 

15: No 5 PO3A 036 18}\\

16: %Faculty of Phsics,

17: %University of Warsaw,\\ Ho\.{z}a 74, 00-682 Warszawa,Poland

18: Institute of Mathematics, Polish Academy of Sciences,\\

19: \'Sniadeckich 8, 00-950 Warszawa, Poland\\

20: e-mail:$\;$rowicka@fuw.edu.pl}

21: 

22: \begin{document}

23: 

24: \maketitle

25: 

26: %

27: \newcommand{\mqed}{\nopagebreak\centerline{\hfill

28: \raisebox{3.5ex}[0ex][0ex]{$\Box$}}\\}

29: %

30: \newcommand{\faz}{{\rm Phase\  }}

31: \newcommand{\ci}{continuous}

32: \newcommand{\ru}{ unitary representation}

33: \newcommand{\Qa}{ Quantum 'ax+b' group}

34: \newcommand{\qa}{ quantum 'ax+b' group}

35: \newcommand{\MU}{ multiplicative unitary}

36: \newcommand{\slw}{S.L. Woronowicz}

37: \newcommand{\tr}{\Delta}

38: \newcommand{\cH}{{\cal H}}

39: \newcommand{\K}{{\cal K}}

40: \newcommand{\cK}{{\cal K}}

41: \newcommand{\sH}{_{\cal H}}

42: \newcommand{\sK}{_{\cal K}}

43: \newcommand{\h}[1]{\hat{#1}}

44: \newcommand{\lh}{L({\cal H})}

45: \newcommand{\rf}[1]{{\rm (\ref{#1})}}

46: \newcommand{\ch}{ {\cal C}(H)}

47: \newcommand{\chn}{ {\cal C}(H)^N}

48: \newcommand{\ov}{\overline}

49: \newcommand{\fh}{F_{\hbar}} 

50: \newcommand{\hb}{\hbar}

51: \newcommand{\vt}{V_{\theta}} 

52: \newcommand{\za}{-\!\!\circ} 

53: \newcommand{\R}{{\Bbb R}}

54: \newcommand{\C}{{\Bbb C}}

55: \newcommand{\Z}{{\Bbb Z}}

56: \newcommand{\ro}{\rho}

57: \newcommand{\si}{\sigma}

58: \newcommand{\be}{\beta}

59: \newcommand{\de}{\delta}

60: \newcommand{\ga}{\gamma}

61: \newcommand{\ta}{\tau}

62: \newcommand{\N}{{\Bbb N}}

63: \newcommand{\M}{{\rm M}}

64: \newcommand{\B}{{\rm B}}

65: \newcommand{\Lin}{{\rm L}}

66: \newcommand{\pod}{{\rm d}}

67: \newcommand{\iz}{\cong}

68: \newcommand{\eps}{\epsilon}

69: \newcommand{\fil}{\varphi}

70: \newcommand{\la}{\lambda}

71: \newcommand{\qed}{ $\Box$}

72: \newcommand{\Ci}{C_{\infty}}

73: \newcommand{\Cir}{C_{\infty}(\R)}

74: \newcommand{\eh}{e^{\frac{i\hbar}{2}} }

75: \newcommand{\ehm}{e^{-\frac{i\hbar}{2}} }

76: \newcommand{\Cgr}{C^{\infty}(\R)}

77: \newcommand{\Cg}{C^{\infty}}

78: \newcommand{\Cor}{C_{\rm o}(\R)}

79: \newcommand{\Co}{C_{\rm o}}

80: \newcommand{\Cog}{C_{\rm bounded}}

81: \newcommand{\Cogr}{C_{\rm b}(\R)}

82: \newcommand{\Lk}{L^{2}}

83: \newcommand{\Lkr}{L^{2}(\R)}

84: \newcommand{\po}{\hat{p}}

85: \newcommand{\qo}{\hat{q}}

86: \newcommand{\xo}{\hat{x}}

87: \newcommand{\csta}{$C^{*}$-}

88: \newcommand{\cstal}{$C^{*}$-algebra \ }

89: \newcommand{\te}{\otimes}

90: \newcommand{\ad}{{\rm ad}}

91: \newcommand{\id}{{\rm id}}

92: \newcommand{\Mor}{{\rm Mor}}

93: \newcommand{\Rep}{{\rm Rep}}

94: \newcommand{\spe}{{\rm Sp }}

95: \newcommand{\sign}{{\rm sign }\;}

96: \newcommand{\whe}{\hspace*{5mm}\mbox{\rm where}\hspace{5mm}}

97: \newcommand{\mand}{\hspace*{5mm} {\rm and} \hspace{5mm}}

98: \newcommand{\moraz}{\hspace*{5mm} {\rm and} \hspace{5mm}}

99: \newcommand{\af}{\hspace*{1mm} {\bf \eta} \hspace{1mm}}

100: \newcommand{\od}{\hspace*{5mm}}

101: \newcommand{\fu}{{\cal F}}

102: \newcommand{\fuod}{{\cal F}^{-1}}

103: \newcommand{\mlot}{\mbox{$\hspace{.5mm}\bigcirc\hspace{-3.mm}

104: \raisebox{-.7mm}{$\top$}\hspace{1mm}$}}

105: \newcommand{\Zak}{\mbox{$-\hspace{-2pt}\comp\,$}}

106: \newcommand{\dow}{{\bf Proof: }}

107: %stare

108: \newcommand{\ut}{\cong}

109: \newcommand{\Sp}{{\rm sp}}

110: \newcommand{\infi}{\infty}

111: \newcommand{\tend}{\rightarrow}

112: \newcommand{\impl}{\Rightarrow}

113: \newcommand{\limn}{\lim_{n\rightarrow\infty}}

114: \newcommand{\limk}{\lim_{k\rightarrow\infty}}

115: \newcommand{\limt}{\lim_{t\rightarrow\infty}}

116: \newcommand{\limx}{\lim_{|x|\rightarrow\infty}}

117: \newcommand{\lime}{\lim_{\eps\rightarrow 0}}

118: \newcommand{\Lj}{L^{1}}

119: \newcommand{\Lp}{L^{P}}

120: \newcommand{\Ls}{L^{S}}

121: \newcommand{\Li}{L^{\infty}}

122: \newcommand{\ljr}{{\cal L}^{1}(\R)}

123: \newcommand{\lk}{ l^{2}}

124: \newcommand{\lpr}{{\cal L}^{P}(\R)}

125: \newcommand{\lir}{{\cal L}^{\infty}(\R)}

126: \newcommand{\Ljr}{L^{1}(\R)}

127: \newcommand{\Lpr}{L^{P}(\R)}

128: \newcommand{\Lsr}{L^{S}(\R)}

129: \newcommand{\Lir}{L^{\infty}(\R)}

130: \newcommand{\lkn}{ l^2(\N)}

131: \newcommand{\lp}{{\cal L}^{P}}

132: \newcommand{\li}{{\cal L}^{\infty}}

133: \newcommand{\Ljx}{L^{1}(\X)}

134: \newcommand{\Lkx}{L^{2}(\X)}

135: \newcommand{\Lpx}{L^{p}(\X)}

136: \newcommand{\Lqx}{L^{q}(\X)}

137: \newcommand{\Lix}{L^{\infty}(\X)}

138: \newcommand{\ljx}{{\cal L}^{1}(\X)}

139: \newcommand{\lkx}{{\cal L}^{2}(\X)}

140: \newcommand{\lpx}{{\cal L}^{p}(\X)}

141: \newcommand{\lix}{{\cal L}^{\infty}(\X)}

142: \newcommand{\ilkC}{C_{\infty}(\R)\otimes_{C}C_{\infty}(\R)}

143: \newcommand{\ilk}{\otimes_{\cal C}}

144: \newcommand{\zw}{CB(\Lkr)}

145: \newcommand{\zwg}{CB\left(\,L^{2}(G)\,\right)}

146: \newcommand{\ogr}{B(L^2(\R))}

147: \newcommand{\hs}{HS(H)}

148: \newcommand{\spl}{\star}

149: \newcommand{\milk}{$(i_{1},i_{2},\zw)$}

150: \newcommand{\mczw}{{\rm Mor(\Cir,\zw)}}

151: \newcommand{\res}{{\rm Res}}

152: \newcommand{\pra}{\mbox{${\rm Proj_1}$}}

153: \newcommand{\prb}{\mbox{${\rm Proj_2}$}}

154: \newcommand{\Morc}{{\rm Mor}_{\katC}}

155: \newcommand{\recogr}{{\rm Rep(\Cir,\ogr)}}

156: \newcommand{\mi}{\hspace*{3mm} {\rm and} \hspace{3mm}}

157: \newcommand{\mor}{\hspace*{5mm} {\rm or} \hspace{5mm}}

158: \newcommand{\dla}{\hspace*{5mm} {\rm for} \hspace{5mm}}

159: \newcommand{\ja}{j_{1}}

160: \newcommand{\ib}{i_{2}}

161: \newcommand{\ia}{i_{1}}

162: \newcommand{\jb}{j_{2}}

163: \newcommand{\jc}{j_{3}}

164: \newcommand{\sz}{{\cal S}(\R)}

165: \newcommand{\gw}{$^*$}

166: \newcommand{\heps}{h_{\eps}} 

167: \newcommand{\czn}{\Co}

168: \newcommand{\bh}{B(H) }

169: \newcommand{\dlad}{for any }

170: \newcommand{\dlak}{for each }

171: \newcommand{\Gn}{{\cal G}_n}

172: \newcommand{\G }{{\rm G}_n}

173: \newcommand{\rt}{{\bf T}^1}

174: \newcommand{\jd}{{\bf T}^2}

175: \newcommand{\Tau}{{\cal T}}

176: 

177: %%%%%

178: 

179: \newcommand{\bfa}{\begin{fakt}}\newcommand{\efa}{\end{fakt}}

180: \newcommand{\ble}{\begin{lem}}\newcommand{\ele}{\end{lem}}

181: \newcommand{\bst}{\begin{stw}}\newcommand{\est}{\end{stw}}

182: \newcommand{\bde}{\begin{defi}}\newcommand{\ede}{\end{defi}}

183: \newcommand{\bwn}{\begin{wn}}\newcommand{\ewn}{\end{wn}}

184: \newcommand{\buw}{\begin{uwaga}}\newcommand{\euw}{\end{uwaga}}

185: \newcommand{\bdy}{\begin{dygresja}}\newcommand{\edy}{\end{dygresja}}

186: \newcommand{\bwa}{\begin{warning}}\newcommand{\ewa}{\end{warning}}

187: \newcommand{\bpr}{\begin{przy}}\newcommand{\epr}{\end{przy}}

188: \newcommand{\btw}{\begin{tw}}\newcommand{\etw}{\end{tw}}

189: \newcommand{\beq}{\begin{equation}}\newcommand{\eeq}{\end{equation}}

190: \newcommand{\bit}{\begin{itemize}}\newcommand{\eit}{\end{itemize}}

191: \newcommand{\bq}{\begin{quote}}\newcommand{\eq}{\end{quote}}

192: \newcommand{\ba}{\begin{array}}\newcommand{\ea}{\end{array}}

193: 

194: %%%%%%%%%%%%

195: 

196: \newtheorem{defi}{Definition}[section]

197: \newtheorem{wn}[defi]{Observation}

198: \newtheorem{tw}[defi]{Theorem}

199: \newtheorem{lem}[defi]{Lemma}

200: \newtheorem{fakt}[defi]{Corollary}

201: \newtheorem{stw}[defi]{Proposition}

202: \newtheorem{przy}[defi]{Example}

203: \newtheorem{uwaga}[defi]{Remark}

204: \newtheorem{warning}[defi]{Warning}

205: 

206: %%%% P R A C A  3

207: 

208: \begin{abstract} 

209: We consider quantum group theory on the Hilbert space level. 

210: We find all solutions for scalar and general exponential equations 

211: for the quantum ``$az+b$'' group. It turns out that there is a 

212: simple formula for all of them involving the quantum 

213: exponential function $F_N$.

214: The very interesting theorem we prove by the way  

215:  is the one on the existence of normal extension 

216: of certain sum of normal operators. 

217:           

218: To put it differently,   we find all unitary 

219: representations 

220: of the braided quantum group related 

221: to the quantum ``$az+b$'' group. 

222:  This is the most difficult 

223: result needed to classify all unitary representations

224:  of the quantum ``$az+b$'' group. 

225: Eventually this  enables us to give a formula 

226: for all unitary representations of the quantum ``$ax+b$'' 

227: group in our next paper \cite{paper4}.

228: 

229: {\bf key words:} unbounded operators -- Hilbert space

230: 

231: {\bf MSC-class:} 20G42 (Primary), 47B25 (Secondary).

232: \end{abstract}

233: %

234: 

235: \section{Introduction} 

236: 

237: To explain  what is going on 

238:  in this paper  let us use an analogy with the classical case.

239: One of the goals of the classical group theory 

240:  is to find all unitary representations of the group considered. 

241: For example, by SNAG theorem, we know that $U$ is a  

242: (strongly continuous) unitary representation

243:  of the group  $\R^2$ acting on Hilbert space $\cH$ iff  $\Ci(\R^2)$

244: there exists  a pair of strongly 

245: commuting selfadjoint operators $(a,b)$ acting on $\cH$ 

246: such  

247:  that for any $(x,y)\in \R^2$  we have

248: \[U(x,y)=e^{ixa+iyb}\ .\]

249: It means that all unitary representations of $\R^2$ 

250:  are ``numbered'' by elements from the set of all 

251: pairs of strongly commuting selfadjoint operators.

252: 

253: On the other hand, every such pair gives rise, through the functional 

254: calculus of normal operators, to a representation of the algebra of all 

255: continuous vanishing at infinity functions on the group dual to 

256: $\R^2$, i.e. in this case to representations of 

257:  $\Ci(\hat{\R^2})=\Ci(\R^2)$. This phenomenon, 

258: i.e. correspondence between unitary representations of the locally compact 

259: group $G$ and representations of the algebra  $\Ci(G)$, is known as 

260: the Pontryagin duality.   

261: On the other hand, the exponential function is a solution 

262:  of the exponential equation

263: \beq

264: \label{rownwykl}

265: F(x+y)=F(x)F(y),

266: \eeq

267:  where $x,y\in\R^2$. Moreover, if we look for a solution 

268: such that $F$ is measurable and $|F(x)|$ has a modulus 1 for every $x$,

269:   all the  solutions of \rf{rownwykl}

270:  is given by  the formula

271: \[F(x,y)=e^{ixa+iyb}\ ,\]

272: where $(a,b)\in\hat{\R^2}$.

273: 

274: The solution of the general exponential equation, i.e. with 

275:  the one unitary-operator-valued function $F$, is a direct integral 

276: of the solutions of the scalar case. So once one knows solutions 

277: of the general exponential equation, one knows also all unitary 

278: representations of the group involved, in this case $\R^2$.

279: 

280: One can also consider equation \rf{rownwykl} in more general setting.

281: One can allow $x$ and $y$ to be ``coordinates'' on the two copies 

282: of a space $G$, classical or quantum. They are usually sets of operators 

283:  acting on Hilbert space and satisfying certain conditions. 

284: 8888

285: 

286: This paper is very similar in spirit to the our forthcoming paper 

287: \cite{paper1}, where braided quantum groups related to the quantum 

288: ``ax+b'' group were studied and their unitary representations classified.

289: 

290: In this paper we consider the quantum group theory  on the 

291: Hilbert space level. The quantum ``az+b'' group was constructed

292:  recently  by 

293: S.L. Woronowicz in \cite{az+b}. 

294: It is the natural deformation of the group of affine transformations of the 

295:  complex plane, with the deformation parameter $q$ 

296:  being an even primitive root of unity (for details see cite{az+b}). 

297: However, what we are mainly interested in in this paper is a braided 

298: quantum group related to the quantum  ``az+b'' group.

299: 

300: 

301: Let us begin with an explanation, what we mean by a quantum group there.

302: 

303: In fact, the definition of locally compact quantum group, 

304: and such is ``az+b'',

305: is still under construction  \cite{vaeskrotki},  however  one knows 

306: approximately what a quantum group should be.

307: 

308: We like most the approach using operator domain and operator 

309: function (described in \cite{wunb,oper,paper1}). 

310: We believe it is a  very insightful  one.

311: What we say below is not really necessary to understand the paper,

312:  but we hope it will be useful to understand idea that lie behind and 

313: the connections with the quantum ``az+b'' group.

314: 

315: We only outline general ideas here, for more detailed treatment we 

316: refer the Reader to \cite{wunb,oper,paper1}.

317: 

318: The description of an operator domain is similar to the global one of 

319: a manifold, where coordinates and relation satisfied by them are given.

320: In our noncommutative case, the coordinates are closed (so in 

321: general unbounded) operators and the relations are arbitrary commutation 

322: rules  that are invariant with respect to unitary transformations and 

323: direct sum decomposition. For this invariance S.L. Woronowicz, 

324: to whom this idea is due, coined 

325:  a term ``respecting symmetry of the Hilbert space''.

326: 

327: Easy example of an operator domain is the one crucial in this paper:

328:  an operator domain  $D$ related to the quantum ``az+b'' group.

329: The relations in this case are

330: \[RR^*=R^*R \mi\spe R\subset \ov\Gamma \;\,\]

331: where $\Gamma$ is the multiplicative subgroup of $\C\setminus\{0\}$ 

332: given by \rf{gamma}.

333: The unbounded operator $R$ entering descriptions of the operator domain 

334: $D$ 

335:  can be thus thought of as a ``coordinate on a  quantum space''. 

336: Observe, that this space is entirely classical, it can be identified 

337: with $\ov{\Gamma}$.

338: 

339: 

340: The operator functions can be thought of as a  recipe 

341: what to do with a $N$-tuple of closed 

342: operators $(a_1, a_2,..., a_N)$ to obtain another closed operator 

343:  $F(a_1, a_2,..., a_N)$.

344: An operator map are similar to operator functions, the only difference is 

345: they may transform $N$-tuple of closed 

346: operators $(a_1, a_2,..., a_N)$ to obtain another $k$-tuple of closed 

347: operators  $(F_1(a_1, a_2,..., a_N),F_1(a_1, a_2,..., a_N),)$

348: 

349: 

350:  Let $G$ be an operator domain and let $G\times G$ denote an operator 

351: domain

352: \[G\times G:=\{ (x,y)\;|\; x,y\in G \mi xy=yx\}\]

353: Let $\cdot$ be an operator map

354: $$\cdot{ } \;\;\;:G\times G\ni (x,y)\rightarrow xy\in G$$.

355: 

356: Loosely speaking, a quantum  group $G$  is such an operator 

357: domain $G$ equipped with an associative operator map $\cdot$.

358: 

359: 

360: \bpr[Quantum  ``$a{z}+b$'' at roots of unity] 

361: $$G=\left\{\;(a,b) \;

362: :\;

363: \ba{c} \; \\

364: aa^*=a*a,\; bb^*=b^*b,\\

365:  a \;\;\mbox{\rm invertible} \\

366: a b=qb a\\

367: \spe a,\spe b\subset \ov\Gamma ,

368: \ea

369: \right\}

370:  $$

371: where $q$ in an even primitive root of unity and $\Gamma$ 

372: is given by \rf{gamma}.

373: 

374: Group operation in  $G $ is given by

375: \[

376: \cdot:

377: G\times 

378: G\ni ((a_1,b_1),

379: (a_2,b_2))

380: \tend (a,b)\in G_{\rm H}\]

381: where 

382: \[a =a_1\te a_2\mi 

383: b=a_1\te  b_2{\dot{+}} b_1\te I,\]

384: \epr

385: where $\dot{+}$ denotes closure.

386: The spectral condition is there to make 

387:  sure that $G$ is closed under the operation $\cdot$.

388: 

389:  The  main difference between a braided quantum group and 

390:  a quantum group is that a group operation on a braided 

391:  quantum group $G$ is defined on  a smaller  operator domain 

392: \[G^2:=\{ (x,y)\;|\; x,y\in G \mi x,y \

393: \mbox{\rm satisfy certain relations}\}\;.\]

394: Usually we do not assume that operators from both copies 

395:  of $G$ commute, so in general a braided quantum group is 

396: not a quantum group.

397: A group operation on a braided quantum group $G$ should be the  

398: operator map 

399: \[\mlot:G^2\ni (x,y)\rightarrow x\mlot y\in G\;\] 

400:  which is associative.

401: 

402: 

403: \bpr[Braided quantum group $D$]

404: Let us define operator domains

405: \[D=\{R\;|\;RR^*=R^*R \mi\spe R\subset \ov\Gamma \;\;\}\]

406: and

407: \[\!\!D^2=

408: \{\left(R,S)\right)|\;

409: R,S\in D\;\;(\faz S)R=q R(\faz S)\;\]

410: \[\mbox{\rm and on  }(\ker S)^{\perp} \;

411: \mbox{\rm we have }\;

412:  |S|^{it}R=e^{-\frac{2\pi}{N}t}R|S|^{it} \;{\rm for any}

413: \; t\in\R\; \}\]

414: and $N=6,8,10,...$.

415: 

416: We define an operation  

417: $$\mlot_D\;:\; D^2\rightarrow D$$ 

418: by

419: \[R\mlot_D S

420: = R{\dot{+}}S.\]

421: Thus defined operation $\mlot_D$ is associative and 

422: $D$ with this operation  forms a  braided quantum  

423: group.

424: 

425: Moreover, let us observe that the braided quantum group $D$ 

426: is related to the quantum ``az+b'' group, denoted here by $G$, 

427: in the following way 

428: \[  (a,b)\in G

429: \Longleftrightarrow   

430: \left( \ba{c} (b,a)\in D^2\\

431: \ker a=\{0\} \ea\right)\ . \]

432: \epr

433: 

434: 

435: 

436: In this paper we find 

437:  all solutions of the general exponential equation for the quantum 

438: ``az+b'' group.

439: In fact, we find  all the unitary representations 

440: of the braided quantum group $D$.

441: The main result is Theorem \ref{hip2}, which 

442: gives formula for all such representations.

443: This result is essential for classification of  

444:    all 

445: unitary representations 

446:   of the quantum  group "az+b", which is 

447:  achieved   in our forthcoming paper 

448:  \cite{paper4}.

449: 

450: The second important result in this paper is Proposition \ref{nieu}, 

451: which solves the problem of the existence of a normal extension 

452: of a sum $\mu R+S$, where $(R,S)\in D^2$ and $\mu \in \Gamma$.

453: We hope that this result will be useful in the construction of the quantum 

454: $GL(2,\C)$ group \cite{pgl2c}.

455: 

456:  In the remaining part of this section  we introduce   some non-standard

457:  notation and  notions used in this paper.

458: 

459: In Section \ref{sec:com} we introduce commutation rules related to the 

460: quantum ``az+b'' group. In the next section we discuss properties of 

461: pair of operators $(R,S)$ satisfying these commutation rules. In Section 

462:  \ref{sec:theq} we repeat the definition of the quantum exponential 

463:  function for the ``az+b'' group after \cite{az+b}. Then we investigate 

464:  in Section \ref{sec:nor} 

465:  the existence of normal extensions of 

466: $\mu R+S$, where $(R,S)\in D^2$ and $\mu \in \Gamma$.

467: In Section \ref{sec:sols} we give all solutions of the scalar exponential 

468: equation for the quantum ``az+b'' group and finally in Section 

469: \ref{sect:az2} we do the same for the general exponential equation.

470: 

471: In Appendix \ref{dodsuma} we prove the formula we use in Section 

472: \ref{sect:az2}.

473: 

474: \subsection{Notation}

475: We  denote Hilbert spaces by   

476: $ \cH$ and $\cK$, the set of all closed operators acting on $\cH$ by 

477: $\ch$, the set of bounded operators by  

478: $\B (\cH)$ and the sets of compact and unitary ones 

479: by $ CB (\cH)$

480: and ${\rm Unit}(\cH)$, respectively.

481:  The set of all continuous vanishing at infinity functions on a space $X$ will 

482: be denoted by $\Ci (X)$.

483: %Przestrzenie Hilberta w tej pracy b/ed/a oznaczane przez $\cH$ and $\cK$. 

484: We consider only separable Hilbert spaces, usually infinite dimensional.

485: We  denote scalar product by

486: $(\cdot|\cdot)$ and it is antilinear in the first variable.

487: We  consider mainly unbounded linear operators.

488: All operators considered are densely defined. 

489: We  use functional calculus of normal operators 

490:  \cite{reedI,reedtf,  rudaf}.

491: We also use the symbol $\faz T$  for partial isometry  

492:   obtained from  polar decomposition of a normal  operator $T$.

493: 

494: We  use a non-standard, but very useful notation for orthogonal projections 

495: and their images  \cite{qexp}, as explained

496:  below. 

497: Let $a$ and $b$ be  strongly commuting selfadjoint  

498: operators  acting on  a Hilbert space  $\cH$. Then by spectral  theorem

499: there exists a common spectral measure $dE(\lambda)$ such that

500: \[

501: a={\int_{\R^2}} \lambda\, dE(\lambda,\mu),

502: \hspace{1cm}

503: b={\int_{\R^2}} \mu\, dE(\lambda,\mu)

504: .\]

505: For every complex measurable   function    

506: $f$ of two variables

507: \[

508: f(a,b)={\int_{\R^2}} f(\lambda,\lambda')\, dE(\lambda,\lambda').

509: \]

510: 

511: Let $f$  be a  logical sentence and let   $\chi(f)$

512:  be 0 if is false, and 1 otherwise.

513: If ${\cal R}$ is a binary relation on $\R$  

514: then $f(\lambda,\lambda')=\chi({\cal R}(\lambda,\lambda'))$ is   

515:  a  characteristic function of a set

516: $$\Delta=

517: \{(\lambda,\lambda')\in\R^2:{\cal R}(\lambda,\lambda')\}$$

518:  and assuming that  $\Delta$ is  measurable $f(a,b)=E(\Delta)$. 

519: From now on we will write $\chi({\cal R}(a,b))$

520:  instead of  $f(a,b)$:

521: \[

522: \chi({\cal R}(a,b))=

523: {\int_{\R^2}} \chi({\cal R}(\lambda,\lambda'))\, dE(\lambda,\lambda')

524: =E(\Delta).

525: \]

526: Image of this projector will be denoted  by  ${\cal H}(

527: {\cal R}(a,b))$, where `$\cH$' is a  Hilbert space, 

528:  on which operators  $a,b$ act.

529: 

530: Thus  we defined symbols  $\chi(a>b)$, 

531:  $\chi(a^2+b^2=1)$, \mbox{$\chi(a=1)$}, $\chi(b<0)$, $\chi(a\neq 0)$ 

532:  etc. They are  orthogonal projections  on appropriate 

533:   spectral subspaces. For example  ${\cH}(a=1)$ is  

534:  is an eigenspace of  operator  $a$ for eigenvalue 

535:  $1$ and   $\chi(a=1)$ is   orthogonal projector on   this  eigenspace.

536: 

537: Generally, whenever  $\Delta$ is a measurable subset of  $\R$,

538: then  ${\cH}(a\in\Delta)$ is   spectral subspace of an   operator 

539: $a$ corresponding to   $\Delta$ and  $\chi(a\in\Delta)$ is its   spectral projection.

540: 

541: Let $\qo$ and  $\po$   denote the position  and momentum operators in 

542:  Schr\"odinger representation, i.e. we set $\cH=\Lkr$. Then 

543:  the domain of $\qo$

544: $$D(\qo)=\{\psi\in \Lkr\;:\; \int_{\R}x^2|\psi(x)|^2dx<\infty\;\}$$

545: and $\qo$ is multiplication by  coordinate operator on that domain

546: $$(\qo \psi)(x)=x\psi(x).$$

547: The domain of  $\po$ consists of all distributions from   $\Lkr$ such that  

548: $$D(\po)=\{\psi\in \Lkr\;:\; \psi'\in\Lkr\;\} $$

549: and for any $\psi\in D(\po)$ 

550: $$(\po f)(x)=\frac{\hbar}{i}\frac{d f(x)}{dx}

551: ,$$

552: where $-\pi<\hb<\pi$.

553: 

554: %********

555: \section{Commutation rules related to the quantum "az+b" group}

556: \label{sec:com}

557: Let

558: \beq

559: \label{q}

560: q=e^{\frac{2\pi i}{N}}\ ,

561: \eeq

562: where $N$ is an even number and  $N\geq 6$, 

563: i.e. $q$ is a primitive root of unity: $q^N=1$.

564: Let us introduce notation

565: \beq

566: \label{hb2}

567: \hb=\frac{2\pi}{N}\ .

568: \eeq

569: Note that $\hb<\pi$ and  $q=e^{i\hb}$.

570: 

571: The assumption that  $N$ is an even number was made by  

572: S.L. Woronowicz in \cite{az+b}, where the quantum  

573: "az+b" was constructed. We need the assumption that  $N\geq 6$  

574:  to use formulas  (1.31), (1.32) and (1.34) from \cite{qexp}

575: (or equivalently (1.10), (1.11) and (1.12) from \cite{az+b}).

576: We will use these formula to derive relations 

577: we need later on.

578: 

579: Let

580: \beq

581: \label{gamma}

582: \Gamma =\bigcup_{k=0}^{N-1}q^k\;\R_+\ .

583: \eeq

584: It means that  $\Gamma$ is a multiplicative group. 

585: 

586: Let  $\ov\Gamma$ denote a closure of  $\Gamma$ in $\C$, i.e.

587: \beq

588: \label{gammaov}

589: \ov\Gamma =\Gamma \cup \{0\}\ .

590: \eeq

591: Our goal is to find an exponential equation

592:  for a pair of operators  $(R,S)$ acting on  Hilbert

593:  space $\cH$ and satisfying commutation relations 

594:  described in  \cite{az+b} and denoted by  

595: $(R,S)\in D_{\cH}$ there. 

596: We recall below definition of these relations.

597: \bde

598: \label{Dmu}

599: Let $\cH$ be a separable Hilbert space.

600: We say that closed  operator  $(R,S)\in D_{\cH}$ if

601: \bit

602: \item[1. ] $R,S$ are normal

603: \item[2. ] $\ker R=\ker S=\{0\}$ 

604: \item[3. ] $\spe R,\ \spe S\subset \ov\Gamma$

605: \item[4. ]\[({\rm Phase} S) \;R=q\;R \;({\rm Phase} S)\]

606: \[\mi |S|^{it}\;R=e^{-\frac{2\pi}{N}t}\;R\;|S|^{it}\ ,

607: \]

608: for any  $t\in\R$.

609:  \eit 

610: \ede

611: %

612: \buw

613: \label{azu1}

614: Condition  $4.$ can be written in equivalent form using  

615:  polar decomposition of operators   $R$ and  $S$

616: \[({\rm Phase} S) \;|R|=|R| \;({\rm Phase} S)\]

617: \[|S|\; ({\rm Phase} R)=({\rm Phase} R) \; |S|\]

618: \[({\rm Phase} S) ({\rm Phase} R)=q\;({\rm Phase} R) \;({\rm Phase} S) \]

619: and 

620: \beq

621: |S|^{it}\;|R|\;|S|^{-it}=e^{-\frac{2\pi}{N}t}\;|R| \ ,

622: \label{komut}

623: \eeq

624: for any $t\in\R$.

625: 

626: \euw

627: 

628: Observe also that if one performs analytical continuation and substitutes 

629: $t=i$ in \rf{komut}, one gets

630: $|S|\;|R|=q\;|R|\;|S|\ .$

631: Hence, using other equalities introduced in Remark

632:  \ref{azu1} we get

633: \[SR=q^2RS \mi SR^*=R^*S\ .\]

634: More precise derivation of these formulas can be found 

635:  in proof of 

636: Proposition 2.1  \cite{az+b}.

637: 

638: \section{Properties of  operators $(R,S)\in D_{\cH}$}

639: \label{sec:pro}

640: We prove now   analogues of  Proposition 3.1, Proposition 3.2 and 

641: Theorem 3.3  \cite{qexp}. 

642: The proofs below are modification of those presented in the cited

643: above paper.

644: 

645: Let us consider Hilbert space $\Lk (\Gamma,d\gamma)$, where

646:  $d\gamma$ is   Haar measure  

647:  of the group $\Gamma$, i.e.

648: \[\int_\Gamma f(\gamma)d\gamma =\sum_{k=1}^N\int_0^\infty f(q^kr)\frac{dr}

649: {r} ,\] 

650:  for any $f\in\Lk (\Gamma, d\gamma)$ and  $r\in\R_+$ and $k=0,1,...,N-1$. 

651:  

652: Let

653: \[\Lambda_k=\left\{z:\;\frac{2k\pi}{ N}<\arg z<\frac{2(k+1)\pi}{ N}\right\}\ \]

654: and

655: \beq

656: \label{dlamk}

657: \ov\Lambda_k=\left\{z:\;\frac{2k\pi}{ N}\leq\arg z\leq\frac{2(k+1)\pi}{ N}

658: \;\;\mbox{\rm or }\; z=0\ . \right\}\eeq

659: Then

660: \[\C=\Gamma\cup \bigcup_{k=0}^{N-1}\Lambda_k\ .\]

661: Let 

662: \[\Gamma_k=e^{\frac{2k\pi i}{ N}}\R_+\ .\]

663: Then

664: \[  \Gamma=\bigcup_{k=0}^{N-1}\Gamma_k\ .\]

665: %

666: \bde

667: \label{defHbound}

668: Let $H _{bounded}$ denote the set of all functions $f\in C(\Gamma)$, 

669:  such that there exists  a continuous and bounded  

670: function $\tilde{f}$ defined on  $\ov{\Lambda_o}\times q^{\Z}$ and such that 

671: \bit

672: \item[1.] for any  $k\in \Z$ function 

673: \[\Lambda_o\ni z\rightarrow \tilde{f}(z,q^k)\]

674:  is holomorphic

675: \item[2.] for any  $r\in\R_+$ and $k\in\Z$

676: \beq

677: \label{wl2}f(q^kr)=\tilde{f}(r,q^k)\ .

678: \eeq

679: \eit

680: \ede

681: %

682: If $f\in H _{bounded}$, it follows that there exist the described above 

683:   function $\tilde f$. We will use notation

684: \[f(q\cdot q^kr):=\tilde{f}(qr,q^k)\ .\]

685: %

686: \bst

687: \label{QE3.1}

688: Let $(R,S)\in D_{\cH}$ and $f\in H _{bounded}$. 

689: Then

690: \[f(R)D(S)\subset D(S)\]

691: and for any   $x\in D(S)$ we have  

692: \beq

693: \label{QE3.1wz}

694: f(q\cdot qR)Sx=Sf(R)x.

695: \eeq

696: \est

697: %

698:   \dow

699: Let $\Sigma$ be the  stripe   $\{\tau\in \C:0<\Im\tau<1\}$ and let  

700: $H(\Sigma)$ be the space of all  functions continuous on  

701:  $\ov\Sigma$

702:  and holomorphic in the interior of   $\Sigma$.

703:  Observe that space  $H (\Sigma)$  equipped with 

704: sup norm is a  Banach space.

705: 

706: For any  $\lambda\in\Gamma$ and $\tau\in\Sigma$ let us introduce 

707:  notation 

708:  \[\varphi_\lambda(\tau)=\tilde{f}\left(e^{\hb\tau}\lambda,q^k\right)\ ,\]

709: where $k=0,1,...,N-1$, and the relation between  $\tilde{f}$  and $f$ 

710:  is given by 

711:  \rf{wl2}.

712:  Then \mbox{$\varphi_\lambda\in H (\Sigma)$} and

713: $\|\varphi_\lambda\|\leq C$, where

714:  $C=\sup\{|f(r,q^k)|:r\in\Lambda_o \mi k\in \{0,1,...,N-1\}\}$. 

715: Therefore

716: \beq

717: \label{3.3}

718: \int_\Gamma \varphi_\lambda (\tau) d\mu(\lambda)\in H(\Sigma)

719: \eeq

720: for any (complex-valued) finite measure 

721:  $d\mu(\lambda)$ on $\Gamma$.

722: 

723: Let $dE_R(\lambda)$ be a spectral  measure of a normal operator  $R$,

724:  $x,y\in D(S)$ and 

725: $d\mu(\lambda)=(y|dE_R(\lambda)Sx)$. Then 

726: \[

727: \int_\Gamma \varphi_\lambda(\tau) d\mu(\lambda)=

728: (y|\tilde{f}(e^{\hbar\tau}|R|,\faz R)Sx).

729: \]

730: Moreover, by \rf{3.3} the map

731: \[

732: \Sigma\ni\tau\longrightarrow (y|\tilde{f}(e^{\hbar\tau}|R|,\faz R)Sx)\in\C

733: \]

734:  is a   function continuous on $\ov\Sigma$ and holomorphic inside 

735:  $\Sigma$.

736: 

737: Since  $x,y\in D(S)$, it follows that 

738: \[

739: \ov\Sigma\ni\tau\longrightarrow |S|^{1+i\tau}x\in \cH,

740: \]

741: \[

742: \ov\Sigma\ni\tau\longrightarrow |S|^{i\overline{\tau}}y\in \cH

743: \]

744: are continuous. The former function is    holomorphic, whereas  

745:  the latter is  antiholomorphic  on $\Sigma$. Therefore the  function  

746: \[

747: \ov\Sigma\ni\tau\longrightarrow

748: ((\faz S)^* |S|^{i\overline{\tau}}y|\tilde{f}(|R|,\faz R)|S|^{1+i\tau}x)\in\C

749: \]

750: is continuous and holomorphic  on  $\Sigma$.

751: 

752: Consider for a while case $\tau\in\R$. Since $(R,S)\in D_{\cH}$, 

753: it follows that 

754: \[

755: ((\faz S)^* |S|^{i\overline{\tau}}y|\tilde{f}(|R|,\faz R)|S|^{1+i\tau}x)=

756: ((\faz S)^* y|S^{-i\tau}\tilde{f}(|R|,\faz R)|S|^{1+i\tau})=\]

757: \[=(y|\tilde{f}(e^{\hbar\tau}|R|,e^{\hbar\tau}\faz R)Sx).\]

758: The above equality remains true after  analytic continuation to the 

759:  $ \tau\in \ov{\Sigma}$.

760: In particular for  $\tau=i$ we get

761: \[

762: (S^*y|f(R)x)=

763: (y|\tilde{f}(e^{i\hbar}|R|,\faz R)Sx)=(y|f(q\cdot q R)Sx).

764: \]

765: The above formula holds for all  $y\in D(S^*)$. 

766: Moreover, 

767: $f(R)x\in D(S)$ and  $Sf(R)x=f(q\cdot qR)Sx$.\hfill\qed

768: 

769: For any  $z\in\Gamma$ 

770:  we define

771: \beq

772: \label{l}

773: \ell (z)=\log|z|\ .

774: \eeq

775: %

776: Let us define a new space of  holomorphic functions  

777: \beq

778: \label{Hzwykle}

779: H=\left\{

780: f\in C(\Gamma):

781: \mbox{for any  }\lambda>0\mbox{  function }e^{-\lambda\ell(r)^2}f(r)\in

782:  H_{bounded}

783: \right\}

784: \ .

785: \eeq

786: %

787: Note that  $H$ is a  vector space. Moreover, if we define 

788:   for any  $f\in H$ and $z\in\Gamma$  

789: \[f^*(z)=\ov{f(q\cdot q\ov z)}\ ,\]

790: then $f^*\in H$ and $(f^{*})^*=f$.

791: %

792: By the above consideration and functional calculus for normal operators,

793:  for any operator $R$ with spectrum contained in  $\ov\Gamma$, 

794:  we get 

795: \beq

796: \label{inwodopR}

797: f^*(R)=f(q\cdot q R^*)^*\ ,

798: \eeq

799: for any function  $f\in H$. 

800: 

801: Observe that for any  $\lambda>0$, 

802:  function 

803: $e^{-\lambda\ell(\cdot)^2}\in H_{bounded}$.

804:  

805: Let $(R,S)\in D_{\cH}$. Then for any   $\lambda>0$,  operator 

806: $e^{-\lambda\ell(R)^2}$ is 

807:  bounded  and converges strongly to  $I$ when  

808:  $\lambda\rightarrow+0$. 

809: So the set

810: \beq

811: \label{Do}

812: D_0=\bigcup_{\lambda>0} e^{-\lambda\ell(R)^2}D(S),

813: \eeq

814:  is dense in  $\cH$, because  $D(S)$ is dense in $\cH$.

815:  Moreover, we have

816: %

817: \bst

818: \label{QE3.2}

819: Let $f\in H$. Then

820: \bit

821: \item[0.] $D_0\subset D(f(R))$,

822: 

823: \item[1.] $f(R)D_0\subset D_0$, 

824: 

825: \item[2.] $D_0\subset D(S)$,

826: 

827: \item[3.] $SD_0\subset D(f(q\cdot qR))$.

828: \eit

829: \est

830: 

831: \dow 

832: Let  $\lambda>0$. One can easily check that function   

833:  $g(r)=e^{-\lambda\ell(r)^2}$ satisfies assumptions of 

834:  Proposition \ref{QE3.1}. Therefore  

835:  $e^{-\lambda\ell(R)^2}D(S)\subset D(S)$ and we thus proved 

836:  point 2.

837: 

838: Let now  $f\in H$ and  $\lambda>0$. Then the function 

839: \beq

840: \label{g2}

841: g(r)=f(r)e^{-\lambda\ell(r)^2}

842: \eeq 

843: is bounded. Therefore  

844:  $e^{-\lambda\ell(R)^2}D(S)\subset

845: D(f(R))$ and point 0. follows. 

846: 

847: One can easily check that function $g(r)$ defined by \rf{g2} 

848:  satisfies assumptions of 

849:  Proposition \ref{QE3.1}. Therefore 

850: \[

851: f(R)e^{-\lambda\ell(R)^2}D(S)\subset D(S).

852: \]

853: Moreover

854: \[

855: f(R)e^{-2\lambda\ell(R)^2}D(S)\subset e^{-\lambda\ell(R)^2}D(S)\subset D_0

856: \]

857:  and point 1. follows.

858: 

859: Let  $x\in D_0$. Then

860: \beq

861: \label{xprime}

862: x=e^{-\lambda\ell(R)^2}x',

863: \eeq

864: where  $x'\in D(S)$ and  $\lambda>0$. By  \rf{QE3.1wz} 

865: \[

866: e^{-\lambda\ell(q\cdot qR)^2}Sx'=Sx.

867: \]

868: If  $f\in H$ then function $f(r)e^{-\lambda\ell(r)^2}$ is bounded,

869: $f(q\cdot qR)e^{-\lambda\ell(q\cdot qR)^2}\in B(\cH)$ and 

870: $Sx=e^{-\lambda\ell(q\cdot qR)^2}Sx'\in D(f(q\cdot qR))$. 

871: This completes the proof of point 3.\hfill\qed

872: 

873: Let  $(R,S)\in D_{\cH}$ and let  $f\in H$. The just proved Proposition 

874:  shows that operators  $S\circ f(R)$ 

875:  and  $f(q\cdot q R)\circ  S$ are densely defined, in particular 

876:   their domains contain   $D_0$. 

877: We will prove that these  operators are closable. To this end we show that 

878:  their adjoints are densely defined. It means that adjoints of these adjoints 

879:  are well defined  - and they are  exactly closures of the considered 

880: operators.

881: 

882: Using formula   \rf{inwodopR} we deduce that   

883: \[(S\circ f(R))^*\supset

884: f^*(q\cdot qR^*)\circ S^*\mi  

885: (f(q\cdot qR)\circ S)^*\supset S^*\circ f^*(R^*)\ .\]

886: Moreover, Proposition \ref{p2.2} yields that if $(R,S)\in D_{\cH}$, 

887: then also $(R^*,S^*)\in D_{\cH}$. We know also that if  $f\in H$, 

888: then $f^*\in H$, too.

889: Therefore, by the Proposition we just proved,

890: operators $(S\circ f(R))^*$ and $(f(q\cdot qR)\circ S)^*$ 

891:  are densely defined . Hence   $S\circ f(R)$ and $f(q\cdot q R)\circ

892:  S$ are closable operators. 

893: We will denote their closures 

894:  by $Sf(R)$ and $f(q\cdot qR)S$, respectively.

895: %

896: \btw

897: \label{QE3.3}

898: Let  $(R,S)\in D_{\cH}$ and let  $D_0$ be defined by

899:  \rf{Do}. Then for any function $f\in H$

900: we have

901: \bit

902: \item[0. ] $D_0$ is a  core  

903:  for $f(q\cdot qR)S$,

904: %

905: \item[1. ] $\left(f(q\cdot qR)S\right)^*=S^*f^*(R^*)$,

906: %

907: \item[2. ] $f(q\cdot qR)S\subset Sf(R)$,

908: %

909: \eit

910: \etw

911: %

912: \dow  

913: {\bf Ad 1. } We already know that  $(f(q\cdot qR)S)^*\supset S^*f^*(R^*)$,  

914:  it is enough to prove that the opposite inclusion holds.

915: Let  $y\in D((f(q\cdot qR)S)^*)$ and

916: \mbox{$z=(f(q\cdot qR)S)^*y$.} Then 

917: \beq

918: \label{Ad1i0} 

919: (y|f(q\cdot qR)Sx)=(z|x)

920: \eeq

921: for any  $x\in D(f(q\cdot qR)S)$. In particular

922:  (see points  2. and 3. in Proposition

923: \ref{QE3.2}) the above relation holds for all $x\in D_0$. 

924: Therefore

925: \[

926: (y|f(q\cdot qR)Se^{-\lambda\ell(R)^2}x')=(z|e^{-\lambda\ell(R)^2}x')

927: \]

928: for any  $\lambda>0$ and $x'\in D(S)$. Using  \rf{QE3.1wz} we get 

929: \[

930: (y|f(q\cdot qR)e^{-\lambda\ell(q\cdot qR)^2}Sx')=

931: (z|e^{-\lambda\ell(R)^2}x')

932: \ .\]

933: By \rf{inwodopR}

934: \[

935: (f^*(R^*)e^{-\lambda\ell^*(R^*)^2}y|Sx')=

936: (e^{-\lambda(\ell(R)^*)^2}z|x').

937: \]

938: This relation holds for for any $x'\in D(S)$. 

939: Hence we obtain 

940: \[f^*(R^*)e^{-\lambda\ell^*(R^*)^2}y\in D(S^*)\mi 

941: e^{-\lambda\ell^*(R^*)^2}y\in D(S^*f^*(R^*))\ .\]

942: Moreover

943: \[

944: S^*f^*(R^*)e^{-\lambda\ell^*(R^*)^2}y=e^{-\lambda(\ell(R)^*)^2}z.

945: \]

946: The above formula holds for any  $\lambda>0$ and  

947:  the operator $S^*f^*(R^*)$ is closed. When  $\lambda\rightarrow

948: +0$ we obtain  $y\in D(S^*f^*(R^*))$  and  $S^*f^*(R^*)y=z$. 

949: Thus we proved that 

950: $(f(q\cdot q R)S)^*\subset S^*f^*(R^*)$ and hence point 1. follows. 

951: 

952: {\bf Ad 0. } Observe that by   \rf{Ad1i0} one can restrict

953:  $x$ to  $D_o$.  It shows that  

954:   $f(q\cdot qR)S$ and its restriction to  $D_o$ have the same adjoints. 

955: Therefore they have the same closures, too. In other words, $D_o$ is

956:  a core for  $f(q\cdot qR)S$.

957: 

958: {\bf Ad 2.} Let  $x\in D_o$. Then  $x=e^{-\lambda\ell(R)^2}x'$,

959:  where  $x'\in D(S)$ and $\lambda>0$. Formula  \rf{QE3.1wz} yields that  

960: $Sf(R)x=f(q\cdot qR)e^{-\lambda\ell(q\cdot qR)^2}Sx'$.

961: In particular for  $f=1$ we obtain $Sx=e^{-\lambda\ell

962: (q\cdot qR)^2}Sx'$.

963: Comparing these two formulas we get  

964: \[

965: f(q\cdot qR)Sx=Sf(R)x

966: \]

967: This formula holds for any  $x\in D_o$. Remembering that   $D_o$ 

968: is a core for  $f(q\cdot qR)S$, 

969:  we obtain $f(q\cdot qR)S\subset Sf(R)$.\hfill\qed

970: 

971: 

972: Before we proceed to discuss   properties of pairs  $(R,S)\in D_{\cH}$,

973: we give an example of such operators.

974: \bpr[The most important one: Schr\"odinger's pair]

975: \label{paraSch}

976: Let $\cH=

977: \Lk (\Gamma,d\gamma)$.

978: Then for any  $z\in\Gamma$, $z=q^kr$,

979: \[ (Rf)(z)=z f(z),\]

980: and

981: \[ (\faz R f)(q^kr)=q^k  f(q^kr)\mi (|R|f)(q^kr)=r f(q^k r) ,\]

982: where

983: \[D(R)=\{f\in\lk(\Gamma)\;:\;\sum_{k=1}^N\int_0^\infty r |f(q^kr)|^2dr

984: <\infty\} .\] 

985: Moreover

986: \[ (S f)(z)= f(q^{-1}\cdot q^{-1} z),\]

987: and

988: \[ (\faz S f)(q^{k} r)=  f(q^{k-1}r)\mi (|S|f)(q^k r)=f(q^{-1}\cdot  q^k r) .\]

989: The domain of $ D(|S|)$ consists of all functions  

990:  $f\in\Lk(\Gamma)$, such that there exists a  function $g\in \Lk (\Gamma)$ 

991: and a   function $\tilde{f}$ holomorphic in $\Lambda_o\times q^{\Z}$ 

992:  and such that for any 

993:   $k=0,1,...,N-1$ we have 

994: \[\lim_{\fil\rightarrow 0^{-}} \tilde{f}(e^{i\fil}r,q^k)=f(q^kr)\mi

995:  \lim_{\fil\rightarrow -\frac{2\pi}{N}^{+}} \tilde{f_k}(e^{i\fil}r,q^k)=

996: g(q^{k-1}r)\ ,\]

997: where limits are taken in  $\Lk$-norm.

998: Moreover, for fixed $\fil$ not equal multiply of

999: $\frac{2\pi }{N}$ and for any $\lambda>0$, function $e^{-\lambda 

1000: \ell(re^{i\fil})^2}\tilde{f}(re^{i\fil})$ should be bounded.

1001: From now on we will use notation

1002: \[f(q^{-1}\cdot q^kr)=g(q^{k-1}r)\ .\]

1003: One can prove that thus  defined operators $R$ and  $S$ satisfy  

1004: Definition \ref{Dmu}, i.e. $(R,S)\in D_{\Lk(\Gamma)}$.

1005: \epr

1006: 

1007: The example above is crucial and all other examples are 

1008:  built up from this one.

1009: More precisely, by  Stone-von Neumann Theorem, 

1010:   every pair $(R,S)\in D_{\cH}$ \label{rpS} is a direct sum of a certain 

1011: number of copies of pairs, which are all unitary equivalent to 

1012: the  Schr\"odinger's pair. 

1013: 

1014: 

1015: We will use often the following remark and proposition.

1016: \buw

1017: \label{azu2}

1018: Checking one by one conditions in  Definition 

1019: \ref{Dmu} one can easily show that if  \mbox{$(R,S)\in D_{\cH}$}  

1020: $\gamma_1,\;\gamma_2\in \Gamma$, then also 

1021:  $(\gamma_1 R,\gamma_2 S)\in D_{\cH}$.

1022: \euw

1023: 

1024: \bst[Proposition 2.2  \cite{az+b}]

1025: \label{p2.2}

1026: If $(R,S)\in D_{\cH}$ , then also

1027:  \mbox{ $(R^*,S^*)\in D_{\cH}$} and $(S^{-1},R)\in D_{\cH}$ and 

1028: $(S,R^{-1})\in D_{\cH}$ and $(R,SR)\in D_{\cH}$.

1029: \est

1030: %

1031: \section{The quantum exponential function for the  "az+b" group}

1032: \label{sec:theq}

1033: As we explained in Introduction, a sum of closed  operators 

1034:  may not be closed. Therefore, we will not consider $R+S$ itself but its 

1035: appropriate closure.

1036: Contrary to the case of selfadjoint $R$ and $S$ considered in 

1037: \cite{qexp,paper1}, closure of the  sum $R+S$ is the desired operator,

1038:  i.e. it is  normal and  its spectrum is contained in  

1039: $\ov\Gamma$ (Theorem 2.4 w \cite{az+b}).

1040: Let $R\dot{+}S$ denote closure of the sum $R+S$.

1041: We give now a useful formula for $R\dot{+}S$, where 

1042: $(R,S)\in D_{\cH}$,  involving 

1043:  the quantum exponential function $F_N$. 

1044: The definition of  $F_N$ is given below.

1045: %

1046: \bst[\cite{az+b}]

1047: \label{r+s}

1048: Let $(R,S)\in D_{\cH}$. Then

1049: \[R\dot{+} S=F_N(S^{-1}R)^*SF_N(S^{-1}R)

1050: =F_N(R^{-1}S)RF_N(R^{-1}S)\]

1051: \est

1052: %

1053: The special function $F_N\;:\;\Gamma\;\rightarrow \; \C$

1054:  is given by \cite{az+b}

1055: \beq

1056: \label{FN}

1057: F_N (q^k r)=\left\{

1058: \ba{cc}

1059: \prod_{s=1}^{\frac{k}{2}}\left(\frac{1+q^{2s}r}{1+q^{-2s}r}\right)

1060: \frac{f_o(qr)}{1+r}& {\rm \ for  \ } 2|k\\

1061: \prod_{s=0}^{\frac{k-1}{2}}\left(\frac{1+q^{2s+1}r}{1+q^{-2s-1}r}\right)

1062: f_o(r)& \;{\rm \ for  }\; 2\not{|}k

1063: \ea

1064: \right.\ ,

1065: \eeq

1066: where

1067: \beq

1068: \label{deffo}

1069: f_o(z)=\exp \left\{\frac{1}{\pi i}\int_0^{\infty}\log(1+a^{-\frac{N}{2}})

1070: \frac{da}{a+z^{-1}}\right\}\ ,

1071: \eeq

1072: for any $z\in \C\setminus\{\R_-\cup \{0\}\}$.

1073: 

1074: Note that if  $N$ would be an odd number,  this definition would not be  

1075:  good - values of function $F_N$ at the point $q^kr=q^{k+N}r$ 

1076:  could be calculated in two different ways giving different results. 

1077: Whereas for   $N$ even we get, regardless of the way of calculating it,  

1078:  all the time the same value at the same point, i.e. $F_N$ 

1079: is well defined for an even $N$.

1080: 

1081: By \rf{deffo} it follows that relation between  $f_o$ and 

1082:  the special function 

1083:  $\vt$ used in \cite{qexp,paper1} is given by

1084: \beq

1085: \label{zwiazek}

1086: f_o(q^kr)=

1087: V_{\frac{N}{2}}(\log r+i\hb k)^2\ , 

1088: \eeq

1089: where $r\in\R_+$ and $k=0,1,\dots ,N-1$.

1090: 

1091: From  \cite{qexp} we know that  function $V_{\frac{N}{2}}$ is holomorphic  in 

1092: the stripe $\Im x <\pi$, so in particular it is continuously differentiated 

1093:   along  lines  $x=\log r$ and $x=\log r+i\hb$, for any  $r\in\R_+$. 

1094:  

1095: Moreover, by  (1.37) and  (1.38)  \cite{qexp}

1096:  it follows that

1097: \beq

1098: \label{rozwVt}

1099: V_{\frac{N}{2}}(\log r+il\hb)=1+\frac{q^lr}{2i\sin \hb}+{\cal R}_o(q^lr)

1100: \ ,

1101: \eeq

1102: where

1103: \[\lim_{r\rightarrow 0}\frac{{\cal R}_o(q^lr)}{r}=0\ \]

1104: and  $l=0$ or $l=1$.

1105: 

1106: Hence

1107: \[\lim_{r\rightarrow 0}V_{\frac{N}{2}}(\log r)^2=1=

1108: \lim_{r\rightarrow 0}V_{\frac{N}{2}}(\log r+i\hb)^2\ .\]

1109: %

1110: Therefore setting $F_N (0)=1$ 

1111:  will make  $F_N$ continuous on  

1112:  $\ov\Gamma$.

1113: 

1114: Moreover, by (1.7)  \cite{az+b}

1115: \[|F_N(\gamma)|=1 \dla \gamma\in\ov\Gamma\ .\]

1116: %

1117: In order to prove the theorem of this Section we will need  

1118:  a formula for an expansion of  $F_N$ around $0$.

1119: Let us derive a formula for  derivative at  the point zero for $k$ even

1120: \[F^\prime_N(q^kr)=\left(\frac{1+q^2r}{1+q^{-2}r}\right)^\prime

1121: \left(\frac{1+q^4r}{1+q^{-4}r}\right)\dots 

1122: \left(\frac{1+q^kr}{1+q^{-k}r}\right)\frac{f_o(qr)}{1+r}

1123: +\dots\]

1124: \[\dots+\left(\frac{1+q^2r}{1+q^{-2}r}\right)

1125: \left(\frac{1+q^4r}{1+q^{-4}r}\right)\dots 

1126: \left(\frac{1+q^kr}{1+q^{-k}r}\right)^\prime\frac{f_o(qr)}{1+r}+

1127: \prod_{s=1}^{\frac{k}{2}}\left(\frac{1+q^{2s}r}{1+q^{-2s}r}\right)

1128: \left(\frac{f_o(qr)}{1+r}\right)^\prime

1129: \]

1130: Moreover

1131: \[\left(\frac{1+q^{2s}r}{1+q^{-2s}r}\right)^\prime=

1132: \frac{2i\Im q^{2s}}{(1+q^{-2s}r)^2} \mi 

1133: \left(\frac{f_o(qr)}{1+r}\right)^\prime=

1134: \frac{(1+r)f^\prime_o(qr)-f_o(qr)}{(1+r)^2}\ .\]

1135: %

1136: By \rf{zwiazek} and \rf{rozwVt} one can calculate  right 

1137:  derivatives of  function  $f_o$ at the point zero

1138: \[

1139: f_o^\prime(r)|_{r=0}=\frac{1}{i\sin\hb }

1140: \mi

1141: f_o^\prime(qr)|_{r=0}=\frac{q}{i\sin\hb }\]

1142: Hence

1143: \[

1144: F^\prime_N(q^kr)|_{r=0}=\frac{-iq}{\sin\hb }-1+2i\sum_{s=0}

1145: ^{\frac{k-1}{2}}\Im q^{2s+1}

1146: =\frac{\cos \hb}{i\sin\hb }+2i\sum_{s=1}^{\frac{k}{2}}\Im q^{2s}

1147: \]

1148: Let us compute

1149: \[\sum_{s=1}^{\frac{k}{2}}\Im q^{2s}=\Im q^{2}\sum_{s=0}^{\frac{k}{2}-1}q^{2s}

1150: =\Im\left( q^{2}\frac{1-q^k}{1-q^2}\right)=

1151: \Im\left( q\frac{1-q^k}{q^{-1}-q}\right)=\]

1152: \[=\left( \frac{\Im(i(q-q^{k+1}))}{2\sin\hb}

1153: \right)

1154: =\frac{\cos\hb-\cos (k+1)\hb}{2\sin\hb}\]

1155: Hence

1156: \[F^\prime_N(q^kr)|_{r=0}=\frac{\cos\hb}{i\sin\hb}+

1157: \frac{-\cos\hb+\cos (k+1)\hb}{i\sin\hb}=\frac{\cos (k+1)\hb}{i\sin\hb}\]

1158: Finely

1159: \[F^\prime_N(q^kr)|_{r=0}=

1160: \frac{q^{k+1}+q^{-k-1}}{2i\sin\hb}\ .\]

1161:  Similar calculations show that the above formula remains true also

1162:  for  $k$ odd.

1163: % (rachunki w zeszycie str. 15)

1164: From the Taylor formula we obtain  

1165:  an expansion of  $F_N$ around  $0$

1166: for $\lambda \in \R_+$ and  $t\in \Gamma$

1167: \beq

1168: \label{ap}

1169: F_N(\lambda t)=1+\frac{\lambda}{2i\sin \hb}(q t+\ov q 

1170:  \ov t) +{ r}(\lambda t)\lambda |t|\ ,

1171: \eeq

1172: where

1173: \beq

1174: \lim_{\lambda\rightarrow 0} r(\lambda t)=0\ .

1175: \label{gr0}

1176: \eeq

1177: Moreover, using  \rf{ap} one can deduce that

1178: \[\lim_{\lambda\rightarrow +\infty} r(\lambda t)=

1179: -F_N^\prime(\lambda t)|_{t=0}\ .\]

1180: Obviously, function $r$ is  continuous on  $\gamma$. Hence, 

1181:  there exist a constant $M$,independent of  $\lambda$, and such that

1182: \beq

1183: \label{ogrr}

1184: |r(\lambda t)|<M, \mbox{\rm for any } t\in \Gamma.

1185: \eeq

1186: %

1187: By \rf{ap} we have

1188: \beq

1189: \label{ap2}

1190: \frac{F_N(\lambda t)-1}{\lambda}=

1191: \frac{q  t+\ov q \ov t}{2i\sin\hb}+ { r}(\lambda t) |t|\ ,

1192: \eeq

1193: in particular

1194: \beq

1195: \label{grl0}

1196: \lim_{\lambda\rightarrow 0}\frac{F_N(\lambda t)-1}{\lambda}=

1197: \frac{q t+\ov q \ov t}{2i\sin\hb}\ .

1198: \eeq

1199: Our next objective is to derive  \rf{zal}, which we will use to 

1200:  transform \rf{dorhs}.

1201: Let $dE(t)$ be a  spectral measure   \cite[Chapter 8]{reedI} 

1202: of normal operator $T$. 

1203: According to rules of functional calculus  \cite[Theorem VIII.6]{reedI}, 

1204: a continuous, bounded function of  an operator $T$ has form

1205: \[\left(u|\;\left|\frac{F_N(\lambda T)-I}{\lambda}\;\right|v\right)=

1206: \int_{\Gamma}\frac{F_N(\lambda t)-1}{\lambda}\left(u|\;dE(t)\;|v\right) \ , \]

1207: for any $u\in\cH$ and $v\in D(T)$.

1208: 

1209: Moreover,  by \rf{ap2}

1210: \beq

1211: \label{dluugi}

1212: \int_{\Gamma}\frac{F_N(\lambda t)-1}{\lambda}\left(u|\;dE(t)\;|v\right)=

1213: \int_{\Gamma}

1214: \frac{q  t+\ov q \ov t}{2i\sin\hb}\left(u|\;dE(t)\;|v\right)+ 

1215: \int_{\Gamma}{ r}(\lambda t)  \left(u|\;|t|\;dE(t)\;|v\right)\ .

1216: \eeq

1217: Observe that  $\left(u|\;|t|dE(t)\;|v\right)=

1218: \left(u|\;dE(t)|T|\;|v\right)$ and 

1219:  the measure $\left(u|\;dE(t)|T|\;|v\right)$ is finite.

1220: 

1221: Constant function  $M$, which majorises  function $r$ (se \rf{ogrr}), 

1222: is integrable with respect to the measure 

1223: $ \left(u|\;|t|dE(t)\;|v\right)$ and  is the function  majorising  

1224: $r (\lambda t)$.

1225:  

1226: Therefore, by the Lebesgue dominated convergence theorem 

1227: \cite[Theorem I.16]{reedI} and by  \rf{gr0}

1228: \[\lim_{\lambda\rightarrow 0}\int_{\Gamma}{ r}(\lambda t)  \left(u|\;|t|dE(t)\;|

1229: v\right)=0\ .\]

1230: Hence by \rf{dluugi}

1231: \[\lim_{\lambda\rightarrow 0}\int_{\Gamma}\frac{F_N(\lambda t)-1}{\lambda}\left(u|\;dE(t)\;|v\right)=

1232: \frac{1}{2i\sin\hb}\int_\Gamma(qt+ \ov{q}\ov t)\left(u\left|\;dE(t)\;\right|v\right)\ , \]

1233: so

1234: \[

1235: \label{zal}

1236: \lim_{\lambda\rightarrow 0}\left(u\left|\frac{F_N(\lambda T)-I}{\lambda}\right|v\right)

1237: =\frac{1}{2i\sin\hb}\left(u\left|(q T+ \ov q  T^*)\right|v\right)\ ,

1238: \]

1239: for any $u\in\cH$ and $v\in D(T)$.

1240: This formula will be used in proof of the main theorem of this Section.

1241: 

1242: The proposition below explains why $F_N$ is called 

1243:  the quantum exponential function

1244: % funkcj/a wyk/ladnicz/a dla $(R,S)\in D_{\cH}$.

1245: \bst[Theorem 2.6, \cite{az+b}]

1246: \label{ee}

1247: Let $(R,S)\in D_{\cH}$. Then

1248: \[

1249: \label{eeaz}

1250: F_N(R)F_N(S)=F_N(R\dot{+} S)

1251: \]

1252: \est

1253: Later on in this Section we will prove that the quantum exponential 

1254:  function is    

1255:  unique (up to a  parameter) solution of  \rf{eeaz}. 

1256: %

1257: \section{Normal extensions of  $\mu R+RS$}

1258: \label{sec:nor}

1259: \bst

1260: Let $(R,S)\in D_{\cH}$ and let $\mu\in \C$.

1261: Operator $\mu R+RS$ has a  normal extension  if and only if, when   

1262:  $\mu\in\Gamma$.

1263: \label{nieu}

1264: \est

1265: %

1266: \dow

1267: $\Leftarrow$  Obvious, because according to Proposition  \rf{p2.2} we have 

1268: $(RS,S)\in D_{\cH}$, and on account of  Remark \ref{azu2} 

1269: it follows that $(RS,\mu S)\in D_{\cH}$, 

1270: so

1271:  $\mu S\dot{+}RS$ is by Theorem 2.4  \cite{az+b}   

1272:  a  normal extension of   $\mu S+RS$

1273: .\\

1274: $\;\Rightarrow$ 

1275: %Dow/od przeprowadzimy nie wprost.  

1276: We show that for any  $\mu\in\C\setminus \Gamma$ operator $\mu S + RS$ 

1277:  has not a  normal extension.

1278: Let us introduce notation

1279: \[Q=\mu S +  RS.\] 

1280: We first prove that   operator 

1281:  $Q$ is closed.

1282: 

1283: Let us define

1284: \[m:=\sup_{z\in\Gamma}\frac{1}{|\mu+z|}= \frac{1}{d(-\mu,\Gamma)}\ ,\]

1285: where $d(-\mu,\Gamma)$ denotes Euclidean distance  of the point  

1286: $-\mu$ 

1287:  from the set $\Gamma$.

1288: Note that $m<\infty$, since 

1289:  $\Gamma$ is closed and  $-{\mu}\notin\Gamma$.

1290: Hence for any $z\in \Gamma$ we have 

1291: \[c|\mu + z|\geq 1.\]

1292: We know that  spectrum of operator $R$ is contained in $\ov\Gamma$ and 

1293: that $R$ is  normal operator, i.e. there exists a representation 

1294: in which it is a multiplication 

1295:  by a $\ov\Gamma$-valued function operator.

1296: %

1297: Hence for any  $\psi\in D(\mu i +R)$

1298: \[

1299: %\label{dq1}

1300: c||(\mu i +R)\psi||\geq ||\psi||,

1301: \]

1302:  so for any $f\in D(Q)$ we have

1303: \beq

1304: \label{dq1}

1305: c||Qf||\geq ||Sf||.

1306: \eeq

1307:  

1308: Consider a sequence  $\phi_n$  of elements of $D(Q)$  norm-converging 

1309:  to $\phi$ and  such that  $Q\phi_n$ is norm-converging to certain $y$. 

1310: Since $D(Q)\subset D(S)$ and by inequality 

1311:  \rf{dq1}, we conclude that  also $\phi\in D(S)$ and   $S\phi_n$ is 

1312: norm-converging to $S\phi$, as operator $S$ is normal, so it is closed.

1313: Since $\phi_n$ belongs to the domain of operator $Q$, hence it belongs  

1314:  also to the domain of operator $RS$. Moreover,  $RS\phi_n$ 

1315: is converging to $y-\mu S\phi$. 

1316: As we know that operator $RS$ is closed we see that 

1317: $\phi$ belongs  

1318:  also to the domain of $Q$ 

1319: and $y=RS\phi+ \mu S\phi=Q\phi$.

1320: It means that  operator  $Q$ is closed.

1321: 

1322: By definition, the domain of  operator $Q^*$ consists of all  

1323:    $x\in\cH$ such that  there exists  $w\in \cH$ such that for any  

1324:  $y\in D(Q)$ we have

1325:  \beq

1326: \label{defdzQ*}

1327: \langle x,Qy\rangle =\langle w,y\rangle\ .

1328: \eeq

1329: Set

1330: \[f(r)=\mu+ q^{-2} r\ .\]

1331: Observe that function $f$ belongs to space  $H$.

1332: With this notation

1333: \[Q=f(q\cdot q R)\circ S\ .\]

1334: Since $D_o$ is a core  for $Q$,

1335:  one can assume in formula  \rf{defdzQ*} that

1336: $y\in D_o$. Every element  $y\in D_o$ has form 

1337: $y=e^{-\lambda \ell (R)^2}z$ for certain $\lambda >0$ and $z\in D(S)$. 

1338: Hence

1339: \[\langle x,Qy\rangle=\langle x|f(q\cdot qR)S 

1340: e^{-\lambda \ell (R)^2}z\rangle\]

1341: Since function $e^{-\lambda \ell (\cdot)^2}\in H_{bounded}$, \rf{QE3.1wz}

1342:  shows that 

1343:  \[\langle x,Qy\rangle=\langle x|f(q\cdot qR) 

1344: e^{-\lambda \ell (q\cdot qR)^2}S z\rangle\ .\]

1345: Moreover, since operator $f(q\cdot qR) 

1346: e^{-\lambda \ell (q\cdot qR)^2}$ is bounded, we see that the

1347:  domain of its adjoint  operator  is the whole space $H$.

1348:  Hence by \rf{QE3.1wz}

1349: \[\langle x,Qy\rangle=\langle

1350: f^*(R^*) e^{-\lambda \ell^* (R^*)^2} x| 

1351: S z\rangle

1352: =\langle

1353: f^*(R^*)  x| 

1354: e^{-\lambda \ell (q\cdot qR)^2}S z\rangle \ . \]

1355: Consequently, if  vector $x\in \cH$ belongs to the domain $Q^*$, then

1356: \beq

1357: \label{warQ*}

1358: (\ov\mu i +R^*)  e^{-\lambda \ell^* (R^*)^2} x\in D(S^*)=D(S)\ .

1359: \eeq

1360: Moreover

1361: \beq

1362: \label{warQ*2}

1363: S^*(\ov\mu i +R^*)  e^{-\lambda \ell^* (R^*)^2} x=

1364: e^{-\lambda (\ell (R)^*)^2}Q^* x\ .

1365: \eeq

1366: Let $$Q^{\prime}=(Q^* |_{D(Q)})^*\ . $$

1367: On account of Proposition \rf{QE3.3} point 2 

1368: \[Q^*=(f(q\cdot q R)\circ S)^*=S^* f^*(R^*)\ .\]

1369: We will prove that

1370: \beq

1371: \label{wznaQ*ob}

1372: Q^* |_{D(Q)}=f(q\cdot q R)^*\circ S^*\ . 

1373: \eeq

1374: Vector $x\in D(Q)$ belongs to the domain of  operator $Q^* |_{D(Q)}$, if  

1375:  for any  $y\in D(Q)$ there exists  $w \in H$ such that

1376: \[ \langle x|Qy\rangle =\langle w|y\rangle \ . \]

1377: We know, that $D_o$ is a core for $Q$.

1378: Therefore we can set $y\in D_o$ in the above formula. 

1379:  Every element $y\in D_o$ has form 

1380: \[y=e^{-\lambda \ell (R)^2}z\ ,\]

1381:  for any $\lambda >0$ and $z\in D(S)$. Hence

1382: \[\langle x,Qy\rangle=\langle x|f(q\cdot q R)S 

1383: e^{-\lambda \ell (R)^2}z\rangle\]

1384: %

1385: Since $z\in D(S)$ and   $e^{-\lambda \ell (\cdot )^2}

1386: \in H_{bounded}$, formula \rf{QE3.1wz}

1387:  implies

1388: \[ \langle x| f(q\cdot q R)e^{-\lambda \ell (q\cdot qR)^2} S z\rangle

1389: \ .\]

1390: Moreover function $f(\cdot)e^{-\lambda \ell (\cdot )^2}

1391: \in H_{bounded}$, so using once more   \rf{QE3.1wz} 

1392: we obtain

1393: \[ \langle x| Sf( R)e^{-\lambda \ell (R)^2}  z\rangle

1394: \ .\]

1395: Since $x\in D(Q)$, it follows that  $x\in D(S)=D(S^*)$. Hence 

1396: \[ \langle x| Sf( R)e^{-\lambda \ell (R)^2}  z\rangle

1397: = \langle S^* x| f( R)e^{-\lambda \ell (R)^2}  z\rangle\ .\]

1398: Moreover $Sx\in D(f(q\cdot qR))=D(f(R)^*)$. It is easily seen that 

1399:  the domain of  $f(R)^*$ is invariant  with respect to the action 

1400:  of  operator

1401: $\faz S$. Hence also $S^*x\in D(f(R)^*)$.

1402: Consequently

1403: \[\langle S^* x| f( R)e^{-\lambda \ell (R)^2}  z\rangle

1404: =\langle  f( R)^*S^* x|e^{-\lambda \ell (R)^2}z\rangle=

1405: \langle  f( R)^*S^* x|y\rangle\ .\]

1406: Thus we proved \rf{wznaQ*ob}.

1407: 

1408: We proceed to derive condition which  $x\in \cH$ has to satisfy to belong 

1409:  to the domain of  $Q^\prime$.

1410: By definition,  $x\in D(Q^\prime)$ if for any $y\in D(Q)$

1411: \[ \langle x|Q^*y\rangle =\langle Q^\prime x|y\rangle \ . \]

1412: By \rf{wznaQ*ob} and \rf{inwodopR}

1413: \[ \langle x|Q^*y\rangle =\langle x|f^*(R^*)\circ S^*y\rangle  \ . \]

1414: On account of  \rf{QE3.3} point 1,  $D_o$ is a core of 

1415: operator $Q^*|_{D(Q)}$. 

1416: Hence we may assume that  $y\in  D_o$. 

1417: Every element $y\in D_o$ has form  

1418: \[y=e^{-\lambda \ell (R^*)^2}z\ ,\]

1419:  for any $\lambda >0$ and $z\in D(S^*)$. Hence

1420: \[\langle x,Q^*y\rangle=\langle x|f^*( R^*)S^* 

1421: e^{-\lambda \ell (R^*)^2}z\rangle\ .\]

1422: By \rf{QE3.1wz}, as previously, we obtain

1423: \[\langle x,Q^*y\rangle=\langle x|f^*( R^*) 

1424: e^{-\lambda \ell (q\cdot qR^*)^2}S^*z\rangle\ .\]

1425: Moreover, since operator $f^*(R^*) 

1426: e^{-\lambda \ell (q\cdot qR^*)^2}$ is bounded, the domain 

1427:  of its adjoint is the whole Hilbert space $H$.

1428: 

1429: Hence by \rf{QE3.1wz}

1430: \[\langle x,Q^*y\rangle=\langle

1431:  e^{-\lambda \ell^* (R)^2}f(q\cdot q R) 

1432: x| S^*z\rangle\ .\]

1433: From this we conclude that if  $x\in D(Q^\prime)$, then   

1434: \beq

1435: (\mu I+R)e^{-\lambda \ell^* (R)^2}x\in D(S)\ .

1436: \label{warQ'}

1437: \eeq

1438: Moreover

1439: \beq

1440: S(\mu I+R)e^{-\lambda \ell^* (R)^2}x=

1441: e^{-\lambda (\ell (R^*)^*)^2}Q^{\prime}x

1442: \label{warQ'2}\ .

1443: \eeq

1444: Observe also that by \rf{l} for any  $z\in\Gamma$

1445: \[\ell^*(\ov z)=\ell^*(z)\ .\]

1446: It implies that 

1447: \[e^{-\lambda\ell^*(R^*)^2}=e^{-\lambda \ell^*( R)^2}\ ,\]

1448: for any $\lambda >0$.

1449: %

1450: This result allows one to replace \rf{warQ*} with a more convenient,

1451:  as we will soon see, condition

1452: \beq

1453: (\ov\mu I+R^*)e^{-\lambda \ell^* (R)^2}x\in D(S)\ .

1454: \label{warQ*l}

1455: \eeq

1456: Assume that  $x\in D(Q^*)\cap D(Q^{\prime})$. 

1457: It means that  $x$ satisfies simultaneously  \rf{warQ*l} and \rf{warQ'},

1458: i.e.

1459: \[(\ov\mu i +R^*)  e^{-\lambda \ell^* (R)^2} x\in D(S)

1460: \mi  (\mu I+R)e^{-\lambda \ell^* (R)^2}x\in D(S)\ .\]

1461: Because the domain of  operator $S$ is invariant with  respect to 

1462: the action of the phase of $R$, the second condition yields that 

1463: \beq

1464: (\ov\mu (\faz R)^2  +R^*)  e^{-\lambda \ell^* (R)^2} x\in D(S)

1465: \label{fazr}

1466: \ .

1467: \eeq

1468: Since a domain of any linear operator  is a linear subspace of $\cH$, 

1469:  hence  by \rf{warQ*l} and \rf{fazr} it follows that

1470: \beq

1471: (\ov\mu (\faz R)^2 -\mu I)  e^{-\lambda \ell^* (R)^2} x\in D(S)

1472: \label{fazr2}

1473: \ .

1474: \eeq

1475: Let $\rho$ be the  $N$th primitive root of unity, i.e. let 

1476: $\rho \in \C$ and  $\rho^N=1$.

1477: Let function $h$ be defined on the set of  $N$Th roots of unity 

1478: and be given by

1479: \[h(\rho)=\ov\mu \rho^2-\mu\ .\]

1480: Note that $h(\rho)\neq 0$, since in order  

1481:  to have equality $\ov\mu q^{2k}=\mu$, the  phase of  $\mu$ 

1482:  would have to be equal to the multiply of $\frac{2\pi}{N}$.

1483: But this contradicts our assumption that $\mu\not\in \Gamma$.

1484: 

1485: We know that $\faz R$ is a unitary operator which eigenvalues 

1486:  are all  $N$th roots of unity.

1487: Consequently the operator

1488: \[h(\faz R)=\ov\mu (\faz R)^2-\mu\ \]

1489: is invertible.

1490: Moreover it is easily seen that the operator $h(\faz R)^{-1}$

1491:  is given by

1492: \[h(\faz R)=a_0 i + a_1 (\faz R) + a_2 (\faz R)^2 +\dots +

1493: a_{N-1}(\faz R)^{N-1}  ,\]

1494: where  $a_0, a_1, a_2, \dots, a_{N-1}\in \C$.

1495: 

1496: Therefore, because 

1497: \[ h(\faz R) e^{-\lambda \ell^* (R)^2} x\in D(S)

1498: \]

1499: and the domain of the  operator $S$ is invariant with 

1500: respect to the action of the 

1501: phase of  operator $R$, it follows that

1502:  \[h(\faz R)^{-1} h(\faz R) e^{-\lambda \ell^* (R)^2} x\in D(S)\ ,

1503: \]

1504:  and finally

1505: \beq

1506: \label{fazr3}

1507: e^{-\lambda \ell^* (R)^2} x\in D(S)\ 

1508: \eeq

1509: for any $\lambda >0$.

1510: 

1511: Let  $\lambda=\lambda_1+\lambda_2$, where $\lambda_1,

1512: \lambda_2\in\R_+$. 

1513: By\rf{QE3.1wz}

1514: \[ Se^{-\lambda \ell^* (R)^2}x=e^{-\lambda_1 \ell^* (q\cdot qR)^2}

1515: Se^{-\lambda_2 \ell^* (R)^2}x\ .\]

1516: %

1517: Moreover the operator $Re^{-\lambda_1 \ell^* (q\cdot qR)^2}$ is bounded, 

1518: hence for any $y\in\cH$ 

1519:  $$ e^{-\lambda_1 \ell^* (q\cdot qR)^2}y\in D(R).$$

1520: Moreover 

1521: $$(\mu+\cdot )e^{-\lambda_1 \ell^* (\cdot )^2}\in 

1522: H_{bounded}.$$ 

1523: Hence by \rf{QE3.1wz} for any  $x\in\cH$ we have

1524: \beq 

1525: S(\mu I+R)e^{-\lambda \ell^* (R)^2}x=(\mu I+q^2R)

1526: e^{-\lambda_1 \ell^* (q\cdot qR)^2}Se^{-\lambda_2 \ell^* (R)^2}x=

1527: (\mu I+q^2R)Se^{-\lambda \ell^* (R)^2}x

1528: \label{laczac1}\ .

1529: \eeq

1530: On the other hand by \rf{warQ'2}

1531: \beq

1532: S(\mu I+R)e^{-\lambda \ell^* (R)^2}x=e^{-\lambda (\ell (R^*)^*

1533: )^2}

1534: Q^{\prime}x

1535: \label{laczac2}

1536: \ .

1537: \eeq

1538: Combining \rf{laczac1} and \rf{laczac2} we obtain

1539: \beq

1540: (\mu I+q^2R)Se^{-\lambda \ell^* (R)^2}x

1541: =e^{-\lambda (\ell (R^*)^*

1542: )^2}

1543: Q^{\prime}x

1544: \label{laczac3}

1545: \ .

1546: \eeq

1547: It has been already proved that the 

1548: operator $Q=(\mu I+R)\circ S$ is closed.

1549: Therefore on account of remark \ref{azu2} the operator $(\mu I+q^2R)\circ S$

1550:  is also closed.

1551: Hence    setting  $\lambda\rightarrow 0^+$ 

1552:  into formula  \rf{laczac3}

1553:  yields

1554: \[x\in D((\mu I+q^2R)\circ S)=

1555: D((\mu I+R)\circ S)=D(Q)\ .\]

1556: We have have proved that  if  $x\in D(Q^*)\cap D(Q^{\prime})$, 

1557: then $x\in D(Q)$.

1558: Rephrasing, we have proved that

1559: \[

1560: D(Q)\supset D(Q^*)\cap D(Q^{\prime})\ . 

1561: \]

1562: On the other hand, from the definitions of  operators 

1563: $Q^*$ and $Q^{\prime}$ it is obvious that  

1564: \[

1565: D(Q)\subset D(Q^*)\cap D(Q^{\prime})\ . 

1566: \]

1567: Consequently, we have proved that

1568: \beq

1569: \label{dq}

1570: D(Q)= D(Q^*)\cap D(Q^{\prime})\ . 

1571: \eeq

1572: Note that the domain of   $Q^*$ is strictly greater than this of $Q$. 

1573: 

1574: In order to give an example of a function  

1575: $\psi\in\Lk (\Gamma)$, such that 

1576: \[\psi\in D(Q^*)\setminus D(Q)\ ,\]

1577: let us assume that  $(R^*,S^*)$ is the Schr\"odinger pair 

1578: (see Example  \ref{paraSch}).

1579: Then operator $Q^*$ acts on functions $\psi$ from its domain as follows

1580: \[ (Q^*\psi)(z)=(S^*((\ov\mu +z )\psi))(z)

1581: %(S^*(\ov\mu I+R^* )\psi)(z)=(\ov\mu I+R^* )\psi(q\cdot qz)

1582: \ .\]

1583: Let function $\psi$ be for any $z\in \Gamma$ given by

1584: \[\psi(z)=\frac{e^{-\ell (z)^2}}

1585: { z+\ov\mu}\ .\]

1586: Observe that $\psi\in\Lk(\Gamma)$, since $\mu\not\in\Gamma$.

1587: Moreover the function $\widetilde{(\ov\mu+\cdot)\psi}=e^{-\ell (\cdot)^2}$

1588:  corresponding to the function   $(\ov\mu+\cdot)\psi$ in the   sense 

1589:  described in Example \ref{paraSch},

1590: is holomorphic and bounded inside $\Lambda_o\times q^{\Z}$.

1591: Moreover, one can easily check  that this function satisfies also 

1592:  other conditions  of belonging to the domain of  $|S|$ 

1593:  given in Example  \ref{paraSch}.

1594: Moreover,  $Q ^*\psi\in\Lk(\Gamma)$.

1595: Consequently,  $\psi$ belongs to the domain of $Q^*$. 

1596: 

1597: However, $\psi$ does not belong 

1598:  to the domain of  operator $Q$, since it does not  belong 

1599: to the domain of  $|S|$. Function $\psi$ 

1600:   does not  belong 

1601: to the domain of  $|S|$, since its corresponding 

1602:  ( in the sense explained  in Example \ref{paraSch}) 

1603: function $\tilde{\psi}$ is 

1604:   meromorphic (but it is not  holomorphic). 

1605: Namely, function $\tilde{\psi}$ has a simple pole at the point  $z= -\ov\mu$.

1606: It shows that $D(Q)_{\;\not}\!\!\subseteq D(Q^*)$ and $Q$ is 

1607: closed, so $Q$ is not normal.

1608: 

1609: We repeat now  S.L. Woronowicz's  reasoning from the proof

1610:   of  Theorem 2.2 \cite{oe2}.

1611: assume, that $\tilde{Q}$ is a normal extension of $Q$.

1612: Then 

1613: \beq

1614: \label{dq2}

1615: D(Q)\subset D(\tilde{Q})=D(\tilde{Q}^*)\subset D(Q^*)\ .

1616: \eeq

1617: On the other hand

1618: \[Q^* |_{D(Q)}\subset \tilde{Q}^*\subset Q^*\ ,\]

1619: hence

1620: \beq

1621: \label{dq3}

1622: D(\tilde{Q})\subset D(Q^{\prime}),

1623: \eeq

1624: since   $Q^{\prime}=(Q^* |_{D(Q)})^*$.

1625: 

1626: Using \rf{dq},\rf{dq2} and \rf{dq3} we obtain 

1627:  that 

1628: $$D(\tilde{Q})\subset D(Q).$$

1629: But by assumption  $\tilde{Q}$ is a normal extension of $Q$, 

1630: so 

1631: $\tilde{Q}=Q$.

1632: 

1633: This last result implies that if  $Q$ is not normal,

1634: it has not a normal extension. We recall that 

1635:  we have already proved that $Q$  is normal.

1636: 

1637: We have thus proved that if  $\mu\notin\Gamma$ then the  operator 

1638: $\mu S +RS$ has no  normal extension, which completes the proof.

1639: \hfill\qed

1640: 

1641: \section{Solutions of the scalar exponential equation}

1642: \label{sec:sols}

1643: We proceed to the proof of the main theorem of this Section.

1644: %

1645: \btw

1646: \label{hip}

1647: Let $(R,S)\in D_{\cH}$ and let  $\;f : \ov\Gamma\;\rightarrow \;S^1\;$

1648:  be a Borel function.  

1649: The following conditions are equivalent

1650: \bit

1651: \item[1).]

1652: \beq

1653: \label{ees}

1654: f(R)f(S)=f(R\dot{+} S)\ 

1655: \eeq

1656: \item[2).]

1657: \beq

1658: \label{fs}

1659: f(z)=F_N(\gamma z)

1660: \eeq

1661: for any $\gamma\in\ov\Gamma$ and almost all $z\in \ov\Gamma$.

1662: \eit

1663: \etw

1664: %

1665: \dow 1). $\Leftarrow$ 2). By Remark \ref{azu2} we know  

1666: $(\gamma R,\gamma S)\in D_{\cH}$ for any  $\gamma\in\ov\Gamma$. 

1667: Moreover $ \gamma R\dot{+}\gamma S=\gamma (R\dot{+}S)$. 

1668: Hence by Proposition \ref{ee} 

1669: \[F_N(\gamma R)F_N(\gamma S)=F_N(\gamma (R\dot{+} S))\ ,\]

1670: which shows that function \rf{fs} satisfies 1)..\\

1671: 

1672: 2). $\Rightarrow$ 1). Applying Proposition \ref{r+s}

1673:  to the right-hand-side of \rf{ees} we obtain

1674: \beq

1675: \label{pow}

1676: f(R)f(S)=F_N(S^{-1}R)^*f(S)F_N(S^{-1}R)\ .

1677: \eeq

1678: Let  $\lambda > 0$ be an arbitrary real positive number.

1679:  Then by Remark \ref{azu2} it follows that $(\lambda R,S)\in D_{\cH}$. 

1680: Substituting $\lambda R$ instead of  $R$ into   

1681:  equation \rf{pow} and setting 

1682:   $T=S^{-1}R$ we obtain

1683: \[f(\lambda R)f(S)=F_N(\lambda T)^*

1684: f(S)F_N(\lambda T)\ .\]

1685: Equivalently

1686: \[f(\lambda R)f(S)-f(S)=F_N(\lambda T)^*

1687: f(S)F_N(\lambda T)-F_N(\lambda T)^*

1688: f(S)+F_N(\lambda T)^*

1689: f(S)-f(S)\ .\]

1690: (Note the all the operators above are bounded, so adding and subtraction them do not change theirs domains. However, if the operators involved would be unbounded, one could get a false inequality, because such a procedure

1691: could change domains of operators.)

1692: 

1693: Dividing both sides by  $\lambda>0$ we get

1694: \beq

1695: \frac{f(\lambda R)-I}{\lambda}f(S)=F_N(\lambda T)^*

1696: f(S)\frac{F_N(\lambda T)-I}{\lambda}

1697: +\frac{F_N(\lambda T)^*

1698: -I}{\lambda}f(S)\ .

1699: \label{dorhs}

1700: \eeq

1701: Let $RHS$ and $LHS$ denote  right and  and left hand 

1702: side of 

1703:  \rf{dorhs} and let $x,z\in D(T)$. Then

1704: \beq

1705: \label{porl}

1706: \lim_{\lambda\rightarrow 0}\left(z\left| RHS\right| x\right)=

1707: \frac{-i}{2\sin\hb}\left(z\left|f(S)(q T+ 

1708: \ov q T^*)\; \right. x\right)

1709: +\frac{i}{2\sin\hb}\left(\;(q T+ \ov q T^*)z\;\left|

1710: f(S)\right. x\right) .

1711: \eeq

1712: By the reasoning above

1713: \bwn

1714: \label{pople}

1715: For any  $x,z\in D(T)$ there exists the limit 

1716: \[\lim_{\lambda\rightarrow ^+0}\left(z\left|\frac{f(\lambda R)-I}{\lambda}

1717: \right|f(S)x\right)

1718: \ .\]

1719: \ewn

1720: We will use the Lemma below to write this limit in the  

1721:  form convenient for future computation

1722: \ble[Lemma 7.2 z \cite{qexp}]

1723: \label{lmu}

1724:  Let $f$ be a bounded Borel function on 

1725:   $\R_+$ and let $Y$ be a selfadjoint positive operator

1726:  acting on   Hilbert space $\cH$. Let $\Xi$ be 

1727:  the set of  pairs $(z,x)\in D(Y)\times \cH$ such that 

1728: there exists the limit

1729: \[\lim_{\lambda\rightarrow ^+0}\left(z\left|\frac{f(\lambda Y)-I}{\lambda}

1730: \right|x\right)

1731: \ .\] 

1732: If there is a  pair $(y,u)\in \Xi$ such that  $(Yy|u)\neq 0$, 

1733: then there is also  a constant $\mu_f$ such that

1734: \[\lim_{\lambda\rightarrow ^+0}\left(z\left|\frac{f(\lambda Y)-I}{\lambda}

1735: \right|x\right)

1736: =\mu_f(Yz|x)\]

1737:  for any $(z,x)\in \Xi$, and  $\mu_f$ depends only on $f$.

1738: \ele

1739: 

1740: Note the the Lemma above can be applied to the  function $f$ mentioned in  

1741:  Theorem \ref{hip} and satisfying condition \rf{ees} (because  this 

1742:  function is by assumption Borel and bounded) and to the   operator 

1743: $Y=|R|$, which is clearly selfadjoint and positive. 

1744: 

1745: Let $\cH_k$ denote an eigenspace of $\faz R$ 

1746:  corresponding to the eigenvalue $q^k$. 

1747: We have the following decomposition of the Hilbert space  $\cH$:

1748: \[ \cH=\cH_1\oplus\cH_2\oplus\dots\oplus\cH_N \ .\]

1749: The restriction of Operator $R$  to the space $\cH_k$ is $q^k |R|$.

1750: (Matrix representation  of phases of operators $(R,S)\in D_{\cH}$ 

1751:  is discussed in Section \ref{sect:az2} and given  by \rf{frmac} 

1752: and \rf{fsmac})

1753: By Lemma \ref{lmu} applied  independently 

1754: in every space $\cH_k$  to the function $f(q^k .)$ and the operator  

1755: $|R|$  and by Observation \ref{pople} 

1756:  it follows that 

1757: %

1758: \beq

1759: \label{poprz}

1760: \lim_{\lambda\rightarrow 0}\left(z\left|

1761: \frac{f(\lambda q^k|R|)-I}{\lambda}\right|y\right)

1762: =\frac{-i}{2\sin\hb}\left(\ov{\mu(q^k)}|R| z\left|\right. 

1763: y\right)\ ,

1764: \eeq

1765: where $z\in D(R)\cap D(T)$ and $y\in f(S)D(T)$ and

1766: $\mu$ is a complex-valued function defined on the set of all 

1767:   $N$th roots of unity.

1768: Observe that the function $\mu$ is determined  uniquely  

1769:  by complex numbers $b_1,b_2, ..., b_N$ such that 

1770: \beq

1771: \label{postacmu}

1772: \mu(\rho)=b_1+b_2 \rho+b_3 \rho^2+...+b_{N} \rho^{N-1}\ ,

1773: \eeq

1774: where $\rho\in \C$ and $\rho^N=1$.

1775: Note that$\rho\in\Gamma$.

1776: 

1777: To make further computations easier we adopt different $\mu$ in order 

1778: to have  

1779: $\frac{-i}{2\sin\hb}$ before parentheses in \rf{poprz}.

1780: 

1781: Substituting  $y=f(S)x$, where $x\in D(T)$, to \rf{poprz}

1782: \beq

1783: \label{porp}

1784: \lim_{\lambda\rightarrow 0}\left(z\left|\frac{f(\lambda R)-I}{\lambda}

1785:  \right| f(S) x\right)=\lim_{\lambda\rightarrow 0}\left(z\left|LHS 

1786: \right|x\right)=

1787: \frac{-i}{2\sin\hb}\left(\mu(\faz R)^*|R|z\left|\right.

1788: f(S)x\right)\ .

1789: \eeq

1790: %

1791: Comparing \rf{porp} and \rf{porl} we conclude that

1792: \beq

1793: \label{podwie}

1794: \left(\mu(\faz R)^*|R|z\left|f(S)\right. x\right)=

1795: \left(z\left|f(S)(qT+ \ov q T^*)\right. x\right)

1796: -\left((q T+ \ov q T^*) z\left|f(S)\right. x\right)\  ,

1797: \eeq

1798: for any $z\in D(R)\cap D(T)$ and $x\in D(T)$.

1799: 

1800: From Remark \ref{azu2} it follows that  if operators 

1801: $(R,S)\in D_{\cH}$ satisfy the above equation they satisfy also 

1802:  $(\rho R,S)\in D_{\cH}$.

1803: Let us substitute $\rho R$ instead of  $R$ to the equation  \rf{podwie} and  

1804: write function  $\mu$ in the form \rf{postacmu}

1805: \[\ b_1\left(z|f(S)x\right)+  \rho b_2 \left(R^*z|f(S)x\right)+

1806: \rho^2 b_3 \left((\faz R)^{-2}|R|z|f(S)x\right)+\dots \]

1807: \[\dots +\rho^{N-2} b_{N-1} 

1808: \left((\faz R)^{2}|R|z|f(S)x\right)+\rho^{N-1} b_{N}

1809: \left(Rz|f(S)x\right)=\]

1810: \[=\rho q\left\{\left(z\left|f(S)Tx\right)-\left(T^*z|f(S)\right. x\right)

1811: \right\}+

1812: \rho^{N-1}q^{-1}\left\{\left(z|f(S) T^*x\right)-\left(Tz|f(S)x\right)\right\}

1813: \ .`\]

1814: Since  $\rho^k$ are linearly independent  for different  

1815: $k\in\{0,1,2,\dots,N-1\}$, it follows that  by comparing coefficients 

1816:  of the same powers of $\rho$ on both sides  of the above equation,

1817: we obtain that  $b_k=0$ for $k\neq 2$ and $k\neq N$ 

1818: and

1819: \beq

1820: \label{r1}

1821:  b_{N}q\left( Rz\left|\right.f(S)x\right)

1822: =\left(z|f(S)T^*x\right)-\left(Tz|f(S)x\right)\ 

1823: \eeq

1824: and

1825: \[

1826:  b_{2}q^{-1}\left( R^* z|f(S)x \right)

1827: =\left(z|f(S) Tx\right)- \left(T^*z|f(S)x\right)\ .

1828: \]

1829: %

1830: Setting  $\gamma=\ov{ b_{N}q}$ and rewriting  

1831: \rf{r1} in a slightly different form we get

1832: \[\left((\gamma R+T)z|f(S)x\right)=

1833: \left(z|f(S)T^*x\right)\ ,\]

1834: for any $z\in D(R)\cap D(T)$ and $x\in D(T)$.

1835: Let us set $y=f(S)x$, i.e. $y\in f(S)D(T)$.

1836: Then $D(T)=D(T^*)$, since $T$ is normal and 

1837: $D(f(S))=\cH$, since $f(S)$ is bounded. So

1838: \[\left((\gamma R+T)z|y\right)=

1839: \left(z|f(S)T^*f(S)^*y\right)\ ,\]

1840: for any $z\in D(R)\cap D(T)$ and $y\in D(f(S)T^*f(S)^*)$.

1841: We see that the operator $ \gamma R+ T$ is 

1842: contained in the operator adjoint to  $f(S)T^* f(S)^*$

1843: \beq

1844: \gamma R+ T\subset \left( f(S)T^* f(S)^*\right)^*=f(S)Tf(S)^*\ .

1845: \label{zaw}

1846: \eeq

1847: The operator on the right-hand-side is unitarily equivalent to 

1848:  a normal  operator, 

1849: so it is  normal. It means that the  operator $\gamma R+ T$ has a 

1850:  normal extension. Proposition \ref{nieu} implies that in such a 

1851:  case $\gamma \in \Gamma$. Consequently, by Remark  \ref{azu2} 

1852:  we have $(T,\gamma R)\in D_{\cH}$.

1853: By Theorem 2.4  \cite{az+b} the closure of  $\gamma R+ T$, denoted  

1854: by $\gamma R\dot{+} T$,  is normal for any $\gamma \in \Gamma$.

1855: Moreover, Proposition 

1856: \ref{ee} yields

1857: \beq

1858: \label{r3}

1859: \gamma R \dot{+} T= F_N(\gamma S)T F_N(\gamma S)^*.

1860: \eeq

1861: Because by  Proposition  \ref{nieu}  $\gamma R+ T$ has a   normal extension 

1862:  and by Theorem 2.4  \cite{az+b} this  normal extension of  $\gamma R+ T$ 

1863: is  $\gamma R\dot{+} T$,  

1864:  by \rf{zaw} and since normal operators do not have 

1865: normal extensions, one may conclude that

1866: \beq

1867: \label{r5}

1868: \gamma R \dot{+} T= f(\gamma S)T f(\gamma S)^*.

1869: \eeq

1870: Comparing  \rf{r5} and \rf{r3} we obtain

1871: \[F_N(\gamma S)T F_N(\gamma S)^*=f(S) T f(S)^*\ .\]

1872: Hence

1873: \[T F_N(\gamma S)^*f(S)=F_N(\gamma S)^*f(S) T  ,\]

1874: so $T$ commutes with a bounded operator $F_N(\gamma S)^*f(S)$. 

1875: By  

1876: spectral theorem for normal  operators \cite[Theorem 13.33]{rudaf}  

1877:  it follows that   $F_N(\gamma S)^*f(S)$ commutes also with 

1878: functions $|T|^{it}$, where $t\in \R$.

1879: Hence

1880: \[|T|^{it} F_N(\gamma S)^*f(S)|T|^{-it}=F_N( \gamma S)^*f( S)  \ ,\]

1881: so

1882: \beq

1883: \label{nzol}

1884:  F_N(\lambda\gamma S)^*f(\lambda S)=F_N(\gamma S)^*f( S) \ ,

1885: \eeq

1886: where $\lambda =e^{-\hb t}$.

1887: Considerations preceding  Lemma \ref{lmu} imply that for any  $(T,R)

1888: \in D_{\cH}$

1889: \[\lim_{\lambda\rightarrow 0}\left(z|f(\lambda R)\xi\right)=

1890: \left(z|\xi\right)\ ,\]

1891: for any  $z\in D(T)$ and $\xi\in f(S)D(T)$. 

1892: Since  $(T,S)\in D_{\cH}$, hence we obtain

1893: \[\lim_{\lambda\rightarrow 0}

1894: \left(\zeta|F_N(\lambda\gamma S)^*f(\lambda S)\xi\right)=

1895: \left(\zeta|\xi\right)\ ,\]

1896: where $\zeta\in F_N(\gamma S)^* D(T)$ and  

1897: $\xi\in f(S^{-1}) D(T)$. Note that  $D(T)$ is linearly dense 

1898: in $\cH$, as the  operator $T$ is densely defined. 

1899: Similarly, we see that  

1900:  $f(S^{-1})D(T)$ and $ F_N(\gamma S)^* D(T)$  are densely defined, 

1901:  since $f(S^{-1})$ and $ F_N(\gamma S)$ are unitary.

1902: Hence $F_N(\lambda\gamma S)^*f(\lambda S)$ converges weakly to $I$, 

1903:  when $\lambda$ 

1904:  goes to $0$. Since the right-hand-side of \rf{nzol} is independent on

1905:  $\lambda$, it follows that

1906: \[

1907:  F_N(\lambda\gamma S)^*f(\lambda S)=I\ ,\]

1908: so

1909: \[f(S)=F_N(\gamma S)\ ,\]

1910: where $\gamma \in \Gamma$, which completes the proof.\hfill\qed

1911: 

1912: \section{Solutions of the general exponential equation 

1913:  for the quantum  "az+b" group}

1914: \label{sect:az2}

1915: We prove now the generalization of the Theorem \ref{hip} to 

1916: the case of  an operator-valued function  $f$. 

1917: Our earlier results from \cite{paper1,phd} will 

1918:  make this proof much simpler. 

1919: 

1920: Let $f$ be a  function  defined on   $\Gamma$ and such, that  

1921:  for any $z\in \Gamma$,  $f(z)$ 

1922:  is a unitary operator acting on a Hilbert space $\cK$, i.e. 

1923: $f(z)\in{\rm Unit}(\cK)$.

1924: We will call  $f$ a Borel function iff for any 

1925: $\fil,\psi\in\cK$ the function 

1926: \[z\rightarrow (\fil|f(z)\psi)\]

1927:  is Borel.

1928: Then for any normal  operator $R$ with spectrum contained in  $\Gamma$

1929:  we  define  function  $f(R)$ by

1930: \[f(R)=\int_\Gamma f(z)\te dE_R(z),\]

1931: where $dE_R$ is the spectral measure of the operator $R$ and $f(z)$ 

1932: is a unitary operator acting on a Hilbert space  $\cK$.

1933: %

1934: \btw

1935: \label{hip2}

1936: Let $f$ be a  Borel function  defined on  $\Gamma$ with values in 

1937: unitary operators acting on  $\cK$ 

1938:  and let  $(R,S)\in D_{\cH}$. Then  

1939: \[\left(

1940: \begin{array}{c} 

1941: f(R)f(S)=f(R\dot{+} S)

1942: \end{array}

1943: \right)

1944: \Longleftrightarrow

1945: \left(

1946: \begin{array}{c} \mbox{ there exists  }\mbox{ an invertible}\\

1947: \mbox{ normal operator  $M$, }\\

1948: \mbox{ such that  }\spe M\subset \Gamma\\

1949: \mbox{ and   }f(z)=F_N(M  z)\\

1950: \mbox{ for a. a. } z\in \ov\Gamma.

1951: \end{array}

1952: \right).\]            

1953: \etw

1954: \dow $\Leftarrow  \;$ If $f(z)=F_N(Mz)$, then $f(R)=F_N(M\te R)$, where  

1955: \[F_N(M\te R)=\int_\Gamma F_N(Mz)\te dE_R(z),\]

1956: where $dE_R$ is the   spectral measure of $R$.

1957: By assumption 

1958:  $(R,S)\in D_{\cH}$ and $M$ is an invertible  normal  operator

1959:  such that 

1960: $\spe M\subset \Gamma$. Let us set 

1961:  $R^\prime=M\te R$ and $S^\prime=M\te S$. Then  

1962: $(R^\prime,S^\prime)\in D_{\cH\te\cK}$.

1963: Therefore by  Theorem  \ref{hip} we get

1964: \[F_N(M\te R)F_N(M\te S)=F_N(M\te (R\dot{+}S))\ .\]

1965: %

1966:  $\Rightarrow  \;$

1967: %

1968: We will use the same method as in the proof of Theorem 2.6 \cite{paper1},

1969:  i.e.  we show that 

1970: \[f(z)f(x)=f(x)f(z)\ ,\]

1971: for any $z,x\in\Gamma$.

1972: For the Reader's convenience we recall why it is enough to prove this.

1973: Observe that 

1974:  if  $\dim \cK=k<\infty$, then  

1975:  from commutation of  unitary operators $f(z)$ and $f(x)$ follows that 

1976:  there exists orthonormal basis in which these  operators 

1977:  are  represented by  diagonal matrices for any  $x,y\in\Gamma$. 

1978: Thus the problem reduces to  

1979:  finding solutions of  $k$ scalar equations  

1980: \[f_o(R)f_o(S)=f_o(R\dot{+}S)\ ,\]

1981: where  $f_o$ is a complex-valued  function defined on $\Gamma$.

1982: %

1983: The above reasoning can be generalized to the  case of arbitrary 

1984: many dimensional separable Hilbert space  $\cK$.  

1985: This is so because  operators $f(q^kr)$ and  $f(q^ls)$ belong  to 

1986:  a commutative *-subalgebra of $B(\cK)$. Therefore, by  spectral 

1987: theorem and its consequences  \cite[Chapter X]{dunfII},  

1988: operators $f(q^kr)$ and $f(q^ls)$ have  the same  spectral measure 

1989: \[f(q^kr)=\int_0^{2\pi}f_o(q^kr,t)dE_{\cK}(t)\mi 

1990: f(q^ls)=\int_0^{2\pi}f_o(q^ls,t)dE_{\cK}(t).\]

1991: Hence

1992: \[f(R)=\int_\Gamma \int_0^{2\pi}f_o(q^kr,t)dE_{\cK}(t)\te dE_R(z)\]

1993: and

1994: \[f(S)=\int_\Gamma \int_0^{2\pi}f_o(q^ls,t)dE_{\cK}(t)\te dE_S(z)\ ,\]

1995: where the  function $f_o$ is complex-valued. Thus Theorem 

1996:  \ref{hip2} reduces to the already proved "scalar" Theorem \ref{hip}.

1997: 

1998: We proceed to prove that really  

1999:  for any $r,s\in\R_+$ and  $k,l=0,1,\dots,N-1$ we have

2000: \beq

2001: f(q^kr)f(q^ls)=f(q^ls)f(q^kr)\ 

2002: \label{przem2}\ .

2003: \eeq

2004: %

2005: Observe that operators $\faz R$ and  $\faz S$  have in a certain basis  

2006:  the following matrix representation

2007: \beq

2008: %|R|=\left[\ba{ccccc}e^{\qo}&0&0&...&0\\0&e^{\qo}&0&...&0\\0&0&e^{\qo}&...&0\\

2009: %...&...&...&...&...\\0&0&0&...&e^{\qo}\ea\right]

2010: %\mi 

2011: \faz R=\left[\ba{ccccc}1&0&0&...&0\\0&q&0&...&0\\0&0&q^2&...&0\\...&...

2012: &...&...&...\\

2013: 0&0&0&...&q^{N-1}\ea\right]

2014: \label{frmac}

2015: \eeq

2016: and

2017: \beq

2018: \label{fsmac}

2019: %|S|=\left[\ba{ccccc}e^{\po}&0&0&...&0\\0&e^{\po}&0&...&0\\0&0&e^{\po}&...&0\\

2020: %...&...&...&...&...\\0&0&0&...&e^{\po}\ea\right]

2021: %\mi 

2022: \faz S=\left[\ba{ccccc}0&1&0&...&0\\0&0&1&...&0\\0&0&0&...&1\\

2023: ...&...&...&...&...\\0&0&0&...&0  \ea\right]\ .

2024: \eeq

2025:  Let $T=S^{-1}R$. 

2026: Then

2027: \[

2028: % |T|=q^{\frac{1}{2}}|S|^{-1}|R|\od 

2029: \faz 

2030: T=q^{-\frac{1}{2}} (\faz S)^* \faz R \ ,

2031: \]

2032: so 

2033: \beq

2034: \label{ftmac}

2035: %|T|=\left[\ba{ccccc}e^{\qo+\po}&0&0&...&0\\0&e^{\qo+\po}&0&...&0\\0&0&

2036: %e^{\qo+\po}&...&0\\

2037: %...&...&...&...&...\\0&0&0&...&e^{\qo+\po}\ea\right]

2038: %\mi 

2039: \faz T=q^{-\frac{1}{2}}\left[\ba{ccccc}0&0&...&0&q^{N-1}\\1&0&...&0&0\\

2040: 0&q&...&0&1\\

2041: ...&...&...&...&...\\1&0&...&q^{N-2}&0  \ea\right]\ .

2042: \eeq

2043: %

2044: We use the notion of generalized eigenvectors.

2045: It is well known that a selfadjoint operator with continuous spectrum 

2046:  acting on $\cH$ does not have eigenvectors. Still one can show that in the general case 

2047: the generalized eigenvectors are continuous linear functionals 

2048: on a certain dense locally convex subspace $\Phi\subset \cH$, provided with a much 

2049: stronger topology than $\cH$. Then we get the same formulas as

2050:  for discreet spectrum provided we replace scalar product by the duality relation  between $\Phi$ and $\Phi^\prime$.   

2051:  This will be explained 

2052:  by the example below, for general considerations see \cite{maueig}.

2053: 

2054: \bpr 

2055: Let $\cH=\Lkr$

2056: % $W=\sz$, 

2057: and

2058: \beq

2059: \label{np2}

2060:  |R|=e^{\po} \mi |S|=e^{\qo} \mi |T|=\eh |S|^{-1}|R|=e^{\po-\qo}\ .\eeq

2061: These operators have continuous spectra, so they 

2062: do not have eigenvectors.

2063: %, i.e. there are no functions $\Omega_r$, 

2064: %$\Phi_s$ and $\Psi_t\in\Lkr$ such that 

2065:  There are however tempered distributions on $\R$ 

2066: such that for every function $f$

2067:   from the  Schwartz space of smooth functions on $\R$ 

2068:  decreasing rapidly at infinity  $\sz$ we have 

2069: \beq

2070: \langle f|\;|R|\;|\Omega_r\rangle=r\langle f|\Omega_r\rangle\mi 

2071: \langle f|\;|S|\;|\Phi_s\rangle=s\langle f|\Phi_s \rangle  \mi 

2072: \langle f |\;|T|\;|\Psi_t\rangle =t\langle f|\Psi_t\rangle . 

2073: \label{eigenvectors}\eeq

2074: Such  $|\Omega_r\rangle$, $|\Phi_s\rangle$ and $|\Psi_t\rangle$ 

2075:  are called generalized eigenvectors of 

2076:  operators  $|R|$,$|S|$ and $|T|$ with  eigenvalues 

2077: respectively $r$, $s$ and $t$.

2078: 

2079: An example of  generalized eigenvectors of

2080:  operators \rf{np2} is

2081: \[|\Omega_r\rangle=\frac{1}{\sqrt{2\pi\hbar}}e^{\frac{i}{\hbar}x\log r}\mi

2082: |\Phi_s\rangle=\delta(\log s-x)\mi

2083: |\Psi_t\rangle=\frac{1}{\sqrt{2\pi\hbar}}e^{i\frac{x^2}{2\hbar}}

2084: e^{i\frac{x\log t}{\hbar}}\ .\]

2085: 

2086: Moreover, we will use notation of a type 

2087: $\langle \Omega_r|\Phi_s\rangle$.

2088: 

2089: It should be understood in the following way: for any $f\in \sz$ we have

2090: \beq\langle \Omega_r|f\rangle=\int_{\R} \langle \Omega_r|\Phi_s\rangle 

2091: \langle \Phi_s|f\rangle ds\ .

2092: \label{dlugie}\eeq

2093: To shorten notation from now on we skip  

2094:  the integration symbol, i.e. we write 

2095: \[\langle \Omega_r|f\rangle=\langle \Omega_r|\Phi_s\rangle 

2096: \langle \Phi_s|f\rangle  .\]

2097: instead of \rf{dlugie}

2098: The generalized eigenvectors $\Omega$ are said to have     

2099:  the  {\em Dirac $\delta$ normalization} if  

2100: \[\langle \Omega_r|\Omega_s\rangle =\delta (r-s)\ ,\]

2101: where $\delta$ is the Dirac  $\delta$ distribution.

2102: Note that generalized eigenvectors $\Omega$, $\Phi$ and $\Psi$ given above 

2103: have  the   Dirac $\delta$ normalization.

2104: \epr

2105: 

2106: Let $|\Omega_r\rangle$ be a generalized eigenvector of $R$  

2107: with real eigenvalue $r$ and with  Dirac delta normalization.

2108: Analogously, let  $|\Phi_s\rangle$ and $|\Psi_t\rangle$ denote 

2109: generalized eigenvectors of 

2110:  operators  $S$ and $T$ with real eigenvalues respectively  $s$ and $t$

2111:  and with the Dirac delta normalization.

2112: 

2113: 

2114: Let us define  $|\Omega_{k,r}\rangle$ using   

2115:   the  vector $|\Omega_{r}\rangle$

2116:  introduced above

2117: \[|\Omega_{k,r}\rangle=e_k\te |\Omega_{r}\rangle\]

2118: where and $k=0,1,\dots,N-1$ and 

2119: \[e_0=\left[\ba{c}1\\0\\0\\ \vdots\\0\ea\right],

2120: \;\;

2121: e_1=\left[\ba{c}0\\1\\0\\\vdots\\0\ea\right],\;\;\dots,\;\;

2122: e_{N-1}=\left[\ba{c}0\\0\\0\\\vdots\\1\ea\right].\ \]

2123: %

2124: Similarly, we define the vector  $|\Phi_{l,s}\rangle$ 

2125: using the vector  $|\Phi_{s}\rangle$ introduced above

2126: \[|\Phi_{l,s}\rangle=f_l\te |\Phi  _{s}\rangle\]

2127: where \[f_l=\frac{1}{\sqrt{N}}\left[\ba{c}1\\q^l\\q^{2l}\\\vdots\\

2128: q^{(N-1)l}\ea\right]\]

2129:  and  $l=0,1,\dots,N-1$.

2130: 

2131: Analogously, the vector  $|\Psi_{m,t}\rangle$ 

2132:  is given by 

2133: \[|\Psi_{m,t}\rangle=g_m\te |\Psi  _{t}\rangle\]

2134: where \[

2135: (g_m)_p=\frac{1}{\sqrt{N}}q^{\frac{1}{2}(p^2-2p(m+1))}

2136: \]

2137: and  $m,

2138: p=0,1,\dots,N-1$.

2139: 

2140: Note that $|\Omega_{k,r}\rangle$, $|\Phi_{l,s}\rangle$ and 

2141: $|\Psi_{m,t}\rangle$ 

2142:  are generalized eigenvectors of  $R$, $S$ and $T$, respectively,

2143:  corresponding to generalized eigenvalues $q^kr$,$q^ls$ and $ q^mt$.

2144: 

2145: In order to prove  \rf{przem2} we compute matrix elements   

2146: \[\langle \Omega_{k,r}|f(R)f(S)|\Phi_{l,s}\rangle\ .\]

2147: Since the function $f$ satisfies exponential equation,  is Borel 

2148:  and by  \rf{r+s}

2149:  \[f(R)f(S)=f(R\dot{+}S)=F_N(T)^* f(S)F_N(T)\ .\]

2150: Therefore

2151: \[\langle \Omega_{k,r}|f(R)f(S)|\Phi_{l,s}\rangle =

2152: \langle\Omega_{k,r}|F_N(T)^*|\Psi_{m,t}\rangle

2153: \langle\Psi_{m,t}|f(S)|\Phi_{n,\tilde{s}}\rangle

2154: \langle \Phi_{n,\tilde{s}}|F_N(T)|\Psi_{o,\tilde{t}}\rangle

2155: \langle\Psi_{o,\tilde{t}}|\Phi_{l,s}\rangle

2156: \ .\]

2157: Hence

2158: \[f(q^kr)f(q^ls)=\langle \Omega_{k,r}|\Phi_{l,s}\rangle^{-1}\langle\Omega_{k,r}|F_N(T)^*|\Psi_{m,t}\rangle

2159: \langle\Psi_{m,t}|f(S)|\Phi_{n,\tilde{s}}\rangle

2160: \langle \Phi_{n,\tilde{s}}|F_N(T)|\Psi_{o,\tilde{t}}\rangle

2161: \langle\Psi_{o,\tilde{t}}|\Phi_{l,s}\rangle

2162: \ .\]

2163: It is easily checked that 

2164: \[\langle \Omega_{k,r}|\Phi_{l,s}\rangle=

2165: q^{kl}\langle\Omega_{r}|\Phi_{s}\rangle\]

2166: %

2167: \[\langle 

2168: \Omega_{k,r}|\Psi_{m,t}\rangle=\frac{1}{\sqrt{N}}

2169: q^{\frac{1}{2}(k^2-2k(m+1))}

2170: \langle 

2171: \Omega_{r}|\Psi_{t}\rangle

2172: \]

2173: %

2174: \[\langle\Psi_{m,t}|\Phi_{n,\tilde{s}}\rangle=

2175: \langle\Psi_{t}|\Phi_{\tilde{s}}\rangle

2176: \frac{1}{N}\left(\sum_{p=o}^{N-1}

2177: q^{p(m+n+1-\frac{p}{2})}\right)\]

2178: %

2179: As we see from the last formula, one has to compute 

2180:  for any integer  $\alpha$  a sum

2181: \[\sum_{p=o}^{N-1}

2182: e^{\frac{2\pi i}{N}p(\alpha-\frac{p}{2})}=

2183: e^{\frac{\pi i}{N}\alpha^2}

2184: \sum_{p=o}^{N-1}

2185: e^{-\frac{\pi i}{N}(p-\alpha)^2}=e^{\frac{\pi i}{N}\alpha^2}

2186: \sum_{p=o}^{N-1}

2187: e^{-\frac{\pi i}{N}p^2}\ .\]

2188: In the appendix we derive the formula

2189:  \beq

2190: \label{suma2}

2191: \sum_{p=o}^{N-1}

2192: e^{-\frac{\pi i}{N}p^2}=\sqrt{N}e^{-\frac{\pi i}{4}}

2193: \eeq

2194: Hence

2195: \[\sum_{p=o}^{N-1}

2196: e^{\frac{2\pi i}{N}p(\alpha-\frac{p}{2})}=\sqrt{N}e^{\frac{\pi i}{N}\alpha^2}

2197: e^{-\frac{\pi i}{4}}\]

2198: so 

2199: \[\langle\Psi_{m,t}|\Phi_{n,\tilde{s}}\rangle=

2200: \frac{1}{\sqrt{N}}e^{-\frac{\pi i}{4}}

2201: e^{\frac{\pi i}{N}(m+n+1)^2}

2202: \langle\Psi_{t}|\Phi_{\tilde{s}}\rangle\]

2203: %

2204: Using Proposition 1.1  \cite{az+b}

2205:   one can easily prove that

2206: \bst

2207: \label{wlFN}

2208: For any  $m=0,1,\dots,N-1$ and $t \in R_+$ we have

2209: \beq

2210: \label{FNbar}

2211: \ov{F_N(q^mt)}=e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2212: e^{-\frac{\pi i}{N}(m+1)^2}

2213: e^{\frac{i}{2\hb}\log ^2t}F_N(q^{-m-2}t^{-1})\ ,

2214: \eeq

2215: %

2216: \est

2217: %

2218: By Proposition above

2219: \[\langle \Omega_{k,r}|F_N(T)^*|\Phi_{n,\tilde{s}}\rangle=

2220: e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2221: e^{-\frac{\pi i}{N}(m+1)^2}

2222: e^{\frac{i}{2\hb}\log ^2t}F_N(q^{-m-2}t^{-1})

2223: \langle \Omega_{k,r}|\Psi_{m,t}\rangle\langle\Psi_{m,t}

2224: |\Phi_{n,\tilde{s}}\rangle

2225: =\]

2226: \[=

2227: e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2228: e^{-\frac{\pi i}{N}(m+1)^2}

2229: e^{\frac{i}{2\hb}\log ^2t}F_N(q^{-m-2}t^{-1})

2230: \frac{e^{-\frac{\pi i}{4}}}{N}

2231: e^{\frac{i\hb}{2}(k^2-2k -2km +m^2+n^2+2mn +2m+2n+1)}

2232: \langle 

2233: \Omega_{r}|\Psi_{t}\rangle\langle\Psi_{t}|\Phi_{\tilde{s}}\rangle=\]

2234: \[=\frac{e^{-\frac{\pi i}{4}}}{N}e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2235: e^{\frac{i}{2\hb}\log ^2t}

2236: e^{\frac{i\hb}{2}(k^2-2k -2km +n^2+2mn +2n)}F_N(q^{-m-2}t^{-1})

2237: \langle 

2238: \Omega_{r}|\Psi_{t}\rangle\langle\Psi_{t}|\Phi_{\tilde{s}}\rangle\]

2239: %

2240: Inserting  $-m-2$ in the place of $m$, we get

2241: \[\langle \Omega_{k,r}|F_N(T)^*|\Phi_{n,\tilde{s}}\rangle=\frac{e^{-\frac{\pi i}{4}}}{N}e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2242: e^{\frac{i}{2\hb}\log ^2t}

2243: e^{\frac{i\hb}{2}(k^2+2k +2km +n^2-2mn -2n)}F_N(q^{m}t)

2244: \langle 

2245: \Omega_{r}|\Phi_{\tilde{s}}\rangle \ .\]

2246: %

2247: 

2248: Observed that  by formula 1.36  \cite{qexp}, for any  $t\in\R$

2249: \beq

2250: \label{vts}

2251: \overline{\vt(\log t)}=e^{-i\frac{\pi}{4}}c_\hbar^\prime e^{i\frac{\log^2 t}{2\hb}}

2252: \vt(-\log t)

2253: \ ,\eeq

2254: where $ c_\hbar^\prime=

2255: e^{i(\frac{\pi}{4}+\frac{\hb}{24}+\frac{\pi^2}{6\hb})}$. 

2256: 

2257: Moreover, we have prove in \cite{paper1} that 

2258: \beq

2259: \label{ef}

2260: \langle\Omega_r|\vt(\log T)^*|\Phi_{s}\rangle=c_\hbar^\prime  

2261: e^{-i\frac{\log^2 s}{\hbar}}\langle\Phi_{s}|\vt(\log T)|\Phi_r\rangle

2262: \ .

2263: \eeq

2264: By \rf{vts} and \rf{ef}

2265: %

2266: \[e^{-\frac{\pi i}{4}}e^{\frac{i}{2\hb}\log ^2t}

2267: F_N(q^mt^{-1})\langle 

2268: \Omega_{r}|\Psi_{t}\rangle\langle\Psi_{t}|\Phi_{\tilde{s}}\rangle=

2269: e^{-i\frac{\log^2\tilde{s}}{\hb}}F_N(q^mt)

2270: \langle\Phi_{\tilde{s}}|\Psi_{t}\rangle\langle\Psi_{t}|\Phi_r\rangle\]

2271: Moreover

2272: \[ 

2273: \frac{1}{N} F_N(q^m t)e^{\frac{\pi i}{N}(k^2+2km-2mn +2k +n^2 -2n)}=

2274: e^{i\hb n^2}

2275: \langle f_n|g_m\rangle F_N(q^m t)\langle g_m|f_k \rangle\]

2276: Hence

2277: \beq

2278: \label{FNbarmac}

2279: \langle \Omega_{k,r}|F_N(T)^*|\Phi_{n,\tilde{s}}\rangle=

2280: e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}

2281: e^{i\hb n^2} e^{-i\frac{\log^2\tilde{s}}{\hb}}

2282: \langle 

2283: \Phi_{n,\tilde{s}}|F_N(T)|\Phi_{k,r}\rangle\  .

2284: \eeq

2285: 

2286: Therefore

2287: \[f(q^kr)f(q^ls)=q^{-kl}f(q^n\tilde{s})\langle\Omega_{r}|\Phi_{s}\rangle^{-1}

2288: \langle \Omega_{k,r}|F_N(T)^*|\Phi_{n,\tilde{s}}\rangle

2289: \langle\Phi_{n,\tilde{s}}|F_N(T)|\Phi_{l,s}\rangle=\]

2290: \[=e^{\frac{\pi i}{6}(\frac{2}{N}+\frac{N}{2})}e^{i\hb n^2}

2291:  e^{-i\frac{\log^2\tilde{s}}{\hb}}

2292: f(q^n\tilde{s})

2293: q^{-kl}\langle\Omega_{r}|\Phi_{s}\rangle^{-1}

2294: \langle\Phi_{n,\tilde{s}}|F_N(T)|\Phi_{k,r}\rangle

2295: \langle\Phi_{n,\tilde{s}}|F_N(T)|\Phi_{l,s}\rangle\]

2296: 

2297: The expression below is clearly  symmetric with respect to 

2298:  swapping  $k\leftrightarrow l$ with $r\leftrightarrow s$, 

2299: which completes the proof.\hfill\qed

2300: 

2301: \appendix

2302: \section{Deriving  formula  \rf{suma2}}

2303: \label{dodsuma}

2304: We will derive the formula

2305: \beq

2306: \label{suma}

2307: \sum_{p=0}^{N-1}e^{\frac{\pi i}{N}p^2},

2308: \eeq

2309: where  $N$ is a non-zero  even number.

2310: 

2311: 

2312: Let us introduce the notation

2313: \[a_p=e^{\frac{\pi i}{N}p^2}\mi S_N=\sum_{p=0}^{N-1}a_p\ .\]

2314: 

2315: In order to compute \rf{suma} we integrate the function  

2316: \beq

2317: \label{function}

2318: f(z)=\frac{e^{\frac{\pi i}{N}z^2}}

2319: {e^{2\pi iz}-1}

2320: \eeq

2321: over the contour $\Gamma$ as on the Figure \ref{kontur}.

2322: 

2323: Since $N$ is an even number, it follows that for any  $z\in \C$ 

2324:  from the domain of  $f$ 

2325: we have

2326: \beq

2327: \label{i1+i3}

2328: f(z+N)-f(z)=e^{\frac{\pi i z^2}{N}}\ .

2329: \eeq

2330: Let us introduce the notation

2331: \[I_1=\int_{R}^{-R}

2332: f(-\frac{1}{2}+iy)idy

2333: \mi

2334: I_2=\int_{-\frac{1}{2}}^{N-\frac{1}{2}}f(x-iR)dx\]

2335: \[I_3=\int_{-R}^{R}

2336: f(N-\frac{1}{2}+iy)

2337: idy

2338: \mi

2339: I_4=\int_{N-\frac{1}{2}}^{-\frac{1}{2}}

2340: f(x+iR)dx

2341: \]

2342: Observe that

2343: \beq

2344: \label{wres1}

2345: \int_\Gamma f(z)dz=I_1+I_2+I_3+I_4

2346: \eeq

2347: %

2348: \begin{figure}

2349: \centerline{\hfill

2350: \epsfxsize=100mm

2351: \epsfysize=100mm

2352: \epsffile{k2.ps}

2353: \hfill

2354: }

2355: \caption{\label{kontur} contour $\Gamma$}

2356: \end{figure}

2357: %

2358: Function  $f$ in the interior of  $\Gamma$  has simple poles at the  

2359:  points $z=1,2,\dots,\frac{N}{2}$, and  residues at these points 

2360:  are

2361: \[\res_{z=p} f(z)=\frac{a_p}{2\pi i}\ .\] 

2362: Therefore by the Residue Theorem

2363: \beq

2364: \label{wres2}

2365: \int_\Gamma f(z)dz=2\pi i\sum_{p=0}^{N-1}\res_{z=p} f(z)=

2366: a_0+a_2+\dots +a_{N-1}=S_{N}\ .

2367: \eeq

2368: %

2369: Comparing \rf{wres1} and  \rf{wres2} we get

2370: \beq

2371: \label{wres4}

2372: S_N=I_1+I_2+I_3+I_4\ .

2373: \eeq

2374: %

2375: We proceed now to calculate integrals  $I_2$ and $I_4$.

2376: \[I_2=\int_{-\frac{1}{2}}^{N-\frac{1}{2}}\frac{e^{\frac{\pi i}{N}(x-iR)^2}}

2377: {e^{2\pi i(x-iR)}-1}dx=\int_{-\frac{1}{2}}^{N-\frac{1}{2}}

2378: \frac{e^{\frac{\pi i}{N}(x^2-R ^2)}e^{\frac{2\pi }{N}R x}}

2379: {e^{2\pi (R+ix)}-1}dx\]

2380: Since

2381: \[ |e^{\frac{\pi i}{N}(x^2-R ^2)}e^{\frac{2\pi }{N}R x}|

2382: \leq 

2383: e^{\frac{2\pi }{N}R x}

2384: \mi |e^{2\pi (R+ix)}-1|\geq e^{2\pi R}-1\ ,\]

2385: it follows that 

2386: \[I_2<\left|\int_{-\frac{1}{2}}^{N-\frac{1}{2}}

2387: \frac{e^{\frac{\pi i}{N}(x-iR)^2}}

2388: {e^{2\pi (R+ix)}-1}dx\right|\leq

2389: \frac{1}

2390: {e^{2\pi R}-1}

2391: \int_{-\frac{1}{2}}^{N-\frac{1}{2}}

2392: e^{\frac{2\pi }{N}Rx}

2393: dx=\frac{Ne^{-\pi R}}{2\pi R}

2394: \frac{e^{2\pi R}-1}

2395: {e^{2\pi R}-1}

2396: =\frac{Ne^{-\pi R}}{2\pi R}\ .\]

2397: %

2398: Hence $I_2$  converges to 0, when  $R$ goes to $+\infty$.

2399: Using similar estimation one can prove that   

2400: $I_4$ converges also  to 0, when $R$  goes to  $+\infty$.

2401: %

2402: Moreover, using formula  \rf{i1+i3} we get

2403: \[I_1+I_3 =2\int_{-R}^{R}\left(f(N-\frac{1}{2}+it)-

2404: f(-\frac{1}{2}+it)\right)

2405: idy=2\int_{-R}^{R}e^{\frac{\pi i (it-\frac{1}{2})^2}{N}}

2406: idy

2407: =2i\int_{-R}^{R}e^{\frac{-\pi i}{N}(t+\frac{1}{2}i)^2 }

2408: dy\ .\]

2409: %

2410: When  $R\rightarrow +\infty$, then $ I_1+I_3$ takes form 

2411: \[2i\int_{-\infty}^{+\infty}e^{\frac{-\pi i}{N}(t+\frac{1}{2}i)^2 }

2412: dy=2i\frac{\sqrt{N}}{\sqrt{\pi}}\int_{-\infty}^{+\infty}e^{ -i (t+\frac{1}{2}i)^2 }

2413: dy\]

2414: %

2415: After passing to the limit  $R\rightarrow +\infty$ into  

2416:  the formula \rf{wres4} we get  

2417: \[S_N=2i\frac{\sqrt{N}}{\sqrt{\pi}}\int_{-\infty}^{+\infty}

2418: e^{ -i (t+\frac{1}{2}i)^2 }

2419: dy\]

2420: It is easily seen that

2421: \[S_2=1+i\ .\]

2422: Hence

2423: \[\int_{-\infty}^{+\infty}e^{ -i y^2 }

2424: dy=\frac{\sqrt{\pi}}{2\sqrt{2}i}(i+1)=

2425: -i\frac{\sqrt{\pi}}{2}e^{\frac{\pi i}{4}}\ .\]

2426: Thus for any even $N\geq 2$  we have 

2427: \[\sum_{p=0}^{N-1}e^{\frac{\pi i}{N}p^2}=\sqrt{N}e^{\frac{\pi i}{4}}\]

2428: %

2429: \section*{Acknowledgments}

2430: This is part of the author's Ph.D. thesis \cite{phd}, written under the supervision of Professor Stanis{\l}aw L. Woronowicz at the Department of Mathematical Methods in 

2431: Physics, Warsaw University. The author is greatly  

2432: indebted to Professor Stanis{\l}aw L. Woronowicz for stimulating discussions and important hints 

2433:  and comments. The author also wishes to thank 

2434: Professor Wies{\l}aw Pusz and Professor Marek  Bo\.zejko for

2435: several  helpful suggestions and Piotr So\l tan for 

2436: reading carefully the manuscript. 

2437: 

2438: \begin{thebibliography}{99}

2439: 

2440: 

2441: \bibitem{bohm} Bohm, A.:{\em Quantum mechanics: Foundations and Applications}.

2442: Springer-Verlag, New York, 1986.

2443: 

2444: \bibitem{connesbook}

2445: Connes, A.: {\em Noncommutative Geometry}. Academic Press, 1995.

2446: 

2447: \bibitem{dixmier}

2448: Dixmier, J.: {\em Les alg\'ebres d'operateurs dans l'espace Hilbertien}, 

2449: Gauthier-Villars, Paris, 1969. 

2450: 

2451: \bibitem{dunfII}

2452: Dunford N., Schwartz, J.T.: Linear operators,Part II :

2453: Spectral Theory.

2454: Interscience Publishers,New York, London 1963.

2455: 

2456: %\bibitem{hal} Halmos,P.R.: A Hilbert space problem book. Berlin, Heidelberg,

2457: %New York: Springer Verlag 1974.

2458: 

2459: % \bibitem{kato}Kato, T.: Perturbation theory for linear operators, 

2460:  %Springer-Verlag Berlin -- Heidelberg -- New York 1966.

2461: 

2462: \bibitem{ks}

2463: Klimyk A., Schm\"{u}dgen, K.: Quantum Groups and Their Representations.Springer

2464: -Verlag Berlin -- Heidelberg 1997.

2465: 

2466: \bibitem{oper}

2467:  Kruszy\'nski P., Woronowicz, S.L.: A Non-commutative Gelfand-Naimark Theorem-

2468: J. Operator Theory {\bf 8}, 361-389 (1982). 

2469: 

2470: \bibitem{vaeskrotki}   Kustermans J., Vaes S.:  A simple definition for locally compact quantum group {\em C.R. Acad. Sci. Paris, 

2471:  S\'er. and } {\bf 328} (10), 871-876 (1999).

2472: 

2473: \bibitem{majbook}

2474: Majid, S.: Foundations of Quantum Group Theory, Cambridge University Press, 

2475: Cambridge  1995.

2476: 

2477: \bibitem{mau}Maurin, K: Methods of Hilbert spaces, Warszawa 1967.

2478: 

2479: \bibitem{maueig}Maurin, K.: General eigenfunction expansions and unitary representations 

2480: of topological groups, Warszawa 1968.

2481: 

2482: \bibitem{pgl2c} Pusz, W.: Quantum $GL(2,\C)$ group -in preparation.

2483: 

2484: \bibitem{reedI}

2485: Reed M., Simon, B.: {\em Methods of Modern Mathematical 

2486: Physics,Part I.}

2487: Academic Press, New York, San Francisco, London 1975.

2488: 

2489: \bibitem{reedtf}

2490:  Reed M., Simon, B.: {\em Methods of Modern Mathematical

2491:  Physics,Part II}.

2492: Academic Press, New York, San Francisco, London 1975.

2493: 

2494: \bibitem{phd}

2495: Rowicka - Kudlicka, M.: PhD Thesis, Warsaw University, Warsaw 2000.  

2496: 

2497: \bibitem{paper1}

2498: Rowicka - Kudlicka, M.: Braided quantum groups related to 

2499:  the quantum 'ax+b' group -math.QA/0101003.

2500: 

2501: \bibitem{paper2}

2502: Rowicka - Kudlicka, M.: Unitary representations of the quantum 'ax+b' group 

2503: - math.QA/0102151.

2504: 

2505: \bibitem{paper4}

2506: Rowicka - Kudlicka, M.: Unitary representations of the quantum 'az+b' group 

2507: at roots of unity - in preparation.

2508: 

2509: \bibitem{rudaf} Rudin,W.: Functional analysis, McGraw-Hill, Inc., 1991.

2510: 

2511: \bibitem{nowywandal} van Daele, A.: The Haar measure on some locally compact 

2512: quantum groups -in preparation.

2513: 

2514: \bibitem{wpseudopont} Woronowicz, S.L.: Pseudospaces, pseudogroups, and Pontryagin duality. {\em Proceedings of the International Conference on Mathematical 

2515: Physics, Lausanne 1979.}

2516: 

2517: \bibitem{slwtt} Woronowicz, S.L.: Operator systems and their application 

2518: to the Tomita-Takesaki theory, {\em J. Operator Theory}, {\bf 2}(1979), 169-209. 

2519: 

2520: \bibitem{wduaC} 

2521: Woronowicz, S.L.: Duality in the \cstal a Theory. 

2522: {\em Proceedings of the International Congress of Mathematicians,

2523:  Warszawa 1983.}

2524: 

2525: \bibitem{qexp}

2526: Woronowicz, S.L.: Quantum exponential function - Rev. Math. Phys.

2527:  Vol. 12, No. 6 (2000) 873-920.

2528: 

2529: \bibitem{ax+b}

2530:  Woronowicz S.L., Zakrzewski, S.: Quantum 'ax+b' group - submitted to 

2531: Comm. Math. Phys.

2532: 

2533: \bibitem{oe2}

2534:  Woronowicz, S.L.: Operator Equalities Related to the Quantum E (2) Group - 

2535: Comm. Math. Phys. {\bf 144}, 417-428 (1992).

2536: 

2537: \bibitem{e2d}

2538: Woronowicz, S.L.: Quantum E (2) Group and its Pontryagin Dual- Lett. 

2539: Math. Phys. {\bf 23}: 251-263, 1991.

2540: 

2541: \bibitem{wunb}

2542: Woronowicz, S.L.: \csta algebras generated by unbounded elements.

2543: Rev. Math. Phys. Vol. 7 No. 3 (1995) 481-521.

2544: 

2545: \bibitem{az+b}

2546: Woronowicz, S.L.: Quantum 'az+b' group on complex plane -  KMMF Preprint 1999.

2547: 

2548: \end{thebibliography}

2549: \end{document}

2550: 

2551: 

2552: 

2553: 

2554: 

2555: 

2556: 

2557: 

2558: 

2559: 

2560: 

2561: 

2562: 

2563: 

2564: 

2565: 

2566: 

2567: 

2568: 

2569: 

2570: 

2571: 

2572: 

2573: 

2574: 

2575: 

2576: 

2577: 

2578: