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
0answers
200 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$ ...
1
vote
2answers
34 views

Strong closure of a C*-algebra of operators.

In Arveson's book, the Kaplansky density theorem is proved in order to have this corollary: "Let $A$ be a self-adjoint algebra of operators on a separable Hilbert space $H$. Then for every operator ...
-1
votes
1answer
41 views

Prove that $\frac{1}{\phi(D)}c=c\frac{1}{\phi(0)}$

Could someone prove the following? $$\frac{1}{\phi(D)}c=c\frac{1}{\phi(0)}$$ where $D$ is ${\frac{d}{dx}}$ and $c$ is a constant. for example $$\frac{1}{D^4+2D+3}c=c\frac{1}{0+0+3}=\frac{c}{3}$$
2
votes
0answers
24 views

Invariant subspaces and their complements

The following is Exercise 6.4.2 of Conway's Functional Analysis: Suppose $T\in B(X)$ where $X$ is a Banach space. Prove that $M$ is invariant under $T$ if and only if $M^{\perp}$ is invariant under ...
0
votes
2answers
42 views

How find two differential operator $A$ and $B$ such $A\circ \dfrac{d}{dx}=B\circ x$

Question: show that there exists differential operators $A$ and $B$ where $$A=\sum_{k=0}^{n}a_{k}(x)\dfrac{d^k}{dx^k}\neq 0,B=\sum_{k=0}^{n}b_{k}(x)\dfrac{d^k}{dx^k}\neq 0$$ ...
2
votes
1answer
45 views

Compactness of an operator on $c_0$ in terms of its infinite matrix representation

Let $A\in {\cal B}(c_0)$ (${\cal B}(c_0)$ is linear bounded operators on $c_0$) and for $n\geq 1$, define $e_n \in c_0$ by $e_n(m)=\delta_{nm}$. Put $\alpha_{nm}=(Ae_n)(m)$ for $n,m\geq 1$. we have $M ...
0
votes
0answers
20 views

Composition operator of a non-analytic function

I recently came across a problem that can be reformulated in simple terms involving the composition operator $$ C_g\colon X \to X, \quad f \mapsto f \circ g $$ for functions $$ f,g\colon \mathbb{C} ...
1
vote
1answer
35 views

self-adjoint operator without eigenvalues?

I have a self-adjoint operator $d$ which acts on vector fields defined on $\mathbb{R}^n$. I am interested on its eigenvalues. That is, I study the equation $d(X)-\lambda X=0$. I have found that if ...
0
votes
0answers
35 views

Exercise of direct sum of operators: could someone please check my work

I tried to do this exercise and was wondering of someone could please read my work and tell me if it is correct: Let $u: X \to Y$ and $u': X' \to Y'$ be bounded linear operators between Banach ...
1
vote
2answers
85 views

Fourier transform as diagonalization of convolution

I've read this in a lot of places but never quite got how this is true or meant. Let's say we have a convolution Operator $$ A_f(g) = \int f(\tau)g(t-\tau)d\tau $$ and apply it to $g(t)=e^{ikt}$. ...
1
vote
1answer
73 views

Intuitive meaning of the exponential form of an unitary operator

I'm an undergraduate student in Chemistry currently studying quantum mechanics and I have a problem with unitary transformations. Here in my book, it is stated that Every unitary operator ...
1
vote
1answer
29 views

If $T$ is topologically transitive and $X$ is separable and complete then there exists a dense set of points with dense backward orbits.

I am trying to solve exercise 1.2.7 from Grosse-Erdmann and Peris' book Linear Chaos. It is stated as follows: Let $T:X\rightarrow X$ be continuous on a separable and complete metric space $X$ ...
0
votes
0answers
15 views

Is there an expression for $\exp\left(t z^{i}\partial_{z}^{j} \right) f(z) = $?

Does an expression for $$ \exp\left(t z^{i}\partial_{z}^{j} \right) f(z) = ? $$ exist? For j=1 we have the usual expression for translation and scaling $$ \exp\left( t \partial_z\right) f(z) = ...
1
vote
1answer
46 views

$T\in\mathcal{L}(X,Y)$ maps closed bounded subsets onto closed subsets $\implies$ Range $T$ is closed.

Given two normed spaces $X$ and $Y$ and let $T$ be a bounded linear operator $T:X\to Y$. Assume that $T$ maps bounded and closed subsets of $X$ onto closed subsets of $Y$. Show that the range of $T$ ...
6
votes
1answer
55 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, ...
0
votes
1answer
27 views

Minimum eigen value of this operator valued self-adjoint matrix

Let $H=M \oplus M^{\perp}$ be a Hilbert space and an operator $A$ on $H$ be described with respect to the given decomposition as: $A= \left( \begin{array}{ccc} |z|^{2} & -\bar{z}\langle ...
3
votes
1answer
54 views

Give necessary and sufficient conditions for a multiplication on $L^p$ to be compact

Let $(X, \Omega, \mu)$ be a $\sigma-$ finite measure space and for $\phi \in L^\infty(\mu)$ let $M_\phi:L^p(\mu) \to L^p(\mu)$ defined by $M_\phi f = \phi f $ be the multiplication operator. Give ...
0
votes
0answers
9 views

equivalence of statements involving compact operators

Let T be a compact operator on a hilbert space H.I want to show that the following 2 statements are equivalent. For each $\lambda \in {\bf C} $, let $V_\lambda = \{ x \in H: Tx = \lambda x \}.$ ...
3
votes
1answer
51 views

If $T$ is self-adjoint, is the set of power series in $T$ closed?

If $T$ is a bounded self-adjoint operator on a Hilbert space, is the set of convergent power series in $T$ closed in the norm topology? I ask because I'm reading some spectral theorems and I was ...
0
votes
2answers
43 views

Is an Invariant set Connected?

Let an autonomous dynamical system is characterized by the state equation $$ \dot x(t) = f(x(t)),\quad x(0)=x_0 $$ with state $x(t)\in \mathbb R^n$. The definition of invariant set, as I came across, ...
0
votes
0answers
16 views

Solution set of linear operator equations

Suppose $\mathcal{X}$ and $\mathcal{Y}$ are two Hilbert spaces. Let $A:\mathcal{X} \mapsto \mathcal{Y}$ be a bounded linear operator. Consider a linear operator equation $Ax=b$. My question is what ...
2
votes
1answer
21 views

$\sup$ norm of a function

The following is an example of Murphy's C*-algebras and operator theory: I do not know how he concludes $$\int_0^1 |k(s,t) - k(s',t)||f(t)| dt \leq \sup|k(s,t) - k(s',t)|||f||_\infty$$ Please help ...
0
votes
1answer
39 views

Periodic Laplace operator non closed in $ C^2(0,L)$

How can I show that the Laplacian operator is not closed in the domain $D=\{f \in C^2(0,L) \mid \mbox{ f is vanishing in a neighborhood of 0 and L } \}$ for a fixed $L$? And how can I show that it is ...
3
votes
1answer
56 views

Integral operator on $L^p$ is compact

Let $(X,\Omega,\mu)$ be an arbitrary measure space, $1<p<\infty$ , and $\frac{1}{p}+ \frac{1}{q} = 1$. If $k:X. X\to \Bbb C$ is an $\Omega.\Omega-$ measurable function such that $$M = [\int ...
0
votes
0answers
37 views

Shrinkage operator for matrices

Here http://web.stanford.edu/~boyd/papers/pdf/prox_algs.pdf, on page 188, you can see the derivation of the soft thresholding operator or shrinkage operator for the case of vectors using Moreau ...
2
votes
2answers
78 views

A matrix $G$ with all eigenvalues with nonzero real part. Then $t\mapsto |\exp(tG)x |$ is unbounded

I am trying to see why this is true. A book I am reading has this claim without any verification and I'm trying to see why it is true. Let $G$ be an $n\times n$ matrix all of whose eigenvalues have ...
0
votes
0answers
27 views

Given a block-form contraction operator $X$, can we write $I-XX^*$ as $PP^*$ with a nice block form of $P$?

Suppose the operator $$X = \begin{pmatrix} A & B \\ C & D \end{pmatrix}$$ is contractive, where $A, B, C$ and $D$ are themselves bounded operators, then we know that $I - XX^* = PP^*$ for ...
1
vote
0answers
16 views

What is the closest self-adjoint (positive) operator to a given operator?

Given an operator $\rho$ on a Hilbert space $H$, is there a notion of nearest self-adjoint (positive) approximation of $\rho$ for a suitable norm? More specifically, does there exist an algebraic ...
1
vote
1answer
57 views

Riesz Functional Calculus vs. Holomorphic Functional Calculus

"Functional calculus" is a word used to describe the practice of taking some functions or formulas defined on complex numbers, and apply them in some way to certain kinds of operators, despite that ...
0
votes
0answers
16 views

relation between eigenvalues of two integral operators with kernels K and K^2

Let $(\mathcal{K}_1 f)(x) = \int_T K(x,y)f(y)dy$ be an integral operator with eigenvalues $\lambda_1 > \lambda_2 > ...$ and eigenfunctions $\phi_1, \phi_2 , ...$. Suppose $K$ is a Mercer kernel, ...
0
votes
0answers
33 views

Firm non-expansiveness in the context of proximal operators

$\newcommand{\prox}{\operatorname{prox}}$ Probably the most remarkable property of the proximal operator is the fixed point property: The point $x^*$ minimizes $f$ if and only if $x^* = \prox_f(x^*) ...
0
votes
0answers
29 views

Question about the Averson's proof of the bicommutant theorem.

In the Averson's proof of the bicommutant theorem is proved that, if $A$ is a self-adjoint algebra of operators with trivial null space and $T \in A''$, for every $\epsilon>0$, $n=1,2..$ and every ...
1
vote
1answer
37 views

Lipschitz constants of projections

Consider two compact sets $A, B \subset \mathbb{R}^n$. Assume that the projection mappings $P_A: \mathbb{R}^n \rightarrow A$, $P_B : \mathbb{R}^n \rightarrow B$ have Lipschitz constant $1$ and $L$, ...
1
vote
0answers
62 views

Dual norm of the matrix L1 norm is infinity norm (and vice versa)

Recall that for a given norm $\|\cdot\|$ on $\mathbb{R}^n$, the dual norm is defined as a function $\|\cdot\|_*: \mathbb{R}^n \rightarrow \mathbb{R}$ with: $\|y\|_* = \max \limits_x \{x^Ty: \|x\|\le1 ...
10
votes
1answer
95 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 ...
0
votes
0answers
29 views

Fixed point of projected operator

Let $X \subset \mathbb{R}^n$ be a compact convex set and let $f: X \rightarrow X$ be Lipschitz continuous and such that $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \leq 0 $$ for all $x, y ...
1
vote
1answer
17 views

Commutant of a set of operators and norm topology.

In the references I have it's remarked that the commutant $S'$ of a set $S$ in $B(H)$, where $H$ is a Hilbert space, is closed in the weak operator topology. And this is true because if ...
1
vote
1answer
44 views

Linear operator in $\ell^2$

Let $A \colon \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z})$ be the linear operator defined by $\left( Ax \right)_k = \sum_{i \in \mathbb{Z}}a_{ki}x_i$, where $a_{ki} = 1/(k-i)^2$ if $k \neq i$ and ...
0
votes
1answer
27 views

Proof of operator norm with the equality of involution

Given the equality $$\|A^*A\| = \sup_{\| x \| = \| y \| = 1} | (Ax, (A^*)^*y) | $$ How do show that it is equal to $\|A\|^2$ Is it by using Cauchy Schwartz inequality such that $(x, y) \leq ...
0
votes
1answer
25 views

Continuous extension of differential operator to sobolev spaces

If $T$ is an differential operator of order $k$ from $\mathbb{C}$-vector bundle $E$ to $F$ over a compact differential manifold $X$. Question: how can we extend it to a continuous linear map between ...
0
votes
2answers
63 views

Existence of a semigroup of bounded operators which is not $C_0$

Let $X$ be any Banach space. Then we can define a $C_0 $ semi group of bounded operators on $X$. But my question is that can we define a semi group of bounded operators which is not $C_0$?
2
votes
2answers
39 views

Boundedness of Volterra operator with Sobolev norm

Consider the subspace of $C^\infty([0,1])$ functions in the Sobolev space $H^1$. I want to know whether the Volterra operator \begin{equation} V(f)(t) = \int_0^t f(s) \, ds \end{equation} is bounded ...
2
votes
0answers
52 views

$n$th derivative of $f(x)$ using limit definition

After playing around with the limit definition of the derivative for higher order derivatives, I noticed the following odd relationship to determine it for an nth order derivative: Let $F^n=f(x+nh)$ ...
0
votes
0answers
17 views

Duality relation with respect to differential operators

I have the following differential operator $$L^{\pm}h(x,y)=\pm\frac{x}{2}\frac{\partial h}{\partial x}(x,y)\pm\frac{y}{2}\frac{\partial h}{\partial y}(x,y)+\frac{1}{2}\frac{\partial^2 h}{\partial ...
0
votes
0answers
15 views

Coordinate Change Operator

Let $ f: \mathbb{R} \rightarrow \mathbb{R} $ be analytic. Recall that for $ h \in \mathbb{R} $, the translated function $ \tilde{f} (x) = f(x+h) $ can be formally written as $ \tilde{f} = e^{ h ...
0
votes
0answers
38 views

Show there exists a unique solution to $-u''(x)+\lambda \int^1_0 \sin(u(y))dy =f(x)$

Let $\lambda\in (-1,1)$. Show that for every $f\in C[0,1]$ there exists a unique solution $u\in C[0,1]$ to $$-u''(x)+\lambda \int^1_0 \sin(u(y))dy =f(x)$$ With $u(0)=u'(1)=0$. My work thus far: ...
2
votes
1answer
30 views

Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
2
votes
0answers
84 views

Spectrum of $Tu=\int^1_{-1} (1-|x-y|)u(y)dy $

Consider the operator $$ Tu(x)=\int^1_{-1} (1-|x-y|)u(y)dy $$ We want to find the spectrum of $T$. The kernel is certainly bounded and so this operator is Hilbert-Schmidt, so $T$ is compact. We ...
1
vote
1answer
71 views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
1
vote
1answer
64 views

Condition on the kernel of the integral operator to belong to the trace class?

Let $\mu$ be a finite compactly supported Borel measure on the real line. Consider the integral operator $K$ on $L^2(\mu)$, $$ (Kh)(x)=\int h(y)k(x-y)\, d\mu(y), $$ where $k$ is a fixed function. ...