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
0answers
2 views

Subnormal Weighted shift and First order derivative

Let $\mathbb B^m$ denote the Eucledian ball in $\mathbb C^m.$ Does there exist a reinhardt measure $\mu$ supported on $\partial \mathbb B^m,$ the boundary of ball, so that the Hilber space $H^2(\mu)$, ...
2
votes
1answer
44 views
+50

Representation of the Fréchet derivative of $〈f,e_n〉$, where $f:H→H$, $H$ is a Hilbert space and $(e_n)_{n∈ℕ}$ is an orthonormal basis of $H$

Let $H$ be a $\mathbb R$-Hilbert space $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ $f:H\to H$ be Fréchet differentiable and $$f_n:=\langle f,e_n\rangle\;\;\;\text{for }n\in\mathbb N$$ ...
4
votes
1answer
383 views

Isolated point in spectrum

"Any isolated point in the spectrum of a self-adjoint operator must be an eigenvalue". Is there an easy way to see this? The spectral theorem tells us that any self-adjoint operator is unitarily ...
1
vote
1answer
20 views

How to show $\sigma(T_q) = \overline{\{q(t) : t \in [0,1]\}}$ where $T_q$ is the multiplication operator?

Let $B$ be the Banach space of bounded complex functions on $[0,1]$ with sup-norm. For $q \in B$, define the (multiplication) operator $T_q : B\rightarrow B$ by $(M_q f)(t) = q(t)f(t)$. How do you ...
1
vote
0answers
21 views

Structured singular value bound on norm of an inverse operator

My question is related to the first answer here, Norm of an inverse operator: $\|T^{-1}\|=\|T\|^{-1}$? with the difference being that I want a similar bound (if possible) with the structured ...
1
vote
0answers
26 views

Schmidt decomposition problem

I'm having a problem in implementing the following problem: I have a quantum state so defined: $\left| \Psi\right>=\int ...
1
vote
1answer
21 views

Existence of minimal projection in a sub-algebra of compact operators

I am not sure that I explained to myself the missing details in the proof right, so please check my explanations. (The proof is taken from "$C^*$ -Algebras by Example"-Davidson) First, I don't know ...
2
votes
1answer
190 views

Irreducible representations and commutative C*Algebras.

If $A$ is a commutative C*-Algebra then also its representation $\pi(A)$ is commutative, and it's an operator C*-algebra. A representation is said to be irreducible if $\pi(A)$ does not commute with ...
1
vote
1answer
39 views

projections in von Neuman algebra

Consider a semifinite von Neumann algebra $\mathcal{M}$ with a semifinite faithful normal trace $\tau$. If $Q, P$ are projections in $\mathcal{M}$ with $\tau(Q)< \tau(P)$, then does $\tau(P\wedge ...
3
votes
1answer
140 views

Show that if $[Q,P]=it\Bbb{I}$ then the operators are unbounded

In the Hilbert space $\mathcal{H} = L^2(\mathbb{R},dx)$, let 2 symmetrical operators $P$ and $Q$ be given, with the following properties: $D(P) = D(Q) = \mathcal{S}(\mathbb{R})$ ...
4
votes
1answer
57 views

proof of an equality norm

Let the mapping $T:\ell^{2}\rightarrow \ell^{2}$ is defined as follow. $$T(x_1,x_2,\ldots,x_n,\ldots)=(x_1,\dfrac{1}{2}x_2,\ldots,\dfrac{1}{n}x_n,\ldots)$$ In this case, i've easily earned: ...
2
votes
1answer
39 views

What does a homomorphism $\phi: M_k \to M_n$ look like?

Let $\phi : M_k(\Bbb{C}) \to M_n(\Bbb{C})$ be a homomorphism of $C^*$-algebras. We know that $\phi$ decomposes as a direct sum of irreducible representations, each of them equivalent to the identity ...
4
votes
1answer
35 views

Spectrum of linear operator, essential spectral radius

Consider the operator $L:L^1(S^1)\to L^1(S^1)$ given by $$ (Tf)(x)=\dfrac{1}{2}\left( f\left( \dfrac{x}{2}\mod 1\right)+f\left( \dfrac{x+1}{2} \mod 1 \right) \right) $$ where we identified $S^1$ with ...
0
votes
1answer
17 views

About properties of invertible operators

Let $X$ be a Banach space and $S\in\mathcal{L}(X)$ be a bounded invertible operator. Take $X_{1}$ and $X_{2}$ two subspaces of $X$ such that $X_{1}\subseteq X_{2}$ and consider $S: X_{1}\rightarrow ...
2
votes
1answer
22 views

range of weighted shift operator

Consider the weighted shift operator on $\ell^2$ space defined by $T(x_0, x_1, x_2, ...) = (0, x_0, 2x_1, 3x_2, 4x_3, ...)$ with domain $$\mathcal{D}(T) = \{(x_n) \in \ell^2 : ...
0
votes
1answer
36 views

Sequences of operators in $B(H)$ which converge in the weak operator topology

Let $H$ be a Hilbert space. Suppose that $\{u_n\} \subseteq B(H)$ is a sequence which converges to some operator $u$ in the weak operator topology, which means that for all $x,y\in H$ one has ...
6
votes
1answer
73 views

A question concerning Mazur's Lemma

I have a problem with application of Mazur's Lemma. Just consider $B(H)$ when $H=\ell_2$. Then, $B(H)$ is a normed vector space. Then, take operators $$X_n:={\rm ...
1
vote
1answer
24 views

Resolvent $R(\lambda,A)x \to 0$ as $|\lambda| \to \infty$

If I have a closed operator $A:D(A) \to X$, not necessarily bounded on a Banach space $X$, and the resolvent is unbounded, can I show for a fixed $x \in X$ that $$R(\lambda,A)x \to 0$$ as ...
0
votes
1answer
25 views

Properties of Injective Operator on Hilbert Space

I am new to functional analysis and have the following issue: Given an infinite dimensional Hilbert space $H$ and an operator $f: H \times \Omega \to H$, where $\Omega$ is some finite dimensional ...
4
votes
0answers
76 views
+50

Connection of Fourier's work with Fredholm's

Im trying to formulate for myself in what sense Fredholms work on the Dirichlet problem is connected to Fouriers work on the heat equation. Fourier idea seems to have fundamental problems with ...
1
vote
1answer
38 views

Can we embed $X'\otimes Y$ into the space of bounded, linear operators $X\to Y$?

Let $\mathbb F\in\left\{\mathbb C,\mathbb R\right\}$ $X$ and $Y$ be normed $\mathbb F$-vector spaces $X'$ denote the topological dual space of $X$ $\mathfrak L(X,Y)$ denote the space of bounded, ...
0
votes
1answer
37 views

Why are all linear maps on $\mathbb{R}^d$ bounded?

Suppose $W$ is a normed space and $A : \mathbb{R}^d \to W$ is a linear operator. Why is $A$ automatically bounded?
1
vote
1answer
43 views

An expression for the Hilbert-Schmidt inner product

Suppose that $k:[0,1]\times[0,1]\to\mathbb C$ is a Hilbert-Schmidt kernel, i.e. $$ \int_0^1\int_0^1|k(x,y)|^2\mathrm dx\mathrm dy<\infty. $$ The associated Hilbert-Schmidt integral operator ...
2
votes
1answer
29 views

Are $X'\otimes Y$ and $\mathfrak L(X,Y)$ isomorphic?

Let $\mathbb F\in\left\{\mathbb C,\mathbb R\right\}$ $X$ and $Y$ be normed $\mathbb F$-vector spaces $X'$ be the topological dual space of $X$ $\mathfrak L(X,Y)$ be the set of bounded, linear ...
0
votes
0answers
16 views

How to prove that $ e_{\lambda}$ can be written in the following form?

Let $e_{\lambda}$ be the spectral density associated to the spectral function $E_{\lambda}$ for a self-adjoint operator $A$ on a complex Hilbert space $(H,\left<., .\right>)$. Haw to prove that ...
2
votes
0answers
16 views

Orbits under small perturbations

Suppose $T$ is a bounded linear operator on $l_2$ and $x\in l_2$ is a vector such that the orbit $(T^{n}x)$ is linearly independent. Can one find an $\epsilon>0$ such that for all ...
2
votes
1answer
52 views

How can we prove that the space of trace class operators on a Hilbert space $H$ is the closure of $H\otimes H$ with respect to the trace norm?

Let $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space over $\mathbb R$ $\mathfrak L^1(H)$ be the space of trace class operators on $H$ and $$\operatorname{tr}L:=\sum_{n\in\mathbb ...
2
votes
1answer
460 views

Compact and bounded if and only if $X$ is finite dimensional

I tried to prove the theorem Let $X$ be a Banach space. Then $K(X) = B(X)$ if and only if $X$ is finite-dimensional. Please could someone check my proof? (The implication where $X$ is finite ...
3
votes
2answers
97 views

Lifting a unitary to a partial isometry

What is an example of a unital $C^*$-algebra $A$ and an ideal $I$ such that some unitary element in $A/I$ cannot be lifted to a partial isometry in $A$? Or can it be shown using general properties of ...
0
votes
1answer
72 views

Determine whether the differential operator is compact in the following cases

Given the differential operator $\displaystyle Tx(t)=\frac{dx}{dt}$, I need to determine (and be able to justify) whether it is compact in the following three cases: $T: C^{1}[0,1]\mapsto C[0,1]$ ...
0
votes
0answers
15 views

What does 'mode' mean in this context?

The spectrum of an operator $\mathcal{L}$ is the disjoint union of two sets: the point spectrum that consists of all isolated eigenvalues with finite multiplicity and its complement, which we call the ...
0
votes
1answer
25 views

unitary operator between two Hilbert subspaces

$H$ is a Hilbert space. $P, Q$ are projections. For every $x\in P(H)$, we have decomposition $x = Qx +Q^\perp x$. Then, can we find a unitary operator from the space generated by all $Qx$, $x\in ...
-1
votes
0answers
38 views

Need hint to show that an operator is compact [closed]

Let H be a separable Hilbert space with the basis $\{e_n\}$. If A is an operator defined by $$Ae=\frac{1}{n} e_n$$ then show that A is compact. I just need a hint how to solve such type of problems.
1
vote
1answer
38 views

Diagonal operators on infinite dimensional Hilbert spaces

the following is a short question regarding a theorem from a quantum mechanics book I am working through but the question is a mathematical one. There is a theorem which states: Theorem: The ...
0
votes
0answers
7 views

Complex Air operator

Help me to do this exrcice Consider the differential operator $A=-\partial^{2}_{x}-ix$ on $\mathbb{R}$ with $D(A)=\{f\in L^{2}(\mathbb{R},dx), Au\in L^{2}(\mathbb{R},dx)\}$ Check that $A$ is colsed ...
1
vote
0answers
15 views

Is the generated semigroup by an elliptic operator be the transition semigroup?

I am considering the time homogeneous Ito diffusion: $$dX_t=b(X_t)dt+\sigma(X_t)dW_t,$$ where $b,\sigma$ currently are only assumed to be global Lipschitz for the existence of solution $X_t$. The ...
1
vote
2answers
32 views

why the quotient space is finite $X/\ker T$

Let $T:X\rightarrow Y$ be a linear operator from Banach space to Banach space, if $Y$ is finite dimensional, show $X/\ker T$ is finite dimensional, moreover has same dimension with $Y$. Any help is ...
2
votes
1answer
36 views

spectral projection of an isolated point in the spectrum of a closed linear operator

Suppose that $T$ is a closed densely defined operator on a Hilbert space $H$ with $\rho(T) \neq \emptyset$. If $\lambda \in \sigma(T)$ is an isolated point then we know that $H = \mathcal{N}(E_o) ...
4
votes
1answer
54 views

This linear operator has no eigenvalues

Let $T : L^2(\mathbb R) \to L^2(\mathbb R)$ be a linear operator defined by $$(Tf)(x)=f(x+1).$$ Show that $T$ has no eigenvalues, i.e., there exists no $f \not= 0$ in $L^2(\mathbb R)$ such that ...
4
votes
1answer
323 views

Norm of self-adjoint operator

i am trying to prove that $\|A\|=\sup_{||x||=1}|\langle x,Ax\rangle|$ for some selfadjoint bounded operator A on a Hilbertspace. Can anyone give me a hint how to prove it.
4
votes
1answer
45 views

Using calculus results for functions of operators

I am interested in the conditions required for functions of operators to be manipulated as if it were a real valued function with a real domain. In an applied maths text I am using the following is ...
0
votes
1answer
29 views

Existence of some extension

Let $X_{0}$ be a linear closed proper subspace of real normed space $X$. Show that for every linear and continuous functional $\phi_{0}: X_0 \to \mathbb{R} $ with norm 1 there exist a linear and ...
0
votes
0answers
32 views

Adjoint of differential operator

I would like to find the adjoint of the operator $T_a$ ($a\in \mathbb{C}$) on $ \mathcal{H}=L^{2}(\mathbb{R}^{2},dxdy)$ with $(u,v)=\int \int u(x,y)\overline{v(x,y)} dx dy$ ...
0
votes
0answers
21 views

Finding the adjoint of the left translations semigroup on $L^p (\Bbb R)$

If $t \mapsto T_l (t)$ is the left translation operator by $t$ on $L^p (\Bbb R)$ given by $\Big( T_l (t) (f) \Big) (s) = f (t + s)$, find the adjoint of the left translations semigroup. Note that on ...
0
votes
1answer
521 views

Matrix form of the differential operator $\sum_{k=1}^N x^k\frac{d^k}{dx^k}$

The following differential operator: $P(x,N)=\sum_{k=1}^N x^k\frac{d^k}{dx^k}$ is defined in $x\in\left[-1,+1\right]$. Is it possible to find a matrix form of this operator vs. $N$? Because it's ...
0
votes
0answers
33 views

What are the Hermitian idempotent matrices with respect to $l_{1}$ norm

Let $A=(M^{n}(\mathbb{C}), \|\cdot\|_{1})$. The numerical range of $a\in A$ is defined as $V(a)=\{f(a):f\in A',\|f\|=1=f(1)\}$. $a\in A$ is said to be Hermitian if $V(a)\subseteq \mathbb{R}$. $a\in A$ ...
0
votes
0answers
29 views

How to generalize this proof of the closed graph theorem

I found this tricky new proof of the closed graph theorem for a Hilbert space $H$. http://arxiv.org/pdf/1601.02600.pdf It says in the abstract, that it's possible to extend the proof to Banach space. ...
0
votes
0answers
22 views

Metrics from Operator Norms

Let $X$ be a Hilbert space and $(\cdot,\cdot)_X$ be the inner product on $X$. It is well known that $|x|_X = \sqrt{(x,x)_X}$ is a norm on $X$ and $|x-y|_X$ is a metric on $X$. The norm on $X$ induces ...
1
vote
2answers
47 views

Norm of operator $A$ st. $A^2 = I$?

I'm wondering what can be said about the norm $||A||$ of an operator which squares to identity. All I can think of is that $$1=||AA|| \leq ||A||^2$$ so that $||A|| \geq 1$. But can anything else be ...
2
votes
1answer
36 views

Weak convergence and strong convergence on $B(H)$

Let $\mathcal{A} \subset B(H)$ be a weak closed convex bounded set of self-adjoint operators. If $A_n \rightarrow_{wo} A\in \mathcal{A}$, do we have $A_n \rightarrow A$ strongly?($A_n$ is a sequence ...