**8**

votes

**1**answer

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

**4**

votes

**1**answer

445 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 $(s_1,...

**12**

votes

**1**answer

478 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

**2**answers

74 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

**1**answer

235 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 R)$...

**2**

votes

**1**answer

144 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

**0**answers

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

**1**answer

138 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

**1**answer

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

**1**answer

177 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 W_0^{1,p}(\...

**0**

votes

**1**answer

138 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 $T\in$...

**0**

votes

**1**answer

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

**1**answer

145 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

**0**answers

135 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 :
\begin{array}{...

**6**

votes

**1**answer

288 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

**1**answer

107 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

**0**answers

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

**2**answers

437 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

**1**answer

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

**1**

vote

**0**answers

121 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 $\...

**0**

votes

**0**answers

99 views

### Boundedness of heat semigroup on $L^1(\Omega)$

On a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary, consider the Laplacian $-\Delta$ with either the Dirichlet or Neumann boundary conditions. More generally, one can also consider ...

**1**

vote

**0**answers

48 views

### Simplifying closed form for Meta Operator

I was consider the set of linear operators:
$$O_{a,k} = \frac{f(ax^k) - f(x)}{ax^k - x} $$'
Particularly I am looking for the closed forms of the eigenfunctions of this operator, that is the ...

**3**

votes

**1**answer

117 views

### Approximating the norm of an operator-valued linear function with operator inputs via a matrix-valued linear function

Let $\mathcal{H}$ and $\mathcal{K}$ be infinite-dimensional Hilbert spaces.
Let $B_1, \ldots, B_k \in B(\mathcal{H}).$
Define $L: B(\mathcal{K})^k \rightarrow B(\mathcal{H}\otimes \mathcal{K})$ via ...

**7**

votes

**2**answers

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

**2**

votes

**2**answers

210 views

### compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold.
Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset \mathcal{D}(...

**3**

votes

**1**answer

111 views

### Create matrix containing values in [0,1] where sum of all diagonals and anti-diagonals is fixed

The problem I am facing sounds at first glance pretty simple. However, as very often, it seems more complicated than I first assumed:
I want to calculate a matrix $P = (p_{j,k}) \in \mathbb{R}^{n \...

**2**

votes

**1**answer

174 views

### Contraction semigroup

Let $(X, \mu)$ be a finite measure space and let $A$ be a non-negative self-adjoint operator which generates a contraction semigroup $e^{tA}$ on $L^2(X, \mu)$. If additionally, we have that $e^{tA}$ ...

**1**

vote

**2**answers

255 views

### Sum of two unbounded self-adjoint operators

Let $A$ and $B$ be two unbounded self-adjoint operators. From this mathoverflow post, for instance, we know that $A + B$ is self-adjoint on $\mathcal{D}(A) \cap \mathcal{D}(B)$ if $A$ and $B$ are ...

**4**

votes

**1**answer

146 views

### Does Schatten-p (quasi-)norm satisfy the norm inequality for 0<p<1?

I'm reading the paper by ANGELIKA ROHDE AND ALEXANDRE B. TSYBAKOV, ESTIMATION OF HIGH-DIMENSIONAL LOW-RANK MATRICES.
And in the paper, they provide an inequation of the Schatten-p (quasi-)norm, ...

**4**

votes

**1**answer

206 views

### Diffusion semigroup generated by Laplacian

Let $M$ be a complete Riemannian manifold and $\Delta$ denote the Laplacian on it. Also assume that the spectrum of $-\Delta$ lies inside $[a, \infty)$. Let $P_t, t > 0$ denote the diffusion ...

**4**

votes

**0**answers

90 views

### Domain of $A^{1/2}$ on $L^2(\mathbb{T}^2)$

Let $A$ be a densely defined unbounded self-adjoint operator defined on $L^2(\mathbb{T}^2)$, where $\mathbb{T}^2$ stands for the 2-torus. It is known that $A$ is positive, that is, $\langle Au, u\...

**0**

votes

**1**answer

400 views

### Operator theory of the Hessian

How can I learn more about the operator theory of the Hessian? The Hessian of a function $u : \Omega \rightarrow \mathbb R$ over a domain $\Omega \subseteq \mathbb R^n$ is the matrix of second ...

**13**

votes

**1**answer

763 views

### Are “most” operators on an infinite-dimensional complex Banach space “diagonalizable”?

This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0.
To be ...

**3**

votes

**1**answer

222 views

### Sobolev spaces on compact manifolds

Let us consider a self-adjoint elliptic pseudodifferential operator $P \in OPS^2$ on a compact manifold $M$ such that $spec(P) \subset (0, \infty)$. Is the norm $(Pu, u)^{1/2}$ on $H^1(M)$ equivalent ...

**1**

vote

**0**answers

39 views

### Recursive formula for symbol of resolvent on noncompact manifold

On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...

**4**

votes

**1**answer

263 views

### Domain of square root of a self-adjoint positive operator [closed]

Let $A \geq 0$ be a densely defined self-adjoint positive operator on a Hilbert space $H$ obtained by Friedrichs extension, and let $Q$ be the densely defined quadratic form associated to $A$, that is,...

**2**

votes

**1**answer

354 views

### Existence of a projection operator onto subspace of Hilbert space

Let $V \subset H$ be Hilbert spaces with a continuous, compact and dense imbedding. Let $\{w_j\}_j \subset V$ be a basis of $V$ and of $H$ (so finite linear combinitions are dense) which is not ...

**3**

votes

**1**answer

225 views

### A Poincare-Type Inequality and its generalization

Let $f(\theta)$ be a fixed positive $2\pi-$periodic $C^1$ function on $\mathbb{R}$ with $$\int_0^{2\pi}f(\theta)\cos\theta d\theta=\int_0^{2\pi}f(\theta)\sin\theta d\theta=0,$$
Does for any $2\pi-$...

**3**

votes

**1**answer

129 views

### Stability of a linear system and spectrum of the product of two matrices

Let us consider an invertible matrix $\mathbf{A}\in GL_d(\mathbb{R})$ such that all its diagonal entries $\mathbf{A}_{ii}=-1 \; \forall \, i$.
My question is the following:
Does it always exists a ...

**2**

votes

**1**answer

142 views

### Non-closability of an operator

Let $a$ be a positive continuous function nowhere differentiable on $[0,1]$. The operator $T$ in $H:=L^2(0,1)\oplus L^2(0,1)$ defined by
$$T(u_1,u_2) := (u_1' + au_2',0)$$
on $\textrm{Dom} \,T := \{u=(...

**3**

votes

**1**answer

107 views

### Composition of spectral measures

Let $f: \mathbb{R}\rightarrow \mathbb{C}$ be a measurable function, $H$ some Hilbert space and
$$ f_E := \int_{\mathbb{R}} f dE$$ for some spectral measure $E$.
Now, my question is: When do we have $...

**1**

vote

**0**answers

127 views

### A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology.
Is there a continuous map $\...

**2**

votes

**1**answer

176 views

### Asymptotic behaviour of eigenvalues

If you look at $-\Delta + q$ on the sphere in $\mathbb{R}^3$ for example and $||q|| < \infty,$ is there a way to asymptotically describe the behaviour of the eigenvalues? Probably they behave ...

**0**

votes

**0**answers

87 views

### Solution of non-linear Fredholm (Hammerstein) equation with non-degenerate kernel and reciprocal non-linearity

I have asked this question at MSE but got no response. I have rephrased it so that anyone who knows operator theory and integral equations could help me out... I faced a problem in physics which is a ...

**1**

vote

**0**answers

119 views

### Normal points of an operator and discrete eigenvalues

Let $\mathcal{H}$ and $\mathcal{L}({\mathcal{H}})$ denote a separable Hilbert space and the set of bounded linear operators on it respectively.
As a graduate student entering the field of non-...

**1**

vote

**1**answer

122 views

### Approximation Property: Decomposition

This thread originated from MSE: Approximation Property: Decomposition
Given a Banach space $E$.
Consider a finite rank operator $F\in\mathcal{F}(X,E)$.
Introduce a basis on the finite dimensional ...

**0**

votes

**0**answers

83 views

### Approximation Property: Characterization

Problem
Given a Banach space $E$. Denote compact sets by $\mathcal{C}$, compact operators by $\mathcal{C}(X,Y)$, and finite rank operators by $\mathcal{F}(X,Y)$.
Suppose it has the approximation ...

**0**

votes

**0**answers

91 views

### Compact Approximation

This thread originated from MSE: Compact Approximation
This is meant as lemma for: Approximation Property
Given a Banach space $E$.
Denote compact domains by $\mathcal{C}$.
Denote compact ...

**4**

votes

**0**answers

119 views

### Infinitesimal Generator of Billiard Flow

The Billiard flow $S_t$ on a Riemannian manifold with boundary (with corners) is the group of operators defined on continuous functions on the Co-sphere bundle as follows: To determine $S_t u(\xi)$, ...

**14**

votes

**0**answers

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