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

5
votes
1answer
57 views

Schrödinger operator with delta (zero range) interaction.

I am reading the book of Albeverio named Solvable models in quantum mechanics. In the first chapter it is explained how to realize the operator $"-\Delta+\delta_0"$ as a self adjoint operator on ...
1
vote
0answers
38 views

Spectra of operator matrices

Suppose we are given a bounded linear operator $A\colon X\to X$ on a Banach space which is injective and has closed range. Can we find two other operators $T$ and $S$ say such that ...
0
votes
1answer
34 views

Prob. 15, Sec. 3.10 in Kreyszig's functional analysis book: $\Vert T^2 \Vert =\Vert T \Vert^2$ if $T$ is normal?

Let $H$ be a Hilbert space, let $T \colon H \to H$ be a bounded linear operator, and let $T^*$ denote the Hilbert adjoint operator of $T$. I can show that if $T$ is normal (i.e. $T T^* = T^* T$), ...
1
vote
1answer
29 views

Prob. 10, Sec. 3.10 in Kreyszig's functional analysis book: Every isometric linear operator on a finite-dimensional inner product space is unitary? [duplicate]

Let $X$ be an inner product space such that $\dim X < \infty$, and let $T \colon X \to X$ be an isometric linear operator. Since $\dim X < \infty$, $X$ is complete and thus a Hilbert space; ...
1
vote
0answers
43 views

Prob. 9, Sec. 3.10 in Kreyszig's functional analysis book: The image of ann isometric non-unitary operator on a Hilbert space

Let $H$ be a Hilbert space, let $T \colon H \to H$ be a linear operator such that $T$ is isometric but not unitary. Then how to show that the image $T[H]$ is a proper closed subspace of $H$? My ...
1
vote
0answers
25 views

What are these algebraic properties called?

Suppose $O$ is some operator, suppose $f$ and $g$ are both functions, then linearity implies that: $O(\alpha f + g) = \alpha O(f) + O(g)$ What about the following property: $(O_1+O_2)(f) = O_1(f) ...
1
vote
0answers
23 views

The spectral projections of convolution operator

Given a self-adjoint operator $A$ in a Hilbert space $H$. How can one find its spectral projections $\{E_{\lambda}\}_{\lambda\in\sigma(A)}$? In particular, given a convolution operator on $L^2(G)$, ...
1
vote
1answer
34 views

Is the Cesaro Operator normal?

The Cesàro operator $T:ℓ_p→ℓ_p$ is defined by $$(Tx)_k=(1/k)\sum_{j=1}^k x_j$$ where $x=(x_j)$. Is this operator normal?
1
vote
0answers
52 views

Eigenvalues and eigenvectors of certain diagonal constant matrices

Suppose I have an infinite complex diagonal constant (Toeplitz) matrix, which is also Hermitian. This is given by finite number of complex parameters $z_1, z_2, \cdots, z_k$. If, $z_1$ is the ...
6
votes
0answers
94 views

When does analytic in the operator norm imply analytic in the trace class norm?

Consider $U$ a nice compact region in $\mathbb{C}$ with boundary $\Gamma$. Let $S_1$ b the ideal of trace class operators on a separable complex Hilbert space $H$. We will let $\|\cdot \|$ be the ...
1
vote
1answer
42 views

Example 3.10-2 in Kreyszig's functional analysis book: Relation between inner products involving an operator and its matrix

Let $T \colon \mathbb{C}^n \to \mathbb{C}^n$ be a linear operator, which is bounded of course; so the Hilbert adjoint operator $T^* \colon \mathbb{C}^n \to \mathbb{C}^n$ is a well-defined bounded ...
0
votes
2answers
36 views

Prob. 8, Sec. 3.10 in Kreyszig's functional analysis book: An isometric linear operator has its adjoint as its left inverse

Let $H$ be a Hilbert space, and let $T \colon H \to H$ satisfy $$\langle Tx, Tx \rangle = \langle x, x \rangle \ \mbox{ for all } \ x \in H.$$ Then $T$ is bounded and norm $\Vert T \Vert = 1$ (unless ...
1
vote
1answer
22 views

Prob. 6, Sec. 3.10 in Kreyszig's functional analysis book: Powers of self-adjoint operators

Let $H$ be a Hilbert space. If $T \colon H \to H$ is a bounded self-adjoint linear operator and $T \neq 0$, then $T^n \neq 0$ for all $n \in \mathbb{N}$. How to show this? I've managed to show ...
4
votes
1answer
74 views

Solve the equations $\|Av\|=1/\|A^{-1}w\|$, $\|w\|=1$

I'm sorry if my question is rather stupid, but I have a brainfreeze right now. I want to prove that, for every $A\in GL(2,\mathbb{R})$ and for every $v\in \mathbb{R}^2$, $\|v\|=1$, I can find $w\in ...
0
votes
1answer
14 views

Bounded linear operator can be a locally essentially bounded function?

We know that, a bounded linear operator, is a linear transformation $L:H\rightarrow H$ on Hilbert space $H$ such that $$\|Lv\| \le M \|v\|, \ \ \ (M>0, v\in H)$$ A bounded linear operator is ...
0
votes
0answers
10 views

a inequality about norm of operator with hormander's condition

Let the system of vector fields $X=(X_{1},X_{2},\cdots,X_{m})$ satisfies the Hormander's condition on $\Omega$ with Hormander indes is $Q\geq 1$.Will there exist some estimate like ...
0
votes
1answer
34 views

Frame operator on finite dimensional Hilbert space.

A sequence of distinct vectors $\{f_1,f_2,...\}$ belonging to a separable Hilbert space $H$ is said to be a Frame if there exist positive contants $A$, $B$ such that, for $A<B$: ...
1
vote
1answer
13 views

Associated matrix to operator on infinite dimensional spaces.

A linear operator on a vector space has a basis through which write its associated matrix. This is certainly true for finite dimensional spaces. But is it still true for infinite dimensional spaces? I ...
0
votes
0answers
31 views

Bitwise Operations and the Naming Convention of their Operators

So I just recently came across a bitwise operation on StackOverflow which shifts the bits in a binary number to the right while zero-filling from the left. The left side zero-filling overwrites the ...
1
vote
0answers
22 views

A question on bounded operator $\|T_A x\|\leq K\|x\|$

We consider an operator $T_A:H\rightarrow H$, where $H$ is an Hilbert Space and $A$ is its associated $N\times N$ matrix. $T_A$ is said "bounded" if there exists a constant $K>0$ such that $$\|T_A ...
1
vote
0answers
25 views

Prove that matrix $[S]$ associated to operator is such that $A |\zeta|^2\leq s_{ij}(x) \zeta_i \zeta_j\leq B |\zeta|^2$.

Let us consider $N\times N$ matrix $[S]$ associated to operator $S:V\rightarrow V$ where $V$ is a Hilbert space; $S$ is linear, bounded, invertible, positive and self-adjoint. Prove that $[S]$ is ...
2
votes
0answers
46 views

Spectral theorem for compact normal operators

Let $H$ be a Hilbert space and $A$ a compact normal operator from $H$ to $H$. How to show that its eigenspaces produce the space? I can show it for self-adjoint operators and by setting ...
3
votes
1answer
45 views

Norm of the quotient map for a normed space [duplicate]

Let $X$ be a normed space and $F$ a closed subspace. On $X/F$ let us take the quotient norm $||[x]|| = \inf_{y \in F} ||x - y||$. Consider the quotient $q : X \rightarrow X/F$. I can see that, if ...
2
votes
2answers
52 views

How to find the poles of a green function?

I am trying to construct a green function for $y''+\alpha^2u=f(x), u(0)=u(1), u'(0)=u'(1)$. For that I am trying to follow the procedure described here:(Construct the Green s function for the ...
1
vote
0answers
23 views

Showing that an operator is bijective

Assume that $ A $ generates a contraction semigroup on a Hilbert space $ X $, and B is a bounded linear operator on $ X $. I want to show that $ A + B - 2|| B ||I $ with the domain equal to the domain ...
4
votes
2answers
42 views

An invertible sparse matrix?

I'm not entirely certain about how to tackle this problem.... I hope you ladies and gents can help :) If $M\in M_{n\times n}(\mathbb{R})$ be such that every row has precisely tow non-zero entries, ...
4
votes
1answer
36 views

$\overline{\mathrm{Im} (T^*T)} = \overline{\mathrm{Im} T^*}$

I need to prove that in a Hilbert space, $\overline{\mathrm{Im}(T^*T)} = \overline{\mathrm{Im}T^*}$. I have already shown that $\ker (T^*) = (\mathrm{Im} T)^\perp$ and have so far concluded that ...
0
votes
0answers
22 views

Origins of the Cesaro Operator

I am wondering when the Cesaro Operator was first studied. I can find an article from 1965 but I'm wondering if there are any previous ones.
1
vote
2answers
36 views

Inverse of $I +T^*T$

I am trying to show that the inverse of the operator $I +T^*T$ exists. What I have been trying to do is trial and error taking inverses of $T$ and $T^*$ but to no avail.
1
vote
1answer
27 views

Connection between Stinespring's factorization theorem and the spectral theorem for bounded operators

I know at least 2 versions of a Spectral theorem for operators, one of them is the following Theorem: Let H be a separable complex Hilbert space, $A\in L(H)$ self-adjoint ($L(H)$ are the bounded ...
1
vote
3answers
36 views

$A$ and $B$ are bounded linear operators from the normed linear space $X$ to itself. If $AB$ is invertible are $A$ and $B$ invertible?

I think I understand the proof for square matrices, such that $(AB)^{-1}=B^{-1}A^{-1}$, but I'm not sure if I can just say the same for the bounded linear operators A and B. Does the existence of ...
3
votes
0answers
35 views

Why is the Calkin algebra purely infinite?

I tried using the fact that in a simple unital $C^*$-algebra, $\mathcal{A}$, purely infinite is equivalent to the following: If $x\in\mathcal{A}$ is non-zero, then there exists $a,b\in\mathcal{A}$ ...
1
vote
0answers
45 views

Prove that norm of Yosida approximations blows up

I need an help with the following exercise about Yosida approximations. Let's fix the notation: let $A$ be an unbounded linear operator define on a dense domain $D(A)\subset X$ of a Banach space $X$. ...
0
votes
1answer
15 views

Show that an operator is closable

Let $H=\mathcal{L}^2(\mathbb R^2,dxdy)$ and let $A$ the operator defined by: $$ A[f](x,y)=\frac{\partial^2f}{\partial x^2}+\frac{\partial^2f}{\partial y^2}+i(y\frac{\partial f}{\partial ...
9
votes
1answer
141 views

Spectral theorem for a pair of commuting operators

Let $H$ be Hilbert space and $A$, $B$ - self-adjoint (bounded or unbounded) operators on $H$. According to spectral theorem for every bounded Borel function $f: \mathbb{R}\to \mathbb{R}$ we have ...
0
votes
0answers
44 views

Show $\lim_{n\to\infty}(Lu_n) = L(\lim_{n\to\infty} u_n)$

Suppose $\{u_n\}$ is a convergent sequence in Hilbert space $H$ and $L$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Lu_n) = ...
1
vote
0answers
43 views

Find eigenfunctions of the integral operator with kernel $\sum\limits_{n=1}^\infty \frac{1}{n^2} \sin((n+1)x)\sin(ny)$

Find the eigenvalue and eigenfunctions of the integral operator $Ku=\int_0^\pi k(x,y)u(y)dy$. $k( x,y) = \sum\limits_{n=1}^\infty \frac{1}{n^2} \sin\big((n+1)x\big)\sin(ny)$. This is how I ...
0
votes
0answers
43 views

Derivation of perturbation series

I'm a little bit confused about the derivation of the perturbation series. I know from my quantum mechanics course that for a perturbed operator, eigenvalue is a series that is depend on the ...
1
vote
1answer
29 views

Is it necessary to use the Hahn-Banach theorem to show that $(X/M)^*\simeq M^\perp$?

Let $X$ be a Banach space with dual space $X^*$, and let $M$ be a closed subspace of $X$. Then $M^\perp=\{x^*\in X^*: x*(m)=0 \text{ for all } m\in M\}$ is a closed subspace in $X^*$. I read the ...
1
vote
3answers
96 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 and has ...
4
votes
1answer
45 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 = ...
-2
votes
1answer
20 views

symetric closed operator and extension [closed]

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
22 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
26 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
30 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
97 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
14 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 ...
4
votes
1answer
71 views

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
2answers
25 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
73 views

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

In proof of Theorem 6.4.1 of Auslender's book about asymptotic cones, the author assumes that $\text{rge}\,A\subset\text{aff}\,C$ and for $\epsilon>0$ claims that ...