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

learn more… | top users | synonyms

6
votes
1answer
194 views

Hodge de Rham operator and orientability

Let $(M,g)$ be a Riemannian manifold. One can consider the exterior algebra bundle $\Lambda(T^*M)$. The sections of this bundle are differential forms, to be noted by $\Omega^k(M)$. One can consider ...
4
votes
0answers
59 views

Some questions on the nodal geometry of Dirac operators

Let me begin by quoting a well-known result of Christian Baer (see here). The result goes as follows: Theorem (Baer): Consider a connected $n$-dimensional Riemannian manifold with Dirac bundle $S$ ...
42
votes
2answers
613 views

Can you hear the shape of a drum by choosing where to drum it?

I find the problem of hearing the shape of a drum fascinating. Specifically, given two connected subsets of $\mathbb R^2$ with piecewise-smooth boundaries (or a suitable generalization to a riemannian ...
1
vote
0answers
46 views

Can a semigroup be defined on a Banach algebra? [closed]

I simply need to know that how a semigroup of operators (say $\{T(t)\}_{t\geq 0}$) is defined on any Banach algebra (say $X$)? For $(f,g\in X)$ now the so called product is also there i.e. $f.g\in X$. ...
1
vote
1answer
105 views

When is a homogeneous polynomial an inner function on the unit torus?

What is the necessary and sufficient condition(s) for a homogeneous polynomial on torus(bidisk) to be an inner function? More precisely I want to know when absolute value of a homogeneous polynomial ...
1
vote
1answer
98 views

Self-adjointness of the components of the magnetic derivative

On $L^{2}(\mathbb{R}^{n})$ define the operator $\Pi_{j} u := (-i\partial/\partial x_{j} - A_{j})u$, where $A_{j} \in L^{2}_{loc}(\mathbb{R}^{n})$ represents the $j$-th component of the magnetic ...
0
votes
0answers
32 views

Kernel for projection operators onto the spaces of piecewise linear loops

For every $m\in\mathbb{N}_+$, $k=0,\dots,m-1$, denote $I_{m,k}:=(\frac{k}{m},\frac{k+1}{m})$. Denote $W = H^1(S^1,\mathbb R^{2n})$ = The Hilbert space of $C^1$ maps maps $v(t)$ from the circle to ...
6
votes
1answer
482 views

An equivalence relation on the space of polynomials in one complex variable

Let $P(z)$ be a polynomial with complex variable $z$. We consider the following distribution for the roots of $P(z)=0$: the distribution is a triple $(n_{1},n_{2},n_{3})$ where these integers are ...
3
votes
2answers
129 views

Weak convergence implies norm convergence for trace class operators?

It is known that weak convergence implies norm convergence in $\ell^1(\mathbb{N})$, see e.g. here. Because of the typical analogies of the Schatten ideals $C_p \subset B(H)$ (where $H$ is a Hilbert ...
3
votes
0answers
223 views

Graded structures for simple $C^{*}$ algebras without nontrivial idempotent

Edit(A confession): I just realized that the question is trivial: Since one can easily prove that the convex hull of the spectrum of every nontrivial homogeneous element of a $\mathbb{Z}_{n}$-graded ...
0
votes
0answers
43 views

Matrix representation of linearized PDE

My motivation for this question is to investigate the linear stability of steady solutions of a nonlinear PDE by computing eigenvalues of the linearized equations. Specifically, I have a function ...
1
vote
0answers
69 views

Heat semigroup ultracontractive?

Let $g(x,t)= \frac{1}{(4 \pi t)^{\frac{n}{2}}}e^{\frac{-|x|^2}{4t}}$ be the heat kernel on $\mathbb{R}^{n}.$ Is the standard definition now to say that this heat-semigroup $T(t)(f):=g *f(.,t)$ is ...
9
votes
1answer
538 views

Is there an algebra for divergent series summation operators?

Let $D$ denote a divergent series and let $C$ denote a convergent series. Furthermore, let $s : $ { Series } $\to$ $\mathbb{C}$ be a regular, linear divergent series operator, which is either one ...
4
votes
1answer
220 views

Fredholm subvector spaces of $B(\mathcal{H})$

Let $\mathcal{H}$ be a separable Hilbert space with orthonormal base $\{e_i\}\;\;i\in \mathbb{N}$. Definition: We say a subvector space $W\subset B(\mathcal{H})$ is a Fredholm subspace if ...
4
votes
3answers
149 views

Show that the Laplacian operator on the Heisenberg group is negative

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$ For $z=x+ i y \in \mathbb C$ ...
4
votes
1answer
105 views

Restriction of a semigroup to a form domain

Say, we have a Hilbert space $H$ with a semibounded self-adjoint operator $A:D(A)\to H$ generating a strongly continuous semigroup $T(t):H\to H$. Is it possible to restrict $T(t)$ to a form domain of ...
4
votes
0answers
119 views

Noncommutative Poincaré inequalities

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

Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$. Is the tensor product of two path connected algebra, a path ...
2
votes
2answers
193 views

Weakly compact operators between Banach spaces

Let $X$ and $Y$ be complex Banach spaces and $B(X,Y)$ be the Banach space of all bounded operators. An operator $T\in B(X,Y)$ is weakly compact if $T(\{ x\in X;\; \| x\| \leq 1\})$ is relatively ...
11
votes
3answers
676 views

Bibliographic request concerning an article by Bernstein and Robinson

Concerning the article "Bernstein, Allen R.; Robinson, Abraham. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos. Pacific J. Math. 16 1966 421-431" I am interested in finding ...
2
votes
1answer
77 views

Pointwise convergence of polynomials to a function on a compact set K that is 1 on some disc D and zero outside D

Motivation of my question: Let $A$ be a bounded selfadjoint operator with spectral measure $E$ and $x$ a vector. Then it is easily seen that the closed linear span of all $A^nx$ ($n\in\mathbb N$) ...
9
votes
1answer
90 views

A generalisation of $C_0$-semigroups

A $C_0$-semigroup is a strongly continuous family $\{T(t)\}$ of bounded linear operators on a normed space $X$, indexed in $\mathbb R_+$ and with two additional properties that make it look like an ...
2
votes
1answer
124 views

How do we know the map is $w^{*}$-continuous?

I am reading a paper by David Blecher, which contains the following: " If $T: Y \to Z$ is a surjective isometric module map between $W^{*}$-modules over $M$, then $T$ is unitary. Also, $T$ is a ...
3
votes
2answers
624 views

Can one hear the shape of a drum for operators?

M. Kac in his famous paper "Can one hear the shape of a drum?" asked whether one can "hear" the area of the ambient domain by looking at the spectral picture. Although he was not the first who came up ...
4
votes
0answers
94 views

Smooth perturbation of a positive self-adjoint operator with compact resolvent

Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...
2
votes
1answer
82 views

Approximation of the central support

Let $(M,\tau)$ be a tracial von Neumann algebra, i.e. a unital subalgebra $M=M''\subset \mathbb{B}(H)$; a finite (faithful) trace $\tau: M\to \mathbb{C}$ (faithful means that $\tau(x^*x)=0$ ...
4
votes
1answer
127 views

Invariant subspaces are reducing subspaces in $L^2(\mu)$; where $\mu$ is a singular measure w.r.t Lebesgue measure

I have already posted this question on math.stackexchange but didn't get any answer. I hope this is the right place to ask this question. Recently I was reading a book "Operator Function and system" ...
1
vote
0answers
71 views

One-parameter group of unitary operators and Core

Question : For what condition on $V$ (we can take it smooth, bounded, whatever necessary), the one-parameter unitary group $U(t)$ associated to the seladjoint operator $A=-\Delta+V$ on $\mathbb{R}^n$ ...
8
votes
0answers
70 views

Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting. After a quick thought, I've gone through the standard ...
3
votes
0answers
54 views

Spectral theory of Bochner integral operators

Consider the following (somewhat simplified) situation. Let $\mathcal{H}$ be separable Hilbert space and $\mathcal{B}(\mathcal{H})$ the Banach algebra of bounded linear operators acting on ...
4
votes
0answers
133 views

A question on extension of $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor. Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence ...
0
votes
1answer
86 views

The monotone operator in $BV$ space

I am considering the following minimizing problem: $$ \min_{u\in BV(\Omega)}\{\frac12\|u-u_0\|_{L^2}^2 + |u|_{TV(\Omega)}\} $$ where $u_0\in BV(\Omega)$, $\Omega\subset \mathbb R^2$ is open bounded, ...
7
votes
1answer
563 views

A problem in functional calculus

This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...
3
votes
1answer
134 views

comparing norms of tensor product of two Hilbert spaces

Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$ consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...
1
vote
0answers
39 views

Factorization of the Fokker-Planck semigroup

I have posted this question on stackexchange over four month ago, but didn't get an answer: "In the classical theory of Markov processes, the Fokker-Planck semigroup $\{T_t:t\ge 0\}$ can be factored ...
1
vote
1answer
100 views

Comparison between spectra

Let $G$ be a normal operator with compact resolvent on a Hilbert space $H$ such that ${\rm ker}(G) \neq {0}$. Further let $P$ be the orthogonal projection onto ${\rm ker}(G)$, and let $G_{0}:=G+P$. ...
3
votes
1answer
124 views

$M_Λ(A) → A ⊗ M_Λ(C)$

I saw this in here. Let $A$ be a Banach algebra, and let $\Lambda$ be a non-empty set. We denote by $M_\Lambda(A)$ be the set of $\Lambda\times\Lambda$ matrices $(a_{ij})_{i,j\in\Lambda}$ with entries ...
1
vote
0answers
102 views

Homomorphic Commutator? Equation

So I was considering the following functional equation: Given $H :\Bbb{C}^2 \rightarrow \Bbb{C} $ find $\theta: \Bbb{C}^2 \rightarrow \Bbb{C}$ such that $$ \theta(H(a,b), H(c,d)) = H(\theta(a,c), ...
0
votes
0answers
94 views

On isolated points of the approximate point spectrum of a bounded operator

Let $X$ be a complex Banach space and $T$ be a bounded operator acting on $X$. Let $\sigma(T)$ and $\sigma_{ap}(T)$ denote the spectrum and approximate point spectrum of $T$, respectively. Let ...
1
vote
0answers
99 views

Algorithm for finding eigenfunctions

I have an $ L^2(\mathbb{R}) $ operator that looks like $$ \Omega = \int \partial\phi(a, b)\ \ |b, a\rangle \langle b, a |, $$ where $ \langle x | a, b \rangle = f_a(x - b) e^{x^2/2} $ and $ f_a \in ...
4
votes
1answer
137 views

Is the sum of spectral projections a projection?

Let $T$ be a closed operator on a Hilbert space with discrete spectrum. Then for $\{\lambda_1,...\lambda_n\}\in\sigma(T)$ one can define the spectral projections ...
5
votes
0answers
183 views

Eigenvalues of a certain product of matrices with special structure

Let $d$ and $c$ be positive integers and $q = dc$. Let $G$ be a $q$-by-$q$ positive semi-definite real matrix with eigenvalues all $\le 1$, and define the $q$-by-$2q$ matrix $A = ...
0
votes
1answer
65 views

Norm of derivative of rank one projector

I asked this question on math.stack but I got no answer, so I try here. Let $\phi(t)$ be a solution for the nonlinear Schroedinger equation\begin{equation} ...
7
votes
2answers
266 views

Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...
3
votes
1answer
255 views

Connections to physics, geometry, geometric probability theory of Euler's beta integral (function)

Euler"s integral for the beta function $B(s,\alpha) = $ (with $x = 1$) $$ \frac{(s-1)!(\alpha-1)!}{(s+\alpha-1)!} x^{s+\alpha-1} = \int_0^\infty t^{s-1}\; H(x-t) \; (x-t)^{\alpha-1} dt = \int_0^x ...
1
vote
0answers
40 views

How to define Biharmonic operator for second order sobolev spaces

I am studying an article Link of Article. There author assumes that $\Omega \subset \mathbb{R}^N$, $ N>4 $ . Some where in the paper we have $$ \Delta^2 (\cdot) - \frac{\lambda}{|x|^4} (\cdot) : ...
3
votes
1answer
432 views

Comparing norms on tensor products of matrices

Given a Hilbert space $H$, let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is $$ \Vert T \Vert_1 = \sum_{j\geq 1} |s_j| $$ where ...
2
votes
0answers
50 views

The motivation of Weyl-Titchmarsh function

Given a second linear differential operator, $(Hf)(x)=-\frac{d^2}{dx^2}(x)+V(x)f(x)$, where $V$ is a bounded and real valued function, $f$ lies in $L^2(\mathbb{R})$. For an $z$ with $Im(z)\neq ...
2
votes
2answers
423 views

Is the residual spectrum of every power bounded operator contained in the open unit disk?

$\newcommand{\cH}{\mathcal{H}} \newcommand{\CC}{\mathbb{C}}$ Let $\cH$ be a Hilbert space. A linear operator $T: \cH \to \cH$ is said to be power bounded if $\sup_{n \geq 0} \|T^n\| < \infty$. If ...
0
votes
1answer
59 views

Introducton books for ‎$\frak{E}_p(I)$

Are there any good books different from abstract harmonic analysis by hewitt to study ‎$\frak{E}_p(I)$. where ‎$\frak{E}_p(I)$ is: ‎Let $I$ be an arbitrary index set‎. ‎For each $i\in I$ let $H_i$ ...