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

learn more… | top users | synonyms

3
votes
1answer
162 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
46 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
125 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 ...
3
votes
0answers
227 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 ...
4
votes
1answer
141 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
195 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
71 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} ...
3
votes
1answer
264 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
46 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) : ...
1
vote
0answers
104 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), ...
2
votes
0answers
58 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 ...
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$ ...
8
votes
1answer
216 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 ...
3
votes
0answers
39 views

Reference request: derivative of trace of heat operators with respect to a parameter

I hope that the following question is appropriate to ask here as it is not exactly research or original Mathematics but rather an enquiry for a reference or "standard method of proof": Suppose we are ...
4
votes
1answer
106 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
1answer
229 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 ...
6
votes
1answer
500 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 ...
1
vote
0answers
124 views

Generating a series representation for the inverse of the operator $f(f)$

I am considering the following problem: Suppose you are given a function $u: C \rightarrow C$, find a function $g$ such that $g(g) = u$ (Let's assume that such a function exists). And by "find", I ...
1
vote
1answer
103 views

Sum of two surjective operators

It is well-known that the sum of two surjective operators isn't (in general) a surjective operator (for example consider $A+(-A)$). When it happens that the sum of two surjective operators is still ...
1
vote
0answers
100 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 ...
1
vote
0answers
34 views

Behavior of fundamental solution for parabolic equation on non compact complete riemannian manifold

Suppose that M is a complete noncompact Riemannian manifold. What is the necessary and sufficient condition that an operator on $L^{2}(M)$ comes from a smooth kernel that itself and all of the its ...
2
votes
1answer
106 views

Infinite Determinant between different Hilbert Spaces

It is well-known, that if $A = \mathrm{id} + S$ is a bounded operator on a separable Hilbert Space $H$ with $S$ trace-class, then there is a well-defined notion of determinant, e.g. in terms of the ...
4
votes
2answers
403 views

$C^{*}$ algebras which do not admit nontrivial idempotent morphism

In this question which I flag it as a community wiki, I search for a big list of $C^{*}$ algebras(and a big list of criterions) which do not admit a non trivial idempotent $C^{*}-$morphism. I ...
1
vote
1answer
91 views

examples of completely positive order zero maps to demonstrate a theorem

I'm interested explicit examples which can be used to demonstate the theorem: Theorem: Let $A$ and $B$ $C^*-$algebras and $\phi:A\to B$ be a completely postive map of order zero. Set ...
5
votes
0answers
107 views

Fock Space Proof of $(g(x)\phi^4)_2$ Mass Gap?

Is there a proof that does not depend on Euclidean methods? Is this a proof? : $V(g)$ can be written as $P+R$ where $P$ is non-negative and $R$ is $N$-bounded (and hence $(H_0+\lambda P)$-bounded). ...
6
votes
0answers
129 views

Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property? This would follow if ...
6
votes
2answers
298 views

Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...
5
votes
1answer
71 views

Continuous section inside a family of rank-varying operators

Good morning everybody, my question is as follows: let $K$ be a compact set and assume $F:K\to L(\mathcal H,\mathbb R^{m+1})$ be a continuous map from the compact set $K$ to the space of linear ...
7
votes
1answer
575 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
438 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 ...
12
votes
1answer
468 views

Which nice/deep elaborations on the (operators <-> sheaves) / (endomorphisms <-> objects) theme are there?

A linear operator $T:V\to V$ on a (say) vector space over a field $k$ is just a $k[T]$-module, and may be viewed as the sheaf $\mathscr F_T$ over $\mathbb A^1_k$, with fibre over $\lambda\in k$ equal ...
0
votes
2answers
72 views

Maximum principle for the heat equation with Dirichlet conditions

Let us consider the Laplacian operator in a domain $\Omega\subset \mathbb{R}^n$, with Dirichlet boundary conditions. For all $f\in L^2(\Omega)$, we denote by $S(t)f$ the solution of the equation $$ ...
-3
votes
1answer
212 views

Is :$\frac{\Bbb d}{\Bbb d x}$ a chaotic operator in infinite-dimensional Hilbert space? [closed]

I proposed this question in SE but no answer ,may I have a problem in my question, I would like to know when $\frac{\Bbb d}{\Bbb d x}$ does chaotic operator in Hilbert space ? Let $H$=$L^2(\mathbb ...
2
votes
1answer
137 views

Domain of fractional powers of operators

Let $A$ and $B$ be non-negative ($(A x, x) \geq 0$ for all $x \in \mathcal{D}(A)$, similarly for $B$) densely defined self-adjoint operators on a Hilbert space $H$. Then the spectral theorem defines ...
1
vote
0answers
48 views

Equivalence of fractional power of second-order positive differential operator as pseudodifferential operator and a fractional definition

Let $A$ be a second-order differential operator on a closed manifold $M$ satisfying $$(Au,u) \geq 0$$ with $A=-\Delta$ the Laplace-Beltrami the model case. One can define for $s \in (0,1)$ the ...
4
votes
1answer
137 views

Operator on a Banach space

Let $T$ be a continuous operator on a Banach space $V$. Assume there exist $T$-stable finite-dimensional subspaces $V_i$ such that $\bigoplus_{i=1}^\infty V_i$ is dense in $V$, on $V_i$ the operator ...
2
votes
1answer
153 views

Elliptic regularity of second order pseudos

Let $M$ be a compact manifold. Choose a point $q \in M$. Let $P$ be a second order positive self-adjoint pseudodifferential operator such that $\text{Spec}(P) \subset (0, \infty)$. Also, we know that ...
3
votes
1answer
174 views

A question on the Frechet derivative

Suppose the derivative of a functional is given by \begin{equation*} \int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi=\int_{\Omega}\nabla.(u\vec{v})|\nabla u|^{p-2} \phi,~\phi\in ...
0
votes
0answers
33 views

On the induced norms of stochastic operator and its adjoint operator

The background: when studying the paper published in Automatica named '$H_{\infty}$ control and filtering of discrete-time stochastic systems with multiplicative noise' (volume 37, pp. 409-417), I ...
0
votes
1answer
134 views

Schatten $p$-classes for small $p$

Suppose $\mathcal H$ is a separable Hilbert space and $T$ is a compact self-adjoint operator on $\mathcal H$. Let $\{e_n\}$ be an orthonormal basis for $\mathcal H$. Fix $1<p<2$. Does ...
0
votes
0answers
91 views

Alternating projections and trace preserving maps

Let $\{\Pi_i\}_{i=1}^N$, $\Pi_i\in \mathbb{C}^{n\times n}$ be a set of orthogonal projections. By the Von Neumann alternating projection theorem, it holds that $$ ...
0
votes
1answer
82 views

Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C. I'd like a function μ:Cn×n→[0,∞) ...
2
votes
1answer
136 views

Integral kernels of self-adjoint operators [closed]

If the integral kernel $k(x, y)$ of an operator $T : C^\infty_c(M) \to \mathcal{D}'(M)$ is symmetric ($M$ is a compact manifold), then the operator $T$ is symmetric. Is the converse true? That is, ...
1
vote
0answers
133 views

What is the trace of this operator in $L^\infty$ (if this question make sense)?

Let $\Omega$ be a closed domain in $\mathbb{R}^N$, and $\lambda$ the corresponding Lebesgue measure. We define in $(L^\infty(\Omega), \Vert \cdot \Vert_\infty)$ the following operator : ...
6
votes
1answer
286 views

An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that $$ f^2=f $$ (that ...
1
vote
1answer
105 views

Element Analytic, C*-dynamical system

good night... I was looking into the Pedersen Book, $C^{*}$-Algebras and their automorphism groups, and found the definition of analytic elements $x\in A$, where $(A,\alpha)$ is a $C^{*}-$dynamical ...
0
votes
0answers
127 views

Heat asymptotics

Consider a compact manifold $M$ with smooth boundary, with either the Dirichlet or the Neumann boundary conditions. Consider a (time-dependent) open ball $B_t \subset M$. Given a fixed $u \in L^1(M)$, ...
2
votes
2answers
428 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 ...
1
vote
1answer
102 views

On the equality Tr(Af) = Tr(fA)

Consider the Hilbert space $H = L^2(\mathbb{R})$, and a bounded operator $A \in B(H)$ which satisfies: $$ \forall f \in H, \quad Af \text{ is trace class and } Tr(Af) < C \| f \|_{H}, $$ where $f$ ...