Xem mã nguồn của Phương pháp biến phân (cơ học lượng tử)

Trong [[cơ học lượng tử]], '''phương pháp biến phân''' là một cách để tìm gần đúng trạng thái riêng năng lượng thấp nhất  hay [[trạng thái cơ bản]], và một số trạng thái kích thích. Điều này cho phép tính toán gần đúng các hàm sóng chẳng hạn như các [[quỹ đạo phân tử]].<ref>''Lorentz Trial Function for the Hydrogen Atom: A Simple, Elegant Exercise'' Thomas Sommerfeld Journal of Chemical Education 2011 88 (11), 1521–1524 {{DOI|10.1021/ed200040e}}</ref> Cơ sở cho phương pháp này là nguyên lý biến phân.<ref>{{Chú thích sách|title=Introduction to Quantum Mechanics|last=Griffiths|first=D. J.|publisher=[[Prentice Hall]]|year=1995|isbn=978-0-13-124405-4|location=Upper Saddle River, New Jersey|ref=Griffiths1995|author-link=David Griffiths (physicist)}}</ref><ref>{{Chú thích sách|title=Modern Quantum Mechanics|last=Sakurai|first=J. J.|publisher=[[Addison–Wesley]]|year=1994|isbn=978-0-201-53929-5|editor-last=Tuan|editor-first=San Fu|edition=Revised|ref=Sakurai1994|author-link=J. J. Sakurai|orig-year=}}
</ref>

Phương pháp này bao gồm chọn " [[hàm sóng]] thử" phụ thuộc vào một hoặc nhiều [[tham số]] và tìm các giá trị của tham số này sao cho giá trị kỳ vọng của năng lượng là thấp nhất có thể. Khi đó hàm sóng thu được bằng cách khớp các tham số được gần đúng với hàm sóng trạng thái cơ bản và giá trị kỳ vọng của năng lượng ở trạng thái đó là biên trên của năng lượng trạng thái cơ bản. [[Phương pháp Hartree–Fock|Phương pháp]] [[Hartree–Fock method|Hartree–Fock]], nhóm tái chuẩn hóa ma trận mật độ và phương pháp Ritz đều áp dụng phương pháp biến phân.

== Mô tả ==
Giả sử ta có một [[không gian Hilbert]] và một toán tử Hermite trên nó được gọi là [[Toán tử Hamilton|Hamiltonian]] '''''H.''''' Bỏ qua các khả năng về [[Quang phổ liên tục|phổ liên tục]], ta xét phổ rời rạc của '''''H''''' và các không gian riêng tương ứng của mỗi trị riêng (xem định lý phổ cho các toán tử Hermite trong cơ sở toán học):

: <math>\lang\psi_{\lambda_1}\mid \psi_{\lambda_2}\rang=\delta_{\lambda_1\lambda_2}</math>

trong đó <math>\delta_{i,j}</math> là kí hiệu Kronecker

: <math>\delta_{ij} = \begin{cases}
0 &\text{if } i \neq j,   \\
1 &\text{if } i=j.   \end{cases}</math>

và Hamiltonian liên hệ với trị riêng λ thông qua hệ thức trị riêng

: <math>\hat{H} \left| \psi_\lambda\right\rangle = \lambda\left|\psi_\lambda \right\rangle. </math>

Các trạng thái vật lý được chuẩn hóa, nghĩa là độ chuẩn bằng &nbsp;1. Bỏ qua phổ liên tục của '''''H''''', giả định rằng nó được bao từ dưới và [[biên thấp hơn lớn nhất]] là ''E''<sub>0</sub>. Giả sử rằng ta cũng biết trạng thái tương ứng |ψ⟩. [[Giá trị kì vọng]] của '''''H''''' khi đó là

:<math>
\begin{align}
\left\langle\psi\mid H\mid \psi\right\rangle & = \sum_{\lambda_1,\lambda_2 \in \mathrm{Spec}(H)} \left\langle\psi|\psi_{\lambda_1}\right\rangle \left\langle\psi_{\lambda_1}|H|\psi_{\lambda_2}\right\rangle \left\langle\psi_{\lambda_2}|\psi\right\rangle \\
& =\sum_{\lambda\in \mathrm{Spec}(H)}\lambda \left|\left\langle\psi_\lambda\mid \psi\right\rangle\right|^2\ge\sum_{\lambda \in \mathrm{Spec}(H)}E_0 \left|\left\langle\psi_\lambda\mid \psi\right\rangle\right|^2=E_0
\end{align}
</math>

Tất nhiên, nếu ta biến thiên tất cả các trạng thái khả dĩ với độ chuẩn 1 để cực tiểu hóa giá trị kì vọng của '''''H''''', giá trị thấp nhất sẽ là ''E''<sub>0</sub> và trạng thái tương ứng sẽ là một trạng thái riêng của ''E''<sub>0</sub>. Biến thiên toàn không gian Hilbert  thường rất phức tạp trong các tính toán vật lý, và một không gian con của không gian Hilbert được chọn, được tham số hóa bởi một số tham số vi phân (thực) ''α''<sub>''i''</sub> (''i''&nbsp;=&nbsp;1,&nbsp;2,&nbsp;...,&nbsp;''N''). Việc chọn không gian con được gọi là [[ansatz]]. Một số việc chọn ansatz dẫn đến các gần đúng tốt hơn, do đó việc chọn ansatz khá quan trọng.

Hãy giả sử rằng có một số sự xen phủ giữa ansatz và [[trạng thái cơ bản]] (ngược lại, nó là một ansatz tệ). Ta vẫn mong muốn chuẩn hóa ansatz, do đó ta có một số ràng buộc

:<math> \left\langle \psi(\mathbf{\alpha}) \mid \psi(\mathbf{\alpha}) \right\rangle = 1</math>

và ta mong muốn cực tiểu hóa

:<math> \varepsilon(\mathbf{\alpha}) =  \left\langle \psi(\mathbf{\alpha})|H|\psi(\mathbf{\alpha}) \right\rangle. </math>

Tổng quát, đây là công việc không dễ, do ta mong đợi một [[cực tiểu toàn cục]] và tìm các đạo hàm riêng bằng không của ''ε'' trên tất cả ''α''<sub>''i''</sub> là không đủ. Nếu ''ψ'' ('''''α''''') được biểu diễn như một tổ hợp tuyến tính của các hàm khác (''α''<sub>''i''</sub> là các hệ số), như trong [[phương pháp Ritz]], chỉ có một cực tiểu và bài toán rất đơn giản. Tuy nhiên, còn có các phương pháp phi tuyến khác như là [[phương pháp Hartree–Fock]], mà nó cũng không được đặc trưng bởi độ lớn các cực tiểu và do đó rất thuận tiện trong các tính toán.

Có sự phức tạp khác trong tính toán đã mô tả. Nếu ε tiến về E<sub>0</sub> trong các tính toán cực tiểu hóa, không chắc chắn rằng các hàm sóng thử tương ứng có xu hướng tiến về hàm sóng thực sự. Điều này được làm rõ bằng các tính toán sử dụng dao động tử được hiệu chỉnh như một hệ mẫu, trong đó nghiệm giải ra gần chính xác sử dụng phương pháp biến phân. Một hàm sóng khác với hàm sóng chính xác thu được bằng việc sử dụng phương pháp đã mô tả ở trên.{{citation needed|date=April 2016}}

Mặc dù các tính toán thường giới hạn ở năng lượng trạng thái cơ bản nhưng phương pháp này cũng có thể áp dụng trong các trường hợp nhất định khi tính các trạng thái kích thích. Nếu hàm sóng trạng thái cơ bản biết được bằng phương pháp biến phân hay bằng tính toán trực tiếp thì tập con của không gian Hilbert cũng có thể được chọn trực giao với hàm sóng trạng thái cơ bản.

:<math>\left| \psi \right\rangle = \left|\psi_{\text{test}}\right\rangle - \left\langle\psi_{\mathrm{gr}} \mid  \psi_{\text{test}}\right\rangle \left|\psi_{\text{gr}}\right\rangle </math>

Cực tiểu thường không chính xác cho trạng thái cơ bản, sự khác nhau giữa trạng thái cơ bản và <math>\psi_{\text{gr}}</math>  là kết quả trong năng lượng kích thích thấp hơn. Sự hụt này liên quan đến mỗi trạng thái kích thích cao hơn.

Trong công thức khác:

:<math>E_\text{ground} \le \left\langle\phi|H|\phi\right\rangle. </math>

Bằng định nghĩa, công thức này thỏa với bất kì φ thử nào, hàm sóng trạng thái cơ bản có năng lượng thấp nhất, và hàm sóng thử bất kì sẽ có năng lượng lớn hơn hoặc bằng với nó.

Chứng minh:
φ có thể được khai triển như một tổ hợp tuyến tính các hàm riêng thực của Hamiltonian (ta giả sử nó được chuẩn hóa và trực giao):
:<math>\phi = \sum_n c_n \psi_n. \,</math>

Khi đó, để tìm giá trị kì vọng của Hamiltonian:

:<math>
\begin{align}
& \left\langle\phi|H|\phi\right\rangle \\
= {} & \left\langle\sum_n c_n \psi_n |H|\sum_m c_m\psi_m\right\rangle \\
= {} & \sum_n\sum_m \left\langle c_n^* \psi_{n}|E_m|c_m\psi_m\right\rangle \\
= {} & \sum_n\sum_m c_n^*c_m E_m\left\langle\psi_n\mid\psi_m\right\rangle \\
= {} & \sum_{n} |c_n|^2 E_n.
\end{align}
</math>

Lúc này, năng lượng trạng thái cơ bản là năng lượng khả dĩ thấp nhất, tức là <math>E_{n} \ge E_{g}</math>. Do đó, nếu hàm sóng được dự đoán φ được chuẩn hóa:
:<math>\left\langle\phi|H|\phi\right\rangle \ge E_g \sum_n |c_n|^2 = E_g. \,</math>

===Tổng quát===

Với một hamiltonian '''''H''''' mô tả hệ và ''bất kì'' hàm sóng chuẩn hóa '''''Ψ''''' với các argument thích hợp cho hàm sóng chưa biết của hệ, ta xác định [[phiếm hàm (toán học)|phiếm hàm]]

: <math> \varepsilon\left[\Psi\right] = \frac{\left\langle\Psi|\hat{H}|\Psi\right\rangle}{\left\langle\Psi \mid \Psi\right\rangle}.</math>

Nguyên lý biến phân phát biểu rằng
* <math>\varepsilon \geq E_0</math>, trong đó <math>E_0</math> là trạng thái riêng có năng lượng thấp nhất (trạng thái cơ bản) của hamiltonian
* <math>\varepsilon = E_0</math> khi và chỉ khi <math>\Psi</math> bằng chính xác với hàm sóng của trạng thái cơ bản của hệ được nghiên cứu.

Nguyên lý biến phân được công thức hóa ở trên là cơ sở của phương pháp biến phân được sử dụng trong [[cơ học lượng tử]] và [[hóa lượng tử]] để tìm gần đúng [[trạng thái cơ bản]].

Một khía cạnh khác trong các nguyên lý biến phân của cơ học lượng tử là <math>\Psi</math> và <math>\Psi^\dagger</math> cũng có thể được biến đổi tách biệt (gây ra bởi bản chất số phức của hàm sóng), các đại lượng có thể biến đổi theo nguyên lý tại một thời điểm.<ref>xem Landau, Quantum Mechanics, pg. 58.</ref>

== Trạng thái cơ bản của nguyên tử Heli ==
[[Nguyên tử heli]] bao gồm hai [[electron]] với khối lượng ''m'' và điện tích &nbsp;−''e'', xung quan một [[hạt nhân nguyên tử|hạt nhân]] được xem như cố định với khối lượng ''M'' ≫ ''m'' và điện tích +2''e''. Hamiltonian cho nó, bỏ qua [[cấu trúc tinh tế]], là:
:<math>H = -\frac{\hbar^2}{2m} (\nabla_1^2 + \nabla_2^2) - \frac{e^2}{4\pi\epsilon_0} \left(\frac{2}{r_1} + \frac{2}{r_2} - \frac{1}{|\mathbf{r}_1 - \mathbf{r}_2|}\right)</math>
trong đó ''ħ'' là [[hằng số Planck rút gọn]], ''ε''<sub>0</sub> là [[hằng số điện môi chân không]], ''r<sub>i</sub>'' (for ''i'' = 1, 2) là khoảng cách của electrong thứ ''i'' đến hạt nhân, và |'''r'''<sub>1</sub>&nbsp;−&nbsp;'''r'''<sub>2</sub>| là khoảng cách giữa hai electron.

Nếu số hạng ''V<sub>ee</sub>'' = ''e''<sup>2</sup>/(4π''ε''<sub>0</sub>|'''r'''<sub>1</sub>&nbsp;−&nbsp;'''r'''<sub>2</sub>|), biểu diễn lực đẩy giữa hai electron, được bao gồm, Hamiltonian sẽ trở thành tổng của hai Hamiltonian [[nguyên tử giống hydro]] với điện tích hạt nhân +2''e''. Năng lượng trạng thái cơ bản khi đó sẽ là 8''E''<sub>1</sub> = −109&nbsp;eV, trong đó ''E''<sub>1</sub> là [[hằng số Rydberg]], và hàm sóng trạng thái cơ bản sẽ là tích của hai hàm sóng cho trạng thái cơ bản của nguyên tử giống hydro:<ref name=Griffiths1995>Griffiths (1995), p. 262.</ref>
:<math> \psi(\mathbf{r}_1,\mathbf{r}_2) = \frac{Z^3}{\pi a_0^3} e^{-Z(r_1+r_2)/a_0}.</math>
trong đó ''a''<sub>0</sub> là [[bán kính Bohr]] và Z = 2, là điện tích hạt nhân của heli. Giá trị kì vọng của Hamiltonian toàn phần ''H'' (bao gồm số hạng ''V<sub>ee</sub>'') trong trạng thái được mô tả bởi ''ψ''<sub>0</sub> sẽ là biên trên cho năng lượng trạng thái cơ bản của nó.<''V<sub>ee</sub>''> là −5''E''<sub>1</sub>/2 = 34&nbsp;eV, do đó <H> là 8''E''<sub>1</sub>&nbsp;−&nbsp;5''E''<sub>1</sub>/2 = −75&nbsp;eV.

Biên trên liên kết chặt có thể tìm thấy bằng cách sử dụng hàm sóng thử tốt hơn với các tham số. Mỗi electron có thể được xem như điện tích hạt nhân từng phần được "chắn" bởi các electron khác, do đó ta có thể sử dụng một hàm sóng thử bằng với điện tích "hiệu dụng" ''Z''&nbsp;<&nbsp;2: Giá trị kì vọng của ''H'' trong trạng thái này là:

: <math> \langle H \rangle = \left[-2Z^2 + \frac{27}{4}Z\right] E_1 </math>

Cực tiểu hóa cho Z = 27/16 dẫn đến việc chắn rút gọn điện tích hiệu dụng cỡ ~1.69. Thay giá trị ''Z'' này vào biểu thức cho ''H'' ta có 729''E''<sub>1</sub>/128 = −77.5&nbsp;eV,
với 2% sai số giá trị thực nghiệm, −78.975&nbsp;eV.<ref>G.W.F. Drake and Zong-Chao Van (1994). "Variational eigenvalues for the S states of helium", ''Chem. Phys. Lett.'' '''229''' 486–490.  [https://www.sciencedirect.com/science/article/abs/pii/0009261494010854]</ref>

Ngay cả những ước lượng gần hơn năng lượng này đã được tìm thấy bằng cách sử dụng các hàm sóng thử phức tạp hơn với nhiều tham số hơn.  Điều này được thực hiện trong hóa lý thông qua [[biến phân Monte Carlo]].

==Tham khảo==
{{tham khảo}}

[[Thể loại:Hóa học tính toán]]
[[Thể loại:Hóa học lượng tử]]