Questions tagged [unbounded-operators]
The unbounded-operators tag has no usage guidance.
122 questions
21
votes
2
answers
2k
views
Essential self-adjointness of differential operators on compact manifolds
Let $L$ be a linear differential operator (with smooth coefficients) on a compact differentiable manifold $M$ (without boundary). Suppose $M$ is endowed with a smooth volume form (actually, a smooth ...
16
votes
2
answers
996
views
Perturbation of unbounded self-adjoint operators
In the paper "A CRITERION FOR THE NORMALITY OF UNBOUNDED OPERATORS AND APPLICATIONS TO SELF-ADJOINTNESS" by M. H MORTAD (http://arxiv.org/pdf/1301.0241.pdf), the author states the following theorem
...
14
votes
2
answers
4k
views
What is a good reference that compact resolvent implies Fredholm operator?
Suppose $A \in \mathcal{L}(E_1, E_0)$ is a bounded linear operator between Banach spaces $E_1$ and $E_0$, and we also have that $E_1$ is densely, continuously embedded in $E_0$ (i.e. $A$ can be ...
11
votes
3
answers
445
views
Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?
Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...
11
votes
3
answers
888
views
Notations for dual spaces and dual operators
I'm asking for opinions about the 'best' notations for:
1. the algebraic dual of a vector space $X$;
2. the continuous dual of a TVS;
3. the algebraic dual (transpose) of an operator $T$ between ...
11
votes
1
answer
589
views
A detail in the proof of Schur's lemma: the closures of the $\mathcal{Ker}$ and $\mathcal{Im}$ of the intertwiner
$\renewcommand\Im{\operatorname{\mathcal{Im}}}\newcommand\Ker{\operatorname{\mathcal{Ker}}}$I was sure that this is a trivial question and placed it on Math Stackexchange
https://math.stackexchange....
10
votes
3
answers
1k
views
ordered exponential of unbounded operators
Let $H$ be a Hilbert space,
and let $A_t$ be a family of unbounded positive (self-adjoint) operators on $H$ parametrized by $\mathbb t\in R_{\ge 0}$. Consider the ordinary differential equation
$$
\...
9
votes
2
answers
483
views
why is this a sufficient condition for a domain to be a core of an unbounded operator?
Let $\alpha:\mathbb R\to U(H)$ be a strongly continuous action of the reals on some Hilbert space, and let $A=-i\frac d{dt}\alpha(t)|_{t=0}$ be its infinitesimal generator, so that $\alpha(t)=e^{itA}$....
9
votes
2
answers
2k
views
Nice Classes of Non-Closable Operators
The only thing I know about non-closable operators can be summarised as "they exist, but they're nasty, so let's not talk about them!" This seems to be the case with everyone else I've talked to. I'd ...
8
votes
1
answer
480
views
On commutator of bounded operators
Let $\mathbb H$ be a Hilbert space and let $\mathcal B(\mathbb H)$ be the bounded operators on
$\mathbb H$. Let $J,K\in \mathcal B(\mathbb H)$ such that
$
J=J^*, K=-K^*.
$
Then the commutator $[J,K]$ ...
8
votes
1
answer
656
views
When is the adjoint of a hypoelliptic operator also hypoelliptic?
Suppose that $M$ is a smooth manifold with a measure $\mu$ and let $L^2(M, \mu)$ be a space of all square-integrable functions on $M$.
Recall that $L$ is a hypoelliptic differential operator if for ...
8
votes
1
answer
548
views
Product of commuting nonnegative operators
Let $V$ be a real vector space with an inner product and $A,B : V \to V$ linear maps which are self-adjoint nonnegative-definite, i.e. $\langle Ax,y \rangle = \langle x,Ay \rangle$ and $\langle Ax,x \...
8
votes
2
answers
626
views
An inverse to functional calculus
Given a Borel function $f:\mathbb{R}\rightarrow\mathbb{R}\cup\{\infty\}$, functional calculus allows to calculate $F(x)$ for any unbounded selfadjoint operator $x$ on a Hilbert space $\mathcal{H}$, ...
8
votes
1
answer
302
views
Does every integer map generate a von Neumann algebra of type I?
Consider a map $m: \mathbb{N} \to \mathbb{N}$ (we call it an integer map). Let $E_r$ be the set $m^{-1}(\{r\})$.
Let $H$ be the Hilbert space $\ell^2(\mathbb{N})$ and consider the densely defined ...
7
votes
2
answers
1k
views
C*-algebraic representation of observables vs self-adjoint operators one
I am trying to reconcile the "physicist" definition of an observable: self-adjoint operator on a Hilbert space, and the operational one as given by Strocchi in "An introduction to the mathematical ...
7
votes
2
answers
485
views
The von Neumann algebra generated by a non-closable operator
Let $H$ be a separable Hilbert space and let $M$ be a densely defined operator $\mathcal{D}(M) \subset H \to H$. It is closable iff its adjoint $M^{\star}$ is densely defined, and then its closure $\...
6
votes
2
answers
749
views
Transpose of unbounded operators between Banach spaces.
Let $X$ and $Y$ be Banach spaces, and let $L : X \rightarrow Y$ be a unbounded operator with dense domain $\operatorname{dom}(L)$. We can then talk about the transposed operator
$L' : \operatorname{...
6
votes
2
answers
514
views
Convergence criterion in the domain of an unbounded operator
Cross-post from math.sx.
My question is somewhat close to this one, but the counterexamples given there do not apply here.
Setup. Given a Hilbert space $\mathcal H$, a closed operator $A$ and a ...
6
votes
2
answers
665
views
Unbounded Fredholms operators
Motivated by the situation of bounded Fredholm operators, I have the following question about "unbounded Fredholm operators".
Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be two Hilbert spaces, and
$$
D: ...
6
votes
1
answer
836
views
Does an element in the center of universal enveloping algebra becomes a scalar in irreducible representations?
I'm asking a question about Lie group representation.
Let $G$ be a Lie group, not necessarily connected. Let $\Omega$ be an element in the center of the universal enveloping algebra $U(\mathfrak{g})$ ...
6
votes
1
answer
1k
views
Unbounded version of continuous functional calculus
For a normal operator $T$ on a Hilbert space ${\cal H}$, it is well known that for any continuous complex valued function $f$ on the spectrum of $T$, we have a well-defined operator $f(T) \in B({\cal ...
5
votes
5
answers
2k
views
Measurable functions and unbounded operators in von Neumann algebras
How do you define unbounded measurable functions for a general von Neumann algebra?
For the commutative algebra $L^\infty(X,\mu)$, we can consider the space of all measurable functions that are ...
5
votes
2
answers
2k
views
On the domains and extensions of unbounded operators
I am not an expert in functional analysis but I was studying some, motivated from some mathematical physics considerations. I am not quite sure whether this is research-level, but let me state some ...
5
votes
1
answer
658
views
Hormander's bracket condition for the adjoint of an operator
Let $X_0, X_1, \dots, X_k$ be smooth vector fields over ${\mathbb R}^n$, and let us consider the operator
$$
L = \sum_{i=1}^k X_i^2 + X_0~.
$$
Here, I assume that Hörmander's bracket condition is ...
5
votes
2
answers
148
views
Showing an operator is (or not) closed on $L^2(\mathbb{R})$
I am linearizing nonlinear waves and get operators of the form below. Everything is considered in $L^2(\mathbb{R})$.
Consider the operator $L_1=\frac{d}{dx}$. The domain is $H^1(\mathbb{R})$ and it is ...
5
votes
1
answer
2k
views
Commuting with self-adjoint operator
Let $T$ be an (unbounded) self-adjoint operator. Assume that there is a bounded operator $S$ such that $TS=ST.$ For which kind of $f$ do we have that $f(T)S=Sf(T)?$
My thought was that using a ...
5
votes
1
answer
259
views
Domain of $(-\Delta)^\alpha$, $\alpha \in (0,1)$
Is there any simple way to characterize explicitly the domain of fractional powers for a given operator? For example, the domain of Dirichlet Laplacian on a bounded nice domain $\Omega \subset \mathbb{...
5
votes
1
answer
459
views
Some questions on analytic vectors and the integrability of Lie-algebra representations
I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
4
votes
3
answers
3k
views
How to define Laplacian on $L_2$
This might be a dumb question, but I thought the Laplacian (classical) is defined for $C^2$ functions. How do we extend that to be a self-adjoint operator on all of $L_2$?
Is it the so called ...
4
votes
1
answer
228
views
Diagonalizing selfadjoint operator on core domain
Let $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$...
4
votes
3
answers
510
views
Bounded operators and axiom of choice
In the article below, it is shown that the proposition "Every linear operator defined on a whole Hilbert space is bounded" is consistent with the axioms of ZF + a weakened version of the axiom of ...
4
votes
1
answer
280
views
Spectral growth of One dimensional Schrodinger Operator
Conside the One dimentional Schrodinger Operator
$$
-\frac{d^2}{dx^2} + ( V(x) + E )
$$
Where the Potential Function $V$ is of the form $V(x) = ax^2 + b^2x^4$ , $a,b \in \mathbb{R} $.
What is known ...
4
votes
1
answer
878
views
Commuting with an unbounded operator
Let $H$ be a Hilbert space. Let $A$ be a closed unbounded operator, and let $B\in B(H)$ be a bounded operator.
Definition:
$A$ and $B$ strong-commute if the partial isometry in the polar ...
4
votes
1
answer
165
views
Scattering of relativistic particle by long-range potential
Let
$\mathcal{H}=L^2(\mathbb{R}^3)$,
$H_0=\sqrt{-\Delta+M^2}$, ($M$ is a positive constant, $\Delta$ is the laplacian)
and
$H=H_0+V(\vec{x})$
(where $V(\vec{x})$ is the operator of ...
4
votes
1
answer
172
views
For self-adjoint $T$ on $L^2(\mathbb{R}^n)$, when does $(1 + |x|)^{-1} (T - i \varepsilon)^{-1}(1 + |x|)^{-1}$ have a limit as $\varepsilon \to 0$?
Let $T : L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ be a possibly unbounded self adjoint operator. Let $R_\varepsilon$ denote the resolvent $(T - i \varepsilon)^{-1}$, $\varepsilon > 0$. Suppose that,...
4
votes
0
answers
230
views
Spectral theorem for unbounded operators
Part of the Spectral theorem for unbounded operators states that if $A$ is a self adjoint unbounded operator and $B$ is a bounded operator such that $BA$ is contained in $AB$, then $B$ commutes with ...
4
votes
0
answers
126
views
Bounded self-adjoint perturbation of a p-summable spectral triple
I am new to the field of Noncommutative Geometry.I was reading the chapter on Spectral triple from the book 'Elements of Noncommutative Geometry' by Gracia-Bondía,Várilly and Figueroa.Now,after ...
4
votes
0
answers
2k
views
Product of positive commuting operators
Let $A$ and $B$ be positive commuting bounded operators on a Hilbert space. It can be shown by functional calculus that $AB=A^{1/2}BA^{1/2},$ so that $AB$ is again positive. If $A$ and $B$ are not ...
3
votes
3
answers
3k
views
Countability of eigenvalues of a linear operator
Is it true that every closed operator on a separable Hilbert H space only has countably many eigenvalues?
Or put the other way around, if I want to ensure that a (not necessarily bounded) linear ...
3
votes
3
answers
1k
views
Unbounded operators vs compact operators
The operator $L:\operatorname{dom}(L)\subset C[0,1]\to C[0,1]$ given by $Lx=x'$
a) is closed, unbounded and densely defined
b) also has a compact right inverse, namely $K:C[0,1] \to C[0,1]$ given by $...
3
votes
1
answer
285
views
Closable unbounded operators and Banach space adjoints
For an unbounded operator $T:\mathcal{H}_1 \to \mathcal{H}_2$, if its adjoint $T^*$ is densely defined, then we know that $T$ is closable. What happens if we replace $\mathcal{H}_1$ or $\mathcal{H}_2$ ...
3
votes
1
answer
214
views
Non-point spectrum for diagonalisable self-adjoint unbounded operator
Given a (separable) Hilbert space H and an unbounded densely defined linear operator $T:{\cal D}(T) \to $H such that ${\cal D}$ is diagonalizable (it means $\exists$ an O.N.B. of H such that all basis ...
3
votes
2
answers
441
views
Minimum eigenvalue of One-dimensional Schrodinger Operator
Consider the One dimensional Schrodinger Operator
$$
-\frac{d^2}{dx^2} + V(x)
$$
Where the Potential Function $V$ is of the form $V(x) = x^4 - a^2x^2$ , $a \in \mathbb{R} $.
Now of course,the ...
3
votes
3
answers
3k
views
Infinite hermitian matrix
Suppose we have a finite square n x n matrix of complex numbers H that is Hermitian and skew-symmetric:
$H^\dagger = H$ and $H^T = -H$.
(T denotes transpose, $\dagger$ denote conjugate transpose. I ...
3
votes
2
answers
280
views
Question about the Bessel operator
For $\nu>-1$ denote by $\{\lambda_{k,\nu}\}_{k\in\mathbb{N}}$ the succesive positive zeros of the Bessel function of the first kind $J_{\nu}$. The Bessel operator is given by
\begin{equation*}
L_\...
3
votes
2
answers
274
views
Unbounded positive self-adjoint without $0$ in its spectrum: can we construct its inverse using functional calculus?
Let $P$ be a positive, self-adjoint (unbounded) operator in a Hilbert space $H$ with $0\notin \sigma(P)$. Consider its spectral decomposition
$$P = \int_{\sigma(P)} t dE(t).$$
Since $0 \notin \sigma(P)...
3
votes
1
answer
226
views
$\tau$-measurable operator
Problem: Let $M$ be a semifinite von Neumann algebra with a faithful semifinite normal trace $\tau$. Let $m$ be a positive element in $M$ and let $e_{(0,\infty)}(m)$ be the spectral projection of $m$ ...
3
votes
1
answer
229
views
Symmetric diagonalizable operators and self-adjointness
Given a densely defined symmetric operator $L$ on a Hilbert space $H$, which is also assumed to be diagonalizable, will there always exist a unique extension of $L$ to a self-adjoint operator?
3
votes
1
answer
332
views
Takesaki II Lemma 1.13: stuck in proof
Consider the following fragment from Takesaki's book "Theory of operator algebras II" (Lemma 1.13 on p8, in chapter VI "Left Hilbert algebras"):
Here, we associate with an ...
3
votes
1
answer
161
views
On the Fractional Laplace-Beltrami operator
I would appreciate it if a reference could be given for the following claim.
Let $g$ be a Riemannian metric on $\mathbb R^n$, $n\geq 2$ that is equal to the Euclidean metric outside some compact set. ...