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

12
votes
1answer
990 views

How to prove that an operator is compact?

Consider $T\colon\ell^2\to\ell^2$ an operator such that $Te_k=\lambda_k e_k$ with $\lambda_k\to 0$ as $k \to \infty$ how to prove that it is compact?
15
votes
1answer
660 views

Why do zeta regularization and path integrals agree on functional determinants?

When looking up the functional determinant on Wikipedia, a reader is treated to two possible definitions of the functional determinant, and their agreement is trivial in finite dimensions. The first ...
3
votes
1answer
686 views

Question about Fredholm operator

$X,Y$ are Banach spaces and $A\in B(X,Y)$ is a Fredholm operator (that is, the dimensions of ker($A$) and coker($A$) are both finite), then are closed linear subspaces ker($A$) and Im($A$) ...
12
votes
3answers
791 views

Compactness of a bounded operator $T\colon c_0 \to \ell^1$

Pitt Theorem says that any bounded linear operator $T\colon \ell^r \to \ell^p$, $1 \leq p < r < \infty$, or $T\colon c_0 \to \ell^p$ is compact. I know how to prove this in case $\ell^r \to ...
5
votes
1answer
1k views

Easy Proof Adjoint(Compact)=Compact

I am looking for an easy proof that the adjoint of a compact operator on a Hilbert space is again compact. This makes the big characterization theorem for compact operators (i.e. compact iff image of ...
18
votes
2answers
676 views

Compact sets as point spectrum of a bounded operator

It is well known that if $K$ is any compact set in $\mathbb{C}$, then there exist a bounded linear operator $T:l_2\to l_2$ such that $\sigma(T)=K$. My questions are: Q1) Does there exist $T$, a ...
7
votes
3answers
1k views

Is there a formula similar to $f(x+a) = e^{a\frac{d}{dx}}f(x)$ to express $f(\alpha\cdot x)$?

Using the Taylor expansion $$f(x+a) = \sum_{k=0}^\infty \frac{a^k}{k!}\frac{d^k }{dx^k}f(x)$$ one can formally express the sum as the linear operator $e^{a\frac{d}{dx}}$ to obtain $$f(x+a) = ...
6
votes
1answer
408 views

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $. Where $A,\ B$ are bounded operators in Banach space and $\sigma$ denotes spectrum.
3
votes
1answer
165 views

Graph of symmetric linear map is closed

A homework problem: Let $H$ be a Hilbert space. Let $T:H\rightarrow H$ be a symmetric linear map ($\langle Tx,y\rangle=\langle x,Ty\rangle$). Show that $S$ is bounded. My attempt: I'd ...
10
votes
1answer
632 views

Closure of the invertible operators on a Banach space

Let $E$ be a Banach space, $\mathcal B(E)$ the Banach space of linear bounded operators and $\mathcal I$ the set of all invertible linear bounded operators from $E$ to $E$. We know that $\mathcal I$ ...
6
votes
2answers
175 views

Question about Angle-Preserving Operators

This an exercise out of Spivak's "Calculus on Manifolds". Edit: There was a typo in the exercise as is noted below in the answers. The statement has been edited to reflect this. Given ...
3
votes
2answers
404 views

$\operatorname{Range}T$ is a closed subspace.

Let $X,Y$ two Banach spaces. If $T \in \mathcal{B}(X,Y)$ study if $\operatorname{Range}T$ is a closed subspaces. How can I prove this fact ? What theorems can I use ? thanks :)
7
votes
2answers
2k views

Equivalent Definitions of the Operator Norm

Would you give me a proof of the equivalence of these ones? $$\begin{align*} \lVert A\rVert_{\mathrm{op}} &= \inf\{ c\;\colon\; \lVert Av\rVert\leq c\lVert v\rVert \text{ for all }v\in V\}\\ ...
3
votes
1answer
168 views

Hilbert's Inequality

Could you help me to show the following: The operator $$ T(f)(x) = \int _0^\infty \frac{f(y)}{x+y}dy $$ satisfies $$\Vert T(f)\Vert_p \leq C_p \Vert f\Vert_p $$ for $1 <p< \infty$ where ...
3
votes
2answers
410 views

Hellinger-Toeplitz theorem use principle of uniform boundedness

Suppose $T$ is an everywhere defined linear map from a Hilbert space $\mathcal{H}$ to itself. Suppose $T$ is also symmetric so that $\langle Tx,y\rangle=\langle x,Ty\rangle$ for all ...
5
votes
1answer
331 views

Sum of Closed Operators Closable?

Let $A$ and $B$ be closed operators on a (separable complex) Hilbert space with dense domains $D(A)$ and $D(B)$ respecitvely. Then, we may define the operator $A+B$ on $D(A)\cap D(B)$. In general, ...
10
votes
2answers
685 views

Gelfand-Naimark Theorem

The Gelfand–Naimark Theorem states that an arbitrary C*-algebra $ A $ is isometrically *-isomorphic to a C*-algebra of bounded operators on a Hilbert space. There is another version, which states that ...
8
votes
4answers
320 views

Determining the action of the operator $D\left(z, \frac d{dz}\right)$

This question was motivated by a question by Tobias Kienzler and its wonderful answers. I begin as in the linked question... Using the Taylor expansion $$f(z+a) = \sum_{k=0}^\infty ...
5
votes
1answer
89 views

local convexity of $L_p$ spaces

wiki says The spaces $L_p([0, 1])$ for $0 < p < 1$ are equipped with the F-norm they are not locally convex, since the only convex neighborhood of zero is the whole space Why is this so? ...
7
votes
2answers
1k views

What is operator calculus?

I watched the excellent interview with Richard Feynman: http://www.youtube.com/watch?v=PsgBtOVzHKI In the interview Feynman mention that he at young age re-invented operator calculus. I have searched ...
4
votes
1answer
547 views

Compact multiplication operators

In class, we started talking about operators on Banach spaces after covering the Arzela-Ascoli Theorem. We defined a continuous operator $T\colon X \to Y$ to be compact if $\overline{T(B_X)}^{Y}$ is ...
4
votes
1answer
500 views

positive invertible operators

I need the following result. I think it's quite obvious but I don't know how to prove that: Let $C, T : \mathcal{H} \rightarrow \mathcal{H}$ be two positive, bounded, self-adjoint, invertible ...
3
votes
1answer
704 views

Prove that $T$ is an orthogonal projection

Let $T$ be a linear operator on a finite-dimensional inner product space $V$. Suppose that $T$ is a projection such that $\|T(x)\| \le \|x\|$ for $x \in V$. Prove that $T$ is an orthogonal projection. ...
10
votes
1answer
301 views

Every Hilbert space operator is a combination of projections

I am reading a paper on Hilbert space operators, in which the authors used a surprising result Every $X\in\mathcal{B}(\mathcal{H})$ is a finite linear combination of orthogonal projections. The ...
7
votes
2answers
290 views

Proof that operator is compact

Prove that the operator $T:\ell^1\rightarrow\ell^1$ which maps $x=(x_1,x_2,\dots)$ to $\left(x_1,\frac{x_2}{2},\frac{x_3}{3},\dots\right)$ is compact. For an arbitrary sequence $x^{(N)}\in\ell^1$ ...
6
votes
1answer
172 views

Questions about a PDE: $-u_{txx}+u_{t}=u_{x}$, $u(x,0)=u_0(x)$, $x,t\in{\bf R}$

Consider the BBM equation: $-u_{txx}+u_{t}=u_{x}$, $u(x,0)=u_0(x)$, $x,t\in{\bf R}$. One may rewrite this equation as following $u_t=((I-A)^{-1}\partial_x)u$ where $Au=u_{xx}$ if $(I-A)^{-1}$ ...
4
votes
1answer
228 views

Norms involving positive operators

Let's say we have $A \leq B$. Is it then true that $||Ax|| \leq ||Bx||$ (where $x, A, B$ all belong to the same finite-dimensional Hilbert space $H$)?
3
votes
1answer
84 views

Alternative definition of strong/weak operator topology.

Given two normed spaces $(X, ||\cdot||_X)$ and $(Y,||\cdot||_Y)$ the space of bounded linear maps $\mathcal{B}(X,Y)$ can be equipped with the strong operator topology (SOT) as follows: The ...
3
votes
1answer
310 views

Operators on $C([0,1])$ that is compact or not.

For $f\in C([0,1])$ set $$Hf(x) = \frac{1}{x}\int_0^x f(t)dt.$$ a) Show that $H$ is a bounded operator from $C([0,1])$ into itself which is not compact. b) From a) it follows that $H$ induces a ...
2
votes
1answer
118 views

Prove that the limit exist II

First question was here. I add one new condition. Let $T : H \rightarrow H$ is a linear continuous unitary ($T^*=T^{-1}$) operator, $H$ is a Hilbert space (not necessary). Suppose that $\forall h ...
2
votes
1answer
350 views

Weakly compact operators on $\ell_1$

Is the following assertion true/known? Let $V$ be a Banach space and let $T\colon \ell_1\to V$ be a bounded linear operator. Is it true that $T$ is not weakly compact if and only if there is a ...
1
vote
1answer
168 views

Normal operators in Hilbert spaces

Let $H$ be a separable Hilbert space and let $T:H\to H$ be a continues linear map such that there exists an orthonormal basis of $H$ that consists of the eigenvectors of $T$. Show that $T$ is normal. ...
1
vote
1answer
284 views

Compact operator? self adjoint operator? Stirling's formula

Define a pair of operators $S\colon\ell^2 \rightarrow \ell^2$ and $M\colon\ell^2 \to\ell^2$ as follows: $$S(x_1,x_2,x_3,x_4,\ldots)=(0,x_1,x_2,x_3,\ldots) $$ and ...
5
votes
1answer
292 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
4
votes
1answer
76 views

Prove that the limit exist

Let $T : H \rightarrow H$ is a linear continuous unitary ($T^*=T^{-1}$) operator, $H$ is a Hilbert space (not necessary). Suppose that $\forall h \in H \Rightarrow Th=h$ $T_n$ - a sequence of ...
2
votes
2answers
205 views

Show $T$ is invertible if $T'$ is invertible where $T\in B(X)$, $T'\in B(X')$

Seems simple enough but I can't quite get it. $X$ is a complex Banach space, and $T\in B(X)$, $T'\in B(X')$ is its adjoint. Suppose $T'$ is invertible. How can we show that $T$ is invertible? I have ...
2
votes
1answer
229 views

Different types of continuity for operators on Hilbert spaces

In chapter one of K-theory and $C^*$-algebras, a Friendly Approach, the author gives a very brief discussion about several types of continuity of operators between Hilbert spaces. Let $T: ...
2
votes
1answer
471 views

A compact operator is completely continuous.

I have a question. If $X$ and $Y$ are Banach spaces, we have to prove that a compact linear operator is completely continuous. A mapping $T \colon X \to Y$ is called completely continuous, if it maps ...
1
vote
0answers
23 views

can we prove that a certain supremum of affine functions is frechet differentiable or at least continuous?

Let $X$ be a Hilbert space. Let $A\colon \operatorname{dom} A\to X$ be linear operator with closed graph (not necessarily bounded). Define $$ g\colon \operatorname{dom}A\to \mathbb{R}:x\mapsto ...
1
vote
1answer
156 views

Two questions from Dixmier's book on Von Neumann algebras

It seems something is going wrong with the preview I linked in some of my previous questions, so I will just type out the question. I am having trouble with Dixmier's proof of Corollary 5 on p. 46. ...
1
vote
1answer
1k views

Why call this a spectral projection?

Regarding this question, Why do spectral projections give norm approximations? I have figured out what is meant by spectral projection, and have thus found the answer as well. A spectral projection ...
0
votes
3answers
73 views

Why is this true: The only orthogonal projection that is also unitary from $\Bbb C^n$ to $\Bbb C^n$ is the identity

Can anyone explain me please how to see this statement: the only orthogonal projection that is also unitary from $\Bbb C^n$ to $\Bbb C^n$ is the Identity. how can I prove formally that? or how can I ...
11
votes
3answers
4k views

Differential equations and Fourier and Laplace transforms

Why do both the Fourier transform and the Laplace transform appear in the study of differential equations? I've never understood why there are some situations where the Fourier transform is used and ...
42
votes
4answers
2k views

Double sum - Miklos Schweitzer 2010

There is a question in the Miklos Schweitzer contest last year that keeps bugging me. Here it is: Is there any sequence $(a_n)$ of nonnegative numbers for which $\displaystyle\sum_{n \geq 1}a_n^2 ...
4
votes
2answers
120 views

Baker-Hausdorff Lemma from Sakurai's book

I'd like to show that, given to hermitian operators $A,G$ on a Hilbert space $\mathscr{H}$, the following identity holds: $$ e^{iG\lambda}A e^{-iG\lambda} = A + i\lambda [G,A] + ...
9
votes
1answer
518 views

Importance of Toeplitz operators?

I am reading Arveson's A Short Course on Spectral Theory, in which the author states that Toeplitz operators are very important without giving references on their applications. After some searching, I ...
8
votes
1answer
284 views

A convergence problem in Banach spaces related to ergodic theory

Suppose $X$ is a Banach space, $T\in B(X)$, satisfied the following condition. $\sup \Big\lVert\frac{1}{n}\sum \limits_{i=0}^{n-1}T^{i}\Big\rVert<\infty$ $\frac{1}{n}\lVert ...
6
votes
1answer
232 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
5
votes
1answer
160 views

Is every 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 ...
12
votes
1answer
835 views

Spectrum of a linear operator

Let $\ell^2 =\ell^2(\mathbb{Z})$. Choose $\theta \in ]0,1[$ and set: $$Tx=(\theta x_{n-1} +(1-\theta)x_{n+1})_{n\in \mathbb{z}}$$ for each $x=(x_n)_{n\in \mathbb{Z}}\in \ell^2$ (thus $T$ is a convex ...