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

Weak operator topology is the smallest topology on $B(H)$

Show that weak operator topology is the weakest locally convex topology on $B(H)$ such that every $\phi\in F(H)$ is continuous. (F(H) means finite rank operators on $H$). To show it , let $\tau$ ...
1
vote
0answers
48 views

Closed unit ball of $B(H)$ with wot topology is compact

The following is a Theorem of Conway's operator theory: I can not understand how he proves it. I think $\phi(\text{ ball B(H)})$ is compact if $\phi(\text{ ball B(H)})$ is closed subset of compact ...
1
vote
0answers
36 views

weakly continuous linear map

The following is a Theorem of Murphy's C*-algebra and operator theory: To prove the theorem, the author claims compact linear map $u$ is weakly continuous. I know that every bounded linear map is ...
1
vote
0answers
23 views

Extened of a representation

The following is a part of a theorem of Folland's book: Let $X$ be a compact space, $B(X)$ the space of bounded Borel measurable functions on $X$, and $C(X)$ the space of continuous function on $X$. ...
1
vote
0answers
115 views

Commutativity and norms of specific operators (Problem 2.7.10 in Kreyszig's functional analysis book)

This is Problem 2.7.10 from Erwin Kreyszig's Introductory Functional Analysis with Applications. Let $C[0,1]$ denote the normed space of all (real- or complex-valued) functions defined and ...
1
vote
0answers
35 views

Density and Fredholmness

Let $X$ be a Banach Space and $Y$ a dense subset of $X$. An operator $T:X \to X$ is said to be Fredholm if it has closed range, $\dim \ker(T)<\infty$ and $\dim coker(T) < \infty$. Here is my ...
1
vote
0answers
51 views

Can a Local Fractional Differential Operator exist?

Let $f: \mathbb{R} \rightarrow \mathbb{R}$. The derivative of $f$ is defined pointwise, and we say that $f$ is differentiable if the derivative exists in each point. Higher order derivatives are ...
1
vote
0answers
51 views

Definition of nonlinear bounded operator

Hi I am interested in confirming the definition of a bounded operator for a nonlinear operator. Let $X,Y$ be normed spaces. It is well known that a linear operator between $T:X \rightarrow Y$ is ...
1
vote
0answers
14 views

Strong derivative of a compound map

I find the strong Fréchet derivative of $\Phi(h,\psi(h))$, where $\Phi:T_0\times T_\xi\to Y$ with $T_0, T_\xi, Y$ Banach spaces and $\psi:T_0\to T_\xi$ is strongly differentiable in $0$, evaluated in ...
1
vote
0answers
56 views

Boundary conditions Legendre equation

I have Legendre's equation $$L(f)=\frac{1}{\sin(\theta)} \left(- \frac{d}{d\theta} \sin(\theta) \frac{df}{d \theta} \right)$$ Now I know that after substituting $\cos(\theta) =x$ we get a ...
1
vote
0answers
31 views

Point spectrum of a nonlinear operator on finite dimensional space

Given a nonlinear operator $T$ mapping $\mathbb R^n$ into itself, are there any known conditions on $T$ ensuring that the number of points in its point spectrum is upper bounded by the dimension $n$?
1
vote
0answers
49 views

Spectrum of adjoint operator

Let $X$ be a hilbert space and $T\in L(X)$ Show that: (i) $\sigma_c(T^*)=(\sigma(T))^*$ (ii) $\sigma_r(T)=((\sigma_p(T^*))^*)$\ $\sigma_p(T)$ (i): $"\subset"$ Let $\lambda\in\sigma_c(T^*)$ then ...
1
vote
0answers
32 views

tensor products of Banach space

Let $E_{1},\cdots, E_{n}$ be Banach spaces; $n\in\mathbb{N}$ and $\mathbb{R}$ be a real numbers and $E\widehat{\otimes}\mathbb{R}$ be a completion tensor product. We have the fact that ...
1
vote
0answers
50 views

the spectral radius of normal operator

Let $H$ be a Hilbert space and $T$ be linear bounded operator in $H$. Prove that if $T$ is normal then the spectral radius of $T$, $$r(T)=\|T\|.$$ Is this TRUE?
1
vote
0answers
51 views

Green-Operator for Sturm-Liouville Differential equation compact on Sobolev space?

Let $g$ be Green's Function for a Sturm-Liouville differential equation. Is the operator $G: H_{0}^{1}(0,1) \rightarrow H_{0}^{1}(0,1)$ defined by $(Gf)(x) := \int_{0}^{1} g(x,y)f(y) dy, \quad f \in ...
1
vote
0answers
70 views

Understanding dual spaces

My professor asked me to give him an example about dual spaces from our real life so I was thinking if we take the set of all our actions as the space X can the space of all our thoughts be the dual ...
1
vote
0answers
39 views

Multiplication operator is bijective?

Let $H^2(\Delta^2)$ denote the Hardy space on the polydics and $M_f:H^2(\Delta^2)\rightarrow H^2(\Delta^2)$ be a multiplication operator by $f\in H^\infty(\Delta^2)$. Is the operator is bijective? ...
1
vote
0answers
69 views

Derivatives of Differential operators

Let $V=H^1(\Omega)$ and $U = L^{\infty}(\Omega)^2$. Take for example, a differential operator, $L:U\times V \rightarrow V^* $ such that: \begin{equation} L(u,y) = \Delta y + \vec{u}(x)\nabla y ...
1
vote
0answers
94 views

Closure in a Hilbertspace

Define for a self-adjoint pure contraction $S$ (remember: $\|S\|\leq1$ and $\pm1\notin\sigma_p(S))$ on a Hilbert space $\mathcal{H}$ the following set: $C_c^*(S):=\{g(S):g\in C_c(\hat{\sigma}(S))\}$ ...
1
vote
0answers
66 views

Operator for scaling a function?

Let $\mathbb{F}$ denote the set of functions of the form $f: \mathbb{R} \to \mathbb{R}$. I am interested to know whether there exists a well-known linear map $T_\alpha: \mathbb{F} \to \mathbb{F}$ ...
1
vote
0answers
63 views

On calculating spectral projections

Consider following operator from this paper; Let $h$ be any function in $L^1$ relative to the measure $g(w)dw$ and $K\in\mathbb{C}$ Consider the linear operator $B$ on $L^1$ defined by $$(Bh)(x) = ...
1
vote
0answers
33 views

Eigenvalues of a Self-Adjoint Operator

It is easy to see that eigenvectors corresponding to distinct eigenvalues of a self-adjoint operator $T$ are mutually orthogonal. However, from this, it is supposed to be easy to see that for a given ...
1
vote
0answers
30 views

functional calculus on a set of normal elements is continuous

Let $K$ be a compact subset of $\Bbb C$. Let $A_K$ denote the set of all normal elements $x$ with $\sigma_A(x)\subset K$. If $f$ is a continuous function on $K$, then the functional calculus :$x\in ...
1
vote
0answers
36 views

What operation is being done for this set of values?

I have a table that looks like the following: A B C A | B A C B | A C A C | C A B Some operation is being done between an element in the ...
1
vote
0answers
115 views

What happens if we rotate the kernel of an integral operator?

Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...
1
vote
0answers
220 views

isometric isomorphism between normed spaces and its dual

Let $E$ and $F$ be normed spaces. If $E \equiv F$ (isometry isomorphic), Does $E^* \equiv F^*$ (isometry isomorphic)? Where $E^*$ and $F^*$ are continuous dual spaces.
1
vote
0answers
24 views

“Interpolating between estimates”?

the headline reproduces the whole problem. What is meant by saying "Interpolating between the estimates (A) and (B), we finally obtain..."? For beeing mor specific I'll give the concrete estimates ...
1
vote
0answers
18 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
0answers
76 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$. ...
1
vote
0answers
29 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
41 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$ ...
1
vote
0answers
108 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 ...
1
vote
0answers
38 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 ...
1
vote
0answers
27 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
0answers
21 views

What is the closest self-adjoint (positive) operator to a given operator?

Given an operator $\rho$ on a Hilbert space $H$, is there a notion of nearest self-adjoint (positive) approximation of $\rho$ for a suitable norm? More specifically, does there exist an algebraic ...
1
vote
0answers
19 views

T=T** for densely defined operator T

Suppose that $H_1$ and $H_2$ are Hilbert spaces and $T: H_1 \to H_2$ is a densely defined linear map with closed graph. Show that $T = T^{**}$. (I have shown that such a $T$ has a densely defined ...
1
vote
0answers
54 views

Prove that operator is completely continuous

Let's consider Banach space $\ell^\infty$ of bounded sequences $x = \{ \xi_n\}_{n=1}^\infty$: $$ ||x|| = \sup_{n \in \mathbb N} |\xi_n|. $$ Suppose matrix $||a_{i j}||_1^\infty$ specifies operator $A$ ...
1
vote
0answers
32 views

Are all cyclic representations irreducible?

I know that for a representation $\pi$ of a $^*$-algebra $\mathcal{A}$ on a Hilbert Space $\mathcal{H}$, if $\pi$ is irreducible then it is cyclic. Is the reverse implication also valid - i.e. is ...
1
vote
0answers
94 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) ...
1
vote
0answers
23 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
0answers
56 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.
1
vote
0answers
94 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 ...
1
vote
0answers
50 views

What's the name of this type operator?

If $H$, is a seperable Hilberspace, $E$ seperable Banach space. $(h_n)$ orthonormal basis of $H$. Let $T\in B(H,E)$. If we have the condition on $T$ that $$\sum_k \left\|Th_k\right\|^p <\infty,$$ ...
1
vote
0answers
47 views

What is the definition of regular operator?

If $T$ is a bounded linear operator on a normed space $X$. What "$T$ is regular operator" means?
1
vote
0answers
54 views

Skew adjoint operator with uncountable spectrum

Let $H$ be a Hilbert space. I just want an example of a skew adjoint operator $(A^*=-A)$ with uncountable spectrum. I also want an example for unbounded differential operators. The only example I ...
1
vote
0answers
94 views

Find norm of linear operators

I have to check if those operators are bounded and if so what are their norms. 1) $\phi:C^1[0,1]\ni f > \rightarrow\int_0^{1/2}f(t)dt+f'(2/3)\in\mathbb{R}$ with norm ...
1
vote
0answers
27 views

Polynomial generator

If we let $\alpha$ be a multiindex, can we generate any polynomial in $\eta$ with coefficients as multiples of $\kappa$ $$ D_z^{\alpha}\text{exp}(i(\kappa(z)-\kappa(x)-\kappa'(x)(z-x))\eta)|_{z=x} $$ ...
1
vote
0answers
70 views

Question about compact operators

I would like to prove the following, Let $X$,$Y$ be infinite dimensional Banach-Spaces and $T$ a compact, linear and bounded operator. Then there exists a sequence $(x_n)_{n\in\mathbb N}$ with ...
1
vote
0answers
23 views

Is there any relation between positive definite operator and an operator that satisfies maximum principle?

Suppose $L$ is a self adjoint differential operator which satisfies maximum principle. Maximum principle: Assume that $u(x)$ satisfies $u(0)\geq 0$ and $u(1)\geq 0$. Now $L$ is said to satisfy ...
1
vote
0answers
21 views

Prove that $A\int_0^\infty S(t) u dt=\int_0^\infty S(t) A u dt$ if A is a closed operator

From Wikipedia: Closed linear operators are a class of linear operators on Banach spaces. They are more general than bounded operators, and therefore not necessarily continuous, but they still ...