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

learn more… | top users | synonyms

3
votes
1answer
178 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
365 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
327 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
302 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
102 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
125 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
190 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
176 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. ...
6
votes
1answer
330 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 ...
4
votes
6answers
708 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
145 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
176 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
715 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
164 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
522 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
196 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
102 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
258 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 ...
6
votes
1answer
239 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, ...
1
vote
1answer
247 views

A is a nonnegative matrix; the only principal submatrix having spectral radius above 1 is A itself

Let $\rho(M)$ denote the spectral radius (modulus of the largest eigenvalue) of a square matrix $M$. I am looking for a characterization or anything else interesting about the set of matrices $A$ ...
2
votes
4answers
383 views

analogue of a set with n binary operations

So a group is a type of structure with one binary operations that satisfies some list of axioms. A ring is a structure that has two binary operations that satisfy some list of axioms. Do there exist ...
4
votes
2answers
236 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 ...
10
votes
0answers
325 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 ...
2
votes
0answers
159 views

Invariant Measures of Markov Chains under Perturbations

This is a more specific version of a question I asked before without much luck. I believe this should be standard perturbation theory, but looking at Kato's book has not helped. Any references would ...
2
votes
0answers
93 views

non-closed weak graph limit of symmetric operators

Hi Everyone, I was recently reading Reed & Simon's functional analysis textbook (the first volume), and it mentions casually on page 294 that weak graph limits of a sequence of symmetric ...
5
votes
3answers
571 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$ ...
14
votes
1answer
594 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 ...
0
votes
1answer
688 views

Can we construct a Hilbert space where the operator following differencial operator is symmetric?

I'd like to know if one can define a pertinent Hilbert space where the operator $$A_p v := -\frac{1}{2} v" + (vF + v\int_\mathbb{R} Sp + p\int_\mathbb{R} Sv )'$$ is symmetric. Here, $p$ satisfies ...
6
votes
0answers
229 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) } = ...
13
votes
2answers
637 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 ...
4
votes
0answers
369 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 ...
14
votes
5answers
822 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 ...
3
votes
0answers
198 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 ...
4
votes
3answers
439 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 ...
3
votes
2answers
314 views

Invariant subspaces for compact restrictions

Suppose $Y$ is a closed hyperplane in $X$, so we can write $X=Y\oplus[x_0]$. Let $y_n$ be a normalized basis of $Y$. Define an operator $S:Y\to Y\oplus[x_0]$ by $Sy_n=\alpha_ny_n+\beta_nx_0$, for any ...
3
votes
2answers
182 views

Perturbing upper-semi Fredholm operators

Let $T\colon X\to X$ be an upper-semi Fredholm operator acting on a $B$-space $X$ (the range of $T$ is closed and kernel is finite-dimensional) with complemented range. Suppose $S\colon X\to X$ is ...
6
votes
2answers
322 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$?
1
vote
2answers
218 views

The operator preseving two disjoint dense operator ranges invariant

Let $\mathcal{H}$ be a separable infinite dimensional Hilbert space. Suppose that $\mathcal{H}_0\subset\mathcal{H}$ which is a dense proper subspace is the range of some bounded linear operator $T$. ...
7
votes
2answers
391 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 ...
0
votes
1answer
221 views

Second adjoint operators on non quasi-reflexive Banach spaces

I am interested in 'algebraic-density'-type properties of second adjoint operators in the algebra of bounded operator on a second dual of a Banach space. Incidentally, I have a problem with ...
3
votes
1answer
333 views

eigenspinors of Dirac operator

$M$ compact manifold. Let $\lambda$ be an eigenvalue for the Dirac operator of multiplicity greater than 2. I'm interested in showing the existence of two linearly independant eigenspinors $u$ and $v$ ...
9
votes
1answer
619 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 ...
11
votes
1answer
722 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 ...
2
votes
0answers
182 views

A specific projection and compactness on the Bargmann-Fock space

Let $F_2$ be the Bargmann Fock space defined as the space of entire functions $f$ on $\mathbb{C}$ such that \begin{align*} \int_{\mathbb{C}} |f(z)|^2 e^{- |z|^2} dA(z) \end{align*} ($dA$ is just ...
3
votes
1answer
165 views

relation between SOT-convergence of T and T'

I am trying to prove or to break the following statement (I assume that the statment is correct): Assumptions: Let $H$ be a Hilbert-space (or more generally a reflexive space) and $T\in ...
13
votes
1answer
363 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 ...
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$ ...
7
votes
2answers
1k 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 ...
3
votes
1answer
542 views

Sum of two closed operators closable

I found this question on another forum, and after processing it a bit, I didn't find a good answer. The question is: Is the sum of two closed operators closable? If not, give an example of two ...