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

2
votes
1answer
137 views

Maximal monotone operator without convex domain?

I'm looking for an example of a (multi-valued) maximal monotone operator $A$ mapping a Banach space $X$ into its dual $X^*$ such that the domain $D(A)=\{x\in X: Ax\neq\emptyset\}$ is not convex. ...
1
vote
1answer
108 views

Multiplication operator has no no eigenvalues

Statement: Let $M_x$ denote the multiplicative operator acting on $L^2([0,1], \, dx)$ by $M_x(f) = xf$. Show that $M_x$ has no eigenvalues Attempt: Let $M_x(f) = xf$ then we should have $M_x(f) = ...
4
votes
1answer
88 views

Compact operator on invariant subspace is compact

Statement: Let $T \in \mathscr{B}(\mathscr{H})$, where $T$ is a compact operator. Let $M$ be a closed invariant subspace of $T$. Show that the restriction of $T$ to $M$ is compact. Attempted Proof: ...
2
votes
1answer
81 views

Convergence Radius: Non-Analyticity

Why is a function certainly nonanalytic at some point on the radius of convergence? I mean considering a power series around somewhere and if theres a power series expansion at every point on circle ...
1
vote
1answer
24 views

A question about states for nonunital $C^\ast$-algebras

Let $\rho$ be a state on a nonunital $C^\ast$-algebra $\cal{A}$, $a\in\cal{A}$ and $\rho(a^\ast a)\neq0$. Define $\rho_a:b\mapsto\rho(a^\ast ba)/\rho(a^\ast a)$. Then $\rho_a$ is a state on $\cal{A}$. ...
0
votes
1answer
31 views

stability of essential spectra

Let $X$ be a Banach space. $A$ and $B$ are linear closed and densely defined operators and $\lambda\in\rho(A)\cap\rho(B)$ such that $(\lambda - A)^{-1}-(\lambda - B)^{-1}$ is a Frehholm perturbation ...
1
vote
1answer
76 views

Is the composition of monotone operators monotone?

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
6
votes
1answer
81 views

Is the Neumann series a compact operator?

Let $X$ be an infinite dimensional Banach space and $A:X\to X$ be a compact operator with the operator norm $\|A\|<1$. Then $I-A$ is invertible and the Neumann series $$ S_N = \sum_{k=0}^N A^k $$ ...
11
votes
2answers
546 views

Extension and trace operators for Sobolev spaces

Given that $\Omega \subset \mathbb{R}^{n}$ is an open, convex, Lipschitz bounded set. Let $O \subset \Omega$ be open bounded set then consider. $$u_{m} \rightharpoonup^{*} u \text{ in } ...
1
vote
0answers
38 views

$K(X,Y)$ is closed in $B(X,Y)$

I tried to prove that the set of compact operators $K(X,Y)$ is a closed subset of the set of bounded operators $B(X,Y)$ where $X,Y$ are Banach spaces. Please can you tell me if my proof is correct? ...
1
vote
0answers
25 views

Show that $B(X)$ is semisimple for a Banach space $X$ [duplicate]

Show that $B(X)$ is a semisimple Banach algebra, where $X$ is a Banach space. That is, to show that rad $B(X)=\{0\}$, or equivalently, to show $\sigma(AT)={0} \, \forall T\in B(X)\Rightarrow A=0$. I ...
2
votes
1answer
114 views

Exponential of matrices and bounded operators

Let $A$ be a complex $n \times n$ matrix, such that the function $t\mapsto e^{tA}x$ is bounded on $\mathbb{R}$ and nonzero, for some vector $x\in \mathbb{C}$. How can we prove that $\inf_{t\in ...
5
votes
1answer
100 views

Question about Hahn-Banach theorem

Let $(X,\|\cdot\|_1)$ and $(Y,\|\cdot\|_2)$ be normed spaces, and $X\subset Y$. If each $f\in (X,\|\cdot\|_1)^\ast$ extends to a bounded linear functional in $(Y,\|\cdot\|_2)^\ast$ with same norm, ...
3
votes
2answers
108 views

Compact operator on $L^{2}$

Let $K(t,s)$ be a real-valued function of two real variables, and let $T: L^2(a,b) \to L^2(a,b)$ be defined by $(Tf)(t) = \int_{a}^{b} K(t,s) f(s) ds$ where $$K(t,s) = \sum_{j=1}^{n} \phi_{j}(t) ...
2
votes
1answer
396 views

Compact and bounded if and only if $X$ is finite dimensional

I tried to prove the theorem Let $X$ be a Banach space. Then $K(X) = B(X)$ if and only if $X$ is finite-dimensional. Please could someone check my proof? (The implication where $X$ is finite ...
1
vote
1answer
133 views

Show compactness of an operator with Arzelà–Ascoli

We have $K\colon L^{2}(a,b) \rightarrow L^{2}(a,b)$ such that $ Kf(t)=\sum_{j=1}^{n}\phi_{j}(t) \int_{a}^{b} \psi_{j}(S) f(s)ds$ where $\phi_{j} ,\psi_{j} \in L^{2}(a,b)$. We want to show that K is ...
2
votes
0answers
220 views

Compact operators is a linear subspace of bounded operators

Let $X,Y$ be Banach spaces. Let $B(X,Y)$ be the set of bounded linear operators and let $K(X,Y)$ be the set of compact linear operators. I want to prove that $K(X,Y)$ is a vector subspace of ...
1
vote
1answer
545 views

Invertible iff Bounded below and dense range

Statement: Given a Hilbert space $\mathscr{H}$ and $\mathscr{K}$ and a bounded operator $A \in \mathscr{B}(\mathscr{H}, \mathscr{K})$. Show that $A$ is invertible if and only if $A$ is bounded below ...
1
vote
1answer
43 views

Check continuity of linear functionals and find norms

1) $c_{00} \owns (x_n) \mapsto \sum_{n=0}^{\infty} x_n \in \mathbb{K}$ where $c_{00}$ is a space of sequences that are eventually equal to $0$ with sup norm 2) $\ell^\infty \owns (x_n) \mapsto ...
-1
votes
1answer
241 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} ...
2
votes
2answers
403 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
votes
0answers
178 views

Projection and Pseudocontraction on Hilbert space

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
0
votes
1answer
93 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
147 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 ...
1
vote
0answers
36 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
58 views

Need help proving the equivalence of two norms?

Hey I could use a lot of help with this problem please! Let $(X, \langle\,\cdot,\cdot\,\rangle)$ be a Hilbert space over $\mathbb{R}$. Then, let $A\colon X \to X$ be a linear operator. Suppose that ...
-1
votes
2answers
44 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, ...
0
votes
2answers
195 views

Isometry <=> Adjoint left inverse [duplicate]

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse}$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle x,T^*T\tilde{x}\rangle$$ ...
-1
votes
2answers
134 views

Isometric <=> Left Inverse Adjoint

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse}$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle x,T^*T\tilde{x}\rangle$$ ...
2
votes
1answer
88 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
85 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
30 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
109 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
24 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
30 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
40 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 ...
2
votes
2answers
269 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
24 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
172 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
114 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 $Ran(A)$ is closed, and $\dim(\mathrm{Ker}(A))$ or ...
2
votes
1answer
38 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
28 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 ...
2
votes
1answer
133 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
36 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
65 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
41 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
45 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
1answer
28 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
22 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
75 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.