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

Operator $f \mapsto u(f)$ solution of non-homogeneous Laplace equation is compact and self-adjoint

Let $u : L^2 \to L^2$ be the linear operator which associates $f$ to $u(f)$ the solution of $$ \begin{cases} \Delta u = f & \text{in } D \\ \dfrac{\partial u}{\partial \nu} = 0 & \text{on } ...
2
votes
1answer
13 views

subset of pure states with norm condition already dense

I struggle to proof the following statement: Let $Y\subseteq P\left(B\right)$ a subset of pure states on a $C^*$-Algebra $B$ such that for every $b\in B$ there exists a $\varphi \in P \left(B\right)$ ...
2
votes
1answer
31 views

$Tf = xf(x)$ is not compact in $L^2([0,1])$

I want to prove, in a rather elementary way, that $Tf = xf(x)$ is not compact in $L^2([0,1])$. I cannot find the appropriate bounded sequence whose image has no Cauchy sub-sequences. I have tried ...
10
votes
3answers
510 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 ...
0
votes
1answer
35 views

Approximate point spectrum of a normal operator

how can I show the following theorem? Let $H$ a Hilbert space and $T:H \to H$ a linear, continuos and normal operator. Then for every $\lambda \in \sigma(T)$ there exists a sequence $(x_n)_{n \in ...
0
votes
1answer
42 views

Upper bound on the norm of the inverse of matrices with zero limit

Let $\{L(\sigma)\}_{\sigma}$ be a family of matrices indexed by the parameter $\sigma$ so that the operator norm $||.||$ of $\{L(\sigma)\}_{\sigma}$ satisfies $Ae^{-a/\sigma}\leq ||L(\sigma)|| \leq ...
1
vote
1answer
24 views

Spectral projections, additivity

Let $K$ be a positive operator on a Hilbert space $H$. $Q_1$ and $Q_2$ are projections such that $Q_1\perp Q_2$. Is $$ E^{Q_1K Q_1} (1,\infty) + E^{Q_2K Q_2} (1,\infty) =E^{Q_1K Q_1 +Q_2K Q_2} ...
1
vote
1answer
25 views

Compactness of a bounded operator $A: l_1 \to l_1$

Let $l_1$ denote the space of absolutely summable sequences and $B(l_1,l_1)$ denote the space of all bounded linear operators from $l_1$ to $l_1$. I am trying to solve the following question Let $A ...
3
votes
1answer
104 views

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

Functions over a $C$ vector space with geometric importance. (How to find the basis?)

Searching through our suggested exercises of linear and abstract algebra for solving, I found the following exercise. The reason I am posting this, is that because we haven't went through complex ...
0
votes
0answers
8 views

What is the importance of Leray Schauder non linear alternative [on hold]

I'm questioning the importance of the Leray-Schaulder alternative, isn't more simple to use directly the Schauder fixed point theorem. Especially that, to prove the alternative we use the fixed ...
0
votes
0answers
16 views

continuity of some operator

Let $p \geq 1$ and let $A: l^{p + 1} \to l^{p + 1}$ be a continuous linear operator. Suppose that $A(x) \in l^{p}$ for all $x \in l^{p + 1}$. Is it true that the map $l^p \ni x \mapsto A(x) \in l^p $ ...
1
vote
0answers
17 views

Two definitions of the operator $\exp(x)$ in $L^2(\mathbb R)$

The operator $x$ acts on a dense subspace of $L^2(\mathbb R)$ and is not bounded. So if we define $\exp(x)$ via the power series $\sum_{n=0}^\infty \frac {x^n}{n!}$, convergence will not follow in the ...
1
vote
1answer
20 views

A question on Bounded Approximation property

Let $V$ be a Banach space and we say that $V$ has the $C$-BAP if there exists a net of bounded finite rank operators $T_\alpha$ in $B(V,V)$ and a constant $C$ such that $\|T_\alpha\| \leq C$ for each ...
2
votes
1answer
15 views

Spectrum of a polynomial operator?

Let us have $A: l^2 \to l^2, A \in B(l^2)$. $$A(\delta_n)=3 \delta_{n}+i \delta_{n+1}$$ What is the spectrum of $A$? My approach: We can write down $A$ in a better form: $$A=3I - iR$$, where $I$ ...
3
votes
1answer
45 views

Aproximating positive elements in inductive limit of C* algebras

Let $\{A_i,\Phi_{ij} \}_{i\in \mathcal{I}}$ a directed system of C* algebras and $A:=\varinjlim A_i$ its limit. I know that if $x\in A$ is self-adjoint, it can be approximated with another ...
1
vote
0answers
31 views

Minimality of the Spatial C*-Norm

Given C*-Algebras $A,B$ and $x \in A \otimes_* B$ show that: (a) If $(\tau \otimes_* \rho)(x)=0$ for all $\tau \in A_+^*$ and $\rho \in B_+^*$, then $x=0$. PS: $\tau \in A_+^*$ means that $\tau$ is ...
0
votes
1answer
24 views

Equivalent ways to study perturbed abstract Cauchy problem

I am considering the following abstract Cauchy problem on Banach space $X$: \begin{cases} u'(t)=Au(t)+\big(f(t)+Bu(t)\big),&t\in[0,T],\\ u(0)=x_0, \end{cases} Suppose $A$ generates a $C_0$ ...
3
votes
2answers
455 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
0
votes
1answer
16 views

If an operator A on a Hilbert space has compact resolvent, is Ker($\lambda-A$) finite dimensional?

If an operator A on a Hilbert space has compact resolvent, is Ker($\lambda-A$) finite dimensional, for any $\lambda$ in A's spectrum? P.S: What I know now is that the spectrum of A is discrete.
1
vote
0answers
29 views

Calculate the trace of $T_nL$ where $L\in L(H)$, $T\in L(H,L(H))$ and $T_n:=\langle T,e_n\rangle_H$ for some ONB $(e_n)_n$ of a Hilbert space $H$

Let$^1$ $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over $\mathbb R$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ $T\in\mathfrak L\left(H,\mathfrak L\left(H\right)\right)$ ...
1
vote
1answer
22 views

Operator groups

In $H := L^2(\mathbb{R}, \lambda)$ Hilbert-space, the following two, one-variable operator groups are given: $$(U_s f)(x):=f(x-s)$$ $$(V_s f)(x):=e^{is x} f(x)$$ $f \in H, s \in \mathbb{R}$. a, ...
4
votes
0answers
45 views

Operator continuity on Hilbert space

Let $A: H \to H$ be a linear operator on Hilbert space $H$, and let $\{\alpha_n\}_{n = 1}^{\infty} \subset \mathbb{R}$ converges to nonzero number. Prove that if the series $\sum_{n = 1}^{\infty} ...
1
vote
0answers
15 views

inverse of operator

I want to calculate the inverse of the operator $T=-\frac{\partial^{2} }{\partial x^{2}}-\frac{\partial^{2}}{\partial y^{2}}-(x^{2}+y^{2})+2( x\frac{\partial }{\partial y}-y\frac{\partial ...
1
vote
1answer
18 views

Strongly continuous group and generator commute, what about square roots?

Let $A$ be a positive self-adjoint operator, then $iA$ generates a unitary strongly continuous semigroup (Stone's theorem) $T$. Then from basic semigroup theory we know that $T$ and $A$ commute, but ...
0
votes
0answers
8 views

Example for injective and surjective bounded and unbounded operator

I am looking for some bounded and unbounded densely defined operators on a real Hilbert space $H$, let say $A:D(A)(\subset H)\to H$, that are one-to-one but they are not onto. I am wondering whether ...
1
vote
1answer
44 views

Functional calculus: Does $A$ commute with $e^{iA^2}$?

Let $A$ be an unbounded self-adjoint operator. Is it then true that $A$ commutes with $e^{iA^2}$? This sounds natural to me but I have no clue whether this is true in general. The problem is that we ...
3
votes
0answers
23 views

Showing a C* Algebra contains a compact operator

In my functional analysis class we are currently dealing with C* Algebras, and I just met this problem: Let $ \mathbb{H} $ be a separable Hilbert space, and suppose we have $ A \subset ...
0
votes
0answers
15 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
25 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
29 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
50 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
56 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
76 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
133 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
22 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
26 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
18 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
144 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
521 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
35 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
34 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
1answer
46 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
9 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
41 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)$ ...
2
votes
2answers
62 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
17 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
77 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. ...