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
1answer
40 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 ...
1
vote
0answers
18 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. But, if you consider a complex Banach space X and a bounded linear ...
4
votes
2answers
78 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 ...
0
votes
0answers
35 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
17 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
32 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
29 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 ...
0
votes
1answer
48 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 ...
2
votes
1answer
54 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 ...
1
vote
2answers
61 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
41 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
0answers
31 views

TT* Duality argument

I am trying to obtain $L^p$ estimate for a system of nonlinear PDE. I do not have $L^2$ to work with for my problem, I heard $TT^*$ argument is useful tool if one wishes to mapp from $L^p$ to $L^p$. ...
0
votes
1answer
10 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
92 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
51 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
18 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
24 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
89 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 ...
0
votes
0answers
13 views

How calculate the adojint in a banach space

Let be $a_{n} \in l_{\infty}$ and define the operator $A : l_{2002}\rightarrow l_{2002}$ by $A:(x_{1},x_{2}, \ldots) \rightarrow (a_{1}x_{3},a_{2}x_{4}\ldots)$ Calculate adjoint $A^{*}$ Im confused ...
5
votes
1answer
168 views
+50

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
71 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
25 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 ...
2
votes
0answers
49 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
93 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
29 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
34 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 ...
2
votes
1answer
23 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
84 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) = ...
2
votes
1answer
61 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
13 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$. ...
0
votes
2answers
44 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 ...
-1
votes
0answers
12 views

Besov space a Banach space.

I know I need only prove that the Besov space is complete. If I show that this is a closed subspace of lp then I'm done. Can anyone help with the details?
2
votes
0answers
18 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)$ ...
1
vote
2answers
39 views

Is it a compact operator?

Let $$C^{1}_{2\pi}=\{u\in C^{1}((0,2\pi),\mathbf{R}^n):u(0)=u(2\pi)\}$$ $$C_{2\pi}=\{u\in C^{0}((0,2\pi),\mathbf{R}^n):u(0)=u(2\pi)\}.$$ $C_{2\pi}$ is equipped with the norm $$\|u\|_0=max|u(s)|$$ ...
0
votes
1answer
76 views

Proof of functional analysis theorem

Can anyone see why it follows that $\Vert u_{j}-u_{l} \Vert^{2} = 2[\Vert u_{j} \Vert^{2}+ \Vert u_{l} \Vert^{2}] - \Vert u_{j} + u_{l} \Vert^{2} = 2[E(u_{j}) + E(u_{l})] - ...
3
votes
1answer
39 views

Norm of self-adjoint operator

i am trying to prove that $\|A\|=\sup_{||x||=1}|\langle x,Ax\rangle|$ for some selfadjoint bounded operator A on a Hilbertspace. Can anyone give me a hint how to prove it.
0
votes
0answers
25 views

Lagrange interpolation operator

What is the Langrange interpolation operator? I have been reading a paper that makes use of it, in gradient recovery, but it did not give a closed form, I believe it has something to do with ...
2
votes
2answers
29 views

Sequence of bounded linear operators implicating Cauchy sequence in $\mathbb K$

Let H be a Hilbert space and $(T_n)_{n \in \mathbb N}$ be a sequence in ${\rm BL}(H)$ (bounded linear operators) such that $(\langle y,T_nx \rangle)_{n \in \mathbb N}$ is a Cauchy sequence in $\mathbb ...
2
votes
1answer
46 views

Elliptic partial differential equations and elliptic operators

I'm starting to study elliptic partial differential equations and I just want to know if there are any connections between the following concepts: An elliptic partial differential equation is given ...
0
votes
0answers
26 views

Operator Equation?

A space of polynomials $\{f_n\}$ is given, where $f_n$ is of degree $n$. The operator $T$ in this space, satisfy the relation $$T^2(f_n)+a_nT(f_n)-f_n=0$$ where $a_n$ is a scalar depending on $f_n$. ...
1
vote
1answer
47 views

Fourier-Transformation of Operator

I have an operator $\hat{L}$ which gives $$\hat{L} f(x) = \lambda \cdot f(x)$$ where $\lambda$ is the eigenvalue. Now I Fourier-Transform my function $f(x)$: $$\mathcal{F}(f)(p) = g(p)$$ Question: ...
1
vote
1answer
35 views

Projecting self-adjoint operator onto closed subspace

Let $H$ be a complex Hilbert space and let $(Q, D(Q))$ be a closed, densely defined, positive semidefinite, Hermitian quadratic form on $H$. (That is, $D(Q)$ is a dense subspace of $H$, $Q$ maps ...
2
votes
1answer
14 views

Lifting a unitary to a partial isometry

What is an example of a unital $C^*$-algebra $A$ and an ideal $I$ such that some unitary element in $A/I$ cannot be lifted to a partial isometry in $A$? Or can it be shown using general properties of ...
4
votes
1answer
72 views

Integral with Dirac Delta

I've to compute this expression $$ \hat{H} = \frac{1}{4}g_2\int d^3R\int d^3r\ \bar{\Psi}(\vec{R}+\frac{\vec{r}}{2})\bar{\Psi}(\vec{R}-\frac{\vec{r}}{2})\left[ \delta(\vec{r})\nabla_{\vec{r}}^2 ...
0
votes
0answers
19 views

Weyl Operators: Discontinuity

Let $\mathcal{A}_{CCR}(\mathcal{H})$ be a CCR algebra over a Hilbert space $\mathcal{H}$. Then the Weyl operators are unitary and therefore $\sigma(W(f))\subseteq \mathbb{S}$ so by the spectral ...
2
votes
1answer
48 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
-1
votes
1answer
36 views

Bogoliubov Transformation

Let $\mathcal{A}_{CAR}(\mathcal{H})$ be a CAR algebra over a Hilbert space $\mathcal{H}$. Consider a linear $S$ and an antilinear $T$ both bounded operators acting on $\mathcal{H}$ satisfying: ...
0
votes
0answers
10 views

Spectral norm of a Hadamard product

Let $F$ be the $n\times n$ DFT matrix, i.e., $F_{i,j} = \exp\left(-\tfrac{2\pi(i-1)(j-1)}{n}\imath\right)$, for $1\le i,j\le n$ and $\imath =\sqrt{-1}$. Futhermore, let $\Vert \cdot\Vert$ and $\circ$ ...
1
vote
1answer
29 views

Operator Tensor Product

Let $S$ and $T$ be bounded operators over a Hilbert space $\mathcal{H}$. Define their tensor product $S\otimes T$ as acting on $\mathcal{H}\otimes\mathcal{H}$ by $S\otimes T(x\otimes y):=Sx\otimes Ty$ ...
1
vote
1answer
23 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentialky selfadjoint if it contains a dense subset of analytic vectors?