Operator theory is the branch of functional analysis that focuses on bounded linear operators, but it includes closed operators and nonlinear operators. Operator theory is also concerned with the study of algebras of operators.

learn more… | top users | synonyms

1
vote
2answers
97 views

Help with an operator norm

Let $T\in \ell_\infty(\mathbb{Z,\mathbb{C}})^*$ such that: $T(1_{\ell_\infty})=1$ where $1_{\ell_\infty}$ denotes the constant function $1$; $T(u)\geq 0$ whenever $u$ is real positive. How to ...
3
votes
1answer
147 views

Reducing subspaces for compact operators

It is well known that any compact operator in $\mathcal{B}(l_2)$ has an invariant subspace. What about reducing subspaces (subspaces that are invariant for both the operator and its adjoint). Does any ...
2
votes
1answer
58 views

Injectivity of a certain operator

Consider a compact $K$ of the complex plane of interior void, $f$ a rational fraction leaving $K$ invariant (i.e. $f(K) \subset K$), and $\mu$ a borelian probability measure supported by $K$, and ...
1
vote
1answer
75 views

Banach space geometry without bounded operators?

I understand that $B(X)$ can be think of as the collection of symmetries of a Banach space $X$, and that they provide important information concerning the geometric structure of the space. But I am ...
3
votes
1answer
109 views

Positive operator is bounded

For a real Banach space $X$ let $A:X\rightarrow X^*$ be a positive operator in the sense that $(Ax)(x)\geq 0$ for all $x\in X$. Show that $A$ is bounded. I don't know how to do that, maybe it's ...
4
votes
0answers
349 views

Confused by a proof in Rudin *Functional Analysis*

I am reading Rudin's Functional Analysis and got quite confused by his proof of Thm 8.5, that is, the existence of fundamental solutions for differential operator $P(D)$, where $P$ is a polynomial. ...
4
votes
2answers
177 views

Compact and self-adjoint operator

It is true that if $T:H \to H$ is a compact operator ($H$ Hilbert space) then $T^\ast T$ is algo compact and indeed self-adjoint. Conversely, is it true that every compact and self-adjoint operator ...
0
votes
1answer
105 views

Characterizing positive semi-definite operators in $\mathcal{B}(L^2)$

I am asking perhaps a stupid question. How can I characterize all positive semi-definite operators in $\mathcal{B}(L^2(X,\lambda))$, where $\lambda$ is the Lebesgue measure. For a start, let us ...
3
votes
1answer
71 views

Pseudo Monotone Operator

Suppose $X$ is a real Reflexive Banach space. Let $A:X\rightarrow X^{\star}$ be a Pseudo Monotone operator, i.e. if $u_{n}\rightharpoonup u$ and $\limsup\langle Au_{n},u_{n}-u\rangle\leq 0$, then ...
1
vote
1answer
327 views

In a separable Hilbert space, how to show that the orthogonal projection onto a subspace of $n$ orthonormal basis elements converge?

Could anyone help me with this problem? I don't know where to start. Let $\{ e_n \}_{n=1}^\infty$ be an orthonormal basis in a separable Hilbert space $H$. Denote by $P_n$ the orthogonal ...
4
votes
1answer
705 views

Norm of integral operator in $L^1$

What is the norm of the operator $$ T\colon L^1[0,1] \to L^1[0,1]: f\mapsto \left(t\mapsto \int_0^t f(s)ds\right) $$ ?
2
votes
0answers
94 views

Form of weakly continuous linear functional

This was originally a problem in Stratila and Zsido's "Lectures on von Neumann algebras" (E.1.2). I've spent so much time working on it, and right now I cannot see how the result can be so simple. ...
2
votes
1answer
186 views

Extension of Choi's theorem on extreme completely positive maps

In this paper Man-Duen Choi gave a criteria for a completely positive map to be extreme. For convenience I am writing it below. Let $\phi:\mathcal{M}_n\rightarrow\mathcal{M}_m$. Then $\phi$ is ...
1
vote
2answers
1k views

An inequality on trace of product of two matrices

Suppose we have two positive semi-definite matrices of dimension n, $A$ and $B$ s.t. Tr$(A)$, Tr$(B)\le1$. Can we say anything about Tr$(AB)$? (Is Tr$(AB)\le1$ too?)
1
vote
1answer
66 views

Question about locality of bounded linear operators between Banach spaces

Suppose $T$ is an invertible bounded linear operator from $X$ to $Y$, which are Banach spaces. Is there a neighborhood $U$ of $T$ in $\mathcal{B}(X,Y)$ (space of bounded linear operators from $X$ to ...
2
votes
0answers
37 views

Initial topology of the spectrum mapping $\sigma$

Let $\mathcal{A}$ be a Banach algebra, the map $\sigma$ maps each element $a\in\mathcal{A}$ to its spectrum $\sigma(a)$, which is a compact subset of $\mathbb{C}$. The collection of compact subsets ...
4
votes
1answer
122 views

Strong continuity of the Borel functional calculus

I have sometimes heard that the Borel functional calculus maps bounded pointwise convergent sequences of Borel functions to strongly convergent sequences of operators. I gather "sequence" is ...
1
vote
1answer
460 views

Commutator relationship proof $[A,B^2] = 2B[A,B]$

I'm trying to find the condition necessary for this commutator relationship equality: $$[A,B^2]=2B[A,B]$$ So far I've done this: \begin{align*} [A,B^2] & = B[A,B] + [A,B]B \\ ...
1
vote
1answer
187 views

A characterization of trace class operators

Let $H$ be a separable Hilbert space and let $T\in B(H)$ be compact (I don't know whether this is relevant to the question), such that $\displaystyle \sum_{j=1}^\infty\langle T\xi_j,\eta_j\rangle$ ...
1
vote
1answer
215 views

Equivalence of Schatten and spectral norms

I'd like some help showing the equivalence of these two norms when $p = \log n$. Recall the $p$-th Schatten norm of a linear operator $A$ acting on $\mathbb{R}^{n}$. In the particular case of $p = ...
0
votes
1answer
50 views

Conditions for additivity of the trace of projections

I came up with the following problem: Let $\Pi_A$ and $\Pi_B$ be two projection operators on two disjoint subspaces of a certain Hilbert space $\mathcal H$ and let $\rho$ be unit trace, positive, ...
1
vote
1answer
213 views

Unique extension to a bounded operator

Suppose $\left\{ e_{1},e_{2},\ldots\right\} $ is an orthonormal basis for a Hilbert space $\mathcal{H}$ and for each $n$ there is a vector $Ae_{n}$ in $\mathcal{H}$ such that $\sum\left\Vert ...
2
votes
1answer
129 views

Finding a linear mapping in a special Hilbert space

Let $H=\ell_2$, the real Hilbert space whose elements are the square-summable sequences of real scalars, i.e., $$ H=\left\{u=(u_1,u_2,\ldots,u_i,\ldots): ...
4
votes
1answer
254 views

Spectrum of this Operator

Let $A\colon \ell^{1}\to \ell^{1}$ be defined by $A(x)=(x_{2}+x_{3}+x_{4}+ \dots,x_1,x_2,x_3,\dots)$ where $x\in\ell^1$ iff $\sum|x_k|<\infty$. Let $D$ be the closed unit disc in $\Bbb C$ and ...
0
votes
0answers
54 views

On Scalar products — What is wrong with this argument?

Suppose $|k\rangle =\exp(k \hat O^\dagger)|0\rangle$ where $c_k\in \mathbb C$ and $|0\rangle$ is normalized. I wish to evaluate $\langle a|b\rangle$. Here is what I think, but the result is not ...
3
votes
1answer
256 views

Reflexivity of a Banach space

I've run into a few problems in which reflexivity of a Banach space is given as a hypothesis. These problems are sometimes of the type where the banach space is specific/concrete, and sometimes it is ...
1
vote
3answers
497 views

operator exponential

The matrix exponential is a well know thing but when I see online it is provided for matrices. Does it the same expansion for a linear operator? That is if $A$ is a linear operator then ...
0
votes
1answer
108 views

Weak analyticity vs. Strong Analyticity

Let $X$ be a (complex) banach space, $U$ be an open subset of $\mathbb{C}$ and $f: U \to X$ be a function that is completely arbitrary except that it satisfies the property that for any continuous ...
3
votes
1answer
136 views

What is an OPERATOR?

I try to understand operator-valued kernels. For this purpose, first want to know what is an operator. I can see the definition of operator here, but I do not quit get it. Can anyone explain it in ...
2
votes
2answers
88 views

Multiplication operators

Consider a commutative Banach algebra $A$ and the Banach algebra of bounded operators $B(A)$ on $A$. Associate to each $a\in A$ the multiplication operator $T_ax =ax$ ($x\in A$). Is always the mapping ...
5
votes
2answers
158 views

Behaviour of the spectrum of a compact operator w.r.t. perturbations.

Suppose $A$ and $B$ are linear compact operators on a Hilbert space with $\sigma(A)$ and $\sigma(B)$ as their spectrum. Is it possible to obtain some continuity result of $\sigma(A+\epsilon B)$ as ...
3
votes
1answer
473 views

The relation between bounded invertible and surjective operators

Please, answer me that how is the set of all bounded invertible operators (for example on a Hilbert space) clopen (closed and open) in the set of all bounded surjective operators? In fact, which ...
4
votes
1answer
373 views

Spectral theorem for unitary operators

I saw in several texts, as a part of the spectral theorem for unitary operators, that given a unitary operator $U$ on a Hilbert space $H$ (say it is separable), $H$ can be decomposed as an orthogonal ...
4
votes
1answer
162 views

Fredholm operators

How can I get the (Volterra) operator from an equation of the type $$u''(x)+xu'(x)+u(x)=0\text{ ?}$$ I know that there is a general way of doing it, if you could point me at the proper book I'd be ...
2
votes
1answer
204 views

Error in proof of self-adjointness of 1D Laplacian

I have successfully checked self-adjointness of simple and classic differential operator - 1D Laplacian $$D = \frac {d^2}{dx^2}: L_2(0,\infty) \rightarrow L_2(0,\infty)$$ defined on $$\{f(x) | f'' ...
1
vote
0answers
109 views

Composition of positive maps

Let $\chi_A:\mathcal{B}(\mathbb{C}^n)\rightarrow\mathcal{B}(\mathbb{C}^n)$ be a completely positive (cp) map defined as $\chi_A(x)=AxA^*$, where $A\in\mathcal{B}(\mathbb{C}^n)$. Clearly any cp map ...
0
votes
0answers
115 views

Set of Bounded linear Operators on $l_2$ is dense on the set of bounded operators on $l_2$?

Let $l_2^{+}$ be the Hilbert space of all square summable sequences $\{x_n\}, n \in \mathbb{N}$ under some definition of inner-product $\langle,\rangle_l$. Define $B[l_2^{+}]$ as the set of all ...
14
votes
2answers
601 views

The spectrum of an unbounded operator

It's well known that the spectrum of a bounded operator on a Banach space is a closed bounded set (and non-empty)on the complex plane. And it's also not hard to find unbounded operators which their ...
5
votes
2answers
194 views

Help for Divergence operator

I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple. Can some one tell me some reference to study about the invertibility of Divergence operator ...
5
votes
0answers
340 views

Min Max Principle and Rayleigh-Ritz-Method for eigenvalues of unbounded operators?

Finding eigenvalues of matrices using the Rayleigh-Ritz quotient is well-known, c.f. http://en.wikipedia.org/wiki/Min-max_theorem Does the following generalization of that fact also hold? Theorem: ...
1
vote
1answer
476 views

Show that this linear operator is surjective

Let $E$ be a Banach space, and $T$ is a linear operator on $E$, furthermore,it's assumed that $$\sup_{||x||=1}|f(T(x))|<\infty,\forall f\in E^*;$$ $$\inf_{||x||=1}\sup_{||f||=1}|f(T(x)|>0;$$ and ...
5
votes
2answers
1k views

Compact operators and completely continuous operators

A compact operator between Banach spaces is an operator that maps bounded sets into relatively compact sets, while a completely continuous operator maps all weakly convergent sequences into convergent ...
2
votes
1answer
90 views

Is $\text{rk}L=\text{rk}L^*L $ true for finite rank operators?

Let $L$ be a compact linear operator in an infinitedimensional space that has finite rank. Do the equations $$\text{rk}L=\text{rk}L^*L\ \text{and} \ \text{rk}L^*L=\text{rk}R,$$ where $R$ is the ...
5
votes
1answer
441 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
22
votes
2answers
530 views

Operators with finite spectrum

Suppose that $T$ is a bounded operator with finite spectrum. What happens with the spectrum of $T+F$, where $F$ has finite rank? Is it possible that $\sigma(T+F)$ has non-empty interior? Is it always ...
0
votes
1answer
179 views

A criterion for convergence in the operator norm

Let $L:H\rightarrow H$ be a continuous linear operator and $R_n:H \rightarrow H$ a sequence of continuous linear operators, where $H$ is a Hilbert space. If the $\sum_{n=1}^{k} R_n$ converge pointwise ...
5
votes
1answer
441 views

What are the Eigenvectors of the curl operator?

The curl operator $\vec\nabla\times\mathbb{1}$ can be written as a skew-symmetric 3x3 matrix $$\mathrm{curl} = \begin{pmatrix}0 & -\partial_z & \partial_y \\ \partial_z & 0 & ...
3
votes
1answer
126 views

Rearranging the spectral theorem

The spectral theorem for selfadjoint compact operators $L$ with infinite range says that $$Lx=\sum_{k=1}^{\infty} \alpha_k \langle x,f_k \rangle f_k, $$ where the $f_k$'s form an orthonormal system ...
3
votes
1answer
541 views

Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?

Given an appropriate function $K: \mathbb{R}^2 \to \mathbb{C}$, say continuous of compact support, we obtain a compact operator $T$ on the Hilbert space $L^2(\mathbb{R})$ by the formula $$ (T h)(t) = ...
0
votes
1answer
81 views

Continuity of powers in a Banach algebra.

There are some theorems that say in a unital C* algebra $A$ when one can deduce that the functional calculus of a continuous function f is continuous as map from some subset of $A$ to $A$. In the ...