Nuclear Fréchet spaces of entire functions with transitive differentiation (Q1317290): Difference between revisions

A continuous linear operator on an infinite dimensional complex topological vector space is called transitive if it has no nontrivial closed invariant subspace. The author constructs an infinite dimensional nuclear Fréchet space of entire functions on which the differentiation operator is continuous and transitive. This is of interest since it is an open problem whether such operators can exist on reflexive Banach spaces, and for Hilbert spaces the problem is equivalent to the problem of finding a Hilbert space of entire functions with reproducing kernel on which the differentiation operator is continuous and transitive. Let \(0 < \alpha < 1\). For positive \(\varepsilon\) and \(a\) define a function \(w_{\varepsilon,a}\) on \(\mathbb{C}\) by \[ w_{\varepsilon,a} (z) = \exp \biggl[ - \varepsilon \bigl( | z | + \text{Re} z) + a | z |^ \alpha \biggr] \] and denote by \(H_{\varepsilon,a}\) the vector space of all entire functions \(f\) for which the norm \[ q_{\varepsilon,a} (f) = \Bigl( \int_ \mathbb{C} | f |^ 2 w^ 2_{\varepsilon,a} dA \Bigr)^{1/2} \] is finite where \(dA\) denotes two- dimensional measure on \(\mathbb{C}\). For \(n \in \mathbb{N}\) let \(H_ n = H_{1/n,n}\) and \(q_ n = q_{1/n,n}\) and \(F_ \alpha: = \cap^ \infty_{n = 1}H_ n\). The author shows by straightforward arguments that \(F_ \alpha\) is an infinite-dimensional nuclear Fréchet space. Moreover, by an ingenious application of a division theorem for analytic functions [\textit{V. I. Matsaev}, \textit{E. Z. Mogulskij}, Zapiski Nauchn. Sem. Leningrad. Otd. Mat. Inst. Steklov 56, 73-89 (1976; Zbl 0351.30034)], he shows that, for \(1/2 < \alpha < 1\), the differentiation operator on \(F_ \alpha\) is transitive.