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

6
votes
1answer
61 views

The ideal generated by a non-compact operator

I wanted to find a quick proof of the following well-known fact. Since I couldn't easily find a reference, I provide a proof below. Let $H$ be a separable Hilbert space, and $J\subset B(H)$ be a ...
6
votes
1answer
87 views

Can we say $TT^{*}=T^{2}$ implies $T=T^{*}$?

Let $A$ be a $C^{*}$-algebra, Can we say $TT^{*}=T^{2}$ implies $T^{*}=T$? for $T\in A$ I am looking for a counterexample! Thanks
6
votes
1answer
157 views

How to find interesting operators for a quantum system?

How can we find "interesting" operators for a quantum mechanical system? I can think of the following method: Given some system with an associated Hilbert space $V$ and Hamiltonian $H:V\rightarrow ...
6
votes
3answers
425 views

Prove $p^2=p$ and $qp=0$

I am not really aware what's going on in this question. I appreciate your help. Let $U$ be a vector space over a field $F$ and $p, q: U \rightarrow U$ linear maps. Assume $p+q = \text{id}_U$ and ...
6
votes
3answers
88 views

Why is $\partial_z\partial_{\bar z}=\frac14\left(\partial_r^2+\frac1r\partial_r+\frac1{r^2}\partial_{\theta}^2\right)$?

I have to show the identity I wrote in the title: it should be $\partial_z\partial_{\bar z}=\frac14\left(\partial_r^2+\frac1r\partial_r+\frac1{r^2}\partial_{\theta}^2\right)$ but some computation ...
6
votes
2answers
295 views

$\exp(A+B)$ and Baker-Campbell-Hausdorff

A few years ago, I did research in quantum mechanics, specifically dealing with generalized displacement operators. In such musings, BCH lights (or gets in, depending on your viewpoint) the way. A ...
6
votes
1answer
215 views

Matrix Representation of Trace Class Operators

Suppose we have a separable Hilbert space (thus with a countable basis) and that represent an operator in matrix form, i.e: $A: H \rightarrow H $$$x \;\rightarrow \sum_{j \in \mathbb{N}}\left(\sum_{k ...
6
votes
1answer
649 views

If $A_n$ is a sequence of positive bounded linear operators converging in norm to $A$ on a Hilbert Space, show $\sqrt{A_n}\to\sqrt{A}$ in norm.

If $A_n$ is a sequence of positive bounded linear operators converging in norm to $A$ on a Hilbert Space, show $\sqrt{A_n}\to\sqrt{A}$ in norm. I can show that $A$ would be positive and thus have a ...
6
votes
1answer
124 views

A Marcinkiewicz approach

The problem was to prove the following that the operator $$Tf(x)=\int_{\mathbb{R}^N}\frac{f(y)}{|x-y|^\alpha}dy$$ Is continuous from $$L^1 \to \ L_\mathrm{Weak}^{p}$$ where $0<\alpha<N$ and ...
6
votes
1answer
98 views

Show that $T$ is continuous

I have a question about how to response to: Given a Banach space X and $T: X \rightarrow X^{*}$ a linear operator such that $\langle Tx,x\rangle \geq 0$ for all $x \in X$. Show that $T$ is ...
6
votes
1answer
264 views

Weak* operator topology and finite rank operators

We will say that ${T_i}\subset B(X,Y^*)$ converges to $T$ in W*-operator topology if $T_i(x)\rightarrow T(x)$ in W*-topology of $Y^*$( $\forall y\in Y \langle T_i(x),y\rangle \rightarrow \langle ...
6
votes
1answer
207 views

Is there a nonnormal operator with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition : An operator $A \in B(H)$ is normal if $AA^{*} = A^{*}A$. Definition : The spectrum $\sigma(A)$ of $A \in B(H)$, is the set ...
6
votes
1answer
76 views

Is the adjoint operation WOT-WOT continuous?

This is a well-known property of the Hilbert-space adjoint operator that it is WOT continuous. Is a similar true for Banach spaces? That is, for a given Banach space $X$ is the operation ...
6
votes
1answer
106 views

local convexity of $L_p$ spaces

wiki says The spaces $L_p([0, 1])$ for $0 < p < 1$ are equipped with the F-norm they are not locally convex, since the only convex neighborhood of zero is the whole space Why is this so? ...
6
votes
1answer
95 views

Compactness of the Volterra opelator

The Volterra operator is given as \begin{eqnarray} (Vf)(x)=\int_0^xK(x,y)f(y)\,{\rm d}y. \end{eqnarray} By the Arzelà–Ascoli theorem, $V\colon C^0[0,1]\rightarrow C^0[0,1]$ is compact operator. But, ...
6
votes
1answer
850 views

Hilbert Schmidt integral operator

Hilbert-Schmidt Integral operators are usually defined from $H=L_2[a,b]$ into $H=L_2[a,b]$ as $$(Tf)(x) = \int_a^b K(x,y)f(y) dy,$$ provided that $K(x,y)$ is a Hilbert Schmidt kernel, namely ...
6
votes
2answers
476 views

On the isometry between bounded linear operators and the dual of nuclear linear operators

Let $H$ be a separable Hilbert space. Let $(e_i)_i$ be an orthonormal basis. For any bounded linear map $T$ we write, whenever possible $$\operatorname{tr} T := \sum_{i}^{\infty} \langle T e_i, e_i ...
6
votes
2answers
371 views

Adjoint operator, bijective

Let $A\in\mathcal{L}(X,Y)$, where $X,Y$ are normed vector spaces. Define the adjoint operator $$\begin{array}{ll} A^{\prime}\ : & Y^{\prime}\rightarrow X^{\prime},\\ & G \mapsto ...
6
votes
1answer
335 views

Kernel of adjoint operator

This problem is puzzling me, even though it should be really simple. Let $L=-\partial_x^2 + \frac 1 2 x^{-2}$ be an operator defined on $D(L)=C^\infty_c(0,+\infty)\subset L^2(0,+\infty)$. Its adjoint ...
6
votes
1answer
119 views

Uniform limit of finite-rank operators with the same rank.

Let $\{T_n\in\mathcal{B}(X)\,|\,\text{rank}(T_n)=R\,\}^{\infty}_{n=1}$ is a sequence of linear bounded finite-rank operators on a Banach space with the same rank $R$. Let it converge uniformly to an ...
6
votes
1answer
376 views

Lie group heuristics for a raising operator for $(-1)^n \frac{d^n}{d\beta^n}\frac{x^\beta}{\beta!}|_{\beta=0}$

Consider the fractional integro-derivative $\displaystyle\frac{d^{\beta}}{dx^\beta}\frac{x^{\alpha}}{\alpha!}=FP\frac{1}{2\pi ...
6
votes
1answer
146 views

A complete eigenvector basis for the restricted operator

Let $X$ be a (not necessarily bounded) selfadjoint linear operator on a Hilbert space $H$ and let $M$ be a closed subspace such that $X(M) \subset M$. Suppose that $X$ admits an orthonormal basis ...
6
votes
1answer
324 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
6
votes
2answers
488 views

Coercive bilinear form on Hilbert space

I need to show the two following results. If true, it must be a simple proof but I do not seem to be able to make it work. Thank you in advance. Consider a continuous symmetric bilinear form $B$ on a ...
6
votes
2answers
275 views

Proving $A: l_2 \to l_2$ is a bounded operator

Let us consider the following linear operator acting on $l_2$: $$ A(x_1,x_2,x_3,\ldots) ~\colon=~ \left(x_1,\frac{x_1+x_2}{2},\frac{x_1+x_2+x_3}{3},\ldots\right) $$ I need to show that $A$ is a ...
6
votes
1answer
480 views

Eigenvalues, kernel and rank of a compact operator: how to start?

I'm trying to solve the following exercise: Let $f\in\mathcal{C}([0,1])$ and let $T$ an operator such that $Tf(x)=\int_0^1(x-t)f(t)dt$. I have proved that $T$ is a bounded linear operator and, by ...
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 ...
6
votes
0answers
242 views

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
6
votes
1answer
226 views

Uniform continuity of the function $x(t)=e^{tA}x$

Let $A$ be a bounded operator on a Banach space $X$. Consider the exponential function $x(t)=e^{tA}x:=\sum_{n=0}^{+\infty}\dfrac{t^nA^n}{n!}x$, for all $t\in \mathbb{R}$, where $x\in X$. If the ...
6
votes
1answer
171 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
6
votes
0answers
179 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
6
votes
1answer
210 views

Integral kernel of the resolvent operator

Suppose we have an explicit formula for the integral kernel $k(x,y)$ of an operator $D$ acting on smooth $\mathbb{C}^n$-valued functions defined on an interval $[0,\beta]$, that is $$ Df(x) = ...
6
votes
0answers
255 views

Question about the Spectral Theorem for Self Adjoint Operators and Eigenvalues

I have been working through Teschl's book "Mathematical Methods in Quantum Mechanics with Applications to Schrodinger Operators" and I am stuck on a problem in Chapter 3. I am trying to prove that if ...
6
votes
1answer
150 views

invariant subspace of a Hardy space

Let $T$ be the unit circle and $H^1=\{f\in L^1(T): \int_0^{2\pi} f(e^{it})\chi_n(e^{it})dt=0 \text{ for } n>0\}$ where $\chi_n(e^{it})=e^{int}$. Let $M$ be a closed subspace of $H^1$. Then ...
6
votes
0answers
387 views

Hilbert transform and Hilbert matrix

The Hilbert matrix is \begin{bmatrix} 1 & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \dots \\[4pt] \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & & \ddots \\[4pt] ...
6
votes
0answers
565 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its ...
6
votes
0answers
434 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
6
votes
0answers
168 views

Invertibility of Toeplitz operator in $\ell_1$

Suppose we have a Toeplitz operator $$ T(a) = \begin{bmatrix} a_{0} & a_{-1} & a_{-2} & \ldots & \ldots &a_{-n+1} &\dots \\\\ a_{1} & a_0 & a_{-1} & \ddots & ...
6
votes
0answers
231 views

Two “different” adjoints of exterior derivative on manifolds with boundary in the $L^2$-setting

The follow problem appears in the setting of $L^2$-differential forms on manifolds with boundary. An abstracted operator theoretic problem is given below. Suppose $M$ is a smooth Riemannian manifold ...
5
votes
2answers
321 views

If $(I-T)^{-1}$ exists, can it always be written in a series representation?

If $X$ is a Banach space, and $T:X \to X$ is a bounded linear operator with norm < $1$, then $I-T$ has a bounded inverse defined by $(I-T)^{-1} = \sum_{n=0}^\infty T^n$. Thinking in terms of a ...
5
votes
1answer
641 views

What is a Form Domain of an Operator?

I tried to look this up on Wikipedia, but I couldn't find anything. I am reading Barry Simon's book "Schrödinger Operators", where he brings up the concept of a form domain $Q(A)$ of a ...
5
votes
2answers
398 views

Uniform boundedness principle statement

Consider the uniform boundedness principle: UBP. Let $E$ and $F$ be two Banach spaces and let $(T_i)_{i \in I}$ be a family (not necessarily countable) of continuous linear operators from $E$ into ...
5
votes
3answers
381 views

Continuity of the adjoint map in various operator topologies

I am currently reading about operator topologies in the book "Methods of Modern Mathematical Physics: Functional Analysis" by Reed and Simon. In their treatment of the Hilbert space adjoint, a ...
5
votes
1answer
1k views

Linear transformations in infinite dimensional vector spaces

If we look at an $n$ - dimensional vector space $V$ and a linear transformation \begin{equation} T : V \to V, \quad x \mapsto Tx \quad \forall \, x \in V \end{equation} then given a choice of basis ...
5
votes
1answer
710 views

Proof Complex positive definite => self-adjoint

I am looking for a proof of the theorem that says: A is a complex positive definite endomorphism and therefore is A self-adjoint. Does anybody of you know how to do this?
5
votes
2answers
648 views

Norm inequality for sum and difference of positive-definite matrices

If $X_{1}$ and $X_{2}$ are positive definite matrices, how to show that $\left\Vert X_{1}-X_{2}\right\Vert \le\left\Vert X_{1}+X_{2}\right\Vert$ for the spectral norm? and how about for the nuclear ...
5
votes
2answers
538 views

For normal $T\in\mathcal{B}(H)$ operator $T$ is injective iff its image is dense

Let $H$ a Hilbert space, $T \in \mathcal{B}(H)$ is normal. Show that: $T$ is injective iff $\mathrm{Im}(T)$ is dense in $H$ Any help is appreciated!
5
votes
2answers
162 views

Duals via a Bilinear map

Let $E$ and $F$ be normed vector spaces. Then if $B$ is a bounded bilinear form on $E \times F$ then every $y \in F$ defines a bounded linear functional $f_y$ where $f_y(x)=B(x, y) \forall x \in E$. ...
5
votes
2answers
111 views

Linear operators on $C^\infty[a,b]$

I do not know too much about linear operators so forgive me if this doesn't make much sense, but what would the space of linear operators on $C^\infty[a,b]$ be defined as? If we denote this space as ...
5
votes
2answers
257 views

Show that linear Operator on $\ell^2$ is unbounded

Currently, I am preparing for a next semester course and trying to figure out some basic concepts in functional analysis. Let $T:\mathcal{D}(T)\to \ell^2$ be defined by ...