Rigged Hilbert Space Φ ⊂ H ⊂ Φ'

  • #1
1,225
75

Main Question or Discussion Point

Hi,
I am reading the paper http://arxiv.org/abs/quant-ph/0502053 listed in the reference of Wikipedia Rigged Hilbert Space. I have a question about the relation, Φ ⊂ H ⊂ Φ', where H is Hilbert space, Φ is its subspace and Φ' is dual space of Φ.
Φ⊂H and Φ⊂Φ' are obvious. How can we say H ⊂ Φ' ? Φ' has nothing to do with the elements of H that is not in Φ, I assume. Your advice is appreciable.
 

Answers and Replies

  • #2
DrDu
Science Advisor
6,023
755
As H is it's own dual, it must also be included in the dual of ##\Phi##, which is a subset of H. Hence H is also a subset of ##\Phi'##.
 
  • #3
1,225
75
Thanks. From your post I assume there is a theorem Φ⊂H ⇒ H' ⊂ Φ' where A' means dual space of A. Am I on the right track?
 
  • #4
DrDu
Science Advisor
6,023
755
You can make a theorem out of everything. However, it should be obvious. The definition of H includes that you have a scalar product defined between all elements. Hence each element of H is also an element of H', or H=H'. As ##\Phi \subset H## ##\langle h| \phi \rangle ## is well defined for all ##h\in H ## and all ##\phi \in \Phi##. Hence H must be a subset of ##\Phi'##.
 
  • #5
9,331
2,314
If you want to really delve into Rigged Hilbert Spaces this doctoral dissertation is a good reference:
http://physics.lamar.edu/rafa/webdis.pdf [Broken]

But a background in analysis is required:
http://fa.its.tudelft.nl/~haase/Dokus/afa-lectures1-14.pdf

In my early days of QM I got caught up in this stuff and it was a long detour. I was fortunate in having done a math degree that included analysis. I came out the other end with a good understanding of things like nuclear spaces etc but in hindsight it would have been better to simply accept some things and leave it for later. Ballentine's textbook on QM provides a good enough overview to get started.

Thanks
Bill
 
Last edited by a moderator:
  • #6
dextercioby
Science Advisor
Homework Helper
Insights Author
12,981
540
Hi,
I am reading the paper http://arxiv.org/abs/quant-ph/0502053 listed in the reference of Wikipedia Rigged Hilbert Space. I have a question about the relation, Φ ⊂ H ⊂ Φ', where H is Hilbert space, Φ is its subspace and Φ' is dual space of Φ.
Φ⊂H and Φ⊂Φ' are obvious. How can we say H ⊂ Φ' ? Φ' has nothing to do with the elements of H that is not in Φ, I assume. Your advice is appreciable.
The Φ ⊂ H ⊂ Φ' is a shorthand for the full version: Φ ⊂ H ≅H'⊂ Φ', where that middle isomorphism is a restatement of the Riesz-Fiescher lemma.
 
  • #7
1,225
75
Thanks, Dr.Du, bhoba and devtercioby. With your advise I am going to learn RHS.
 
  • #8
1,225
75
I am still reading the paper. The space [tex]\Phi[/tex] is the maximal invariant subspace of the algebra generated by Q, P
and H, which is the largest subdomain of the Hilbert space that remains invariant under the action of any power of Q, P or H, say A [tex]A\Phi \subset \Phi[/tex]. The paper says when eigenvalue is discrete we do not need [tex]\Phi^*[/tex] which is the linear functional space of [tex]\Phi[/tex].

I think of energy eigenstate of bound state of square well potential. It should belong to [tex]\Phi[/tex] but expectation value of [tex]P^6[/tex] or higher order diverges. What's wrong?
 
  • #9
strangerep
Science Advisor
3,064
886
I suspect the short answer is that there are difficulties if the usual momentum operator is naively applied in the square well potential example (i.e., there are issues to do with the boundary conditions). There was a thread about this a while back, iirc(?).
 
  • #10
1,225
75
Thanks for commentn strangerep.

When we replace V(x) be similar, mathematically smooth so more "physical" one, e.g.
[tex]V(x)=V_0 (tanh(\frac{a-x}{d})+tanh(\frac{x-b}{d}))[/tex]
,where [tex]0<V_0\ \ \ a<b, \ \ \ 0<d << b-a[/tex], the bound energy eigenstate belongs to the invariant subsapce in Hilbert space thus any expectation value <p^n> does not diverge, as suggested by this paper?
 
Last edited:
  • #11
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
406
Thanks. From your post I assume there is a theorem Φ⊂H ⇒ H' ⊂ Φ' where A' means dual space of A.
If ##\Phi## is a proper subset of ##H##, then ##H'## and ##\Phi'## are actually disjoint, because elements of ##H'## are functions with domain ##H## and elements of ##\Phi'## are functions with domain ##\Phi##. But there's an obvious way to map ##H'## into ##\Phi'##. For each ##f\in H'##, the restriction of ##f## to ##\Phi## is an element of ##\Phi'##. So the set of these restricted functions is a subset of ##\Phi'##.
 
  • #12
strangerep
Science Advisor
3,064
886
Thanks for commentn strangerep.

When we replace V(x) be similar, mathematically smooth so more "physical" one, e.g.
[tex]V(x)=V_0 (tanh(\frac{a-x}{d})+tanh(\frac{x-b}{d}))[/tex]
,where [tex]0<V_0\ \ \ a<b, \ \ \ 0<d << b-a[/tex], the bound energy eigenstate belongs to the invariant subsapce in Hilbert space thus any expectation value <p^n> does not diverge, as suggested by this paper?
I haven't studied that tanh well potential in detail, so I'd better not comment. Did you get that example from another source?

BTW, I just realized that you were most likely talking about a finite square well, whereas I was talking about an infinite square well. These cases are deceptively different -- iirc, the latter cannot be reached (rigorously) by taking a limit of the former, although some insight can be gained by proceeding in that direction. [Cf. Ballentine section 4.5.]

In fact,... it's worthwhile to explore all this more carefully, so let's go back to your earlier post...
I think of energy eigenstate of bound state of square well potential. It should belong to
$$\Phi$$but expectation value of$$P^6$$or higher order diverges. What's wrong?
This is better addressed by working through the detail. Which textbook are you working from? (I was vaguely thinking of working through the detail of Ballentine section 4.5, but he doesn't delve into the ##P^6## case.)
 
Last edited:
  • #13
1,225
75
Thanks for your interest, strangerep.

I cannot find detailed description in text books or web contents, so I will show you the result of my calculation that was not difficult at all.

****************

Square well potential:
[tex]V(x)= -D\ for\ -w/2 < x < w/2,\ 0\ otherwise. [/tex]

Wave function of the ground state in coordinate representation is:
[tex]\psi(x)= B e^{\kappa (x + \frac{w}{2})} \theta (-x-\frac{w}{2})+ C cos (kx)\theta (-x+\frac{w}{2})\theta (x+\frac{w}{2}) + B e^{-\kappa (x - \frac{w}{2})}\theta (x-\frac{w}{2}).[/tex]

By Fourier transfromation of this equation we can get the wave function in momentum representation
[tex]\psi(p) \equiv \frac{1}{\sqrt{h}}\int_{-\infty}^{+\infty} \psi(x) e^{\frac{-ipx}{\hbar}} dx= 2cosec\ \alpha\sqrt{\frac{\frac{w}{2}}{h\alpha (\alpha + cot\ \alpha)}} \frac { cos(\alpha \rho)-\rho sin(\alpha \rho)}{(1-\rho)(1+\rho)(1+\rho^2 cot^2\ \alpha)} ,[/tex]
where
[tex]\theta (x) \equiv \frac {sgn(x) + 1}{2} [/tex]
[tex]sgn(x)=-1\ for\ x<0, \ 0 for\ x=0, 1\ for\ x>0.[/tex]
Other coefficents are given by α[0,π/2],
[tex]D=\frac{\hbar^2}{2m} (\frac{2}{w})^2 \alpha^2 sec^2 \ \alpha,[/tex]
[tex]C= (\frac{2}{w})^{1/2} (1+\frac{cot\ \alpha }{\alpha})^{-1/2},[/tex]
[tex]B= (\frac{2}{w})^{1/2} (1+\frac{cot\ \alpha }{\alpha})^{-1/2} cos\ \alpha,[/tex]
[tex]k=\frac{2}{w} \alpha,[/tex]
[tex]\kappa =\frac{2}{w} \alpha \ tan \ \alpha,[/tex]
Scaled non dimentional momentum
[tex]\rho \equiv \frac{\frac{w}{2}}{\hbar\alpha}p,[/tex]   
Energy measured from the bottom of the well
[tex]E=\frac{\hbar^2}{2m} (\frac{2}{w})^2 \alpha^2. [/tex]

****************

You can find the momentum wave function decreases as p^-3. |ψ(p)|^2 decreases as p^-6. Thus expectation value of p^6 or higher even power diverges.

For α→π/2-0, the infinite depth well, it decreases as p^-2. |ψ(p)|^2 decreases as p^-4. Thus expectation value of p^4 or higher even power diverges.

Best,
 
Last edited:
  • #14
strangerep
Science Advisor
3,064
886
I cannot find detailed description in text books or web contents,
Do you have a copy of Ballentine? If so, we could adapt his section 4.5, starting on p107. (His potential differs from yours simply by having the energy zero at the bottom of the well.)

so I will show you the result of my calculation that was not difficult at all.
[...] I feel a need to refresh my memory on the gory details, so I'm going to reproduce Ballentine's calculation from scratch for myself.

Back later, or maybe tomorrow.
 
Last edited:
  • #15
strangerep
Science Advisor
3,064
886
Back now,....

OK... I'm surprised how much of the detail had been archived to offline storage by my brain. I'm going to solve the entire problem for myself, not just a piece of it like Ballentine does. Hopefully, that will bring it all back into RAM.

Afaict, your solution is not general, and assumes a particular range of E. The general method should deduce what range(s) of E are physically allowed, and the solutions in each case.

Might take me a while to find enough spare time to solve the general case carefully.
 
  • #16
1,225
75
Afaict, your solution is not general, and assumes a particular range of E.
Ya, this was about the ground state as I wrote. D and w determines α and thus all the coefficients and E.

I will be glad if you would verify or correct my result.

Best.
 
Last edited:
  • #17
strangerep
Science Advisor
3,064
886
Square well potential:
[tex]V(x)= -D\ for\ -w/2 < x < w/2,\ 0\ otherwise. [/tex]
Wave function of the ground state in coordinate representation is:
[tex]\psi(x)= B e^{\kappa (x + \frac{w}{2})} \theta (-x-\frac{w}{2})+ C cos (kx)\theta (-x+\frac{w}{2})\theta (x+\frac{w}{2}) + B e^{-\kappa (x - \frac{w}{2})}\theta (x-\frac{w}{2}).[/tex]
How did you get the ##e^{\kappa (x + \frac{w}{2})}## and ##e^{-\kappa (x - \frac{w}{2})}## ?
I would have thought they should be of the form ##e^{-\kappa |x|}## .

I also don't really follow how you conclude that ##\langle P^6 \rangle## diverges. Maybe try doing it in position representation? ##P^2 \psi \propto \psi## for an energy eigenstate, so something is wrong. (Did you enforce ##d\psi/dx## to be continuous at the well boundaries?)

Also, you didn't say whether you can access a copy of Ballentine. His treatment is far less messy than yours, hence easier to follow.
 
Last edited:
  • #18
1,225
75
How did you get the e κ(x+w2 ) e^{\kappa (x + \frac{w}{2})} and eκ(xw2 ) e^{-\kappa (x - \frac{w}{2})} ?
I would have thought they should be of the form eκ|x| e^{-\kappa |x|} .
The exponentilal damping of wave function outside the well starts from the edges of the well(x=-w/2,w/2), not from the center of the well(x=0).
 
  • #19
strangerep
Science Advisor
3,064
886
The exponentilal damping of wave function outside the well starts from the edges of the well(x=-w/2,w/2), not from the center of the well(x=0).
That's not the right way to think about it. Just solve the TISE as if the potential was constant and then restrict the solution accordingly. Then match up the various pieces of the solution at the well boundaries.

Edit: I suppose one could simply absorb ##e^{\kappa\omega/2}## into the factor, so maybe it doesn't matter.
 
Last edited:
  • #20
1,225
75
I also don't really follow how you conclude that ⟨P 6 ⟩ \langle P^6 \rangle diverges. Maybe try doing it in position representation? P 2 ψψ P^2 \psi \propto \psi for an energy eigenstate, so something is wrong. (Did you enforce /dx d\psi/dx to be continuous at the well boundaries?)
Momentum wave function is convenient and easy way when we calculate expectation values of momentum function, e.g. p^n.
The result does not rely on which representations or wave functions we use. We can do it in coordinate wave function. As you have assumed before higher differentiation of delta functions at the edges cause the divergence.

Now I can read web text of Ballentine, you can refer equations or explanations there in your comments.

Best
 
  • #21
strangerep
Science Advisor
3,064
886
As you have assumed before higher differentiation of delta functions at the edges cause the divergence.
I realized later that if both ##\psi## and ##d\psi/dx## are continuous at the well boundaries, then any theta/delta function contributions should cancel out.

Now I can read web text of Ballentine, you can refer equations or explanations there in your comments
OK -- read section 4.5. The square well stuff starts on p107.
 
  • #22
1,225
75
That's not the right way to think about it. Just solve the TISE as if the potential was constant and then restrict the solution accordingly. Then match up the various pieces of the solution at the well boundaries.
Please go your way. With the connection at the edges you will get the same result as mine. Please check it and let me know.

Edit: After up this message I noticed your edit.
 
Last edited:
  • #23
1,225
75
any theta/delta function contributions should cancel out.
should? How do you deal with d^2ψ/dx^2, d^4ψ/dx^4, ... that appear in calculation of <p^n>?
 
  • #24
strangerep
Science Advisor
3,064
886
should? How do you deal with d^2ψ/dx^2, d^4ψ/dx^4, ... that appear in calculation of <p^n>?
If ##\psi## is an energy eigenstate, then [EDIT:] ##d^2 \psi/dx^2## can be expressed in terms of ##\psi## multiplied by something involving just theta functions.
 
Last edited:
  • #25
1,225
75
If ψ \psi is an energy eigenstate, then [EDIT:] d 2 ψ/dx 2 d^2 \psi/dx^2 can be expressed in terms of ψ \psi multiplied by something involving just theta functions.
Along the line,
d 3 ψ/dx 3 can be expressed in terms of ψ multiplied by something involving delta functions,
d 4 ψ/dx 4 can be expressed in terms of ψ multiplied by something involving delta^(1) functions,
d 5 ψ/dx 5 can be expressed in terms of ψ multiplied by something involving delta^(2) functions, ... right?.
 

Related Threads on Rigged Hilbert Space Φ ⊂ H ⊂ Φ'

  • Last Post
Replies
1
Views
291
  • Last Post
2
Replies
28
Views
5K
  • Last Post
2
Replies
27
Views
5K
Replies
19
Views
3K
Replies
31
Views
5K
Replies
8
Views
4K
Replies
29
Views
6K
Replies
4
Views
2K
Top