Xem mã nguồn của Phát biểu toán học của cơ học lượng tử

{{chú thích trong bài}}
{{cần biên tập}}
'''Phát biểu toán học của cơ học lượng tử''' là các [[hình thức toán học]] cho phép mô tả chặt chẽ [[cơ học lượng tử]].
== Các tiên đề ==

==== Tiên đề 1 ====
Nội dung của tiên đề 1 nói về các '''đại lượng quan sát được''' và các '''toán tử''': 
:Mỗi đại lượng quan sát được, hay biến số động lực, ''A'' trong cơ học lượng tử tương ứng với một toán tử <math> \hat{A}</math> sao cho phép đo ''A'' thu được giá trị ''a ''là các [[giá trị riêng]] của <math> \hat{A}</math>, nghĩa là các giá trị ''a'' là những giá trị mà phương trình trị riêng <math>\hat{A} \varphi = a\varphi</math> có nghiệm <math>\varphi</math>; khi đó <math>\varphi</math> là [[hàm riêng]] của toán tử <math>\hat{A} </math> tương ứng với trị riêng ''a''<ref>Cơ học lượng tử - Đinh Phan Khôi - 2009, trang 10</ref>.

=====Ví dụ thứ nhất=====
Toán tử [[Động lượng|xung lượng]] <math>\hat{p}</math> là <math>\hat{p} = -i \hbar \nabla \,\!</math>. Xét '''hạt chuyển động một chiều trên trục <math>x</math>'''. Khi đó

:<math>\hat p_x = -i \hbar \frac{\partial}{\partial x}</math>

và phương trình trị riêng của toán tử xung lượng là

:<math>-i \hbar \frac{\partial}{\partial x} \varphi = p_x \varphi</math>,

trong đó <math>p_x</math> là các giá trị khả dĩ mà ta sẽ thu được khi đo thành phần trên trục <math>x</math>'' ''của xung lượng; hàm sóng <math>\varphi (x)</math> tương ứng với một giá trị xác định của xung lượng <math>(p_x)</math> là hàm mà <math>|\varphi(x)|^2 dx</math> là xác suất tìm thấy hạt với xung lượng <math>p_x</math> trong khoảng <math>[x, x + dx]</math>.

Giả sử hạt tự do (không có điều kiện biên) khi đó ta có nghiệm

:<math>\varphi(x) = Ae^{\frac{i p_x x}{\hbar}} = Ae^{i k x}</math>,

trong đó số sóng <math>k = \frac{p} {\hbar}</math>, như vậy <math>\varphi(x)</math> là hàm tuần hoàn theo <math>x</math>.

Ta hãy tìm [[bước sóng]] <math>\lambda</math>:

:<math>e^{ikx} = e^{ik(x+\lambda)} = cos(kx)+isin(kx)</math>

:<math>\Rightarrow </math> <math>\left\{\begin{matrix}
cos(k\lambda) = 1 \\
sin(k\lambda) = 0
\end{matrix}\right.</math> <math>\Rightarrow </math> <math>k\lambda = 2\pi</math>,

tức là <math>\frac{p}{\hbar}\lambda = 2\pi \Rightarrow p = \frac{2\pi\hbar}{\lambda}= \frac{h}{\lambda}</math>

([[hệ thức De Broglie|hệ thức '''De Broglie''']] <math>\varepsilon = \hbar\omega; \vec{p} = \hbar\vec{k}</math>, trong đó tần số góc <math>\omega</math>, vector sóng <math>\vec{k}</math>, mỗi [[phôton]] có năng lượng <math>\varepsilon</math> và xung lượng <math>\vec{p}</math>)

Ta thấy rằng hàm riêng của toán tử xung lượng tương ứng với trị riêng <math>p</math> có bước sóng là bước sóng '''De Broglie''' <math>\frac{h}{\lambda}</math>.

Vậy hàm riêng và trị riêng của toán tử xung lượng là <math>\varphi(x) = Ae^{ikx}; p = \hbar k</math>
=====Ví dụ thứ hai=====

Toán tử tương ứng với [[năng lượng]] là toán tử năng lượng hay [[toán tử Hamilton]] <math>\hat{H}</math>, trong đó <math>\vec{p}</math> được thay bởi <math>\hat{\vec{p}}</math>.

Toán tử năng lượng của hạt có khối lượng <math>m</math> trong [[trường thế]] <math>V(\vec{r})</math> là

:<math>\hat{H}= \frac{\hat{p}^2}{2m}+V(\vec{r})=-\frac{\hbar^2}{2m}\nabla^2 + V(\vec{r})</math>

Phương trình trị riêng có dạng

:<math>\hat{H}\varphi(\vec{r}) = E\varphi(\vec{r})</math>

Đây chính là [[phương trình Schrodinger]] không phụ thuộc thời gian.

Xét hạt tự do: <math>\hat{H} = \frac{\hat{p}^2}{2m} = -\frac{\hbar^2}{2m}\nabla^2</math>

Đối với hạt tự do<ref>Hạt tự do là hạt chuyển động trong môi trường không có lực thế.</ref> một chiều, ta có phương trình trị riêng

:<math>-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}\varphi(x) = E\varphi(x)</math>

Đặt <math>k^2 =\frac{2mE}{\hbar^2}</math> (<math>k</math> được gọi là số sóng), ta có phương trình

:<math>\varphi(x)'' + k^2\varphi(x) = 0</math>

Do không có điều kiện ban đầu nên

:<math>\varphi(x)=Ae^{ikx}+Be^{-ikx}</math>

:<math>\varphi(x)</math> là hàm riêng của toán tử <math>\hat{H}</math> tương ứng với trị riêng năng lượng <math>E=\frac{\hbar^2k^2}{2m}</math>.

Ta nhận thấy rằng hàm <math>\varphi(x)=Ae^{ikx}+Be^{-ikx}</math> ứng với <math>B = 0</math> cũng là hàm riêng của toán tử xung lượng <math>\hat{\vec{p}}</math>.

Việc hai toán tử <math>\hat{H}</math> và <math>\hat{p}</math> của một hạt tự do có chung hàm riêng là một trường hợp đặc biệt của một định lý tổng quát hơn.

Tiếp theo ta hãy chứng minh rằng nếu <math>\varphi</math> là hàm riêng của <math>\hat{\vec{p}}</math> thì <math>\varphi</math> cũng là hàm riêng của <math>\hat{H}</math>.

Do <math>\varphi</math> là hàm riêng của <math>\hat{\vec{p}}</math> nên ta có:

:<math>\hat{\vec{p}}\varphi = \hbar k \varphi</math>

Do đó <math>\hat{H}\varphi=\frac{\hat{\vec{p}}}{2m}(\hat{\vec{p}}\varphi)=\frac{\hat{\vec{p}}}{2m}(\hbar k\varphi)=\frac{\hbar k}{2m}(\hat{\vec{p}}\varphi)=\frac{(\hbar k)^2}{2m}\varphi</math>

tức là <math>\varphi</math> cũng là hàm riêng của <math>\hat{H}</math>.

Cả năng lượng và xung lượng của hạt tự do có các giá trị liên tục

:<math>E=\frac{\hbar^2 k^2}{2m}; p = \hbar k;</math>

nghĩa là chúng là trị riêng của bất cứ số sóng <math>k</math> nào.

Hàm riêng tương ứng là

:<math>\varphi_k(x) = Ae^{ikx}</math>

Nếu hạt tự do ở trạng thái này thì phép đo xung lượng chắc chắn được giá trị <math>\hbar k</math>, phép đo năng lượng chắc chắn được giá trị <math>\frac{\hbar^2 k^2}{2m}</math>.

Giả sử ta đo vị trí <math>x</math> của hạt. Hạt sẽ ở đâu?

Theo [[Max Born|Born]], khi hạt ở trạng thái được mô tả bởi hàm sóng <math>\varphi_k(x) = Ae^{ikx}</math> thì mật độ xác suất liên quan tới xác suất tìm thấy hạt trong khoảng <math>[x, x + dx]</math> là <math>|\varphi_k|^2=|A|^2=const</math>. [[Mật độ xác suất]] cùng bằng một hằng số cho mọi <math>x</math>. Vậy xác suất tìm thấy hạt ở bất cứ vị trí nào là như nhau.

=== Tiên đề 2 ===
Nội dung của tiên đề 2 nói về phép đo trong cơ học lượng tử: 
:Phép đo<ref>Phép đo là cách thức để biết giá trị cần đo, bằng cách tương tác hoặc không tương tác với đối tượng cần đo, ta xác định được giá trị muốn đo.</ref> biến số động lực <math>A</math> thu được giá trị <math>a</math> đưa hệ về trạng thái <math>\varphi_a</math>, trong đó <math>\varphi_a</math> là hàm riêng của toán tử <math>\hat{A}</math> tương ứng với trị riêng <math>a</math><ref>Cơ học lượng tử - Đinh Phan Khôi - 2009, trang 14</ref>.

Ví dụ:

Hạt tự do chuyển động một chiều. Ta không biết hạt đang ở trong trạng thái nào, ở một thời điểm bất kỳ ta đo xung lượng của hạt và đạt được giá trị <math>p = \hbar k</math>. Phép đo này đưa hệ về trạng thái <math>\varphi_k</math>, phép đo xung lượng sau đó chắc chắn thu được giá trị <math>p = \hbar k</math>.

Giả sử, ta đo vị trí của một hạt tự do và đo được vị trí <math>x = x'</math>. Từ 2 tiên đề suy ra

(1) Có một toán tử <math>\hat{x}</math> tương ứng với phép đo được vị trí <math>x</math>.

(2) Đo <math>x</math> được giá trị <math>x'</math> đưa hạt về hàm riêng của toán tử <math>\hat{x}</math> tương ứng với trị riêng <math>x'</math>.

Ta có phương trình trị riêng

<math>\hat{x}\delta(x - x')=x'\delta(x-x')</math> trong đó <math>\delta(x-x')</math> là hàm '''delta [[Paul Dirac|Dirac]]'''.

=== Tiên đề 3 ===
(Thiết lập sự tồn tại của hàm trạng thái và mối liên hệ của nó với các tính chất của một hệ)

''Nội dung:''

Trạng thái của hệ ở một thời điểm bất kỳ được biểu diễn bởi một hàm trạng thái hay hàm sóng <math>\psi</math> liên tục và khả tích. Tất cả thông tin liên quan đến trạng thái của hệ được chứa đựng trong hàm sóng.<ref>Cơ học lượng tử - Đinh Phan Khôi - 2009, trang 14-15</ref>

Cụ thể, nếu hệ ở trạng thái <math>\psi(\vec{r}, t)</math> thì giá trị trung bình của biến số động lực <math>C</math> bất kỳ liên quan tới thời điểm <math>t</math> là

:<math>\left \langle C \right \rangle=\int\psi^* \hat{C}\psi d\vec{r}</math>

trong đó <math>d\vec{r}</math> là vi phân thể tích, <math>\left \langle C \right \rangle</math> là [[giá trị kỳ vọng]] của biến số động lực <math>C</math>.

'''Ý nghĩa vật lý của giá trị trung bình biến số động lực <math>C</math>:'''

Biến số động lực <math>C</math> được đo trong một thí nghiệm xác định <math>X</math>. Người ta chuẩn bị một số lượng <math>N</math> rất lớn các phép lặp của <math>X</math>, các trạng thái đầu <math>\psi(\vec{r}, 0)</math> của mọi phép lặp đều như nhau. Ở thời điểm <math>t</math>, đo <math>C</math> trong tất cả các thí nghiệm lặp và thu được tập giá trị <math>C_1, C_2,..., C_N</math>. Suy ra

:<math>\left \langle C \right \rangle=\frac{1}{N}\sum_{i=1}^{N}C_i</math>

Tiên đề 3 nói rằng giá trị trung bình tính được trong thí nghiệm bằng giá trị trung bình cho bởi tích phân.

===Tiên đề 4===
Nội dung của tiên đề 4 là về sự tiến triển theo thời gian của hàm trạng thái: 
:[[Hàm trạng thái]]<ref>Hàm trạng thái là hàm biểu diễn trạng thái của đối tượng trong không gian tại thời điểm xác định. Một hàm trạng thái có thể là hàm số thực hoặc hàm số phức.</ref> <math>\psi(\vec{r}, t)</math> của một hệ tiến triển theo thời gian theo phương trình

::<math>i\hbar\frac{\partial}{\partial t}\psi(\vec{r}, t) = \hat{H}\psi(\vec{r}, t)</math>

Đây chính là [[phương trình Schrodinger]] phụ thuộc thời gian.<ref>Cơ học lượng tử - Đinh Phan Khôi - 2009, trang 16</ref>

[[Toán tử năng lượng]] của hạt có [[khối lượng]] <math>m</math> trong trường thế <math>V(\vec{r})</math> là

:<math>\hat{H} = \frac{\hat{p}^2}{2m}+V(\vec{r})=-\frac{\hbar^2}{2m}\nabla^2+V(\vec{r})</math>

Giả sử <math>\hat{H}</math> không phụ thuộc <math>t</math>: <math>\hat{H} = \hat{H}(\vec{r})</math>

Trong trường hợp này ta có thể tìm nghiệm của phương trình Schrodinger phụ thuộc thời gian nhờ kỹ thuật tách biến:

:<math>\psi(\vec{r}, t) = \psi(\vec{r})T(t)</math>

Kết quả ta tìm được phần phụ thuộc thời gian

:<math>T(t) = Ae^{-\frac{iEt}{\hbar}}</math>

Giả sử phương trình Schrodinger không phụ thuộc thời gian, thu được các hàm riêng <math>\psi_n</math> và trị riêng <math>E_n</math>:

:<math>\hat{H}\psi_n=E_n\psi_n</math>

Với mỗi nghiệm riêng như thế có một nghiệm riêng tương ứng với phương trình Schrodinger phụ thuộc thời gian

:<math>\psi_n(\vec{r}, t) = A\psi_n(\vec{r})e^{-\frac{i E_n t}{\hbar}}, n=1,2,3...</math>

điều này phù hợp khi <math>\left \{\psi_n \right \}</math> gián đoạn.

Trong trường hợp <math>\left \{\psi_n \right \}</math> liên tục, ví dụ như hạt tự do chuyển động một chiều, từ phương trìng Schrodinger không phụ thuộc thời gian

:<math>\hat{H}\psi_k=E_k\psi_k</math>

ta đã thu được hàm riêng <math>\psi_k(x) = Ae^{ikx}</math> và trị riêng <math>E_k = \frac{\hbar^2 k^2}{2m}</math>.

Với mỗi nghiệm không phụ thuộc thời gian ta có một nghiệm phụ thuộc thời gian tương ứng

:<math>\psi_k(x, t) = Ae^{i(kx - \omega t)}</math>, trong đó <math>\hbar\omega = E_k</math>

==Xem thêm==
* [[Ký hiệu Bra-ket]]
* [[Hệ thức giao hoán]] 
* [[Mô hình Heisenberg]]
* [[Mô hình Schrödinger]] 
* [[Hàm sóng]] 
* [[Phép đo trong cơ học lượng tử]] 
* [[Bán cổ điển]] 
* [[Tích phân lộ trình]] 
* [[Phép gần đúng WKB]] 
* [[Logic lượng tử]] 
* [[Toán tử]] 
* [[Lý thuyết trường lượng tử]] 
* [[Tiên đề Wightman]]

== Tham khảo ==
*Cơ học lựơng tử - Đinh Phan Khôi
*http://plato.stanford.edu/entries/qm/
*http://www.mtnmath.com/faq/meas-qm.html {{Webarchive|url=https://web.archive.org/web/20110717113602/http://www.mtnmath.com/faq/meas-qm.html |date=2011-07-17 }}

==Chú thích==
{{tham khảo}}

[[Thể loại:Cơ học lượng tử]]