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

7
votes
1answer
220 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 ...
7
votes
0answers
213 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 ...
7
votes
0answers
450 views

Fixed point: linear operators

I ask my question in two parts: though the topic is similar, I would like to distinguish linear and general cases since methods may be too different while my questions are broad. Consider a space $X$ ...
6
votes
2answers
6k views

Norm of a symmetric matrix equals spectral radius

How do I prove that the norm of a matrix equals the absolutely largest eigenvalue of the matrix? This is the precise question: Let $A$ be a symmetric $n \times n$ matrix. Consider $A$ as an ...
6
votes
3answers
669 views

A compact operator in $L^2(\mathbb R)$

Let $g \in L^{\infty}(\mathbb R)$. Consider the operator $$ \begin{split} T_g\colon & L^2(\mathbb R)\to L^2(\mathbb R) \\ & f \mapsto gf \end{split} $$ Prove that $T_g$ is compact ...
6
votes
1answer
586 views

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $. Where $A,\ B$ are bounded operators in Banach space and $\sigma$ denotes spectrum.
6
votes
3answers
3k views

Norm of integral operator in $L_2$

What is the norm of integral operators $A$ in $L_2(0,1)$? $Ax(t)=\int_0^tx(s)ds$
6
votes
2answers
349 views

For a multiplication operator $M_f$ on $L^2$ with $f\geq 0$, is $SM_fS^{*}$ positive?

I have the following problem. Let $\Omega \subset R^n$ have finite measure, let $H = L^2(\Omega)$ and let $S: H \to H$ be a bounded linear operator. Then it is well known that $P = SS^*$ is a positive ...
6
votes
3answers
252 views

Relation between $K$-theories

I apologize in advance if this question is too vague/general. I am curious to know how all of the different $K$-theories are related (algebraic $K$-theory, topological $K$-theory, twisted $K$-theory, ...
6
votes
2answers
265 views

Why are compact operators 'small'?

I have been hearing different people saying this in different contexts for quite some time but I still don't quite get it. I know that compact operators map bounded sets to totally bounded ones, that ...
6
votes
2answers
402 views

Unitisation of $C^{*}$-algebras via double centralizers

In most of the books I read about $C^{*}$-algebras, the author usually embeds the algebra, say, $A$, as an ideal of $B(A)$, the algebra of bounded linear operators on $A$, by identifying $a$ and ...
6
votes
1answer
357 views

Compact Operators: Weak Convergence [duplicate]

Problem Given Banach spaces $X$ and $Y$. Consider a compact operator $C\in\mathcal{C}(X,Y)$. Then weak convergence is turned into strong convergence: $$x_n\rightharpoonup x\implies Cx_n\to Cx$$ I'd ...
6
votes
3answers
203 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
1k views

When to use Closed Graph Theorem vs. Uniform Boundedness Theorem?

I run in to problem that I often know is solvable with either the Closed Graph Theorem or Uniform Boundedness Theorem. I seem to mix up the solutions. Are there any hints on when to use which? Or can ...
6
votes
1answer
567 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
89 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
170 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
92 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
1answer
236 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
644 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
789 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
130 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
37 views

Convergence property of positive operator on $L^\infty$

Given a $\sigma$-additive measure space $(S,\Sigma,\mu)$ and a linear operator $$ U: L^\infty \to L^\infty $$ where $L^\infty$ is the space of essentially bounded measurable functions. Assume it is ...
6
votes
1answer
103 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
297 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
231 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
80 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
107 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
104 views

Unital nonabelian banach algebra where the only closed ideals are $\{0\}$ and $A$

This is a problem in exercise one of Murphy's book Find an example of a nonabelian unital Banach algebra $A$, where the only closed ideals are $\{0\}$ and $A$. But does such an algebra exist at ...
6
votes
1answer
214 views

Definition of resolvent set

I'm having trouble understanding some subtlety of definition of resolvent set for given bounded operator A everywhere defined on some Hilbert space. Book I use (and many other sources) give the ...
6
votes
1answer
127 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
730 views

Matrix Representation of Operators in Infinite Dimensional (Separable) Hilbert Spaces

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

Every Hilbert-Schmidt is an integral operator?

Let $(X,\mu)$ be a $\sigma$-finite measure space. If $K\in\mathcal{L}^2(X\times X,\mu\times\mu)$ then the map $A_K:\mathcal{L}^2(X,\mu)\to\mathcal{L}^2(X,\mu)$ defined by\begin{equation} ...
6
votes
1answer
44 views

Compute $d(x^{100},P_{\le 98})$ where $P$ is subspace of polynomials with degree $\le 98$

Compute $d(x^{100},P_{\le 98})$ where $P$ is subspace of polynomials with degree $\le 98$, looking at $C_{(2)}[-1,1]$, with $L_2$ norm. I tried to look at a general polynomial $\sum_{i=0}^{98} ...
6
votes
2answers
79 views

The subgroup of $GL_{n}(\mathbb{R})$ inside $B(1, 1)$ is $\lbrace I \rbrace$

Let $G \subset GL_{n}(\mathbb{R})$ be a subgroup such that $G \subset B$ where $$B = \lbrace M \in \mathcal{M}_{n}(\mathbb{R}), ||M-I|| < 1\rbrace $$ Let $g \in G$. I'm asked to show: The ...
6
votes
1answer
81 views

Is the Neumann series a compact operator?

Let $X$ be an infinite dimensional Banach space and $A:X\to X$ be a compact operator with the operator norm $\|A\|<1$. Then $I-A$ is invertible and the Neumann series $$ S_N = \sum_{k=0}^N A^k $$ ...
6
votes
1answer
541 views

When solving a linear differential equation by factoring the operator, how does one guarantee no solutions are lost?

I think the best way to make this question clear is with an example. Lets say we want to solve the differential equation $(\Delta^2 - \lambda^4)\phi=0,$ calculations are greatly simplified if we ...
6
votes
2answers
469 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
2answers
702 views

Square root is operator monotone

This is a fact I've used a lot, but how would one actually prove this statement? Paraphrased: given two positive operators $X, Y \geq 0$, how can you show that $X^2 \leq Y^2 \Rightarrow X \leq Y$ (or ...
6
votes
1answer
366 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
122 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
405 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
152 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
360 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
582 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
1answer
509 views

Min Max Principle and Rayleigh-Ritz-Method for eigenvalues of unbounded operators?

Finding eigenvalues of matrices using the Rayleigh-Ritz quotient is well-known, c.f. http://en.wikipedia.org/wiki/Min-max_theorem Does the following generalization of that fact also hold? Theorem: ...
6
votes
2answers
284 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
544 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
172 views

compare norms on $\mathcal{B}(H)$

Given a Hilbert space $H$ and $a$ be a real numbers $\geq‎‎‎ 1$ , let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is $$ \Vert T ...
6
votes
0answers
71 views

Two Body Schrodinger Equations

I have a question involving the eigenvalues of a two-body Schrodinger equation. Let $$H=-\frac{1}{2m}\Delta_{x_1}-\frac{1}{2m}\Delta_{x_2}+\frac{e^2}{|{{x_1}-{x_2}}|}$$ over the Hilbert space ...