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

Bochner integrability and analytic semigroup

For a general strongly elliptic second order operator of the divergence form $$A=\partial_j\big(a^{ij}\partial_{i}\big)+b^i\partial_i,$$ with smooth enough coefficients on a smooth bounded domain ...
3
votes
0answers
19 views

Existence of Star Cyclic Vector for $M_\phi$- Necessery and sufficient condition

Let $X$ be a $\sigma$-finite measure space. $M_\phi :L_2(\mu)\rightarrow L_2(\mu)$ for $\phi \in L_\infty (\mu)$ is defined by $f \rightarrow \phi. f$. $f_0$ is called a star cyclic vector for ...
0
votes
0answers
28 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$ ...
3
votes
1answer
40 views

Continuity of functional calculus

Let $\mathcal{A}$ be an unital C*-Algebra. $a,b$ be normal elements in $\mathcal{A}$. $X\subset \Bbb C$ is a compact subset. $f:X\rightarrow \Bbb C$ is continuous. I need to show that for all ...
1
vote
0answers
55 views

Is the Hankel Transform a Hankel Operator

The "Hankel Transform" is the infinite weighted sum of the Bessel function. At the top of the wikipedia article http://en.wikipedia.org/wiki/Hankel_transform it says Not to be confused with the ...
1
vote
1answer
75 views

Definition of s-lim? (context: Trotter product formula)

I am searching for a definition of "s-lim", a notation I am seeing used sometimes in the statement of the Trotter product formula (for instance in Barry Simon's book Functional Integration and Quantum ...
5
votes
0answers
72 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
4
votes
1answer
131 views

Fractional powers of positive self-adjoint operators

Consider two positive unbounded operators $A$ and $B$ densely defined on a Hilbert space $H$ self-adjoint on a domain $\mathcal{D}(A) = \mathcal{D}(B) = H_1$. By the spectral theorem, we can define ...
1
vote
1answer
17 views

Operator Sum: Selfadjoint

Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}A\to\mathcal{H}:\quad A=A^{**}$$ Does it follow that: $$S:=\overline{A+A^*}:\quad S=S^*$$ (Rigorous proof?) Densely ...
2
votes
1answer
23 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_n$, what's the second derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
2
votes
1answer
104 views

Why is $\langle Ax, Ax \rangle = \langle A^2 x, x\rangle$?

Let $X$ be a Hilbert space and $A\in \mathcal{B}(X)$ be self-adjoint. How can I prove: $$\langle Ax, Ax \rangle = \langle A^2 x, x \rangle$$ I know it is a simple problem, but I don't know how to ...
1
vote
1answer
14 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_{n\in\mathbb N}$, what's the derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
5
votes
1answer
143 views

Decomposing operators into the sum of a quasinilpotent and something else

I seem to remember some result of the following sort: Alleged Theorem. Every bounded operator on a separable complex Hilbert space can be decomposed as the sum of a normal operator and a ...
3
votes
1answer
517 views

Computing the spectral decomposition for the multiplication operator $f(x) = \frac{1}{1+x^2}$

I am trying to use the spectral theorem for self adjoint operators to decompose the spectrum of the multiplication operator $f(x) = \frac{1}{1+x^2}$ on $L^2(\mathbb{R}).$ This is a problem in Teschl's ...
0
votes
1answer
34 views

Two normal operators are similar if and only if they are unitarily similar

I need to prove that in a $C^*$-Algebra two normal operators are similar if and only if they are unitarily similar. Can anybody help, please? One side is obvious, so our concern is the other side. I ...
4
votes
1answer
31 views

Weak convergence of bounded operators

so let $X$ be a Banach space then we say that $A_n \in L(X)$ converges weakly to $A \in L(X)$ if for all $y \in L(X)^*: y(A_n) \rightarrow y(A).$ On the other hand, I just read that weak convergence ...
1
vote
0answers
41 views
+100

Can we characterize the probability generating function as a linear operator?

For a nonnegative integer-valued random variable $X$ with $\mathbb P(X=j)=p_j$, we define the probability generating function of (the distribution of) $X$ by $$P_X(s):=\mathbb E\left[s^X\right] = ...
1
vote
1answer
44 views

Hilbert space …

i got the following operator. Let H be a Hilbert space, $(\lambda_n)_{n \in \mathbb{N}}$ a bounded sequence in $\mathbb{K}$ and $T^: H \to H, x \to \sum_{n\in\mathbb{N}} \lambda_n \left<x, ...
0
votes
0answers
8 views

Neumann Poincare operator maps $L^2$ in itself

How can I show that the Neumann-Poincare operator $$ K_{\partial \Omega}[\phi](x) = \int_{\partial \Omega} \dfrac{(x-y) \cdot \nu(y)}{|x-y|^d} \phi(y) \ dy $$ maps $L^2(\partial \Omega)$ in itself (if ...
1
vote
2answers
36 views

Approximation of $\int_0^tF_x(s,X_s)Φ_0dW_s$ where $dX_s=φ_sds+Φ_sdW_s$ and $F_x$ is the Fréchet derivative of some $F:[0,t]×H→\mathbb R$

Let $U$ and $H$ be Hilbert spaces $Q\in\mathfrak L(U)$ be nonnegative and symmetric with finite trace $U_0:=Q^{1/2}U$ be equipped with the usual inner product $(\Omega,\mathcal A,\operatorname P)$ ...
1
vote
2answers
50 views

Itō formula as presented in “Stochastic Equations in Infinite Dimensions” by Giuseppe Da Prato

In Stochastic Equations in Infinite Dimensions, Theorem 4.32 (Google Books), the authors present the following version of an Itō formula: Given Hilbert spaces ...
0
votes
1answer
13 views

Continuity condition in locally convex F - spaces

It is well known that if $X$ and $Y$ are Banach spaces, then if the linear map $T:X→Y$ satisfies the condition $f∘T ∈ X^{*}$ for every $f∈Y^{*}$, then T is bounded. Is the conclusion still true under ...
4
votes
1answer
76 views

Density of sets whose image is dense.

This is probably easy, but I can't think of an answer. Assume $X$ is a Banach space and $A$ is a (not assumed closed) subspace of $X$. Let $T:X \to X$ be a bounded operator, which is also injective. ...
1
vote
2answers
27 views

Tridiagonal matrix inner product inequality

I want to show that there is a $c>0$ such that $$ \left<Lx,x\right>\ge c\|x\|^2, $$ for alle $x\in \ell(\mathbb{Z})$ where $$ L= \begin{pmatrix} \ddots & \ddots & & & \\ ...
1
vote
1answer
31 views

Form of pure states on $M_n(\mathbb{C})$

Related question: The form of the states on an algebra of $n\times n$ matrices with complex entries I have tried to show that pure states on $M_n(\Bbb{C})$ are of the form $\phi(A)=Tr(\rho A)$, just ...
2
votes
1answer
29 views

non direct sum decomposition using Fredholm operators

I am reading a paper on PDEs and at some point the author uses an argument that I cannot understand very clear, it seems to be elementary but I do not get it. Let $P$ be a Fredholm operator (i.e. ...
0
votes
2answers
10 views

Show that if $c$ is a positive constant, then $\frac{1}{c}F(\frac{s}{c})=\mathcal{L}\{f(ct)\}$

Suppose that $F(s)=\mathcal{L}\{f(t)\}$ (Defined as the usual Laplacian operator). Show that if $c$ is a positive constant, then $\frac{1}{c}F(\frac{s}{c})=\mathcal{L}\{f(ct)\}$. ...
2
votes
1answer
13 views

Is $p\in B(\mathbb{C}^4)$ a s.o.t-limit of a sequence $(a_n\otimes b_n)_{n\in\mathbb{N}}\subseteq B(\mathbb{C}^2)\otimes B(\mathbb{C}^2)$?

Let $L(H)$ the bounded linear operators on a hilbert space $H$. I proved that the inclusion $$i:B(\mathbb{C}^2)\otimes B(\mathbb{C}^2)\hookrightarrow B(\mathbb{C}^4)$$ is not surjective: take ...
1
vote
1answer
27 views

Why is $\overline{B(l^2)\odot B(l^2)}^{\| \enspace \|_{op}}\neq B(l^2\otimes l^2)?$

Let $B(l^2)$ be the $C^*$algebra of bounded linear operators on the sequence space $l^2$ and denote with $B(l^2)\odot B(l^2)$ the tensor product of $B(l^2)$ with itself, considered as a $*$algebra ...
0
votes
1answer
23 views

If $(U,〈\;⋅\;,\;⋅\;〉),H$ are Hilbert spaces, $W\in U$, $Y\in H$, $Z\in L(U, H)$ and $f\in L(H,L(H,\mathbb R))$, then $〈Y,fZW〉=〈ZW,fY〉$

Let $(U,\langle\;\cdot\;,\;\cdot\;\rangle)$ and $H$ be Hilbert spaces $W\in U$, $Y\in H$ and $Z\in\mathfrak L(U, H)$$^1$ $f\in\mathfrak L\left(H,\mathfrak L\left(H,\mathbb R\right)\right)$ How ...
2
votes
2answers
36 views

Sequence of bounded Operators (Is this a counterexample?)

I've to proof the following statement Let $X,Y$ be to banach spaces and $(T_k)_{k \in \mathbb{N}} \subseteq L(X,Y)$ a bounded sequence of bounded linear operators. Further it exists a dense subset ...
0
votes
1answer
22 views

Adjoint Operator to the Derivative

Let $V \subset \Bbb R[X]$ be the Vectorspace of all Polynomials of degree $\le 3$. The inner product on $V$ is defined as follows: $$\langle f,g \rangle:=\int^1_{-1}f(t)g(t)dt$$Let $L:V \to V$ be the ...
0
votes
0answers
17 views

the adjoint of left translation semigroup on L1(R) [closed]

Show that on the Lp-spaces, the right translation semigroups are the adjoints of the left translation semigroups; i.e., Tl(t) = Tr(t) for t ≥0.
1
vote
0answers
18 views

The necessity of defining the stable equivalence in the construction of the Grothendieck group $K_0$

I am confused about the process of the construction of the Grothendieck group $K_0$ in Murphy's $C^*$-algebras and operator theory section 7.1. Let $A$ be a $*$-algebra and ...
1
vote
1answer
13 views

positive operator, projection on Hilbert,$Q|T|Q \ge |QTQ|?$

Let $T$ be an operator on a Hilbert space $H$. And $Q$ be a projection. Whether $$Q|T|Q \ge |QTQ|?$$ Obviously, if $T$ is positive, then $Q|T|Q = |QTQ|$. Also, there are some $T$ such that $QTQ=0$ ...
2
votes
1answer
35 views

If $H$ is a Hilbert space, are we able to identify the derivative ${\rm D}f(x)$ at some $x\in H$ of a differentiable $f\in H'$ with an element of $H$?

I'm confused about some equation I've seen in a book and want to write down some thoughts. I would appreciate, if somebody could tell me whether I'm terribly mistaken or not: Let ...
0
votes
0answers
14 views

Following integral is in the domai of the operator or not.

Let $\{T(t):t\geq 0\}$ be a $C_0$ semi group on a Banach space $X$ and let $A:D(A)\to X$ be its infinitesimal generator. We know that for $x\in X$, $\int_{0}^{t}T(s)xds\in D(A).$ Can we conclude ...
1
vote
0answers
25 views

Need hint to show that operater is compact

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 Hint how to solve such type of problem.
0
votes
0answers
26 views

Proving that the point spectrum of $T$ is not empty

This problem comes from Rudin's Functional Analysis, Chapter 10. It's the problem 15. Suppose $X$ is a Banach space, $T\in\mathcal{B}(X)$ is compact, and $\|T^n\|\geq 1$ for all $n\geq 1$. ...
0
votes
0answers
16 views

Fredholm index in Calkin Algebra

Let $\mathcal{H}$ be a separable infinite dimensional Hilbert space, let $\mathcal{B}\left(\mathcal{H}\right)$ be the Banach algebra of bounded linear operators and ...
1
vote
1answer
17 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 ...
1
vote
1answer
21 views

Compact Operator with Infinite rank Doesn't have a Closed Image

Let $\mathcal{H}$ be a separable infinite-dimensional Hilbert space. Claim: A compact operator $T$ which has infinite-rank has an image that isn't closed. I'm trying to prove this claim but I'm ...
1
vote
1answer
17 views

Given a normed space $X$ and $A:X\to\mathbb R$, how can I compute the second Fréchet derivative of $f(t):=A(x_0+th)$ for some $x_0,h\in X$?

Let $(X,\left\|\;\cdot\;\right\|)$ be a Banach space and $A:X\to\mathbb R$ be Fréchet differentiable, i.e. $\exists{\rm D}A:X\to\mathfrak L(X,\mathbb R)$$^1$ with $$\lim_{\left\|h\right\|\to ...
1
vote
0answers
16 views

semifinite von Neumann algebra, spectral projection, trace

Let $\mathcal{M}$ be a semifinite von Neumann algebra and $\tau$ be a semifinite faithful normal trace on it. Let $T,P_1,P_2\in \mathcal{M}$, where $P_1,P_2$ are projections with $P_1\perp P_2$. Then, ...
1
vote
1answer
16 views

Does a polynomial function on spectrum uniquely define polynomial on operator?

Let $X\subset\mathbb C$ be a compact set, let $T$ be a bounded operator with its spectrum contained in $X$, let $P$ be a polynomial. Is it true that whenever $P=0$ on $X$ then $P(T)=0$?
2
votes
2answers
26 views

Spectrum of an unbounded operator

Consider a densely defined unbounded operator $A_0:D(A_0)(\subset{H})\to H$ which has the following properties: 1- Symmetric, $\langle A_0x,y\rangle=\langle x,A_0y \rangle$ 2- Positive, $\langle ...
1
vote
1answer
15 views

spectral projection

Let $T$ be a self-adjoint operator on a Hilbert space $H$. $P$ is a projection on $H$. Let $E^{|PTP|}(1,\infty)$ be a spectral projection of $|PTP|$. My question is: whether $E^{|PTP|}(1,\infty) \le ...
1
vote
1answer
27 views

If $Q$ is an operator on a Hilbert space $U$ and $(e_n)_{n\in\mathbb N}$ is an ONB of $U$ with $Qe_n=λ_ne_n$, then $Q^{-1}e_n=\frac 1{λ_n}e_n$

Let $U$ be a Hilbert space $Q$ be a bounded, linear, nonnegative and symmetric operator on $U$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $U$ with $$Qe_n=\lambda_ne_n\;\;\;\text{for all ...
2
votes
2answers
44 views

Self adjoint and symmetric operator

I am wondering whether for an operator defined on a real Hilbert space to be positive we need to show that it is self-adjoint at first. It seems to me that they are two different property and can be ...
1
vote
2answers
32 views

positive operator, projection, Hilbert space

Let $T$ be a positive operator on a Hilbert space $H$. Let $P$ be a projection on $H$. Then, it is well-known that $PTP$ is also positive. My question is: whether $T\ge PTP$?