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

1
vote
0answers
53 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
35 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
53 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
53 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
26 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
122 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
73 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
268 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
59 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
32 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
94 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
44 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
57 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
44 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
77 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 ...
3
votes
1answer
79 views

Is $AA^*$ and $A^*A$ self-adjoint?

if I have a densely defined closed linear operator $A$ and $A^* = -A$(same domain also closed). Is this sufficient that $AA^*$ and $A^*A$ are proper self-adjoint operators, assuming that we can also ...
0
votes
1answer
43 views

Restriction of an operator on a Banach space

Let $X$ be a Banach space and $A:D(A)\to X$ be an unbounded linear operator such that for all $\lambda>c$ ($c$ some constant), $(\lambda I-A)^{-1}$ exists and is a bounded operator which satisfies: ...
1
vote
1answer
64 views

Domain of densely-defined second derivative operator, and its factorization

Let $$-d_x^2: \{f \in L^2[0,1];f \in AC^1[0,1] , f(0)=f(1)\} \rightarrow L^2[0,1]$$ be the second derivative operator. Here $AC^1[0,1]$ is the space of functions whose first derivative is absolutely ...
2
votes
2answers
77 views

Decomposition of a positive semidefinite self-adjoint operator?

If I have a positive semi-definite self-adjoint operator $H:D(H) \rightarrow L^2$, is it true that there is always a decomposition $H=A^* A$ available? If this is true, what can we say about the ...
1
vote
1answer
103 views

Inverse of operator is not continuous in Banach spaces

Let $X$ be a Banach space. If $A:X\to X$ is an invertible bounded operator (injective, surjective and continuous), then $A^{-1}$ is also bounded. Now can I have an example of an unbounded operator ...
2
votes
0answers
45 views

decomposition of spectrum in case of a Banach algebra

Let $A$ a complex Banach algebra containing a unit $e$. For $x \in A$, you can define the spectrum $\sigma(x)$ and the resolvent set of $x$. However, if you consider a complex Banach space $X$ and a ...
4
votes
2answers
221 views

Spectral theory - continuous spectrum

imagine that I have some differential operator $D$ that is defined on an interval $[a,b]$. Now, assume that we take the boundary conditions in such a way that this operator is self-adjoint. Then, I ...
1
vote
0answers
92 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) ...
2
votes
1answer
31 views

Evaluation of Operator-Valued Function

Hello all; above is my question! :) I've gone through all the way up to the final "and hence deduce that". Up to this point, the question has been fairly straightforward, but I have no idea how to ...
0
votes
0answers
56 views

Why does s = z+1?

What exactly is Laplace transform? motivated me to ask why unit function is $1/s$ by Laplace transform and $1/(1-z)$ by Z-transform? Both seem to be integrals of delta-pulse and secondary integration ...
0
votes
1answer
40 views

Inverse of an operator on two functions

I have the following operator, defined for two twice-differentiable functions $f,g$: $X(f,g):=\frac{(g')^3+fg'f''+g'(f')^2-ff'g''}{g'f''-f'g''}$ This operator has the following property: A curve ...
1
vote
1answer
78 views

Eigenvectors for normal operators and their adjoints

Can someone tell me if this proof is correct? Claim:V is a vector space over the Complex field. $T:V\rightarrow V$ is a normal operator. Then if $v\in V$ is an eigenvector with the eigenvalue ...
1
vote
2answers
41 views

Operator norm with $\inf$

Let $T: V \to W$ be a linear operator. The operator norm is defined as $$ \|T\| = \sup_{v\in V: \|v\|_V = 1} \|Tv\|_W$$ Does $$ \|T\|' = \inf_{v\in V: \|v\|_V = 1} \|Tv\|_W$$ define a norm? I ...
2
votes
1answer
71 views

Is a linear operator on $\ell^2$ defined by the inner product necessarily bounded? [duplicate]

If $a=\{a_n\}\in \ell^\infty(\mathbb{R})$ and $\langle a,x \rangle<\infty$ for all $x\in \ell^2(\mathbb{R})$, (where $\langle a, x\rangle=\displaystyle \sum_{k=1}^\infty a_kx_k$), then is $a\in ...
2
votes
2answers
92 views

If $\|Tv\|=\|T^*v\|$ for all $v\in V$, then $T$ is a normal operator

I have solved a question but I am not sure the last step of the question. If someone can verify it that would be great. Let $V$ be a finite dimensional vector space with complex inner product. Let ...
1
vote
1answer
54 views

Fredholm index for 1-d Schroedinger operator

if I look at a Schroedinger-operator $-\frac{d^2}{dx^2} +V$ on a compact intervall $[a,b] \subset \mathbb{R}$ and I take boundary conditions that this operator is self-adjoint (for example periodic ...
0
votes
1answer
17 views

Question about Neighborhood basis

In the Simon Reed text, after defining the strong operator topology it is said: "A neighborhood basis at the origin is given by the sets of the form $\{S \ | \ S \in \mathcal{L}(X,Y), ...
3
votes
2answers
174 views

Two questions in spectral theory: the spectrum of the Fourier transform and the Hamiltonian of the hydrogen atom.

I have the following two questions: The Fourier transform defines a unitary (provided that it is normalized properly) map $\hat{\cdot}:L^2(\mathbf{R})\rightarrow L^2(\mathbf{R})$. I figured out its ...
1
vote
1answer
58 views

Counterexample of $\text{Null}(T)^{\bot} = \text{Im}(T^{*})$

I know that $\text{Null}(T)^{\bot} = \text{Im}(T^{*})$, where $T^{*}$ means the adjoint operator of a linear operator $T$, holds when the domain of $T$ is finite-dimensional. However, the proof uses ...
0
votes
1answer
24 views

Why does T symmetric imply T* extends T?

This is a result I've seen stated a few times, but I can't seem to come up with a proof! Suppose $T$ is a densely defined linear operator with domain $D(T)\subset H$, where $H$ is a Hilbert space ...
2
votes
1answer
27 views

Definition and analyticity of $T^z$ where $T$ is a positive operator

Let $H$ be a Hilbert space. Suppose that $T\colon D(T) \to H$ is a positive selfadjoint operator where $D(T)$ is the domain of $T$. The spectrum $\sigma(T)$ of the operator $T$ is a subset of ...
1
vote
1answer
147 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...
6
votes
1answer
226 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 ...
2
votes
2answers
105 views

The trace of an operator

My question is derived from A. Deitmar's book: A First Course in Harmonic Analysis (second edition), p22, Exercise 1.17. Let me rewrite it again: Let $k:\mathbb{R}^2 \rightarrow \mathbb{C}$ be smooth ...
1
vote
1answer
27 views

Solutions depending on something continuously

Let $V$ be a a real Banach space, $K \subset V$ a closed convex set, $A: K \rightarrow V^{*}$ a (nonlinear) operator and $F \in V^{*}$. Then the variational inequality is the following problem: find ...
4
votes
0answers
82 views

Trace class operators problem

Let $\mathcal{B}_1(\mathcal{H})$ be the set of trace class operators in a Hilbert space $\mathcal{H}$ and $\mathcal{H}^{(d)} = \bigoplus_{i=1}^d \mathcal{H}$ with $1 \leq d \leq \infty$. If $C \in ...
3
votes
1answer
101 views

Is it true that if $A=BA^{*}A$ then $A^{*}=B^{*}AA^{*}$

I wonder is it true that for any $n \times n$ matrices $A$, and $B$.// If $A=BA^{*}A$ is true, does it imply that $A^{*}=B^{*}AA^{*}$?// I used mathematica to check the condition in 3 by 3 case, and ...
0
votes
1answer
48 views

Show this integral operator is compact for various values of $\alpha$

I am having some problems evaluating a multivariable integral. This question is features in Stakgold's book Green's functions and boundary value problems. page 359. Consider the kernel for $a\leq ...
2
votes
1answer
45 views

A question on linearity of inner product

The linearity of inner product on $(X,\langle.,.\rangle)$ is usually written as $$\langle x+\alpha y,z\rangle = \langle x,z\rangle + \alpha\langle y,z\rangle,\qquad \forall (\alpha,x,y,z)\in R\times ...
1
vote
1answer
38 views

Another proof of the iniectivity of a linear operator

Let $g(x)= \chi_{[-\frac{1}{2}, \frac{1}{2}]}(x) $, and $ T \colon L^2(\mathbb{R}) \longrightarrow L^2 (\mathbb{R})$ , $Tf= g \star f$. I was asked to prove that $T$ is injective, and I succedeed ...
1
vote
3answers
117 views

Particular solution of RE: $u_{n+1} - 2u_n = n^22^n$

Find the particular solution of recorrence equation $u_{n+1} - 2u_n = n^22^n$. I am developing a practical method using operators $E$ e $\Delta$, defined by $E(u_n) = u_{n+1}$ and $\Delta(u_n) = ...
5
votes
1answer
114 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
1
vote
0answers
22 views

Equivalent Gaussian measures

Let $\mu$ be a gaussian measure with eigenpair $\{e_k,2^{-k}\}$ and $\nu$ with eigenpair $\{ Te_k,2^{-k}\}$. Here, $T$ is the unitary operator given by $Tx = x - 2\left\langle x,v \right\rangle v$. ...
1
vote
2answers
94 views

Complete ONS and pure point spectrum

In all that follows all operators are taken to be densely defined on a Hilbert space $H$. Some textbooks state that an operator $A$ on $H$ has pure point spectrum if $H$ admits a complete ONS (Hilbert ...
3
votes
0answers
58 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)$ ...