Giải tích hàm và lý thuyết toán tử làm cho cơ học lượng tử trở nên chặt chẽ về mặt toán học.
Trực giácTrạng thái lượng tử như vectơ, đại lượng quan sát như dụng cụ đo
Hãy hình dung mọi trạng thái có thể có của một hệ lượng tử — spin của electron, vị trí của một hạt, phân cực của photon — như một mũi tên (một vectơ) trong một không gian có thể vô hạn chiều, và mọi đại lượng vật lý ta có thể đo — vị trí, động lượng, năng lượng — không phải là một con số gắn với mũi tên đó, mà là một dụng cụ: một phép biến đổi tuyến tính tác động lên mũi tên, và khi đo, buộc nó phải "nhảy" tới một trong những hướng đặc biệt của chính dụng cụ đó rồi đọc ra con số tương ứng. Chỉ một bức tranh duy nhất này — vectơ, và các dụng cụ tác động lên chúng — đã là toàn bộ khung xương toán học của cơ học lượng tử; tính bất định, sự lượng tử hóa và giao thoa chỉ là những gì xảy ra khi ta xem bức tranh đó nghiêm túc và đi theo toán học tới cùng.
Sự chồng chập của các sóng phẳng hình sin có tần số tăng dần tạo thành một gói sóng định xứ, với một thanh trượt điều khiển số họa tần được cộng vào.
Một gói sóng được dựng bằng cách chồng chập nhiều trạng thái riêng động lượng eikx; tăng số họa tần n làm gói sóng hẹp lại trong không gian vị trí nhưng lại trải rộng ra trong không gian động lượng — đó chính là bộ mặt Fourier của nguyên lý bất định.
Phổ thôngTừ hàm sóng đến không gian Hilbert
Định nghĩa: Không gian Hilbert và trạng thái lượng tử
Một không gian HilbertH là một không gian vectơ phức được trang bị một tích trong ⟨⋅,⋅⟩ và đầy đủ (mọi dãy Cauchy đều hội tụ) theo chuẩn ∥ψ∥=⟨ψ,ψ⟩. Với một hạt chuyển động trong d chiều, không gian liên quan là H=L2(Rd), các hàm phức bình phương khả tích ψ(x) với ∫Rd∣ψ(x)∣2dx<∞. Một trạng thái lượng tử thuần khiết là một vectơ đơn vị ψ∈H (chính xác hơn, một tia {eiθψ}, vì pha tổng thể không quan sát được), và ∣ψ(x)∣2 được hiểu là mật độ xác suất tìm thấy hạt tại x.
⟨ψ,φ⟩=∫Rdψ(x)φ(x)dx,∥ψ∥2=⟨ψ,ψ⟩=∫Rd∣ψ(x)∣2dx=1
Một đại lượng vật lý — vị trí, động lượng, năng lượng, spin — được biểu diễn không phải bởi một con số mà bởi một toán tử tự liên hợp (Hermitian)A^ trên H, tức là A^=A^∗: với mọi ψ,φ trong miền xác định của nó, ⟨ψ,A^φ⟩=⟨A^ψ,φ⟩. Tính tự liên hợp chính là điều kiện đại số buộc các kết quả đo khả dĩ (phổ của A^) phải là số thực, và đảm bảo các vectơ riêng ứng với trị riêng khác nhau trực giao với nhau — đó là lý do toán học vì sao phép đo một đại lượng vật lý thực luôn cho một con số thực.
Định lý Stone nói rằng hai bức tranh này chỉ là một sự thật nhìn theo hai cách: một nhóm một tham số liên tục mạnh gồm các toán tử unita U^(t) (tiến hóa theo thời gian bảo toàn tổng xác suất, U^(t)∗U^(t)=I) luôn luôn có dạng U^(t)=e−itH^/ℏ với một toán tử tự liên hợp duy nhất H^, chính là Hamiltonian — và ngược lại, mọi H^ tự liên hợp đều sinh ra một nhóm như vậy. Lấy đạo hàm U^(t)ψ tại t=0 ta thu lại phương trình Schrödingeriℏ∂tψ=H^ψ: hai cách phát biểu này tương đương logic với nhau, cùng mô tả một động lực học.
Mô tả cổ điển và mô tả lượng tử của một hệ vật lý
Khái niệm
Cơ học cổ điển
Cơ học lượng tử
Trạng thái
Một điểm (x,p) trong không gian pha
Một vectơ đơn vị ψ∈H=L2(Rd)
Đại lượng quan sát
Một hàm f(x,p) trên không gian pha
Một toán tử tự liên hợp A^=A^∗
Kết quả đo
Chính xác là giá trị f(x,p)
Một trị riêng của A^, với xác suất ∣⟨e∣ψ⟩∣2
Tiến hóa theo thời gian
Phương trình Hamilton q˙=∂H/∂p
Dòng unita U^(t)=e−itH^/ℏ
Đại họcCác định lý làm cho bức tranh trở nên chặt chẽ
Với hai toán tử tự liên hợp bất kỳ A^=A^∗, B^=B^∗ trên H và một vectơ đơn vị ψ bất kỳ thuộc miền xác định của A^B^ và B^A^, các độ lệch chuẩn σA=⟨ψ∣(A^−⟨A^⟩)2∣ψ⟩ và σB (kỳ vọng lấy theo trạng thái ψ) thỏa mãn σAσB≥21⟨[A^,B^]⟩, trong đó [A^,B^]=A^B^−B^A^.
Vì sao đúng?
Hai đại lượng quan sát chỉ có thể được đo đồng thời với độ chính xác tuyệt đối nếu các toán tử của chúng giao hoán; độ lớn của giao hoán tử là thước đo trực tiếp cho mức độ "không tương thích" giữa chúng. Bất đẳng thức Cauchy–Schwarz biến ý tưởng "hai vectơ này không thể cùng ngắn" thành một chặn số cụ thể, và việc tách tích trong thành phần thực và phần ảo chính xác là cách tách giao hoán tử (phần thực sự lượng tử) khỏi phản giao hoán tử (một số hạng tương quan trông có vẻ cổ điển).
Chứng minh
Bước 1 (toán tử đã tâm hóa). Đặt ΔA^=A^−⟨A^⟩I và ΔB^=B^−⟨B^⟩I, cả hai vẫn tự liên hợp vì ⟨A^⟩,⟨B^⟩ là các số vô hướng thực. Theo định nghĩa σA2=⟨ψ∣ΔA^2∣ψ⟩=∥ΔA^ψ∥2 và tương tự σB2=∥ΔB^ψ∥2.
Bước 2 (bất đẳng thức Cauchy–Schwarz). Áp dụng bất đẳng thức Cauchy–Schwarz ∣⟨f∣g⟩∣2≤⟨f∣f⟩⟨g∣g⟩ cho f=ΔA^ψ và g=ΔB^ψ: ∣⟨ΔA^ψ∣ΔB^ψ⟩∣2≤σA2σB2.
Bước 3 (tách phần thực và phần ảo). Viết ⟨ΔA^ψ∣ΔB^ψ⟩=⟨ψ∣ΔA^ΔB^∣ψ⟩. Vì ΔA^,ΔB^ tự liên hợp nên liên hợp phức đổi thứ tự toán tử: ⟨ΔA^ΔB^⟩∗=⟨ΔB^ΔA^⟩. Do đó kỳ vọng của phản giao hoán tử ⟨{ΔA^,ΔB^}⟩=⟨ΔA^ΔB^⟩+⟨ΔB^ΔA^⟩=2Re⟨ΔA^ΔB^⟩ là số thực, còn kỳ vọng của giao hoán tử ⟨[ΔA^,ΔB^]⟩=⟨ΔA^ΔB^⟩−⟨ΔB^ΔA^⟩=2iIm⟨ΔA^ΔB^⟩ là số thuần ảo. Ngoài ra [ΔA^,ΔB^]=[A^,B^], vì các số hạng dịch hằng số triệt tiêu trong giao hoán tử.
Bước 4 (kết hợp lại). Theo định lý Pythagoras áp dụng cho phần thực và phần ảo, ∣⟨ΔA^ΔB^⟩∣2=(Re⟨ΔA^ΔB^⟩)2+(Im⟨ΔA^ΔB^⟩)2=41∣⟨{ΔA^,ΔB^}⟩∣2+41∣⟨[A^,B^]⟩∣2≥41∣⟨[A^,B^]⟩∣2, bỏ đi số hạng phản giao hoán tử vốn không âm. Kết hợp với Bước 2, σA2σB2≥41∣⟨[A^,B^]⟩∣2, lấy căn bậc hai (cả hai vế đều không âm) ta được σAσB≥21⟨[A^,B^]⟩.
Hamiltonian H^=2mP^2+21mω2X^2, với [X^,P^]=iℏ, có phổ rời rạc, không suy biến En=ℏω(n+21), n=0,1,2,….
Vì sao đúng?
Thay vì giải trực tiếp một phương trình vi phân, ta phân tích Hamiltonian một cách đại số thành toán tử "nâng" và "hạ", giống hệt cách phân tích một dạng toàn phương. Tính không âm của toán tử số thu được, cùng với đại số cho biết các toán tử thang bậc dịch chuyển trị riêng của nó một đơn vị, buộc các trị riêng phải tạo thành một thang cách đều bắt đầu từ một bậc thấp nhất không âm — sự lượng tử hóa năng lượng chỉ đến từ đại số thuần túy.
Chứng minh
Bước 1 (toán tử thang bậc). Đặt a^=2ℏmω(X^+mωiP^) và a^†=2ℏmω(X^−mωiP^). Dùng [X^,P^]=iℏ, tính trực tiếp ta được [a^,a^†]=2ℏmω(mω−i[X^,P^]+mωi[P^,X^])=2ℏ1(ℏ+ℏ)=1.
Bước 2 (viết lại Hamiltonian). Nghịch đảo lại, X^=2mωℏ(a^+a^†) và P^=i2mωℏ(a^†−a^); thay vào H^=2mP^2+21mω2X^2 và dùng [a^,a^†]=1 để sắp lại thứ tự các số hạng, ta được H^=ℏω(a^†a^+21). Đặt toán tử số N^=a^†a^; toán tử này tự liên hợp, và với mọi trạng thái ϕ, ⟨ϕ∣N^∣ϕ⟩=∥a^ϕ∥2≥0, nên mọi trị riêng n của N^ thỏa n≥0.
Bước 3 (hệ thức thang bậc). Từ [a^,a^†]=1 ta có [N^,a^]=−a^ và [N^,a^†]=a^†. Vậy nếu N^∣n⟩=n∣n⟩ thì N^a^=a^N^−a^=a^(N^−1), cho N^(a^∣n⟩)=(n−1)(a^∣n⟩): a^ làm giảm trị riêng đi 1 (hoặc triệt tiêu trạng thái), và a^† làm tăng trị riêng thêm 1.
Bước 4 (sự dừng lại và phổ). Vì N^≥0, áp dụng a^ liên tiếp lên một trạng thái riêng bất kỳ không thể tạo ra trị riêng nhỏ hơn 0; chuỗi giảm dần n,n−1,n−2,… phải dừng tại n=0 (một giá trị khởi đầu không nguyên sẽ buộc xuất hiện một trị riêng âm sau hữu hạn bước, mâu thuẫn), nên mọi trị riêng của N^ là số nguyên không âm, và trạng thái cơ bản ∣0⟩ thỏa a^∣0⟩=0. Áp dụng a^† liên tiếp lên ∣0⟩ tạo ra các trạng thái riêng chuẩn hóa được ∣n⟩∝(a^†)n∣0⟩ cho mọi n=0,1,2,…, và không còn trạng thái nào khác. Thay N^∣n⟩=n∣n⟩ vào H^=ℏω(N^+21) ta được En=ℏω(n+21).
Đại họcỨng dụng thực tiễn và Ví dụ minh họa
Đây không phải là những khái niệm trừu tượng chỉ có trong sách giáo khoa. Hiệu ứng đường ngầm lượng tử (quantum tunneling) — một hệ quả trực tiếp của việc phương trình Schrödinger là một phương trình sóng, chứ không phải phương trình quỹ đạo hạt — là điều cho phép ô nhớ flash lưu trữ một bit bằng cách đẩy electron xuyên qua một rào cách điện, và cho phép kính hiển vi quét đường ngầm (STM) tạo ảnh từng nguyên tử riêng lẻ bằng cách đo dòng đường ngầm. Các mức năng lượng rời rạc theo kiểu được định lý phổ đảm bảo chính là điều máy MRI đọc ra dưới dạng tần số cộng hưởng, và là điều một qubit siêu dẫn dùng hai mức năng lượng thấp nhất ∣0⟩,∣1⟩ của nó để lưu thông tin lượng tử; nguyên lý bất định đặt ra giới hạn nhiễu tối hậu cho việc trạng thái của một qubit như vậy có thể được đo và điều khiển chính xác đến mức nào.
Ví dụ: Dòng đường ngầm trong kính hiển vi quét đường ngầm
Một electron tiến gần một rào thế hình chữ nhật cao V0=4.0eV (khe chân không giữa đầu dò STM và bề mặt kim loại) rộng L=0.50nm, với động năng E=3.0eV<V0. Dùng hệ số truyền qua T≈16V0E(1−V0E)e−2κL với κ=ℏ2m(V0−E), hãy ước lượng T, và giải thích vì sao đưa đầu dò lại gần thêm 0.1nm đã làm dòng đường ngầm thay đổi mạnh đến vậy.
Lời giải
Bước 1: tính κ. Với V0−E=1.0eV=1.6×10−19J, m=9.11×10−31kg, ℏ=1.055×10−34J⋅s: κ=2m(V0−E)/ℏ≈5.1×109m−1, tức khoảng 5.1nm−1.
Bước 2: tính số mũ. 2κL≈2×5.1nm−1×0.50nm≈5.1, nên e−2κL≈e−5.1≈6.1×10−3.
Bước 3: ghép lại tính T. Hệ số đứng trước 16V0E(1−V0E)=16×0.75×0.25=3.0, nên T≈3.0×6.1×10−3≈1.8×10−2.
Bước 4: độ nhạy với khoảng cách. Vì T∝e−2κL, giảm L đi 0.1nm nhân T lên với e2κ×0.1nm=e1.02≈2.8 — dòng đường ngầm tăng vọt gần gấp ba chỉ từ một thay đổi khoảng cách cỡ dưới nguyên tử. Độ nhạy theo hàm mũ này là điều cho phép STM phân giải từng nguyên tử riêng lẻ.
Ví dụ: Bất định tối thiểu của một qubit spin-1/2
Một qubit siêu dẫn được chuẩn bị ở trạng thái ∣0⟩ (spin hướng lên theo trục z), một trạng thái riêng của σ^z với trị riêng +1. Dùng các toán tử Pauli σ^x,σ^y,σ^z (mỗi toán tử tự liên hợp, có trị riêng ±1, và [σ^x,σ^y]=2iσ^z), hãy tính σσx và σσy ở trạng thái này và kiểm tra chặn Robertson–Heisenberg cho cặp (σ^x,σ^y).
Lời giải
Bước 1: các giá trị kỳ vọng tại ∣0⟩. Vì ∣0⟩ chỉ là trạng thái riêng của σ^z, còn σ^x,σ^y lật nó sang trạng thái trực giao ∣1⟩, nên ⟨0∣σ^x∣0⟩=⟨0∣σ^y∣0⟩=0 trong khi ⟨0∣σ^z∣0⟩=1.
Bước 2: các phương sai. Vì σ^x2=σ^y2=I, σσx2=⟨0∣σ^x2∣0⟩−⟨0∣σ^x∣0⟩2=1−0=1, và tương tự σσy2=1; vậy σσx=σσy=1 và σσxσσy=1.
Bước 4: so sánh. Tích 1 bằng đúng chặn 1: ∣0⟩ là trạng thái bất định tối thiểu đối với (σ^x,σ^y), nghĩa là phép đo σ^x hoặc σ^y trên một qubit chuẩn bị theo z là ngẫu nhiên tối đa (50/50).
Giao hoán tử [X^,P^]=iℏ bằng bao nhiêu?
Theo định lý Stone, để U^(t)=e−itH^/ℏ là unita với mọi t, H^ phải là gì?
Một dao động tử điều hòa lượng tử có ℏω=2eV. Năng lượng mức n=1 của nó là bao nhiêu?
Trong kính hiển vi quét đường ngầm, độ nhạy cực cao của dòng đường ngầm theo khoảng cách đầu dò–mẫu đến từ đặc điểm nào của T≈16V0E(1−V0E)e−2κL?