Định lý Ehrenfest

Định lý Ehrenfest, được đặt tên theo nhà vật lý học người Áo đến từ trường Đại học Leiden Paul Ehrenfest, thể hiện mối quan hệ của đạo hàm theo thời gian của giá trị kì vọng của vị trí (x) với giá trị kỳ vọng của động lượng (p); và giá trị kỳ vọng của động lượng với giá trị kì vọng của lực của một hạt với khối lượng rất lớn và chuyển động trong trường thế năng vô hướng:

Nói một cách không chặt chẽ, thì ta có thể hiểu rằng "giá trị kì vọng trong cơ học lượng tử tuân theo phương trình chuyển động cổ điển của Newton". (Phát biểu này cần một vài điều kiện, xem.)
Định lý Ehrenfest là trường hợp đặc biệt của mối quan hệ tổng quát hơn giữa giá trị kì vọng của một toán tử lượng tử bất kì, giá trị kì vọng của giao hoán tử của toán tử đó với toán tử Hamiltonian của hệ.
Trong đó là một toán tử lượng tử nào đó và là giá trị kì vọng của nó. Định lý tổng quát này thực ra không phải do Ehrenfest phát hiện mà do Werner Heisenberg.

Điều này khá hiển nhiên theo quan điểm của Heisenberg trong cơ học lượng tử, mà ở đó, đây chỉ là giá trị kì vọng của phương trình chuyển động Heisenberg. Điều này cung cấp thêm minh chứng toán học cho nguyên tắc tương ứng ("correspondence principle").

Lý do là định lý Ehrenfest có liên quan chặt chẽ với định lý Liouville trong cơ học Hamilton, liên quan tới ngoặc Poisson ("Poisson bracket") thay vì giao hoán tử. Nguyên tắc ngón tay cái của Dirac chỉ ra rằng mệnh đề trong cơ học lượng tử mà có liên quan tới giao hoán tử thì tương ứng với mệnh đề trong cơ học cổ điển với giao hoán tử khi đó được thay thế bằng ngoặc Poisson nhân với . Điều này làm cho giá trị kì vọng của toán tử tuân theo phương trình chuyển động cổ điển biết rằng toán tử Hamiltonian ở trạng thái toàn phương tọa độ và động lượng. Mặt khác, phương trình này vẫn gần đúng với điều kiện dao động nhỏ.

== Chứng minh từ phương trình Schrödinger ==
Giả sử một vài hệ đang được biểu diễn bởi một trạng thái lượng tử . Nếu ta muốn tìm đạo hàm tức thời theo thời gian của giá trị kì vọng của , thì bằng định nghĩa ta có:

Đó là khi ta tích phân trên toàn miền không gian. Nếu ta áp dụng phương trình Schrödinger equation thì:

Bằng cách lấy liên hợp phức ta thu được:

Chú ý rằng , vì toán tử Hamiltonian là một toán tử Hermite. Thay vào ta có:

Thường thì(không phải luôn luôn) toán tử độc lập so với thời gian, nên đạo hàm của nó bằng 0 và ta có thể bỏ qua thành phần cuối cùng.

==Chứng mình từ phương trình Heisenberg==
Theo quan điểm của Heisenberg, kết quả thu được là tầm thường. Quan điểm của Heisenberg chuyển dự phụ thuộc thời gian của hệ sang cho toán tử thay vì các vector trạng thái. Bắt đầu với phương trình Heisenberg

Ta có thể dễ dàng thu được định lý Ehrenfest bằng cách chiếu phương trình Heisenberg lên formula_6 từ bên phải và formula_7 từ bên trái, hoặc lấy giá trị kì vọng, vì thế

Ta có thể lấy ra khỏi thành phần đầu tiên ví vector trạng thái không còn phụ thuộc vào thời gian, do đó

== Ví dụ tổng quát ==
Giá trị kì vọng trong định lý cũng rất giống với quan điểm của Schrödinger picture. Với mọi ví dụ tổng quát cho hạt rất lớn chuyển động với trường thế vô hướng thì hàm Hamiltonian chỉ đơn giản là

trong đó là vị trí của hạt.

Giả sử ta muốn biết sự thay đổi tức thời của động lượng . Dùng định lý Ehrenfest, ta có:

Vì toán tử tương tác với chính nó và không phụ thuộc vào thời gian. Thay bởi trong vế phải ta có

Áp dụng quy tắc nhân vào thành phần thứ 2 ta có:

Nhưng ta nhận ra rằng kết quả này giống với định luật II Newton. Đây là một ví dụ của nguyên tắc tương ứng (correspondence principle): kết quả thể hiện định luật II Newton trong trượng hợp có rất nhiều trạng thái kích thích trong hàm sóng mà sự chuyển động được tính bằng giá trị kì vọng của một hạt cổ điển.

Tương tự ta có thể thu được sự thay đổi tức thời của giá trị kì vọng của vị trí.

Kết quả lại một lần nữa giống với phương trình cổ điển.

== Cách thu được phương trình Schrödinger từ định lý Ehrenfest ==
Theo như trên thì định lý Ehrenfest là hệ quả của phương trình Schrödinger. Tuy nhiên, điều ngược lại cũng đúng: phương trình Schrödinger có thể rút ra được từ định lý Ehrenfest. Ta bắt đầu từ

Áp dụng quy tắc nhân ta có

Thay thế một hệ quả của đinh lý Stone(Stone's theorem)

Trong đó là một hằng số chuẩn hóa để cân bằng chiều. Vì những thành phần này phải tồn tại với mọi trạng thái ban đầu, giá trị trung bình có thể bị giảm xuống và hệ phương trình các giao hoán tử cho nguồn chuyển động chưa biết được tạo ra

Giả sử rằng tọa độ và động lương quan sát được tuân theo "quan hệ giao hoán kinh điển"(canonical commutation relation) . Cho formula_19, phương trình giao hoán tử có thể chuyển thành phương trình vi phân

Mà kết quả thu được giống với quan điểm lượng tử của Hamilton(Hamiltonian quantum)

Phương trình Schrödinger thu được từ định lý Ehrenfest bằng cách giả sử rằng tọa độ và động lương quan sát được tuân theo "quan hệ giao hoán kinh điển". Nếu giả sử tọa độ và động lượng là giao hoán tử thì với cách tính tương tự ta có cơ học cổ điển của Koopman-von Neuman(Koopman–von Neumann classical mechanics). Do đó, kết quả thu được và cơ học cổ điển của Koopman-von Neuman derivation of the Koopman–von Neumann mechanics cho rằng sự khác nhau thiết yếu giữa cơ học lượng tử và cơ học cổ điển thu hẹp lại còn chỉ là giá trị của giao hoán tử .