The polyanalytic reproducing kernels

DOI10.1007/S11785-019-00956-5MaRDI QIDQ2008169zbMATH OpenOpenAlexFDO

Authors Hicham Hachadi, El-Hassan Youssfi

Publication date 22 November 2019

Published in Complex Analysis and Operator Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.01278

Bergman space Fock space polyanalytic function reproducing kernel

Generalizations of Bers and Vekua type (pseudoanalytic, (p)-analytic, etc.) (30G20) Bergman spaces and Fock spaces (30H20) Other spaces of holomorphic functions of several complex variables (e.g., bounded mean oscillation (BMOA), vanishing mean oscillation (VMOA)) (32A37)

Abstract: Let

u

be a rotation invariant Borel probability measure on the complex plane having moments of all orders. Given a positive integer

q

, it is proved that the space of

u

-square integrable

q

-analytic functions is the closure of

q

-analytic polynomials, and in particular it is a Hilbert space. We establish a general formula for the corresponding polyanalytic reproducing kernel. New examples are given and all known examples, including those of the analytic case are covered. In particular, weighted Bergman and Fock type spaces of polyanalytic functions are introduced. Our results have a higher dimensional generalization for measure on

{m a t h b b C}^{p}

which are in rotation invariant with respect to each coordinate.

Review text

Given a positive integer \(q\), a function \(f\) is called \(q\)-analytic in a domain \(\Omega\subset\mathbb{C}\) if it satisfies the generalized Cauchy-Riemann condition \(\frac{\partial^q f}{\partial \overline{z}^q}=0\). A sequence \(s=(s_d)\), \(d\in \mathbb{N}_0\), is said to be a Stieltjes moment sequence if \(s_d=\int_0^\infty t^dd\mu(t)\), where \(\mu\) is a non-negative measure on \([0,\infty)\). It is known that the sequence \((s_d^{1/(2d)})\) tends to some \(R_s\in(0,\infty]\). Let \(\mathbb{D}_s\) be the disk centered at the origin of radius \(R_s\) (in particular, \(\mathbb{D}_s=\mathbb{C}\) if \(R_s=+\infty\)). For each pair of non-negative integers \((d,n)\) such that \(n\le q-1\), let \(\mathcal{P}_n(\mu)\) be the subspace of \(L^2(x^dd\mu)\) consisting of all polynomials of degree at most \(n\) with the inner product \(\langle f,g\rangle=\int_0^\infty f(x)g(x)x^dd\mu(x)\) and let \(Q_{d,n}\) be the corresponding reproducing kernel. For \((\lambda,x,y)\in\mathbb{C}\times[0,\infty)\times[0,\infty)\), let \(F_{q,s}(\lambda,x,y)=\sum_{d=0}^\infty\lambda^d Q_{d,q-1}(x,y)+ \sum_{d=1}^{q-1}\overline{\lambda}^d Q_{d,q-1-d}(x,y)\). Let \(\sigma\) be a rotation-invariant probability measure on the unit circle and \(\nu\) be the image measure on \(\mathbb{C}\) of the measure \(\mu\otimes\sigma\) under the map \((t,\xi)\mapsto \sqrt{t}\xi\). The space of \(q\)-analytic square integrable functions in \(\mathbb{D}_s\) with respect to \(\nu\) is denoted by \(\mathcal{A}_{\nu,q}^2\). The main result of the paper is the following. Theorem. The space \(\mathcal{A}_{\nu,q}^2\) is a Hilbert space, which coincides with the closure of the set of all \(q\)-analytic polynomials in \(L^2(\nu)\). Moreover, if \(K\subset\mathbb{D}_s\) is a compact set, then for all \(q\)-analytic polynomials \(f\in L^2(\nu)\) one has \(\sup_{z\in K}|f(z)|\le C(K)\|f\|_{L^2(\mu)}\), where \(C(K)=\sup_{z\in K}\sqrt{F_{q,s}(|z|^2,|z|^2,|z|^2)}\). The reproducing kernel of \(\mathcal{A}_{\nu,q}^2\) is given by \(K_{\nu,q}(z,w)=F_{q,s}(z\overline{w},|z|^2,|z|^2)\) for \(z,w\in\mathbb{D}_s\). A higher-dimensional generalization of this result is also stated.

Recommendations

Cites work

Cited in

(24)

This page was built for publication: The polyanalytic reproducing kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008169)