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

4
votes
2answers
223 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
93 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
58 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
42 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
86 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
93 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
175 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
148 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
84 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
49 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
118 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
120 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
95 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)$ ...
1
vote
1answer
69 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
93 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})] - ...
4
votes
1answer
241 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.
2
votes
2answers
78 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
129 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
30 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
63 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
65 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 ...
3
votes
1answer
58 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
102 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
1answer
34 views

Weyl Operators: Spectrum

Given a CCR-algebra $\mathcal{A}_{CCR}(\mathcal{H})$ over a Hilbert space $\mathcal{H}$. Then the Weyl operators are unitary: $$W(f)^*=W(-f)=W(f)^{-1}$$ Thus, their spectrum lies on the unit circle: ...
2
votes
1answer
74 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
77 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
1answer
110 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 $\odot$ ...
1
vote
1answer
81 views

Tensor Product: Preliminary

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
110 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
1
vote
1answer
61 views

A question on tensor product of $C^{*}$ algebras

Let $A$ and $B$ be two $C^{*}$ algebras. Assume that every element of the minimal tensor product $A\otimes_{min} B$ is a finite linear combination of simple tensors $a\otimes b$. Can we say that ...
0
votes
1answer
155 views

Idempotent operators.

Apologies first. I am a physicist and my notations and rigour is probably lousy. If $P$ is an idempotent operator, $P^2 = P$, $P\neq \mathbb1$ and we have $\forall |\psi\rangle$ the relation, $P.L ...
1
vote
1answer
73 views

Application Closed Graph Theorem to Cauchy problem

Consider $E:=C^0([a,b])\times\mathbb{R}^n$ and $F:=C^n([a,b])$ equipped with the product norms. Consider $$ u^{(n)}+\sum_{i=0}^{n-1}a_i(t)u^{(i)}=f $$ with $$u(t_0)=w_1,\dots,u^{(n-1)}(t_0)=w_n \\ ...
1
vote
1answer
45 views

unbounded self-adjoint operator

Given an operator $T:D_1(T)\subset L^2 \rightarrow L^2$ and the same operator $T:D_2(T) \subset L^2 \rightarrow L^2$, such that the operator is both times self-adjoint and closed, with $D_1(T) \subset ...
1
vote
1answer
107 views

Mathieu differential equation

Given the operator $T (\psi)(x):= \psi''(x)-2q \cos(2x)\psi(x)$ with $T : D(T) \subset L^2[0,2\pi] $ I was wondering: What is the right domain $D(T)$ for this operator if we want to solve the ...