Optimal growth of entire functions frequently hypercyclic for the differentiation operator

DOI10.1016/J.JFA.2012.09.007MaRDI QIDQ694770zbMATH OpenOpenAlexWikidataFDO

Authors David Drasin, Eero Saksman

Publication date 13 December 2012

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

differentiation operator entire functions frequently hypercyclic operator rate of growth

Mathematics Subject Classification ID

Cyclic vectors, hypercyclic and chaotic operators (47A16)

Abstract: We solve a problem posed by A. Bonilla and K.-G. Grosse-Erdmann by constructing an entire function

f

that is frequently hypercyclic with respect to the differentiation operator, and satisfies

M_{f} (r) l e q d i s p l a y s t y l e c e^{r} r^{- 1 / 4}

, where

c > 0

be chosen arbirarily small. The obtained growth rate is sharp. We also obtain optimal results for the growth when measured in terms of average

L^{p}

-norms. Among other things, the proof applies Rudin-Shapiro polynomials and heat kernel estimates.

Review text

A continuous linear operator on a Banach or Fréchet space \(X\) is said to be frequently hypercyclic if there exists a vector \(x\in X\) such that the set \(\{n\geq 1:T^{n}x\in U\}\) has positive lower density for any non-empty open subset \(U\) of \(X\). The authors are interested in the study of frequently hypercyclic functions for the differentiation operator \(D\) acting on the space \(\mathcal{E}\) of entire functions on \(\mathbb{C}\), endowed with the compact-open topology. It is known that \(D\) is a frequently hypercyclic operator on \(\mathcal{E}\), and Bonilla and Grosse-Erdmann posed the question of the optimal growth of functions which are frequently hypercyclic for \(D\). It was proved in [\textit{O. Blasco} et al., Proc. Edinb. Math. Soc., II. Ser. 53, No. 1, 39--59 (2010; Zbl 1230.47019)] that such a function \(f\) must satisfy \(\liminf _{r\to +\infty} r^{\frac{1}{4}}e^{-r}M_{f}(r)>0\), where \(M_{f}(r)\) is the supremum of \(f\) on the circle of radius \(r\). The main result of this paper is that this growth rate is optimal: the authors construct for each \(c>0\) an entire function \(f\) which is frequently hypercyclic for \(D\) and such that \(M_{f}(r)\leq ce^{r}r^{-\frac{1}{4}}\). The construction of such functions is very interesting. It involves Rudin-Shapiro polynomials, i.e., trigonometric polynomials with coefficients equal to \(1\) or \(-1\) whose sup norm is minimal. The bounds on \(M_{f}(r)\) are obtained thanks to some heat kernel estimates, which allow the authors to prove that certain Fourier multipliers are bounded on \(L^{p}(\mathbb{T})\). Analogous optimal growth rates in terms of average \(L^{p}\) norms for \(D\)-frequently hypercyclic functions are also obtained.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Optimal growth of entire functions frequently hypercyclic for the differentiation operator

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