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
123 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
248 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
203 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
75 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
82 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
465 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
351 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
321 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
109 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
371 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
142 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
302 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
452 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
274 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
465 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
234 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
223 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
0answers
137 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
161 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
199 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
254 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
149 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
359 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
560 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
419 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
166 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
226 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
319 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
3answers
2k 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$
5
votes
2answers
388 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
340 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
2answers
603 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
510 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
110 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
623 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
249 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 ...
5
votes
1answer
820 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 ...
5
votes
1answer
271 views

boundedness of an operator

Define $T: L^2(\mathbb{R})\to L^2(\mathbb{R})$ by $(Tf)(x)=\int_{\mathbb{R}}\frac{f(y)}{1+|x|+|y|}dy$. Is this operator bounded? If it is, then is it also compact? I got stuck in simply applying ...
5
votes
2answers
373 views

If a map $C:X\rightarrow U$ maps every weakly convergent sequence into strongly convergent

A Linear map between Banach spaces $C:X\rightarrow U$ is compact if it maps if the closure of the image of the unit ball is precompact in U. If a map $C:X\rightarrow U$ maps every weakly convergent ...
5
votes
1answer
345 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...
5
votes
1answer
238 views

Erwin Kreyszig's Introductory Functional Analysis With Applications, Section 2.7, Problem 9

Here is Problem 9 in the Problem Set following Section 2.7 in the book Introductory Functional Analysis With Applications by Erwine Kryszeg: Let $C[0,1]$ denote the set of all (real- or ...
5
votes
2answers
154 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 ...
5
votes
1answer
183 views

Is every operator unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
5
votes
2answers
90 views

Completeness of Operator space.

Assume $(X,\|\cdot\|_X),(Y,\|\cdot\|_Y)$ are normed spaces and $\dim X\geq 1$. The following holds: $Y$ complete $\iff$ $\mathscr L(X,Y)$ complete. The latter denotes the space of bounded operators ...
5
votes
1answer
853 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 ...
5
votes
1answer
457 views

Fourier transform as a Gelfand transform

One question came to my mind while looking at the proof of Gelfand-Naimark theorem. Is Fourier transform a kind of Gelfand transform? Are there any other well-known transforms which are so?