%~Mouliné par MaN_auto v.0.27.3 2023-11-02 10:01:06
\documentclass[CRMATH,Unicode,XML]{cedram}

\TopicEN{Operator theory}
\TopicFR{Théorie des opérateurs}


\usepackage{amssymb}
\usepackage{comment}
\usepackage{graphicx}
\usepackage[noadjust]{cite}



\newcommand{\A}{\mathcal{A}}
\newcommand{\Aa}{\mathbf{a}}
\newcommand{\bbR}{\mathbb{R}}
\newcommand{\bbC}{\mathbb{C}}
\newcommand{\bbN}{\mathbb{N}}
\newcommand{\clB}{\mathcal{B}}
\newcommand{\clH}{\mathcal{H}}
\newcommand{\clM}{\mathcal{M}}
\newcommand{\clV}{\mathcal{V}}
\newcommand{\clD}{\mathcal{D}}
\newcommand{\clF}{\mathcal{F}}
\newcommand{\clG}{\mathcal{G}}
\newcommand{\clVT}{\mathcal{VT}}
\newcommand{\spanl}{\mathrm{span}}
\newcommand{\VSO}{\mathrm{VSO}}
\newcommand{\ran}{\mathrm{ran}}
\newcommand{\ess}{\mathrm{ess}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

%\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldtilde\tilde
\renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}}
\let\oldexists\exists
\renewcommand*{\exists}{\mathrel{\oldexists}}
\let\oldforall\forall
\renewcommand*{\forall}{\mathrel{\oldforall}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title[Integral representation of vertical operators]{Integral representation of vertical operators on the Bergman space over the upper half-plane}

\subjclass[2010]{30H20, 47A15, 47B35, 47G10}

\keywords{Bergman space, multiplication operator, reducing subspace, Toeplitz operator}


\author{\firstname{Shubham R.} \lastname{Bais}}
\address{Department of Mathematics, Indian Institute of Technology -- Hyderabad, Kandi, Sangareddy, Telangana, India 502 284.}
\email[S. R. Bais]{shubhambais007@gmail.com}
%\email{shubhambais007@gmail.com}

\author{\firstname{D.} \lastname{Venku Naidu}\IsCorresp}
\address[1]{Department of Mathematics, Indian Institute of Technology -- Hyderabad, Kandi, Sangareddy, Telangana, India 502 284.}
\email[D. Venku Naidu]{venku@math.iith.ac.in}
\thanks{The first author thanks the University Grant Commission (UGC), India for providing financial support. The third author thanks the Counsil of Scientific and Industrial Research (CSIR), India for providing financial support.}


\author{\firstname{Pinlodi} \lastname{Mohan}}
\address[1]{Department of Mathematics, Indian Institute of Technology -- Hyderabad, Kandi, Sangareddy, Telangana, India 502 284.}
\email[P. Mohan]{ma20resch11004@iith.ac.in}

\begin{abstract}
Let $\Pi$ denote the upper half-plane. In this article, we prove that every vertical operator on the Bergman space $\A^2(\Pi)$ over the upper half-plane can be uniquely represented as an integral operator of the form
\begin{equation*}
\left(S_\varphi f\right)(z) = \int_{\Pi} f(w) \varphi(z-\overline{w}) d\mu(w),~~\forall f\in \A^2(\Pi),~z\in \Pi,
\end{equation*}
where $\varphi$ is an analytic function on $\Pi$ given by
\begin{equation*}
\varphi(z) = \int_{\mathbb{R}_+}\xi \sigma(\xi) e^{iz\xi} d\xi, \ \forall z\in \Pi
\end{equation*}
for some $\sigma\in L^\infty(\mathbb{R}_+)$. Here $d\mu(w)$ is the Lebesgue measure on $\Pi$. Later on, with the help of above integral representation, we obtain various operator theoretic properties of the vertical operators.

Also, we give integral representation of the form $S_\varphi$ for all the operators in the $C^\ast$-algebra generated by Toeplitz operators $T_{\Aa}$ with vertical symbols ${\Aa}\in L^\infty(\Pi)$.
\end{abstract}
\begin{DefTralics}
\newcommand{\A}{\mathcal{A}}
\newcommand{\Aa}{\mathbf{a}}
\end{DefTralics}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle


\section{Introduction}

This paper is devoted to the integral representation of vertical operators on the Bergman space over the upper half-plane.

Let $\Pi = \{z=x+iy \in \bbC : y>0\}$ be the upper half-plane, and let $d\mu(z) = dxdy$ be the standard Lebesgue plane measure on $\Pi$. The Bergman space $\A^2(\Pi)$ is the closed subspace of $L^2(\Pi,d\mu)$ which consists of all funtions analytic in $\Pi$. It is well known that $\A^2(\Pi)$ is a reproducing kernel Hilbert space with the reproducing kernel given by
\begin{equation*}
K_{\Pi,w}(z) = -\frac{1}{\pi(z-\overline{w})^2}, \forall z,w \in \Pi.
\end{equation*}
Let $\clB(\A^2(\Pi))$ denote the collection of all bounded linear operators on $\A^2(\Pi)$. For every $h\in \bbR$, let $H_h : \A^2(\Pi) \rightarrow \A^2(\Pi)$ be the horizontal translation operator defined by
\begin{equation*}
\left(H_hf\right)(z) = f(z-h),\quad\forall f\in \A^2(\Pi),~z\in \Pi.
\end{equation*}
The operator $H_h$ is unitary on $\A^2(\Pi)$ for all $h\in \bbR$. An operator $T\in \clB(\A^2(\Pi))$ is said to be vertical (or horizontal translation invariant) if
\[
TH_h = H_h T,\quad\forall h\in \bbR.
\]

As $\A^2(\Pi)$ is a reproducing kernel Hilbert space, every operator $ T \in \clB(\A^2(\Pi))$ can be uniquely written as an integral operator of the form
\begin{comment}
If $T\in \B(\A^2(\Pi))$, then for all $f\in \A^2(\Pi)$ and $z\in \Pi$,
\begin{equation*}
\begin{split}
(Tf)(z) &= \langle Tf, K_{\Pi,z} \rangle_{\A^2} \\
&= \langle f, T^\ast K_{\Pi,z} \rangle_{\A^2} \\
&= \int_{\Pi} f(w) A_T(z,\overline{w}) dw,
\end{split}
\end{equation*}
\end{comment}
\begin{equation}\label{Tf}
(Tf)(z) = \int_{\Pi} f(w) A_T(z,\overline{w}) d\mu (w),\quad z\in \Pi,
\end{equation}
where $ A_T(z,\overline{w}) := \overline{(T^\ast K_{\Pi,z})(w)} = \overline{\langle T^\ast K_{\Pi,z}, K_{\Pi,w} \rangle}_{\A^2} = \overline{\langle K_{\Pi,z}, TK_{\Pi,w}\rangle}_{\A^2} =: \overline{A_{T^\ast}(w,\overline{z})}$. It can be easily seen that $A_T(\cdot,\overline{(\cdot)})$ is defined on $\Pi\times \Pi$ and $A_T(\cdot,\overline{w}),$ $\overline{A_T (z,\overline{(\cdot)})}\in \A^2(\Pi)$. It is now natural to ask the following question:

\begin{enonce*}{Question}\label{question}
Characterize all the functions $A(\cdot,\overline{(\cdot)})$ on $\Pi\times\Pi$ with $A(\cdot,\overline{w}), \ \overline{A(z,\overline{(\cdot)})} \in \A^2(\Pi)$ for all $z,w \in \Pi$ such that the integral operator
\begin{align*}
\left(T_Af\right)(z) = \int_{\Pi}f(w)A(z,\overline{w})d\mu(w),\quad z\in \Pi,
\end{align*}
is bounded on $\A^2(\Pi)$.
\end{enonce*}

In the present article, we consider the following class of integral operators:

For a function $\varphi$ on the upper half-plane such that $ \varphi((\cdot)-\overline{w}),~\overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$, we formally define an integral operator $ S_\varphi : \A^2(\Pi) \rightarrow \A^2(\Pi)$ by
\begin{equation}\label{S_phi}
\left(S_\varphi f\right)(z) = \frac{1}{\pi}\int_{\Pi} f(w) \varphi(z-\overline{w}) d\mu(w),\quad z\in \Pi,~f\in \A^2(\Pi).
\end{equation}
By Cauchy--Schwarz inequality, we have $ \vert (S_\varphi f) (z) \vert \leq \|f\|_{\A^2}~\|\overline{\varphi(z-\overline{(\cdot)})}\|_{\A^2}$ for all $f\in \A^2(\Pi)$ and $z\in \bbC$. Also, $(S_\varphi K_{\Pi,p})(\cdot) = \varphi((\cdot)-\overline{p}) \in \A^2(\Pi)$ for all $p\in \Pi$. As $\spanl\{K_{\Pi,p}: p\in \Pi\}$ is dense in $\A^2(\Pi)$, $S_\varphi$ is densely defined on $\A^2(\Pi)$. In Section~\ref{Sec:2}, we recall some preliminaries which will be useful throughout the article. In Section~\ref{Sec:3}, we characterize the symbol $\varphi$ so that the operator given by~\eqref{S_phi} is bounded on $\A^2(\Pi)$. Indeed, we prove the following result on $\A^2(\Pi)$.


\begin{theo}[Main Theorem]\label{Thm_Sphi_Boundedness}
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}),~\overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$. Then the integral operator $S_\varphi$ defined by~\eqref{S_phi} is bounded on $\A^2(\Pi)$ if and only if there exists $\sigma \in L^\infty(\bbR_+)$ such that
\begin{equation}\label{phi_sigma}
\varphi(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{iz\xi} d\xi,~~z\in \Pi.
\end{equation}
Moreover, we have that
\[
\left\|S_\varphi\right\|_{\A^2\rightarrow \A^2} = \|\sigma\|_{L^\infty(\bbR_+)}.
\]
\end{theo}
Thus, we answer the \emph{Question} for the kernels of the form $\pi^{-1} \varphi(z-\overline{w})$, where $\varphi$ is a function on $\Pi$ with $\varphi((\cdot)-\overline{w}),~\overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$. As a consequence of Theorem~\ref{Thm_Sphi_Boundedness}, we get that every vertical operator can be uniquely represented as an integral operator of the form~\eqref{S_phi} and vice-versa. Thus, the collection
\[
 \left\{S_{\varphi} \in \clB\left(\A^2(\Pi)\right) : \exists \sigma\in L^\infty(\bbR_+)\quad\text{and}\quad\varphi(z)
= \int_{\bbR_+} \xi \sigma(\xi) e^{iz\xi} d\xi,\quad\forall z\in \Pi\right\}
\]
gives all vertical operators in $\clB(\A^2(\Pi))$. Also, we obtain various operator theoretic properties for the vertical operators such as compactness, normality, $C^\ast$-algebra properties, etc..

In mathematics, Toeplitz operators are one of the widely studied operators on holomorphic function spaces (Hardy space, Bergman space, Fock space, etc.). For a better understanding, these operators are studied by restricting the defining symbols to a particular class (For example, see~\cite{EV,GV,Quant_Disk,ANG_UHP_W,VER_UHP_W,RAD_DISK,VER_UHP,Vasi_Book}). In~\cite{VER_UHP}, $C^\ast$-algebra generated by Toeplitz operators on $\A^2(\Pi)$ with vertical symbols from $L^\infty(\Pi)$ is described. As every Toeplitz operator $T_{\Aa}$ with vertical symbol $\Aa\in L^\infty(\Pi)$ is a vertical operator on $\A^2(\Pi)$, in Section~\ref{Sec:4}, we represent $T_{\Aa}$ uniquely in the form~\eqref{S_phi} and explicitly give the operators in the $C^\ast$-algebra generated by Toeplitz operators with vertical symbols.

\section{Notations and definitions}\label{Sec:2}

Let $\clH$ be a Hilbert space and $\clB(\clH)$ be the collection of all bounded operators on $\clH$. Let $T\in \clB(\clH)$, then the spectrum of $T$ is defined by $\sigma(T) = \{\lambda\in \bbC: (T-\lambda I)^{-1} \notin \clB(\clH)\}$ and the point spectrum of $T$ is given by $\sigma_p(T) = \{\lambda\in \sigma(T) : (T-\lambda I)~\text{is not injective}\}$. A number $\lambda \in \sigma(T)$ is an approximate eigenvalue of $T$ if there exists a sequence $(x_n)$ of unit vectors such that $\displaystyle(T-\lambda I)x_n \rightarrow 0$ as $n\rightarrow \infty$. The approximate point spectrum of $T$, denoted by $\sigma_a(T)$, consists of all approximate eigenvalues of $T$. Clearly, $\sigma_p(T) \subseteq \sigma_a(T)$. Let $\ran(T) = \{Tx: x\in \clH\}$ and $\ker(T) = \{x\in X : Tx=0\}$. An operator $T\in \clB(\clH)$ is said to be Fredholm if
\begin{enumerate}
\item $\ran(T)$ is closed;
\item $\ker(T)$ and $\ker(T^\ast)$ are finite dimensional.
\end{enumerate}
The essential spectrum of $T$ is defined by $\sigma_e(T) = \{\lambda\in \bbC: (T-\lambda I)~\text{is not Fredholm} \}$. For more details, we refer to~\cite{Bhatia2009,Doug}.

Let $(X,M,\nu)$ be a $\sigma-$finite measure space and $L^2(X,\nu):= L^2(X)$ be the Hilbert space of all $\nu-$measurable complex valued functions on $X$ such that
\begin{equation*}
\left\|f\right\|_{L^2(X)}^2 = \int_{X} \left|f\right|^2d\nu <\infty.
\end{equation*}
The inner product on $L^2(X)$ is given by
\[
\left\langle f,g\right\rangle_{L^2(X)} = \int_{X} f\overline{g}d\nu
\]
for all $f,g \in L^2(X)$. Let $f$ be a $\nu-$measurable complex valued function on $X$. Then the essential range of $f$, denoted by ess$(f)$, is given by
\[
\displaystyle\big\{a\in \bbC : \forall \epsilon>0,\quad\nu\left\{x\in X : \left\vert f(x)-a \right\vert <\epsilon\right\}>0\big\}.
\]
Let $L^\infty(X,\nu) :=L^\infty(X)$ be the collection of all essentially bounded $\nu-$measurable functions on $X$. It is a Banach space with the norm given by
\[
\left\|f\right\|_{L^\infty(X)} = \sup\big\{|a| : a\in \ess\left(f\right)\big\}.
\]
It is known that, the space $L^\infty(X)$ is a commutative $C^\ast$-algebra.

Let $(X,M,\nu)$ be a $\sigma$-finite measure space and $m$ be a $\nu$-measurable function on $X$. Let $ \clD_m \subseteq L^2(X)$ be the set of all $f\in L^2(X)$ such that $m\cdot f \in L^2(X)$. The operator $ M_m: \clD_m \rightarrow L^2(X)$ defined by $ M_m f = m\cdot f$ for all $f\in \clD_m$ is called a multiplication operator. It is well known that $M_m$ is bounded on $L^2(X)$ if and only if $m\in L^\infty(X)$. If $\clM(L^2(X)) = \big\{M_m : m\in L^\infty(X)\big\}$, then the map $\Lambda : L^\infty(X) \rightarrow \clM(L^2(X))$ defined by $\Lambda(m)= M_m$ is a $\star-$isometric isomorphism.

\begin{theo}[{\cite{Bhatia2009,Con}}]
\label{Thm_Multi_Op_Prop}
For all $m, m_1, m_2 \in L^\infty(X,M,\nu)$, we have
\begin{enumerate}
\item\label{theo2.1} $M_m^\ast = M_{\overline{m}};$
\item\label{theo2.2} $M_{m_1}M_{m_2} = M_{m_1 m_2} = M_{m_2 m_1} = M_{m_2}M_{m_1};$
\item\label{theo2.3} The collection $\clM(L^2(X))$ is a maximal commutative $C^\ast-$subalgebra of $\clB(L^2(X))$, where $\clB(L^2(X))$ denote the set of all bounded linear operators on $L^2(X);$
\item\label{theo2.4} $\sigma(M_m) = \sigma_a(M_m)= \sigma_e(M_m) = \ess(m);$
\item\label{theo2.5} $\lambda \in \sigma_p(M_m)$ if and only if the Lebesgue measure of $\nu(\{x : m(x)=\lambda\})$ is positive.
\end{enumerate}
\end{theo}

\begin{theo}[{\cite[Corollary~1.1]{Singh1979}}] \label{Thm_Mm_Compact}
Let $\nu$ be a non-atomic $\sigma$-finite measure on $X$, and let $m\in L^\infty(X, M,\nu)$. Then $M_m$ is compact if and only if $m=0$ almost everywhere on $X$.
\end{theo}

Let $X= \bbR\ (\text{or}\ \bbR_+)$ and we denote the Lebesgue measure on $\bbR\ (\text{or}\ \bbR_+)$ by $dx$. Then the Hilbert spaces $L^2(\bbR)\ \text{and}\ L^2(\bbR_+)$ can be defined as above. For $f\in L^2(\bbR)\cap L^1(\bbR)$, its Fourier transform is given by
\[
\left(\clF f\right)(x) = \frac{1}{\sqrt{2\pi}} \int_{\bbR} e^{-ixy}f\left(y\right)dy,\quad\forall f\in L^2(\bbR),~x\in \bbR.
\]
The transform $\clF  : L^2(\bbR) \rightarrow L^2(\bbR)$ is unitary. We refer to~\cite{FO1992} for more information about the Fourier transform and it's various applications.

The following theorems are well known.

\begin{theo}
[{\cite[Lemma~2.1]{VER_UHP}}]\label{Thm_TMb=MbT}
Let $T$ be a bounded operator on $L^2(\bbR)$ such that $TM_{e^{ix(\cdot)}} = M_{e^{ix(\cdot)}}T$ for all $x\in \bbR$, where $ (M_{e^{ix(\cdot)}}f)(y) = e^{ixy}f(y)$ for all $y\in \bbR$. Then there exists $\sigma \in L^\infty(\bbR)$ such that $T=M_\sigma$.
\end{theo}

\begin{theo}[{\cite[Lemma~2.2]{VER_UHP}}]\label{Thm_TMb+=MbT+}
Let $T$ be a bounded operator on $L^2(\bbR_+)$ such that $TM_{e^{ix(\cdot)}}^+ = M_{e^{ix(\cdot)}}^+T$ for all $x\in \bbR$, where $M_{e^{ix(\cdot)}}^+ $ is the restriction of $M_{e^{ix(\cdot)}} $ to $L^2(\bbR_+)$. Then there exists $\sigma \in L^\infty(\bbR_+)$ such that $T=M_\sigma$.
\end{theo}

In~\cite{Vasi1999}, an integral operator $R: L^2(\bbR_+) \rightarrow \A^2(\Pi)$ defined by
\begin{equation*}
\left(Rf\right)(z) = \frac{1}{\sqrt{\pi}} \int_{\bbR_+} \sqrt{\xi}f(\xi)e^{iz\xi} d\xi,~~\forall f\in L^2(\bbR_+),~z\in \Pi
\end{equation*}
is introduced and with the help of this transform, it was proved in~\cite{VER_UHP} that the $C^\ast$-algebra generated by Toeplitz operators on $\A^2(\Pi)$ with vertical symbols is isomorphic to a $C^\ast-$subalgebra of $L^\infty(\bbR_+)$. Note that if $f\in L^2(\bbR_+)$, then for any $z=x+iy\in \Pi$, we have $\sqrt{\xi} f(\xi) e^{-y\xi} \in L^1(\bbR_+)$. Hence
\begin{equation*}
\big\vert\left(Rf\right)(z)\big\vert \leq \int_{\bbR_+} \left\vert \left(\sqrt{\xi} f(\xi) e^{-y\xi}\right) e^{ix\xi} \right\vert d\xi < \infty.
\end{equation*}
The operator $R$ is shown to be an isometric isomorphism from $L^2(\bbR_+)$ onto the space $\A^2(\Pi)$ and its inverse is given by
\begin{equation*}
\left(R^\ast F\right)(x) = \left(R^{-1}F\right) (x) = \frac{\sqrt{x}}{\sqrt{\pi}} \int_{\Pi} F(w)e^{-i\overline{w}x}d\mu(w),~~\forall F\in \A^2(\Pi),~x\in \bbR_+.
\end{equation*}
Let $w=u+iv\in \Pi$, then for any $F\in \A^2(\Pi) \cap L^1(\Pi)$ we have
\begin{equation*}
\begin{split}
\left\vert \left(R^\ast F\right)(x) \right\vert &\leq \frac{\sqrt{x}}{\sqrt{\pi}} \int_{\Pi} \vert F(w) \vert \left\vert e^{-i(u-iv)x}\right\vert d\mu(w)
\leq \frac{\sqrt{x}}{\sqrt{\pi}} \int_{\Pi} \vert F(w) \vert e^{-vx}d\mu(w) \\
&\leq \frac{\sqrt{x}}{\sqrt{\pi}} \int_{\Pi} \vert F(w) \vert d\mu(w) < \infty.
\end{split}
\end{equation*}
Thus the integral in the definition of $R^\ast$ converges in the Lebesgue sense whenever $F\in \A^2(\Pi) \cap L^1(\Pi)$. The following result for the operator $R$ is proved in~\cite{VER_UHP}.

\begin{lemm}\label{Lem_RMs+=HsR}
For every $s\in \bbR$, we have $RM_{e^{is(\cdot)}}^+R^\ast = H_s$.
\end{lemm}

We observe that the operator $R$ has properties analogous to that of the Bargmann transform. We refer to~\cite{Bais,Barg,Fo,Z,Z1} for more information about the Bargmann transform and its various applications.

\section{Integral representation of vertical operators and their operator theoretic properties}\label{Sec:3}

In this section, we prove Theorem~\ref{Thm_Sphi_Boundedness}. As a consequence, we obtain various operator theoretic properties of the vertical operators. We start with some auxiliary results which will be useful in proving Theorem~\ref{Thm_Sphi_Boundedness}.

\begin{lemm}\label{Lem_phi_w_analytic}
Let $\sigma \in L^\infty(\bbR_+)$. Then the function
\begin{equation*}
\phi_w(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{i(z-\overline{w})\xi}d\xi,\ z\in \Pi,
\end{equation*}
is analytic on $\Pi$ for each $w\in \Pi$.
\end{lemm}
\begin{proof}
Let $w=u+iv\in \Pi$ be fixed. For $z=x+iy\in \Pi$, we have
\begin{equation*}
\begin{split}
\big\vert \varphi_w(z) \big\vert &= \Big\vert \int_{\bbR_+}\xi \sigma(\xi) e^{i(z-\overline{w})\xi}d\xi \Big\vert
\leq \|\sigma\|_{L^\infty(\bbR_+)}\int_{\bbR_+} \Big\vert \xi e^{i(x-u)\xi-(y+v)\xi}\Big\vert d\xi \\
&\leq \|\sigma\|_{L^\infty(\bbR_+)}\int_{\bbR_+} \xi e^{-(y+v)\xi} d\xi
\leq \|\sigma\|_{L^\infty(\bbR_+)}\int_{\bbR_+} \xi e^{-v\xi} d\xi <\infty.
\end{split}
\end{equation*}
Now, we show that $\varphi_w$ is continuous function on $\Pi$. We prove this with the help of dominated convergence theorem. Let $z=x+iy\in \Pi$ and $ (z_n = x_n+iy_n)_{n\,\in\,\bbN}$ be a sequence in $\Pi$ such that $z_n\rightarrow z$. For each $n\in \bbN$, define $f_n(\xi) = \xi e^{i(z_n-\overline{w})\xi} \sigma(\xi)$ and $f(\xi) = \xi e^{i(z-\overline{w})\xi} \sigma(\xi)$ for all $\xi \in \bbR_+$. Clearly, $(f_n-f)(\xi) \rightarrow 0$ pointwise a.e. on $\bbR_+$. Also
\begin{equation*}
\begin{split}
\Big\vert \left(f_n-f\right)(\xi)\Big\vert &= \Big\vert \xi \sigma(\xi) \ \big(e^{iz_n\xi} - e^{iz\xi}\big) e^{-i\overline{w}\xi} \Big\vert
\leq \|\sigma\|_{L^\infty(\bbR_+)} \xi e^{-v\xi} \big\vert e^{iz_n\xi} - e^{iz\xi}\big\vert \\
& \leq \|\sigma\|_{L^\infty(\bbR_+)} \xi e^{-v\xi} \big(e^{-y_n\xi}+e^{-y\xi}\big)
\leq 2 \|\sigma\|_{L^\infty(\bbR_+)} \xi e^{-v\xi}.
\end{split}
\end{equation*}
Let $g(\xi) = \xi e^{-v\xi}$ for all $\xi \in \bbR_+$. Clearly, $g$ is integrable function on $\bbR_+$. Therefore, by dominated convergence theorem, we have
\begin{equation*}
\int_{\bbR_+} \left(f_n-f\right)(\xi) d\xi \rightarrow 0.
\end{equation*}
That is $\varphi_w(z_n) \rightarrow \varphi_w(z)$. Since $(z_n)$ is any arbitrary sequence converging to $z$, it implies that $\varphi_w$ is continuous at $z$. As $z\in \Pi$ is arbitrary, we get that $\varphi_w$ is continuous on $\Pi$.

Let $\gamma$ be a simple closed contour in $\Pi$. Then
\begin{multline*}
\int_{\gamma} \int_{\bbR_+} \Big\vert \xi \sigma(\xi) e^{i(z-\overline{w})\xi}\Big\vert d\xi~\big\vert d\mu(z)\big\vert
\leq \|\sigma\|_{L^\infty(\bbR_+)} \int_{\gamma} \int_{\bbR_+} \xi \Big\vert e^{iz\xi} e^{-i\overline{w}\xi}\Big\vert d\xi~\big\vert d\mu (z)\big\vert \\
= \|\sigma\|_{L^\infty(\bbR_+)} \int_{\gamma} \int_{\bbR_+} \xi e^{-(y+v)\xi} d\xi~\big\vert d\mu (z)\big\vert
\leq \|\sigma\|_{L^\infty(\bbR_+)} \int_{\bbR_+} \xi e^{-v\xi} d\xi \int_{\gamma}~\big\vert d\mu (z)\big\vert <\infty.
\end{multline*}
Therefore, by Fubini's theorem, we have
\begin{equation*}
\begin{split}
\int_{\gamma} \varphi_w(z)d\mu (z) &= \int_{\gamma} \int_{\bbR_+} \xi \sigma(\xi) e^{i(z-\overline{w})\xi} d\mu(z) d\xi = \int_{\bbR_+} \int_{\gamma} \xi \sigma(\xi) e^{i(z-\overline{w})\xi} d\xi d\mu(z) \\
&= \int_{\bbR_+} \xi \sigma(\xi) \int_{\gamma} e^{i(z-\overline{w})\xi} d\mu(z) d\xi = \int_{\bbR_+} \xi \sigma(\xi) e^{-\overline{w}\xi} (0) d\xi =0.
\end{split}
\end{equation*}
As $\gamma$ is any arbitrary simple closed contour in $\Pi$, by Morera's theorem, we get that $\varphi_w$ is analytic on $\Pi$. This proves the lemma.
\end{proof}

\begin{lemm}\label{Lem_phi_w_belongs_A2}
Let $\sigma \in L^\infty(\bbR_+)$. Then the function
\begin{equation*}
\phi_w(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{i(z-\overline{w})\xi}d\xi,\ z\in \Pi,
\end{equation*}
belongs to the Bergman space $\A^2(\Pi)$ for each $w\in \Pi$.
\end{lemm}
\begin{proof}
Let $w(=u+iv)\in \Pi$ be fixed. By Lemma~\ref{Lem_phi_w_analytic}, $\varphi_w$ is analytic on $\Pi$. Therefore, it is enough to show that $\|\varphi_w\|_{\A^2}< \infty$. Note that
\begin{equation*}
\begin{split}
\|\varphi_w\|_{\A^2}^2 &= \int_{\Pi} \left\vert\varphi_w(z)\right\vert^2d\mu(z) = \int_{\Pi} \left\vert\int_{\bbR_+}\xi\sigma(\xi)e^{i(z-\overline{w})\xi}d\xi\right\vert^2 d\mu(z) \\
&= \int_{\Pi} \left\vert\int_{\bbR_+}\xi\sigma(\xi) e^{-(y+v)\xi} e^{i(x-u)\xi} d\xi\right\vert^2 dxdy.
\end{split}
\end{equation*}
Define
\[
\sigma_1(x)=
\begin{cases}
\sigma(x),& \text{if } x\geq 0\\
0, & \text{otherwise}.
\end{cases}
\]
For $y, v \in \bbR_+$, we denote $ f_{y,v}(\xi) = \xi \sigma_1(\xi)e^{-(y+v)\xi}$ for all $\xi \in \bbR$. Then we get
\begin{equation*}
\begin{split}
\left\|\varphi_w\right\|_{\A^2} ^2 &= \int_{\Pi} \left\vert\int_{\bbR} f_{y,v}(\xi) e^{i(x-u)\xi} d\xi\right\vert^2 dxdy \\
&= \int_{\Pi} \left\vert\left(\clF ^{-1}f_{y,v}\right)(x-u) \right\vert^2 dxdy \\
&= \int_{\bbR_+}\left(\int_{\bbR}\left\vert \left(\clF ^{-1}f_{y,v}\right)(x-u) \right\vert^2dx\right)dy.
\end{split}
\end{equation*}
We know that $L^2(\bbR)$ is translation invariant. Therefore,
\begin{equation*}
\begin{split}
\left\|\varphi_w\right\|_{\A^2}^2 &= \int_{\bbR_+}\left(\int_{\bbR}\left\vert \left(\clF ^{-1}f_{y,v}\right)(x) \right\vert^2 dx\right)dy \\
&= \int_{\bbR_+}\left(\int_{\bbR}\left\vert \left(f_{y,v}(\xi)\right) \right\vert^2d\xi\right)dy = \int_{\bbR_+}\left(\int_{\bbR_+}e^{-2y\xi} dy\right) \xi^2 \left\vert\sigma(\xi)\right\vert^2e^{-2v\xi}d\xi \\
&= \int_{\bbR_+}\left(\frac{0-1}{-2\xi}\right) \xi^2 \vert\sigma(\xi)\vert^2e^{-2v\xi}d\xi = \frac{1}{2} \int_{\bbR_+} \xi \left\vert\sigma(\xi)\right\vert^2 e^{-2v\xi}d\xi \\
&\leq \frac{1}{2} \|\sigma\|_{L^\infty(\bbR_+)}^2 \int_{\bbR_+} \xi e^{-2v\xi}d\xi < \infty \hspace*{5mm}(\because v>0).
\end{split}
\end{equation*}
This proves the lemma.
\end{proof}

\begin{lemm}\label{Lem_phi_analytic}
Let $\varphi$ be a function defined on $\Pi$ such that $\varphi((\cdot)-\overline{w})$ is analytic for each $w\in \Pi$. Then $\varphi$ is analytic on $\Pi$.
\end{lemm}
\begin{proof}
We show that $\varphi$ is differentiable at each $ z_0=x_0+iy_0\in \Pi$. Let $\epsilon>0$ such that $ U(z_0,\epsilon) = \{z\in \Pi : \vert z-z_0\vert < \epsilon\}\subseteq \Pi$. Choose $w_0=u_0+iv_0$ such that $U(z_0,\epsilon)+\overline{w}_0\subseteq \Pi$. Then for all $z\in U(z_0,\epsilon/4)$, we have
\begin{equation*}
\lim\limits_{z\,\rightarrow\,z_0} \frac{\varphi(z)-\varphi(z_0)}{z-z_0} = \lim\limits_{z\,\rightarrow\,z_0} \frac{\varphi(z+\overline{w}_0-\overline{w}_0)- \varphi(z_0+\overline{w}_0-\overline{w}_0)}{z-z_0}
\end{equation*}
Let $\varphi_{w_0}(z) := \varphi(z-\overline{w_0})$ for all $z\in \Pi$, then
\begin{equation*}
\lim\limits_{z\,\rightarrow\,z_0} \frac{\varphi(z)-\varphi(z_0)}{z-z_0} = \lim\limits_{z+\overline{w}_0\rightarrow z_0+\overline{w}_0} \frac{\varphi_{w_0}(z+\overline{w}_0) - \varphi_{w_0}(z_0+\overline{w}_0)}{(z+\overline{w}_0)- (z_0+\overline{w}_0)}.
\end{equation*}
As $\varphi_{w_0}$ is analytic at $z_0+\overline{w_0}$, it implies that $\varphi$ is differentiable at $z_0$. Since $z_0\in \Pi$ is arbitrary, the function $\varphi$ is analytic on $\Pi$.
\end{proof}

\begin{prop}\label{Prop}
Let $\sigma \in L^\infty(\bbR_+)$. Then the function
\[
\varphi(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{iz\xi} d\xi,\quad z\in \Pi
\]
is analytic on $\Pi$ and $\varphi((\cdot)-\overline{w}), \ \overline{ \varphi(z-\overline{(\cdot)})} \in \A^2(\Pi)$ for each $z,w\in \Pi$.
\end{prop}
\begin{proof}
By lemmas~\ref{Lem_phi_w_analytic}, \ref{Lem_phi_w_belongs_A2} and~\ref{Lem_phi_analytic}, it follows that the function $\varphi$ defined by
\[
 \varphi(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{iz\xi} d\xi,\quad z\in \Pi
\]
is analytic on $\Pi$ and $\varphi((\cdot)-\overline{w}) \in \A^2(\Pi)$ for all $w\in \Pi$. We notice that
\begin{equation*}
\overline{ \varphi(z-\overline{w})} = \int_{\bbR_+}\xi \overline{\sigma(\xi)} e^{i(w-\overline{z})\xi} d\xi,\quad z,w \in \Pi.
\end{equation*}
As $\overline{\sigma}\in L^\infty(\bbR_+)$, it follows that $\overline{\varphi(z-\overline{(\cdot)})} \in \A^2(\Pi)$.
\end{proof}

Now, we show that every bounded operator $S_\varphi$ is of the form $RM_\sigma R^\ast$ for some $\sigma \in L^\infty(\bbR_+)$.

\begin{lemm}\label{Lem_SphiHh=HhSphi}
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}), \overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi}. If $ S_\varphi\in \clB(\A^2(\Pi))$, then there exists $\sigma \in L^\infty(\bbR_+)$ such that $S_\varphi = RM_\sigma R^\ast$.
\end{lemm}

\begin{proof}
We first show that every bounded $S_\varphi$ is vertical. If $h\in \bbR$, then for every $f\in \A^2(\Pi)$ and $z\in \Pi$, we have
\begin{align*}
\left(S_\varphi H_h f\right)(z) &= \frac{1}{\pi}\int_{\Pi} \left(H_hf\right)(w) \varphi(z-\overline{w}) d\mu(w) = \frac{1}{\pi}\int_{\Pi} f(w-h) \varphi(z-\overline{w}) d\mu(w)
\end{align*}
Using the change of variable $w \mapsto w+h$ gives
\begin{align*}
\left(S_\varphi H_h f\right)(z) &= \frac{1}{\pi}\int_{\Pi} f(w) \varphi((z-h)-\overline{w}) d\mu(w) = \left(H_hS_\varphi f\right)(z).
\end{align*}
Since $h\in\bbR$ is arbitrary, it follows that $S_\varphi H_h = H_h S_\varphi$ for all $h\in \bbR$. Combining Theorem~\ref{Thm_TMb+=MbT+} and Lemma~\ref{Lem_RMs+=HsR}, it follows that $S_\varphi = RM_\sigma R^\ast$ for some $\sigma \in L^\infty(\bbR_+)$.
\end{proof}

\begin{lemm}\label{Lem_RM_sigmaR*}
Let $\sigma \in L^\infty(\bbR_+)$. Then $RM_\sigma R^\ast = S_\psi$, where $\psi$ and $\sigma$ are related by
\begin{equation*}
\psi(z) = \int_{\bbR_+}\xi \sigma(\xi) e^{iz\xi} d\xi,\quad z\in \Pi.
\end{equation*}
\end{lemm}
\begin{proof}
For any $f\in \A^2(\Pi) \cap L^1(\Pi)$ and $z(=x+iy) \in \Pi$, we have
\begin{equation*}
\begin{split}
\left(RM_\sigma R^\ast f\right)(z) &= \frac{1}{\sqrt{\pi}} \int_{\bbR_+}\sqrt{\xi} \left(M_\sigma R^\ast f\right)(\xi) e^{iz\xi} d\xi = \frac{1}{\sqrt{\pi}} \int_{\bbR_+}\sqrt{\xi} \sigma(\xi) \left(R^\ast f\right)(\xi) e^{iz\xi} d\xi \\
&= \frac{1}{\pi} \int_{\bbR_+}\left(\sqrt{\xi}\right)^2 \sigma(\xi) \int_{\Pi} f(w) e^{-i\overline{w}\xi} d\mu(w) e^{iz\xi} d\xi \\
&= \frac{1}{\pi} \int_{\bbR_+} \int_{\Pi} \xi \sigma(\xi) f(w) e^{i\left(z-\overline{w}\right)\xi} d\mu(w) d\xi.
\end{split}
\end{equation*}
If $f\in \A^2(\Pi)\cap L^1(\Pi)$ and $z(=x+iy)\in \Pi$, then
\begin{multline*}
\frac{1}{\pi} \int_{\bbR_+} \int_{\Pi} \left\vert \xi \sigma(\xi) f(w) e^{i(z-\overline{w})\xi}\right\vert d\mu(w) d\xi
\leq \|\sigma\|_{L^\infty(\bbR_+)} \frac{1}{\pi} \int_{\bbR_+} \int_{\Pi}\xi \left\vert f(w)e^{i((x+iy)-(u-iv))\xi} \right\vert d\mu(w) d\xi \\
\begin{aligned}
&\leq \|\sigma\|_{L^\infty(\bbR_+)} \frac{1}{\pi} \int_{\bbR_+} \int_{\Pi}\xi \big\vert f(w)\big\vert e^{-y\xi}e^{-v\xi} d\mu(w) d\xi \\
&\leq \|\sigma\|_{L^\infty(\bbR_+)} \frac{1}{\pi} \int_{\bbR_+} \int_{\Pi}\xi \big\vert f(w)\big\vert e^{-y\xi} d\mu(w) d\xi \\
&\leq \|\sigma\|_{L^\infty(\bbR_+)} \frac{1}{\pi} \int_{\bbR_+} \left(\xi e^{-y\xi}\right)d\xi \int_{\Pi}\big\vert f(w)\big\vert d\mu(w) < \infty.
\end{aligned}
\end{multline*}
Therefore, by Fubini's theorem, we get
\begin{equation*}
\begin{split}
\left(RM_\sigma R^\ast f\right)(z) = \frac{1}{\sqrt{\pi}} \int_{\Pi} f(w) \left(\frac{1}{\sqrt{\pi}}\int_{\bbR_+} \xi \sigma(\xi)e^{i(z-\overline{w})\xi} d\xi \right) d\mu(w).
\end{split}
\end{equation*}
Define
\[
 \psi(z) = \int_{\bbR_+} \xi \sigma(\xi)e^{iz\xi} d\xi,\quad\forall z\in \Pi.
\]
By Proposition~\ref{Prop}, it follows that $\psi$ is a well-defined analytic function on $\Pi$ such that $ \psi((\cdot)-\overline{w}), \overline{ \psi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$. From above, we get $ RM_\sigma R^\ast = S_\psi$ on $ \A^2(\Pi) \cap L^1(\Pi)$.

Now we show that $ RM_\sigma R^\ast = S_\psi$ on $ \A^2(\Pi)$. Let $ g\in \A^2(\Pi)$ and $ \{g_n\}_{n\,\in\,\bbN}$ be a sequence in $\A^2(\Pi) \cap L^1(\Pi) $ such that $g_n \rightarrow g$ in $\A^2(\Pi)$. For each $z\in \Pi$, let
\[
h_z(w):= \overline{\psi(z-\overline{(w)})},\quad w\in \Pi.
\]
Then for each $z\in \Pi$, $h_z \in \A^2(\Pi)$ and $ (S_\psi g_n)(z) = \langle g_n, h_z\rangle_{\A^2} \rightarrow \langle g, h_z\rangle_{\A^2}= (S_\psi g)(z)$. But $ S_\psi g_n = RM_\sigma R^\ast g_n$ for all $n\in \bbN$. This implies that $ (RM_\sigma R^\ast g_n)(z) \rightarrow (S_\psi g)(z)$ for all $z\in \Pi$. $ RM_\sigma R^\ast$ is bounded on $\A^2(\Pi)$, we get $ RM_\sigma R^\ast g_n \rightarrow RM_\sigma R^\ast g$ in $\A^2(\Pi)$. Since $ \A^2(\Pi)$ is the reproducing kernel Hilbert space, $ (RM_\sigma R^\ast g_n)(z) \rightarrow (RM_\sigma R^\ast g)(z)$ for all $z\in \Pi$. Hence $ (RM_\sigma R^\ast g)(z) = (S_\psi g)(z)$ for all $z\in \Pi$ and $g\in \A^2(\Pi)$. That is, $ RM_\sigma R^\ast g= S_\psi g$ for all $ g\in \A^2(\Pi)$. Thus, we get $ RM_\sigma R^\ast = S_\psi $ on $\A^2(\Pi)$.
\end{proof}

In the following lemma, we show that the representation of an operator in the form~\eqref{S_phi} is unique.

\begin{lemm}\label{Lem_Sphi1=Sphi2}
Let $\varphi_1, \varphi_2 $ be functions on $\Pi$ such that $\varphi_1((\cdot)-\overline{w}),~\overline{ \varphi_1(z-\overline{(\cdot)})},~\varphi_2((\cdot)-\overline{w}),~\overline{ \varphi_2(z-\overline{(\cdot)})} \in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_{\varphi_1}, S_{\varphi_2} \in \clB(\A^2(\Pi))$. Then
\[
S_{\varphi_1} = S_{\varphi_2}\quad\text{ if and only if }\;\varphi_1=\varphi_2.
\]
\end{lemm}
\begin{proof}
Suppose $S_{\varphi_1}= S_{\varphi_2}$. Let $z_0 \in \Pi$ be fixed. Then for all $f\in \A^2(\Pi)$ we get,
\begin{equation}\label{Sphi1-Sphi2=0}
\left(\left(S_{\varphi_1}-S_{\varphi_2}\right)f\right)(z_0) = 0 \implies \int_{\Pi} f(w)\left(\varphi_1-\varphi_2\right)\left(z_0-\overline{w}\right) d\mu(w) =0.
\end{equation}
Define $\Psi_{z_0}(w) = \overline{(\varphi_1-\varphi_2)} (z_0-\overline{w})$. As $\overline{\varphi_1 (z-\overline{(\cdot)})},~\overline{ \varphi_2 (z-\overline{(\cdot)})} \in \A^2(\Pi)$ for each $z\in \Pi$, we get $\Psi_{z_0} \in \A^2(\Pi)$. Thus
\begin{equation}
\left(\left(S_{\varphi_1}-S_{\varphi_2}\right)f\right)(z_0) = 0 \implies \left\langle f,\Psi_{z_0}\right\rangle_{\A^2} = 0
\end{equation}
for all $f\in \A^2(\Pi)$. This implies that $\Psi_{z_0}=0$. That is, $(\varphi_1-\varphi_2)(z_0-\overline{w})= 0$ for all $w\in \Pi$. Since $z_0\in \Pi$ is arbitrary, we get $\varphi_1 (z-\overline{w})= \varphi_2(z-\overline{w})$ for all $z,w \in \Pi$. Hence, we get $\varphi_1= \varphi_2$.

Conversely, if $\varphi_1=\varphi_2$, then it is easy to see that $S_{\varphi_1} = S_{\varphi_2}$.
\end{proof}

Now, we are set to give the proof of Theorem~\ref{Thm_Sphi_Boundedness}.


\begin{proof}[{Proof of Theorem~\ref{Thm_Sphi_Boundedness}}] Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}), \overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi} be bounded on $\A^2(\Pi)$. By Lemma~\ref{Lem_SphiHh=HhSphi}, it follows that there exists $\sigma \in L^\infty(\bbR_+)$ such that $S_\varphi = R M_\sigma R^*$. But, Lemma~\ref{Lem_RM_sigmaR*} implies $RM_\sigma R^\ast = S_\psi$, where $\psi$ and $\sigma$ satisfy~\eqref{phi_sigma}, with $\psi$ instead of $\varphi$. Thus, we have $S_\varphi = RM_\sigma R^\ast = S_\psi$. By Lemma~\ref{Lem_Sphi1=Sphi2}, it follows that $\varphi = \psi$. That is,
\begin{equation*}
\varphi(z) = \int_{\bbR_+} \xi \sigma(\xi)e^{iz\xi} d\xi,\quad\forall z\in \Pi.
\end{equation*}

Conversely, suppose~\eqref{phi_sigma} holds for some $\sigma \in L^\infty(\bbR_+)$. By Proposition~\ref{Prop}, the function $\varphi$ defined by~\eqref{phi_sigma} satisfies the required conditions. We know that $M_\sigma \in \clB(L^2(\bbR_+))$ and $R : L^2(\bbR_+) \rightarrow \A^2(\Pi)$ is a unitary operator. Therefore, $RM_\sigma R^\ast$ is bounded on $\A^2(\Pi)$. By Lemma~\ref{Lem_RM_sigmaR*}, $RM_\sigma R^\ast = S_\varphi$. Hence, $S_\varphi \in \clB(\A^2(\Pi))$.

Also, $\|S_\varphi\|_{\A^2(\Pi)\rightarrow \A^2(\Pi)} = \|M_\sigma\|_{L^2(\bbR_+)\rightarrow L^2(\bbR_+)} = \|\sigma\|_{L^\infty(\bbR_+)}$. This proves the theorem.
\end{proof}
Let $\clV$ be the collection of all vertical operators on $\A^2(\Pi)$. By combining lemmas~\ref{Lem_SphiHh=HhSphi}, \ref{Lem_RM_sigmaR*} and Theorem~\ref{Thm_Sphi_Boundedness}, we get
\[
\clV = \left\{S_{\varphi} \in \clB\left(\A^2(\Pi)\right) : \exists \sigma\in L^\infty(\bbR_+)~\text{and}~\varphi(z)
= \int_{\bbR_+} \xi \sigma(\xi) e^{iz\xi} d\xi,\quad\forall z\in \Pi\right\}.
\]


\subsection{Operator theoretic properties of \texorpdfstring{$S_\varphi$}{Sphi}}\label{Subsec:4}

In this Section, we prove various operator theoretic properties of the operator $S_\varphi$ given by~\eqref{S_phi}. We first find the adjoint of $S_\varphi$.

\begin{theo}[Adjoint of $S_\varphi$]\label{Thm_Adjoint_Sphi}
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}), \overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi} be bounded on $\A^2(\Pi)$, then $S_\varphi^\ast = S_{\widetilde{\varphi}}$, where $\widetilde{\varphi}(z) = \overline{\varphi(-\overline{z})}$ for all $z\in \Pi$.
\end{theo}

\begin{proof}
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}),~\overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi} be bounded on $\A^2(\Pi)$. Then by Theorem~\ref{Thm_Sphi_Boundedness}, there exists $\sigma \in L^\infty(\bbR_+)$ such that $S_\varphi = RM_\sigma R^\ast$, where $\varphi$ and $\sigma$ satisfy~\eqref{phi_sigma}. Using Theorem~\ref{Thm_Multi_Op_Prop}, we get $S_\varphi^\ast = RM_{\overline{\sigma}}R^\ast$. Again by Theorem~\ref{Thm_Sphi_Boundedness}, $RM_{\overline{\sigma}} R^\ast = S_{\widetilde{\varphi}}$, where
\begin{equation*}
\widetilde{\varphi}(z) = \int_{\bbR_+} \xi \overline{\sigma(\xi)}e^{iz\xi} d\xi = \overline{ \int_{\bbR_+} \xi \sigma(\xi) e^{-i\overline{z}\xi} d\xi} = \overline{\varphi(-\overline{z})},\quad\forall z\in \Pi.
\end{equation*}
This proves the theorem.
\end{proof}

By Theorem~\ref{Thm_Sphi_Boundedness}, we know that every bounded operator $S_\varphi$ is of the form $RM_\sigma R^\ast$ for some $\sigma \in L^\infty(\bbR_+)$, where $\varphi$ and $\sigma$ satisfy~\eqref{phi_sigma}. Using this, Theorem~\ref{Thm_Multi_Op_Prop} and Theorem~\ref{Thm_Mm_Compact}, it is easy to prove the following results. The proofs are left to the reader.
\begin{theo}
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}), \overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi} be bounded on $\A^2(\Pi)$, then
\begin{enumerate}
\item\label{theo15.1} $S_\varphi$ is normal, that is, $S_\varphi S_\varphi^\ast = S_\varphi^\ast S_\varphi$.
\item\label{theo15.2} $S_\varphi$ is compact if and only if $\varphi \equiv 0$
\item\label{theo15.3} The collection $ \clV = \{S_\varphi \in \clB(\A^2(\Pi))\}$ is a maximal commutative $C^\ast-$subalgebra of $ \clB(\A^2(\Pi))$.
\end{enumerate}
\end{theo}

\begin{theo}[Spectrum of $S_\varphi$]
Let $\varphi$ be a function on $\Pi$ such that $\varphi((\cdot)-\overline{w}),~\overline{ \varphi(z-\overline{(\cdot)})}\in \A^2(\Pi)$ for each $z,w\in \Pi$ and $S_\varphi$ given by~\eqref{S_phi} be bounded on $\A^2(\Pi)$, then
\begin{enumerate}
\item\label{theo16.1} $\sigma(S_\varphi) = \sigma_a(S_\varphi)= \sigma_e(S_\varphi) = \ess(m)$, where $\varphi$ and $m$ satisfy~\eqref{phi_sigma}, with $m$ instead of $\sigma$. \vspace*{1mm}
\item\label{theo16.2} $\lambda \in \sigma_p(S_\varphi)$ if and only if the Lebesgue measure of $\{x : m(x)=\lambda\}$ is positive, where $\varphi$ and $m$ satisfy~\eqref{phi_sigma}, with $m$ instead of $\sigma$.
\end{enumerate}
\end{theo}

Now, we give structure of common reducing subspaces of operators in the collection $\clV$. Before that, we recall some basic definitions and results.

\begin{defi}[{\cite[Definition~4.41]{Doug}}]
Let $\clH$ be a Hilbert space and $T\in \clB(\clH)$. A closed subspace $\clM$ of $\clH$ is an invariant subspace of $T$ if $ T(\clM)\subseteq\clM$ and $\clM$ is said to be a reducing subspace of $T$ if it is invariant under both $T$ and $T^\ast$.
\end{defi}

\begin{lemm}[{\cite[Proposition~4.42]{Doug}}]\label{Lem_TPm=PmT}
Let $\clH$ be a Hilbert space and $T\in \clB(\clH)$. Then $\clM$ is invariant subspace of $T$ if and only if $P_{\clM} T P_{\clM} = TP_{\clM}$ and it is a reducing subspace of $T$ if and only if $TP_{\clM} = P_{\clM} T$, where $P_\clM$ is an orthogonal projection associated to $\clM$.
\end{lemm}


\begin{theo}
Let $\clM$ be a subspace of the Bergman space $\A^2(\Pi)$. Then $\clM$ is a reducing subspace of all the operators in $\clV$ if and only if $ \clM=S_{\varphi_0} (\A^2(\Pi) ),$ where
\begin{equation}\label{phi0_xiE}
\varphi_0(z) = \int_{\bbR_+}\xi \chi_E(\xi)e^{iz\xi} d\xi
\end{equation}
for all $z \in \Pi$, $E$ is a measurable subset of $\bbR_+$ and $\chi_E$ is characteristic function associated to the set~$E$.
\end{theo}

\begin{proof}
Let $\clM$ be a closed subspace of $\A^2(\Pi)$. By Lemma~\ref{Lem_TPm=PmT} and Theorem~\ref{Thm_Sphi_Boundedness}, $\clM$ is reducing subspace of operators in $\clV \iff S_\varphi P_{\clM} = P_{\clM} S_\varphi$ for all $S_\varphi \in \clV \iff M_m(R^\ast P_{\clM} R) =(R^\ast P_{\clM} R) M_m $ for all $m\in L^\infty(\bbR_+)$. By Theorem~\ref{Thm_TMb+=MbT+}, we get $(R^\ast P_{\clM} R) = M_\sigma$ for some $\sigma \in L^\infty(\bbR_+)$.

As $M_\sigma(=R^\ast P_{\clM} R)$ is an orthogonal projection on $L^2(\bbR_+)$, there exists a Lebesgue measurable set $E\subseteq \bbR_+$ such that $\sigma = \chi_E$ almost everywhere on $\bbR_+$ and $M_\sigma = M_{\chi_E}$. Hence, $P_{\clM} = RM_{\chi_E}R^\ast$. By using Theorem~\ref{Thm_Sphi_Boundedness}, we get $P_{\clM} = S_{\varphi_0}$, where
\begin{equation*}
\varphi_0(z) = \int_{\bbR_+}\xi \chi_E(\xi)e^{iz\xi} d\xi,~\forall z\in \Pi.
\end{equation*}
This proves the theorem.
\end{proof}

\section{Toeplitz operators with vertical symbols}\label{Sec:4}
We know that $\A^2(\Pi)$ is a closed subspace of the Hilbert space $L^2(\Pi,d\mu)$. Let $P$ denote the orthogonal projection on $L^2(\Pi,d\mu)$ with range $\A^2(\Pi)$. The operator $P$ is an integral operator given by
\begin{align*}
(Pf)(z) = \left\langle f,K_z\right\rangle_{L^2(\Pi)} = -\frac{1}{\pi}\int_{\Pi}f(w) \frac{1}{(z-\overline{w})^2} d\mu(w),\quad f\in L^2(\Pi,d\mu).
\end{align*}
For a function $\Aa\in L^\infty(\Pi,d\mu)$, the Toeplitz operator $T_{\Aa}$ on $\A^2(\Pi)$ is defined by $T_{\Aa}f = P(\Aa f)$. We say that the function $\Aa\in L^\infty(\Pi)$ is vertical if it is invariant under horizontal translations. That is, for each $h\in \bbR$, $\Aa((\cdot)-h) = \Aa(\cdot)$ almost everywhere on $\Pi$. If $\Aa \in L^\infty(\Pi)$ is a vertical function, then the Toeplitz operator $T_{\Aa}$ is also vertical operator. In fact, we have the following known result.

\begin{theo}[{\cite{VER_UHP}}]
Let $\Aa\in L^\infty(\Pi)$. Then $T_{\Aa}$ is vertical operator if and only if $\Aa$ is a vertical function.
\end{theo}

Let $ \clV_{top}$ denote the collection of all Toeplitz operators with vertical symbols and $\clVT (L^\infty)$ denote the $C^\ast$-algebra generated by $\clV_{top}$. Note that $\clVT(L^\infty) \subset \clV$. In this section, our aim is to give explicit representation of operators in $\clVT(L^\infty)$. We first recall some definitions and results from~\cite{VER_UHP} which will be useful in this section.

Let $f : \bbR_+ \rightarrow \bbC$ be a bounded function. Then $f$ is said to be very slowly oscillating function if the compositon $f\circ \exp$ is uniformly continuous with respect to the usual metric on $\bbR_+$. Let $\VSO(\bbR_+)$ denote the set of all very slowly oscillating functions.

\begin{lemm}[{\cite[Proposition~4.2]{VER_UHP}}]
$\VSO(\bbR_+)$ is a closed $C^\ast\!$-subalgebra of the $C^\ast\!$-algebra $C_b(\bbR_+)$ of all complex valued bounded continuous functions on $\bbR_+$ with pointwise operations.
\end{lemm}

Since $C_b(\bbR_+)$ is closed $C^\ast$-subalgebra of $L^\infty(\bbR_+)$, it follows that $\VSO(\bbR_+)$ is a closed $C^\ast$-subalgebra of $L^\infty(\bbR_+)$. For Toeplitz operators with vertical symbols, the following result is known.

\begin{lemm}[{\cite[Theorem~3.4]{VER_UHP}}]\label{Lem_Ta_Mm}
Let $\Aa\in L^\infty(\Pi)$ be a vertical function and $T_{\Aa}$ be the Toeplitz operator with defining symbol $\Aa$. Then there exists $\gamma_{\Aa}\in L^\infty(\bbR_+)$ such that $T_{\Aa} = RM_{\gamma_{\Aa}}R^\ast$, where
\begin{equation}\label{gamma_a}
\gamma_{\Aa}(x) = 2x \int_{0}^{\infty}\Aa(y) e^{-2xy} dy,\quad x\in \bbR_+.
\end{equation}
\end{lemm}

Let $\clG$ denote the collection of all $\gamma_{\Aa} \in L^\infty(\bbR_+)$, where $\Aa\in L^\infty(\Pi)$ is vertical function and $\gamma_{\Aa}$ is given by~\eqref{gamma_a}. In~\cite{VER_UHP}, the follwing result is proved.

\begin{lemm}\label{Lem_C^ast_VSO}
The $C^\ast$-algebra generated by $\clG$ is equal to $\overline{\clG} =\VSO(\bbR_+)$.
\end{lemm}

Now we give explicit integral representation of the form~\eqref{S_phi} for all the operators in the $C^\ast$-algebra generated by $\displaystyle \clV_{top}$.

\begin{theo}
The $C^\ast$-algebra $\clVT(L^\infty)$ generated by $ \clV_{top}$ is given by
\begin{align*}
\left\{S_{\varphi} \in \clV : \exists \sigma\in \VSO(\bbR_+) \quad\text{and}\quad\varphi(z) = \int_{\bbR_+} \xi \sigma(\xi) e^{iz\xi} d\xi,\quad\forall z\in \Pi\right\}.
\end{align*}
\end{theo}

\begin{proof}
Let $T_{\Aa}\in \clV_{top}$. Then by Lemma~\ref{Lem_Ta_Mm}, we get $T_{\Aa} = RM_{\gamma_{\Aa}}R^\ast$, where $\gamma_{\Aa}\in L^\infty(\bbR_+)$ is given by~\eqref{gamma_a}. By Theorem~\ref{Thm_Sphi_Boundedness}, we have $RM_{\gamma_{\Aa}}R^\ast = S_{\varphi_{\gamma_{\Aa}}}$, where $\varphi_{\gamma_{\Aa}}$ and $\gamma_{\Aa}$ satisfy
\begin{equation*}
\varphi_{\gamma_{\Aa}}(z) = \int_{\bbR_+} \xi\gamma_{\Aa}(\xi) e^{iz\xi} d\xi,\quad \forall z\in \Pi.
\end{equation*}
This implies that $T_{\Aa} = S_{\varphi_{\gamma_{\Aa}}}$. Hence, we get $\clV_{top} = \{S_{\varphi_{\gamma_{\Aa}}} : \gamma_{\Aa}\in \clG\}$. Now, using Lemma~\ref{Lem_C^ast_VSO}, we get $ \clVT(L^\infty)= \{S_{\varphi}\in \clV: S_{\varphi} = RM_{\sigma} R^\ast~\text{for some}~\sigma \in \VSO(\bbR_+)\}$. In fact, we have
\begin{align*}
\clVT(L^\infty)= \left\{S_{\varphi} \in \clV : \exists \sigma\in \VSO(\bbR_+)\quad\text{and}\quad\varphi(z) = \int_{\bbR_+} \xi \sigma(\xi) e^{iz\xi} d\xi,\quad\forall z\in \Pi\right\}.
\end{align*}
This proves the theorem.
\end{proof}

\section*{Acknowledgements}
We thank the referees for meticulously reading our manuscript and giving us several valuable suggestions which improved the clarity of the paper. We also thank the handling editor for the help during the editorial process.



\bibliographystyle{crplain}
\bibliography{crmath20220684}
\end{document}
