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

0
votes
1answer
53 views

Symmetric Operator with Different dot products

If I have a symmetric operator $A$ in a metric space $\mathscr{M}$. Then $\langle Au,v\rangle =\langle v,Au\rangle $ with the dot product defined in $\mathscr{M}$. My question is, if I keep the same ...
1
vote
1answer
36 views

Expectation value of pure state in quantum mechanics

It's well known that in quantum mechanics, the expectation value of a self-adojint operator $A$ in pure state $|\psi\rangle$ is $\langle\psi |A|\psi\rangle = \operatorname{Tr}(A |\psi \rangle ...
3
votes
1answer
177 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 ...
5
votes
2answers
402 views

Matrix Representation of Operators in Infinite Dimensional (Separable) Hilbert Spaces

Suppose we have a separable Hilbert space (thus with a countable basis) and that we to represent an operator in matrix form, i.e: $$A: H \rightarrow H \\ \; \; \; \; \; \;x \;\rightarrow \sum_{j \in ...
2
votes
3answers
94 views

The Kernel of unbounded operator in Hilbert space

If $T$ is a densely defined operator from a subspace of a Hilbert space $H$ to a Hilbert space $K$, how to prove that $\mbox{Ker}(T)=\mbox{Ker}(T^*T)$?
2
votes
2answers
167 views

Unbounded operator $T $ is bounded below when $\overline T$ is bounded

How to prove the following? A densely defined symmetric operator $T$ in Hilbert space $H$ has a closure $\overline T$ which is bounded iff both $T,-T$ are bounded below (there exist constants $c,c' ...
2
votes
2answers
118 views

Are WOT/SOT topologies hereditarily separable?

Just out of curiosity, Are weak and strong operator topologies on $B(H)$ hereditarily separable? In other words, if $S$ is a subset of $B(H)$, where $H$ is a separable Hilbert space, is $S$ ...
1
vote
1answer
203 views

Point spectrum in Hilbert spaces

Let $H$ be a Hilbert space and and $T\in B(H)$ be normal and $\sigma_p(T)$ be the point spectrum of $T$ (i.e the set of all eigenvalues of T) and let $E$ denote the spectral measure. I'm trying to ...
1
vote
1answer
58 views

A basic result about operators on Hilbert space.

I am studying following result. Let $H$ and $K$ be Hilbert spaces and an operator $A \in B(H, K)$, which has closed range. The spaces $H$ and $K$ have the following orthogonal decompositions: $H = ...
1
vote
0answers
29 views

The Square of the Laplace Transform

I have been looking at the Laplace transform $$\mathcal{L}f(s)=\int_0^{\infty}f(t)e^{-st}dt$$ and I'm trying to find The norm of $\mathcal{L}^2$ The nullspace of The norm of $\mathcal{L}^2$ So ...
1
vote
1answer
87 views

Strong operator convergence and adjoint operator

Let $H$ be a Hilbert space and $(T_n)_{n \in \mathbb{N}}$ be a sequence of bounded linear operators on $H$. The strong convergence of $T_n$ doesn't imply the strong convergence of $T_n^*$, i.e. ...
3
votes
1answer
173 views

Invertibility of compact operators

I'm a little confused about compact operators and whether or not they are invertible. Just hoping someone here can clear up my confusion: Let $T$ be a compact operator on a Banach space $X$. Since ...
3
votes
1answer
99 views

$K$ is a linear compact operator on Hilbert space $H$. Will the image of $I-K$ on every closed subspace of $H$ be also closed?

Just as the title. We know the image of $I-K$ is closed, but if we restrict $H$ to a closed subspace $V$, will $(I-K)(V)$ be a closed subspace of $H$? Any hint is appreciated.
2
votes
1answer
95 views

Proof of implication: $\varphi^*\text{ is bounded below}\implies\varphi\text{ is a quotient map}$

We say that a bounded operator $\varphi:X\to Y$ is $c$-topologically injective if $\Vert\varphi(x)\Vert\geq c\Vert x\Vert$ for all $x\in X$ $c$-topologically surjective if for all $y\in Y$ there ...
4
votes
2answers
165 views

Composition of pseudo-differential operators

Denote by $S^m$ the set of functions $p: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{C}$ such that $p \in C^{\infty}(\mathbb{R}^n \times \mathbb{R}^n)$ and $$\left| ...
5
votes
2answers
278 views

Square root is operator monotone

This is a fact I've used a lot, but how would one actually prove this statement? Paraphrased: given two positive operators $X, Y \geq 0$, how can you show that $X^2 \leq Y^2 \Rightarrow X \leq Y$ (or ...
4
votes
0answers
186 views

Inverse of Identity plus Volterra operator

consider the following operator or $L_2(0,1)$, $(Pw)(x)=w(x)+\int_0^x K(x,y)w(y)dy+\int_x^1 K(y,x)w(y)dy$, where the integral kernel is a polynomial. I am trying to construct the inverse of this ...
3
votes
1answer
85 views

does invertibility of product imply invertibility of each term of product?

Suppose $\mathcal{H}$ is a Hilbert space and the product $T_1T_2 \in B(\mathcal{H})$ is invertible. Does this imply that both $T_1, T_2$ are invertible ? I am unable to prove this since, unlike the ...
3
votes
0answers
181 views

Is the sum of two closed operators closed?

If A and B are closed linear operators from $X$ to $X$ ($X$ is a normed vector space and the domain of them is X), is $A+B$ a closed operator? I think it's not but I can't find a counterexample. In ...
1
vote
0answers
183 views

Proving properties of exponential map on a Banach algebra

$$\exp(a) := \sum\frac {a^k}{k!}$$ Can you help me prove that: $\exp$ is well defined (i.e. converges for all $a$ in $A$) $\exp$ is continuous $\exp(A)$ is a subset of $A_0$ (where $A_0$ is the ...
1
vote
1answer
56 views

Matrix completion: supplementary questions

Continuation of the question here, what is going to happen if we change the some of the conditions. I write it as a quote from here and change the appropriate places which are underlined: I need ...
1
vote
1answer
65 views

Exponential of nth order derivative

When dealing with an exponential operator of the form $e^{\vec a \cdot \vec \nabla}f(\vec x)$, I understand how this simply shifts the argument of the function by $a⃗$ . My question is what happens ...
1
vote
1answer
179 views

hoffman-and-kunze [chapter 8.2][question 4]

The question: Let Y be a finite-dimensional inner product space and T a linear operator on Y. Show that the range of T* is the orthogonal complement of the null space of T Think i got one way: took ...
2
votes
1answer
272 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 ...
3
votes
1answer
247 views

Spectral theorem of compact operators in Hilbert space

I am reading the following theorem from my lecture notes (English translation of German text). But I don't understand exactly what is meant from this theorem and the proof. Theorem. Let $H$ ...
5
votes
2answers
80 views

Completeness of Operator space.

Assume $(X,\|\cdot\|_X),(Y,\|\cdot\|_Y)$ are normed spaces and $\dim X\geq 1$. The following holds: $Y$ complete $\iff$ $\mathscr L(X,Y)$ complete. The latter denotes the space of bounded operators ...
0
votes
1answer
124 views

Image of a set under a mapping

I need to show that the image of the closed unit ball in $\mathbb{C}$, under the polynomial mapping $p(x) = (1-x)^2$ is the cardioid: ${re^{i\theta} : 0 \leq \theta < 2π, 0 ≤ r ≤ 2 + 2 ...
3
votes
1answer
51 views

existence of invertible operator mapping one sequence pointwise to a 'nearby' sequence

Let $X$ be a Banach space and $(x_n)$, $(y_n)$, $(f_n)$ be bounded sequences in $X$, $X$, $X^*$ respectively such that $f_m(x_n)=\delta_{mn}$ $\forall m,n$ and $\epsilon=\Sigma\|x_n-y_n\|<\infty$. ...
3
votes
1answer
77 views

Spectrum of the Hill Operator $L(y)= -y''+ v(x) y $

Consider the eigenvalue equation for the Hill operator $$L(y)= -y''+ v(x) y = \lambda y, \quad x\in \mathbb{R},$$ where $v(x)$ is any potential and $\lambda$ is the spectral parameter. If $v(x) ...
5
votes
1answer
380 views

Closed unbounded operator with domain not closed

I am looking for an example for further understanding of the Closed Graph Theorem: Let $X,Y$ be Banach spaces and $T:X\to Y$ closed (i.e. the graph of $T$ is closed in $X\times Y$). Then if ...
5
votes
2answers
184 views

Show that linear Operator on $\ell^2$ is unbounded

Currently, I am preparing for a next semester course and trying to figure out some basic concepts in functional analysis. Let $T:\mathcal{D}(T)\to \ell^2$ be defined by ...
1
vote
0answers
35 views

A map that is $(n-1)$-positive but not $n$-positive

Let $\phi : M_n(\mathbb{C})\to M_m(\mathbb{C})$ be a linear map. $\phi$ is called $k$-positive if the map $\phi^{(k)} : M_{kn}(\mathbb{C}) \to M_{km}(\mathbb{C})$, defined by evaluating $\phi$ ...
2
votes
1answer
183 views

Closed range operators

Let $T$ be a linear operator between two normed spaces. I'm trying to show that an operator $T$ has closed range if and only if $\operatorname{im}(T) = (\ker{(T^*)})^{\perp}$. Is there a way to do it ...
1
vote
0answers
43 views

Operator Graph Question

Let $T$ be closable. I am trying to show $\Gamma(\overline{T}) \subseteq \overline{\Gamma(T)}$. I can already show the reverse inclusion. Any ideas?
1
vote
1answer
93 views

Is there any operator which its spectrum corresponding to a compact set?

we know that for each operator $T$ the spectrum $\sigma(T)$ is compact. Is the converse true I mean if we have a compact set $K\neq\emptyset$, is there any operator $T$ such that $\sigma(T)=K$? I am ...
5
votes
1answer
337 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 ...
2
votes
0answers
47 views

Doubt about the spectrum of an operator

I consider the Laplacian operator $$A=-\Delta$$ in the domain $$H^2(\mathbb{R}^3)$$ where it is selfadjoint. We know that its spectrum is $[0,+\infty)$. Now I want to consider the restriction of $A$ ...
0
votes
0answers
35 views

Finding Strictly Positive Elements [duplicate]

I need to find the set of strictly positive elements in the $C^*$-algebra $C_0(\Omega)$ where $\Omega$ is a locally compact Hausdorff space. Clearly, the set will be contained in $ \{ f \in ...
3
votes
2answers
105 views

example of positive but not completely positive operator

I was looking for some example of a positive operator which is not completely positive on a banach algebra. if I consider my banach algebra to be $\text{M}_n(\mathbb{C})$ of matrices over complex ...
1
vote
2answers
47 views

Structure of $L_1(G)$

I came across this while going through some basic examples of $C^*$ algebras. If I consider $G$ as the set of cube roots of unity, what will be $L_1(G)$? I mean what will be the structure of elements ...
1
vote
1answer
156 views

Norm of oblique projector and angle between subspaces

Take $V$ and $W$ closed subspaces of $H$ a Hilbert space with $V\oplus W=H$ (we'll assume this holds in the sequel, it may not be required everywhere but in the context of interest, it is always ...
4
votes
0answers
147 views

Prove that the integral operator is bounded [duplicate]

Prove that the following operator is bounded on $L^{2}(0, \infty)$: $Af(x)$ = $\frac{1}{\pi} \int_{0}^{\infty} \frac{f(y)}{x+y}dy$ with $||A|| \le 1$. Attempt at Solution It can be shown that: ...
1
vote
1answer
45 views

Property of sequence of eigenvalues of an operator.

For a positive (self adjoint) operator $A$ with eigenvalues $\lambda_k$, is it possible to have the case when neither $\lambda_k\to \infty$ or $sup_k \lambda_k<\infty$ for example if a subsequence ...
4
votes
1answer
246 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$)?
2
votes
1answer
66 views

Help with proving: If $X$ is a Hilbert $A$-$B$-module, then $ \| _A \langle x,x \rangle \| = \| \langle x,x \rangle _B \| $ for all $x\in X $.

Sorry, I posted a related question last week on here, but I'm still having trouble and this is a little different, I hope it's OK. Thank you! ( proof that this is an isometric map (on a $C^*$-module) ...
2
votes
0answers
150 views

When are two operators simultaneously diagonalizable?

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 ...
1
vote
0answers
57 views

2 positive decomposable maps

A positive map $\phi:\mathcal{B}(\mathbb{C}^n)\rightarrow\mathcal{B}(\mathbb{C}^n)$ is said to be $k$-positive if the natural extension ...
2
votes
1answer
110 views

finding operator norm $T_N$

How do find the operator norm of , $T_N\colon c_0\to \Bbb R$ given by $T_N(y):=\sum_{j=1}^Nx_jy_j$ ,when $N$ is a integer . TIA
0
votes
1answer
66 views

Operators and Functions

What is the exact difference between operators and functions ( if there is any ) ? Can i say an operator is more general than a function as it turns functions into functions ( like the derivative ...
4
votes
2answers
101 views

System of equations wrt self-adjoint operators

$X = \left( \begin{matrix} 2&s\\ 8&2 \end{matrix} \right)$ and $Y = \left( \begin{matrix} 2&-1\\ 2&2 \end{matrix} \right)$ are two operators wrt the same orthonormal basis $B$ in a 2D ...