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
34 views

An approximation question on projections

Suppose $\{p_i\}_{i=1}^{m}$ are projections in the d by d matrix algebra $A$ over the complex numbers and satisfy the following condition: $||Id-\sum_{i=1}^m{p_i}||_2<c$, $||p_ip_j||_2<c, ...
0
votes
0answers
46 views

Self adjointness for functionals

I have posted this question already in the physics forum, but actually nobody could help. I am sorry, this question is related to quantum field theory. The Schrödinger equation of a free scalar field ...
-1
votes
1answer
32 views

Composition property of the functional calculus

Prove from the spectral theorem for normal operators $T$ that for bounded borel functions $f,g$ we have $f{\circ}g(T)$=$f(g(T))$.
0
votes
2answers
72 views

Proving this operator is not closed

I was looking for an example of an operator on a Hilbert space which is not closed. This is what I have done so far, but am not sure if the proof is alright. Consider $H=L^{2}[0,1]$ and $T$ defined ...
3
votes
2answers
42 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
2
votes
0answers
16 views

Transforms with $O(N \log N)$ Complexity

Beside the Discrete Fourier and Walsh-Hadamard operators, are there any non-trivial, bijective operators that admit an evaluation algorithm of $O(N \log N)$ time complexity or better, whose inverses ...
2
votes
1answer
33 views

Domain of adjoint of operator (example from Reed-Simon).

I am trying to understand this example from Reed-Simon volume 1: "Suppose that $f$ is a bounded measurable function, but that $f\notin L^2(\mathbb R)$. Let $D(T) = \{\psi \in L^2(\mathbb R) : ...
1
vote
3answers
51 views

polar decomposition proof

Let $H$ be a hilbert space and $T$ a bounded linear operator on $H$. I'm trying to prove that there is a partial isometry $V$ on the closure of $Im(|T|)$ such that $T=V|T|$ and $|T|=V^*T$, where ...
1
vote
1answer
27 views

What does the adjoint operator do? Is this Frechet derivative correct?

Problem statement Let $x \in l^2$ and $J(x) = \sum_{n = 1}^{+\infty} x_{2n - 1}^2$ Find first and second Frechet derivatives. Attempted solution Let's note that $J(x) = \sum_{n = ...
2
votes
1answer
52 views

show that the operator $T:l^2\rightarrow V$ is bounded

Let $V$ be the Banach space of all sequences $v=\{\eta_j\}_{j=1}^\infty$ such that $\lim_{j\rightarrow\infty}\eta_j$ exists. The norm on $V$ is given by $\|v\|=\sup_{j\in \mathbb{N}}\eta_j$. Consider ...
1
vote
2answers
58 views

uniqueness of positive operator

Let $A,B$ be commuting positive operators on a hilbert space such that $\langle(A-B)(A+B)x,x\rangle=0$ for all $x$ in the hilbert space. Prove that $A=B$. My attempt: The above implies that $A=B$ on ...
2
votes
1answer
81 views

$\langle Tx,x \rangle=0$ proof

If $T$ is a bounded operator on a hilbert space $H$ and $\langle Tx,x \rangle=0$ for all $x$ in $H$, then $T=0$. I'm considering what we can conclude if $\langle Tx,x \rangle=0$ for all $x$ in some ...
2
votes
1answer
26 views

Regularity estimates for parametrized family of elliptic operators

Let $\Omega\subset\mathbb{R}^3$ be a bounded Lipschitz domain. Suppose we have a parametrized family of linear operators $\{A_\varepsilon\ :\ \varepsilon\in\mathbb{R}_{\geq0}\}$ such that ...
3
votes
1answer
44 views

An exercise of positive element in C*-algebra

Let $A$ be a unital C*-algebra and $\{b_{n}\}$ be a positive invertible sequence in $A$. If $||1_{A}-b_{n}||\rightarrow 0$, can we conclude $||1_{A}-b_{n}^{-\frac{1}{2}}||\rightarrow 0$ ?
1
vote
0answers
27 views

Lack of a polar decomposition

Prove that the left and right shifts on $l_{2}$ have no polar decomposition (i.e. $UP$ where $U$ is unitary and $P$ is positive).
1
vote
1answer
39 views

Operator Norm = 1

Let there be a linear map $T$ such that $T: \mathbb R^n\to\mathbb R^m$. The operator norm $\lVert \cdot\lVert_{op}$ of $T$ is then defined as the largest value of $c$ for which $\lVert T(\vec v)\lVert ...
2
votes
1answer
58 views

square root of positive operators

It $T, S$ are positive operators, do we have that $\sqrt{TS}=\sqrt{T}\sqrt{S}$? Are there any basic rules that hold for square roots of positive numbers that don't hold for positive operators?
3
votes
0answers
71 views

A problem of weak* continuity in relation with semigroups

Let $(\Omega,\Sigma,\mu)$ be a probability space. Let $\mathcal{A}$ ba a $\sigma$-subalgebra of $\Sigma$. We denote by $\mathbb{E} \colon L^\infty(\Sigma) \to L^\infty(\mathcal{A})$ the associated ...
1
vote
1answer
32 views

The spectrum of the operators

Let $X, Y$ be the Banach space, and $T_{1}: X\rightarrow X$ and $T_{2}: Y\rightarrow Y$ be the bounded linear operators. Then what is the relationship between $\sigma(T_{1})$, $\sigma(T_{2})$ and ...
0
votes
2answers
62 views

functional calculus and spectral measure

Let $T$ be a normal operator and $f$ be a bounded borel function on ${\sigma}(T)$. If $E_{T}$ and $E_{f(T)}$ are the spectral decompositions of $T$ and $f(T)$ respectively, prove that for any borel ...
0
votes
0answers
13 views

Operator's comparison

I have found the following two concepts: $\bullet$ Let $L$ be a linear operator in a Hilbert space $H$. The operator $B$ is said to be $L$-compact if $D(L)\subset D(B)$ and for any ...
6
votes
1answer
181 views

Exponential of a function times derivative

Exponential of a derivative $e^{a\partial}$ is simply a shift operator, i.e. \begin{equation} e^{a\partial}f(x)=f(a+x) \end{equation} This can be easily verified from a Taylor series \begin{equation} ...
0
votes
2answers
51 views

generalized eigenspace direct sum

Similar to the way an infinite dimensional hilbert space can be written as a direct sum of eigenspaces of a normal compact operator, I was wondering whether it can be written as a direct sum of ...
0
votes
1answer
30 views

The norm of operator matrix

Let $H$ be a Hilbert space and $B(H)$ be the bounded linear operator on $H$, for $T\in B(H)$, if $T=\left(\begin{array}{ccc} 0 & B \\ A & 0 \\ \end{array}\right)$ on $H=M\oplus ...
1
vote
1answer
30 views

spectral measure and integral query

I have proved the 'resolution of the identity' for a normal operator, namely that there is a unique spectral measure E such that $\int_{{\sigma}(T)} {\lambda}\,dE=T$ If (${\lambda}_{n}$) is the ...
1
vote
3answers
100 views

Borel functional calculus

For a normal operator T, we have a resolution of the identity $\int_{{\sigma}(T)} {\lambda}\,dE=T$. If $T$ is in addition compact , we have that $\sum_{n=1}^{{\infty}}{\lambda}_{n}\langle ...
1
vote
1answer
24 views

The operator matrix on Hilbert space

Let $H$ be a Hilbert space and $P$ be the projection operator, then $H= P(H)\oplus (1-P)(H)$. Hence, for each $T\in B(H)$, we have $$T=\left(\begin{array}{ccc} PTP & PT(1-P) \\ (1-P)TP ...
0
votes
1answer
27 views

Core for an unbounded operator.

A symmetric operator $T$ is called essentially self-adjoint if its closure $T$ is self-adjoint. If $T$ is closed, a subset $D \subset D(T)$ is called a core for $T$ if $\overline {T\upharpoonleft D} ...
3
votes
1answer
24 views

A easy question on projection operator

Let $H$ be a Hilbert space and $B(H)$ be all the bounded linear operators on $H$, for arbitrary $T\in B(H)$, if $\{P_{i}\}$ is an increasing net of finite-rank projection, can we conclude $P_{i}TP_{i} ...
3
votes
1answer
44 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
0
votes
1answer
42 views

Prove that — the range $R(T)$ of a bounded linear operator $T:X\to Y$ need not be closed in $Y$

Prove that the range $R(T)$ of a bounded linear operator $T:X\to Y$ need not be closed in $Y$.
1
vote
1answer
68 views

Rank of sum of projections

Let $(\varphi_j)$ be a linear independent sequence of elements of a Hilbert space, not necessarily orthogonal, but such that $$Kf := \sum_{j=1}^\infty \langle\varphi_j, f\rangle\varphi_j$$ converges ...
4
votes
1answer
57 views

Spectral decomposition of normal operator

Define $T$ from $L_{2}(R)$ into itself by $T(f)(t)=f(t+1)$. Show that $T$ is normal and finds its spectral decomposition. I've shown that $f$ is normal (in fact it's unitary) but how do I find its ...
1
vote
1answer
38 views

formula for the norm of a normal operator

In Rudin's Functional analysis, he does a theorem which shows that for a normal operator $\Vert T\Vert=\sup\left\{|\langle Tx,x\rangle|\colon \Vert x \Vert \leq 1\right\}$. Why can't $\Vert x \Vert ...
1
vote
0answers
26 views

Boundedness of a closed operator

Can I get any help with this problem: Let $X, Y$ be Banach spaces, let $D$ be a subspace of $X$, and let $A \colon D \to Y$ be a closed linear operator. If $D$ is a closed subspace of $X$, ...
2
votes
1answer
45 views

Showing that the space of Hilbert-Schmidt operators form a banach space.

How do i show that the set of Hilbert-Schmidt operators $HS(H) = \{T \in B(H) \; : \; \sum^{\infty}_{n=1}\|Te_n\|^2 < \infty \}$ for some countable ONB $\{e_n\}$, on a separable Hilbert Space H, ...
1
vote
1answer
30 views

I want to show that some subset of $C([0,1])$ is equicontinous

First why the problem appeard. I want to show that the linear and continuous operator $T:C([0,1])\rightarrow C([0,1])$ , $ (Tf)(t)=\int_{[0,1]}k(t,s)f(s)ds$ where $k:[0,1]^2\rightarrow\mathbb R$ is ...
0
votes
0answers
10 views

Fredholm operators and their applications

What are the applications (and possibly generalizations) of fredholm operators in partial differential equations?
2
votes
1answer
43 views

Polar decomposition corollary

Let $T$ be a compact operator on an infinite dimensional Hilbert space. Let $|T|=(T^*T)^{0.5}$. By the polar decomposition theorem there is a partial isometry $S$ of the closure of Im$(|T|)$ such that ...
1
vote
1answer
42 views

Relation between $K$-theories

I apologize in advance if this question is too vague/general. I am curious to know how all of the different $K$-theories are related (algebraic $K$-theory, topological $K$-theory, twisted $K$-theory, ...
4
votes
0answers
90 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
2
votes
1answer
71 views

Completeness and separability of $B(X)$ (bounded linear operators on $X$)

Assume $X$ is a separable Banach space with norm $|| \cdot||$. Consider $\{f_n\}_{n \in N}$ a countable dense subset of $X$ and equip $B(X)$ (bounded linear operators on $X$) with the following ...
5
votes
0answers
52 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
4
votes
2answers
121 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] + ...
2
votes
2answers
54 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
0
votes
1answer
13 views

Image and Kernel of a certain bounded operator

Consider and Hilbert Space $X$, $T\in B(X)$ and a scalar $\mu$ s.t. $|\mu|=||T||$ By a simple argument I deduced that $\ker(\mu I- T)=\ker(\bar\mu I-T^*$) where $*$ denotes the adjoint. I am then ...
0
votes
0answers
24 views

Largest? smallest cross norm? Simple question about cross norms on tensor products of Banach spaces.

This is a very simple dumb question, I'm completely new to this topic, I was reading wikipedia's entry on "Topological tensor product" and there's one thing I'm confused about. Let $A$ and $B$ be ...
2
votes
0answers
26 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
1
vote
1answer
13 views

Conditions on integral operator to be in $L^{2}$

Suppose we have an open set $\Omega$ in $\mathbb{R}^{n}$ and for every $x\in\Omega$ a function $T\left(x,\cdot\right)\in L^{2}\left(\Omega\right)$. If for $f\in L^{2}\left(\Omega \right)$ we consider ...
0
votes
0answers
25 views

Eigenvalues and eigenvectors of a nonlinear operator

I have found a few nice answers to the question: "Why are eigenvalues and eigenvectors useful." I can imagine that knowledge of eigenvectors (-values) for a general nonlinear operator is worthless. ...