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

learn more… | top users | synonyms

5
votes
2answers
205 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 ...
2
votes
0answers
46 views

Is the Szego projection on a codim-$k$ CR manifold an integral operator?

The Szego projection on a CR manifold $M$ is defined to be the orthogonal projection from $L^2(M)$ to the closed subspace $H^2(M),$ where $$H^2(M) = \{f \in L^2(M)\ |\ \bar{\partial}_{b}f = 0\ ...
7
votes
5answers
515 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 ...
4
votes
5answers
456 views

About the trace class operators and their motivation

What is the motivation for trace class operators? Can any body suggest the most general and standard reference that includes Schatten p class operators as well. I have following references ...
4
votes
1answer
328 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 ...
4
votes
0answers
203 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 ...
6
votes
2answers
271 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 ...
0
votes
0answers
85 views

“Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs). Then $||AB||_{op} \leq ...
9
votes
2answers
385 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 ...
1
vote
0answers
275 views

Compact integral operator

I have a question regarding compact integral operators on $L^{2}({\Omega})$ with $\Omega$ a bounded domain in $\mathbb{R^{n}}$ Suppose we are given $T$ from $L^{2}(\Omega)$ to $L^{2}(\Omega)$ as ...
0
votes
0answers
81 views

Spectrum of an operator from Transpose sum

I was wondering if there is anything we can know about the spectrum of an operator $A$ if we know that $M = A + A^{T}$ is a positive operator?
2
votes
2answers
118 views

Given a subdomain of GL(n), when is the map from matrices to their matrices of eigenvectors a diffeomorphism?

I'm wondering if there are any general conditions on a subdomain of $GL(n)$, which would guarantee that the map from a matrix to its matrix of eigenvectors is a diffeomorphism. For example, given a ...
2
votes
0answers
63 views

series representation for *un*bounded perturbations of semigroup generators

Let $A$ generate an analytic $C_0$-semigroup on a Banach space $X$ and $B$ be a relatively compact perturbation, i.e., $B$ is compact as an operator from $D(A)$ (with the graph norm) to $X$. Then ...
2
votes
1answer
282 views

Question on structure of von Neumann algebras, clarification in Conway's “A course in operator theory”

I was reading the section on the structure of type I von Neumann algebras in John B. Conway's "A course in operator theory" and a few questions about certain definitions and references arose, I was ...
3
votes
2answers
214 views

A version of the spectral theorem for group actions

Suppose $G$ is a sufficiently nice (maybe locally compact and abelian) group which acts on the separable Hilbert space $\mathcal{H}$ by unitary transformations. Is there a generalization of the ...
2
votes
0answers
218 views

Versions of the spectral theorem

Since any $C^*$-algebra can be represented as an algebra of bounded operators $\mathcal{B(H)}$ on a Hilbert space $\mathcal{H}$, the spectral theorem applies to all $C^*$-algebras: ($*$) ...
10
votes
2answers
949 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 ...
4
votes
1answer
164 views

A.C. spectrum of the non additive perturbation BAB of a self-adjoint operator A where B is strictly positive

If have the following problem: Let $A : \mathcal{H} \to \mathcal{H}$ be a bounded, self-adjoint operator on some Hilbert space $\mathcal{H}$. Let $B: \mathcal{H} \to \mathcal{H}$ be a bounded, ...
4
votes
1answer
283 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 ...
1
vote
0answers
85 views

A generalization of strictly upper triangular matrces

Let $A = [a_{ij}]_{n\times n}$ be a real matrix with the property $a_{ij}a_{ji} = 0$. What can be said about the eigenvalues of$A$ ? I want to know when $A$ is non-singular and when $A$ is nilpotent. ...
1
vote
0answers
217 views

Is an exact operator, unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
11
votes
1answer
528 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 ...
3
votes
0answers
388 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...
2
votes
1answer
351 views

Is there an operator algebraic reformulation of 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 ...
1
vote
2answers
248 views

Finite dimensional approximations of operators on Hilbert spaces

Let $e_1,e_2,\dots$ be a Schauder basis for a Hilbert space $(V , \langle \cdot , \cdot \rangle)$. Let $A:V \to V$ be an operator. Finally, let $V_n = {\rm span}( e_1, \dots, e_n)$. Let $i_n : V_n ...
-2
votes
1answer
1k views

Kadison-Singer problem

The Kadison-Singer problem is the following statement: for any $\epsilon >0$, there exists $r\in \mathbb N$ such that for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a partition ...
4
votes
0answers
465 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 ...
2
votes
2answers
205 views

Resource on Infinite Systems of Difference Equations

I have asked this question previously at Math.stackexchange, but it seems to receive little attention there. In my efforts (somewhere on the boundary of discrete mathematics and theoretical computer ...
5
votes
1answer
375 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
145 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 ...
33
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 ...
3
votes
1answer
215 views

A closed extension of the Laplace operator with respect to the supremum norm

Let $X$ be a bounded connected open subset of the $n$-dimensional real euclidean space. Consider the Laplace operator defined on the space of infinitely differentiable functions with compact support ...
4
votes
1answer
514 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 ...
5
votes
2answers
413 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 ...
4
votes
2answers
396 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 ...
2
votes
1answer
106 views

References on countable W*-algebras

In "Operator algebras with a faithful weakly-closed representation" (1955), Kadison describes a countable W*-algebra as a C*-algebra which has a faithful representation as a countably decomposable ...
1
vote
1answer
131 views

Special kind of operators

Consider an operator $A: H \longrightarrow X$ ($H$ is a Hilbert space and $X$ is a Banach space) that has a representation $$ A = \sum_{j=0}^\infty a_j \langle \cdot, e_j\rangle \cdot x_j,$$ where ...
6
votes
1answer
196 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} ...
3
votes
1answer
200 views

On the self-adjoint part of a quasinilpotent operator

Disclaimer: this is not research-level, but I've read some non research-level questions/answers on quasinilpotent operators here, some of them involving renowned users. So I thought I'd give it a try. ...
7
votes
1answer
426 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 ...
5
votes
6answers
1k 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 ...
0
votes
1answer
152 views

A strange equality of the operator E ($Eu_n=u_{n+1}$)

The operator $E$ is defined as $Eu_n=u_{n+1}$. I encountered a strange equality. when I tried out Let $u_n$ represent a series such that $$u_{n+2}=u_{n+1}+u_n. \tag{$\star$}$$ Or ...
4
votes
1answer
207 views

projection of sobolev spaces onto cones

Consider the Sobolev space $W^{k,p}(\Omega)$ for $k\in \mathbb N$, $p\in [1,\infty]$ and some open domain $\Omega\subset \mathbb R^n$ $^*$. Then it is known that $W^{k,p}(\Omega)$ is an ordered Banach ...
0
votes
2answers
1k views

When are two operators simultaneously diagonalisable?

I am reading a paper and they have diagonalised both operators in an equation, on a separable Hilbert space, with respect to the same basis. My question is, when can two operators be simultaneously ...
2
votes
2answers
174 views

Generator of a generated $C_0$ semigroup.

Consider $C_0$-semigroup $S_t:\mathscr{B(H)} \to \mathscr{B(H)}$ with generator $U$. Now define $P_t:\mathscr{B_1(H)} \to \mathscr{B_1(H)}$ where $P_t(\rho)=S_t\rho S_t^*$. How can I prove $P_t$ to ...
3
votes
1answer
611 views

definition of operator valued integral with spectral measure

I am trying to make sense of some operators that come up on Buchholz and Summers' work on warped convolutions (two works on arxiv: 2008 and 2011). There, they work on a Hilbert space $H$ and on the ...
7
votes
1answer
207 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 ...
4
votes
0answers
108 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 ...
5
votes
1answer
275 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 ...
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 ...