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

22
votes
0answers
977 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), $$ ...
11
votes
0answers
430 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 ...
7
votes
0answers
340 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
0answers
215 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
0answers
317 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
486 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
379 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
158 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
202 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
0answers
111 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$ ...
5
votes
0answers
101 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 ...
5
votes
0answers
129 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 ...
5
votes
0answers
167 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21 , in a note for professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the ...
5
votes
0answers
229 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 ...
5
votes
0answers
381 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: ...
5
votes
0answers
377 views

Sum of operator and adjoint is self-adjoint

In abstract Hodge theory there is the following lemma: Let $H$ be a Hilbert space and $A \in \mathcal{C}(H)$ a densely defined, closed operator (so possibly unbounded) and $A^*$ its adjoint operator. ...
5
votes
0answers
243 views

Where does the notation $\mathrm{Ad}(U)$ for $a\mapsto UaU^*$ come from?

I have often seen, in the context of operator theory and operator algebras, the notation $\mathrm{Ad}(U)a=UaU^*$, where $U$ is a unitary operator on a Hilbert space $H$ and $a$ is a bounded linear ...
4
votes
0answers
21 views

Is the spectrum of a first order PDO always unbounded from both sides?

Let $E \to X$ be a smooth vector bundle over a compact Riemannian manifold $X$ and assume that $P:\Gamma(E) \to \Gamma(E)$ is a self-adjoint partial differential operator of order $1$. We think of ...
4
votes
0answers
40 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 ...
4
votes
0answers
47 views

Is there a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ on $L^{2}[0,2\pi]$ with periodic conditions?

Let $\mathcal{H}=L^{2}[0,2\pi]$, and let $L=-\frac{d^{2}}{dx^{2}}$ on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions $f$ on $[0,2\pi]$ with $f''\in\mathcal{H}$ and ...
4
votes
0answers
105 views

Operators such that $\langle Ax,x \rangle=-\langle x,Ax \rangle$

Let $X$ be a Banach space. We consider the differential equation: $$x'(t)=Ax(t), \ \ \ t\in\mathbb{R}$$ where $A$ is a bounded operator on $X$. If $X$ is a Hilbert space, and $x(t)$ is a solution of ...
4
votes
0answers
108 views

How to get a grip on codimensions

I am trying to find a proof for the following problem: Let $X,Y$ be Banach spaces $A,B:X \rightarrow Y$ are bounded linear operators $Ran(A)$ is closed, and $\dim(\mathrm{Ker}(A))$ or ...
4
votes
0answers
108 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
4
votes
0answers
124 views

norm of differential operator on $P^n[0,1]$

Consider the space $P^n[0,1]$ of polynomials of degree $\leq n$ on $[0,1]$, equipped with the sup norm. Now, this is a finite dimensional space, so all linear operators have to be continuous, hence ...
4
votes
0answers
47 views

How can I show that given a norm one linear functional on $c_0$ that there is a unique extension to a norm one functional on $\ell_\infty$?

We are given that our Banach space is $c_0 \subset \ell_\infty(\mathbb{N})$ and there is a functional $y^* \in c_0^*$ such that $||y^*|| = 1$. We are guaranteed that this extends, via Hahn-Banach to a ...
4
votes
0answers
100 views

For $A$ self-adjoint, $\sup_{|x|=1}\langle Ax,x\rangle = \max \sigma(A)$

For a self-adjoint operator $A$ on a Hilbert space $H$, one has $\sup_{|x|=1}\langle Ax,x \rangle = \max\sigma(A)$. I want to prove this using the spectral theorem. My idea is: Let $a = ...
4
votes
0answers
154 views

Non strictly singular operators

Let $X$ be a separable Banach space and let $T:X\to X$ be a bounded operator that is not strictly singular. Can we always find an infinite dimensional, closed, and complemented subspace $Y$ of $X$ ...
4
votes
0answers
92 views

Concerning unbounded linear operators on a Hilbert space

Let $H$ be some Hilbert space and let $B:H\rightarrow H$ be a bounded linear operator and $T:H\rightarrow H$ an unbounded linear operator. Furthermore we assume that $T$ is closed ,i.e. it's graph in ...
4
votes
0answers
336 views

Why matrix representation of convolution cannot explain the convolution theorem?

A record saying that Convolution Theorem is trivial since it is identical to the statement that convolution, as Toeplitz operator, has fourier eigenbasis and, therefore, is diagonal in it, has ...
4
votes
0answers
154 views

How to decompose a representation into direct sum of cyclic representation?

Let $U$ be the bilateral shift operator on $l^2 (\mathbb Z)$, let $T=U+U^*$. How to calculate $\sigma(T)$? And how to show there is no cyclic vector for the action of $C^*(T,I)$. Further how to ...
4
votes
0answers
197 views

Inverse of Identity plus Volterra operator

consider the following operator or $L_2(0,1)$, $(Pw)(x)=w(x)+\int_0^x K(x,y)w(y)dy+\int_x^1 K(y,x)w(y)dy$, where the integral kernel is a polynomial. I am trying to construct the inverse of this ...
4
votes
0answers
80 views

The control of norm in quotient algebra

Let $B_1,B_2$ be two Banach spaces and $L(B_i,B_j),K(B_i,B_j)(i,j=1,2)$ spaces of bounded and compact linear operator between them respectively. If $T \in L(B_1,B_1)$, we have a $S \in K(B_1,B_2)$ and ...
4
votes
0answers
394 views

Confused by a proof in Rudin *Functional Analysis*

I am reading Rudin's Functional Analysis and got quite confused by his proof of Thm 8.5, that is, the existence of fundamental solutions for differential operator $P(D)$, where $P$ is a polynomial. ...
4
votes
0answers
179 views

surjectivity of operators on $\ell^\infty$

Can anyone give me an example of an operator $T:\ell^\infty\rightarrow\ell^\infty$ which has dense range but is not surjective?
4
votes
0answers
124 views

Does such an operator exist?

Suppose $T$ is a bounded operator on $H:=\mathcal{l}_2$ which is quasinilpotent and has the property that both $T$ and $T^{*}$ are not injective and have finite dimensional kernels. Is it possible ...
4
votes
0answers
353 views

Eigenprojection as Contour Integral over Resolvent

Let $H$ be a Hilbert space and let $A \in L(H)$ be a bounded linear operator. Assume that $\lambda$ is an eigenvalue of $A$ and assume further that $C_\lambda$ is a simple closed curve in the complex ...
4
votes
0answers
132 views

Relations between spectrum and quadratic forms in the unbounded case

Let $H$ be a complex Hilbert space. If $B$ is a bounded self-adjoint operator on $H$ then its spectrum is a closed and bounded subset of the real line and we can find its extremes in terms of the ...
3
votes
0answers
30 views

Spectra of periodic Schrödinger equations

This question might be a little bit physics-related, but I kind of have a deep interest to ask this here, cause I would like to get an idea of the Mathematics behind the things I just covered in my ...
3
votes
0answers
35 views

Laplace transform and Fourier transform of kernel

Suppose $p_t(x)=\frac1{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}$ is the Gaussian density. $p_t(x)$ is also the Green kernel of the heat equation in 1D: $(\partial_t-\frac12\Delta)u=0$. The Fourier transform ...
3
votes
0answers
38 views

Norm of an element in a C*-algebra

The following is a part of a proof in Takasaki's Operator theory: Let $\epsilon>0$ and $A$ is a C*-algebra. For an $x\in A$, put $h=x^*x$ and $u_\epsilon=(h+\epsilon)^{-1}h$. We have then ...
3
votes
0answers
42 views

The positive element in a C*-algebra

The following is a theorem of Conway's Functional Analysis: for the proof ($c\to a$), I think we can say: for $\lambda\in \sigma(a)\subset \Bbb R$, there is a character $h:C(\sigma(a))\to\Bbb C$ ...
3
votes
0answers
39 views

*-isomorphism of a C*-algebra into an involutive Banach algebra is norm increasing

The following is a proposition of Takesaki's Operator theory: My question: How does he assume, considering the C*-subalgebra generated by k instead of $*$-Banach algebra B? Are we sure that the ...
3
votes
0answers
61 views

A possible Corollary of the Fredholm alternative?

Let $H$ be a Hilbert space, $P : H \rightarrow H$ a positive-definite (bounded) operator and $K : H \rightarrow H$ a compact (not necessarily self-adjoint) operator. Let $T = P + K$. In particular, ...
3
votes
0answers
30 views

Fredholm Integral in Bayesian Appliation

Let $X = x_1, x_2, \ldots, x_n$ be a sequence of Bernoulli random variables with $k$ successes. Suppose that, given $X$, the posterior predictive probability of $x_{n+1} = x$ is known to be $g(x)$ ...
3
votes
0answers
114 views

Differentiation of norm in Banach space (explanation of text needed)

Let $Y$ be uniformly smooth Banach space. Consider the convex $C^1$ functional $\Phi:Y \to \mathbb{R}$ defined $$\Phi(y) = \frac{1}{q}\Vert y \Vert^q_{Y}.$$ Its derivative $\varphi:Y \to Y'$ is a ...
3
votes
0answers
41 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
3
votes
0answers
38 views

Bounded operators with closed range

Under what conditions the sum of two closed range operators have a closed range? the result is true if the ranges are orthogonal(hilbert space)
3
votes
0answers
54 views

operator on separable banach space whose spectrum and point spectrum is prescribed compact set

I am interested in obtaining the following paper: G. K. Kalisch, "On operators with large point spectrum," Scripta Math. 29 No. 3-4, (1973), 371-378. According to Ben Mathes, "Strictly Cyclic ...
3
votes
0answers
42 views

Matrix-valued functions with lacunary Fourier series

This question is motivated by investigation of the operator space structure of Hankel matrices (which is surely well-known to the experts). Consider a lacunary Hankel matrix, i.e. a matrix ...
3
votes
0answers
51 views

elliptic operator and wave front set

Let us $f(x) \in C^\infty $ on $\mathbb{R}^n$, and the pseudo-diff. operator $ Q$ is defined by: $(Qu)(x)=(2\pi)^{-n}\int_{\mathbb{R}^{n}}e^{ix\xi }f(x)\left | \xi \right |\hat{u}(\xi) d\xi$ Where ...