# Tagged Questions

**8**

votes

**2**answers

698 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 ...

**6**

votes

**2**answers

374 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

**1**answer

73 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, ...

**31**

votes

**0**answers

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 ...

**9**

votes

**0**answers

319 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
...

**8**

votes

**0**answers

196 views

+100

### Codimension of the range of certain linear operators

Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the derivational operator correspond ...

**6**

votes

**0**answers

225 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

**0**answers

194 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

**0**answers

140 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

**0**answers

135 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

**0**answers

102 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 ...

**4**

votes

**0**answers

49 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

**0**answers

444 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

**0**answers

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

**0**answers

356 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

**0**answers

58 views

### Symplectic Koopmanism

Let $(M, \omega)$ be a $2n$-dimensional symplectic manifold and let $L_2(M,|\omega^n|)$ be the Hilbert space of complex-valued functions on $M$ that are square integrable with respect to the Liouville ...

**3**

votes

**0**answers

87 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

**0**answers

334 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

**0**answers

195 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

**0**answers

100 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

**0**answers

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

**0**answers

42 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

**0**answers

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

**0**answers

187 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

**0**answers

158 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

**0**answers

91 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

**0**answers

177 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

**0**answers

32 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

**0**answers

74 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

**0**answers

55 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

**0**answers

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

**0**answers

36 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

**0**answers

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

**0**answers

75 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

**0**answers

169 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

**0**answers

84 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

**0**answers

205 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

**0**answers

64 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

**0**answers

136 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

**0**answers

52 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

**0**answers

38 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 ...

**0**

votes

**0**answers

84 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

**0**answers

70 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

**0**answers

109 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

**0**answers

66 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

**0**answers

94 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 ...