All Questions
87 questions
0
votes
1
answer
169
views
Is the evolution family self-adjoint?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
\newcommand{\qtext}[1]{\quad\text{#1}}
\newcommand{\qtextq}[1]{\quad\text{#1}\quad}
$
I am reading Roland Schnaubelt's survey ...
- 835
1
vote
0
answers
111
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,389
7
votes
1
answer
415
views
Is there a “Closure-of-Range Theorem” for Banach spaces?
The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions:
$T(X)$ is $s$-closed; $T(X)$ is $...
- 60.5k
0
votes
0
answers
78
views
Definition of Moore-Penrose inverse for unbounded self-adjoint operators?
I know there is a concept of Moore-Penrose or pseudoinverse of a matrix. I would like to know if one can define it for densely defined unbounded self-adjoint operators on Hilbert spaces as well. ...
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
0
votes
0
answers
60
views
asymptotic expansions for $C^{1+\epsilon}$operators
I want to understand the asymptotic expansion for $C^{1+\epsilon}$ operators.
More precisely, if a complex operator $T(z)=\sum_{n \ge 1}T_n z^n$ is defined on a closed unit disk, and it is $C^{1+\...
user522705
1
vote
0
answers
108
views
Infinite tensor product of Hilbert spaces [duplicate]
Recently while reading an article I came across the usage of infinite tensor product of Hilbert spaces. I have got a basic understanding of doing computations in infinite tensor product while reading ...
- 11
2
votes
0
answers
95
views
Self adjoint operators from energy functionals
It is known that the equation
$$
\Delta f = 0
$$
on some bounded domain $\Omega$ on $\mathbb{R}^n$ subjected to certain boundary conditions can be derived through the minimization of the Dirichlet ...
- 115
1
vote
0
answers
111
views
Residues of analytic operators
Suppose we have analytic operators $P_{z}: C^1[0,1]\to C^1[0,1]$, where $z \in \mathbb{C}$, and the spectrum of $P_{z_0}$ possesses an isolated eigenvalue $1$ (assuming multiplicity is 1 and $I-P_z$ ...
- 11
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
3
votes
2
answers
147
views
Lumer-Phillips-type theorem for non-autonomous evolutions
The classical Lumer-Phillips theorem characterizes the generators of contraction semigroups. I am looking for a similar characterization or at least a sufficient condition for a family of unbounded, ...
- 300
3
votes
0
answers
151
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...
- 101
3
votes
1
answer
185
views
Is the weighted shift strong frequently hypercyclic?
One sided Shift
Let be $M$ separable metric space. Consider $X=M^{\mathbb{N}}$ the sequence space equipped with the product metric $d(x,y)=\sum_{i=1}^\infty |x_i-y_i|/2^i$ . Define the shift map $\...
- 757
5
votes
2
answers
276
views
Dilation of bounded linear operators
Let $H$ be a Hilbert space, and let $A$ be a contraction (bounded linear operator of norm $\leq 1$) on $H$. I heard in a recent talk that there is a (apparently famous) result due to Sz-Nagy which ...
- 51
3
votes
0
answers
198
views
On a paper of von Neumann
Let $H$ be a Hilbert space and $T: H \to H$ be a contraction. In Eine Spektraltheorie für allgemeine Operatoren eines unitären Raumes, von Neumann proved the inequality
$$
\lVert p(T)\rVert \leq \sup \...
- 31
1
vote
0
answers
52
views
Sherman-Davis type inequalities for non-negative operator in a Hilbert space with trivial kernel
Recently I read Rupert L. Frank's paper "Eigenvalue Bounds for the Fractional
Laplacian: A Review". For a domain $\Omega\subset\mathbf R^n$, there are two different definitions of ...
- 705
5
votes
0
answers
163
views
Commutator of pseudodifferential operator and multiplication operator
Cross-post from math.sx.
Let $\eta:\mathbb R^n\to[0,1]$ be a smooth and compactly supported function and assume $f:\mathbb R^n \to\mathbb R$ is measurable. I want to bound the commutator of the ...
- 245
2
votes
1
answer
156
views
Intuition/references for understanding bound states/discrete spectrum relationship
I am trying to form intuition for the following `well-known' facts about spectrum of unbounded operators (Schrodinger/wave etc.) $L$ on $\mathbb{R}^n$.
Let $\lambda\in\mathbb{R}$ satisfy
$Lf=\lambda f$...
- 116
2
votes
1
answer
104
views
Operators "building" linear independant sets
Let $E$ be a separable Banach space and let $T\in L(E,E)$.
Is there a condition on $T$ ensuring that:
$$
\mbox{$\{x_n\}_{n=1}^N\subseteq E$ is linearly independent} \Rightarrow
\{T(x_n)\}_{n=1}^N\cup \...
- 93
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
- 5,405
4
votes
1
answer
279
views
Reference request: Baire's theorem for operator ranges
Let $F$ be a Banach space. A vector subspace $U \subseteq F$ is called an operator range if there exists a Banach space $E$ and a bounded linear mapping $T: E \to F$ such that $TE=U$. By a quotient ...
- 12.5k
2
votes
0
answers
654
views
Convergence of operator in norm resolvent sense and their eigenvectors
Let $\{T_n\}_{n=1}^\infty$ and $T$ be (unbounded) self-adjoint operators and $T_n\to T$ in norm resolvent sense, that is, for some $z\in \mathbb{C} \setminus \mathbb{R}$, $\|(zI- T_n)^{-1}- (zI- T)^{-...
- 21
0
votes
0
answers
154
views
When is the heat semigroup Gibbs?
Defining the Laplacian on a region $Ω$ of $\mathbb{R}^d$ with Dirichlet boundary conditions, under what conditions on the region (or any other possible assumptions) is the semigroup it generates Gibbs,...
9
votes
1
answer
669
views
Reference for "Every compact quasinilpotent operator is the limit of nilpotent ones"
It was mentioned on Page 916 Problem 7 of Halmos's "Ten Problems in Hilbert space" that there is a proof for "Every compact quasinilpotent operator is the limit of nilpotent ones" ...
- 191
1
vote
1
answer
111
views
Sum of positive self-adjoint operator and an imaginary "potential": literature request
To keep things simple, let us consider the following: $L$ is a positive, unbounded S.A. operator on $L_2(\mathbb{R},f(x))$, where $f(x)$ is a Gaussian. Assume that we know the spectrum and ...
- 13
0
votes
0
answers
122
views
Isolated points of the spectra of self-adjoint operators on Hilbert spaces
Let $T$ be a (everywhere defined) self-adjoint operator on a complex Hilbert space $\mathcal{H}$.
I am interested in results that give (non-trivial, possibly mild) sufficient conditions on $T$ to ...
9
votes
2
answers
610
views
When does $\left\Vert f(\mathbf{N}) - f(\mathbf{M})\right\Vert_{\mathrm{op}} \leq k\left\Vert \mathbf{N} - \mathbf{M}\right\Vert_{\mathrm{op}}$ hold?
Define the Frobenius norm of a matrix as $\left\Vert A \right\Vert_{\mathrm{F}}=\sqrt{\sum_{i,j} A_{ij}^2}$ and the operator norm as $\left\Vert A \right\Vert_{\mathrm{op}}=\sup_{x \not = 0} \frac{\...
- 93
9
votes
1
answer
202
views
Literature request: Schatten class difference of semigroups
Let $\mathcal{H}$ be a Hilbert space and $A,B$ two operators on it (not necessarily self-adjoint) such that $A, A+B$ are generators of strongly continuous one parameter semigroups $e^{-tA},e^{-t(A+B)}$...
6
votes
3
answers
852
views
Are nuclear operators closed under extensions?
Given $X_i, Y_i$ Banach spaces, $f_j, g_j, T_i$ bounded linear operators for $i=1,2,3$ and $j=1,2$. We have the following diagram
$\require{AMScd}$
\begin{CD}
0 @>>> X_1 @>f_1>> X_2 ...
- 1,338
7
votes
1
answer
403
views
Why are we interested in operators that share a basis of eigenfunctions?
I hope this is an appropriate question for this forum. If not, I apologize. Before stating my question (which may be found at the end of this post), I will attempt to provide sufficient context.
I ...
- 185
1
vote
1
answer
153
views
Spectral properties of operators mapped to zero by some polynomial
Let $T$ be a bounded operator on a Banach space $X$ and suppose that there is a non-constant polynomial $p$ such that $p(T) = 0$. It seems to be well known that the spectrum of such an operator ...
- 381
5
votes
1
answer
224
views
reference request: unbounded operators on normed spaces
I'm looking for books where the theory (basic properties, adjoints etc.) of unbounded linear operators between locally convex spaces or at least Banach spaces is developed. In Brezis' functional ...
- 105
0
votes
0
answers
135
views
Reference for discrete Laplacian on $\mathbb{Z}$
For $x\in \mathbb{R}^\mathbb{Z}$, let the discrete Laplacian be defined as
\begin{align*}
(\Delta x)_k = 2x_k-x_{k+1}-x_{k-1}.
\end{align*}
I am looking for good references about its spectrum (or ...
7
votes
1
answer
592
views
Fractional powers of an operator
What is the large class of operators for which one can define fractional powers? For example, we can consider an operator $A: D(A) \subset X \rightarrow X$, generator of an analytic semigroup on a ...
- 395
3
votes
0
answers
83
views
Reference request for representation theory of TRO
Let $H$ and $K$ be Hilbert spaces. Recall that a Ternary ring of operator(TRO) $V$ is a closed subspace of $B(H,K)$ such that $xy^{\ast}z \in V$ for all $x,y,z \in V$. I have recently started reading ...
- 1,115
2
votes
0
answers
53
views
References for linear relations on Hilbert spaces
I am trying to find a reference for linear relations (multivalued operators). I would like to have something which gives an introductory overview.
All I have found so far doesn't seem right for ...
2
votes
1
answer
76
views
Hypercyclic vector for backshift operator
It is well-known that the weighted backshift operator $B_{\lambda}:\ell^p \rightarrow \ell^p$ is hypercyclic (with $\lambda>1$); that is, there exists a dense set of sequences $X\subseteq \ell^p$ ...
- 5,405
8
votes
2
answers
640
views
Does a random sequence of vectors span a Hilbert space?
Let $\mathcal{H}$ be a separable Hilbert space. Let $v$ be a random variable taking values in $\mathcal{H}$ such that $P(v \perp h) < 1$ for all $h \in \mathcal{H}.$ Suppose we sample an infinite ...
- 1,429
5
votes
1
answer
301
views
Unbounded Component of the Fredholm Domain
Let $X$ be a Banach space and $T \in \mathcal L(X)$.
The authors Engel and Nagel introduce in their book "One-Parameter Semigroups for Linear Evolution Equations" on p. 248 the concept of the ...
- 301
2
votes
0
answers
164
views
Convergence of Eigenvalues and Eigenvectors for Uniformly Form-Bounded Operators
Suppose that $A$ is an operator on a dense domain $D(A)\subset L^2$ with compact resolvent, and with quadratic form $q(f,g):=\langle f,Ag\rangle$.
Let $(r_n)_{n\in\mathbb N}$ be a sequence of ...
- 891
3
votes
0
answers
142
views
eta invariant and spectral flow
We know that for a family of first-order self adjoint elliptic (Fredholm) operator $A_t$, for $t\in [0,1]$ we have the formula
$$\eta(A_1)-\eta(A_0)=spfl(A_t)_{t\in[0,1]}+\int^1_0 \omega(s)ds,$$
where ...
- 1,915
2
votes
1
answer
177
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 $\...
- 1,915
3
votes
1
answer
573
views
Reference request: Irreducible operators
I had asked this question on MSE but did not get any response.
I would like some reference to books that talk about irreducible operators on Banach lattices and its properties. A quick google search ...
- 343
5
votes
1
answer
1k
views
Reference request: The resolvent is analytic in the resolvent set
I am busy reading through Taylor's paper Spectral Theory of Closed Distributive Operators.
On page 192, he defines the resolvent and spectrum of $T$:
Later on in the paragraph, he then proceeds by ...
- 289
2
votes
2
answers
283
views
Proof related to normal operators on an infinite-dimensional Hilbert spaces
Let $E$ be an infinite-dimensional complex Hilbert space.
I look for an elementary proof of the following result:
If $A,B \in\mathcal{L}(E)$ be two normal operators such that $AB=BA$. Then
$$A^*...
- 1,154
4
votes
0
answers
120
views
Reductive Operator Problem
In the 1972 paper ''An equivalent Formulation of the Invariant Subspace Conjecture'' Dyer, Pedersen, and Porcelli announce the following result:
The Invariant Subspace Problem has a positive ...
- 355
7
votes
1
answer
187
views
numerical radius of hyponormal operator
Let $F$ be a complex Hilbert space. We recall that an operator $S\in\mathcal{B}(F)$ is said to be hyponormal if $S^*S\geq SS^*$ (i.e. $\langle (S^*S-SS^*)z,z \rangle\geq 0$ for all $z\in F$).
...
- 724
2
votes
1
answer
341
views
Riesz-Dunford-Schwartz functional calculus
Can anyone tell me where to find a good book or lecture note on Riesz-Dunford-Schwartz functional calculus for commuting tuple of operators?
- 455
6
votes
3
answers
452
views
Norm estimation of identity plus two non-commuting self-adjoint operators
This is a problem that I have been stuck for a few months.
Let $X$ be a Hilbert space and $A:B:X\to X$ be two non-commuting semi-positive self-adjoint bounded linear operators. Is it true that
$$\|(I+...
- 503
10
votes
2
answers
1k
views
What function is this? -Counterexample found: it is not Lipschitz-
THE FRAMEWORK
Let $0<\lambda\le1$ and consider
$$
\Psi:(\Bbb R[X]_0,||\cdot||_{\lambda})\longrightarrow(\mathcal C^{\lambda}[0,1],||\cdot||_{\lambda})
$$
defined as
$$
\Psi(p):=\sup_{0\le u\le\...
- 779