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

looking for help with a trace/norm inequality

I'm trying to understand a derivation that seems to claim that $\left\vert\text{Tr}\left[\rho U^\dagger\left[U,O\right]\right]\right\vert\leq\|\left[U,O\right]\|$, where $\rho$ is Hermitian, $U$ is ...
0
votes
1answer
43 views

Orthogonal projection matrix

Let $A\in M_{m\times n}(\mathbb{R})$. Denoting by $R(A)$ the column space of $A$ and $N(A)$ the null space of $A$. I know that $z^*=Ax^*$ is a projection of $b\in R^m$ on $R(A)=N(A^T)$ where ...
2
votes
0answers
18 views

When can we exchange the trace and an integral/limit/derivative?

For a trace class operator $A$ (acting on a Hilbert space), that is parameterised by a real variable $x$, what are the conditions for the following to hold? $$ \mathrm{tr} \int_a^b A(x) \, dx = ...
-1
votes
1answer
13 views

symetric closed operator and extension [on hold]

i have this question let A a symetric closed operator let pose that A have a self adjoint extension is possible that A has an extension such that closure A can't have a self adjoint extension
0
votes
1answer
18 views

What can one assume about $T^*$ when showing that $T$ is normal?

Consider a continuous and linear operator $T$ such that $$ T : l^2 \to l^2 $$ where $(a_n) \mapsto (\alpha_n a_n)$ Moreover $(\alpha_n)$ is a sequence of complex numbers that converges to zero. Now, ...
0
votes
0answers
18 views

Norm of operator matrix

I'm having trouble with the following: suppose H is a Hilbert space and $f_{i, j}, g_{i, j} : H \rightarrow H$, $1 \leq i, j \leq n$ are bounded operators. Then we have operators $(f_{i, j}) , (g_{i, ...
2
votes
0answers
22 views

Multiplication operators are sectorial

Consider the multiplication operator $M_a$ on $L^p(M)$, where $M$ is a Riemannian manifold, and $a$ is a non-negative function. An operator $A$ is said to be sectorial if there exists $\theta \in (0, ...
2
votes
1answer
29 views

Showing that an operator generates a contraction semigroup

Let $A$ be the infinitesimal generator of a contraction semigroup $(T(t))_{t\ge 0}$ on the Hilbert space $X$, and $D\in\mathcal{L}(X)$. I want to show that the operator $A+D-2\|D\|I$ with domain ...
2
votes
0answers
9 views

Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if $A$ and $B$ are two $n \times n$ Hermitian matrices, and $[A,B]=C$. I'd like a ...
0
votes
0answers
18 views

Hamiltonian: Scattering Spaces

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a family of projections: $$1(r)^2=1(r)=1(r)^*\quad(r\geq0)$$ Denote for shorthand: ...
2
votes
0answers
32 views
+50

Why has the Stein operator for normal approximations the form $(\mathcal Af)(x)=f^\prime(x)-xf(x)$?

My Question: Why has the Stein operator $\mathcal A$ for normal approximations the form $(\mathcal Af)(x)=f^\prime(x)-xf(x)$? How can one deduce this form of the operator? Reason for my question: I ...
0
votes
0answers
14 views

Any injective *-homomorphism between finite dimensional C*-algebras is an isometry

I believe the answer is true, but I need some guidance with a proof. Does anyone have a hint toward either a proof or counterexample? Thanks
0
votes
2answers
24 views

A relation between the domain of $A$ and the domain of $\bar A$

Let $A$ be an operator: $$ A:D(A)\to R(A) $$ where $D(A)$ and $R(A)$ are respectively the domain and the range of $A$ and they are subspaces of a Hilbert spcae $(H,\|\|)$. Suppose that $A$ is a ...
1
vote
2answers
52 views

proving that $(\text{aff}\,C-\text{aff}\,C)\subset\text{aff}(C-C)$

In proof of Theorem 6.4.1, the author assumes that $\text{rge}\,A\subset\text{aff}\,C$ and for $\epsilon>0$ claims that $\epsilon^{-1}(C-\text{rge}\,A)\subset\text{aff}\,(C-C)$, that I can't verify ...
2
votes
1answer
42 views

Powers of compact operators

Consider a Hilbert space $H$ and a compact self-adjoint operator $T : H \to H$. I want to prove that all positive powers (especially fractional powers) of $T$ are compact. From the spectral theorem, I ...
1
vote
1answer
23 views

Position operator is self adjoint

Let $H=L^2(\Bbb{R})$ with the linear (unbounded) operator $P(f)(x)=x\cdot f(x)$ for each $x\in\mathbb{R}$. Have a look at the following domain: $$D(P)=\{f\in ...
1
vote
1answer
111 views

proving that $\text{ri rge}\,A=\text{ri conv rge}\,A$

In Proposition 6.4.1 we want to prove that if $A:\mathbb R^n\rightrightarrows\mathbb R^n$ is maximal monotone, then $\text{cl rge}\,A$ and $\text{ri rge}\,A$ are convex. In proof we arrive to the ...
2
votes
1answer
38 views

How to use logical conjunction properly

On this website in equation (20) they use $$ d \, S = a \, d \, u \land d \, v $$ I have learned that $\land$ is the truth-functional operator of logical conjunction and that such logical operators ...
1
vote
1answer
35 views

Clarification on some definitions in Operator Theory

I'm trying to read this paper http://arxiv.org/abs/1206.3325 , but I'm having a lot of difficulty making sense of two phrases. The setting is $L_2(\mathbb R^d)$. i) He mentions that for a function ...
1
vote
1answer
84 views

Proving that T(t)x is in the domain

$(T(t))_{t\ge 0}$ is a $C_{0}$-semigroup on a Banach space $X$ with generator $A:D(A)\subset X\to X$. For $k\ge 2$, define $$D(A^{k}):=\{x\in D(A^{k-1})|A^{k-1}x\in D(A)\}$$ I want to show that for ...
0
votes
0answers
11 views

Does there exists a 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) $$ who fulfills $$ ||Pf || \leq ||f||,$$ $$ f\geq0 \Rightarrow ...
1
vote
1answer
42 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
0answers
21 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
32 views

Sobolev space's-self adjoint operator [closed]

Let $H=L^2(0,2)$ and these operators $Aw=w^{(4)}, D(A)=H^4(0,2)\cup H^2_0(0,2)$ and $Bv=-(d(x)v')', D(B)=\{v\in H^1_0(0,2)\mid dv' \in H^1(0,2)\}$ where $$d(x)=\begin{cases}1\text{ if }0<x<1 \\ ...
2
votes
0answers
29 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
18 views

Reducing Subspaces: 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
19 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
34 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
18 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
14 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
27 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
22 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
23 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
23 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 ...
1
vote
0answers
28 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
36 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 ...
-2
votes
1answer
67 views

Let we have the following exercise [closed]

How can I solve the following exercise Let $T:C[0,1]\rightarrow C[0,1]$ be defined by $$Tx(t)=y(t)=\int_0^t x(\tau)d\tau.$$ Find $\mathscr R(T)$ and $T^{-1}:\mathscr R(T)\rightarrow C[0,1]$. Is ...
3
votes
2answers
37 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 ...
-2
votes
2answers
85 views

I want some help in functional analysis [closed]

I want sone help in functional analysis : $1)$ consider the vector space $X$ of all real -valued functions which are defined on $R$ and have derivatives of all orders everywhere on $R$ define ...
0
votes
1answer
19 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
27 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
30 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
79 views

Some question about linear operator on normed space [closed]

$1)$ let $X$ and $Y$ be normed space , show that a linear operator $T:X\rightarrow Y$ is bounded if and only if $T$ maps bounded sets in $X$ into bounded sets in $Y$ $2)$show that the operator ...
-1
votes
0answers
18 views

Singular Spectrum: Techniques?

Given a Hilbert space $\mathcal{H}$. Let the Lebesgue measure be $\lambda$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Denote its spectral measure by: ...
2
votes
1answer
35 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
31 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
17 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
31 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
39 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
26 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. ...