Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.
Each step is valid. The first by (4); the second by the definition of ; the third because complex conjugation distributes over multiplication; the fourth by the definition of complex conjugation; the fifth by the associativity of multiplication followed by (3), using that and mean the same; the sixth is actually five sub-steps combined, the first sub-step using the commutativity of multiplication, the second an algebraic property of exponentiation (product of powers is power of sum), the third being that the sum of two opposite quantities simplifies to , the fourth the property that and the fifth sub-step that is the identity element of multiplication; the last by (5). --Lambiam20:35, 4 May 2021 (UTC)[reply]
That is a very detailed verification. Thank you for your help once again!
I'd like to add that (2) is only valid if is an eigenfunction of the Hamilton operator, i.e. if the system is in an energy eigenstate. If this is not the case, i.e. if is a superposition or sum of energy eigenfunctions, then each has its own factor and you get interference that makes time-dependent. --Wrongfilter (talk) 16:05, 5 May 2021 (UTC)[reply]
I assume you meant to say that then becomes time-dependent (which, obviously, implies that the identity cannot hold). --Lambiam17:12, 5 May 2021 (UTC)[reply]
Yes, you're right. The time dependence in the overall phase factor has no observable consequences, that's why I tend to forget about it. But the absolute value is of course correct. --Wrongfilter (talk) 20:26, 5 May 2021 (UTC)[reply]
Ah, thanks for pointing it out. I apologize to you guys for not noticing that it's about the eigenequation
where each is an eigenvector(eigenfunction) of (eq1) and is the eigenvalue(eigenenergy) corresponding to that eigenvector. -- Justin545 (talk) 19:48, 5 May 2021 (UTC)[reply]