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
3answers
865 views

Books for studying Dirac Operators, Atiyah-Singer Index Theorem, Heat Kernels

I am interested in learning about Dirac operators, Heat Kernels and their role in Atiyah-Singer Index Theorem. From various sources (including this very helpful question), I have come to know of ...
6
votes
3answers
192 views

Bounded operators with prescribed range - part II

This is a continuation of the question bellow, in a more particular case. Bounded operators with prescribed range If $X$ is a separable Banach space and $Y$ is a closed, infinite dimensional ...
6
votes
1answer
502 views

Sum of Closed Operators Closable?

Let $A$ and $B$ be closed operators on a (separable complex) Hilbert space with dense domains $D(A)$ and $D(B)$ respecitvely. Then, we may define the operator $A+B$ on $D(A)\cap D(B)$. In general, ...
6
votes
1answer
62 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
88 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
160 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
439 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
304 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
219 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
590 views

Symmetric Square Root of Symmetric Invertible Matrix

I am trying to find out if for any symmetric (Not necessarily self-adjoint), invertible matrix $A$ over $\mathbb{C}$, there is a square root of the matrix that is also symmetric. I was able to figure ...
6
votes
1answer
654 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
125 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
267 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
209 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
97 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
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
376 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
336 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
120 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
325 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
493 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
481 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
100 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
243 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
177 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
261 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
152 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
393 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
440 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
169 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
233 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
661 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
401 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
391 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
733 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
662 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
545 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
163 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
1answer
872 views

Trace of an operator

Suppose $\rho$ is a positve trace-class operator and $x$ is positve bounded operator on a Hilbert space $\mathcal{H}$, I am unable to prove that trace of $\rho x$ is positive, where trace($x$):= $\sum ...