Spectrum, resolvent, numerical range, functional calculus, operator semigroups. Special classes of operators: compact, Fredholm, dissipative, differential, integral, pseudodifferential, etc.

learn more… | top users | synonyms

8
votes
2answers
756 views

How to transform matrix to this form by unitary transformation?

Without loss of gernerality, we can only consider $n$-dimensional diagonal matrix $M$ whose elements are all nonnegative, i.e. $$M=\operatorname{diag}(m_1,m_2,\cdots,m_n)\ (m_i \geq 0).$$ Then is ...
7
votes
2answers
391 views

Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by $$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$ Is it possible to decompose this into two separate ...
2
votes
1answer
152 views

Commutator with Dirichlet Laplacian

Consider the Dirichlet Laplacian $\Delta$ on a compact Riemannian manifold (with boundary). Consider the operator $T = \sqrt{-\Delta}$. My question is: is there any Leibniz/product rule? Can we say, ...
0
votes
1answer
47 views

On a characterization of some subsets

Let $X$ be a Banach space. $A$ is a linear closed and densely defined operator and $S$ is a bounded invertible operator. What' s the relation between $\sigma_{e,S}(\lambda S - A)$ and ...
32
votes
0answers
1k views

Set-theoretic reformulation of the invariant subspace problem

The invariant subspace problem (ISP) for Hilbert spaces asks whether every bounded linear operator $A$ on $l^2$ (with complex scalars) must have a closed invariant subspace other than $\{0\}$ and ...
10
votes
0answers
325 views

Functional calculus of unitary matrices and commutator norms: reference request

Suppose we have a normal matrix $A$ and a general matrix $B$. For a continuous function $f$ on the disk we can find upper-bounds on $\Vert[f(A),B]\Vert$ in terms of $\Vert[A,B]\Vert$. The more we know ...
6
votes
0answers
229 views

What is the intersection of the closures of left invertible operators and right invertible operators?

From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that $$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = ...
5
votes
0answers
106 views

When is an inner derivation a Fredholm operator?

Let $\mathcal{B}(H)$ denote the algebra of bounded operators on a Hilbert space $H$. I'm interested in inner derivations acting on the Schatten ideals $L^p\subseteq\mathcal{B}(H)$ (defined by ...
5
votes
0answers
195 views

Essential unitary equivalence

Let us agree that heuristic meaning of the word "essential" is: up to compact operator. There is clear notion of unitary equivalent operators. What is the proper notion of two operators being ...
4
votes
0answers
156 views

Denseness of finite rank operators in $\mathcal{B}(X,Y)$

Let $X$ and $Y$ be Banach spaces and let $\mathcal{B}(X,Y)$ be the space of bounded linear operators from $X$ to $Y$. As noted in the answers to a question on ...
4
votes
0answers
149 views

Adjoint of sum of two operators. Kato-Rellich

Let $A$ be self-adjoint and $B$ be symmetric with $A$-bound less than $1$. By Kato-Rellich, I know that $(A+B)^*=A+B$. Could I also get something like $(A+iB)^*=A-iB$ or is there a counterexample to ...
4
votes
0answers
50 views

Strictly convex renormings making power bounded operators into contractions

Let $X$ be a Banach space and let $T$ be a power bounded linear operator on $X$ (i.e. $\sup_{n\ge0}\|T^n\|_{op}<\infty$). We can of course define an equivalent norm $\|\cdot\|'$ on $X$ so that ...
4
votes
0answers
447 views

Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
4
votes
0answers
102 views

Containment of an element to an operator system

This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
4
votes
0answers
369 views

The spectrum of a Markov Operator and Invariant Measures

Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
3
votes
0answers
90 views

Noncommutative Poincare inequalities

This is a question on how (or if) people in the community think about the Poincare inequality in noncommutative geometry. In geometry, the Poincare inequality (when it exists) gives a bound on a ...
3
votes
0answers
339 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...
3
votes
0answers
196 views

The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$

The Dunkl intertwinig operator $V_k$ on $C(\mathbb{R}^d)$ is defined by: $$V_k f(x)=\int_{\mathbb{R}^d}f(y)d\mu_x(y),$$ where $d\mu_x$ is a probability measure on $\mathbb{R}^d$ with support in the ...
2
votes
0answers
128 views

Predual of a von Neumann algebra in terms of trace class operators

For a von Neumann algebra $\mathcal{A} \subseteq \mathcal{B(H)}$ where $\mathcal{B(H)}$ is the space of all bounded linear operators on the Hilbert space $\mathcal{H}$, there is a Banach space $ ...
2
votes
0answers
79 views

Constant in Maximal sobolev regularity

We know the following evolution equation \begin{equation} \left\{ \begin{array}{llc} v_t=A v+f,\\ v(0)=0. \end{array} \right. \end{equation} $A$ generates a bounded analytic semigroup on a Banach ...
2
votes
0answers
45 views

Is the Szego projection on a codim-$k$ CR manifold an integral operator?

The Szego projection on a CR manifold $M$ is defined to be the orthogonal projection from $L^2(M)$ to the closed subspace $H^2(M),$ where $$H^2(M) = \{f \in L^2(M)\ |\ \bar{\partial}_{b}f = 0\ ...
2
votes
0answers
59 views

series representation for *un*bounded perturbations of semigroup generators

Let $A$ generate an analytic $C_0$-semigroup on a Banach space $X$ and $B$ be a relatively compact perturbation, i.e., $B$ is compact as an operator from $D(A)$ (with the graph norm) to $X$. Then ...
2
votes
0answers
198 views

Versions of the spectral theorem

Since any $C^*$-algebra can be represented as an algebra of bounded operators $\mathcal{B(H)}$ on a Hilbert space $\mathcal{H}$, the spectral theorem applies to all $C^*$-algebras: ($*$) ...
2
votes
0answers
159 views

Invariant Measures of Markov Chains under Perturbations

This is a more specific version of a question I asked before without much luck. I believe this should be standard perturbation theory, but looking at Kato's book has not helped. Any references would ...
2
votes
0answers
92 views

non-closed weak graph limit of symmetric operators

Hi Everyone, I was recently reading Reed & Simon's functional analysis textbook (the first volume), and it mentions casually on page 294 that weak graph limits of a sequence of symmetric ...
2
votes
0answers
182 views

A specific projection and compactness on the Bargmann-Fock space

Let $F_2$ be the Bargmann Fock space defined as the space of entire functions $f$ on $\mathbb{C}$ such that \begin{align*} \int_{\mathbb{C}} |f(z)|^2 e^{- |z|^2} dA(z) \end{align*} ($dA$ is just ...
1
vote
0answers
39 views

Necessity of coercivity assumption in Minty's theorem

Minty's Theorem states that a bounded, Continuous, monotone and coercive function on a Hilbert space is surjective. A function $f:H\to H$ is called coercive if $$ \lim_{\|x\|\to \infty} \frac{\langle ...
1
vote
0answers
76 views

Differentiable Path of Operators and their Inverses

Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...
1
vote
0answers
60 views

If an upper semicontinuous multivalued map is compact on a set, is it compact on the boundary as well?

I have stumbled upon the following problem during my research: Let $X$ and $Y$ be Banach spaces, $K\subset X$ nonempty, $F:\overline{K}\rightarrow 2^{Y}$ an upper semicontinuous multivalued map with ...
1
vote
0answers
145 views

A “coarse” version of position operator and its properties

I am wondering if someone has ever studied the following operator in the context of quantum mechanics: $$Q : L^2(\mathbb{R}) \to L^2(\mathbb{R})$$ $$(Q f)(x) := s(x) f(x),$$ where $s(x)$ is the ...
1
vote
0answers
37 views

Strong relative boundedness argument for the annihilation operator

Could someone please explain to me how to prove that the creation operator $a^*=-\frac{d}{dx} +x$ is the adjoint of the annihilation operator $a=\frac{d}{dx} + x$ in $L^2(\mathbb{R})$? I would guess ...
1
vote
0answers
43 views

Rational homogenous functions

I'm interested in the set $\mathcal{S}$ of rational functions $F \colon \mathbb{R}^3 \to \mathbb{R}$ verifying: \begin{align} \Delta F=0 \quad \text{et} \quad F(\lambda x)= \lambda^d F(x) \quad d \in ...
1
vote
0answers
76 views

“Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs). Then $||AB||_{op} \leq ...
1
vote
0answers
174 views

Compact integral operator

I have a question regarding compact integral operators on $L^{2}({\Omega})$ with $\Omega$ a bounded domain in $\mathbb{R^{n}}$ Suppose we are given $T$ from $L^{2}(\Omega)$ to $L^{2}(\Omega)$ as ...
1
vote
0answers
85 views

A generalization of strictly upper triangular matrces

Let $A = [a_{ij}]_{n\times n}$ be a real matrix with the property $a_{ij}a_{ji} = 0$. What can be said about the eigenvalues of$A$ ? I want to know when $A$ is non-singular and when $A$ is nilpotent. ...
1
vote
0answers
207 views

Is an exact operator, unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
0
votes
0answers
74 views

Is the exponential Mathieu operator trace-class?

Let $H \psi(x) = -\frac{d^2}{dx^2} \psi(x) - \alpha \cos(x) \psi(x)$ on $[0,2\pi]$ be the Mathieu operator ( according to Mathieu's ODE). My question is: Do we know whether $U(t):=e^{-tH}$ for some ...
0
votes
0answers
144 views

Can I define Fredholm Index using $\dim \ker ST - \dim \ker TS$?

$X$, $Y$ are Banach spaces. Let $S \in L(X, Y)$, $T \in L(Y, X)$, where $L(X, Y)$ denotes the Banach algebra of bounded linear operators from $X$ to $Y$. If we have that $Id_Y - ST \in \mathbb{K}(Y)$ ...
0
votes
0answers
53 views

A theorem of Lalesco on Trace-Class operators

There is this necessary and sufficient condition for nuclreaity of integral operators due to S.Chang and Lalesco that states : $$T_K \in\mathcal{S}_1\:\iff\:\exists K_1,K_2\in L^2([a,b]\times[a,b])\: ...
0
votes
0answers
87 views

What are the properties of this linear operator?

Suppose $f(x)$ is a function which satisfies the following condition: $$f(x)=\sum_{k=0}^\infty G(2k)\frac{x^{2k}}{(2k)!}$$ Where the generating function $G(x)$ is a "natural" or "discrete-analytic" ...
0
votes
0answers
71 views

Comparison between operators

I have found the following two concepts: $\bullet$ Let $L$ be a linear operator in a Hilbert space $H$. The operator $B$ is said to be $L$-compact if $D(L)\subset D(B)$ and for any ...
0
votes
0answers
111 views

Dyadic approach to Marcinkiewicz interpolation for Lorentz Spaces

In Exercise 21, in a note by professor Terrence Tao on his own blog http://terrytao.wordpress.com/2009/03/30/245c-notes-1-interpolation-of-lp-spaces/ Exercise 21 Suppose we are in the situation ...
0
votes
0answers
69 views

Spectrum of an operator from Transpose sum

I was wondering if there is anything we can know about the spectrum of an operator $A$ if we know that $M = A + A^{T}$ is a positive operator?
0
votes
0answers
96 views

Perturbation of spectrum and eigenspaces

Let $A \in \mathbb{C}^{n \times n}$ be an $n \times n$ matrix. Consider the rank-$1$ perturbation $A'$ of $A$ given by replacing a column $v$ of $A$ by $\alpha \cdot v$, where $\alpha \in [0, 1)$. Can ...