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

0
votes
1answer
10 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 ...
-1
votes
0answers
16 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
28 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 ...
0
votes
0answers
33 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
16 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
13 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
25 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
26 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
79 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
33 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
50 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. ...
2
votes
0answers
53 views

Proving unitary inequivalence

Concerning a finite dimensional vector space, we can determine whether two matrices are unitarily equivalent or not by depending on some similarity invariants or Specht's theorem. If we consider an ...
0
votes
1answer
35 views

Prove that for a bounded self adjoint operator, $\langle Tx,x\rangle \geq 0$ is equivalent to $\sigma(T)\subset [0,\infty)$

Prove that for a bounded self adjoint operator, the following are equivalent: A: $\langle Tx,x\rangle \geq 0$ B: $\sigma(T)\subset [0,\infty)$ What I have said so far: Since $T$ is self adjoint, ...
1
vote
1answer
32 views

$C^{*}$ algebras positively dominated by finite dimensional algebras

Assume that $A$ is a $C^{*}$ algebra and $B$ and $C$ are two sub $C^{*}$ algebras of $A$ such that: $B$ is finite dimensional algebra. For all positive $c\in C$, there exist a positive $b\in ...
1
vote
1answer
22 views

Convolution operator positive definite?

Let $\mu$ be a compactly supported Borel probability measure on $\mathbb{R}^n$. Consider the convolution operator $T: L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n)$ defined by $$ Tf = f \ast \mu $$ ...
-1
votes
1answer
34 views

Uniqueness for solution of an operator equation on a Hilbert space [closed]

Let $X$ and $Y$ be Hilbert spaces and let $A:X \to Y$ be a continuous linear operator. I want to show that $$Au = 0$$ implies that $u=0$. (I already know $A0=0$). I want to know what kind of tricks ...
4
votes
1answer
44 views

For a Hilbert space $\mathcal{H}$, is every bounded linear operator on $\mathcal{H}$ a linear combination of unitary operators?

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space, and let $B \in \mathcal{B}(H)$ be a bounded linear operator on $H$. If $\mathcal{H}$ is a complex Hilbert space, then $B$ can be written as a ...
2
votes
2answers
44 views

How to show that $e^{tA}=\frac{1}{2\pi i}\int_{\{Re \ \lambda =a\}}e^{\lambda t}(\lambda I-A)^{-1}d\lambda$?

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We can show that if $|\lambda|>|A|$ then $\lambda I-A$ is invertible and $$(\lambda ...
0
votes
1answer
18 views

characterization of unital Fourier multipliers on $L^\infty(\mathbb{R})$?

Does there exist a characterization of Fourier multipliers $T \colon L^\infty(\mathbb{R}) \to L^\infty(\mathbb{R})$ which are unital, i.e. $T(1)=1$? In the case of the torus $\mathbb{T}$, it is easy ...
0
votes
0answers
24 views

Bounding the operator norm of some operators

Let $T:X \to Y$ be an operator between Banach spaces with $Tx:= A(Bx+Cx)$ where $A$, $B$ and $C$ are operators too. Is it possible to find a upper bound of the form $$\lVert{(I+T)^{-1}} \rVert \leq ...
2
votes
0answers
44 views

Sufficient condition for an operator to be compact in Hilbert space of holomorphic function with respect to Gaussion weight (Fock space).

What I read in a book I could not understand, some one please help. Let $\mathcal{F}=\{f:\mathbb{C^n}\rightarrow\mathbb{C}: \text{$f$ is holomorphic and}\int_{\mathbb{C}^n}\lvert ...
1
vote
1answer
46 views

Convergence of square root operators

Let $Q_n$ and $Q$ be compact positive and symmetric operators. Let $A_n = {Q_n}^{\frac12}$ and $A=Q^{\frac12}$. Given $Q_n$ converges to $Q$ w.r.t. operator norm. Does $A_n$ converges to $A$? Thanks. ...
3
votes
0answers
42 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, ...
0
votes
1answer
14 views

Definitions of hemicontinuity

can anyone see the equivalence or relation between the following two definitions of hemicontinuity that I encountered: Assume that $K$ is a closed, convex subset of Banach space $X$. Let $X^{*}$ be ...
1
vote
1answer
25 views

Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
1
vote
1answer
20 views

Problem involving pseudomonotone mappings on Banach space

I have the following question regarding mappings on a Banach space $X$. If anyone has an idea or hint as to how to resolve this question it would appreciated. Let $X$ be a Banach space, $X^{*}$ its ...
2
votes
0answers
62 views

How to express $e^{yS^2}(f(x))$ in closed form where $\frac{d}{dx}=S$

$$ f(x)+\frac{y.f'(x)}{1!}+\frac{y^2 f^{''}(x)}{2!}+\cdots=e^{yS}(f(x))=f(x+y) \text{ where }\frac{d}{dx}=S$$ is a operator $$ f(x)+\frac{y.f''(x)}{1!}+\frac{y^2 ...
1
vote
1answer
24 views

$R\mbox{ is a right multiplier and }R(a)b=a\overset{?}{\implies} A\mbox{ is unital }$

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
1
vote
0answers
13 views

T=T** for densely defined operator T

Suppose that $H_1$ and $H_2$ are Hilbert spaces and $T: H_1 \to H_2$ is a densely defined linear map with closed graph. Show that $T = T^{**}$. (I have shown that such a $T$ has a densely defined ...
2
votes
2answers
29 views

Spectra of operators on different spaces

Can the same operator when defined on two different spaces have different spectra? For example and operator defined on $C_0$ and on $\ell_2$?
1
vote
1answer
37 views

Spectrum of symmetric, non-selfadjoint operator on Hilbert space

I heard that any (unbounded) densely defined and symmetric operator $A: \text{dom}(A)\subset \mathcal{H} \to \mathcal{H}$, which is not selfadjoint, has $\text{spec}( A )= \mathbb{C}$. $\mathcal{H}$ ...
1
vote
1answer
45 views

Spectrum of a finite rank operator

If $ T\in B(H)$ is a finite rank operator, then there are orthonormal vectors $e_1,...,e_n$ and vectors $g_1,...,g_n$ such that $Th=\sum_{i=1}^n (h,e_i )g_i$, then we can easily see that $T$ is ...
2
votes
1answer
45 views

Definition of exponential for operators

if I have a self-adjoint operator $T:D(T) \rightarrow L^2$, then I define its unitary exponential operator by $$e^{iT}(f) := \lim_{k \rightarrow \infty} e^{iT_{k}}(f),$$ where $T_k(f):=\frac{1}{2} ...
1
vote
0answers
45 views

When does an integral operator belong to the Schatten - von Neumann class in terms of its kernel?

It is well known that an integral operator $X: L^2(\mu)\to L^2(\nu)$ with kernel $k(x, y)$ belongs to the Schatten -- von Neumann class $\mathfrak S_2$ if and only if $\int |k(x, y)|^2\, d\mu(x)\, ...
0
votes
1answer
33 views

What is the domain of an operator?

There seems to be a lot confusion on this notion of a domain of an operator $D(A)$ where $A$ is an operator. Can someone use a simple example to illustrate exactly what this is? Say, let $A$ be a ...
1
vote
0answers
43 views

Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$ ||x|| = \sup_{n \in \mathbb N} |\xi_n|. $$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
1
vote
1answer
28 views

Let $A: X \to X$ be a Fredholm operator, then $Ax=y$ has a solution iff $Ax=0$ implies $x=0$?

Let $X$ be a Banach space and let $A: X \to X$ be a Fredholm operator, then $Ax=y$ has a solution iff ($Ax=0$ implies $x=0$)? I can't see how this is implied by the common definitions of Fredholm ...
1
vote
1answer
37 views

Relation between $\epsilon$-pseudospectrum of operators

If $H$ is a Hilbert space and $\sigma_{\epsilon}(T)$ denotes the space of all $\epsilon$-pseudospectrum of the operator $T$ and $S, T\in B(H)$ be such that $TS=ST=0$, why ...
1
vote
2answers
39 views

local inverse of polynomial

Is there a possibility to invert a polynomial locally? I've got the following problem, concerning control theory: Imagine a ideal amplifier with a feedback loop: Let firstly A be not dependent on ...
2
votes
1answer
15 views

Solution sets/ existence and uniqueness of solutions to $Ku-\lambda u=\int^1_0 \frac{x^2}{1+y^3}u(y)dy-\lambda u(x)=f(x)$

Given $$ Ku-\lambda u=\int^1_0 \frac{x^2}{1+y^3}u(y)dy-\lambda u(x)=f(x) $$ A) For what values of $\lambda$ does there exist a unique solution for all $f\in L^2(0,1)$? B) Find the solution set ...
0
votes
0answers
46 views

Generalized Leibniz Rule

Leibniz Rule states that, $$(f\cdot g)^{(m)}(x)=\sum_{k=0}^m \binom{m}{k} f^{(m-k)}(x)g^{(k)}(x).$$ Writing this with differentiation denoted by $D$, we might say $$D^m (fg) = \sum_{k=0}^m ...
1
vote
3answers
57 views

Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
8
votes
2answers
81 views

Ways to calculate the spectrum of an operator

Friends, I am learning some very basic stuff of spectral theory and kind of lost, in some sense. I am trying to find ways to compute the spectra of different operators, when they work and don't work. ...
2
votes
1answer
51 views

Maximal subspace on which an operator is bounded

Consider the Banach space $X=C[0,1]$ of real continuous function on $[0,1]$ equipped with the supremum norm. Consider the operator $A:D(A)\to X$, $Af=f'$ for each $f\in D(A)=C^1[0,1]$. We can see that ...
1
vote
0answers
18 views

Are all cyclic representations irreducible?

I know that for a representation $\pi$ of a $^*$-algebra $\mathcal{A}$ on a Hilbert Space $\mathcal{H}$, if $\pi$ is irreducible then it is cyclic. Is the reverse implication also valid - i.e. is ...
0
votes
2answers
43 views

Strongly continuous semigroup of operators which cannot be extended to a group

Let $X$ be a Banach space. We call a family of bounded operators $(T(t))_{t\in \mathbb{R}}$ a strongly continuous group if it satisfies the properties of the strongly continuous semigroup but for ...
1
vote
1answer
30 views

Adjoints in Banach spaces: when does $(A')' = A$?

Let H be a Hilbert space and consider a linear bounded operator $A:H\to H$. The adjoint $A^*\in L(H) $ of A with $\forall x,y\in H:\; \langle Ax,y\rangle_H=\langle x,A^*y\rangle_H$ has the property: ...
2
votes
1answer
41 views

completely bounded maps - convergence

Let $x$ be a completely bounded map between operator spaces $W \subset \mathbf{B}(\mathcal{H})$ and $V \subset \mathbf{B}(\mathcal{K})$, where $\mathcal{H}$ and $\mathcal{K}$ are Hilbert spaces, and ...
2
votes
2answers
40 views

Spectrum of $Tu=\int^1_0 (x+y)u(y)dy$

Given the operator $$Tu(x)=\int^1_0 (x+y)u(y)dy$$ on $L^2(0,1)$, find the spectrum of $T$. For all eigenvalues, find their multiplicities and the eigenfunctions. The kernel is Hilbert Schmidt ...
2
votes
1answer
51 views

Domain of multiplication operator

Edit: This question arose due to a misunderstanding, which has now been resolved. Let $\psi \in L^{2}(\mathbb{R})$ be a continuous function. Let $M_{\psi}$ be the multiplication operator on ...