Search arXivSearch

arXiv · 0812.2667

Upper Triangular Operator Matrices, SVEP and Browder. Weyl Theorems

Abstract

A Banach space operator $T\in B({\cal X})$ is polaroid if points $λ\in\isoσσ(T)$ are poles of the resolvent of $T$. Let $σ_a(T)$, $σ_w(T)$, $σ_{aw}(T)$, $σ_{SF_+}(T)$ and $σ_{SF_-}(T)$ denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi--Fredholm and lower semi--Fredholm spectrum of $T$. For $A$, $B$ and $C\in B({\cal X})$, let $M_C$ denote the operator matrix $(A & C 0 & B)$. If $A$ is polaroid on $π_0(M_C)=\{λ\in\isoσ(M_C) 0<\dim(M_C-λ)^{-1}(0)<\infty\}$, $M_0$ satisfies Weyl's theorem, and $A$ and $B$ satisfy either of the hypotheses (i) $A$ has SVEP at points $λ\inσ_w(M_0)\setminusσ_{SF_+}(A)$ and $B$ has SVEP at points $μ\inσ_w(M_0)\setminusσ_{SF_-}(B)$, or, (ii) both $A$ and $A^*$ have SVEP at points $λ\inσ_w(M_0)\setminusσ_{SF_+}(A)$, or, (iii) $A^*$ has SVEP at points $λ\inσ_w(M_0)\setminusσ_{SF_+}(A)$ and $B^*$ has SVEP at points $μ\inσ_w(M_0)\setminusσ_{SF_-}(B)$, then $σ(M_C)\setminusσ_w(M_C)=π_0(M_C)$. Here the hypothesis that $λ\inπ_0(M_C)$ are poles of the resolvent of $A$ can not be replaced by the hypothesis $λ\inπ_0(A)$ are poles of the resolvent of $A$. For an operator $T\in B(\X)$, let $π_0^a(T)=\{λ:λ\in\isoσ_a(T), 0<\dim(T-λ)^{-1}(0)<\infty\}$. We prove that if $A^*$ and $B^*$ have SVEP, $A$ is polaroid on $π_0^a(\M)$ and $B$ is polaroid on $π_0^a(B)$, then $σ_a(\M)\setminusσ_{aw}(\M)=π_0^a(\M)$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

B. P. Duggal. 2008-12-14. Upper Triangular Operator Matrices, SVEP and Browder. Weyl Theorems. https://arxiv.org/abs/0812.2667

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Norm attaining dual truncated Toeplitz operators

In this paper, we investigate norm attainment for dual truncated Toeplitz operators $D_\vp$ acting on $\clk_u^\perp=uH^2\oplus H^2_{-}$, where $u$ is a nonconstant inner function and $\vp\in L^\infty(\T)$. Our main focus is the structure of extremal vectors and the distinction between global and componentwise norm attainment. For arbitrary $\vp\in L^\infty(\T)$, we establish an exact norm-defect identity and characterize the extremal space in terms of the essential maximum set $E_\vp=\{ζ\in\T:|\vp(ζ)|=\|\vp\|_\infty\}$. As a consequence, when $u$ is a finite Blaschke product, \[ D_\vp\in\mathcal{NA}\quad\Longleftrightarrow\quad m(E_\vp)>0. \] In this case, whenever $D_\vp$ is norm attaining, its extremal space is infinite-dimensional. We further show that the sets of symbols generating norm attaining and non-norm attaining DTTOs are both norm dense in $L^\infty(\T)$. Consequently, both the norm attaining and the non-norm attaining DTTOs are operator-norm dense in the class of all DTTOs associated with $u$. For unimodular symbols, we characterize extremality by the condition $M_\vp f\in\clk_u^\perp$ and equivalently by a truncated Hankel kernel condition. For mixed extremal vectors $f=x\oplus y$, we derive the identity \[ \|D_\vp x\|^2-\|x\|^2=\|D_\vp y\|^2-\|y\|^2=-\langle D_\vp x,D_\vp y\rangle, \] which yields a phase-rotation criterion and coupled Toeplitz--Hankel relations. We also show that global norm attainment may occur even when neither the analytic nor the coanalytic component contains a nonzero extremal vector. Under additional Hardy-space hypotheses, we obtain factorization criteria for componentwise extremals, construct explicit extremal families for quotient-inner symbols, and relate norm attainment of Toeplitz operators to that of dual truncated Toeplitz operators.

math.FA

A Constructive Framework for Generalized Fourier Transforms via Truncate-and-Generalized Limits

This paper introduces a constructive definition of generalized Fourier transforms based entirely on ordinary truncated Fourier integrals and ordered dual-domain limits, within the framework of improper Riemann integration and classical analysis. The proposed truncate-and-generalized-limit (t.g.l.) formulation does not require test-function spaces, Lebesgue measure theory, or duality pairings in its proofs: the forward and inverse transforms are defined directly through finite-domain truncation of the target function, followed by successive ordered limits in the time and frequency domains. As consequences of this constructive definition, the formulation provides a unified treatment of non-decaying, oscillatory, and locally singular functions beyond the classical L1(R) setting; reveals an inherent asymmetry between the forward transform, interpreted as a first-order generalized-limit family, and the inverse transform, which requires frequency-domain truncation to generate pointwise reconstruction through Dirichlet-type oscillatory localisation; and clarifies the distinction between the t.g.l. approach and distribution theory, where generalized Fourier transforms are introduced through duality pairings rather than constructed from ordinary integrals. The inversion formula is established rigorously for two concrete admissible classes using only the classical Dirichlet convergence theorem. Several examples confirm that the framework covers constants, polynomials, periodic functions, singular kernels, and chirp signals within a single constructive scheme.

math.FA

Every compact operator is a commutator of compact operators

We prove that every compact operator $T$ on a separable infinite-dimensional complex Hilbert space is a commutator of two compact operators, thereby answering a question of Pearcy and Topping. Moreover, the compact factors $A$ and $B$ can be chosen such that $[A, B] = T$ and $\max\{\Vert{}A\Vert{},\Vert{}B\Vert{}\}\leq c\Vert{}T\Vert{}^{1/2}$ for a universal constant $c$.

math.FA