Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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

1
vote
1answer
19 views

Generation of strictly contraction Semigroups

Let $T(t)$ be a $C_0$-semigroup on Banach space $X$, and $A$ its generator. By Lumer-Philipps theorem we know that if $A$ is densely defined and m-dessipative operator then it generates a $C_0$-...
1
vote
1answer
37 views

On the eigenvalue of the expectation value of a random matrix in quadratic form

When we handle with some dynamic input-output mappings, there occurs a question as follows: Let $M$ be a random matrix, of which each element contains random terms. Consider the two expectation ...
1
vote
0answers
26 views

A variation on Sylvester equation

Let $X$ be a finite measure space and $D,M$ be bounded linear operators on a $(L^1(X;\mathbb C))^2$. $D$ is a diagonal operator matrix whose entries are multiplication operators by the invertible ...
0
votes
0answers
28 views

Relative compactness of differential operator

Let $\Omega$ be $\mathbb R^n$ or a complete (unbounded) open manifold, and $f$ be a smooth function on $\Omega$. We consider a self-adjoint 2nd. elliptic operator $H$ on $L^2$ space(to simplify the ...
0
votes
0answers
37 views

Density of the range of $M$ in the range of $M^{1/2}$ for $M$ positive

Let $F$ stands for a complex Hilbert space with inner product $\langle\cdot\;,\;\cdot\rangle$ and the norm $\|\cdot\|$. Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on $F$. Let $...
14
votes
2answers
412 views

Multiple of identity plus compact

Is there an example of a bounded operator $T\in\mathcal{B}(H)$, where $H$ is a separable complex Hilbert space, such that no restriction to an infinite dimensional closed subspace is multiple of ...
2
votes
1answer
95 views

Regarding approximation by invertible operators

This post here states that if $E$ is an infinite dimensional space and if $T$ is an injective, bounded,non surjective opertor with closed range in $E$, then $T$ cannot be approximated in operator norm ...
2
votes
1answer
63 views

Dirac operator on manifold with periodic end

Let $\tilde W$ be a spin closed oriented manifold, $Y$ is a codimension $1$ closed oriented submanifold of $\tilde W$, and denote the $W$ the cobordism from $Y$ to itself obtained from cutting $\...
2
votes
1answer
56 views

Regarding norm attaining functions

Let $X$ and $Y$ be Banach spaces.Let $L(X,Y)$ denote the space of all bounded linear map from $X$ to $Y$. $T:X\longrightarrow Y$ is said to be norm attaining if there exists a $x\in S_X$(the closed ...
2
votes
0answers
71 views

Renyi's theorem on mixing

I have been trying to understand the proof of Renyi's characterization of (strongly) mixing transformations: A measure preserving transformation $T \text{ is strongly mixing iff for every measurable }...
0
votes
0answers
56 views

Support size of a zero divisor

Let $G$ and $\mathbb C[G]$ be a torsion free group and its group algebra. Is there a function $f:\mathbb N\rightarrow\mathbb R$, with $\lim_nf(n)=\infty$ such that if $0\neq\alpha,\beta\in\mathbb C[G]$...
3
votes
0answers
116 views

Constructing a noncommutative algebra from a commutative algebra

I was told at a conference that one way to construct a noncommutative algebra from a commutative one is to "replace the product of finite spaces (which on the level of continuous functions corresponds ...
1
vote
1answer
80 views

Optimal estimate in trace norm

Let $x,y$ be vectors of some Hilbert space of unit length. Then we can consider the projection $P_x:=\langle \bullet, x \rangle x$ and similarly $P_y.$ Assume then that we know that $\left\lVert x-...
2
votes
0answers
98 views

An example of non trivial projections in a group von Neumann algebra

Let $G$ and $\text{vN}(G)$ be a torsion free group and its group von Neumann algebra. Is there a characterization of non trivial projections in $\text{vN}(G)$? If not, is a certain class of them ...
3
votes
1answer
137 views

An analytical zero divisor

Let $G$, $\mathbb C[G]$ and $\text{vN}(G)$ be a torsion free group, it's group ring and group von Neumann algebra, resp.. Let $0\neq\alpha\in\mathbb C[G]$ and $0\neq p\neq1$ is a projection in the ...
4
votes
0answers
62 views

Superposition operator from Sobolev space to Lebesgue space

Let $\Omega$ be a bounded, connected set in $\mathbb{R}^2$ with smooth boundary. I am wondering under what conditions on the real function $f(x):\mathbb{R}\to \mathbb{R}$ the superposition operator $F(...
1
vote
0answers
110 views

Compact embedding result

Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
2
votes
1answer
80 views

Fredholmness of formal selfadjoint operator $AA^*$ and Fredholmenss of $A$

Let $X$ and $Y$ be Hilbert spaces with respective inner products $\langle , \rangle_{X,Y}$. Let $A:X \rightarrow Y$ be a bounded linear operator. Assume there is a non-degenerate sesquilinear product $...
1
vote
1answer
48 views

Disreteness of spectra of Dirichlet laplacians

I have fundamental questions on Dirichlet Laplacians. Let $D \subset \mathbb{R}^d$ be an open subset and $\mathcal{L}$ be the (non positive) Dirichlet laplacian on $D$. We denote by $T_t=e^{t\...
3
votes
1answer
93 views

Schrödinger operator with Coulomb potential

The free Laplacian $-\Delta$ has absolutely continuous spectrum $[0,\infty).$ The Coulomb Hamiltonian $H=-\Delta-\frac{1}{\vert x\vert}$ on $L^2(\mathbb R^3)$ has absolutely continuous spectrum $[0,\...
4
votes
1answer
105 views

Energy in doubling measure metric spaces

Let $(X,\mu, d)$ be a metric measure space where $\mu$ is a doubling measure. For a relatively compact set $U\in X$ consider the following quantity $$I(U,\mu,d)=\int_U \int_U \log^2(d(x,y)) d\mu(x) d\...
10
votes
1answer
244 views

Criterion for a Banach algebra to be finite dimensional

Let $A$ be a Banach algebra (say, complex and unital) and suppose that every (closed) commutative subalgebra of $A$ is finite dimensional. Question. Does it follow that $A$ is finite dimensional? ...
0
votes
2answers
289 views

Does point-wise weak convergence give weak convergence in $L^2(I;X)$?

Let $X$ be a separable reflexive Banach space, $F$ be a locally Lipschitz nonlinear operator on $X$ that is weakly continuous on $X$, and $u_n$ are $u_n$ weakly converges to $u$ on $L^2(0,T;X)$. Now, ...
2
votes
0answers
56 views

Common eigenvector of commuting unbounded Operators

Let be T,S two self adjoint linear Operator on a Hilbert Space $\mathcal{H}$ with pure point spectrum. Then T,S commute if and only if they have a complete set of common eigenvectors. This is the ...
3
votes
1answer
140 views

Is the kernel of a Fredholm operator stable under perturbation?

This is a follow-up of this question. In a nutshell: Does the kernel of a bounded operator change "nicely" with the operator? Let $(X,\| \cdot \|)$ be an infinite-dimensional normed vector space. ...
1
vote
0answers
75 views

Conditional Expectation for von Neumann algebra

Let $M$ be a von Neumann algebra and $T: M\rightarrow \mathbb{C}$ be a finite normal faithful tracial map, s.t., if $\phi : M \rightarrow A \cap A^{*}$ is a conditional expectation, (A being a weak ...
0
votes
1answer
165 views

Elementary quantum scattering problem on the line.

Let us consider the quantum scattering problem on the line with the Hamiltonian $$H=-\frac{d^2}{dx^2}+ V(x),$$ where $V(x)=1$ when $x\in (0,a)$, and $V(x)=0$ otherwise. It is easy to see that $H$ ...
4
votes
1answer
173 views

Can this self-adjoint operator have an infinite-dimensional compression with compact inverse?

The following might be quite straightforward, but I very rarely work in detail with unbounded operators, so I thought it would be worth seeing quickly if I have overlooked an example that is obvious ...
4
votes
1answer
100 views

Closure of tensor product /tensor product semigroup

In this reference the following claim is made in Remark 2 Let $A,B$ be closable operators on Banach spaces $X,Y$, then $A \otimes 1$ and $1 \otimes B$ are closable operators on the Banach space $X \...
2
votes
0answers
32 views

Invariance of simple functions

Let $(A(s),D(A(s)))_{s\in\mathbb{R}}$ be a family of unbounded operators on a Banach space $X$ and $g:\mathbb{R}\rightarrow X$ be a simple function, i.e., \begin{align*} g=\sum_{i=1}^n{x_i\textbf{1}_{...
8
votes
2answers
290 views

Hölder continuity for operators

Let $x,y$ be positive real numbers then $$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$ we obtain $1/...
3
votes
0answers
37 views

Is singular Cauchy operator bounded in Morrey spaces?

The singular Cauchy operator is defined by $$S_\Gamma :f \to \int_\Gamma \frac{f(\xi)}{\xi-z} d\xi , z\in \Gamma.$$ Is this operator bounded in Morrey spaces and weighted Morrey spaces? i.e. is there ...
11
votes
1answer
299 views

One question about the $\eta$ invariant

This question is from the paper, The Analysis of Elliptic Families II. Dirac Operators, Eta Invariants, and the Holonomy Theorem, Commun. Math. Phys. 107, 103-163 (1986) --- Proposition 2.8. Suppose ...
1
vote
1answer
93 views

The tensor product of two bounded operators

Let $E$, $F$ be two complex Hilbert spaces and $\mathcal{L}(E)$ (resp. $\mathcal{L}(F)$) be the algebra of all bounded linear operators on $E$ (resp. $F$). The algebraic tensor product of $E$ and $F$ ...
2
votes
0answers
181 views

Absence of fixed points

Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function $$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \frac{xy}{(x^2+y^2+1)} \ dx$$ where $x_0$ is an arbitrary but fixed ...
3
votes
0answers
94 views

Compactness of operators of Markov processes

I have a question about operators of Markov processes. Let $(E,\mu)$ be a locally compact separable metric measure space. Let $X=(X_t,P_x)$ be a $\mu$-symmetric Markov process on $E$. For any bounded ...
3
votes
1answer
247 views

Function square-integrable

Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function $$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$ where $x_0$ is an ...
2
votes
3answers
252 views

Uniqueness of solution depending on constant?

I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation. I encountered the following integral equation for functions $f:[...
2
votes
1answer
82 views

Closeness of points in the irreducible decomposition of a C$^{*}$-algebra representation

Suppose $X$ and $Y$ are compact metric spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
1
vote
0answers
55 views

Relative boundedness of the adjoint

Let $X$ be a separable Banach space and $T_1:D(T_1) \subset X \rightarrow X$ and $T_2:D(T_2) \subset X \rightarrow X$ two closed operators with $D(T_2)\subset D(T_1)$ and $D(T_2^*) \subset D(T_1^*).$ ...
2
votes
1answer
123 views

Description of (completely) bounded operator

I am somewhat a beginner in the field of operator algebras and was wondering about the following: Let $T$ be a linear map between the space of bounded operators $B(H)$ on some Hilbert space and $S$ a ...
4
votes
0answers
62 views

Difference Between Eigenvalues of Schrödinger Operator with Different Boundary Conditions

Consider a Schrödinger operator $$H=-\Delta+V$$ on a nice bounded domain $\Omega\subset\mathbb R^d$ (say, a ball or a cube), and assume for simplicity that $V$ is smooth. Let $\lambda_D,\lambda_N$ ...
1
vote
0answers
61 views

Propagation of singularities and the Schrodinger equation

I always thought that the propagation of singularities theorem by Hörmander says (on $\mathbb R^n$ for a classical symbol $p(x,\xi)=\xi^2+V(x)$) that for a Schrödinger equation $$(i \partial_t-p(x,D))...
5
votes
1answer
108 views

Invariant subspace in infinite dimensions

Let $A(t)$ be a family of skew self-adjoint operator defined on some Hilbert space $H$ with common domain $D(A).$ The dependence on $t$ is in the strongly continuous sense, i.e. for all $x \in D(A)$ ...
1
vote
1answer
129 views

$L^2$ function in Schwartz space?

Let $f:\mathbb R^n \rightarrow \mathbb R$ be a smooth function whose derivatives are all polynomially bounded and $f \in L^{\infty}.$ Such a function has the property that when multiplied with any ...
1
vote
1answer
94 views

Nuclear operators and their eigenvalues

I know that if an operator (on a Banach space with approximation property) is nuclear of order zero, then its eigenvalues are $p$-summable for any $p>0$. (I read it from Grothendieck’s book “...
5
votes
0answers
67 views

What is the generator of the heat semigroup on non-complete manifolds?

If $M$ is a complete Riemannian manifold, it possesses a unique self-adjoint positive operator $-\Delta$ on $L^2(M)$. If $M$ is not complete, though, it is known that the Laplace-Beltrami operator $-\...
0
votes
0answers
39 views

Uniform convergence in Hadamard derivatives

Let $T\colon X \to Y$ be a nonlinear operator between Hilbert spaces which is Lipschitz and is Hadamard differentiable. It satisfies $$T(x+th)=T(x) + tT'(x)(h) + r(t)$$ where $r(t)=r(t,x,h)$ is the ...
1
vote
0answers
70 views

norm of operator between matrix algebras equipped with trace norm [duplicate]

‎Let $M_i$ stands‎ ‎for the algebra of $d_i\times d_i$ matrices with $\|T\|=d_i‎ ‎\|T\|_1=d_i (trace{(T^\ast T)}^{\frac{1}{2}})$‎, ‎and $M_{ij}$‎ ‎stands for the algebra of $d_i d_j\times d_i d_j$ ...
5
votes
0answers
70 views

Analytic families of compact self-adjoint operators: eigenvalue extension

Suppose that $A(t), t \in \mathbb{R}$, is an analytic family of compact self-adjoint operators on a Hilbert space. The Kato-Rellich theorem says that every non-zero eigenvalue of $A(t)$ splits into ...