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
39 views

find the eigenbasis of unitary transformation

$U$ is $n\times n$ unitary matrix, with orthogonal eigenbasis $v_1, \ldots v_n$ we construct a linear transformation: $T_U(X) = XU$ with the inner product $\langle A, B \rangle = \text{tr}(A^*B)$ I ...
0
votes
0answers
47 views

Question arising from quantum mechanics concerning groups and symmetries

I'm trying to understand a calculation my professor did in my quantum mechanics script. Here it is: Each rotation $R \in O(3)$ induces a unitary transformation in $L^2(R^3)$, i.e. the space of square ...
0
votes
5answers
140 views

Is it true that every orthogonal transformation , even over $\mathbb R$, is diagonalizable?

Is it true that every orthogonal transformation , even over $\mathbb R$, is diagonalizable? I didn't succeed to get any information about it. Could anyone explain please?
0
votes
1answer
60 views

Question about step in proof of Schauder's theorem

The statement is the following: Let $X,Y$ be Banach spaces and $T:X \rightarrow Y$ be a continuous linear operator. Then is $T'$ compact iff $T$ is compact. I have already understood the implication ...
1
vote
0answers
31 views

Notation question in Majda and Bertozzi's “Vorticity and Incompressible Flow”

On pg 2, the fluid velocity in the Navier-Stokes system of equations is noted as: $v(x,t) \equiv (v^1, v^2, \ldots, v^N)^t$, where I am assuming that the velocity vector field is time-dependent. The ...
0
votes
1answer
93 views

Prove that the Set of Bounded Linear Operators is Banach

Let $B(V,V')$ be the vector space formed by set of linear operators $T:V\rightarrow V'$. where $V,V'$ are normed vector spaces. Equip $B(V,V')$ with the norm $$ \|T\|=\sup\frac{\|T(x)\|}{\|x\|} $$ ...
2
votes
0answers
79 views

Linear Operators: Continuous $\Rightarrow$ Bounded

Let $T:V\rightarrow V'$ be a continuous linear operator between two normed vector spaces $V,V'$. Show that it is bounded. Continuity is defined as $\lim_{n}\|x_n-x\|=0\Rightarrow ...
3
votes
2answers
123 views

Dense Graph $G(T)\subset H\times H$

The following construction appears to yield a dense Graph in $H\times H$ where $H$ is a seperable Hilbert-space. Take $\{x_n\}$ a countable dense subset of $H$. Let $\{e_n\}$ an orthonormal basis of ...
2
votes
1answer
40 views

Approximate point spectrum and left topological zero divisors

Recall that a left topological zero divisor in a Banach algebra $A$ is an element $a\in A$ such that there exists a sequence of unit vectors $(a_{n})$ in $A$ with $\lim_{n\rightarrow\infty}aa_{n}=0$. ...
1
vote
0answers
17 views

When does a *-algebra have an approximate identity

I know that a *-algebra does not always have an approximate unit. When does a *-algebra have an approximate identity? Can we characterize that *-algebras which are not uniform and weak closed but ...
1
vote
3answers
177 views

Sum of the matrix series

Let $A\in\mathbb R^{n\times n}$ be a symmetric matrix which $0\preceq A\preceq I$ ($I$ is identity matrix), and $w_k\in\mathbb R^n$ are arbitrary certain vectors which $\|w_k\|\leq1,\,\,k=0,1,\ldots$ ...
1
vote
1answer
27 views

Summation of the Bergman kernel at two distinct points is constant?

Let $\Omega$ be a bounded simply connected domain in $\mathbb{C}.$ Let $K(z,w)$ denotes the Bergman kernel of $\Omega.$ Let $w_1,\,w_2$ be two distinct points in $\Omega.$ I'm looking for a domain ...
2
votes
0answers
81 views

Troublesome proof in Functional Analysis with dual vector space

Greetings to all of you I have tried to prove the following theorem but I am having some troubles with it. Let $X$ be a separable normed space and $(x_n')$ a bounded sequence in $X'$, then there is a ...
3
votes
1answer
210 views

Spectrum of shift-operator

Hoi, consider the Hilbertspace $l^2$ and the Left and Right-shift operator \begin{align*} L(x_1,x_2,\cdots) &= (x_2,x_3,\cdots)\\ R(x_1,x_2,\cdots) &= (0,x_1,x_2,\cdots ) \end{align*} I know ...
0
votes
0answers
17 views

Subordinate operators

Let $A$ be a linear densely defined operator on a Hilbert space $H$ and $L$ is a selfadjoint operator with discrete spectrum such that $\mathcal{D}(L) = \mathcal{D}(L)$ and $$\|Tf\| \leq M ...
3
votes
2answers
67 views

Conjugate convex functions property

$E$ is normed vector space.Let $f\in E^*$ in a bounded linear functional from $E$ to $C$ and fix $x\in E$. We have $$\forall y\in E;\ \ \ \ f(y-x)\leq \frac{1}{2}\|y\|^2-\frac{1}{2}\|x\|^2$$ And I ...
7
votes
1answer
94 views

Ideals in $B(H)$ are self-adjoint

It is known that every (closed two-sided) ideal in a $C^{*}$-algebra is self-adjoint. The proofs that I've seen involve functional calculus and approximate units. I am wondering whether there is a ...
3
votes
1answer
35 views

A question on a sequence in a Banach algebra [duplicate]

If $\{u_{k}\}_{k=1}^{\infty}$ is a sequence in an Banach algebra (and more specifically, in the set of all the bounded linear operators of a Banach space $X$). If ...
2
votes
1answer
64 views

Operator's norm

Let $T$ be a linear densely defined operator on a Hilbert space $H$ and $L$ be a selfadjoint operator with discrete spectrum and $T^{-1}$ is bounded such that $$\|Tf\| \leq M \|Lf\|^{a}\|f\|^{1-a}, ...
3
votes
1answer
94 views

A question on the spectral projection

I am reading a paper about spectral theory. And I meet with some problems. An operator $K\in L(X)$ is said to be algebraic if there exists a non-trivial complex polynomial $h$ such that $h(K)=0$. By ...
1
vote
1answer
155 views

Prove that if transformation matrix is unitary, then the basis is orthonormal

V is a vector space with the complex field, B is an orthonormal basis of V , and C is some arbitrary basis. Prove that if the transformation matrix from basis C to B is unitary, then C is also ...
1
vote
1answer
63 views

Explicit operator in separable Hilbert space

This is a question about (possible unbounded) operators. We know that $\mathcal{D}(T^*)=\{0\}$ iff $\mathcal{G}(T)$ is dense in $\mathcal{H}\times\mathcal{H}$, where $\mathcal{H}$ is a separable ...
-1
votes
2answers
82 views

Normal compact operator commute with bounded self adjoint operator in Hilbert space.

Suppose $H$ is a Hilbert space and $A:H\rightarrow H$ is a normal compact operator such that $\ker(A)=0$. show that if $B$ is a bounded self adjoint operator that commutes with $A$ then the spaces in ...
2
votes
2answers
70 views

Clarifying the definition of essential self-adjointness

If a Hilbert space operator $T$ has a unique self-adjoint extension, must the extension be the closure of $T$?
2
votes
0answers
41 views

generalizations of continous operators?

What are generalizations of the notion of continous linear operator $P:X\to X$, where X is a Banach space? I'm looking for some broader class of operators that nevertheless share some properties of ...
3
votes
1answer
48 views

A simple question about completely positive linear maps

Let $A$ be the C*-algebra and $M_{n}(A)$ be the C*-algebra of $n\times n$ matrices with entries in $A$. We use $(a_{ij})$ to denote the element of $M_{n}(A)$. My question is: For every $a\in A$, ...
1
vote
0answers
60 views

Half Laplace operator

I'm curious whether a half Laplacian (or square root of Laplacian) exists. More specifically, I'm looking for an $X:C^2(\Bbb R^n)\to C^2(\Bbb R^n)$ operator such that $$\forall f:XXf=\Delta f$$ I know ...
5
votes
1answer
78 views

Doubt about Proposition 2.39 in Dana Williams' crossed product book

You can see the proposition in a google books preview here. First and foremost, my question is: Question: Am I correct to interpret Proposition 2.39 as setting up a bijective correspondence ...
1
vote
1answer
44 views

How to prove the demicountinuity of nonlinear operators?

Define a nonlinear operator $\mathbf{J}(\mathbf{x}):~\mathbb{R}^3 \rightarrow \mathbb{R}^3$ as $$ \mathbf{J}(\mathbf{x}):= |\mathbf{x}|^{-\alpha}\mathbf{x},~0<\alpha<1. $$ How to prove that ...
2
votes
1answer
108 views

Relationship between adjoint operators, trace-class operators, compact operators and density operators in Quantum-Mechanics

I don't know much about Functional Analysis, but I was wondering about the following: In Banach spaces it is possible to define for every continuous opertor $T:X \rightarrow Y$ an adjoint Operator ...
2
votes
0answers
51 views

Complex Power of a differential operator

Let $(X,\|\cdot\|)$ be a Banach space and consider a sequence $B_n \colon X \to X$ of bounded operators. I remember from my course in operator theory that the partial sum $$ S_N = \sum^N_{n = 1} B_n ...
0
votes
1answer
43 views

Example of Hilbert space operator that is not a product of unitary and positive

If $A$ is a unital $C^{*}$-algebra, and $a\in A$ is invertible, then $a=u|a|$ where $u$ is unitary and $|a|=(a^{*}a)^{1/2}$ is positive. I am looking for an example of a bounded linear operator on ...
0
votes
0answers
29 views

Show, that $T\colon C([a,b])\to C([a,b])$

I have a question concerning an integral equation that is written as an fixed point equation, namely $$ u(x)+\int_a^x F(x,y,u(y))\, dy=f(x,u(x)),~~x\in [a,b] $$ with $$ ...
2
votes
1answer
79 views

When an invertible element in a $C^{*}$-algebra is unitary

I am trying to show that if $a$ is an invertible element of a unital $C^{*}$-algebra, and $||a||=||a^{-1}||=1$, then $a$ is unitary. I can do this if I think of $a$ as a Hilbert space operator using ...
3
votes
1answer
92 views

Using Nemytskii Theorem for Sobolev Spaces

The Nemytskii mappings in Lebesgue spaces theorem is as follows: If $a: \Omega \times \mathbb{R}^{m_{1}} \times \cdots \times\mathbb{R}^{m_{j}} \rightarrow \mathbb{R}^{m_{0}}$ is a Caratheodory ...
0
votes
2answers
95 views

Functional Analysis, operator theory, eigenvalues of a operator

We have $$T_\alpha:C[a,b]\to C[a,b]$$ $$T_\alpha f= \alpha f$$ where $C[a,b]=\{ f:[a,b]\to \mathbb{R} \quad f$ is continuous} and $\alpha\in C[a,b]$ fixed. Show: Spectrum of $T_\alpha\equiv ...
3
votes
1answer
112 views

Question about projections on Hilbert space

Let $P_i$ be projections from a Hilbert space $\cal{H}$ to its closed subspace $\cal{H}_i$, $i=1,2,\cdots,n$, such that $\sum^n_{i=1} P_i$ is also a projection. And let $P$ be a projection from ...
2
votes
1answer
71 views

Find the norm of $A$ where $(Af)(t)=tf(t)$

I have the following problem that I would like to ask you about: I have $X$ as my normed linear vector space and $B(X,X)=B(X)$ as my space of all operators $A: X \to X$, where for all $A \in B(X)$ is ...
1
vote
1answer
61 views

Uniqueness of Unitary operator

i saw the post "Polar decomposition normal operator" (Polar decomposition normal operator). There was that such a $U$ is unique iff the image of $T$ is dense. Some lines later by the comments there is ...
0
votes
1answer
42 views

Question about domains of unbounded operators

This is a part of a theorem in Rudin's Functional Analysis, in the chapter on unbounded operators. Let $\mathcal M$ be a $\sigma$-algebra in a set $\Omega$, $H$, a Hilbert space and $E:\mathcal ...
2
votes
1answer
59 views

determinant identity for invertible finite rank operators

I am currently reading a paper where the following identity, valid for an invertible finite - rank operator $T \colon \mathscr{H} \to \mathscr{H}$ on a separable Hilbert space, is given: $$ \log \det ...
1
vote
0answers
57 views

Three basic questions about linear operator in a Hilbert space

Just come across three questions in reading a paper. Suppose we are dealing with a Hilbert space of $L_{2}[0,1]$ and all the functions mentioned below are in $L_{2}[0,1]$. Define the operator $A$ by ...
1
vote
2answers
82 views

Finding an isometry between two subspaces of a Hilbert space

So, I'm given a Hilbert space which is the direct sum $H=H_1\oplus H_2$ of two separable Hilbert spaces $H_j$. There is a closed subspace $D\subseteq H$ which satisfies that it is not a subspace of ...
0
votes
1answer
59 views

Interpretation of Fredholm Alternative with respect to PDEs

I have studied the Fredholm Alternative, which states the following: Theorem: Let $K:H \rightarrow H$ be a compact linear operator and let $I$ be the identity operator on $H$. Then: 1.$N(I-K)$ is ...
0
votes
1answer
51 views

Minkowski functional and strange theorem

I have a theorem that says the following: Let X be a normed space and $U\subset X$ a convx subset with $0 \in \text{int(U)}$, then we have: $U$ is absorbing and if $\{x;||x|| < \epsilon\} \subset ...
3
votes
1answer
71 views

Fredholm alternative and orthonormal basis

The following question relates to the Fredholm alternative: Let $K:H \rightarrow H$ be a compact linear operator and let $I$ be the identity operator. Notation: $N$ is the nullspace and $R$ is the ...
2
votes
2answers
273 views

Norm of a matrix equals greatest eigenvalue

How do I prove that the norm of a matrix equals the absolutely largest eigenvalue of the matrix? This is the precise question: Let $A$ be a symmetric $n \times n$ matrix. Consider $A$ as an ...
1
vote
1answer
40 views

Pulling Operator Inside Integral

Say $Y$ is a Banach space and you have a family of continuous/bounded operators $L_{x}: Y \rightarrow Y$ for $x\in \mathbb{R}$ and say you have an bounded, smooth map $f(x):\mathbb{R}\rightarrow Y$. ...
0
votes
2answers
47 views

Predual of $\mathcal{B}(K, H)$

Is there a predual of $\mathcal{B}(K, H)$? So, what does the space $X$ look like, such that $X^*=\mathcal{B}(K, H)$.
2
votes
1answer
49 views

If space of bounded operators L(V,W) is Banach, V nonzero, then W is Banach (note direction of implication)

Let $V,W$ be normed vector spaces, and $L(V,W)$ be the space of bounded linear operators. Usually I would only see the statement "If $W$ is Banach, then $L(V,W)$ is Banach.". But Wikipedia writes that ...