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
votes
1answer
16 views

norm of integral operator in $C([0,1])$

If we define on $C([0,1])$ the operator $$ Tf(x) = \int_{0}^{1} K(t,s) f(s) ds$$ where $K$ is a continous function on two variables. I want to show that: $1)$ $||T|| = \displaystyle\max_{t} ...
1
vote
1answer
23 views

Proof of equivalent characterizations of compact operators

As an exercise I tried to prove the following theorem: If $X,Y$ are Banach spaces and $u \in B(X,Y)$ is a bounded linear operator then the following are equivalent: (1) $u$ is compact (2) for every ...
0
votes
0answers
11 views

How do I show a left inverse of a bounded linear operator on Banach space?

If $A$ is a bounded linear operator on a Banach space X, with a left inverse $A_l^{-1}$, and P is a projection (also on X), how do I show that $A_l^{-1}P$ is also a left inverse of A (i.e. ...
0
votes
0answers
9 views

Derivation of Euler Lagrange Equation

I was reading on the derivation of the Euler Lagrange Equations (in the link: http://en.wikipedia.org/wiki/Euler%E2%80%93Lagrange_equation focusing on: "Derivation of one-dimensional Euler–Lagrange ...
0
votes
0answers
26 views

Proof about compact operator

I was in the process of proving If $X,Y$ are Banach spaces and $u \in B(X,Y)$ is a bounded linear operator then the following are equivalent: (1) $u$ is compact (2) for $S \subseteq X$ bounded, ...
1
vote
0answers
18 views

Limit of exp of self-adjoint operator

Let $A$ be self-adjoint (possibly unbounded) operator on Hilbert space $\mathcal{H}$. Under what conditions $w-\lim_{t\rightarrow\infty} e^{i A t}=P_0$, where $w-\lim$ - the limit in weak operator ...
-1
votes
1answer
31 views

Need help proving the equivalence of two norms !

Hey I could use alot of help with this problem please! Let (X, <-,->) be a Hilbert space over R. Then, let A: X -> X be a linear operator. Suppose that A is symettric and positive definite. Let ...
0
votes
0answers
14 views

Pseudo-monotone operators research paper question

Hi I just want to know if anyone can see how the result (2.34) is obtained in the following research paper http://caa.epfl.ch/publications/9-Boccardo-Dacorogna1984.pdf. Thanks, I know that it is a ...
0
votes
2answers
26 views

Bijective Bounded Operator Extension: Where do the new elements go to?

Given a dense, proper subset of complete spaces: $$X,Y\text{ both complete and }A\subsetneq\overline{A}=X$$ and an operator between them: $$T:A\to Y\text{ continuous, linear and bijective}$$ Now, ...
2
votes
1answer
29 views

Isometry <=> Adjoint left inverse

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse to }T$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle ...
0
votes
1answer
22 views

Isometry: Adjoint = Leftinverse

Given an isometric operator is it true that its adjoint is necessarily leftinverse? My attempt goes like this: $$\langle x,\mathbb{1}\tilde{x}\rangle=\langle x,\tilde{x}\rangle=\langle ...
1
vote
0answers
27 views

Norm of a projection in $L_p$

Let $\mu$ be a probability measure on $[0,1]$ and let us define the projection $P$ on $L^p(\mu)$: $$P \; \colon f \mapsto \mathbb{E}(f){\bf 1}$$ (where ${\bf 1}$ is the constant 1 function). What is ...
2
votes
1answer
50 views

is this true for Hilbert space direct sum of $H$ when $H$ is infinite dimensional?

Let $(H_{\alpha})_{{\alpha \in I}}$ be a $I-$indexed family of Hilbert spaces over $\mathbb{F}$. let $H=\bigoplus H_\alpha$ be their Hilbert space direct sum. Can we say $\dim ...
0
votes
1answer
17 views

Common eigenvector of a sequence of compact operators

Let $H$ be a separable, infinite-dimensional Hilbert space and suppose we have a sequence of norm-one compact operators $(A_n)$ on $H$ which all have 1 as an eigenvalue. Can we pass to a subsequence ...
1
vote
2answers
18 views

Immediate consequence of the definition of Operator Norm. Explain

||Av|| $\leq$ ||A||$_{op}$||v|| for every v $\in$ V I was wondering why this is true. Wikipedia says it's an immediate consequence of the definition but I just do not follow. I am using the ...
0
votes
1answer
13 views

The index of some perturbation about elliptic operator with Robin boundary condition

Let $I$ be an closed interval $[0, 1]$. $C^{2}(\bar{I})$ is the space of all $C^{2}$ functions on $(0, 1)$ with continuity at boundary and usual maximal norm. $C(\bar{I})$ is the space of all ...
1
vote
1answer
26 views

Positivity of certain matrix

Let $A=[[a_{ij}]]$ and $B=[[b_{ij}]]$ be two positive semi-definite matrices of same dimensions. Further they have a property that, if $a_{ij}=0$ then $b_{ij}=0$ (i.e. the nonzero entries appear in ...
1
vote
0answers
12 views

Showing a particular integral operator is trace class

Let $f$ and $P$ be continuous, integrable functions $\mathbb{R} \to \mathbb{C}$ vanishing at $\pm \infty%$. Concisely, $f,P \in C_0(\mathbb{R}) \cap L^1(\mathbb{R})$. Also, assume that $P$ is ...
1
vote
2answers
65 views

Why does exponentiating the derivative yield the shift operator?

If we formally exponentiate the derivative operator $\frac{d}{dx}$ on $\mathbb{R}$, we get $$e^\frac{d}{dx} = I+\frac{d}{dx}+\frac{1}{2!}\frac{d^2}{dx^2}+\frac{1}{3!}\frac{d^3}{dx^3}+ \cdots$$ ...
1
vote
1answer
20 views

Integral's limit

Let $X$ be a Banach space and $A$ is a linear bounded operator on $X$. It is well known that for $|\lambda|> \|A\|,$ we have $$\|(\lambda I - A)^{-1}\| \leq \frac{1}{|\lambda|-\|A\|}.$$ Now, let ...
2
votes
1answer
30 views

The image of an bounded and linear operator between two banach spaces is closed if the image is finite codimension?

So here is my problem, I would like to prove the following, Let $X,Y$ be Banach-Spaces and $T:X\rightarrow Y$ a linear and bounded operator. Then $TX$ is closed if it is of finite codimension i.e ...
4
votes
0answers
65 views

How to get a grip on codimensions

I am trying to find a proof for the following problem: Let $X,Y$ be Banach spaces $A,B:X \rightarrow Y$ are bounded linear operators and $Ran(A)$ is closed. If $\left \| Bx\right \|<\left \| ...
2
votes
1answer
21 views

Fast argument to see that the dual map of a projection is a projection

If $X$ is a Banach space and $U,V$ are closed subspaces, such that $X \cong U \oplus V$, then a continuous linear map $P:X \rightarrow X$ is called a projection if $P|_U =id$ and ker(P)=V. Now we ...
1
vote
0answers
18 views

Conjugating an operator with a gauge transformation; how is the kernel affected.

For the differential operator $$ D := i I \frac{d}{dx} + A(x) \colon C^\infty_T([0,\beta]),\mathbb{C}^m) \to C^\infty_T ([0,\beta],\mathbb{C}^m) $$ where $A(x)$ is Hermitian and $C^\infty_T ...
0
votes
0answers
94 views

Spectral properties in Hilbert Space

If $X$ is a Hilbert space, then prove that $$σ(T^*)=\overline{σ(T)}\hspace{2cm}\text{and}$$ $$[R_\lambda(T)]^*=[R_\overline{\lambda}(T)]\hspace{1cm}\text{for all $\lambda\in\rho(T)$ ,}$$ where ...
1
vote
1answer
55 views

Show that any compact set in $\mathbb{C}$ is the spectrum of an operator.

I have been looking around for an example of a general continuous (bounded) linear operator, who's spectrum is any compact set $K\subset\mathbb{C}$. I have seen an example, where we take the set ...
0
votes
0answers
19 views

Confusion with proving that some subspace of a Banach-Space is closed

So here is my problem, I am trying to show that, Let $X,Y$ be Banach-Spaces and $T:X\rightarrow Y$ a linear and bounded map. Then $T(X)$ is closed if $Y/T(X)$ is of finite dimension. While ...
2
votes
1answer
32 views

Equivalent conditions for composition to be compact operator

I did some exercises in Conway's functional analysis book and found the following problem: Let $\tau:[0,1]\to [0,1]$ be continuous and define $A:C[0,1]\to C[0,1]$ by $Af:= f\circ \tau$. Give ...
2
votes
1answer
12 views

Unitary transformation between complete and orthonormal bases

I'm using the Dirac notation for vectors here, since this is a quantum mechanics question. Suppose the complete orthonormal bases $\{|\psi_n\rangle\}$ and $\{|\psi{'}_n\rangle\}$ are related by the ...
1
vote
0answers
23 views

Smoothness of solutions to Fredholm integral equation

Let $K(x,y)=k(|x-y|)$ where $k$ is continuous on $(0,1]$, and assume function $f\in L^2[0,1]$ satisfies $f(x)=\int_0^1 f(y)K(x,y)dy$. Is $f$ necessarily $C^\infty $ ? under what condition on kernel ...
0
votes
0answers
16 views

Perturbation of resolvent

Let $H$ be a Hilbert space.$A$ is densely defined closed operator and $B$ is $A$-bounded:$||Bx||\leq a||Ax||+b||x||$.Let $\lambda\in\rho(A)$,such that ...
0
votes
1answer
27 views

Solving the equation $z=\sum_i \alpha_i \exp(-\|x_i-z\|^2)x_i$

For $i=1,\dots,M$ vectors $x_i\in\mathbb{R}^N$ and scalars $\alpha_i$, can you find a vector $z$ satisfying the equation $z=\sum_i \alpha_i \exp(-\|x_i-z\|^2)x_i$? Any pointers will also be ...
0
votes
1answer
19 views

Images of unitaries

Let $n\geqslant 0$. Suppose that $U$ is a unitary matrix in $M_n$ and there are two unital ${}^\ast$-homomorhpisms $\pi_1\colon M_n\to A, \pi_2\colon M_n \to B$, where $A,B$ are C*-algebras such that ...
1
vote
1answer
47 views

Question about the essential spectrum of a negative difinite operator

please on an infinite dimensional Hilbert space how to difine the essential spectrum of an operator which is negative definite ??? Please help me Thank you.
0
votes
0answers
15 views

Domain of the quantum free Hamiltonian in 1D

Consider the quantum free Hamiltonian $H_0 =-\frac{d^2}{dx^2}$ (the Laplacian on the real line). I want to show that it is (essentially) self-adjoint in its domain of definition. The usual approach ...
0
votes
0answers
13 views

Orthogonality Condition Eigen Functions of Sturm-Liouville Operator

I was wondering if anyone could help to derive the orthogonality condition $$\int^b_a y_n(x)y_m(x)w(x)dx=\delta_{nm}$$ of the normalised eigenfunctions (denoted by $y_n$ with eigenvalues $\lambda_n$) ...
0
votes
0answers
37 views

H P S class operators and their inequalities

First few definitions: $A \in I(K)$ iff $A$ is isomorphic to some member of $K$ $A \in S(K)$ iff $A$ is a subalgebra of some member of $K$ $A \in H(K)$ iff $A$ is a homomorphic image of some ...
2
votes
1answer
48 views

Inequality of Class operators H S and P

First few definitions: $A \in I(K)$ iff $A$ is isomorphic to some member of $K$ $A \in S(K)$ iff $A$ is a subalgebra of some member of $K$ $A \in H(K)$ iff $A$ is a homomorphic image of some ...
1
vote
2answers
23 views

About locally convex space

Is a Banach space a locally convex space? Why? Recall A locally convex space is a linear topological space in which the topology has a base consisting of convex sets.
0
votes
0answers
24 views

About inverse of an operator

Let $ X_{p}:= L_{p}([-a,a]\times[-1,1], dxdv), (a>0,\, 1\leq p<\infty)$ and the operator $$\left\lbrace \begin{array}{l} S :X_{p} \rightarrow X_{p} \\ \qquad \psi \mapsto ...
0
votes
1answer
41 views

A question about utilizing Hahn-Banach theorem

There is a quotation below: Let $A$ be a Banach space, $\mathbb{B}(A)$ be the space of all bounded linear maps from $A$ to $A$ and $C\subset \mathbb{B}(A)$ be any convex set. If a net ...
0
votes
0answers
11 views

Domains of operators defined by quadratic forms

Consider a separable Hilbert space $H$. Say we have two lower-bounded, densely defined quadratic forms $a$ and $b$ with respective domains $D[a],D[b] \subset H$ such that $D[b] \subset D[a]$ ...
2
votes
0answers
21 views

Space of operators on function

Consider the following space of operators on function of $n$-variables $A= Span \{x_ix_j\ , x_i \frac{\partial}{\partial x_j} , \frac{\partial^2}{\partial x_i \partial x_j} , i,j=1,2,\cdots,n\}$. ...
0
votes
1answer
38 views

Composing Projections on a Hilbert Space

Let $P,Q$ be projections on a Hilbert space such that $PQ$ is a projection. I have been able to prove that $PQ=QP$. I want to show that $ker(PQ)$ is contained in $ker(P)+ker(Q)$. If there's a ...
1
vote
2answers
34 views

An approximation question on projections

Suppose $\{p_i\}_{i=1}^{m}$ are projections in the d by d matrix algebra $A$ over the complex numbers and satisfy the following condition: $||Id-\sum_{i=1}^m{p_i}||_2<c$, $||p_ip_j||_2<c, ...
0
votes
0answers
46 views

Self adjointness for functionals

I have posted this question already in the physics forum, but actually nobody could help. I am sorry, this question is related to quantum field theory. The Schrödinger equation of a free scalar field ...
-1
votes
1answer
32 views

Composition property of the functional calculus

Prove from the spectral theorem for normal operators $T$ that for bounded borel functions $f,g$ we have $f{\circ}g(T)$=$f(g(T))$.
0
votes
2answers
70 views

Proving this operator is not closed

I was looking for an example of an operator on a Hilbert space which is not closed. This is what I have done so far, but am not sure if the proof is alright. Consider $H=L^{2}[0,1]$ and $T$ defined ...
3
votes
2answers
42 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
2
votes
0answers
16 views

Transforms with $O(N \log N)$ Complexity

Beside the Discrete Fourier and Walsh-Hadamard operators, are there any non-trivial, bijective operators that admit an evaluation algorithm of $O(N \log N)$ time complexity or better, whose inverses ...