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

2
votes
2answers
69 views

Does there exists an operator with these properties?

Consider with $(\Omega,\Sigma,\mu)$ a $\sigma$-additive measure space. Is there a linear operator $P \neq 0$ $$P : L^1(\mu) \to L^1(\mu) $$ which fulfills $$ \|Pf \| \leq \|f\|,$$ $$ f\geq0 ...
1
vote
1answer
49 views

Extension of bounded operators between norm spaces

Let $X$ and $Y$ be two Banach Spaces and $X_1$ be a subspace of $X$. If $T$ is a bounded linear operator from $X_1\to Y$, then, this is an extension of $T$ from $X\to Y$ such that $\|T\|_{X}\le ...
0
votes
1answer
31 views

Does any continuous map between two Banach spaces over a nonarchimedian field is a closed map?

Does any continuous map between two Banach spaces is a closed map? It seems to me that it is true. Let $f:V \rightarrow W$ be a map, where $V$, $W$ are (infinite dimensional) Banach space over a a ...
2
votes
0answers
34 views

Hamiltonian: Invariant Core

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 its evolution by: ...
1
vote
1answer
28 views

Reducing Spaces: Hamiltonian

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a projection: $$P\in\mathcal{B}(\mathcal{H}):\quad P^2=P=P^*$$ Then one has: ...
1
vote
1answer
20 views

Selfadjoint Operators: Weak Convergence

Given a Hilbert space $\mathcal{H}$. Consider a selfadjoint operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^*$$ Regard a sequence: ...
0
votes
1answer
39 views

Laplace transform, Bochner integral

I have a quesition about linear operators on a Banach space. Let $B$ be a real Banach space. $(T_{t})_{t>0}$ is called strongly continuous contraction semigroup on $B$ if For all $t>0$, ...
0
votes
0answers
24 views

Integral kernels of self-adjoint operators

If the integral kernel $k(x, y)$ of an operator $T : C^\infty_c(M) \to \mathcal{D}'(M)$ is symmetric ($M$ is a compact manifold), then the operator $T$ is symmetric. Is the converse true? That is, ...
0
votes
0answers
19 views

Operator norm of symmetric Matrix in Hilbert Space with Hermitian Inner Product

Assume we have a postive definite real matrix $P$ and we define an inner product on a finite dimensional hilbert space $\langle x, y \rangle = x^\top P y$ and clearly the induced norm is $|| x || = ...
0
votes
1answer
34 views

Bounded linear functionals over smooth maps of a compact interval

I have two questions regarding the topological dual of the space $E = \mathcal{C}^\infty([0; 1])$ of infinitely continuously differentiable functions over the closed interval $[0; 1]$ equipped with ...
0
votes
0answers
29 views

Is there a pseudocontractive mapping that is not strictly pseudocontractive?

Given a Hilbert space $H$, a mapping $T:H\rightarrow H$ is said to be pseudocontractive if $$\|Tx-Ty\|^2\leq \|x-y\|^2+\|(x-Tx)-(y-Ty)\|^2\,\,\, \forall x,y\in H,$$ and it is strictly ...
0
votes
1answer
31 views

Operator - Exponential form

It is well known that for every unitary operator $\hat U$ an exponential of the form $$ \hat U = e^{i\hat H} $$ exists ($\hat H$ is hermitian). But I can only prove it the other way round: $$ ...
1
vote
1answer
30 views

Weak operator limit of projections in $B(H)$

Let $H$ be infinite dimensional and $\cal P$ be the set of all projections in $B(H)$. Show that $\cal P$ is weak operator dense in $(B(H))^+_{\|.\|\leq 1}$, the set of positive operators in the unit ...
2
votes
0answers
38 views

Quartic operator definition

What is a quartic operator? I googled it but found only some articles which use that term whitout giving a definition (I found that term while studying 2D Ising model, and the use of some ...
2
votes
0answers
41 views

Does a Plancherel Style Theorem for the Hardy Space $\mathbb{H}^2$ on the Unit Circle Exist?

I am working on a problem regarding Toeplitz operators, and it involves trying to prove $\mathbb{H}^2$ boundedness of the operator (defined in terms of its Fourier coefficients). Now normally when I ...
3
votes
2answers
38 views

What is the range of the operator $T$ I mean I want to determine $R(T)$

Given the normed space $\ell^\infty$ of all bounded sequences of (real or complex) numbers with the norm given by $$||x||:= \sup_{j\in Z^+} |\xi_j|,$$ for each $x:=(\xi_j)_{j=1}^\infty$ in ...
0
votes
1answer
20 views

Two self-adjoint operators with the same eigenvalues and eigenfunctions

How to show two self-adjoint operators (unbounded) on a Hilbert space with the same eigenvalues and eigenfunctions are the same.
0
votes
1answer
36 views

Unitary element in a C*-algebra

Suppose $\Bbb T$ is the unit circle and $M$ is the C*-algebra of all $2\times 2$ complex matrices. Consider the C*-algebra $A: = C(\Bbb T, M)$. Let $E$ and $F$ be the projections in $A$ given by ...
1
vote
1answer
34 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
36 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
34 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
18 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 ...
0
votes
0answers
36 views

Lummer-Phillips theorem for generator of strongly continuous semigroup

Definition: Let $P_{1}\in\mathbb{K}^{n\times n}$ be invertible and self-adjoint, let $P_{0}\in\mathbb{K}^{n\times n}$ be skew-adjoint, i.e., $P^{\ast}_{0}=-P_{0}$, and let $\mathcal{H}\in ...
2
votes
1answer
43 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
38 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. ...
0
votes
0answers
18 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
42 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
71 views

Hamiltonian: Derivative

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
1answer
45 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 ...
0
votes
0answers
7 views

Eigenvalue spectrum of backward Fokker-Planck operator

I encountered a paper in physics, in which the author states that an operator of the following form (backward Fokker-Planck) $\Lambda = P(x)\frac{d}{dx}+Q\frac{d^2}{dx^2}$ has an eigenvalue 0 and ...
1
vote
1answer
29 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
17 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
47 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
112 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
18 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
11 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
14 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
25 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
55 views

Selfadjoint Operators: Sesquilinear Form (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
51 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
29 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
33 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
31 views

Selfadjoint Operators: Sesquilinear Form (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
47 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) \, ...
2
votes
1answer
44 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
52 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
27 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
32 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 ...
2
votes
0answers
40 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
35 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 ...