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
27 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 ...
0
votes
0answers
10 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
17 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
37 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
73 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
38 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
21 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
28 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
43 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
45 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
34 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 ...
1
vote
1answer
13 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
65 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
17 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
33 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
9 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
28 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?
1
vote
1answer
41 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
53 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 ...
0
votes
1answer
53 views

C*-Algebra: Positive Operator

Let $\mathcal{A}$ be a C*-algebra. If $A\in\mathcal{A}$ is a selfadjoint element then $A^*A=A^2$ has positive spectrum since: ...
0
votes
0answers
36 views

How to use the trace theorem to prove that a set is not empty?

Particularly, I would like an explanation of the following application of the trace theorem. Thanks.
0
votes
1answer
33 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
32 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 ...
0
votes
1answer
68 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 ...
1
vote
1answer
38 views

Kadison's Inequality

Let $\mathcal{A}$ be a C*-algebra and $\omega$ a positive linear functional. Is there a simple proof for Kadison's inequality: $$\overline{\omega(A)}\omega(A)\leq\omega(A^*A)$$
0
votes
1answer
71 views

Momentum Operator: Selfadjoint Extensions

This might be a possible duplicate - please let me know if there is already a proof in another thread. Consider the momentum operator on $\mathcal{L}^2[0,2\pi]$: ...
4
votes
1answer
88 views

Proving the spectral theorem for unbounded self-adjoint operators

Let $A$ be (densely-defined) self-adjoint operator on a (complex) Hilbert space $H$. Then, the Cayley transform $U=(A-i)(A+i)^{-1}$ is a unitary operator, and $(A\pm i)^{-1} \in B(H)$. Using the ...
0
votes
1answer
30 views

Unbounded Operators: Notation?

For continuous a.k.a bounded operators we have $\mathcal{B}(X,Y)$ stressing on boundedness and $\mathcal{L}(X,Y)$ stressing on linearity entailing $\mathcal{C}(X,Y)$. Is there a notation for ...
1
vote
1answer
34 views

The spectral projection of a positive operator

Let $T_{n}\in B(H)$ be a positive operator on Hilbert space $H$ and $T_{n}\rightarrow 1_{H}$ in the strong operator topology. Now fix $\delta>0$ and let $P_{n}$ be the spectral projection of ...
3
votes
0answers
63 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
2
votes
1answer
30 views

Approximations of compact operators

Let $(\xi_n)_{n=1}^\infty$ be a sequence in a Hilbert space $K$ convergent to some $\xi$. Suppose we have a compact operator $T$ on $K$ such that $T\xi = 0$. Can we find a sequence of compact ...
0
votes
0answers
36 views

Canonical Forms For Matrices

In the following paper by Wedderburn what are the restrictions on the field $\mathbb F$ or on the linear application $\varphi$ that the author refers to obtain the matrix B? ...
-1
votes
1answer
30 views

Number Operator closable on Fock Space?

In Bratelli Robinson the number operator in Fock space is defined as: $$\mathcal{D}(N):=\{\phi\in\mathcal{F}:\sum_{n=1}^\infty n|\|\phi_n\|<\infty\}\\ N:\mathcal{D}(N)\to ...
4
votes
1answer
43 views

Surjection of norms

Let $V$ be an infinite dimensional $\mathbb{C}$ (or $\mathbb{R}$) vector space. Suppose there exists two norms on $V$ such that \begin{equation*} \| \cdot\|_1 \leq \| \cdot \|_2. \end{equation*} Is ...
0
votes
0answers
12 views

Differential Formula Simplification

Define operators $x,D,1$ by $xf=xf$, $Df=\frac{d}{dx}f=f'$, and $1f=f$. Notice, then that $$(x+D)^nf=\sum_{k=0}^np_k(x)D^kf,\ \ \ \ \ \ \ f\in R[x],$$ for some sequence of polynomials ...
2
votes
2answers
26 views

Bounded, surjective linear operator between Banach spaces

How can I show that for a given surjective linear operator $T: X \to Y$ between Banach spaces, if there exists an $\epsilon > 0$ such that $||Tx|| \geq \epsilon||x||$ for all $x \in X$, then $T$ is ...
0
votes
0answers
27 views

A puzzling derivation about the expectation of [$\hat{X}$, $\hat{H}$]

a free particle of mass $m$, with Hamiltonian $\hat{H} = \frac {\hat{P}^2} {2m}$, where $\hat{P} = -i \hbar \frac{\partial} {\partial x}$. The commutative relation is given by $[\hat{X}, \hat{H}] ...
4
votes
1answer
51 views

Convergence of operator

I would like to know how to solve the following problem (since I didn't manage to solve it on today's exam): Let $A_h:L^1(a,b)\to L^1(a,b)$ be defined: $$A_h f(x)=\frac{1}{h}\int_x^{x+h} g(t) dt,$$ ...
0
votes
0answers
18 views

Question about the norm of the bounded inverse of a closed operator

Suppose $A$ is a closed operator (not necessarily bounded) in a Banach space $X$ with bounded inverse $A^{-1}$. Suppose $\mu>\frac{1}{\|A^{-1}\|}$. The question is to show the existence of a vector ...
0
votes
2answers
38 views

Spectrum of a bounded operator $T$ satisfying $T^n=I$

Let $\mathcal{H}$ be an infinite dimensional Hilbert space, suppose $T\in \mathcal{B}(\mathcal{H})$ is a bounded operator and suppose that $n$ is the smallest natural number so that $T^n=I$. Let ...
1
vote
0answers
40 views

Find the adjoint operator.

Consider the sequence space $\ell_p$ and S defined by $(1\leq p<\infty)$$$ S:\ell_p\to\ell_p:(x_1,x_2,x_3,\ldots)\mapsto(0,x_1,x_2,\ldots) $$ Find the $S^*$ operator.
3
votes
2answers
42 views

Computing the norm of operator when space is equipped with sup norm and $L^1$ norm

Let $\phi $ be the linear functional $\phi (f)=f(0)-\int^1_{-1}f(t)\:\mathrm{d}t$ a.Compute the norm of $\phi$ as a functional on Banach space $C[-1,1]$ with sup norm. b.Compute the of $\phi$ as a ...
4
votes
3answers
82 views

What is a predual of the Banach space of compact operators on $\ell^2$?

I am wondering if the space $K(\ell^2)$ of compact operators on $\ell^2$ can have a predual. Thank you in advance for your help.
1
vote
0answers
37 views

definition of unitary operator

Wiki says " A bounded linear operator $U: H \to H$ on a Hilbert space $H$ is called a unitary operator if it satisfies $U^{*}U=UU^{*}=I$ , where $U^{*}$ is the adjoint of $U$, $I$ is the identity ...
0
votes
0answers
30 views

Using Dirac Delta with functions and derivative operators

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 ...
1
vote
1answer
33 views

Spectral radius of an operator equals its norm

Let $X$ be a Banach space and $A:X\to X$ a bounded operator. We know that the spectrum of $A$ is always included in the ball $B(0,|A|)$ and the spectral radious $r(A)$ is the smalest radius such that ...
0
votes
0answers
39 views

Spectrum of a bounded operator and Liouville's theorem

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We know that the spectrum of $A$ is not empty, because otherwise we find a contradiction by using the holomorphy of the function ...