1
vote
0answers
12 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 ...
2
votes
0answers
22 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 ...
0
votes
0answers
10 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
0answers
49 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 ...
0
votes
0answers
25 views

Spectral Measures: Spectral Subspaces

Given a Hilbert space $\mathcal{H}$ and let the Lebesgue measure be $\lambda$. Consider a normal operator $N:\mathcal{D}\to\mathcal{H}$. Denote its associated Borel spectral measure by: ...
1
vote
1answer
15 views

Reducing Subspaces: Nonexample?

Given a Hilbert space $\mathcal{H}$. Consider an operator $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose there exists a closed subspace $Z\leq\mathcal{H}$: $$TZ\subseteq Z,TZ^\perp\subseteq Z^\perp$$ ...
-2
votes
1answer
28 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
43 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
18 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
77 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 ...
2
votes
1answer
46 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 ...
1
vote
1answer
17 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
22 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
1answer
15 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
24 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
2answers
60 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
21 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.
0
votes
1answer
46 views

boundary conditions for operator

if you have a Schrödinger operator on a sphere ( $\mathbb{S}^2$) $-\Delta_{\theta,\phi} \psi(\theta,\phi) + V(\theta) \psi(\theta,\phi) = E\psi(\theta,\phi),$ where the potential does not depend on ...
2
votes
1answer
26 views

Positive linear functional on an involutive Banach algebra

Why is every positive linear functional on an involutive Banach algebra with a bounded approximate continuous?
2
votes
1answer
25 views

Approximate unit of an involutive Banach algebra

I know that every C*-algebra has an approximate unit. I have two questions: why we cannot show that every involutive Banach algebra has an approximate unit? I need an example of an involutive Banach ...
2
votes
1answer
24 views

The spectrum of $L:=-\Delta+V(x)$ on complex $L^2(\mathbb{R}^N)$ and real $L^2(\mathbb{R}^N)$

In general, when one talks about the spectrum of an self-adjoint operator, it is naturally considered in a complex Hilbert space (say $L^2(\mathbb{R}^N,\mathbb{C})$). Moreover, the spectral ...
1
vote
1answer
24 views

Positive elements in a Banach algebra

Let $A$ be a unital Banach algebra. If $a$ is an element of $A$ with $||1-a||_{sp}<1$, then there exists $b\in A$ such that $b^2=a$. Furthermore, if $A$ is an involutive Banach algebra and if $a$ ...
1
vote
0answers
33 views

On calculating spectral projections

Consider following operator from this paper; Let $h$ be any function in $L^1$ relative to the measure $g(w)dw$ and $K\in\mathbb{C}$ Consider the linear operator $B$ on $L^1$ defined by $$(Bh)(x) = ...
2
votes
0answers
30 views

Laplacian on $\mathbb{S}^2$ has a pure point spectrum

Consider an operator $T = -\Delta + V(\theta)$ where $V(\theta)$ is $C^{\infty}$ and $T : C^{\infty}(\mathbb{S}^2) \subset L^2(\mathbb{S}^2)\rightarrow C^{\infty}(\mathbb{S}^2).$ I was wondering why ...
1
vote
0answers
28 views

How to calculate Hill's discriminant?

I am currently reading this paper on Schrödinger operators see here. On page 6 and 7 they talk about Hill's discriminant and how this is connected with the spectral properties. They also show some ...
1
vote
2answers
30 views

Compact projection on Banach space has finite rank

Let $E$ be a Banach space. Show that every compact projection has finite rank. I have no idea where to start.
0
votes
0answers
14 views

Numerical range of closure of operator

Let $B$ be an unbounded densely defined and closable operator. If $\mathcal{N}(B)$ is the numerical range, what can be said about the numerical range of its closure $\overline{B}$?
2
votes
1answer
32 views

Multiplication operator on $L^2$ and spectral theorem.

Let's consider the multiplication operator by the independent variable in $L^2(\mu)$, where $\mu$ is a borel regular measure on $\mathbb{C}$: $Mf(z)=zf(z)$. I want to show that if $\phi$ is a borel ...
0
votes
1answer
27 views

Spectrum of multiplication operator by the independent variable in $L^2$

If $\mu$ is a regular Borel measure on $\mathbb{C}$ with compact support $K$, define $N_\mu$ on $L^2(\mu)$ by $N_\mu f=zf$ (the multiplication by the indipendent variable). An exercise in "Conway" ...
3
votes
1answer
60 views

Simple proof that $\|p(A)\|\le \sup_{|z|\le 1}|p(z)|$ for polynomials $p$ and $\|A\| \le 1$.

Let $\mathcal{H}$ be a complex Hilbert space, and let $A$ be a bounded operator linear operator on $\mathcal{H}$ with $\|A\| \le 1$. It is known that $\|p(A)\|\le \sup_{|z|=1}|p(z)|$ for all complex ...
1
vote
0answers
17 views

Nondegenerate representation

By the definition, we say a representation $(\pi,H)$ is nondegenerate if $cl[\pi(A)H ]= H$. Below I have two theorem, the first from Conway's Functional analysis and the second from Takesaki's ...
0
votes
1answer
26 views

Spectral measure and commutativity.

I want to prove that if $A\in B(H)$ and $N\in B(H)$ is a normal operator, and $AE(\Delta)=E(\Delta)A$, where $E$ is the spectral measure given by $N$ and $\Delta$ is a Borel subset of $\sigma(N)$, ...
1
vote
1answer
39 views

Why is $\int_{\mathbb{R}^3} |p\rangle \langle p| d\lambda(p)=id$?

As I have written in the headline, I am curious how the relation $\int_{\mathbb{R}^3} |p \rangle \langle p| d\lambda(p)=id$ that physicists use, where $|p\rangle$ is the eigenfunction to the ...
2
votes
1answer
33 views

Cyclic representation on $L^2(\mu)$

Show that if $(X,\Omega,\mu)$ is a $\sigma-$ finite measure space and $H=L^2(\mu)$, then $\pi:L^\infty(\mu)\to B(H)$ defined by $\pi(\phi)=M_\phi$ is a cyclic representation and find all the cyclic ...
8
votes
1answer
91 views

The spectrum of a product of operators

Suppose $A,B\in\mathcal{B}(\mathcal{H})$, where $\mathcal{H}$ is an infinite dimensional Hilbert space. In general, we know that there is no relationship between $\sigma(AB)$ and $\sigma(A)$ and ...
0
votes
0answers
12 views

spectrum of a convolution operator is connected

Let $k \in L^1(\mathbb{R}; \mathbb{C})$ and define a linear operator $T$ acting on $L^2(\mathbb{R}; \mathbb{C})$ by $$ Tf(x) := [k \ast f] (x) \ldotp$$ Linearity is obvious, while the fact that $T$ is ...
0
votes
1answer
20 views

Norm of $A$ is zer0 when $\Bbb H$ is Complex Hiblert Space

If $\Bbb H$ is a $\Bbb C$-Hilbert space and $A\in \Bbb B(\Bbb H),$i.e. bounded linear operator on $\Bbb H$ such that $\langle Ah,h\rangle=0$ for all h in $\Bbb H$, then $A=0$ For the proof of this ...
1
vote
0answers
28 views

Approximate unit of a separable C*-algebra

The following is a corollary of Takesaki's Operator Theory: My question: I do not know why the author says"there exists an n such that $||x(1-v_n)^\frac{1}{2}||<\epsilon$" . Please help me to ...
1
vote
1answer
31 views

An routine exercise about matrix norm

If $T_{n}\in M_{k(n)}(\mathbb{C})$ and $||T_{n}^{*}T_{n}-1_{k(n)}||\rightarrow0$, then $||T_{n}T_{n}^{*}-1_{k(n)}||\rightarrow 0$ too? (Here, $M_{k(n)}(\mathbb{C})$ denotes the $k(n) \times k(n)$ ...
3
votes
0answers
29 views

Norm of an element in a C*-algebra

The following is a part of a proof in Takasaki's Operator theory: Let $\epsilon>0$ and $A$ is a C*-algebra. For an $x\in A$, put $h=x^*x$ and $u_\epsilon=(h+\epsilon)^{-1}h$. We have then ...
2
votes
1answer
49 views

What is the image of operator exponential?

Given a Banach space $V$ and a bounded linear operator $A:V\to V$, the operator $e^A$ is bounded and invertible. When $V$ is finite dimensional, every invertible operator is of the form $e^B$ (one can ...
0
votes
0answers
16 views

Show that $H=\oplus_{\alpha \in \sigma(T)}\text{ker}(\alpha I -T)$

Suppose $T$ is an operator on a Hilbert space $H$ such that $\sigma(T)=\sigma_{e}(T)$, and for each $\alpha \in \sigma(T)$, the corresponding eigenspace ker$(\alpha I-T)$ is a reducing subspace for ...
2
votes
0answers
34 views

When $\int_\Omega f(x)K(x,y)dx$ is injective

Let $T:X\to Y$ be a compact integral operator and consider $g=Tf$, i.e. $$g(y) = \int_\Omega f(x)K(x,y)dx$$ where $\Omega=[a,b]$ is some subset of $\mathbb{R}$. Are there some particular conditions on ...
0
votes
0answers
30 views

Tensor products, help with proof

Let $X$, $Y$ and $Z$ be Banach spaces. Let the space $X\otimes_{\epsilon}Y\otimes_{\epsilon}Z^{*}$ be the injective tensor product. The injective norm is defined as follows: ...
3
votes
0answers
29 views

The positive element in a C*-algebra

The following is a theorem of Conway's Functional Analysis: for the proof ($c\to a$), I think we can say: for $\lambda\in \sigma(a)\subset \Bbb R$, there is a character $h:C(\sigma(a))\to\Bbb C$ ...
2
votes
2answers
35 views

Self-adjoint elements in a C*-algebra

I have a simple question which confused me. Suppose $A$ is a C*-algebra. every $x\in A$ has a representation such as $x=a+ib$ where $a,b$ are self-adjoint elements of $A$. Also we claim that $x^*x$ ...
2
votes
0answers
27 views

*-isomorphism of a C*-algebra into an involutive Banach algebra is norm increasing

The following is a proposition of Takesaki's Operator theory: My question: How does he assume, considering the C*-subalgebra generated by k instead of $*$-Banach algebra B? Are we sure that the ...
1
vote
1answer
20 views

Compact Operator Inversion

Let I be a positive compact in $\mathscr{B}(\mathscr{H})$ (where $\mathscr{H}$ is some Hilbert space) then $I$ can be written (uniquely) as $A^2=I$ for some $A \in \mathscr{B}(\mathscr{H})$. My ...
1
vote
1answer
39 views

Does the supremum is finite?

Let $B(A)$ be the space of all bounded functions on a given set $A$, define a metric as follows $$d(x,y)=\sup \{|x(t)-y(t)| : t \in A \}.$$ Show that the supremum exists ?
0
votes
0answers
11 views

Limit of an element in a unital C*-algebra

Let $A$ be a unital C*-algebra. Show that an element $x$ of $A$ is self-adjoint if and only if $\lim_{t\to 0}\frac{1}{t}(||1+itx||-1)$=0. My attempt: Suppose $x=x^*$. By functional calculus of x, ...