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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.

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

8
votes
2answers
249 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/...
2
votes
0answers
34 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 ...
1
vote
1answer
81 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
170 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
93 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
229 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
241 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
74 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
116 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
57 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
58 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
104 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
121 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
92 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
65 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
67 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 ...
4
votes
0answers
111 views

Is this a pseudodifferential operator?

Let $M$ be a non-compact manifold and $D$ a first-order self-adjoint elliptic differential operator on $M$. Then is the bounded operator $$A:=\sqrt{(D^2+1)^{-1}}:L^2(M)\rightarrow H^1(M)$$ a ...
3
votes
1answer
122 views

Does separability of the strong operator topology imply separability of the underlying space?

Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$. Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum. ...
7
votes
2answers
267 views

If the cardinality of $B(X)$, the space of operators on $X$, is continuum, must $X$ be separable?

Does there exits any non-separable Banach space $X$ such that the size (cardinal number) of $B(X)$, bdd linear operators on $X$, is just of the continuum?
13
votes
0answers
189 views

Approximate eigenvectors for a set of non-commuting self-adjoint operators

This problem is motivated by finding the right mathematical setting for expressing the compatibility of classical physics with quantum mechanics. Let $\mathcal H$ be a Hilbert space and $S$ a ...
0
votes
1answer
57 views

Convergence rate of eigenvectors

Let us suppose that $A,A_1,A_2,\ldots$ are non-negative definite self-adjoint bounded linear operators in $L(\mathbb H)$, where $\mathbb H$ is a separable Hilbert space. $(v_j)_{j\ge1}$ and $(\...
2
votes
2answers
124 views

References for the Spectral Theorem ( Multiplication Operator Form)

Let $A_1$ and $A_2$ be two commuting self-adjoint (or normal) operators on an infinite-dimensional complex Hilbert space $E$, then there exists a measure space $(X,\mathcal{E},\mu)$, two functions $\...
0
votes
0answers
53 views

Spectral projection of a positive operator

Let $(X,K)$ be a partially ordered Banach space where the cone $K$ is generating and normal. Suppose $B$ is a bounded operator on $X$ such that $B(K)\subseteq K$, the spectral radius $\rho(B)=1$ and ...
2
votes
1answer
71 views

Are the Prolate Spheroidal Wave Functions absolutely integrable?

I would like to know if the Prolate Spheroidal Wavefunctions (PSWFs, defined below) are in $L^1(\mathbb{R})$. I know that they are square integrable, but cannot decide about absolute integrability. ...
0
votes
0answers
65 views

Spectrum of a Hamiltonian on the real line

Consider the following linear (Hamiltonian) operator on functions on the real line $\mathbb{R}$ $$H\psi(x)=-\frac{d^2}{dx^2}\psi(x)+V(x)\psi(x).$$ Assume that $V$ is a smooth function and $V(x)\to +\...
4
votes
2answers
129 views

Bound on sum of $n$th super-diagonal entries in a $2n$ by $2n$ PSD matrix

Let $A,B,C\in\mathbb{R}^{n\times n}$ be such that $\left(\begin{array}{} A & B \\ B^T & C \end{array}\right)\succeq 0$. I would like to prove that $$\mathrm{trace}\,B \le \sum_{i=1}^n \sqrt{\...
2
votes
0answers
121 views

The nonlinear operator defined as the commutator of a matrix and a nonlinear operator

In my studies of applied analysis and applied linear algebra, this interesting problem and concept came up: Let us consider the space of all $ m \times n $ real matrices, and define a scalar ...
3
votes
1answer
102 views

The norm of a bounded operator acting on $\operatorname{Im}(M^{1/2})$

Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an infinite dimensional complex Hilbert space $(F,\langle\cdot,\cdot\rangle)$. Let $M\in \mathcal{B}(F)^+$ (i.e. $\langle Mx\;, \;x\...
1
vote
1answer
121 views

On projection theory for inseparable Hilbert spaces

How can one see that $I$ is an infinite projection in $B(\mathcal{H})$, where $\mathcal{H}$ is an inseparable Hilbert space?
3
votes
1answer
406 views

Is Quantum Mechanics (norm)-consistent?

I edited a few small comments to the question in order to make it perhaps more comprehensible. Today I came across the following question in quantum mechanics. In Quantum mechanics it is common to ...
13
votes
3answers
431 views

Version of Banach-Steinhaus theorem

I am wondering about the following version of the Banach-Steinhaus theorem. Let $A$ be a closed convex subset contained in the unit ball of a Banach space $X$ and consider bounded operators $T_n \in \...
2
votes
1answer
71 views

Lipschitz bound on semigroups

Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator. Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$ Now if you think about ...
2
votes
0answers
105 views

Relationship between eigenvalues of compact operators $A$ and $(A+A^*)/2$

A result from 'Topics in Matrix Analysis' by Horn & Johnson (3.3.33) is the following: For $A\in \mathbb{M}_n$, $\sum_{i=1}^k Re \lambda_i(A) \leq \sum_{i=1}^k Re \lambda_i \big(\frac{A+A^*}{2}\...
1
vote
0answers
63 views

Projections in properly infinite factor

Denote by $\sim$ the "Murray-von Neumann" equivalence in the projection lattice of a von Numann algebra. Let $e$ be a projection in a properly infinite factor. Is it always true that $e\sim 1$ or $1-e\...
6
votes
2answers
162 views

Uniform continuity of heat semigroup

I would like to illustrate my question with an example: It is well-known that $\Delta$ is the generator of a strongly continuous semigroup $(T(t))$ on $L^2(\mathbb R^n),$ i.e. the heat-semigroup. It ...
1
vote
1answer
101 views

$S_M$ is not always homeomorphic to the 1-sphere of $F$

Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
4
votes
1answer
125 views

$L^2$-valued integral as parameter integral

Setting Let us regard the Hilbert space $L^2(0,1)$ and the $C_0$-semigroup $(T(t))_{t\geq 0}$ defined by $$ T(t):\left\{ \begin{array}{rml} L^2(0,1) & \to & L^2(0,1), \\ [f]_{\sim} &\...
2
votes
2answers
196 views

A theorem related to the Hilbert space $\text{Im}(M^{1/2})$ with $M$ is a positive operator

Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an infinite dimensionel complex Hilbert space $(F,\langle\cdot,\cdot\rangle)$. Let $M\in \mathcal{B}(F)^+$ (i.e. $\langle Mx\;, \;x\...
9
votes
1answer
313 views

Well known matrix inequality?

I suspect that the following matrix inequality is well known, but I can't find a reference or proof: Given $n \times n$ symmetric matrices $A,B$ such that $I_n \leq A,B$, is the following true? $${...
5
votes
1answer
129 views

Spectrum of the product of operators

Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an infinite-dimensional complex Hilbert space $F$. Let $A,B\in \mathcal{B}(F)^+:=\left\{T\in \mathcal{B}(F);\,\langle Tx, x\...
0
votes
0answers
61 views

Discrete spectrum of Schrodinger operator

Assume $\Omega$ is a non-compact region or manifold with dimension $\geq4$. Let $H=-\Delta+V$ be Schrodinger operator. Here $V$ is a (smooth)function. I know that if $V\geq c>0$ or $V\to c>0$,...
1
vote
1answer
74 views

Expressing a matrix operator as a sum of an identity and a compact operator

My problem concerns with the unique solvability of a linear system of integral equations. In my problem, as I was able to write the system in matrix form: $$ M \begin{align} \begin{bmatrix} ...
2
votes
1answer
70 views

Determinant of a matrix involving the Prolate Spheroidal Wave Functions

The Prolate Spheroidal Wave Functions are eigenfunctions of the following integral equation: $$\int_{-T}^T\varphi_n(x) \text{sinc}(t-x) dx = \lambda_n \varphi_n(t)$$ where $\text{sinc}(t) = \sin(\pi ...
1
vote
1answer
79 views

Is the canonical map $\mathfrak L(X,E)\:\hat\otimes_\pi\:\mathfrak L(Y,F)\to\mathfrak L(X\:\hat\otimes_\pi\:Y,E\:\hat\otimes_\pi\:F)$ injective?

If $A,B$ are $\mathbb R$-Banach spaces, let $A\:\hat\otimes_\pi\:B$ denote the completion of the algebraic tensor product of $A$ and $B$ with respect to the projective norm. Let $X,Y,E,F$ be $\mathbb ...
1
vote
0answers
110 views

identity involving spectral functions

Let $A$ be any compact operator and let $A^*$ denote its adjoint. Let $f$ be a spectral function. Then is the following true : $$ A^* f(AA^*) = f(A^* A) A^*$$
5
votes
1answer
87 views

Pointwise convergence in functional calculus

Let $A_n$ be a family of (bounded) self-adjoint operator converging pointwise to some (unbounded) self-adjoint operator $A,$ i.e. for all $x$ in the domain of $A$ $$\left\lVert A_n x-Ax \right\rVert \...
1
vote
1answer
122 views

Does the image of $f$ contain a positive number?

Let $H$ be a Hilbert space and $T$ be a bounded and positive operator on $H$. Define a real function $f$ on positive real numbers by $$f(r):=\|(r+T)^{-1}\|^{-1}-r\quad(r\in\mathbb R_+).$$ Does the ...