Sum of Toeplitz products on the Hardy space over the polydisk (Q1746529)

From MaRDI portal
Revision as of 06:45, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Sum of Toeplitz products on the Hardy space over the polydisk
scientific article

    Statements

    Sum of Toeplitz products on the Hardy space over the polydisk (English)
    0 references
    0 references
    25 April 2018
    0 references
    Let $P$ be the orthogonal projection of the space $L^2(\mathbb{T}^N)$ onto the Hardy space $H^2(\mathbb{D}^N)$ over the polydisk $\mathbb{D}^N$, and let $T_u$ be the Toeplitz operator with symbol $u\in L^\infty(\mathbb{T}^N)$ given by $T_u f=P(uf)$ for all $f\in H^2(\mathbb{D}^N)$. The paper deals with criteria for a finite sum $\sum_{m=1}^M T_{f_m}T_{g_m}$ of products of Toeplitz operators on $H^2(\mathbb{D}^N)$ to be zero. \par For each $i\in\hat{N}:=\{1,2,\dots,N\}$, let $\partial_i=\partial_{z_i}$ and $\overline{\partial}_i=\partial_{\overline{z}_i}$. A~twice differentiable function $f$ defined on an open set in $\mathbb{C}^N$ is called $N$-harmonic if $\partial_i\overline{\partial}_if=0$ for each $i\in\hat{N}$. Given $f_m,g_m\in L^\infty(\mathbb{T}^N)$ for $m=1,2,\dots,M$, it is proved that $\sum_{m=1}^M T_{f_m}T_{g_m}=0$ on $H^2(\mathbb{D}^N)$ if and only if the Berezin transform of $\sum_{m=1}^M T_{f_m}T_{g_m}$ is $N$-harmonic on $\mathbb{D}^N$ and $\sum_{m=1}^M f_m(\xi)g_m(\xi)=0$ for almost all $\xi\in\mathbb{T}^N$. \par Let $\partial_I=\partial_{i_1}\partial_{i_2}\cdots\partial_{i_k}$ for $I=\{i_1,i_2,\dots,i_k\}\subset\hat{N}$, $I^c=\hat{N}\setminus I$, $z_I=(z_{i_1},z_{i_2},\dots,z_{i_k})$, $(z_I,z_{I^c})=(z_1,z_2,\dots,z_N)$, and let $\partial_\emptyset f=f$ for $I=\emptyset$. Given $f\in L^1(\mathbb{T}^N)$, the partial harmonic extension of $f$ with respect to a set $I\subset\hat{N}$ is defined by \[ \widetilde{f}_I(z_I,\xi_{I^c})=\int_{\mathbb{T}^{|I|}}f(\xi_I,\xi_{I^c})\prod_{i\in I} \frac{1-|z_i|^2}{|1-\overline{z}_i\xi_i|^2}\:d\sigma(\xi_I), \] where $d\sigma(\xi_I)$ is the Haar measure on $\mathbb{T}^{|I|}$ and $|I|$ is the cardinal number of $I$. In particular, the following criterion is obtained: if $f_m,g_m\in L^\infty(\mathbb{T}^N)$ for all $m=1,2,\dots,M$, then $\sum_{m=1}^M T_{f_m}T_{g_m}=0$ on $H^2(\mathbb{D}^N)$ if and only if \[ \sum_{m=1}^M \partial_I\widetilde{f}_m(z_I,\xi_{I^c}) \overline{\partial}_I \widetilde{g}_m(z_I,\xi_{I^c})=0 \] for all $I\subset\hat{N}$, all $z_I\in\mathbb{D}^{|I|}$ and almost all $\xi_{I^c}\in\mathbb{T}^{N-|I|}$.
    0 references
    sum of products of Toeplitz operators
    0 references
    Hardy space over polydisk
    0 references
    reproducing kernel
    0 references
    Berezin transform
    0 references
    partial harmonic extension
    0 references
    essential fiber dimension
    0 references

    Identifiers