Showing 1–45 of 45 results for author: Peláez, J A

Maximal theorems for weighted analytic tent and mixed norm spaces

Authors: Tanausú Aguilar-Hernández, Alejandro Mas, José Ángel Peláez, Jouni Rättyä

Abstract: Let $ω$ be a radial weight, $0<p,q<\infty$ and $Γ(ξ)=\left\{z\in\mathbb{D}:|\arg z-\argξ|<(|ξ|-|z|)\right\}$ for $ξ\in\overline{\mathbb{D}}$ . The average radial integrability space $L^q_p(ω)$ consists of complex-valued measurable functions $f$ on the unit disc $\mathbb{D}$ such that… ▽ More Let $ω$ be a radial weight, $0<p,q<\infty$ and $Γ(ξ)=\left\{z\in\mathbb{D}:|\arg z-\argξ|<(|ξ|-|z|)\right\}$ for $ξ\in\overline{\mathbb{D}}$ . The average radial integrability space $L^q_p(ω)$ consists of complex-valued measurable functions $f$ on the unit disc $\mathbb{D}$ such that $$\|f\|^q_{L^q_p(ω)}=\frac{1}{2π}\int_{0}^{2π}\left(\int_{0}^{1}|f(re^{iθ})|^pω(r)r\,dr\right)^{\frac{q}{p}}dθ<\infty,$$ and the tent space $T^q_p(ω)$ is the set of those $f$ for which $$\|f\|^q_{T_{p}^{q}(ω)}=\frac{1}{2π}\int_{\partial{\mathbb{D}}}\left(\int_{Γ(ξ)}|f(z)|^pω(z)\frac{dA(z)}{1-|z|}\right)^{\frac{q}{p}}\,|dξ|<\infty.$$ Let $\mathcal{H}(\mathbb{D})$ denote the space of analytic functions in $\mathbb{D}$. It is shown that the non-tangential maximal operator $$f\mapsto N(f)(ξ)=\sup_{z\inΓ(ξ)}|f(z)|,\quad ξ\in \mathbb{D},$$ is bounded from $AL^q_p(ω)=L^q_p(ω)\cap\mathcal{H}(\mathbb{D})$ and $AT^q_p(ω)=T^q_p(ω)\cap\mathcal{H}(\mathbb{D})$ to $L^q_p(ω)$ and $T^q_p(ω)$, respectively. These pivotal inequalities are used to establish further results such as the density of polynomials in $AL^q_p(ω)$ and $AT^q_p(ω)$, and the identity $AL^q_p(ω)=AT^q_p(ω)$ for weights admitting a one-sided integral doubling condition. Further, it is shown that any of the Littlewood-Paley formulas holds if and only if $ω$ admits a two-sided integral doubling condition. It is also shown that the boundedness of the classical Bergman projection $P_γ$, induced by the standard weight $(γ+1)(1-|z|^2)^γ$, on $L^q_p(ω)$ and $T^q_p(ω)$ with $1<q,p<\infty$ is independent of $q$, and is described by a Bekollé-Bonami type condition. △ Less

Submitted 11 July, 2024; originally announced July 2024.

MSC Class: 42B25; 30H99; 47G10

Small Hankel operator induced by measurable symbol acting on weighted Bergman spaces

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The boundedness of the small Hankel operator $h^ω_{f}(g)=\overline{P_ω}(fg)$ induced by a measurable symbol $f$ and the Bergman projection $P_ω$ associated to a radial weight $ω$ acting from the weighted Bergman space $A^p_ω$ to its conjugate analytic counterpart $\overline{A^p_ω}$ is characterized on the range $1<p<\infty$ when $ω$ belongs to the class $\mathcal{D}$ of radial weights admitting ce… ▽ More The boundedness of the small Hankel operator $h^ω_{f}(g)=\overline{P_ω}(fg)$ induced by a measurable symbol $f$ and the Bergman projection $P_ω$ associated to a radial weight $ω$ acting from the weighted Bergman space $A^p_ω$ to its conjugate analytic counterpart $\overline{A^p_ω}$ is characterized on the range $1<p<\infty$ when $ω$ belongs to the class $\mathcal{D}$ of radial weights admitting certain two-sided doubling conditions. On the way to the proof a sharp integral estimate for certain modified Bergman kernels is obtained. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: arXiv admin note: text overlap with arXiv:2207.01086

Bergman projection induced by radial weight acting on growth spaces

Authors: Álvaro Miguel Moreno, José Ángel Peláez, Jari Taskinen

Abstract: Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition… ▽ More Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition $$\sup_{0<r<1}\frac{\widehatω(r)}{\widehatω\left(\frac{1+r}{2}\right)}<\infty.$$ If $ν$ or $ω$ belongs to $\widehat{\mathcal{D}}$, it is described the boundedness of the Bergman projection $P_ω$ induced by $ω$ on the growth space $L^\infty_{\widehatν} =\{ f: \|f\|_{\infty,v}={ esssup}_{z\in\mathbb{D}} |f(z)|\widehatν(z)<\infty\}$ in terms of neat conditions on the moments and/or the tail integrals of $ω$ and $ν$. Moreover, it is solved the analogous problem for $P_ω$ from $L^\infty_{\widehatν}$ to the Bloch type space $B^\infty_{\widehatν}$ of analytic functions such that $\sup_{z\in \mathbb{D}}(1-|z|)\widehatν(z) |f'(z)|<\infty.$ We also study similar questions for exponentially decreasing radial weights. △ Less

Submitted 26 June, 2024; originally announced June 2024.

On the radicality property for spaces of symbols of bounded Volterra operators

Authors: C. Cascante, J. Fábrega, D. Pascuas, J. A. Peláez

Abstract: In a recent paper of the authors together with A. Aleman, it is shown that the Bloch space $\mathcal{B}$ in the unit disc has the following radicality property: if an analytic function $g$ satisfies that $g^n\in \mathcal{B}$, then $g^m\in \mathcal{B}$, for all $m\le n$. Since $\mathcal{B}$ coincides with the space $\mathcal{T}(A^p_α)$ of analytic symbols $g$ such that the Volterra-type operator… ▽ More In a recent paper of the authors together with A. Aleman, it is shown that the Bloch space $\mathcal{B}$ in the unit disc has the following radicality property: if an analytic function $g$ satisfies that $g^n\in \mathcal{B}$, then $g^m\in \mathcal{B}$, for all $m\le n$. Since $\mathcal{B}$ coincides with the space $\mathcal{T}(A^p_α)$ of analytic symbols $g$ such that the Volterra-type operator $T_gf(z)= \int_0^z f(ζ)g'(ζ)\,dζ$ is bounded on the classical weighted Bergman space $A^p_α$, the radicality property was used to study the composition of paraproducts $T_g$ and $S_gf=T_fg$ on $A^p_α$. Motivated by this fact, we prove that $\mathcal{T}(A^p_ω)$ also has the radicality property, for any radial weight $ω$. Unlike the classical case, the lack of a precise description of $\mathcal{T}(A^p_ω)$ for a general radial weight, induces us to prove the radicality property for $A^p_ω$ from precise norm-operator results for compositions of analytic paraproducts. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Words of analytic paraproducts on Hardy and weighted Bergman spaces

Authors: Alexandru Aleman, Carme Cascante, Joan Fàbrega, Daniel Pascuas, José Ángel Peláez

Abstract: For a fixed analytic function g on the unit disc, we consider the analytic paraproducts induced by g, which are formally defined by $T_gf(z)=\int_0^zf(ζ)g'(ζ)dζ$, $S_gf(z)=\int_0^zf'(ζ)g(ζ)dζ$, and $M_gf(z)=g(z)f(z)$. We are concerned with the study of the boundedness of operators in the algebra $\mathcal{A}_g$ generated by the above operators acting on Hardy, or standard weighted Bergman spaces o… ▽ More For a fixed analytic function g on the unit disc, we consider the analytic paraproducts induced by g, which are formally defined by $T_gf(z)=\int_0^zf(ζ)g'(ζ)dζ$, $S_gf(z)=\int_0^zf'(ζ)g(ζ)dζ$, and $M_gf(z)=g(z)f(z)$. We are concerned with the study of the boundedness of operators in the algebra $\mathcal{A}_g$ generated by the above operators acting on Hardy, or standard weighted Bergman spaces on the disc. The general question is certainly very challenging, since operators in $\mathcal{A}_g$ are finite linear combinations of finite products (words) of $T_g,S_g,M_g$ which may involve a large amount of cancellations to be understood. The results in the paper "Composition of analytic paraproducts, J. Math. Pures Appl. 158 (2022) 293--319" show that boundedness of operators in a fairly large subclass of $\mathcal{A}_g$ can be characterized by one of the conditions $g\in H^\infty$, or $g^n$ belongs to $BMOA$ or the Bloch space, for some integer $n>0$. However, it is also proved that there are many operators, even single words in $\mathcal{A}_g$ whose boundedness cannot be described in terms of these conditions. The present paper provides a considerable progress in this direction. Our main result provides a complete quantitative characterization of the boundedness of an arbitrary word in $\mathcal{A}_g$ in terms of a ``fractional power'' of the symbol $g$, that only depends on the number of appearances of each of the letters $T_g,S_g,M_g$ in the given word. △ Less

Submitted 10 November, 2023; originally announced November 2023.

MSC Class: 30H10; 30H20; 47G10; 30H35; 30H30

Fractional derivative description of the Bloch space

Authors: Álvaro Miguel Moreno, José Ángel Peláez, Elena de la Rosa

Abstract: We establish new characterizations of the Bloch space $\mathcal{B}$ which include descriptions in terms of classical fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$, we define the fractional derivative $ D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n $ induced by a radial… ▽ More We establish new characterizations of the Bloch space $\mathcal{B}$ which include descriptions in terms of classical fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$, we define the fractional derivative $ D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n $ induced by a radial weight $μ$, where $μ_{2n+1}=\int_0^1 r^{2n+1}μ(r)\,dr$ are the odd moments of $μ$. Then, we consider the space $ \mathcal{B}^μ$ of analytic functions $f$ in $\mathbb{D}$ such that $\|f\|_{\mathcal{B}^μ}=\sup_{z\in \mathbb{D}} \widehatμ(z)|D^μ(f)(z)|<\infty$, where $\widehatμ(z)=\int_{|z|}^1 μ(s)\,ds$. We prove that $\mathcal{B}^μ$ is continously embedded in $\mathcal{B}$ for any radial weight $μ$, and $\mathcal{B}=\mathcal{B}^μ$ if and only if $μ\in \mathcal{D}=\widehat{\mathcal{D}}\cap\check{\mathcal{D}}$. A radial weight $μ\in \widehat{\mathcal{D}}$ if $\sup_{0\le r <1}\frac{\widehatμ(r)}{\widehatμ\left(\frac{1+r}{2}\right)}<\infty$ and a radial weight $μ\in \check{\mathcal{D}}$ if there exist $K=K(μ)>1$ such that $\inf_{0\le r<1}\frac{\widehatμ(r)}{ \widehatμ\left(1-\frac{1-r}{K}\right)}>1.$ △ Less

Submitted 31 July, 2023; originally announced July 2023.

MSC Class: 26A33; 30H30

Bergman projection on Lebesgue space induced by doubling weight

Authors: José Ángel Peláez, Elena de la Rosa, Jouni Rättyä

Abstract: Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane, and denote $σ=ω^{p'}ν^{-\frac{p'}p}$ and $ω_x =\int_0^1 s^x ω(s)\,ds$ for all $1\le x<\infty$. Consider the one-weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is shown that the moment condition… ▽ More Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane, and denote $σ=ω^{p'}ν^{-\frac{p'}p}$ and $ω_x =\int_0^1 s^x ω(s)\,ds$ for all $1\le x<\infty$. Consider the one-weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is shown that the moment condition $$ D_p(ω,ν)=\sup_{n\in \mathbb{N}\cup\{0\}}\frac{\left(ν_{np+1}\right)^\frac1p\left(σ_{np'+1}\right)^\frac1{p'}}{ω_{2n+1}}<\infty $$ is necessary for \eqref{ab1} to hold. Further, $D_p(ω,ν)<\infty$ is also sufficient for \eqref{ab1} if $ν$ admits the doubling properties $\sup_{0\le r<1}\frac{\int_r^1 ω(s)s\,ds}{\int_{\frac{1+r}{2}}^1 ω(s)s\,ds}<\infty$ and $\sup_{0\le r<1}\frac{\int_r^1 ω(s)s\,ds}{\int_r^{1-\frac{1-r}{K}} ω(s)s\,ds}<\infty$ for some $K>1$. In addition, an analogous result for the one weight inequality $ \|P_ω(f)\|_{D^p_{ν,k}}\le C\|f\|_{L^p_ν}, $ where $$ \Vert f \Vert_{D^p_{ν, k}}^p =\sum\limits_{j=0}^{k-1}| f^{(j)}(0)|^p+ \int_{\mathbb{D}} \vert f^{(k)}(z)\vert^p (1-|z| )^{kp}ν(z)\,dA(z)<\infty, \quad k\in \mathbb{N}, $$ is established. The inequality \eqref{ab1} is further studied by using the necessary condition $D_p(ω,ν)<\infty$ in the case of the exponential type weights $ν(r)=\exp \left(-\fracα{(1-r^l)^β} \right)$ and $ω(r)= \exp \left(-\frac{\widetildeα}{(1-r^{\widetilde{l}})^{\widetildeβ}} \right)$, where $0<α, \, \widetildeα, \, l, \, \widetilde{l}<\infty$ and $0<β, \, \widetildeβ\le 1$. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Reinforcement Learning in System Identification

Authors: Jose Antonio Martin H., Oscar Fernandez Vicente, Sergio Perez, Anas Belfadil, Cristina Ibanez-Llano, Freddy Jose Perozo Rondon, Jose Javier Valle, Javier Arechalde Pelaz

Abstract: System identification, also known as learning forward models, transfer functions, system dynamics, etc., has a long tradition both in science and engineering in different fields. Particularly, it is a recurring theme in Reinforcement Learning research, where forward models approximate the state transition function of a Markov Decision Process by learning a map** function from current state and a… ▽ More System identification, also known as learning forward models, transfer functions, system dynamics, etc., has a long tradition both in science and engineering in different fields. Particularly, it is a recurring theme in Reinforcement Learning research, where forward models approximate the state transition function of a Markov Decision Process by learning a map** function from current state and action to the next state. This problem is commonly defined as a Supervised Learning problem in a direct way. This common approach faces several difficulties due to the inherent complexities of the dynamics to learn, for example, delayed effects, high non-linearity, non-stationarity, partial observability and, more important, error accumulation when using bootstrapped predictions (predictions based on past predictions), over large time horizons. Here we explore the use of Reinforcement Learning in this problem. We elaborate on why and how this problem fits naturally and sound as a Reinforcement Learning problem, and present some experimental results that demonstrate RL is a promising technique to solve these kind of problems. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: Accepted in Neurips Deep Reinforcement Learning Workshop 2022: https://openreview.net/forum?id=fGcbpWQIJZV

Volterra-type operators map** weighted Dirichlet space into $H^\infty$

Authors: José Ángel Peláez, Jouni Rättyä, Fanglei Wu

Abstract: The problem of describing the analytic functions $g$ on the unit disc such that the integral operator $T_g(f)(z)=\int_0^zf(ζ)g'(ζ)\,dζ$ is bounded (or compact) from a Banach space (or complete metric space) $X$ of analytic functions to the Hardy space $H^\infty$ is a tough problem and remains unsettled in many cases. For analytic functions $g$ with non-negative Maclaurin coefficients, we describe… ▽ More The problem of describing the analytic functions $g$ on the unit disc such that the integral operator $T_g(f)(z)=\int_0^zf(ζ)g'(ζ)\,dζ$ is bounded (or compact) from a Banach space (or complete metric space) $X$ of analytic functions to the Hardy space $H^\infty$ is a tough problem and remains unsettled in many cases. For analytic functions $g$ with non-negative Maclaurin coefficients, we describe the boundedness and compactness of $T_g$ acting from a weighted Dirichlet space $D^p_ω$, induced by an upper doubling weight $ω$, to $H^\infty$. We also characterize, in terms of neat conditions on $ω$, the upper doubling weights for which $T_g: D^p_ω\to H^\infty$ is bounded (or compact) only if $g$ is constant. △ Less

Submitted 7 November, 2022; originally announced November 2022.

MSC Class: 30H20; 47B35

Hilbert-type operator induced by radial weight on Hardy spaces

Authors: Noel Merchán, José Angel Peláez, Elena de la Rosa

Abstract: We consider the Hilbert-type operator defined by $$ H_ω(f)(z)=\int_0^1 f(t)\left(\frac{1}{z}\int_0^z B^ω_t(u)\,du\right)\,ω(t)dt,$$ where $\{B^ω_ζ\}_{ζ\in\mathbb{D}}$ are the reproducing kernels of the Bergman space $A^2_ω$ induced by a radial weight $ω$ in the unit disc $\mathbb{D}$. We prove that $H_ω$ is bounded on the Hardy space $H^p$, $1<p<\infty$, if and only if \begin{equation} \la… ▽ More We consider the Hilbert-type operator defined by $$ H_ω(f)(z)=\int_0^1 f(t)\left(\frac{1}{z}\int_0^z B^ω_t(u)\,du\right)\,ω(t)dt,$$ where $\{B^ω_ζ\}_{ζ\in\mathbb{D}}$ are the reproducing kernels of the Bergman space $A^2_ω$ induced by a radial weight $ω$ in the unit disc $\mathbb{D}$. We prove that $H_ω$ is bounded on the Hardy space $H^p$, $1<p<\infty$, if and only if \begin{equation} \label{abs1} \sup_{0\le r<1} \frac{\widehatω(r)}{\widehatω\left( \frac{1+r}{2}\right)}<\infty, \tag† \end{equation} and \begin{equation*} \sup\limits_{0<r<1}\left(\int_0^r \frac{1}{\widehatω(t)^p} dt\right)^{\frac{1}{p}} \left(\int_r^1 \left(\frac{\widehatω(t)}{1-t}\right)^{p'}\,dt\right)^{\frac{1}{p'}} <\infty, \end{equation*} where $\widehatω(r)=\int_r^1 ω(s)\,ds$. We also prove that $H_ω: H^1\to H^1$ is bounded if and only if \eqref{abs1} holds and $$ \sup\limits_{r \in [0,1)} \frac{\widehatω(r)}{1-r} \left(\int_0^r \frac{ds}{\widehatω(s)}\right)<\infty.$$ As for the case $p=\infty$, $H_ω$ is bounded from $H^\infty$ to $BMOA$, or to the Bloch space, if and only if \eqref{abs1} holds. In addition, we prove that there does not exist radial weights $ω$ such that $H_ω: H^p \to H^p $, $1\le p<\infty$, is compact and we consider the action of $H_ω$ on some spaces of analytic functions closely related to Hardy spaces. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Bergman projection and BMO in hyperbolic metric -- improvement of classical result

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The Bergman projection $P_α$, induced by a standard radial weight, is bounded and onto from $L^\infty$ to the Bloch space $\mathcal{B}$. However, $P_α: L^\infty\to \mathcal{B}$ is not a projection. This fact can be emended via the boundedness of the operator $P_α:BMO_2(Δ)\to\mathcal{B}$, where $BMO_2(Δ)$ is the space of functions of bounded mean oscillation in the Bergman metric. We consider the… ▽ More The Bergman projection $P_α$, induced by a standard radial weight, is bounded and onto from $L^\infty$ to the Bloch space $\mathcal{B}$. However, $P_α: L^\infty\to \mathcal{B}$ is not a projection. This fact can be emended via the boundedness of the operator $P_α:BMO_2(Δ)\to\mathcal{B}$, where $BMO_2(Δ)$ is the space of functions of bounded mean oscillation in the Bergman metric. We consider the Bergman projection $P_ω$ and the space $BMO_{ω,p}(Δ)$ of functions of bounded mean oscillation induced by $1<p<\infty$ and a radial weight $ω\in\mathcal{M}$. Here $\mathcal{M}$ is a wide class of radial weights defined by means of moments of the weight, and it contains the standard and the exponential-type weights. We describe the weights such that $P_ω:BMO_{ω,p}(Δ)\to\mathcal{B}$ is bounded. They coincide with the weights for which $P_ω: L^\infty \to \mathcal{B}$ is bounded and onto. This result seems to be new even for the standard radial weights when $p\ne2$. △ Less

Submitted 3 July, 2022; originally announced July 2022.

MSC Class: 30H20; 30H35; 47B34

Composition of analytic paraproducts

Authors: Alexandru Aleman, Carme Cascante, Joan Fàbrega, Daniel Pascuas, José Angel Peláez

Abstract: For a fixed analytic function $g$ on the unit disc $\mathbb{D}$, we consider the analytic paraproducts induced by $g$, which are defined by $T_gf(z)= \int_0^z f(ζ)g'(ζ)\,dζ$, $S_gf(z)= \int_0^z f'(ζ)g(ζ)\,dζ$, and $M_gf(z)= f(z)g(z)$. The boundedness of these operators on various spaces of analytic functions on $\mathbb{D}$ is well understood. The original motivation for this work is to understa… ▽ More For a fixed analytic function $g$ on the unit disc $\mathbb{D}$, we consider the analytic paraproducts induced by $g$, which are defined by $T_gf(z)= \int_0^z f(ζ)g'(ζ)\,dζ$, $S_gf(z)= \int_0^z f'(ζ)g(ζ)\,dζ$, and $M_gf(z)= f(z)g(z)$. The boundedness of these operators on various spaces of analytic functions on $\mathbb{D}$ is well understood. The original motivation for this work is to understand the boundedness of compositions of two of these operators, for example $T_g^2, \,T_gS_g,\, M_gT_g$, etc. Our methods yield a characterization of the boundedness of a large class of operators contained in the algebra generated by these analytic paraproducts acting on the classical weighted Bergman and Hardy spaces in terms of the symbol $g$. In some cases it turns out that this property is not affected by cancellation, while in others it requires stronger and more subtle restrictions on the oscillation of the symbol $g$ than the case of a single paraproduct. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Journal ref: Journal de Mathématiques Pures et Appliquées, 2021

Littlewood-Paley inequalities for fractional derivative on Bergman spaces

Authors: José Ángel Peláez, Elena de la Rosa

Abstract: For any pair $(n,p)$, $n\in\mathbb{N}$ and $0<p<\infty$, it has been recently proved that a radial weight $ω$ on the unit disc of the complex plane $\mathbb{D}$ satisfies the Littlewood-Paley equivalence $$ \int_{\mathbb{D}}|f(z)|^p\,ω(z)\,dA(z)\asymp\int_\mathbb{D}|f^{(n)}(z)|^p(1-|z|)^{np}ω(z)\,dA(z)+\sum_{j=0}^{n-1}|f^{(j)}(0)|^p,$$ for any analytic function $f$ in $\mathbb{D}$, if and only i… ▽ More For any pair $(n,p)$, $n\in\mathbb{N}$ and $0<p<\infty$, it has been recently proved that a radial weight $ω$ on the unit disc of the complex plane $\mathbb{D}$ satisfies the Littlewood-Paley equivalence $$ \int_{\mathbb{D}}|f(z)|^p\,ω(z)\,dA(z)\asymp\int_\mathbb{D}|f^{(n)}(z)|^p(1-|z|)^{np}ω(z)\,dA(z)+\sum_{j=0}^{n-1}|f^{(j)}(0)|^p,$$ for any analytic function $f$ in $\mathbb{D}$, if and only if $ω\in\mathcal{D}=\widehat{\mathcal{D}} \cap \check{\mathcal{D}}$. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if $\sup_{0\le r<1} \frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1ω(s)\,ds}<\infty$, and $ω\in \check{\mathcal{D}}$ if there exists $k>1$ such that $\inf_{0\le r<1} \frac{\int_{r}^1ω(s)\,ds}{\int_{1-\frac{1-r}{k}}^1 ω(s)\,ds}>1$. In this paper we extend this result to the setting of fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ we consider the fractional derivative $ D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n $ induced by a radial weight $μ\in \mathcal{D}$, where $μ_{2n+1}=\int_0^1 r^{2n+1}μ(r)\,dr$. Then, we prove that for any $p\in (0,\infty)$, the Littlewood-Paley equivalence $$\int_{\mathbb{D}} |f(z)|^p ω(z)\,dA(z)\asymp \int_{\mathbb{D}}|D^μ(f)(z)|^p\left[\int_{|z|}^1μ(s)\,ds\right]^pω(z)\,dA(z)$$ holds for any analytic function $f$ in $\mathbb{D}$ if and only if $ω\in\mathcal{D}$. We also prove that for any $p\in (0,\infty)$, the inequality $$\int_{\mathbb{D}} |D^μ(f)(z)|^p \left[\int_{|z|}^1μ(s)\,ds\right]^pω(z)\,dA(z) \lesssim \int_{\mathbb{D}} |f(z)|^p ω(z)\,dA(z) $$ holds for any analytic function $f$ in $\mathbb{D}$ if and only if $ω\in \widehat{\mathcal{D}}$. △ Less

Submitted 27 September, 2021; originally announced September 2021.

One weight inequality for Bergman projection and Calderón operator induced by radial weight

Authors: Francisco J. Martín Reyes, Pedro Ortega, José Ángel Peláez, Jouni Rättyä

Abstract: Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane such that $ω$ admits the doubling property $\sup_{0\le r<1}\frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1 ω(s)\,ds}<\infty$. Consider the one weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is sho… ▽ More Let $ω$ and $ν$ be radial weights on the unit disc of the complex plane such that $ω$ admits the doubling property $\sup_{0\le r<1}\frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1 ω(s)\,ds}<\infty$. Consider the one weight inequality \begin{equation}\label{ab1} \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad 1<p<\infty,\tag† \end{equation} for the Bergman projection $P_ω$ induced by $ω$. It is shown that the Muckenhoupt-type condition $$ A_p(ω,ν)=\sup_{0\le r<1}\frac{\left(\int_r^1 sν(s)\,ds \right)^{\frac{1}{p}}\left(\int_r^1 s\left(\frac{ω(s)}{ν(s)^{\frac1p}}\right)^{p'}\,ds \right)^{\frac{1}{p'}}}{\int_r^1 sω(s)\,ds}<\infty, $$ is necessary for \eqref{ab1} to hold, and sufficient if $ν$ is of the form $ν(s)=ω(s)\left(\int_r^1 sω(s)\,ds \right)^α$ for some $-1<α<\infty$. This result extends the classical theorem due to Forelli and Rudin for a much larger class of weights. In addition, it is shown that for any pair $(ω,ν)$ of radial weights the Calderón operator $$ H^\star_ω(f)(z)+H_ω(f)(z) =\int_{0}^{|z|} f\left(s\frac{z}{|z|}\right)\frac{sω(s)\,ds}{\int_s^1 tω(t)\,dt} +\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right) sω(s)\,ds}{\int_{|z|}^1 sω(s)\,ds}\,ds $$ is bounded on $L^p_ν$ if and only if $A_p(ω,ν)<\infty$. △ Less

Submitted 17 May, 2021; originally announced May 2021.

MSC Class: 30H20; 47B34; 42A38

Integral operators induced by symbols with non-negative Maclaurin coefficients map** into $H^\infty$

Authors: José Ángel Peláez, Jouni Rättyä, Fanglei Wu

Abstract: For analytic functions $g$ on the unit disc with non-negative Maclaurin coefficients, we describe the boundedness and compactness of the integral operator $T_g(f)(z)=\int_0^zf(ζ)g'(ζ)\,dζ$ from a space $X$ of analytic functions in the unit disc to $H^\infty$, in terms of neat and useful conditions on the Maclaurin coefficients of $g$. The choices of $X$ that will be considered contain the Hardy an… ▽ More For analytic functions $g$ on the unit disc with non-negative Maclaurin coefficients, we describe the boundedness and compactness of the integral operator $T_g(f)(z)=\int_0^zf(ζ)g'(ζ)\,dζ$ from a space $X$ of analytic functions in the unit disc to $H^\infty$, in terms of neat and useful conditions on the Maclaurin coefficients of $g$. The choices of $X$ that will be considered contain the Hardy and the Hardy-Littlewood spaces, the Dirichlet-type spaces $D^p_{p-1}$, as well as the classical Bloch and BMOA spaces. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Hilbert-type operator induced by radial weight

Authors: José Ángel Peláez, Elena de la Rosa

Abstract: We consider the Hilbert-type operator defined by $$ H_ω(f)(z)=\int_0^1 f(t)\left(\frac{1}{z}\int_0^z B^ω_t(u)\,du\right)\,ω(t)dt,$$ where $\{B^ω_ζ\}_{ζ\in\mathbb{D}}$ are the reproducing kernels of the Bergman space $A^2_ω$ induced by a radial weight $ω$ in the unit disc $\mathbb{D}$. We prove that $H_ω$ is bounded from $H^\infty$ to the Bloch space if and only if $ω$ belongs to the class… ▽ More We consider the Hilbert-type operator defined by $$ H_ω(f)(z)=\int_0^1 f(t)\left(\frac{1}{z}\int_0^z B^ω_t(u)\,du\right)\,ω(t)dt,$$ where $\{B^ω_ζ\}_{ζ\in\mathbb{D}}$ are the reproducing kernels of the Bergman space $A^2_ω$ induced by a radial weight $ω$ in the unit disc $\mathbb{D}$. We prove that $H_ω$ is bounded from $H^\infty$ to the Bloch space if and only if $ω$ belongs to the class $\widehat{\mathcal{D}}$, which consists of radial weights $ω$ satisfying the doubling condition $\sup_{0\le r<1} \frac{\int_r^1 ω(s)\,ds}{\int_{\frac{1+r}{2}}^1ω(s)\,ds}<\infty$. Further, we describe the weights $ω\in \widehat{\mathcal{D}}$ such that $H_ω$ is bounded on the Hardy space $H^1$, and we show that for any $ω\in \widehat{\mathcal{D}}$ and $p\in (1,\infty)$, $H_ω:\,L^p_{[0,1)} \to H^p$ is bounded if and only if the Muckenhoupt type condition \begin{equation*} \sup\limits_{0<r<1}\left(1+\int_0^r \frac{1}{\widehatω(t)^p} dt\right)^{\frac{1}{p}} \left(\int_r^1 ω(t)^{p'}\,dt\right)^{\frac{1}{p'}} <\infty, \end{equation*} holds. Moreover, we address the analogous question about the action of $H_ω$ on weighted Bergman spaces $A^p_ν$. △ Less

Submitted 31 July, 2020; v1 submitted 30 July, 2020; originally announced July 2020.

Harmonic conjugates on Bergman spaces induced by doubling weights

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if there exists $C=C(ω)\ge 1$ such that $\int_r^1 ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$ for all $0\le r<1$. Write $ω\in\check{\mathcal{D}}$ if there exist constants $K=K(ω)>1$ and $C=C(ω)>1$ such that $\widehatω(r)\ge C\widehatω\left(1-\frac{1-r}{K}\right)$ for all $0\le r<1$. In a recent paper, we have recently prove that the… ▽ More A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if there exists $C=C(ω)\ge 1$ such that $\int_r^1 ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$ for all $0\le r<1$. Write $ω\in\check{\mathcal{D}}$ if there exist constants $K=K(ω)>1$ and $C=C(ω)>1$ such that $\widehatω(r)\ge C\widehatω\left(1-\frac{1-r}{K}\right)$ for all $0\le r<1$. In a recent paper, we have recently prove that these classes of radial weights arise naturally in the operator theory of Bergman spaces induced by radial weights. Classical results by Hardy and Littlewood, and Shields and Williams, show that the weighted Bergman space of harmonic functions is not closed by harmonic conjugation if $ω\in\widehat{\mathcal{D}}\setminus \check{\mathcal{D}}$ and $0<p\le 1$. In this paper we establish sharp estimates for the norm of the analytic Bergman space $A^p_ω$, with $ω\in\widehat{\mathcal{D}}\setminus \check{\mathcal{D}}$ and $0<p<\infty$, in terms of quantities depending on the real part of the function. It is also shown that these quantities result equivalent norms for certain classes of radial weights. △ Less

Submitted 24 July, 2019; originally announced July 2019.

Bergman projection induced by radial weight

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The question of when the Bergman projection $P_ω$ induced by a radial weight $ω$ on the unit disc is a bounded operator from one space into another is of primordial importance in the theory of Bergman spaces. The long-standing problem of describing the radial weights $ω$ such that $P_ω$ is bounded on the Lebesgue space $L^p_ω$ had been known to experts since decades before it was formally posed by… ▽ More The question of when the Bergman projection $P_ω$ induced by a radial weight $ω$ on the unit disc is a bounded operator from one space into another is of primordial importance in the theory of Bergman spaces. The long-standing problem of describing the radial weights $ω$ such that $P_ω$ is bounded on the Lebesgue space $L^p_ω$ had been known to experts since decades before it was formally posed by Dostanić in 2004. A natural limit case of this setting is when $P_ω$ acts from $L^\infty$ to the Bloch space. The surjectivity of the operator becomes another relevant question in this limit case. The main findings of this study are shortly listed as follows. We establish characterizations of the radial weights $ω$ on the unit disc such that $P_ω:L^\infty\to\mathcal{B}$ is bounded and/or acts surjectively, or the dual of $A^1_ω$ is isomorphic to the Bloch space $\mathcal{B}$ under the $A^2_ω$-pairing. We also solve the problem posed by Dostanić under a weak regularity hypothesis on the weight involved. With regard to Littlewood-Paley estimates, we describe the radial weights $ω$ such that the norm of any function in $A^p_ω$ is comparable to the norm in $L^p_ω$ of its derivative times the distance from the boundary. This last-mentioned result solves another well-known problem on the area. All characterizations can be given in terms of doubling conditions on moments and/or tail integrals $\int_r^1ω(t)\,dt$ of $ω$, and are therefore easy to interpret. We also make substantial progress about the two weight inequality $$ \|P_ω(f)\|_{L^p_ν}\le C\|f\|_{L^p_ν},\quad f\in L^p_ν, \quad 1<p<\infty. $$ for radial weights $ω$ and $ν$. △ Less

Submitted 26 September, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

MSC Class: 47B34; 47A30; 30H20; 30H30

Radial averaging operator acting on Bergman and Lebesgue spaces

Authors: Taneli Korhonen, Jose Angel Pelaez, Jouni Rattya

Abstract: It is shown that the radial averaging operator $$ T_ω(f)(z)=\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right)ω(s)\,ds}{\widehatω(z)},\quad \widehatω(z)=\int_{|z|}^1ω(s)\,ds, $$ induced by a radial weight $ω$ on the unit disc $\mathbb{D}$, is bounded from the weighted Bergman space $A^p_ν$, where $0<p<\infty$ and the radial weight $ν$ satisfies… ▽ More It is shown that the radial averaging operator $$ T_ω(f)(z)=\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right)ω(s)\,ds}{\widehatω(z)},\quad \widehatω(z)=\int_{|z|}^1ω(s)\,ds, $$ induced by a radial weight $ω$ on the unit disc $\mathbb{D}$, is bounded from the weighted Bergman space $A^p_ν$, where $0<p<\infty$ and the radial weight $ν$ satisfies $\widehatν(r)\leq C\widehatν\left(\frac{1+r}{2}\right)$ for all $0\leq r<1$, to $L^p_ν$ if and only if the self-improving condition $\sup_{0\leq r<1}\frac{\widehatω(r)^p}{\int_{r}^1 sν(s)\,ds}\int_0^r\frac{tν(t)}{\widehatω(t)^p}\,dt<\infty$ is satisfied. Further, two characterizations of the weak type inequality $$ η\left(\left\{ z\in\mathbb{D} : |T_ω(f)(z)|\geqλ\right\}\right)\lesssimλ^{-p} \| f\|_{L^p_ν}^p,\quad λ>0, $$ are established for arbitrary radial weights $ω$, $ν$ and $η$. Moreover, differences and interrelationships between the cases $A^p_ν\to L^p_ν$, $L^p_ν\to L^p_ν$ and $L^p_ν\to L^{p,\infty}_ν$ are analyzed. △ Less

Submitted 30 November, 2018; originally announced November 2018.

MSC Class: 47G10

Hankel operators induced by radial Bekollé-Bonami weights on Bergman spaces

Authors: José Ángel Peláez, Antti Perälä, Jouni Rättyä

Abstract: We study big Hankel operators $H_f^ν:A^p_ω\to L^q_ν$ generated by radial Bekollé-Bonami weights $ν$, when $1<p\leq q<\infty$. Here the radial weight $ω$ is assumed to satisfy a two-sided doubling condition, and $A^p_ω$ denotes the corresponding weighted Bergman space. A characterization for simultaneous boundedness of $H_f^ν$ and $H_{\overline{f}}^ν$ is provided in terms of a general weighted mean… ▽ More We study big Hankel operators $H_f^ν:A^p_ω\to L^q_ν$ generated by radial Bekollé-Bonami weights $ν$, when $1<p\leq q<\infty$. Here the radial weight $ω$ is assumed to satisfy a two-sided doubling condition, and $A^p_ω$ denotes the corresponding weighted Bergman space. A characterization for simultaneous boundedness of $H_f^ν$ and $H_{\overline{f}}^ν$ is provided in terms of a general weighted mean oscillation. Compared to the case of standard weights that was recently obtained by Pau, Zhao and Zhu (Indiana Univ. Math. J. 2016), the respective spaces depend on the weights $ω$ and $ν$ in an essentially stronger sense. This makes our analysis deviate from the blueprint of this more classical setting. As a consequence of our main result, we also study the case of anti-analytic symbols. △ Less

Submitted 26 June, 2018; originally announced June 2018.

Comments: 25 pages

Radial two weight inequality for maximal Bergman projection induced by a regular weight

Authors: Taneli Korhonen, José Ángel Peláez, Jouni Rättyä

Abstract: It is shown in quantitative terms that the maximal Bergman projection \begin{equation*} P^{+}_ω(f)(z)=\int_\mathbb{D} f(ζ)|B^ω_z(ζ)|ω(ζ)\,dA(ζ), \end{equation*} is bounded from $L^p_ν$ to $L^p_η$ if and only if \begin{equation*} \sup_{0<r<1}\left(\int_0^r\frac{η(s)}{\left(\int_{s}^1ω(t)\,dt\right)^p}\,ds\right)^{\frac{1}{p}} \left(\int_r^1\left(\frac{ω(s)}{ν(s)^\frac{1}{p}}\right)^{p'}… ▽ More It is shown in quantitative terms that the maximal Bergman projection \begin{equation*} P^{+}_ω(f)(z)=\int_\mathbb{D} f(ζ)|B^ω_z(ζ)|ω(ζ)\,dA(ζ), \end{equation*} is bounded from $L^p_ν$ to $L^p_η$ if and only if \begin{equation*} \sup_{0<r<1}\left(\int_0^r\frac{η(s)}{\left(\int_{s}^1ω(t)\,dt\right)^p}\,ds\right)^{\frac{1}{p}} \left(\int_r^1\left(\frac{ω(s)}{ν(s)^\frac{1}{p}}\right)^{p'}ds\right)^{\frac{1}{p'}}<\infty, \end{equation*} provided $ω,ν,η$ are radial regular weights. A radial weight $σ$ is regular if it satisfies $σ(r)\asymp\int_{r}^1σ(t)\,dt/(1-r)$ for all $0\leq r<1$. It is also shown that under an appropriate additional hypothesis involving $ω$ and $η$, the Bergman projection $P_ω$ and $P^+_ω$ are simultaneously bounded. △ Less

Submitted 3 May, 2018; originally announced May 2018.

MSC Class: 30H20 (Primary); 47B34 (Secondary)

Small Hankel operators on generalized Fock spaces

Authors: Carme Cascante, Joan Fàbrega, Daniel Pascuas, José Ángel Peláez

Abstract: We consider Fock spaces $F^{p,\ell}_α$ of entire functions on ${\mathbb C}$ associated to the weights $e^{-α|z|^{2\ell}}$, where $α>0$ and $\ell$ is a positive integer. We compute explicitly the corresponding Bergman kernel associated to $F^{2,\ell}_α$ and, using an adequate factorization of this kernel, we characterize the boundedness and the compactness of the small Hankel operator… ▽ More We consider Fock spaces $F^{p,\ell}_α$ of entire functions on ${\mathbb C}$ associated to the weights $e^{-α|z|^{2\ell}}$, where $α>0$ and $\ell$ is a positive integer. We compute explicitly the corresponding Bergman kernel associated to $F^{2,\ell}_α$ and, using an adequate factorization of this kernel, we characterize the boundedness and the compactness of the small Hankel operator $\mathfrak{h}^{\ell}_{b,α}$ on $F^{p,\ell}_α$. Moreover, we also determine when $\mathfrak{h}^{\ell}_{b,α}$ is a Hilbert-Schmidt operator on $F^{2,\ell}_α$. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 30H20; 47B35; 47B10

Atomic decomposition and Carleson measures for weighted mixed norm spaces

Authors: José Ángel Peláez, Jouni Rättyä, Kian Sierra

Abstract: The purpose of this paper is to establish an atomic decomposition for functions in the weighted mixed norm space $A^{p,q}_ω$ induced by a radial weight $ω$ in the unit disc admitting a two-sided doubling condition. The obtained decomposition is further applied to characterize Carleson measures for $A^{p,q}_ω$, and bounded differentiation operators $D^{(n)}(f)=f^{(n)}$ acting from $A^{p,q}_ω$ to… ▽ More The purpose of this paper is to establish an atomic decomposition for functions in the weighted mixed norm space $A^{p,q}_ω$ induced by a radial weight $ω$ in the unit disc admitting a two-sided doubling condition. The obtained decomposition is further applied to characterize Carleson measures for $A^{p,q}_ω$, and bounded differentiation operators $D^{(n)}(f)=f^{(n)}$ acting from $A^{p,q}_ω$ to $L^p_μ$, induced by a positive Borel measure $μ$, on the full range of parameters $0<p,q,s<\infty$. △ Less

Submitted 21 September, 2017; originally announced September 2017.

Littlewood-Paley formulas and Carleson measures for weighted Fock spaces induced by $A_\infty$-type weights

Authors: Carme Cascante, Joan Fàbrega, José A. Peláez

Abstract: We obtain Littlewood-Paley formulas for Fock spaces $\mathcal{F}^q_{β,ω}$ induced by weights $ω\in A^{restricted}_\infty=\cup_{1\le p<\infty}A^{restricted}_{p}$, where $A^{restricted}_{p}$ is the class of weights such that the Bergman projection $P_α$, on the classical Fock space $\mathcal{F}^2_α$, is bounded on… ▽ More We obtain Littlewood-Paley formulas for Fock spaces $\mathcal{F}^q_{β,ω}$ induced by weights $ω\in A^{restricted}_\infty=\cup_{1\le p<\infty}A^{restricted}_{p}$, where $A^{restricted}_{p}$ is the class of weights such that the Bergman projection $P_α$, on the classical Fock space $\mathcal{F}^2_α$, is bounded on $$\mathcal{L}^p_{α,ω}:=\left\{f:\, \int_{\mathbb{C}}|f(z)|^pe^{-p\fracα{2}|z|^2}\,ω(z)dA(z)<\infty \right\}. $$ Using these equivalent norms for $\mathcal{F}^q_{β,ω}$ we characterize the Carleson measures for weighted Fock-Sobolev spaces $\mathcal{F}^{q,n}_{β,ω}$. △ Less

Submitted 22 December, 2016; originally announced December 2016.

Berezin transform and Toeplitz operators on weighted Bergman spaces induced by regular weights

Authors: José Ángel Peláez, Jouni Rättyä, Kian Sierra

Abstract: Given a regular weight $ω$ and a positive Borel measure $μ$ on the unit disc $\mathbb{D}$, the Toeplitz operator associated with $μ$ is $$ \mathcal{T}_μ(f)(z)=\int_{\mathbb{D}} f(ζ)\bar{B_z^ω(ζ)}\,dμ(ζ), $$ where $B^ω_{z}$ are the reproducing kernels of the weighted Bergman space $A^2_ω$. We describe bounded and compact Toeplitz operators $\mathcal{T}_μ:A^p_ω\to A^q_ω$, $1<q,p<\infty$, in te… ▽ More Given a regular weight $ω$ and a positive Borel measure $μ$ on the unit disc $\mathbb{D}$, the Toeplitz operator associated with $μ$ is $$ \mathcal{T}_μ(f)(z)=\int_{\mathbb{D}} f(ζ)\bar{B_z^ω(ζ)}\,dμ(ζ), $$ where $B^ω_{z}$ are the reproducing kernels of the weighted Bergman space $A^2_ω$. We describe bounded and compact Toeplitz operators $\mathcal{T}_μ:A^p_ω\to A^q_ω$, $1<q,p<\infty$, in terms of Carleson measures and the Berezin transform $$ \widetilde{\mathcal{T}_μ}(z)=\frac{\langle\mathcal{T}_μ(B^ω_{z}), B^ω_{z} \rangle_{A^2_ω}}{\|B_z^ω\|^2_{A^2_ω}}. $$ We also characterize Schatten class Toeplitz operators in terms of the Berezin transform and apply this result to study Schatten class composition operators. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Bergman projection induced by kernel with integral representation

Authors: José A. Peláez, Jouni Rättyä, Brett D. Wick

Abstract: Bounded Bergman projections $P_ω:L^p_ω(v)\to L^p_ω(v)$, induced by reproducing kernels admitting the representation $$ \frac{1}{(1-\overline{z}ζ)^γ}\int_0^1\frac{dν(r)}{1-r\overline{z}ζ}, $$ and the corresponding (1,1)-inequality are characterized in terms of Bekollé-Bonami-type conditions. The two-weight inequality for the maximal Bergman projection $P^+_ω:L^p_ω(u)\to L^p_ω(v)$ in terms of… ▽ More Bounded Bergman projections $P_ω:L^p_ω(v)\to L^p_ω(v)$, induced by reproducing kernels admitting the representation $$ \frac{1}{(1-\overline{z}ζ)^γ}\int_0^1\frac{dν(r)}{1-r\overline{z}ζ}, $$ and the corresponding (1,1)-inequality are characterized in terms of Bekollé-Bonami-type conditions. The two-weight inequality for the maximal Bergman projection $P^+_ω:L^p_ω(u)\to L^p_ω(v)$ in terms of Sawyer-testing conditions is also discussed. △ Less

Submitted 2 November, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: arXiv admin note: text overlap with arXiv:1304.1750 by other authors

Integral operators map** into the space of bounded analytic functions

Authors: Manuel D. Contreras, José A. Peláez, Christian Pommerenke, Jouni Rättyä

Abstract: We address the problem of studying the boundedness, compactness and weak compactness of the integral operators $T_g(f)(z)=\int_0^z f(ζ)g'(ζ)\,dζ$ acting from a Banach space $X$ into $H^\infty$. We obtain a collection of general results which are appropriately applied and mixed with specific techniques in order to solve the posed questions to particular choices of $X$. We address the problem of studying the boundedness, compactness and weak compactness of the integral operators $T_g(f)(z)=\int_0^z f(ζ)g'(ζ)\,dζ$ acting from a Banach space $X$ into $H^\infty$. We obtain a collection of general results which are appropriately applied and mixed with specific techniques in order to solve the posed questions to particular choices of $X$. △ Less

Submitted 5 April, 2016; originally announced April 2016.

Schatten classes of generalized Hilbert operators

Authors: José Ángel Peláez, Daniel Seco

Abstract: Let $\mathcal{D}_v$ denote the Dirichlet type space in the unit disc induced by a radial weight $v$ for which $\widehat{v}(r)=\int_r^1 v(s)\,ds$ satisfies the doubling property $\int_r^1 v(s)\,ds\le C \int_{\frac{1+r}{2}}^1 v(s)\,ds.$ In this paper, we characterize the Schatten classes $S_p(\mathcal{D}_v)$ of the generalized Hilbert operators \begin{equation*} \mathcal{H}_g(f)(z)=\int_0^1f(t)g… ▽ More Let $\mathcal{D}_v$ denote the Dirichlet type space in the unit disc induced by a radial weight $v$ for which $\widehat{v}(r)=\int_r^1 v(s)\,ds$ satisfies the doubling property $\int_r^1 v(s)\,ds\le C \int_{\frac{1+r}{2}}^1 v(s)\,ds.$ In this paper, we characterize the Schatten classes $S_p(\mathcal{D}_v)$ of the generalized Hilbert operators \begin{equation*} \mathcal{H}_g(f)(z)=\int_0^1f(t)g'(tz)\,dt \end{equation*} acting on $\mathcal{D}_v$, where $v$ satisfies the Muckenhoupt-type conditions $$ \sup_{0<r<1}\left(\int_r^1 \frac{\widehat{v}(s)}{(1-s)^2} \,ds\right)^{1/2} \left(\int_0^r \frac{1}{\widehat{v}(s)} \,ds\right)^{1/2}<\infty $$ and $$\sup_{0< r<1}\left(\int_{0}^r \frac{\widehat{v}(s)}{(1-s)^4}\,ds\right)^{\frac{1}{2}} \left(\int_{r}^1\frac{(1-s)^2}{\widehat{v}(s)}\,ds\right)^\frac{1}{2}<\infty. $$ For $p\ge 1$, it is proved that $\mathcal{H}_{g}\in S_p(\mathcal{D}_v)$ if and only if \begin{equation*} \int_0^1 \left((1-r)\int_{-π}^π|g'(re^{iθ})|^2\,dθ\right)^{\frac{p}{2}}\frac{dr}{1-r} <\infty. \end{equation*} △ Less

Submitted 19 October, 2015; originally announced October 2015.

MSC Class: Primary: 47B10 Secondary: 31C25; 47G10

Small weighted Bergman spaces

Authors: José Ángel Peláez

Abstract: This paper is based on the course \lq\lq Weighted Hardy-Bergman spaces\rq\rq\, I delivered in the Summer School \lq\lq Complex and Harmonic Analysis and Related Topics\rq\rq at the Mekrijärvi research station of University of Eastern Finland, June $2014$. The main purpose of this survey is to present recent progress on the theory of Bergman spaces $A^p_ω$, induced by radial weights $ω$ satisfying… ▽ More This paper is based on the course \lq\lq Weighted Hardy-Bergman spaces\rq\rq\, I delivered in the Summer School \lq\lq Complex and Harmonic Analysis and Related Topics\rq\rq at the Mekrijärvi research station of University of Eastern Finland, June $2014$. The main purpose of this survey is to present recent progress on the theory of Bergman spaces $A^p_ω$, induced by radial weights $ω$ satisfying the doubling property $\int_r^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. △ Less

Submitted 26 July, 2015; originally announced July 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1210.3311

Embedding Bergman spaces into tent spaces

Authors: José Ángel Peláez, Jouni Rättyä, Kian Sierra

Abstract: Let $A^p_ω$ denote the Bergman space in the unit disc $\mathbb{D}$ of the complex plane induced by a radial weight $ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. The tent space $T^q_s(ν,ω)$ consists of functions such that \begin{equation*} \begin{split} \|f\|_{T^q_s(ν,ω)}^q =\int_{\mathbb{D}}\left(\int_{Γ(ζ)}|f(z)|^s\,dν(z)\right)^\frac{q}sω(ζ)\,dA(… ▽ More Let $A^p_ω$ denote the Bergman space in the unit disc $\mathbb{D}$ of the complex plane induced by a radial weight $ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. The tent space $T^q_s(ν,ω)$ consists of functions such that \begin{equation*} \begin{split} \|f\|_{T^q_s(ν,ω)}^q =\int_{\mathbb{D}}\left(\int_{Γ(ζ)}|f(z)|^s\,dν(z)\right)^\frac{q}sω(ζ)\,dA(ζ) <\infty,\quad 0<q,s<\infty. \end{split} \end{equation*} Here $Γ(ζ)$ is a non-tangential approach region with vertex $ζ$ in the punctured unit disc $\mathbb{D}\setminus\{0\}$. We characterize the positive Borel measures $ν$ such that $A^p_ω$ is embedded into the tent space $T^q_s(ν,ω)$, where $1+\frac{s}{p}-\frac{s}{q}>0$, by considering a generalized area operator. The results are provided in terms of Carleson measures for $A^p_ω$. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Compact embedding derivatives of Hardy spaces into Lebesgue spaces

Authors: José Ángel Peláez

Abstract: We characterize the positive Borel measures such that the differentiation operator of order $n\in\mathbb{N}\cup\{0\}$ is compact from the Hardy space $H^p$ into $L^q(μ)$, $0<p,q<\infty$. We characterize the positive Borel measures such that the differentiation operator of order $n\in\mathbb{N}\cup\{0\}$ is compact from the Hardy space $H^p$ into $L^q(μ)$, $0<p,q<\infty$. △ Less

Submitted 19 February, 2015; originally announced February 2015.

Comments: Appears in Proc. Amer. Math. Soc. (2015)

On the boundedness of Bergman projection

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The main purpose of this survey is to gather results on the boundedness of the Bergman projection. First, we shall go over some equivalent norms on weighted Bergman spaces $A^p_ω$ which are useful in the study of this question. In particular, we shall focus on a decomposition norm theorem for radial weights~$ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. The main purpose of this survey is to gather results on the boundedness of the Bergman projection. First, we shall go over some equivalent norms on weighted Bergman spaces $A^p_ω$ which are useful in the study of this question. In particular, we shall focus on a decomposition norm theorem for radial weights~$ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. △ Less

Submitted 16 January, 2015; originally announced January 2015.

Comments: This paper is related to the minicourse "Decomposition norm theorem, L^p-behavior of reproducing kernels and two weight inequality for Bergman projection", the first author delivered in the meeting "VI International Course of Mathematical Analysis in Andalucía (VI CIDAMA)" celebrated at Antequera (Spain), September 2014

Trace class criteria for Toeplitz and composition operators on small Bergman spaces

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: We characterize the Schatten class Toeplitz operators induced by a positive Borel measure on the unit disc and the reproducing kernel of the Bergman space $A^2_ω$, where $ω$ is a radial weight satisfying the doubling property $\int_r^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. By using this, we describe the Schatten class composition operators. We also discuss basic properties of composition op… ▽ More We characterize the Schatten class Toeplitz operators induced by a positive Borel measure on the unit disc and the reproducing kernel of the Bergman space $A^2_ω$, where $ω$ is a radial weight satisfying the doubling property $\int_r^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. By using this, we describe the Schatten class composition operators. We also discuss basic properties of composition operators acting from $A^p_ω$ to $A^q_v$. △ Less

Submitted 31 December, 2014; originally announced January 2015.

Comments: arXiv admin note: text overlap with arXiv:1406.2857

Embedding theorems for Bergman spaces via harmonic analysis

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: Let $A^p_ω$ denote the Bergman space in the unit disc induced by a radial weight~$ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. The positive Borel measures such that the differentiation operator of order $n\in\mathbb{N}\cup\{0\}$ is bounded from $A^p_ω$ into $L^q(μ)$ are characterized in terms of geometric conditions when $0<p,q<\infty$. En route to the pro… ▽ More Let $A^p_ω$ denote the Bergman space in the unit disc induced by a radial weight~$ω$ with the doubling property $\int_{r}^1ω(s)\,ds\le C\int_{\frac{1+r}{2}}^1ω(s)\,ds$. The positive Borel measures such that the differentiation operator of order $n\in\mathbb{N}\cup\{0\}$ is bounded from $A^p_ω$ into $L^q(μ)$ are characterized in terms of geometric conditions when $0<p,q<\infty$. En route to the proof a theory of tent spaces for weighted Bergman spaces is built. △ Less

Submitted 6 November, 2014; originally announced November 2014.

Comments: appears in Mathematische Annalen 2014

Two weight inequality for Bergman projection

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The motivation of this paper comes from the two weight inequality $$\|P_ω(f)\|_{L^p_v}\le C\|f\|_{L^p_v},\quad f\in L^p_v,$$ for the Bergman projection $P_ω$ in the unit disc. We show that the boundedness of $P_ω$ on $L^p_v$ is characterized in terms of self-improving Muckenhoupt and Bekollé-Bonami type conditions when the radial weights $v$ and $ω$ admit certain smoothness. En route to the proof… ▽ More The motivation of this paper comes from the two weight inequality $$\|P_ω(f)\|_{L^p_v}\le C\|f\|_{L^p_v},\quad f\in L^p_v,$$ for the Bergman projection $P_ω$ in the unit disc. We show that the boundedness of $P_ω$ on $L^p_v$ is characterized in terms of self-improving Muckenhoupt and Bekollé-Bonami type conditions when the radial weights $v$ and $ω$ admit certain smoothness. En route to the proof we describe the asymptotic behavior of the $L^p$-means and the $L^p_v$-integrability of the reproducing kernels of the weighted Bergman space $A^2_ω$. △ Less

Submitted 14 December, 2014; v1 submitted 11 June, 2014; originally announced June 2014.

A generalized Hilbert matrix acting on Hardy spaces

Authors: Christos Chatzifountas, Daniel Girela, Jose Angel Pelaez

Abstract: If $μ$ is a positive Borel measure on the interval $[0, 1)$, the Hankel matrix $\mathcal H_μ=(μ_{n,k})_{n,k\ge 0}$ with entries $μ_{n,k}=\int_{[0,1)}t^{n+k}\,dμ(t)$ induces formally the operator $$\mathcal{H}_μ(f)(z)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty}μ_{n,k}{a_k}\right)z^n$$ on the space of all analytic functions $f(z)=\sum_{k=0}^\infty a_kz^k$, in the unit disc $\mathbb{D} $. In this pa… ▽ More If $μ$ is a positive Borel measure on the interval $[0, 1)$, the Hankel matrix $\mathcal H_μ=(μ_{n,k})_{n,k\ge 0}$ with entries $μ_{n,k}=\int_{[0,1)}t^{n+k}\,dμ(t)$ induces formally the operator $$\mathcal{H}_μ(f)(z)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty}μ_{n,k}{a_k}\right)z^n$$ on the space of all analytic functions $f(z)=\sum_{k=0}^\infty a_kz^k$, in the unit disc $\mathbb{D} $. In this paper we describe those measures $μ$ for which $\mathcal{H}_μ$ is a bounded (compact) operator from $H^p$ into $H^q$, $0<p,q<\infty $. We also characterize the measures $μ$ for which $\mathcal H_μ$ lies in the Schatten class $S_p(H^2)$, $1<p<\infty$. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Boundedness of the Bergman projection on $L^p$ spaces with exponential weights

Authors: Olivia Constantin, Jose Angel Pelaez

Abstract: Let $v(r)=\exp\left(-\fracα{1-r}\right)$ with $α>0$, and let $\mathbb{D}$ be the unit disc in the complex plane. Denote by $A^p_v$ the subspace of analytic functions of $L^p(\mathbb{D},v)$ and let $P_v$ be the orthogonal projection from $L^2(\mathbb{D},v)$ onto $A^2_v$. In 2004, Dostanic revealed the intriguing fact that $P_v$ is bounded from $L^p(\mathbb{D},v)$ to $A^p_v$ only for $p=2$, and he p… ▽ More Let $v(r)=\exp\left(-\fracα{1-r}\right)$ with $α>0$, and let $\mathbb{D}$ be the unit disc in the complex plane. Denote by $A^p_v$ the subspace of analytic functions of $L^p(\mathbb{D},v)$ and let $P_v$ be the orthogonal projection from $L^2(\mathbb{D},v)$ onto $A^2_v$. In 2004, Dostanic revealed the intriguing fact that $P_v$ is bounded from $L^p(\mathbb{D},v)$ to $A^p_v$ only for $p=2$, and he posed the related problem of identifying the duals of $A^p_v$ for $p\ge 1$, $p\neq 2$. In this paper we propose a solution to this problem by proving that $P_v$ is bounded from $\,L^p(\D,v^{p/2})$ to $A^p_{v^{p/2}}$ whenever $1\le p <\infty$, and, consequently, the dual of $A^p_{v^{p/2}}$ for $p\ge 1$ can be identified with $A^{q}_{v^{q/2}}$, where $1/p+1/q=1$. In addition, we also address a similar question on some classes of weighted Fock spaces. △ Less

Submitted 15 January, 2014; v1 submitted 24 September, 2013; originally announced September 2013.

Integral operators, embedding theorems and a Littlewood-Paley formula on weighted Fock spaces

Authors: Olivia Constantin, José Ángel Peláez

Abstract: We obtain a complete characterization of the entire functions $g$ such that the integral operator $(T_ g f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ$ is bounded or compact, on a large class of Fock spaces $\mathcal{F}^φ_p$, induced by smooth radial weights that decay faster than the classical Gaussian one. In some respects, these spaces turn out to be significantly different than the classical Fock spaces.… ▽ More We obtain a complete characterization of the entire functions $g$ such that the integral operator $(T_ g f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ$ is bounded or compact, on a large class of Fock spaces $\mathcal{F}^φ_p$, induced by smooth radial weights that decay faster than the classical Gaussian one. In some respects, these spaces turn out to be significantly different than the classical Fock spaces. Descriptions of Schatten class integral operators are also provided. En route, we prove a Littlewood-Paley formula for $||\cdot||_{\mathcal{F}^φ_p}$ and we characterize the positive Borel measures for which $\mathcal{F}^φ_p\subset L^q(μ)$, $0<p,q<\infty$. In addition, we also address the question of describing the subspaces of $\mathcal{F}^φ_p$ that are invariant under the classical Volterra integral operator. △ Less

Submitted 19 December, 2013; v1 submitted 28 April, 2013; originally announced April 2013.

Operator theoretic differences between Hardy and Dirichlet-type spaces

Authors: José Ángel Peláez, Fernando Pérez-González, Jouni Rättyä

Abstract: For $0<p<\infty $, the Dirichlet-type space $\Dp$ consists of those analytic functions $f$ in the unit disc $\D$ such that $\int_\D|f'(z)|\sp p(1-|z|)^{p-1}\,dA(z)<\infty$. Motivated by operator theoretic differences between the Hardy space $H^p$ and $\Dp$, the integral operator {displaymath} T_g(f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ,\quad z\in\D, {displaymath} acting from one of these spaces to anoth… ▽ More For $0<p<\infty $, the Dirichlet-type space $\Dp$ consists of those analytic functions $f$ in the unit disc $\D$ such that $\int_\D|f'(z)|\sp p(1-|z|)^{p-1}\,dA(z)<\infty$. Motivated by operator theoretic differences between the Hardy space $H^p$ and $\Dp$, the integral operator {displaymath} T_g(f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ,\quad z\in\D, {displaymath} acting from one of these spaces to another is studied. In particular, it is shown, on one hand, that $T_g:\Dp\to H^p$ is bounded if and only if $g\in\BMOA$ when $0<p\le 2$, and, on the other hand, that this equivalence is very far from being true if $p>2$. Those symbols $g$ such that $T_g:\Dp\to H^q$ is bounded (or compact) when $p<q$ are also characterized. Moreover, the best known sufficient $L^\infty$-type condition for a positive Borel measure $μ$ on $\D$ to be a $p$-Carleson measures for $\Dp$, $p>2$, is significantly relaxed, and the established result is shown to be sharp in a very strong sense. △ Less

Submitted 12 February, 2013; v1 submitted 11 February, 2013; originally announced February 2013.

MSC Class: Primary 47G10; Secondary 30H10

Schatten classes of integration operators on Dirichlet spaces

Authors: Jordi Pau, José Ángel Peláez

Abstract: We address the question of describing the membership to Schatten-Von Neumann ideals $\mathcal{S}_ p$ of integration operators $(T_ g f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ$ acting on Dirichlet type spaces. We also study this problem for multiplication, Hankel and Toeplitz operators. In particular, we provide an extension of Luecking's result on Toeplitz operators. We address the question of describing the membership to Schatten-Von Neumann ideals $\mathcal{S}_ p$ of integration operators $(T_ g f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ$ acting on Dirichlet type spaces. We also study this problem for multiplication, Hankel and Toeplitz operators. In particular, we provide an extension of Luecking's result on Toeplitz operators. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Comments: Accepted for publication in Journal d' Analyse Mathemátique, (2012)

Multipliers of Dirichlet subspaces of the Bloch space

Authors: Christos Chatzifountas, Daniel Girela, José Ángel Peláez

Abstract: For $0<p<\infty $ we let $\mathcal D^p_{p-1}$ denote the space of those functions $f$ which are analytic in the unit disc $\mathbb D $ and satisfy $\int_\mathbb D (1-| z|)\sp {p-1}| f'(z)| \sp p\,dA(z)<\infty $. It is known that, whenever $p\neq q$, the only multiplier from $\mathcal D^p_{p-1} $ to $\mathcal D^q_{q-1} $ is the trivial one. However, if $X$ is a subspace of the Bloch space and… ▽ More For $0<p<\infty $ we let $\mathcal D^p_{p-1}$ denote the space of those functions $f$ which are analytic in the unit disc $\mathbb D $ and satisfy $\int_\mathbb D (1-| z|)\sp {p-1}| f'(z)| \sp p\,dA(z)<\infty $. It is known that, whenever $p\neq q$, the only multiplier from $\mathcal D^p_{p-1} $ to $\mathcal D^q_{q-1} $ is the trivial one. However, if $X$ is a subspace of the Bloch space and $0<p\le q<\infty$, then $X \cap \mathcal D^p_{p-1}\subset X\cap \mathcal D^q_{q-1} $, a fact which implies that the space of multipliers $\M(\mathcal D^p_{p-1}\cap X, \mathcal D^q_{q-1} \cap X)$ is non-trivial. In this paper we study the spaces of multipliers $\M(\mathcal D^p_{p-1}\cap X, v\cap X)$ ($0<p,q<\infty $) for distinct classical subspaces $X$ of the Bloch space. Specifically, we shall take $X$ to be $H^\infty $, $BMOA$ and the Bloch space $\mathcal B $. △ Less

Submitted 24 November, 2012; originally announced November 2012.

Comments: 26 pages

MSC Class: 30H10; 47B35

Journal ref: Journal of Operator Theory 2014

Jointly maximal products in weighted growth spaces

Authors: Janne Gröhn, José Ángel Peláez, Jouni Rättyä

Abstract: It is shown that for any non-decreasing, continuous and unbounded doubling function $\om$ on $[0,1)$, there exist two analytic infinite products $f_0$ and $f_1$ such that the asymptotic relation $|f_0(z)| + |f_1(z)| \asymp \om(|z|)$ is satisfied for all $z$ in the unit disc. It is also shown that both functions $f_j$ for $j=0,1$ satisfy $T(r,f_j)\asymp\logω(r)$, as $r\to1^-$, and hence give exampl… ▽ More It is shown that for any non-decreasing, continuous and unbounded doubling function $\om$ on $[0,1)$, there exist two analytic infinite products $f_0$ and $f_1$ such that the asymptotic relation $|f_0(z)| + |f_1(z)| \asymp \om(|z|)$ is satisfied for all $z$ in the unit disc. It is also shown that both functions $f_j$ for $j=0,1$ satisfy $T(r,f_j)\asymp\logω(r)$, as $r\to1^-$, and hence give examples of analytic functions for which the Nevanlinna characteristic admits the regular slow growth induced by $ω$. △ Less

Submitted 4 January, 2013; v1 submitted 11 October, 2012; originally announced October 2012.

MSC Class: Primary 30J99

Generalized Hilbert operators on weighted Bergman spaces

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: The main purpose of this paper is to study the generalized Hilbert operator {equation*} \mathcal{H}_g(f)(z)=\int_0^1f(t)g'(tz)\,dt {equation*} acting on the weighted Bergman space $A^p_\om$, where the weight function $\om$ belongs to the class $\R$ of regular radial weights and satisfies the Muckenhoupt type condition {equation}\label{Mpconditionaabstract} \sup_{0\le r<1}\bigg(\int_{r}^1… ▽ More The main purpose of this paper is to study the generalized Hilbert operator {equation*} \mathcal{H}_g(f)(z)=\int_0^1f(t)g'(tz)\,dt {equation*} acting on the weighted Bergman space $A^p_\om$, where the weight function $\om$ belongs to the class $\R$ of regular radial weights and satisfies the Muckenhoupt type condition {equation}\label{Mpconditionaabstract} \sup_{0\le r<1}\bigg(\int_{r}^1(\int_t^1\om(s)ds)^{-\frac{p'}{p}}\,dt\bigg)^\frac{p}{p'} \int_{0}^r(1-t)^{-p}(\int_t^1\om(s)ds)\,dt<\infty. \tag† {equation} If $q=p$, the condition on $g$ that characterizes the boundedness (or the compactness) of $\hg: A^p_\om\to A^q_\om$ depends on $p$ only, but the situation is completely different in the case $q\ne p$ in which the inducing weight $\om$ plays a crucial role. The results obtained also reveal a natural connection to the Muckenhoupt type condition \eqref{Mpconditionaabstract}. Indeed, it is shown that the classical Hilbert operator (the case $g(z)=\log\frac{1}{1-z}$ of $\H_g$) is bounded from $L^p_{\int_{t}^1\om(s)\,ds}([0,1))$ (the natural restriction of $A^p_\om$ to functions defined on $[0,1)$) to $A^p_\om$ if and only if $\om$ satisfies the condition \eqref{Mpconditionaabstract}. On the way to these results decomposition norms for the weighted Bergman space $A^p_\om$ are established. △ Less

Submitted 10 March, 2013; v1 submitted 11 October, 2012; originally announced October 2012.

Comments: This paper has been accepted for publication in Advances in Mathematics

MSC Class: Primary 30H20; Secondary 47G10

Weighted Bergman spaces induced by rapidly incresing weights

Authors: José Ángel Peláez, Jouni Rättyä

Abstract: This monograph is devoted to the study of the weighted Bergman space $A^p_\om$ of the unit disc $\D$ that is induced by a radial continuous weight $\om$ satisfying {equation}\label{absteq} \lim_{r\to 1^-}\frac{\int_r^1\om(s)\,ds}{\om(r)(1-r)}=\infty.\tag† {equation} Every such $A^p_\om$ lies between the Hardy space $H^p$ and every classical weighted Bergman space $A^p_\a$. Even if it is we… ▽ More This monograph is devoted to the study of the weighted Bergman space $A^p_\om$ of the unit disc $\D$ that is induced by a radial continuous weight $\om$ satisfying {equation}\label{absteq} \lim_{r\to 1^-}\frac{\int_r^1\om(s)\,ds}{\om(r)(1-r)}=\infty.\tag† {equation} Every such $A^p_\om$ lies between the Hardy space $H^p$ and every classical weighted Bergman space $A^p_\a$. Even if it is well known that $H^p$ is the limit of $A^p_\a$, as $\a\to-1$, in many respects, it is shown that $A^p_\om$ lies "closer" to $H^p$ than any $A^p_\a$, and that several finer function-theoretic properties of $A^p_\a$ do not carry over to $A^p_\om$. As to concrete objects to be studied, positive Borel measures $μ$ on $\D$ such that $A^p_\om\subset L^q(μ)$, $0<p\le q<\infty $, are characterized in terms of a neat geometric condition involving Carleson squares. It is also proved that each $f\in A^p_\om$ can be represented in the form $f=f_1\cdot f_2$, where $f_1\in A^{p_1}_\om$, $f_2\in A^{p_2}_\om$ and $\frac{1}{p_1}+ \frac{1}{p_2}=\frac{1}{p}$. Because of the tricky nature of $A^p_\om$ several new concepts are introduced. It gives raise to a some what new approach to the study of the integral operator $$ T_g(f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ. $$ This study reveals the fact that $T_g:A^p_\om\to A^p_\om$ is bounded if and only if $g$ belongs to a certain space of analytic functions that is not conformally invariant. The symbols $g$ for which $T_g$ belongs to the Schatten $p$-class $\SSS_p(A^2_\om)$ are also described. Furthermore, techniques developed are applied to the study of the growth and the oscillation of analytic solutions of (linear) differential equations. △ Less

Submitted 11 October, 2012; originally announced October 2012.

Comments: accepted

MSC Class: Primary 30H20; Secondary 47G10

Journal ref: Memoirs of the American Mathematical Society, 2013

Generalized Hilbert Operators

Authors: Petros Galanopoulos, Daniel Girela, José Ángel Peláez, Aristomenis Siskakis

Abstract: If $g$ is an analytic function in the unit disc $\D $ we consider the generalized Hilbert operator $\hg$ defined by {equation*}\label{H-g} \mathcal{H}_g(f)(z)=\int_0^1f(t)g'(tz)\,dt. {equation*} We study these operators acting on classical spaces of analytic functions in $\D $. More precisely, we address the question of characterizing the functions $g$ for which the operator $\hg $ is bounded (com… ▽ More If $g$ is an analytic function in the unit disc $\D $ we consider the generalized Hilbert operator $\hg$ defined by {equation*}\label{H-g} \mathcal{H}_g(f)(z)=\int_0^1f(t)g'(tz)\,dt. {equation*} We study these operators acting on classical spaces of analytic functions in $\D $. More precisely, we address the question of characterizing the functions $g$ for which the operator $\hg $ is bounded (compact) on the Hardy spaces $H^p$, on the weighted Bergman spaces $A^p_α$ or on the spaces of Dirichlet type $\mathcal D^p_α$. △ Less

Submitted 4 September, 2012; originally announced September 2012.

MSC Class: 47B35; 30H10

Journal ref: Ann. Acad. Sci. Fenn. Math. 2014