45
$\begingroup$

Every now and then I attempt to understand better quantum mechanics and quantum field theory, but for a variety of possible reasons, I find it very difficult to read any kind of physicist account, even when the physicist is trying to be mathematically respectable. (I am not trying to be disrespectful or controversial here; take this as a confession of stupidity if it helps.) I am generally interested in finding online mathematical accounts which ideally would come close to being of "Bourbaki standard": definition-theorem-proof and written for mathematicians who prefer conceptual explanations, and ideally with tidy or economical notation (e.g., eschewing thickets of subscripts and superscripts).

More specifically, right now I would like a (mathematically trustworthy) online account of rigged Hilbert spaces, if one exists.

Maybe I am wrong, but the Wikipedia account looks a little bit suspect to me: they describe a rigged Hilbert space as consisting of a pair of inclusions $i: S \to H$, $j: H \to S^\ast$ of topological vector space inclusions, where $S^\ast$ is the strong dual of $S$, $H$ is a (separable) Hilbert space, $i$ is dense, and $j$ is the conjugate linear isomorphism $H \simeq H^\ast$ followed by the adjoint $i^\ast: H^\ast \to S^\ast$. This seems a little vague to me; should $S$ be more specifically a nuclear space or something? My guess is that a typical application would be where $S$ is Schwartz space on $\mathbb{R}^4$, with its standard dense inclusion in $L^2(\mathbb{R}^4)$, so $S^\ast$ consists of tempered distributions.

I also hear talk of a nuclear spectral theorem (due to Gelfand and Vilenkin) used to help justify the rigged Hilbert space technology, but I don't see precise details easily available online.

$\endgroup$

7 Answers 7

31
$\begingroup$

Some time ago I was interested in rigged Hilbert space to get a better understanding of quantum physics. On that occasion I collected some references on this subject, see below. It's quite comprehensive. A good starting point for an overview could be the works of Madrid and Gadella. Note that there are different versions of "rigged Hilbert space" (in context of quantum physics) in literature.

J.-P. Antoine. Dirac formalism and symmetry problems in quantum mechanics. I. General Dirac formalism. Journal of Mathematical Physics, 10(1):53–69, 1969. Zbl 0172.56602

N.Bogolubov, A.Logunov, and I.Todorov. Introduction to Axiomatic Quantum Field Theory, chapters 1: Some Basic Concepts of Functional Analysis, 4: The Space of States, pages 13–44, 112–128. Benjamin, Reading, Massachusetts, 1975. Zbl 1114.81300

R.de la Madrid. Quantum Mechanics in Rigged Hilbert Space Language. PhD thesis, Depertamento de Fisica Teorica Facultad de Ciencias. Universidad de Valladolid, 2001. Available at http://galaxy.cs.lamar.edu/~rafaelm/dissertation.html.
Also see: The role of the rigged Hilbert space in quantum mechanics. European Journal of Physics, 26(2):277–312, 2005. arXiv:quant-ph/0502053. Zbl 1079.81022

M.Gadella and F.Gómez. A unified mathematical formalism for the Dirac formulation of quantum mechanics. Foundations of Physics, 32:815–869, 2002.

M.Gadella and F.Gómez. On the mathematical basis of the Dirac formulation of quantum mechanics. International Journal of Theoretical Physics, 42:2225–2254, 2003. Zbl 1038.81020

M.Gadella and F.Gómez. Dirac formulation of quantum mechanics: Recent and new results. Reports on Mathematical Physics, 59:127–143, 2007.

I.M. Gelfand and N.J. Vilenkin. Generalized Functions, vol. 4: Some Applications of Harmonic Analysis, volume 4, chapters 2–4, pages 26–133. Academic Press, New York, 1964. Zbl 0136.11201

A.R. Marlow. Unified Dirac–von Neumann formulation of quantum mechanics. I. Mathematical theory. Journal of Mathematical Physics, 6:919–927, 1965.

E.Prugovecki. The bra and ket formalism in extended Hilbert space. J. Math. Phys., 14:1410–1422, 1973. Zbl 0277.47015

J.E. Roberts. The Dirac bra and ket formalism. Journal of Mathematical Physics, 7(6):1097–1104, 1966.

J.E. Roberts. Rigged Hilbert spaces in quantum mechanics. Commun. Math. Phys., 3:98–119, 1966. Zbl 0144.23404

D.Tjøstheim. A note on the unified Dirac–von Neumann formulation of quantum mechanics. Journal of Mathematical Physics, 16(4):766–767, 1975.

Edit. I remember that there is also a discussion about Gelfand triples in physics in the Funktionalanalysis books by Siegfried Großmann but I don't have a copy handy at the moment. Though it is in German it might be interesting for you, too.

$\endgroup$
8
  • $\begingroup$ Thanks, student. I am not particularly near a good library where I can access these to see which would suit my purposes. I remember seeing something by Madrid on the arXiv and it wasn't quite what I was looking for, but I'll look at his thesis. Which of these do you think are in definition-theorem-proof format at a level of rigor that would satisfy mathematicians? $\endgroup$
    – Todd Trimble
    Oct 23, 2010 at 20:18
  • $\begingroup$ When I collected the references I was interested to have as much rigor as possible. If I remember correctly all of those are written in a usual mathematical style. In Madrid's thesis there are many examples concerning quantum mechanics. For a more general approach I would look at M.Gadella and F.Gómez. A unified mathematical formalism for the dirac formulation of quantum mechanics. Foundations of Physics, 32:815--869, 2002 In this paper they tried to unify some (perhaps most) versions of rigorous frameworks for rigged Hilbert space in view of quantum physics. $\endgroup$
    – student
    Oct 23, 2010 at 21:20
  • $\begingroup$ I think the problem with this subject is, that there are many different attempts to give a rigorous framework for rigged Hilbert spaces in physics. I don't know if there is a generally accepted useful version. Hence it's not surprising that there are now good free online resources about this subject. $\endgroup$
    – student
    Oct 23, 2010 at 21:27
  • $\begingroup$ @student: thanks again for all your references, but regarding your last comment, you've so far given me one online resource (Madrid), which gives no proofs. So this is not in a style that I was asking for above. $\endgroup$
    – Todd Trimble
    Oct 23, 2010 at 22:10
  • $\begingroup$ I added links to those articles which are currently open access (only two more, sorry) $\endgroup$
    – student
    Oct 23, 2010 at 23:27
5
$\begingroup$

I would highly recommend looking at the chapter on Sobolev Towers in the book by Engel and Nagel One-Parameter Semigroups for Linear Evolution Equations or the "baby edition" A Short Course on Operator Semigroups.

It provides a really nice example of rigged Hilbert spaces. For example, if $A:D(A) \subset L^2 \to L^2$ is the (Dirichlet) Laplacian, then one can identify $D(A^n)$, $n=1,2,\ldots$ with Sobolev spaces and $D(A^{-n})$ with the negative Sobolev spaces (i.e. extrapolation spaces of $A$).

This concept can be taken further if one considers analytic semigroups and fractional powers of operators and also into the Banach space setting (see Amann's book Linear and Quasilinear Parabolic Problems: Abstract linear theory).

Basically, the concept of rigged Hilbert spaces becomes really natural if one keeps PDEs and Sobolev spaces in mind.

Finally, the book by Reed and Simon Methods of Modern Mathematical Physics - Vol 1: Functional analysis provides a number of references for rigged Hilbert spaces at the end of Section VII (page 244).

$\endgroup$
4
  • $\begingroup$ You can access to the Engel and Nagel reference through Google Books: books.google.com.au/books?id=EKlppf5Nm08C $\endgroup$ Nov 22, 2010 at 1:07
  • $\begingroup$ Thank you, Dale! I have Reed and Simon, which I have studied from time to time (and also have taught with) but somehow missed those references at the end of chapter VII. Must be the reduced-size font. $\endgroup$
    – Todd Trimble
    Nov 22, 2010 at 13:46
  • $\begingroup$ No problem. It's a great book :) $\endgroup$ Nov 24, 2010 at 1:45
  • $\begingroup$ Just wanted to let you know that this answer has been very useful for my research, thanks! Also, Nagel's exposition of Sobolev towers can be accessed online in his paper: kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1009-14.pdf $\endgroup$ Apr 14, 2016 at 9:48
4
$\begingroup$

"Generalized functions volume 4" by Gelʹfand, Vilenkin, (Math review number 0146653) has a long an detailed discussion of rigged Hilbert spaces and nuclear spaces. The book by Glimm and Jaffe has a brief summary of the theory.

$\endgroup$
1
  • $\begingroup$ Thank you, Richard. At physicsforums.com/showthread.php?t=294488 I read some hearsay about some alleged flaws in their arguments; do you know what they're talking about and whether a mathematician should be worried? $\endgroup$
    – Todd Trimble
    Oct 23, 2010 at 17:48
4
$\begingroup$

This is not precisely related to your question, but a certain notion of rigged Hilbert space occurs in the theory of C*-algebras. Particularly, one should look at the work of Marc Rieffel, e.g. https://math.berkeley.edu/~rieffel/papers/morita_equivalence.pdf. I figured I'd mention this because it is decidedly mathematical, and a useful idea.

$\endgroup$
3
  • $\begingroup$ Thanks, Jon. Interesting blast from the not-too-distant past. $\endgroup$
    – Todd Trimble
    Oct 25, 2010 at 12:50
  • $\begingroup$ Correct me if I'm wrong, but Rieffel's rigged spaces are what we call Hilbert C*-modules, right? Is that related to the rigged spaces everyone here is talking about? I'm asking because I really don't understand... Anyway, if so, a nice book would also be Lance's "Hilbert C*-Modules: A Toolkit for Operator Algebraists", since its a toolkit and all, very concise and extremely pedagogic. $\endgroup$
    – Yul Otani
    Nov 14, 2012 at 19:00
  • $\begingroup$ @Yul: I was wondering the same thing way back when I asked this (hence my first sentence). I don't see a direct relation, come to think of it...except via the Gelfand triple bit...but that is not a precise relation. If you happen to find out, please let me know. $\endgroup$
    – Jon Bannon
    Nov 14, 2012 at 23:00
2
$\begingroup$

The Springer online Encyclopedia of Mathematics' entry on RHS looks more rigorous albeit also more succinct than Wikipedia; for another online intro see the nlab entry. In addition to the references listed there, a rigorous discussion of the RHS can be found (as far as I recall -- I do not have a copy handy) e.g. in the two-volume book Principles of Advanced Mathematical Physics by Robert D. Richtmyer. Also, it appears that, unlike the physics community, the name Gelfand triple (rather than RHS) is more commonly used by the mathematicians.

$\endgroup$
4
  • $\begingroup$ Thanks for the tips, mathphysicist. The first sentence of that Springer Encyclopedia reference gives the same definition as wikipedia (so maybe that definition is perfectly adequate after all), but then a little later it says, "The most interesting case is that in which is $\Phi$ [my $S$] is a nuclear space." Then they cite a spectral theorem, but I can't tell if they mean to include the nuclear hypothesis in the theorem or not. $\endgroup$
    – Todd Trimble
    Oct 23, 2010 at 17:27
  • $\begingroup$ Um, mathphysicist, I know you don't realize it, but I was the one who wrote (most of) that nLab article! $\endgroup$
    – Todd Trimble
    Oct 23, 2010 at 20:09
  • $\begingroup$ Well, Todd, unfortunately I didn't, sorry :( Should have looked at the edits history :) $\endgroup$ Oct 24, 2010 at 2:24
  • $\begingroup$ Please feel free to remove the nLab reference from my answer if you find this necessary and/or appropriate. $\endgroup$ Oct 24, 2010 at 2:25
1
$\begingroup$

I would add A.Bohm and M.Gadella, Dirac Kets, Gamow Vectors and Gel'fand Triplets, Springer Lecture Notes in Physics, vol. 348 (Springer, Berlin, 1989) https://doi.org/10.1007/3-540-51916-5

$\endgroup$
-1
$\begingroup$

The truth is that an actual rigorous theory of rigged Hilbert space doesn't exist at all. That's the bitter truth. Unfortunately we have been told for many years to don't worry, that this theory was existing, somewhere. However it looks like this is a mythology....I did many investigations for many years.

$\endgroup$
3
  • 4
    $\begingroup$ Could you comment then on why, for you, Gelfand-Vilenkin falls short? As it stands, this answer is not very useful to me, but if you could comment on this it might become much more useful. $\endgroup$
    – Todd Trimble
    Jul 12, 2015 at 9:40
  • $\begingroup$ @ToddTrimble Since this is bumped, Gelfand-Vilenkin definitely falls short in terms of the spectral theorem, which is not actually proved there because of a bit of carelessness in distinguishing $L^2$ and $\mathcal{L}^2$ pointed out by the translator (A. Feinstein). The problem is rectified in G. G. Gould's paper. $\endgroup$ Aug 29, 2022 at 2:35
  • $\begingroup$ @RobertFurber Thank you. $\endgroup$
    – Todd Trimble
    Aug 31, 2022 at 12:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.