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

Norm of a sequence

The following is a theorem that I have some difficulty at it. I do not know how the author shows that $\alpha \in \ell^1$. Please help me. Thanks in advance.
1
vote
2answers
35 views

A question about spectral measure

The following is a part of a theorem of Takesaki's Operator theory: Let $T$ be an positive operator. Suppose $T = \int_0^{\|T\|} \lambda \, de(\lambda)$ is the spectral measure of $T$. Also put ...
3
votes
1answer
39 views

Is it true that $\|A+PBP\|\le\|A+B\|$ for every projection $P$ and positive operators $A,B$?

Let A and B be positive operators on and let P be a projection. Is the inequality $$\|A+PBP\|\le\|A+B\|$$ true? Here $\|.\|$ stands for the operator norm.
0
votes
1answer
66 views

A question about finite-rank projection on Hilbert space

Let $H$ be a Hilbert space and $P_{n}\in B(H)$ be an increasing net of finite-rank projection which converge to the identity in the strong operator topology. Then, Can we verify that ...
1
vote
2answers
259 views

Bounded measurable functions

Suppose $X$ is a compact space and $B(X)$ denotes the bounded Borel measurable function space. Let $f\in B(X)$. There is a sequence of step functions $\{\phi_n\}$ such that $\phi_n\to f$ (point wise). ...
2
votes
1answer
120 views

Resolvent also self-adjoint operator

If I have a self-adjoint operator $U : \operatorname{dom}(U) \subset H \rightarrow H$ and $\lambda \in \rho(U)$, then I assume assume that it is correct that the operator $(U - \lambda I)^{-1} \in ...
1
vote
1answer
57 views

A question about spectral theorem

The following is a discussion about spectral theorem of Folland's Harmonic analysis page 18. Suppose $A$ is a unital commutative C*- subalgebra of $B(H)$ and $u,v\in H$. Put $\Sigma = \sigma(A)$ . ...
3
votes
2answers
635 views

Prove that this integral operator is compact

Let $X,Y=L^2(0,1)$, $k\in C^0([0,1]^2)$. Define $$ K:X\to Y,\,\,\,\,\,Kf(x):=\int_0^1k(x,y)f(y)dy\,\,\,\,\forall\, f\in L^2(0,1). $$ I have to show that $K$ is compact. My idea is to prove that $K$ ...
2
votes
1answer
72 views

Operator classification

Imagine that we have a second-order Sturm-Liouville problem on an interval $(a,b)$. What is the relationship between the structure of solutions and the dimension of $\ker(T^* \pm i)$, does anybody ...
1
vote
1answer
42 views

Show that $\lbrace S_n x \rbrace$ converges for a particular recursively-defined sequence of operators $S_n$

$H$ is a Hilbert space, $M$ is a self-adjoint bounded linear operator on $H$ with $M \leq I$, and $S_0 = 0$; $S_{n+1} = (1/2)(M + S^2_n)$ for $n = 0, 1, 2, ...$. For all $n$, both $S_n$ and $S_n - ...
1
vote
1answer
48 views

Restriction of a spectral measure

Let $x$ be a self-adjoint operator on $H$. By spectral theorem, there is a spectral measure $\mu$ correspondence to $*-$ homomorphism $\pi:C(\sigma(x)) \to B(H)$ such that $x=\int_{-||x||}^{||x||} ...
1
vote
1answer
66 views

Spectral Measures: Domain Criterion

Problem Given a Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Then the criterion holds: ...
2
votes
1answer
57 views

Correspondence between bounded sesquilinear forms and bounded linear operators

Let $H,K$ are Hilbert spaces, I want to show there is an isometric linear correspondence between bounded sesquilinear forms $S(H,K)$ and bounded linear operators $B(H,K)$. ( $\Phi: B(H,K)\to S(H,K)$ ...
3
votes
1answer
33 views

Positivelinear operator on $L^p$-spaces

Suppose $1<p<\infty$. A linear operator $T \colon L^p(\Omega)\to L^p(\Omega)$ is positive if $f \geq 0$ imply $T(f)\geq 0$ (where $\Omega$ is a measure space). 1) Does there exist a positive ...
1
vote
1answer
97 views

Spectral Measures: Square Root

Isometric Equality Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^{**}$$ Denote for shorthand: $$H:=A^*A:\quad H=H^*$$ Regard elements: ...
5
votes
0answers
101 views

A question about sublinear functionals [duplicate]

Could you please give me hints may leads to prove the following: Let $X$ be a real vector space, $\,p_1,p_2:X\to\mathbb R\,$ be two sublinear functionals, and $\,f:X\to\mathbb R\,$ be a linear ...
1
vote
2answers
88 views

About the adjoint operator and weak operator topology.

Let $X,Y$ be Banach spaces. Let $\lbrace{S_n\rbrace}\subset\mathcal{L}(X,Y)$, and $T\in\mathcal{L}(X,Y)$, such that $S_n\xrightarrow[n\to\infty]{WOT}T$, that is: $$\langle ...
2
votes
3answers
124 views

Show that an isometric linear operator $T:H\to H$ satisfies $T^* T=I$, where $I$ is the identity operator on $H$.

Show that an isometric linear operator $T:H\to H$ satisfies $T^* T=I$, where $I$ is the identity operator on $H$. I've been stuck on this for a while and don't really know where to start.
1
vote
1answer
99 views

Showing an operator is essentially self-adjoint

I have a question about checking if an operator is essentially self-adjoint. Given the operator $$H=-\frac{1}{2}\partial^2_{r}-\frac{1}{r}\partial_r$$ with domain $C^{\infty}_0((0,\infty))$ (i.e. ...
3
votes
1answer
45 views

Boundedness Spectral Triple Axioms for de Rham Complex

In Connes' axioms for a spectral triple $(A,H,D)$, they have a representation of an algebra $A$ in bounded operators on a Hilbert space $H$, and (unbounded) operator $D$, such that $[D,a]$ is bounded. ...
0
votes
0answers
49 views

What's the difference between a costant $k$ and $arity = 0$?

What kind of mathematical entities can have $arity = 0$ without being a constant ? Or there is a concept that generalize the concept of constant and I can't see it ? Background: I am having some ...
1
vote
0answers
51 views

Multiplication operator is bijective?

Let $H^2(\Delta^2)$ denote the Hardy space on the polydics and $M_f:H^2(\Delta^2)\rightarrow H^2(\Delta^2)$ be a multiplication operator by $f\in H^\infty(\Delta^2)$. Is the operator is bijective? ...
2
votes
1answer
141 views

Measurable functional calculus

I am struggeling with this exercise: Let $T \in L(H)$ be a self-adjoint operator and $\Psi$ be a measurable (Borel) functional calculus on the spectrum of $T$. For a Borel set $\Delta \subset \sigma ...
5
votes
1answer
75 views

Is there a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ on $L^{2}[0,2\pi]$ with periodic conditions?

Let $\mathcal{H}=L^{2}[0,2\pi]$, and let $L=-\frac{d^{2}}{dx^{2}}$ on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions $f$ on $[0,2\pi]$ with $f''\in\mathcal{H}$ and ...
5
votes
1answer
65 views

How to show $e^{-x}$ is a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ in $L^{2}[0,\infty)$?

Let $\mathcal{H}=L^{2}[0,\infty)$. How can one easily show that $e^{-x}$ is a cyclic vector under the $C^{\star}$ subalgebra of operators on $\mathcal{L}(H)$ generated by all resolvents $(L-\lambda ...
2
votes
2answers
43 views

Conditions for a given operator being compact.

So I was given this question in class, and I thought it looked easy enough at first glance, but actually trying to do it, I have gotten quite stuck on the "only if" part. Let $T\colon \ell_\infty ...
0
votes
3answers
323 views

extending a bounded linear operator

So I have a homework question which I have no idea how to start. Let $E_0$ be a dense subspace of the normed space $E$. Let $T_0:E_0 \rightarrow F$ be a bounded linear operator into the Banach space ...
0
votes
1answer
15 views

Showing T intertwines $D_T$ and $D_{T^*}$ using Spectral Theorem

Suppose $T$ is a contraction on a Hilbert space $H$ (separable, if you wish). $D_T=(I-T^*T)^{1/2}$ and $D_{T^*}=(I-TT^*)^{1/2}$. I want to show that $TD_T=D_{T^*}T$. I had done this before using a ...
4
votes
1answer
130 views

T is not compact operator

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...
2
votes
1answer
88 views

Self-adjoint operator and eigenbasis

Let us assume that we have a self-adjoint operator $A: D(A) \subset L^2 \rightarrow L^2$ and we know that $A$ has a purely discrete spectrum and the eigenvalues of $A$ are simple. Does that mean that ...
1
vote
0answers
73 views

Derivatives of Differential operators

Let $V=H^1(\Omega)$ and $U = L^{\infty}(\Omega)^2$. Take for example, a differential operator, $L:U\times V \rightarrow V^* $ such that: \begin{equation} L(u,y) = \Delta y + \vec{u}(x)\nabla y ...
2
votes
0answers
84 views

Equivalent definitions of the trace of a Hilbert-Schmidt operator

I am currently reading the book Spectral Methods in Automorphic Forms, and Iwaniec defines the trace operator in a different way than I am accustomed to. Throughout, assume that everything converges ...
2
votes
1answer
95 views

How to show a Borel Operator Measure dilates to a Spectral Measure?

Does anyone know a simple proof of the following theorem stating that a positive Borel operator measure $P$ on $\mathbb{R}$ can be written as $V^{\star}EV$ for a Borel spectral measure $E$? ...
5
votes
1answer
173 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
1
vote
2answers
155 views

Spectral Measures: Spectral Spaces (I)

Problem Given a Hilbert space $\mathcal{H}$. Let the Lebesgue measure be $\lambda$. Consider a Borel spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Denote its ...
1
vote
0answers
94 views

Closure in a Hilbertspace

Define for a self-adjoint pure contraction $S$ (remember: $\|S\|\leq1$ and $\pm1\notin\sigma_p(S))$ on a Hilbert space $\mathcal{H}$ the following set: $C_c^*(S):=\{g(S):g\in C_c(\hat{\sigma}(S))\}$ ...
2
votes
1answer
55 views

Reducing Spaces: Complement

Given a Hilbert space $\mathcal{H}$. Consider an operator: $$T:\mathcal{D}(T)\to\mathcal{H}:\quad\overline{\mathcal{D}(T)}=\mathcal{H}$$ Regard a subspace: ...
0
votes
2answers
106 views

a question about contractions on Hilbert spaces

Let $\cal{H}$ be a Hilbert space, $T_1,T_2\in\cal{B(H)}$, $\|T_1(h_1)+T_2(h_2)\|^2\leq\|h_1\|^2+\|h_2\|^2$ for all $h_1,h_2\in\cal{H}$. $T_1T^\ast_1+T_2T^\ast_2\leq I$. Then can we verify that 1 ...
1
vote
1answer
138 views

Finding the norm of integral operator

I have the following operator: $A: (C^1[0;1];|||\cdot|||)\rightarrow(C^1[0;1];||\cdot||_{\infty})$ $Af(x)=\int_0^x f(t)dt$ where $|||f|||= ||f||_\infty+||Af||_\infty$ What is $||A||?$ I wrote ...
1
vote
1answer
39 views

Isometric Operators: Common Core

Given a Hilbert or Banach space $\mathcal{H}$. Consider two closed operators $S:\mathcal{D}(S)\to\mathcal{H}$ and $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose they're isometric on a common core ...
2
votes
1answer
103 views

$\langle Tx,x\rangle =0$ , then T is zero

I just wanted to be sure about something. The implication $\langle Tx,x\rangle =0$ , then T is zero , holds only if $T$ is self-adjoint right? If $T$ is an arbitrary operator, we need to have $\langle ...
1
vote
1answer
70 views

The set of analytic functions on unit circle is not a C*-algebra

Let $\mathbb{D}$ be the open unit disc on the complex plane and consider the set $$A=\{f\in C({\rm cl}\, {\Bbb D})\colon f \text{ is an analytic function on } {\Bbb D}\}.$$ It is certainly closed ...
0
votes
1answer
44 views

Is $C(\Omega)$ a C*-algebra if $\Omega$ is not locally compact, nor compact?

We always say if $\Omega$ is compact or locally compact, then C(\Omega) is a C*-algebra. Now is $C(\Omega)$ a C*-algebra if $\Omega$ is not compact nor locally compact? If not, I want to know which ...
1
vote
1answer
69 views

spectral projection of an element in a C*-algebra

I'm studying Takesaki's Operator theory and I preferred "spectral projection "in the page 43 of this book while he didn't speak about it before. I searched it, but I could not find it. Please explain ...
2
votes
0answers
41 views

Getting U.C.P map on group operator algebras using Fell's absorbtion principle.

I'm struggling a bit with this theorem: Let $\Gamma$ be a discrete group and $\mathbb{C}\Gamma$ be the group ring of $\Gamma$ i.e. the set of formal sums $\sum_{t \in \Gamma} \alpha_t t$. Furthermore ...
2
votes
1answer
38 views

Characterization of multipliers on the Dirichlet space of holomorphic functions

Can someone tell me whether there is a characterization of boundedness of multiplication operators on the Dirichlet space of the unit disc? These are holomorphic functions $f$ on the unit disk $D$ ...
1
vote
0answers
101 views

Operator for scaling a function?

Let $\mathbb{F}$ denote the set of functions of the form $f: \mathbb{R} \to \mathbb{R}$. I am interested to know whether there exists a well-known linear map $T_\alpha: \mathbb{F} \to \mathbb{F}$ ...
3
votes
3answers
154 views

Selfadjointness of the Dirac operator on the infinite-dimensional Hilbert space

I am a physicist, so my background in functional analysis is limited only to basics. However, I would like to prove that the free Dirac operator is selfadjoint (or Hermitian, or neither). The free ...
0
votes
1answer
947 views

norm of inverse of a bounded operator [duplicate]

Are there any conditions in which norm of inverse of a bounded operator T is equal to reciprocal of norm of the operator T.
1
vote
1answer
97 views

Boundary conditions for the time-independent Schrödinger equation on the sphere

if you have a free Schrödinger operator on a sphere $-\Delta \psi(\theta,\phi) = E\psi(\theta,\phi),$ then the substitution $\psi(\theta,\phi) = f(\theta)e^{i n \phi}$ leaves you with the ...