|
|
|
|
|
|
Posted: Sat Aug 11, 2007 1:31 pm
Swordmaster Dragon I wish I wasn't so biased, but Shankar's "Principles of QM" is the QM bible to me: it is the first and last book about elementary quantum mechanics. Taking a couple keynotes from that, I think we should eventually cover: Intro: Complex numbers and complex vector spaces Regular calculus (multivar isn't really essential for many introductory problems) Knowledge of classical mechanics/intro physics (potential and kinetic energy, momentum) QM: The postulates of QM vs. the postulates of classical mechanics Observables, operators, and measurements HUP and generalized uncertainty 1-dimensional problems If we want to assume multivar calc, we can probably keep going. But I think this should be good enough for an intro. (I am also saying "we" in the sense that maybe I could be of assistance? If not, I understand) Well if we're actually serious about making an official 'How to' guide for the physics and Mathematics guild then sure, the more the merrier. Only thing is before actually starting this guide perhaps we should send draft copies to one another for proof reading and whatnot, as if we each write individual sections without conferring then ya get a disjointed fog.
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sat Aug 11, 2007 2:52 pm
If we do start with just calculus, we should at least introduce the notion of a partial derivative, as deriving operators from the S.E. requires them. It wouldn't be difficult, but it should be done.
So who does what? I hope that one of you two will cover classical mechanics, because I'm not sure if I can even do classical mechanics anymore. I certainly don't know the postulates of classical Newtonian mechanics unless that just means Newton's laws of motion.
Also, another idea I had was that perhaps we should have an appendix system, so that we can just state that "P = -ihbar(d/dx)" and leave the derivation for the appendix. Those who are willing to simply accept that definition of the momentum operator that can go on ahead, and people who aren't can skip down to the appendix and see for themselves why it is so.
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Sat Aug 11, 2007 3:00 pm
Ok, how about these for the postulates: Postulate 1:The quantum state of a system at any moment is completely characterised by the wavefunction.  This function is not a physical observable. --- Postulate 2:The wavefunction of a physical system evolves according to the schrodinger equation  Where  is the Hamiltonian operator for the total energy  --- Postulate 3:For any measurable physical quantity,  which is a function of position and momentum co-ordinates, there is a correspongind operator  . This operator is Hermitian and is called an observable. --- Postuate 4:The only possible results from measuring a physical quantity,  , is one of the eigenvalues associated with it. Each eigenvalue  has an eigenfunction  associated with it. The probability of obtaining the eigenvalue  is  --- Postulate 5:If the measurement of a physical quantity on the system gives the result  , then the state of the system immediately after the measurement is  Maybe we could explain each postulate in detail.
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sat Aug 11, 2007 3:06 pm
Layra-chan If we do start with just calculus, we should at least introduce the notion of a partial derivative, as deriving operators from the S.E. requires them. It wouldn't be difficult, but it should be done. So who does what? I hope that one of you two will cover classical mechanics, because I'm not sure if I can even do classical mechanics anymore. I certainly don't know the postulates of classical Newtonian mechanics unless that just means Newton's laws of motion. Also, another idea I had was that perhaps we should have an appendix system, so that we can just state that "P = -ihbar(d/dx)" and leave the derivation for the appendix. Those who are willing to simply accept that definition of the momentum operator that can go on ahead, and people who aren't can skip down to the appendix and see for themselves why it is so. Hmm yeah good idea with the appendix. As for who does what, I'm a little rusty with classical postulates. I can do a heuristic establishment of the equation of motion, and I'm pretty good at demonstrating the correspondence principle. [Edit] also, what about Hilbert space? If we could give a brief description then we could include Dirac notation.
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Sat Aug 11, 2007 3:42 pm
Morberticus Layra-chan If we do start with just calculus, we should at least introduce the notion of a partial derivative, as deriving operators from the S.E. requires them. It wouldn't be difficult, but it should be done. So who does what? I hope that one of you two will cover classical mechanics, because I'm not sure if I can even do classical mechanics anymore. I certainly don't know the postulates of classical Newtonian mechanics unless that just means Newton's laws of motion. Also, another idea I had was that perhaps we should have an appendix system, so that we can just state that "P = -ihbar(d/dx)" and leave the derivation for the appendix. Those who are willing to simply accept that definition of the momentum operator that can go on ahead, and people who aren't can skip down to the appendix and see for themselves why it is so. Hmm yeah good idea with the appendix. As for who does what, I'm a little rusty with classical postulates. I can do a heuristic establishment of the equation of motion, and I'm pretty good at demonstrating the correspondence principle. [Edit] also, what about Hilbert space? If we could give a brief description then we could include Dirac notation. Actually, talking about Hilbert space would be a very good idea, because then we could explain that wavefunctions with completely defined position or momentum don't exist physically because they aren't in the Hilbert space (I kept forgetting why position eigenfunctions aren't in the Hilbert space; it took me a while to remember that the Dirac delta isn't technically a function). Yeah, we should definitely give each postulate a separate post to explain it, as none of them match up to the classical postulates. For example, we might want to explain why the wavefunction isn't observable. I think the material should go something along the lines of: Mathematical prereqs: -Complex numbers, conjugation, and modulus -Multivariable notation, assuming knowledge of single variable calculus -Vector spaces, linear operators, non-commutation, maybe inner products. Eigenvalues and eigenvectors. (with a note along the lines of "if you are familiar with these, skip to...") Postulates of Quantum mechanics -Wavefunctions -S.E. -Observables and operators -Observation -Superposition collapse (each postulate gets a separate post) Results of the postulates -Ehrenfest's theorem -Quantization of certain observables -HUP+general uncertainty -Tunneling Other stuff -The meaning of the wavefunction -The measurement problem
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sun Aug 12, 2007 8:29 am
You appear to have the main work figured, just a little comment about the presentation. I would keep it so that the observables are in lowercase and the operators are in uppercase.
Second point. It's mentioned that the observable must be real, perhaps a little note on eigen-stuffies would be appropriate?
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Sun Aug 12, 2007 9:29 am
A Lost Iguana You appear to have the main work figured, just a little comment about the presentation. I would keep it so that the observables are in lowercase and the operators are in uppercase. Second point. It's mentioned that the observable must be real, perhaps a little note on eigen-stuffies would be appropriate? Hmm.. How about: Since the result of an observation must be real, this means the eigenvalues associated with the operators must be real. This can be expressed mathematically as  This is possible if the operators (observables) are "hermitian". Hermitian, for the purposes of this introduction, simply means the following condition is satisfied:  Where  and  are functions which satisfy certain boundary conditions. It can be easily shown that the eigenvalues of such Operators are real. Consider  , an eigenfunction of  with eigenvalue  :    Divide both sides by  and you have  Tadaa!
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sun Aug 12, 2007 9:38 am
Layra-chan Morberticus Layra-chan If we do start with just calculus, we should at least introduce the notion of a partial derivative, as deriving operators from the S.E. requires them. It wouldn't be difficult, but it should be done. So who does what? I hope that one of you two will cover classical mechanics, because I'm not sure if I can even do classical mechanics anymore. I certainly don't know the postulates of classical Newtonian mechanics unless that just means Newton's laws of motion. Also, another idea I had was that perhaps we should have an appendix system, so that we can just state that "P = -ihbar(d/dx)" and leave the derivation for the appendix. Those who are willing to simply accept that definition of the momentum operator that can go on ahead, and people who aren't can skip down to the appendix and see for themselves why it is so. Hmm yeah good idea with the appendix. As for who does what, I'm a little rusty with classical postulates. I can do a heuristic establishment of the equation of motion, and I'm pretty good at demonstrating the correspondence principle. [Edit] also, what about Hilbert space? If we could give a brief description then we could include Dirac notation. Actually, talking about Hilbert space would be a very good idea, because then we could explain that wavefunctions with completely defined position or momentum don't exist physically because they aren't in the Hilbert space (I kept forgetting why position eigenfunctions aren't in the Hilbert space; it took me a while to remember that the Dirac delta isn't technically a function). Yeah, we should definitely give each postulate a separate post to explain it, as none of them match up to the classical postulates. For example, we might want to explain why the wavefunction isn't observable. I think the material should go something along the lines of: Mathematical prereqs: -Complex numbers, conjugation, and modulus -Multivariable notation, assuming knowledge of single variable calculus -Vector spaces, linear operators, non-commutation, maybe inner products. Eigenvalues and eigenvectors. (with a note along the lines of "if you are familiar with these, skip to...") Postulates of Quantum mechanics -Wavefunctions -S.E. -Observables and operators -Observation -Superposition collapse (each postulate gets a separate post) Results of the postulates -Ehrenfest's theorem -Quantization of certain observables -HUP+general uncertainty -Tunneling Other stuff -The meaning of the wavefunction -The measurement problem Looks like we have a gameplan. Unfortunately I'll be out of commission till the 21st.
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Mon Aug 13, 2007 5:32 pm
I want to reply more thoroughly later, but I'd like to note the Word of the Physics gods...err, I mean, what Shankar writes as the comparison between classical mech and QM:
1. In classical mechanics, the state of a particle at any given time is completely specified by the two variables x(t) and p(t), i.e. as a point in phase space. In quantum mechanics, the state of a particle is represented by a vector |psi(t)> in a Hilbert space.
2. In classical mech, every dynamical variable omega is a function of x and p. In QM, x and p are represented by Hermitian operators X and P with the following matrix elements in the eigenbasis of X: = x delta(x-x') and = -ihbar delta'(x-x') The operators corresponding to the omega(x,p) are Omega(X,P) = omega(x ->X, p -> P).
3. In CM, if the particle is in a state given by x and p, the measurement of the variable omega will yield a value omega(x,p) and the state (x,p) will be unaffected. In QM, if the particle is in a state |psi>, measurement of the variable (corresponding to) Omega will yield one of the eigenvalues omega with probability P(omega) proportional to ||^2. The state of the system will change from |psi> to |omega> as a result of this measurement.
4. In CM, Hamilton's equations. In QM, Schrodinger's equation.
Shankar builds up everything else in elementary (one-particle) QM from these, so I know it's at least possible. They also appear to be pretty minimal hypotheses for describing the quantum world (though they're not the best tools for understanding it).
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Wed Aug 15, 2007 9:12 am
Alright, now having read through all of the previous posts, and given Layra's outline, I can cover anything that's left by other people, but I think I'd like to cover:
Vector etc. (linear algebra stuffs) Any of the postulates, since I already listed them whee Any results of the postulates, spec. Ehrenfest's theorem and general uncertainty Any discussion on the meaning of the wavefunction.
I also had an idea that, after all this, we might be able to cover a short version of Bell's theorem. I have a pretty easy-to-understand proof, which should be possible after all of this, in the back of Griffith's. I have a great deal of interest in the inherent meanings and basic principles of QM, which is why I'd like to look at the philosophy at the end as well as some of the more appropriate results of QM (Ehrenfest's theorem and quantization of observables, comparison of QM and CM).
(BTW, Layra, what does S.E. mean? I kept wanting to ask that).
Finally, I will be out of commission until next week. A week after that, I go home before school starts, so I won't be able to post there. I guess that puts me *mostly* out of the picture until Sep. 13 or so.
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Wed Aug 15, 2007 5:34 pm
Oh, S.E. is Schroedinger's equation. I just didn't want to have to write that a billion times, plus that's what Griffiths, the textbook I work out of, abbreviates it as. In fact, most of the literature I find abbreviates it as S.E. for convenience.
I'm also going to be busy for the next few weeks. My summer tutorial is winding down, and with the end comes the deadlines for the papers. And then I have to read about a hundred dense-as-hell pages for my research, and my dad wants me to start on several programming books.
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sat Aug 18, 2007 11:47 am
Wait, wait, wait...I just spotted a bad idea.
Are we all claiming that the next time we'll have time to work on this...is when school starts? I spot lack of foresight here.
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Sat Aug 18, 2007 5:21 pm
Swordmaster Dragon Wait, wait, wait...I just spotted a bad idea. Are we all claiming that the next time we'll have time to work on this...is when school starts? I spot lack of foresight here. Due to the way Harvard works, I'll actually have more time when school starts, since we have a "shopping period" for classes, i.e. the fun stuff doesn't start for a week. In the mean time, I'm cramming as much as I can into summer research/independent reading, because as soon as classes start the professor I'm working with becomes really busy.
|
 |
 |
|
|
|
|
|
|
|
|
Posted: Sun Aug 19, 2007 12:25 am
Ya'll could just be like me and not actually have separate holidays any more. crying
|
 |
 |
|
|
|
|
|
|
|
|
|
|
Posted: Sun Aug 19, 2007 5:45 am
Swordmaster Dragon Wait, wait, wait...I just spotted a bad idea. Are we all claiming that the next time we'll have time to work on this...is when school starts? I spot lack of foresight here. Well we're not gonna be writing anything too comprehensive I assume. Just some insight into the workings behind quantum mechanics. Basically to stop people abusing cats. I'd recommend posting it up on the science forum as well when we're finished. And yay for holidays rofl
|
 |
 |
|
|
|
|
|
|
 |
|
|
|
|
|