The polyanalytic reproducing kernels (Q2008169): Difference between revisions

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.