Spectrum, resolvent, numerical range, functional calculus, operator semigroups. Special classes of operators: compact, Fredholm, dissipative, differential, integral, pseudodifferential, etc.

learn more… | top users | synonyms

32
votes
0answers
1k views

Set-theoretic reformulation of the invariant subspace problem

The invariant subspace problem (ISP) for Hilbert spaces asks whether every bounded linear operator $A$ on $l^2$ (with complex scalars) must have a closed invariant subspace other than $\{0\}$ and ...
27
votes
1answer
2k views

tr(ab)=tr(ba), part 2.

This is a Banach space version of Andre Henriques' question Trace Question for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
14
votes
5answers
804 views

How far is a set of vectors from being orthogonal?

Given some vectors, how many dimensions do you need to add (to their span) before you can find some mutually orthogonal vectors that project down to the original ones? Or, more formally... Suppose ...
14
votes
1answer
569 views

Convexity of spectral radius of Markov operators, Random walks on non-amenable groups

Let $P_1,P_2$ denote stochastic transition matrices on a countable set $I$. Consider $P_1,P_2$ as operators on $\ell^2(I)$ given by multiplication. Question Under which conditions can we show that ...
13
votes
2answers
615 views

Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?

Let $X$ and $Y$ be Banach spaces. The notion of the embedded spaces was introduced by D.S. Djordjevic. Say that $X$ embed in $Y$, and write $X \preceq Y$, if there exists a left invertible operator ...
13
votes
1answer
350 views

Is the space of Hankel operators complemented in B(H)?

Let $H$ be $\ell^2({\mathbb N})$ and let $S:H\to H$ be the unilateral forward shift, so that $S^*S=I\neq SS^*$. Then a bounded operator $T:H\to H$ is Hankel if and only if it satisfies $TS=S^*T$. Let ...
11
votes
1answer
451 views

Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one. Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is ...
11
votes
1answer
701 views

Decomposition of positive definite matrices.

It is known that a $n^2 \times n^2$ positive semidefinite matrix $A$ cannot always be written as a finite sum $$ A=\sum_{j} B_j \otimes C_j $$ with $B_j$ and $C_j$ positive semidefinite matrices (of ...
10
votes
3answers
1k views

Projections in Banach spaces

Dear All, I am absolutely lost in the following problem: Let $P_s, \: s \in [0,1],$ be a uniformly bounded family of projections (idempotents) in a Banach space $X$ such that $P_s P_t = P_{{\rm ...
9
votes
3answers
184 views

Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?

Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...
9
votes
1answer
572 views

Quasi-nilpotent trace class operators as limits of nilpotents

In as yet unwritten work with T. Figiel and A. Szankowski we make an observation in a Banach space context that for Hilbert spaces reduces to: If $T$ is a quasi-nilpotent (i.e., has only $0$ in its ...
9
votes
2answers
362 views

Is $\mathcal{B}^{\mathbb{Z}}(l^\infty(\mathbb{Z}))$ a commutative algebra?

Consider $l^\infty(\mathbb{Z})$ the Banach space of bounded complex valued functions on the abelian group $\mathbb{Z}$ with the supremum norm. It has a natural action by $\mathbb{Z}$ given by ...
9
votes
1answer
274 views

A version of von Neumann inequality

Assume that $X,Y,Z$ are three commuting operators acting in a Hilbert space $H$. Assume also that they satisfy following properties: 1) $\|Z\| \le 1$, i.e. $Z$ is a contraction; 2) For any complex ...
9
votes
0answers
308 views

Functional calculus of unitary matrices and commutator norms: reference request

Suppose we have a normal matrix $A$ and a general matrix $B$. For a continuous function $f$ on the disk we can find upper-bounds on $\Vert[f(A),B]\Vert$ in terms of $\Vert[A,B]\Vert$. The more we know ...
7
votes
1answer
193 views

Fredholm theory on Fr\'echet spaces

Dear everybody, In my study of the classial Fredholm theory on Banach spaces, I am interested in the corresponding Fredholm theory on Fr\'echet spaces. But it seems to me that there is little ...
7
votes
1answer
553 views

How to transform matrix to this form by unitary transformation?

Without loss of gernerality, we can only consider $n$-dimensional diagonal matrix $M$ whose elements are all nonnegative, i.e. $$M=\operatorname{diag}(m_1,m_2,\cdots,m_n)\ (m_i \geq 0).$$ Then is ...
6
votes
2answers
991 views

When is an integral transfrom trace class?

Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator $$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$ the operator $K$ is Hilbert ...
6
votes
1answer
183 views

Is there a nice “minimum” of two symmetric operators?

Let $A$ and $B$ be two bounded symmetric positive operators in Hilbert space, such that $A-B$ is trace class. If needed, $A$ and $B$ may be assumed reasonably "small", let's say, Hilbert-Schmidt. ...
6
votes
2answers
211 views

Expression of a non-orthogonal projection in a $C^*$ algebra via an orthogonal one

A paper I'm currently reading uses the following fact. If $A$ is a unital $C^*$-algebra, $P=P^2\in A$, then there are $T, F\in A$ s.t. $F$ is an orthogonal projection ($F=F^*=F^2$) and ...
6
votes
1answer
218 views

A doubt about the parts of the spectrum of tensor products

Let $\mathcal{H}$ be any complex Hilbert space of infinite dimensional. By an operator $T$ I mean a linear bounded transformation from $\mathcal{H}$ into $\mathcal{H}$, i.e, ...
6
votes
2answers
312 views

Extension of weakly compact operators from $\ell_1$ into $c_0$

Is every weakly compact operator from $\ell_1$ into $c_0$ extendible to any larger space? Equivalently, is every weakly compact operator from $\ell_1$ into $c_0$ extendible to $\ell_\infty$?
6
votes
1answer
194 views

Realisation of noncommutative torus

One of the most basic examples in noncommutative geometry is the so called noncommutative torus to be denoted by $\mathbb{T}_{\theta}$. As far as I know, there are several equivalent constructions of ...
6
votes
1answer
288 views

Is there an algebra for divergent series summation operators?

Let $D$ denote a divergent series and let $C$ denote a convergent series. Furthermore, let $s : $ { Series } $\to$ $\mathbb{C}$ be a regular, linear divergent series operator, which is either one ...
6
votes
1answer
181 views

Absolutely 2-summable operator on a Hilbert space

An bouneded linear operator $A \in L(X, Y)$ (here $X$, $Y$ are Banach spaces) is called absolutely $2$-summable if there exists a $C>0$ such that $$ \left( \sum_{j=1}^N \| A x_j\|_X^2 \right)^{1/2} ...
6
votes
0answers
222 views

What is the intersection of the closures of left invertible operators and right invertible operators?

From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that $$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = ...
6
votes
1answer
274 views

Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by $$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$ Is it possible to decompose this into two separate ...
5
votes
5answers
316 views

If two projections are close, then they are unitarily equivalent

Given two projections $p,q\in B(H)$, it is well-known that if $\|p-q\|<1$, then there exists a unitary $u\in B(H)$ with $q=upu^*$. The proof that immediately occurs to me uses comparison of ...
5
votes
3answers
521 views

Why do we distinguish the continuous spectrum and the residual spectrum?

As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension. If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
5
votes
2answers
184 views

Is a semigroup always an exponential?

Let $H$ be a Banach space, $\mathscr{B}(H)=\{T:H\to H: \text{where $T$ is a bounded linear operator}\}$, and $S:[0,\infty)\to \mathscr{B}(H)$, a map with the following properties: $$ S(0)=I, \quad ...
5
votes
1answer
246 views

Strongly convergent operator sequence

Let $T_j$ be a sequence of compact operators on a Hilbert space $H$ which converges strongly to the identity, i.e., for each $v\in H$ the sequence $$ \parallel T_jv-v\parallel $$ tends to zero. Is it ...
5
votes
1answer
299 views

Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} ...
5
votes
1answer
116 views

Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$. (This is also called a Feller Semigroup.) ...
5
votes
1answer
188 views

Self-adjoint operator

Assume that $B$ is a self-adjoint operator and $\alpha\in(0,1)$. I need a reference for the following equality $$B^{-\alpha}=\frac{\sin\alpha \pi}{\pi}\int_0^\infty ...
5
votes
1answer
190 views

definition of accretive operator

A relation T with domain and range in a Hilbert space is said to be accretive if the transformation $ (T − \lambda)/(T + \bar \lambda\ ) $ with domain and range in the Hilbert space is contractive for ...
5
votes
2answers
286 views

Operators from $L^{\infty}$ to $L^{\infty}$

If $T$ defined as $T(f)(x)=\int K(x,y)f(y)dy$, where $K(x,y)$ is locally integrable, is bounded from $L^{\infty}$ to $L^{\infty}$, how can we show that $\|\int|K(\cdot,y)|dy\|_{L^{\infty}}\le ...
5
votes
1answer
136 views

purely point spectrum as compactness of orbits

Let $U$ be a unitary operator in a complex separable Hilbert space $H$. Assume that for any vector $x$ its orbit $\{x,Ux,U^2x,\dots\}$ is precompact in $X$ (i.e. closure is compact). Then there exists ...
5
votes
0answers
186 views

Essential unitary equivalence

Let us agree that heuristic meaning of the word "essential" is: up to compact operator. There is clear notion of unitary equivalent operators. What is the proper notion of two operators being ...
4
votes
6answers
588 views

Is there an analog of determinant for linear operators in infinite dimensions as that of finite dimensions?

I am trying to find out the essence of what a determinant is. Besides, in finite dimensions, determinant is the kind of numerical invariant that determines the invertibility of a linear operator, but ...
4
votes
3answers
423 views

Inequality of von Neumann for more than two contractions

Good morning, I'm doing the Master 2 Practice at the University of Toulouse 3, France, on the spectral Nevanlinna-Pick interpolation, via operator theory. This problem leads to study the symmetrized ...
4
votes
2answers
265 views

Projections in a W*-algebra as a continuous lattice?

A continuous lattice is a complete lattice $L$ in which every element $y$ is equal to $\bigvee${$x \in L \mid x \ll y$} where $x \ll y$ ("x approximates y" or "x is way below y") if for any directed ...
4
votes
2answers
226 views

Imaginary part of a spectrum

Let $H$ be a Hilbert space, $A$ be a normal bounded operator on $H$ with spectrum $\sigma(A)=\{\lambda\in \mathbb{C}\;|\;A-\lambda Id \text{ is not invertible }\}$. Is ...
4
votes
1answer
338 views

An inequality involving operator and trace norms

Consider two square matrices $A, B \in \mathbb{R}^{n \times n}$ and let $\| \cdot\|_1$ and $\|\cdot\|$ be, respectively, the trace norm (the sum of singular values) and the usual operator norm (the ...
4
votes
1answer
136 views

Examples of special isometries

Are there examples of (distinct) Hilbert spaces $H_1$=$(H,\langle\cdot,\cdot\rangle_1)$, $H_2 $=$(H,\langle\cdot,\cdot\rangle_2)$ and a linear operator $V: H_1\to H_2$ such that $V^n: H_1\to H_2$ is ...
4
votes
1answer
247 views

extending compact operators to c0

Lindenstrauss has the following paper: http://www.ams.org/journals/bull/1962-68-05/S0002-9904-1962-10787-3/S0002-9904-1962-10787-3.pdf I would like to see the proof for the following theorem (from ...
4
votes
0answers
93 views

When is an inner derivation a Fredholm operator?

Let $\mathcal{B}(H)$ denote the algebra of bounded operators on a Hilbert space $H$. I'm interested in inner derivations acting on the Schatten ideals $L^p\subseteq\mathcal{B}(H)$ (defined by ...
4
votes
0answers
46 views

Strictly convex renormings making power bounded operators into contractions

Let $X$ be a Banach space and let $T$ be a power bounded linear operator on $X$ (i.e. $\sup_{n\ge0}\|T^n\|_{op}<\infty$). We can of course define an equivalent norm $\|\cdot\|'$ on $X$ so that ...
4
votes
0answers
433 views

Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
4
votes
0answers
99 views

Containment of an element to an operator system

This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
4
votes
0answers
326 views

The spectrum of a Markov Operator and Invariant Measures

Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
4
votes
0answers
188 views

The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$

The Dunkl intertwinig operator $V_k$ on $C(\mathbb{R}^d)$ is defined by: $$V_k f(x)=\int_{\mathbb{R}^d}f(y)d\mu_x(y),$$ where $d\mu_x$ is a probability measure on $\mathbb{R}^d$ with support in the ...