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

119
votes
5answers
5k views

How could we define the factorial of a matrix?

Suppose I have a square matrix $\mathsf{A}$ with $\det \mathsf{A}\neq 0$. How could we define the following operation? $$\mathsf{A}!$$ Maybe we could make some simple example, admitted it makes any ...
57
votes
0answers
3k views

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ $K_1=\left(\...
45
votes
4answers
2k views

Double sum - Miklos Schweitzer 2010

There is a question in the Miklos Schweitzer contest last year that keeps bugging me. Here it is: Is there any sequence $(a_n)$ of nonnegative numbers for which $\displaystyle\sum_{n \geq 1}a_n^2 &...
25
votes
10answers
10k views

Operator vs function

Could someone please explain the MATHEMATICAL difference between an operator and a function? I am not talking about these in terms of coding but rather the mathematical difference. Is operator also a ...
23
votes
1answer
1k views

Why do zeta regularization and path integrals agree on functional determinants?

When looking up the functional determinant on Wikipedia, a reader is treated to two possible definitions of the functional determinant, and their agreement is trivial in finite dimensions. The first ...
23
votes
2answers
703 views

Operators with finite spectrum

Suppose that $T$ is a bounded operator with finite spectrum. What happens with the spectrum of $T+F$, where $F$ has finite rank? Is it possible that $\sigma(T+F)$ has non-empty interior? Is it always ...
22
votes
3answers
6k views

Differential equations and Fourier and Laplace transforms

Why do both the Fourier transform and the Laplace transform appear in the study of differential equations? I've never understood why there are some situations where the Fourier transform is used and ...
21
votes
0answers
291 views

Is it possible to characterize completeness of a normed vector space by convergence of Neumann series?

If $X$ is a normed vector space and if for each bounded operator $T \in B(X)$ with $\| T\| < 1$, the operator ${\rm id} - T$ is boundedly invertible, does it follow that $X$ is complete? Context: ...
21
votes
1answer
504 views

Factorial of a matrix: what could be the use of it?

Recently on this site, the question was raised how we might define the factorial operation $\mathsf{A}!$ on a square matrix $\mathsf{A}$. The answer, perhaps unsurprisingly, involves the Gamma ...
19
votes
2answers
1k views

Does an unbounded operator $T$ with non-empty spectrum have an unbounded spectrum?

It's well known that the spectrum of a bounded operator on a Banach space is a closed bounded set (and non-empty)on the complex plane. And it's also not hard to find unbounded operators which their ...
18
votes
2answers
1k views

Compact sets as point spectrum of a bounded operator

It is well known that if $K$ is any compact set in $\mathbb{C}$, then there exist a bounded linear operator $T:l_2\to l_2$ such that $\sigma(T)=K$. My questions are: Q1) Does there exist $T$, a ...
17
votes
1answer
309 views

A property of exponential of operators

Let $X$ be a Banach space. $A\in B(X)$ is a bounded operator. we can define $e^{tA}$ by $$e^{tA}=\sum_{k=0}^{+\infty}\frac{t^kA^k}{k!}$$ I am interested in this property: If $x\in X$, such that the ...
15
votes
2answers
2k views

Gelfand-Naimark Theorem

The Gelfand–Naimark Theorem states that an arbitrary C*-algebra $ A $ is isometrically *-isomorphic to a C*-algebra of bounded operators on a Hilbert space. There is another version, which states that ...
15
votes
1answer
2k views

How to prove that an operator is compact?

Consider $T\colon\ell^2\to\ell^2$ an operator such that $Te_k=\lambda_k e_k$ with $\lambda_k\to 0$ as $k \to \infty$ how to prove that it is compact?
15
votes
3answers
1k views

Compactness of a bounded operator $T\colon c_0 \to \ell^1$

Pitt Theorem says that any bounded linear operator $T\colon \ell^r \to \ell^p$, $1 \leq p < r < \infty$, or $T\colon c_0 \to \ell^p$ is compact. I know how to prove this in case $\ell^r \to \...
15
votes
1answer
2k views

Operator norm and tensor norms

I have a linear operator $A\in\mathcal{L}(X,Y)$ where $X$ and $Y$ are some Banach spaces (or Hilbert spaces would also do, if that simplifies the answer.). The operator norm of $A$ is given by $$ \|A\...
15
votes
1answer
1k views

Find the spectrum of the linear operator $T: \ell^2 \to \ell^2$ defined by $Tx=(\theta x_{n-1} +(1-\theta)x_{n+1})_{n\in \mathbb{Z}}$

Let $\ell^2 =\ell^2(\mathbb{Z})$. Choose $\theta \in ]0,1[$ and set: $$Tx=(\theta x_{n-1} +(1-\theta)x_{n+1})_{n\in \mathbb{Z}}$$ for each $x=(x_n)_{n\in \mathbb{Z}}\in \ell^2$ (thus $T$ is a convex ...
14
votes
2answers
429 views

Shift Operator has no “square root”?

Consider the left shift operator $T : \ell^1(\mathbb N) \to \ell^1(\mathbb N) $ by $$T(x_1,x_2..... )=(x_2, x_3 ........),$$ and also the right shift operator $S : \ell^1(\mathbb N) \to \ell^1(\mathbb ...
14
votes
1answer
362 views

How does $\sigma(T)$ change with respect to $T$?

Consider $\sigma$ as a mapping which maps $T\in\mathcal{L}(X)$ to $\sigma(T)$, the spectrum of $T$, a compact set in the complex plane. I wonder whether there is some result concerning how $\sigma(T)$...
14
votes
1answer
252 views

Injectivity of the operator $(Ax)(t)=\int_0 ^1 k(s,t) x(s)ds$

Let $X=C([0,1],\mathbb{R})$ (equipped with the supremum norm). Let $A$ be the operator defined for each $x\in X$ by $$(Ax)(t)=\int_0 ^1 k(s,t) x(s)ds,$$ where $k:[0,1]\times [0,1]\to \mathbb{R} $ is ...
14
votes
1answer
211 views

$A$ and $B$ commute on a dense set but $e^{iA}$ and $e^{iB}$ do not

Let $A$ and $B$ be unbounded, symmetric operators on a Hilbert space $H$ with a common domain $D$. If $AB = BA$ on $D$, is it necessarily that case that $e^{iA}$ and $e^{iB}$ also commute? If $A$ and $...
13
votes
1answer
385 views

Singular-value inequalities

This is my question: Is the following statement true ? Let $H$ be a real or complex Hilbertspace and $R,S:H \to H$ compact operators. For every $n\in\mathbb{N}$ the following inequality holds: $$\...
13
votes
1answer
323 views

Is this a characterization of commutative $C^{*}$-algebras

Assume that $A$ is a $C^{*}$-algebra such that $\forall a,b \in A, ab=0 \iff ba=0$. Is $A$ necessarily a commutative algebra? In particular does "$\forall a,b \in A, ab=0 \iff ba=0$" ...
12
votes
1answer
1k views

Importance of Toeplitz operators?

I am reading Arveson's A Short Course on Spectral Theory, in which the author states that Toeplitz operators are very important without giving references on their applications. After some searching, I ...
12
votes
3answers
5k views

Equivalent Definitions of the Operator Norm

Would you give me a proof of the equivalence of these ones? $$\begin{align*} \lVert A\rVert_{\mathrm{op}} &= \inf\{ c\;\colon\; \lVert Av\rVert\leq c\lVert v\rVert \text{ for all }v\in V\}\\ &=...
12
votes
2answers
968 views

Why do we distinguish the continuous spectrum and the residual spectrum?

As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension. If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
12
votes
2answers
475 views

When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
12
votes
1answer
289 views

Inequalities on kernels of compact operators

Suppose we have a $\sigma$-finite positive measure $\mu(v)$ on $\Bbb R^d$ and we have two positive kernels on $\Bbb R^d\times \Bbb R^d$ $k_1(v,u)>0$, $k_2(v,u)>0$. We define integral operators $$...
12
votes
1answer
1k views

Closure of the invertible operators on a Banach space

Let $E$ be a Banach space, $\mathcal B(E)$ the Banach space of linear bounded operators and $\mathcal I$ the set of all invertible linear bounded operators from $E$ to $E$. We know that $\mathcal I$ ...
12
votes
3answers
287 views

Is there an algebra of summable series?

Let $D$ denote a divergent series and let $C$ denote a convergent series. Furthermore, let $s : \{ Series \} \to \{ numbers \} $ be a regular, linear divergent series operator, which is either one of ...
12
votes
1answer
685 views

Looking for an easy lightning introduction to Hilbert spaces and Banach spaces

I'm co-organizing a reading seminar on Higson and Roe's Analytic K-homology. Most participants are graduate students and faculty, but there are a number of undergraduates who might like to participate,...
11
votes
3answers
1k views

Is there a formula similar to $f(x+a) = e^{a\frac{d}{dx}}f(x)$ to express $f(\alpha\cdot x)$?

Using the Taylor expansion $$f(x+a) = \sum_{k=0}^\infty \frac{a^k}{k!}\frac{d^k }{dx^k}f(x)$$ one can formally express the sum as the linear operator $e^{a\frac{d}{dx}}$ to obtain $$f(x+a) = e^{a\...
11
votes
1answer
2k views

$T$ surjective iff $T^*$ injective in infinite-dimensional Hilbert space?

Let $T:H_1\rightarrow H_2$ be a bounded linear operator where $H_1$ and $H_2$ are Hilbert spaces. The Hilbert-adjoint is defined to the the operator $T^*:H_2\rightarrow H_1$ such that $\langle Tx,y\...
11
votes
1answer
477 views

Renorming $\mathcal{B}(\mathcal{H})$?

Consider the Banach space of all bounded operators $\mathcal{B}(\mathcal{H})$ on a (separable if you wish) Hilbert space $\mathcal{H}$ with the operator norm. Can we renorm this space to a strictly ...
11
votes
1answer
150 views

When is an operator on $\ell_1$ the dual of an operator on $c_0$?

Suppose $T:\ell_1\to\ell_1$ is a continuous linear operator. When can we say that $T$ is a dual, or adjoint, of an operator on $c_0$? In other words, under what conditions can we find a continuous ...
11
votes
2answers
620 views

Extension and trace operators for Sobolev spaces

Given that $\Omega \subset \mathbb{R}^{n}$ is an open, convex, Lipschitz bounded set. Let $O \subset \Omega$ be open bounded set then consider. $$u_{m} \rightharpoonup^{*} u \text{ in } W^{1,\infty}_{...
11
votes
1answer
476 views

Quantization of angular momentum: is Dirac's proof wrong?

I'm trying to understand the physicist's proof of the theorem on the spectral structure of angular momentum operators (I'm being told that this proof is due to Dirac). I will refer to Ballentine's ...
11
votes
2answers
329 views

A conjecture about traces of projections

Let $M_n$ denote the space of all $n\times n$ complex matrices. Define $\tau:M_n\rightarrow \mathbb{C}$ by $$\tau(X)=\frac{1}{n}\sum_{i=1}^n x_{ii},$$ where of course $X=[x_{ij}]\in M_n$. Recall that ...
11
votes
1answer
443 views

Every Hilbert space operator is a combination of projections

I am reading a paper on Hilbert space operators, in which the authors used a surprising result Every $X\in\mathcal{B}(\mathcal{H})$ is a finite linear combination of orthogonal projections. The ...
11
votes
1answer
328 views

In a C*-algebra, put $a^*a \sim aa^*$. Transitivity fails?

Idle curiosity drove me to wonder about the following question. Let $A$ be a C*-algebra. Define a binary relation $\sim$ on the cone $A^{\geq 0}$ of positive elements by putting $x \sim y$ whenever ...
11
votes
0answers
582 views

Inverse of Toeplitz Matrix Property

Sorry if this question has been asked already but I didn't find it. Given a symmetric Toeplitz matrix of the form $$\left[\begin{array}{llll} a_0 & a_1 & \dots & a_n\\ a_1 & a_0 &...
10
votes
4answers
4k views

Are all algebraic commutative operations always associative? [duplicate]

I know that there are many algebraic associative operations which are commutative and which are not commutative. for example multiplications of matrices as associative operation is not commutative. I ...
10
votes
1answer
380 views

How to prove Halmos’s Inequality

How to prove Halmos’s Inequality? If $A$ and $B$ are bounded linear operators on a Hilbert space such that $A$, or $B$, commutes with $AB-BA$ then $$\|I-(AB- BA)\|\ge 1.$$ I found it from http://...
10
votes
3answers
526 views

Question about Angle-Preserving Operators

This an exercise out of Spivak's "Calculus on Manifolds". Edit: There was a typo in the exercise as is noted below in the answers. The statement has been edited to reflect this. Given $x,y\in\...
10
votes
5answers
420 views

Integral representation for $\log$ of operator

How can one prove that $$ (\log\det\cal A=) \operatorname{Tr} \log \cal{A} = \int_{\epsilon}^\infty \frac{\mathrm{d}s}{s} \operatorname{Tr} e^{-s \mathcal{A}},$$ for a sufficiently well-behaved ...
10
votes
2answers
503 views

Selfadjoint compact operator with finite trace

I have a compact selfadjoint operator $T$ on a separable Hilbert space. For some fixed orthonormal basis, the operator's diagonal is in $\ell^1(\mathbb{N})$. Can we conclude that $T$ is trace ...
10
votes
1answer
650 views

Trace class for operators

Let $ \mathcal{H} $ be a Hilbert space and $ T: \mathcal{H} \to \mathcal{H} $ a bounded linear operator. The $ n $-th singular number $ {\mu_{n}}(T) $ of $ T $ is defined as the distance from $ T $ to ...
10
votes
1answer
352 views

Criteria of compactness of an operator

Suppose $K$ is a linear operator in a separable Hilbert space $H$ such that for any Hilbert basis $\{e_i\}$ of $H$ we have $\lim_{i,j \to \infty} (Ke_i,e_j) = 0$. Is it true that $K$ is compact? ...
10
votes
1answer
778 views

What is the use of Spectral Theorem?

Obviously the version for compact and self-adjoint linear operators on Hilbert Spaces is very useful since it decomposes the operators into orthogonal projections. However, the following more general ...
10
votes
1answer
534 views

On Pitt's theorem

The famous Pitt's theorem asserts that if $p>q$ then each bounded operator $T\colon \ell^p\to\ell^q$ is compact. Since $\ell^p$ and $\ell^q$ are incomparable ($p\neq q$, $p,q\geq 1$), each operator ...