Professional Documents
Culture Documents
This set of lecture notes accompanies Frederic Schullers course on Quantum Theory, taught
in the summer of 2015 at the Friedrich-Alexander-Universitt Erlangen-Nrnberg as part
of the Elite Graduate Programme.
The entire course is hosted on YouTube at the following address:
www.youtube.com/playlist?list=PLPH7f_7ZlzxQVx5jRjbfRGEzWY_upS5K6
These lecture notes are not endorsed by Dr. Schuller or the University.
While I have tried to correct typos and errors made during the lectures (some helpfully
pointed out by YouTube commenters), I have also taken the liberty to add and/or modify
some of the material at various points in the notes. Any errors that may result from this
are, of course, mine.
If you have any comments regarding these notes, feel free to get in touch. Visit my
blog for the most up to date version of these notes
http://mathswithphysics.blogspot.com
My gratitude goes to Dr. Schuller for lecturing this course and for making it available
on YouTube.
Simon Rea
Contents
Further readings 7
Alphabetical Index 8
i
7 Self-adjoint and essentially self-adjoint operators
While we have already given some of the following definitions in the introductory section
on the axioms of quantum mechanics, we reproduce them here for completeness.
(ii) A := .
h e|i = h|i he
|i = h|Ai h|Ai = 0
If A and B are densely defined and DA = DB , then the pointwise sum A + B is clearly
densely defined and hence, (A + B) exists. However, we do not have (A + B) = A + B
in general, unless one of A and B is bounded, but we do have the following result.
(A + z idDA ) = A + z idDA
for any z C.
The identity operator idDA is usually suppressed in the notation, so that the above
equation reads (A + z) = A + z.
The range is also called image and im(A) and A(DA ) are alternative notations.
1
Proposition 7.3. An operator A : DA H is
Proof. We have
(i) DA DB
(ii) DA : A = B.
DB : h|Bi = h|i.
, DA : h|Ai = hA|i.
Remark 7.7 . In the physics literature, symmetric operators are usually referred to as Her-
mitian operators. However, this notion is then confused with the that of self-adjointness
when physicists say that observables in quantum mechanics correspond to Hermitian op-
erators, which is not the case. On the other hand, if one decides to use Hermitian as a
synonym of self-adjoint, it is then not true that all symmetric operators are Hermitian. In
order to prevent confusion, we will avoid the term Hermitian altogether.
2
Proposition 7.8. If A is symmetric, then A A .
DA : h|Ai = h|i
(i) DA = DA
(ii) DA : A = A .
Remark 7.9 . Observe that any self-adjoint operator is also symmetric, but a symmetric
operator need not be self-adjoint.
A B = B A = A
and hence, B = A.
In fact, self-adjoint operators are maximal even with respect to symmetric extension,
for we would have B B instead of B = B in the above equation.
Remark 7.11 . Note that we have used the overline notation in several contexts with different
meanings. When applied to complex numbers, it denotes complex conjugation. When
applied to subsets of a topological space, it denotes their topological closure. Finally, when
applied to (closable) operators, it denotes their closure as defined above.
H = DA DA H.
Hence, DA = H.
3
Note carefully that the adjoint of a symmetric operator need not be symmetric. In
particular, we cannot conclude that A A . In fact, the reversed inclusion holds.
DA : DA : h|Ai = hA |i.
Since and above are dummy variables, and the order of quantifiers of the same type
is immaterial, we have
DA : DA : h|Ai = hA |i.
4
Proof. If A = A , then A A and A A. Hence, A A and A A , so A = A .
Similarly, we have A = A , which is just A = A .
Theorem 7.19. If A is essentially self-adjoint, then there exists a unique self-adjoint ex-
tension of A, namely A.
Remark 7.20 . One may get the feeling at this point that checking for essential self-adjointness
of an operator A, i.e. checking that A = A , is hardly easier than checking whether A
is self-adjoint, that is, whether A = A . However, this is not so. While we will show below
that there is a sufficient criterion for self-adjointness which does not require to calculate
the adjoint, we will see that there is, in fact, a necessary and sufficient criterion to check
for essential self-adjointness of an operator without calculating a single adjoint.
Remark 7.21 . If a symmetric operator A fails to even be essentially self-adjoint, then there
is either no self-adjoint extension of A or there are several.
Theorem 7.22. A symmetric operator has a self-adjoint extension if its defect indices
coincide. Otherwise, there exist no self-adjoint extension.
A + z H.
Now suppose that z satisfies the hypothesis of the theorem. Then, as ran(A + z) = H,
DA : A + z = (A + z).
5
By using the symmetry of A, we have that, for any DA ,
H : h|i = h|i.
Theorem 7.25. A symmetric operator A is essentially self-adjoint if, and only if,
The following criterion for essential self-adjointness, which does require the calculation
of A ,is equivalent to the previous result and, in some situations, it can be easier to check.
Theorem 7.26. A symmetric operator A is essentially self-adjoint if, and only if,
Proof. We show that this is equivalent to the previous condition. Recall that if M is a
linear subspace of H, then M is closed and hence, M = M . Thus, by Proposition 7.5,
we have
ran(A + z) = ran(A + z) = ker(A + z)
and, similarly,
ran(A + z) = ker(A + z).
Since H = {0}, the above condition is equivalent to
6
Further readings
Moretti, Spectral Theory and Quantum Mechanics: With an Introduction to the Al-
gebraic Formulation, Springer 2013
Linear Algebra
Friedberg, Insel, Spence, Linear Algebra (4th Edition), Pearson 2002
Functional analysis
Hunter, Nachtergaele, Applied Analysis, World Scientific, 2001
7
Alphabetical Index
A I
adjoint 1 image 1
invertible operator 2
C
closed operator 3
K
D kernel 1
defect indices 5
R
E range 1
essentially self-adjoint operator 4
extension 2
S
H self-adjoint operator 3
Hermitian operator 2 symmetric operator 2