Table of Contents
Fetching ...

Finite rank perturbations of normal operators: hyperinvariant subspaces and a problem of Pearcy

Eva A. Gallardo-Gutiérrez, F. Javier González-Doña

Abstract

Finite rank perturbations of diagonalizable normal operators acting boundedly on infinite dimensional, separable, complex Hilbert spaces are considered from the standpoint of view of the existence of invariant subspaces. In particular, if $T=D_Λ+u\otimes v$ is a rank-one perturbation of a diagonalizable normal operator $D_Λ$ with respect to a basis $\mathcal{E}=\{e_n\}_{n\geq 1}$ and the vectors $u$ and $v$ have Fourier coefficients $\{α_n\}_{n\geq 1}$ and $\{β_n\}_{n\geq 1}$ with respect to $\mathcal{E}$ respectively, it is shown that $T$ has non trivial closed invariant subspaces provided that either $u$ or $v$ have a Fourier coefficient which is zero or $u$ and $v$ have non zero Fourier coefficients and $$ \sum_{n\geq 1} |α_n|^2 \log \frac{1}{|α_n|} + |β_n|^2 \log \frac{1}{|β_n|} < \infty.$$ As a consequence, if $(p,q)\in (0,2]\times (0,2]$ are such $\sum_{n\geq 1} (|α_n|^p + |β_n|^q )< \infty,$ it is shown the existence of non trivial closed invariant subspaces of $T$ whenever $$(p,q)\in (0,2]\times (0,2]\setminus \{(2, r), (r, 2):\; r\in(1,2]\}.$$ Moreover, such operators $T$ have non trivial closed hyperinvariant subspaces whenever they are not a scalar multiple of the identity. Likewise, analogous results hold for finite rank perturbations of $D_Λ$. This improves considerably previous theorems of Foiaş, Jung, Ko and Pearcy, Fang and Xia and the authors on an open question explicitly posed by Pearcy in the seventies.

Finite rank perturbations of normal operators: hyperinvariant subspaces and a problem of Pearcy

Abstract

Finite rank perturbations of diagonalizable normal operators acting boundedly on infinite dimensional, separable, complex Hilbert spaces are considered from the standpoint of view of the existence of invariant subspaces. In particular, if is a rank-one perturbation of a diagonalizable normal operator with respect to a basis and the vectors and have Fourier coefficients and with respect to respectively, it is shown that has non trivial closed invariant subspaces provided that either or have a Fourier coefficient which is zero or and have non zero Fourier coefficients and As a consequence, if are such it is shown the existence of non trivial closed invariant subspaces of whenever Moreover, such operators have non trivial closed hyperinvariant subspaces whenever they are not a scalar multiple of the identity. Likewise, analogous results hold for finite rank perturbations of . This improves considerably previous theorems of Foiaş, Jung, Ko and Pearcy, Fang and Xia and the authors on an open question explicitly posed by Pearcy in the seventies.
Paper Structure (8 sections, 21 theorems, 110 equations, 4 figures)

This paper contains 8 sections, 21 theorems, 110 equations, 4 figures.

Key Result

Theorem 1

Let $H$ be an infinite dimensional, separable, complex Hilbert space and $\mathcal{E} =\{e_n\}_{n\geq 1}$ and orthonormal basis of $H$. Let $u= \sum_{n=1}^{\infty} \alpha_ne_n$ and $v = \sum_{n=1}^{\infty} \beta_ne_n$ be non zero vectors in $H$. Suppose $\Lambda=\{\lambda_n\}_{n\geq 1}$ is any bound has non trivial closed invariant subspaces provided that Moreover, $T$ has non trivial closed hype

Figures (4)

  • Figure 1:
  • Figure 2:
  • Figure 3:
  • Figure 4:

Theorems & Definitions (30)

  • Theorem : Foias, Jung, Ko and Pearcy, FJKP07
  • Theorem : Fang and Xia, FX12
  • Theorem : Gallardo-Gutiérrez and González-Doña, GG
  • Theorem : Theorem \ref{['main result']}
  • Theorem : Ionascu I01
  • Proposition
  • Corollary 1.1
  • Theorem : Theorem 3.2, GG
  • Theorem 2.1
  • Lemma 2.2
  • ...and 20 more