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

Composition of analytic functions is analytic in a general setting, and are they continuous?

Regarding the notion of analyticity discussed in this setting: A possible equivalence for holomorphicity I wonder if this is truly the correct definition (even though it is from Dunford-Schwarz) An ...
1
vote
0answers
51 views

Is this operator closed?

Consider the linear operator $H$ with domain $D(H) = S(\mathbb R)\subset L^2(\mathbb R)$, where $S(\mathbb R)$ is Schwartz space, defined by \begin{align} H\psi(x) = -ix^3\frac{d\psi}{dx}(x) -i ...
1
vote
0answers
63 views

Self-adjointness of differentiation operator

Let's say $\mathcal{H}=L^2([0,1])$ and $p$ is the operator $-i\frac{d}{dx}$ defined on $\mathcal{D}(p)=\{f\in L^2([0,1])\ |\ f'\in L^2, f(1)=e^{i\theta}f(0)\}$. I have to prove that $p$ is ...
1
vote
0answers
146 views

Comparison of Strong OPerator and Weak * Topologies on B(H)

It is known that in $\mathfrak{B}(\mathbb{H})$, the weak operator topology (WOT) is contained in both the strong operator topology (SOT) and $\sigma$-weak topology. In general the SOT and the ...
1
vote
0answers
98 views

Compactness of advection diffusion operator (elliptic operator)

Consider the ADE defined on a compact domain $\Omega \in \mathbb R^n$, with boundary $\partial \Omega$ Assume $u(x)$ is smooth incompressible vector field, with $u(x).\hat n(x)=0$ for $x\in \partial ...
1
vote
0answers
85 views

Show that $(D_t t)$ is an isomorphism.

Let $B$ be a Banach space, $\epsilon > 0$, and $$C_1^0 ([-\epsilon,\epsilon],B) = \{u \in C^0([-\epsilon,\epsilon],B) : tu \in C^1([-\epsilon,\epsilon],B)\}.$$ Denote $\partial/\partial t$ by ...
1
vote
0answers
43 views

When does Gelfand Naimark Theorem Hold?

I was going through the proof of the Gelfand Naimark Theorem for the Unital Commutative Banach Algebras. In proving that each character has norm equal to $1$, we used the fact that $||e|| = 1$ where ...
1
vote
0answers
75 views

Transpose of the Hilbert-Schmidt operator

Let $X = L^2(\Omega)$, $\Omega \subset \mathbb{R}^N$ be an open set (or a $\sigma$-finite measure space), $B \in L^2( \Omega \times \Omega)$. Then the Hilbert-Schmidt operator $T \in \mathcal L(X)$ ...
1
vote
0answers
61 views

Kernel of an infinite dimensional operator

Can the Kernel of an infinite dimensional operator have $\dim=0$? I am thinking to the annihilation ($\hat E$) and creation ($\hat E^\dagger$) operators. Suppose, in fact, we have an infinite but ...
1
vote
0answers
56 views

Almost everywhere analytic function

Suppose we have a measure space $\Omega$ and a function $m\in L^\infty(\Omega,\mathcal{B}(E))$, that is invertible for almost all $\theta\in\Omega$ Further assume, that we have an other function $G$ ...
1
vote
0answers
83 views

exponential of an operator, all to a power

I saw this almost answered here: Exponential of the differential operator (it is the unaccepted answer) What I am looking to "solve" is $$ \sum_{j=0}^d\; \left( e^{\epsilon\,\partial_x} \right)^j ...
1
vote
0answers
98 views

Stampacchia Problem

I need to solve this problem, but don't know how get that particular bound. Please, somebody can help me? Let $V$ a Hilbert space, $a : V\times V\rightarrow\mathbb{R}$ a bounded bilinear form, ...
1
vote
0answers
28 views

an upper bound on Wave Front

Can you please help to understand how to solve this question: Let $f^{ij}(x)$ be a positive definite matrix smoothly varying with $x$ and define ...
1
vote
0answers
17 views

similarity between bundle shift

Let $E$ be a flat unitary bundle of rank $n$ over a domain $R$ in $\mathbb{C}$. It is known that bundle shift $T_{E}$ is similar to $T_{\mathbb{C^n}}$ (which is the bundle shift corresponding to the ...
1
vote
0answers
56 views

Prove operator $T$ is onto

Consider the Hilbert spaces $X := H^{1}(\Omega)\times H^{1}(\Omega)$ and $Y:=L^2(\Omega)\times L^2(\Omega)$, where $\Omega =\ ]{-}\pi, \pi[$, and \begin{eqnarray*} \langle(u,v), (z,w)\rangle_X & = ...
1
vote
0answers
159 views

Compact integral operator

I have this exercise and I don't know how to solve the last question. In the following $a,b$ are two real numbers such that $a<b$ ,$E=C([a,b],\mathbb{R})$ with the norm $||.||_0$ given by ...
1
vote
0answers
57 views

A Unique Invariant subspace for a set of matrices

Im wondering if anyone can give me a good reference or answer this question which may have already be solved. For a set of generic $n\times n$ matrices $A_1,A_2,...,A_k$, such that they share only ...
1
vote
0answers
85 views

Find spectrum of the operator and an explicit form for the solution

Let $A: L^2[0,2\pi] \to L^2[0,2\pi]$ be defined by $Au=v$ if $v(x)=\int^{2\pi}_{0} cos(x+t)u(t)dt$ (a) Find the point spectrum, eigenspace, residual spectrum, continuous spectrum, and spectrum (b) ...
1
vote
0answers
143 views

Find spectrum of the operator

I need some help to find point spectrum, residual spectrum, continuous spectrum and for this problem. Let $\theta \in\mathbb{C}$. On the complex space $L^2[-1,1]$ consider the operator $Au=v,$ ...
1
vote
0answers
118 views

How can projection operators be limits of powers of unitary operators?

Consider a (fixed) unitary operator $U$ acting on the Hilbert space $\mathcal{H}$. Because the unit ball is compact in the weak topology, it is not hard to see that there exists a (smallest) compact ...
1
vote
0answers
32 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
0answers
223 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
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$ ...
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
0answers
66 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 ...
1
vote
0answers
79 views

The deficiency indices of symmetric operators

Given any pair of nonnegetive integer $(a,b)$, can you find an (unbounded) symmetric operator $T$ with the deficiency indices $(a,b)$? I guess the answer is yes, but how to do it?
1
vote
0answers
217 views

Integral operators with operator valued kernels

This is the definition for integral operators I know: Let $\Omega \subset \mathbb{R}^n$ and $D \subset \mathbb{R}^n$. Let $K : \Omega \times D \to \mathbb{C}$ be measurable. A linear operator $T: ...
1
vote
0answers
44 views

$\widehat{a}: \Omega(A)‎\rightarrow‎ \mathbb{C}~,~\tau‎ \mapsto \tau(A)‎‎ $

Suppose that $A$ is abelian Banach algebra for which the space $\Omega(A)$ is non-empty. If $a \in A$, we define the function $\widehat{a}‎‎$ by $$\widehat{a}: \Omega(A)‎\rightarrow‎ ...
1
vote
0answers
69 views

If limit of $f(n)$ is zero then the operator is compact

I want to prove the following: Suppose $\mathfrak{H}$ is the Hilbertspace $l^2(\Bbb{N})$ and $T_f$ the multiplication operator on $\mathfrak{H}$, thus $T_f\psi=f\psi$ for ...
1
vote
0answers
47 views

The hermitian element $h=\sum_{n=1}^\infty \frac{p_{n}}{3^{n}}$ generates $C_{0}(\Omega)$‎

‎Please help me to solve the following problem‎ : Let $\Omega$ be a locally compact Hausdorff space‎, ‎and suppose that the $C^{*}$-algebra $C_{0}(\Omega)$ is generated by a sequence of projections ...
1
vote
0answers
95 views

Exponential of an operator plus a constant term

I am reading a book on operator and matrix representation. Most of the examples are on Physics and they mention many terms like 'commute', i.e. the order of application of two operators might be ...
1
vote
0answers
101 views

Finding the spectral radius and spectrum .

I am solving the following question : If $k:[0,1]^2\to \mathbb C$ is continuous and $T_k : C[0,1] \to C[0,1]$ such that $$(T_kx)(t)=\int_0^t k(t,s)x(s) ds$$ Define $k_n: [0,1]^2\to \mathbb C$ ...
1
vote
0answers
29 views

How to show that density?

Show $$ \overline{\operatorname{span}(v_j)}=L^2([0,1]),~~~~~\overline{\operatorname{span}(u_j)}=L^2([0,1]) $$ with $$ v_j(x)=\sqrt{2}\cos((j-1/2)\pi x),~~~~~u_j(x)=\sqrt{2}\sin((j-1/2)\pi x). $$ ...
1
vote
0answers
83 views

Extension of differentiation operator to $L_2[0,1]$.

I'm studying for my functional analysis exam. We are required to know the proof of the following, but I cannot figure it out. Consider $L_2[0,1]$ with orthonormal basis $(e_n)_{n=-\infty}^\infty$ ...
1
vote
0answers
70 views

Containment of an element to an operator system

This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
1
vote
0answers
66 views

Positive maps on $\mathcal{B}(\mathcal{H})$ to itself

Let us consider the set of positive maps $\phi:\mathcal{B}(\mathcal{H})\rightarrow \mathcal{B}(\mathcal{H})$ ($\mathcal{H}$ is Hilbert space). Can we characterize all the maps which satisfies the ...
1
vote
0answers
116 views

Composition of positive maps

Let $\chi_A:\mathcal{B}(\mathbb{C}^n)\rightarrow\mathcal{B}(\mathbb{C}^n)$ be a completely positive (cp) map defined as $\chi_A(x)=AxA^*$, where $A\in\mathcal{B}(\mathbb{C}^n)$. Clearly any cp map ...
1
vote
0answers
264 views

Diagonal Dominance and Spectral Radius

For positive semi-definite matrices, $A$ and $B$ with real entries, Let: $X=I-(2Diag(A)-B)^{-1}(A-B)$ The spectral radius $\rho(X) \leq ||X||$. As, $(2 Diag(A)-B)$ becomes a better approximation ...
1
vote
0answers
47 views

Similarity orbit of compact operators

I am considering a problem connecting the spectra of compact operators to larger class of operators. Since spectra are invariant under similarity, I wonder whether there is a good reference on ...
1
vote
0answers
93 views

When the ultrastrong closure of a *-algebra contains the double commutant

As lemma 6 on p.44 of Dixmier's book on Von Neumann algebras, he states that if $A$ is a *-algebra (i.e. possibly without identity, not necessarily closed in any topology) of operators in $B(H)$ such ...
1
vote
0answers
137 views

Fixpoint of monotone operators

Let $X$ be some set and let $F$ be the set of all functions with a domain $X$ and a range $[0,1]$. We consider $F$ to be a partially ordered set with $f\leq g$ if and only if $f(x)\leq g(x)$ for all ...
1
vote
0answers
196 views

Convergence of net sums of complex numbers, as well as operators

I have some questions concerning convergence of sums where the summands are complex number, although the real motivation of my question comes from Von Neumann algebras where sometimes the summands are ...
1
vote
0answers
239 views

Orthogonal projection and normal operators

Let $G$ be normal operator with compact resolvent such that $\ker G$ is different from $\{0\}$. Now Let $P$ be the orthogonal projection onto $\ker G$ and consider $G' = G + P$. Please, I want an ...
1
vote
0answers
70 views

Is there chance to form a frame (Riesz basis)?

Let $f$ be a continuous function on $\mathbb{R}$ with compact support with exactly one maximum. Form the functions $$ f_{m,k}(x)=f^m\left(x-\frac{k}{2^m}\right) $$ One can show that ...
1
vote
0answers
67 views

When is the orbit of a vector a minimal sequence? When does an operator have a minimal orbit vector?

Let $X$ be a banach space. We say a sequence $(x_n)$ is minimal if for each $k$, $x_k\notin [x_n]_{n\neq k}$, where $[x,y,z,\cdots]$ is the closed linear span of the vectors. For ...
1
vote
0answers
84 views

Where to find Kelly's thesis on Weighted Shifts on Hilbert Space?

I am reading about weighted shifts on a hilbert space. So many of the books/ papers list R.L. Kelly's paper Weighted Shifts on Hilbert Space as a reference that I really want to have a look at this ...
1
vote
0answers
107 views

Partition of unity. Functional analysis

Need to find partition of unity in case of oparator $A_{f}(x)=(|x-1|+x)f(x)$. Operator $A \in L_{2}[0,2]$ Partition of Unity is set of operators $E_{\lambda}=E((- \infty,\lambda]) $, where ...
1
vote
0answers
90 views

positively homogeneous asymptotic expansion associated to the symbol of a pseudodifferential operator

I am currently reading about pseudodifferential operators and their symbols, and I came across the notion of classical pseudodifferential operators. For these it is possible to find an asymptotic ...
1
vote
0answers
153 views

Neumann series in an incomplete normed algebra

Let $\mathcal{A} \equiv (A, \|\cdot\|_A)$ be a unital (associative) normed algebra over the real or complex field, and assume that $\mathcal{A}$ is not complete. Provided $\mathcal{B}_\mathcal{A}$ is ...
1
vote
0answers
109 views

How can I compare unbounded linear operators?

Let $X$, $Y$ be Hilbert spaces. Let $S, T : X \rightarrow Y$ be unbounded operator. Suppose $S$ and $T$ be bounded operators. Then we can compare by their maximum distance on the unit ball of $X$. ...