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
0answers
7 views

Is there a form that approximates arbitrary linear operators on continuous functions?

I was wondering if there was any operator form that was dense in the set of linear operators $B$ mapping $C(a,b) \to C(c,d)$. I thought that maybe integral transforms may be a general form; that is ...
2
votes
1answer
41 views

Why are “not bounded” operators not everywhere defined?

Let $X, Y$ be Banach spaces, $\mathcal{D}(T)$ a subspace of $X$, and $T\colon X\to Y$ a linear map. Such a $T$ is commonly called an unbounded linear operator, where unbounded just means that the ...
0
votes
0answers
13 views

Question about eigenvalue problem of a selfadjoint operator.

Let $x=(x_1,x_2)$, and let $X_m$ denote the space of homogeneous polynomial vector fields on $\mathbb{R}^2$ of degree $m$. For example if $m=2$ a vector field $U\in X_2$ is of the form $$ ...
1
vote
1answer
26 views

An exercise about the positive operator

Here is an exercise in functional analysis: An operator $T$ on Hilbert space is positive is positive if and only if all compressions by finite-rank projections ($P_{n}TP_{n}$ for any $n$) are ...
4
votes
0answers
65 views

When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
1
vote
0answers
10 views

Show that $T:X\rightarrow X$ is chaotic iff every finite family of nonempty open sets shares a periodic orbit.

Here is a problem from Grosse-Erdmann and Peris' Linear Chaos book that I am trying to solve. Exercise 1.3.4. Show that $T:X\rightarrow X$ is chaotic iff every finite family of nonempty open sets ...
1
vote
1answer
26 views

Continuous spectral theorem example

The spectral theorem can be explicitly expressed for an hermitian matrix by providing its eigen decomposition. In the more general case of a bounded self-adjoint operator with a continuous spectrum, ...
1
vote
2answers
63 views

Exercise 23 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 23 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 198). Any help will be much appreciated. Thank you in advance. Suppose $\{T_k\}$ is a collection of bounded ...
1
vote
1answer
21 views

Extending mappings on simple tensors

Consider the following situation: Let $H, K$ be Hilbert spaces and let $\Phi$ be some mapping defined on simple tensors in $H\otimes K$ taking values in $B(H\otimes K)$ with the property that each ...
1
vote
3answers
51 views

Basis of eigenfunctions in Banach space

I have a question about proving the existence of a basis of eigenfunctions. Assume we have a compact operator $L:\mathcal{B}\rightarrow\mathcal{B}$, where $\mathcal{B}$ is a Banach space of analytic ...
2
votes
1answer
57 views

Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

The following problem shows that $\{e^{inx}\}_{n \in \mathbb{Z}}$ is an orthonormal basis of $L^2([-\pi, \pi])$. It is taken from [1] (exercise 31 of chapter 4: "Hilbert Spaces: An Introduction", pp. ...
2
votes
2answers
82 views

Exercise 34 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 34 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 201): Let K be a Hilbert-Schmidt kernel which is real and symmetric. Then, as we saw, the operator $T$ whose ...
1
vote
0answers
36 views

Problem 8 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein and Shakarchi's Real Analysis

The following is problem 8 from chapter 4 ("Hilbert Spaces: An Introduction") of Stein and Shakarchi's Real Analysis. Suppose $\{t_k\}$ is a collection of bounded operators on a Hilbert space $H$. ...
0
votes
0answers
23 views

Relation between two spectra

This seems like an easy enough computation but I'm stuck! Let $X \in B(H)$ for a Hilbert space $H$ such that $X^{2}=0$, but $X\neq 0$. With respect to the decomposition $H=\text{ker}X \oplus ...
2
votes
1answer
49 views

Quantum translation operator

Let $T_\epsilon=e^{i \mathbf{\epsilon} P/ \hbar}$ an operator. Show that $T_\epsilon\Psi(\mathbf r)=\Psi(\mathbf r + \mathbf \epsilon)$. Where $P=-i\hbar \nabla$. Here's what I've gotten: ...
3
votes
1answer
21 views

Operator norm and Hilbert Schmidt norm

I'm looking for a proof of \begin{equation} ||T||\leq ||T||_{HS}, \end{equation} for which it is sufficient to show \begin{equation} ||Tx|| \leq ||x|| \cdot ||T||_{HS} \forall x\in H, x\not=0 ...
0
votes
1answer
28 views

bounded linear operators is B(X,Y) is complete if Y is complete

QUESTION#1 is why he required that the space Y is complete not only the range of the operators is complete? QUESTION#2 In the proof of this theorem : i take a cauchy sequence {Tn} from B(X,Y) and ...
3
votes
1answer
83 views

Question about proof of Browder, Minty Theorem

Could someone please assist with the following question: In the following SET OF NOTES, I am interested to know how the author obtains "By Lemma 1.11, the Galerkin equations (2.5 has a solution ...
0
votes
0answers
26 views

How to show an operator is invertible?

How to show an operator is invertible in an abstact setting? I only know that if $\|T\|< 1$ then $I-T$ is invertible. For example: Let $(X_1, \|\cdot\|_1)$ and $(X_2, \|\cdot\|_2)$ be Banach ...
1
vote
0answers
28 views

Intersection of $\ell_p$

Let $\ell_p$ be defined as usual then what can be said about the intersection of $\ell_p$ spaces for i.e. $$\,\,\cap_{p=1}^{\infty}\ell_p\,\,$$
1
vote
0answers
33 views

Given $A_n : X\rightarrow Y$ linear and continuous, for each $x\in X$ $A_n(x) \rightharpoonup A(x)$ in $Y$, is $A$ continuous?

Given $A_n : X\rightarrow B$, a linear and continuous operator between two Banach spaces, for each $x\in X$ $A_n(x) \rightharpoonup A(x)$ in $Y$, is $A$ linear and continuous? My attempt: $A$ ...
3
votes
2answers
33 views

Bounded linear operator commuting with every compact operators

Let $A$ be a bounded linear operator on the Banach space $X$. Assuming that $AK = KA$ for every compact operator $K$, how do I show that $A$ must be a scalar multiple of the identity, i.e., we have $A ...
2
votes
1answer
42 views

Irreducible representations and commutative C*Algebras.

If $A$ is a commutative C*-Algebra then also its representation $\pi(A)$ is commutative, and it's an operator C*-algebra. A representation is said to be irreducible if $\pi(A)$ does not commute with ...
0
votes
0answers
25 views

Solution of nonhomogeneous problem using semigroup of linear operators

Let $X$ be a complex Hilbert space; and let $A:D(A)\subset X \to X$ be a $\mathbb C-$linear operator. Assume that $A$ is self-adjoint(so that $D(A)$ is a dense subset of $X$) and that $A\leq 0$ (i.e., ...
0
votes
1answer
15 views

Perturbation of operators and eigenvalues

Suppose $P\in\mathcal{B}(\mathcal{H})$ is a self-adjoint compact operator. Lets perturb $P$ by multiplying it by a bounded operator $S$ and set $T=PS.$ Then what can be said for the spectrum of $T?$ ...
1
vote
0answers
29 views

functional analysis: show L^1 integral operator has norm 1

I just started my course in functional analysis and have already stumbled across some things I don't understand, which are quite basic :(. In my lecture notes it says: Let $\mu$ be a measure on a ...
6
votes
0answers
196 views

Closest fixed point to a convex set

Consider the compact convex sets $Y \subset X \subset \mathbb{R}^n$, and a Lipschitz continuous function $f : X \rightarrow X$. Assume that $f$ has multiple fixed points. (From Brouwer's theorem, $f$ ...
1
vote
2answers
33 views

Strong closure of a C*-algebra of operators.

In Arveson's book, the Kaplansky density theorem is proved in order to have this corollary: "Let $A$ be a self-adjoint algebra of operators on a separable Hilbert space $H$. Then for every operator ...
-1
votes
1answer
40 views

Prove that $\frac{1}{\phi(D)}c=c\frac{1}{\phi(0)}$

Could someone prove the following? $$\frac{1}{\phi(D)}c=c\frac{1}{\phi(0)}$$ where $D$ is ${\frac{d}{dx}}$ and $c$ is a constant. for example $$\frac{1}{D^4+2D+3}c=c\frac{1}{0+0+3}=\frac{c}{3}$$
2
votes
0answers
23 views

Invariant subspaces and their complements

The following is Exercise 6.4.2 of Conway's Functional Analysis: Suppose $T\in B(X)$ where $X$ is a Banach space. Prove that $M$ is invariant under $T$ if and only if $M^{\perp}$ is invariant under ...
0
votes
2answers
41 views

How find two differential operator $A$ and $B$ such $A\circ \dfrac{d}{dx}=B\circ x$

Question: show that there exists differential operators $A$ and $B$ where $$A=\sum_{k=0}^{n}a_{k}(x)\dfrac{d^k}{dx^k}\neq 0,B=\sum_{k=0}^{n}b_{k}(x)\dfrac{d^k}{dx^k}\neq 0$$ ...
2
votes
1answer
44 views

Compactness of an operator on $c_0$ in terms of its infinite matrix representation

Let $A\in {\cal B}(c_0)$ (${\cal B}(c_0)$ is linear bounded operators on $c_0$) and for $n\geq 1$, define $e_n \in c_0$ by $e_n(m)=\delta_{nm}$. Put $\alpha_{nm}=(Ae_n)(m)$ for $n,m\geq 1$. we have $M ...
0
votes
0answers
15 views

Composition operator of a non-analytic function

I recently came across a problem that can be reformulated in simple terms involving the composition operator $$ C_g\colon X \to X, \quad f \mapsto f \circ g $$ for functions $$ f,g\colon \mathbb{C} ...
1
vote
1answer
30 views

self-adjoint operator without eigenvalues?

I have a self-adjoint operator $d$ which acts on vector fields defined on $\mathbb{R}^n$. I am interested on its eigenvalues. That is, I study the equation $d(X)-\lambda X=0$. I have found that if ...
0
votes
0answers
35 views

Exercise of direct sum of operators: could someone please check my work

I tried to do this exercise and was wondering of someone could please read my work and tell me if it is correct: Let $u: X \to Y$ and $u': X' \to Y'$ be bounded linear operators between Banach ...
1
vote
2answers
72 views

Fourier transform as diagonalization of convolution

I've read this in a lot of places but never quite got how this is true or meant. Let's say we have a convolution Operator $$ A_f(g) = \int f(\tau)g(t-\tau)d\tau $$ and apply it to $g(t)=e^{ikt}$. ...
1
vote
1answer
69 views

Intuitive meaning of the exponential form of an unitary operator

I'm an undergraduate student in Chemistry currently studying quantum mechanics and I have a problem with unitary transformations. Here in my book, it is stated that Every unitary operator ...
1
vote
1answer
29 views

If $T$ is topologically transitive and $X$ is separable and complete then there exists a dense set of points with dense backward orbits.

I am trying to solve exercise 1.2.7 from Grosse-Erdmann and Peris' book Linear Chaos. It is stated as follows: Let $T:X\rightarrow X$ be continuous on a separable and complete metric space $X$ ...
0
votes
0answers
15 views

Is there an expression for $\exp\left(t z^{i}\partial_{z}^{j} \right) f(z) = $?

Does an expression for $$ \exp\left(t z^{i}\partial_{z}^{j} \right) f(z) = ? $$ exist? For j=1 we have the usual expression for translation and scaling $$ \exp\left( t \partial_z\right) f(z) = ...
1
vote
1answer
34 views

$T\in\mathcal{L}(X,Y)$ maps closed bounded subsets onto closed subsets $\implies$ Range $T$ is closed.

Given two normed spaces $X$ and $Y$ and let $T$ be a bounded linear operator $T:X\to Y$. Assume that $T$ maps bounded and closed subsets of $X$ onto closed subsets of $Y$. Show that the range of $T$ ...
6
votes
1answer
54 views

Compactness of the Volterra opelator

The Volterra operator is given as \begin{eqnarray} (Vf)(x)=\int_0^xK(x,y)f(y)\,{\rm d}y. \end{eqnarray} By the Arzelà–Ascoli theorem, $V\colon C^0[0,1]\rightarrow C^0[0,1]$ is compact operator. But, ...
0
votes
1answer
25 views

Minimum eigen value of this operator valued self-adjoint matrix

Let $H=M \oplus M^{\perp}$ be a Hilbert space and an operator $A$ on $H$ be described with respect to the given decomposition as: $A= \left( \begin{array}{ccc} |z|^{2} & -\bar{z}\langle ...
3
votes
1answer
53 views

Give necessary and sufficient conditions for a multiplication on $L^p$ to be compact

Let $(X, \Omega, \mu)$ be a $\sigma-$ finite measure space and for $\phi \in L^\infty(\mu)$ let $M_\phi:L^p(\mu) \to L^p(\mu)$ defined by $M_\phi f = \phi f $ be the multiplication operator. Give ...
0
votes
0answers
8 views

equivalence of statements involving compact operators

Let T be a compact operator on a hilbert space H.I want to show that the following 2 statements are equivalent. For each $\lambda \in {\bf C} $, let $V_\lambda = \{ x \in H: Tx = \lambda x \}.$ ...
3
votes
1answer
47 views

If $T$ is self-adjoint, is the set of power series in $T$ closed?

If $T$ is a bounded self-adjoint operator on a Hilbert space, is the set of convergent power series in $T$ closed in the norm topology? I ask because I'm reading some spectral theorems and I was ...
0
votes
2answers
40 views

Is an Invariant set Connected?

Let an autonomous dynamical system is characterized by the state equation $$ \dot x(t) = f(x(t)),\quad x(0)=x_0 $$ with state $x(t)\in \mathbb R^n$. The definition of invariant set, as I came across, ...
0
votes
0answers
15 views

Solution set of linear operator equations

Suppose $\mathcal{X}$ and $\mathcal{Y}$ are two Hilbert spaces. Let $A:\mathcal{X} \mapsto \mathcal{Y}$ be a bounded linear operator. Consider a linear operator equation $Ax=b$. My question is what ...
2
votes
1answer
20 views

$\sup$ norm of a function

The following is an example of Murphy's C*-algebras and operator theory: I do not know how he concludes $$\int_0^1 |k(s,t) - k(s',t)||f(t)| dt \leq \sup|k(s,t) - k(s',t)|||f||_\infty$$ Please help ...
0
votes
1answer
38 views

Periodic Laplace operator non closed in $ C^2(0,L)$

How can I show that the Laplacian operator is not closed in the domain $D=\{f \in C^2(0,L) \mid \mbox{ f is vanishing in a neighborhood of 0 and L } \}$ for a fixed $L$? And how can I show that it is ...
3
votes
1answer
52 views

Integral operator on $L^p$ is compact

Let $(X,\Omega,\mu)$ be an arbitrary measure space, $1<p<\infty$ , and $\frac{1}{p}+ \frac{1}{q} = 1$. If $k:X. X\to \Bbb C$ is an $\Omega.\Omega-$ measurable function such that $$M = [\int ...