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
1answer
52 views

Are symmetric matrices necessarily positive-definite / positive semi-definite?

I am trying to prove this just to be clear about this but I don't have enough conditions to force this idea to be true, so I doubt it is. Are symmetric matrices always at least positive ...
2
votes
1answer
67 views

If I want to prove that $M^{\perp}$is a closed

If I want to prove that $M^{\perp}$is a closed Can I say because it is the inverse image of $0$ by continuos function ( projection operator )
2
votes
1answer
40 views

find $\lambda$ such that the integral has a solution.

I have the integral equation: $u(x) = f(x) + \lambda \int_0^{\frac{1}{2}}u(y)dy$ I have to find $\lambda$ such that the integral has a solution. How to approach such problems?
1
vote
0answers
59 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 ...
2
votes
1answer
49 views

Show that $C(S^n)$ is the universal $C^*$-Algebra of selfadjoint, commutative $x_0,\ldots,x_n$ with $\sum x_i^2 = 1$

Let $x_0,\ldots,x_n$ be symbols with relations $x_i=x_i^*$, $x_i x_j = x_j x_i$ and $\sum_i x_i^2 = 1$. Then I want to show that the universal $C^*$-Algebra $A$ of these relations exists and that ...
1
vote
1answer
93 views

check if a linear operator is bounded

show that $Tf = f(0)$ is not a bounded linear functional on the space of continuous functions measured with the L2 norm, but it is a bounded linear functional if measured using the uniform norm. ...
1
vote
0answers
32 views

How are $C(S^1)$ and the crossed product algebra $C(\mathbb{R})\ltimes \mathbb{Z}$ Morita equivalent?

In Connes' Noncommutative geometry one construct "noncommutative quotients" by taking certain crossproduct algebra's. Given a group $G$ acting on a set $X$ through an action $\alpha$ we can form the ...
1
vote
1answer
44 views

Given a singular matrix, I am tring to find an invertible matrix… (Finite Dimensional Space)

In coordinates and in a finite-dimensional space, how would I prove that given any singular $n$x$n$ matrix $A$, any $\epsilon\gt0$ and any matrix norm $||.||$, there is an invertible $n$x$n$ matrix ...
3
votes
1answer
86 views

Hamiltonian: Derivative

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard the evolution: $$A=A^*:\quad A(t):=e^{-itH}Ae^{itH}$$ Suppose invariance: ...
0
votes
1answer
70 views

A continuous field of C* algebra, $C(\mathbb T)\rtimes\mathbb Z_2$

Given a $C^*$-algebra, $A=${$f:[0,1]\rightarrow M_2(\mathbb C)$ where $f(0),f(1) $ are diagonal } which is isomorphic to $C(\mathbb T)\rtimes\mathbb Z_2$, How can I determine its continuous field ...
1
vote
1answer
89 views

Convergence in strong operator topology and norm topology

Let $(T_n)\subset B(H)$ be a sequence of operators such that $T_n\to 0$ in strong operator topology. Show that $\|T_nK\|\to 0$ and $\|KT_n\|\to 0$ for every compact operator $K$. Let $f,g \neq 0 ...
1
vote
2answers
21 views

Show that $ T \notin X' $ if $ X = C([0,1]) $ is equipped with the norm $ \| f \|_{L^{2}} \stackrel{\text{df}}{=} \sqrt{\int_{0}^{1} |f|^{2}} $.

Let $ T $ be an operator on $ X = C([0,1]) $ defined by $ T(f) \stackrel{\text{df}}{=} f(0) $. I want to show that $ T \notin X' $ (the dual space of $ X $) if $ X $ is equipped with the norm $$ \| f ...
1
vote
1answer
70 views

Closed unit ball of positive bounded operator space and its extreme point

Let $H$ be infinite dimensional Hilbert space. Then the closed unit ball of positive bounded operator space $B(H)^+$ is not the convex hull of the projections of $B(H)$. Please help me. Thanks.
7
votes
2answers
146 views

The spectrum of a self-adjoint operator on $\mathcal l^2$

Let $S$ be the unilateral shift operator on $\mathcal l^2$ (which shifts one place to the right) and $S^*$ its adjoint, the backward shift (which shifts one place to the left). I've been trying to ...
1
vote
1answer
24 views

$\max$ Operator on a Sum of Integrals

Define the value function $$v(k) := \max_c\left[\int_0^t{F(s,c,k)ds}+\int_t^\infty{F(s,c,k)ds}\right]$$ Is this expression equal to $$v(k) := ...
1
vote
0answers
20 views

Linear operator differentiation on a torus

I'm trying to analyze this article about area-preserving diffeomorphisms and don't quite understand a sentence. 4.1. Linear involutions. We start characterizing the linear involutions $R \! : ...
0
votes
1answer
17 views

An extension of a corollary to Fuglede's theorem

Fuglede's theorem states that if $T,N\in B(H)$ for some Hilbert space $H$ and $N$ is normal and $TN = NT$, then $TN^* = N^*T$. A corollary to this theorem is that if $M,N \in B(H)$ are normal and ...
1
vote
0answers
33 views

Hamiltonian: Commutator

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ and an operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^*$$ Denote for shorthand: ...
0
votes
3answers
64 views

Sesquilinear Forms: Hamiltonian (II)

Given a Hilbert space $\mathcal{H}$. Consider a positive form: $$s:\mathcal{D}\to\mathcal{H}:\quad s(\varphi,\varphi)\geq0$$ Introduce its form space: ...
0
votes
1answer
71 views

A nonzero compact operator on a Hilbert space has a nonzero eigenvalue

Let $T:H\to H$ be a compact operator on a Hilbert space $H$, with $T\neq0$. Prove that $\exists c\neq0$ and $x\neq0$ such that $Tx=cx$. I was trying to prove it using the fact that if $T$ is a ...
2
votes
1answer
48 views

Integral Operator Contraction

I have the following question: I've found the bound as follows $\lvert T f(x)\rvert \le C\lVert f \rVert(x-a)$ using the fact that K is bounded on the closed square so we have $max \lvert K(x,y) ...
0
votes
1answer
56 views

Invariance of semigroups

$A$ is the infinitesimal generator of the $C_{0}$-semigroup $(T(t))_{t\ge 0}$ and $V$ is a one dimensional linear subspace of $X$. I want to show that $V$ is $T(t)$-invariant $\iff$ ...
0
votes
1answer
48 views

Sesquilinear Forms: Hamiltonian (I)

Given a Hilbert space $\mathcal{H}$. Consider a dense positive form: $$s:\mathcal{D}\times\mathcal{D}\to\mathbb{C}:\quad s(\varphi,\varphi)\geq0\quad(\overline{\mathcal{D}}=\mathcal{H})$$ Construct ...
1
vote
1answer
52 views

Introducing an operator by a bilinear form

Let $I = (0, 1)$ and $H_0^2 (I)$ the closure of $C_c^\infty (I)$ in $W^{2, 2} (I)$. Consider $$a : H_0^2 (I) \times H_0^2 (I) \to \mathbb{R}$$ defined by $$a(u, v) = \int\limits_I u''(x) v''(x) \, ...
3
votes
1answer
71 views

Spectrum of operator $Af(t) = \int_0^{t^2} f(s)ds$ on $L^2[0,1]$

Consider a linear operator $A\colon L^2[0,1]\rightarrow L^2[0,1]$ that acts as follows: $$Af(t) = \int_0^{t^2} f(s)ds$$ The problem is to compute its spectrum. I know that the operator is compact ...
2
votes
2answers
95 views

Are elements of a $C^*$-Algebra strictly positive iff their spectrum is strictly positive?

Let $A$ be a $C^*$-Algebra. An element $a\in A$ is said to be positive iff $a=a^*$ and the spectrum $\sigma(a)$ is nonnegative, ie. $\sigma(a)\subset[0,\infty)$. This is equivalent to $\varphi(a)\ge ...
1
vote
1answer
33 views

Congruence Property of Monotone Operators

A map $T$ is called strictly monotone if for $x\ne y$, $\langle u-v,x-y\rangle>0$ for all $u\in T(x),v\in T(y)$. Let $A$ be an $m\times n$ matrix and $b\in\mathbb R^m$. I want to prove that if ...
1
vote
0answers
39 views

weak closure of unitary group in $B(H)$

Let $H$ be a Hilbert space with dim $H=\infty$ , and $\cal{U}$ be the group of all unitaries on $H$. Show that the weak closure of $\cal{U}$ is a semigroup with respect to the multiplication. I know ...
3
votes
0answers
74 views

(soft question) why do we study complex measures and complex-valued functionals in modern analysis

Recently I am struggling with "complex" things for my "real" analysis class. We are using Folland's Real analysis, 2nd for text book. It seems that Folland is trying to use complex-valued functions ...
1
vote
1answer
43 views

Proving strong stability of semigroup

$X$ is the Hilbert space $L^{2}(0,\infty)$ and let $T(t):X\to X$ with $t\ge 0$ be defined by $(T(t)f)(\zeta):=f(t+\zeta)$. I want to prove that the $C_{0}$-semigroup $(T(t))_{t\ge 0}$ is strongly ...
1
vote
1answer
114 views

Generating a contraction semigroup on an energy space

Consider the system of partial differential equations $\displaystyle\frac{\partial Q}{\partial t}(\zeta, t)=-\frac{\partial}{\partial\zeta}\frac{\phi(\zeta, t)}{L(\zeta)}$ ...
4
votes
0answers
117 views

Schrodinger Operator with Finite Discrete Spectrum in $(-\infty, -1]$

I'm reading parts of Reed and Simon's Analysis of Operators and have come across a statement I find puzzling. They say that if $V$ is a bounded function of compact support on $\mathbb{R}^3$ then ...
2
votes
1answer
58 views

closed graph theory and unbounded operator

I am studying unbounded operators and the graphs of those operators. I found that the closure of a graph may not be the graph of any operator. Can someone provide an example of an operator and a ...
2
votes
0answers
40 views

Primitive ideal space of C*(Z2*Z2)

Find the primitive ideal space, the center, a continuous field of $C^*(Z_2*Z_2)$. Here, $C^*(Z_2*Z_2)$ is the full group $C^*$-algebra. I know the definitions of all of them, but I'm having hard ...
2
votes
1answer
40 views

Numerical range of inverse operator

Let $T$ be a bounded self-adjoint operator such that the numerical range is contained in $[a,b]$ with $0<a<b< \infty.$ Does it then follow that the numerical range of $T^{-1}$ is contained in ...
0
votes
0answers
13 views

Composition with a projection remain surjective in a neighborhood of the parameter

Let $H$ be an Hilbert space and $\varphi:H\to \mathbb R^m$ a smooth map. It is known that the map $u\mapsto d_u\varphi$ is continuous from $H$ to the space of linear operators $L(H,\mathbb R^m)$. ...
1
vote
0answers
54 views

Explicit inverse of $\lambda-U$ when $U$ is unitary and $|\lambda|<1$

Let $U$ be a unitary operator on a Hilbert space $\mathcal{H}$. By the spectral theorem, it is known that $\sigma(U)\subseteq \{z\in \mathbb{C}:|z|=1\}$. How can the explicit inverse of $\lambda-U$ be ...
1
vote
2answers
69 views

Universal properties of certain crossed products

So I was wondering if there are any nice universal properties that the crossed product $C^*$ algebra, $C(\mathbb{T})\times_\alpha \mathbb{Z}_2$ satisfies, where $\alpha$ is the action of conjugation. ...
0
votes
1answer
69 views

Normal Operators: Retransform

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$Q:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{Q}$$ By the previous ...
1
vote
1answer
44 views

Bounded Operator Norm: Special Element

Given a Banach spaces $X$ and $Y$. Consider a bounded operator: $$T:X\to Y:\quad\|T\|<\infty$$ Then theres an element: $$\|Tx\|=\|T\|\cdot\|x\|\quad(x\neq0)$$ Does it always exist?
1
vote
0answers
58 views

Reducing subspaces of a normal operator

If $A$ is a normal operator on an infinite dimensional Hilbert space $H$, then $H$ is the direct sum of a countably infinite collection of subspaces that reduce $A$, all with the same infinite ...
1
vote
1answer
83 views

Is the space of bounded linear operators from E (space with an inner product) to C (complex numbers) a Hilbert space?

In other words is there an inner product that produces the operator norm? Let $E$ be a space with an inner product. Show that its topological dual $E^*$ equiped with the operator norm is a Hilbert ...
2
votes
1answer
46 views

Norm of integral operator in $L^1(0,2)$

How exactly do I show that an integral operator is bounded. For example, consider the following operator $$ T: L^1(0,2) \to L^1(0,2)\\ (Tf)(x):=\int_0^x tf(t) dt$$ My first approach \begin{align} ...
0
votes
1answer
121 views

Normal Operators: Transform

Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Construct the operator: $$Q:=(1+N^*N)^{-1}:\quad Z:=N\sqrt{Q}$$ Then it is ...
2
votes
1answer
32 views

Weak continuous convergence of operators

Let $T_n$ and $T$ be linear maps from Banach space $X$ to a Banach space $Y$. Suppose $T_n$ satisfies $T_nx \to Tx$ (convergence in the $Y$ norm) for all $x \in X$. Let $x_n \rightharpoonup x$ in ...
1
vote
0answers
65 views

Weak continuous convergence of operators

Let $T_n$ and $T$ be linear maps from Banach space $X$ to a Banach space $Y$. Suppose $T_n$ satisfies $T_nx \to Tx$ (convergence in the $Y$ norm) for all $x \in X$. Let $x_n \rightharpoonup x$ in ...
1
vote
0answers
26 views

A calculation for an open ball in $\mathbb{R}^N$ and function space.

Let $B_r(x)$ denoting the ball of center $x$ and radius $r>0$. We denote by $\lambda_{1,\,B_\rho(y)}$ the first eigenvalue of $-\Delta$ in $W^{1,\,2}_0\left(B_\rho(y)\right)$ and by ...
1
vote
1answer
33 views

Bounded operator on $L^{2}(a,b)$

Let $p\in]1,\infty[$ and consider the mapping $$ T : L^{2}(-2,2) \to L^{2}(-2,2), \quad (Tf)(x):=xf(x)$$ I want to show that $T$ is bounded, $||Tf||_L \leq T ||f||_L $. So, $$ ||Tf||_L \leq ...
1
vote
1answer
50 views

Pure state on a C*-algebra

Let $\tau$ be a pure state on a C*-algebra $A$, $(\pi_\tau, H_\tau, \eta_\tau)=(\pi,H,\eta)$ be the corresponding cyclic representation of $\tau$, and $\xi$ a unit vector in $H_\tau$ such that ...
2
votes
1answer
66 views

A representation of a $ C^{*} $-algebra.

I have a quick question about the representation theory of $ C^{*} $-algebras. A representation of a $ C^{*} $-algebra $ A $ is a $ * $-homomorphism $ \pi: A \to B(\mathcal{H}) $, where $ \mathcal{H} ...