Đề tài Những nền tảng của lý thuyết phiếm hàm mật độ

Ý tưởng dùng hàm mật độ để mô tả các tính chất của hệ electron được nêu trong các công trình của Llewellyn Hilleth Thomas và Enrico Fermi ngay từ khi cơ học lượng tử mới ra đời. Đến năm 1964, Pierre Hohenberg và Walter Kohn chứng minh chặt chẽ hai định lý cơ bản, là nền tảng của lý thuyết phiếm hàm mật độ. Hai định lý khẳng định năng lượng ở trạng thái cơ bản là một phiếm hàm của mật độ electron, do đó về nguyên tắc có thể mô tả hầu hết các tính chất vật lý của hệ electron qua hàm mật độ. Một năm sau, W. Kohn và Lu Jeu Sham nêu ra qui trình tính toán để thu được gần đúng mật độ electron ở trạng thái cơ bản trong khuôn khổ lý thuyết DFT. Từ những năm 1980 đến nay, cùng với sự phát triển tốc độ tính toán của máy tính điện tử, lý thuyết DFT được sử dụng rộng rãi và hiệu quả trong các ngành khoa học như: vật lý chất rắn, hóa học lượng tử, vật lý sinh học, khoa học vật liệu,. . W. Kohn đã được ghi nhận những đóng góp của ông cho việc phát triển lý thuyết phiếm hàm mật độ bằng giải thưởng Nobel Hóa học năm 1998. Phương pháp Hartree-Fock cho kết quả rất tốt đối với độ dài liên kết trong các phân tử, nhưng năng lượng liên kết nhìn chung không phù hợp tốt với các kết quả thu được từ thực nghiệm. Đối với chất rắn, phương pháp HF gặp phải vấn đề khi mô một mảng vô cùng quan trọng, đó là cấu trúc vùng năng lượng. Phương pháp DFT được phát minh để nghiên cứu các hiệu ứng tương quan mà không sử dụng đến phương pháp hàm sóng quý giá. Trong DFT, năng lượng không được tìm như là trị riêng của hàm sóng, mà tìm thông qua phiếm hàm của nó đối với mật độ trạng thái.

doc34 trang | Chia sẻ: tuandn | Lượt xem: 2933 | Lượt tải: 1download
Bạn đang xem trước 20 trang tài liệu Đề tài Những nền tảng của lý thuyết phiếm hàm mật độ, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
Mục lục MỞ ĐẦU Lý do chọn đề tài Ý tưởng dùng hàm mật độ để mô tả các tính chất của hệ electron được nêu trong các công trình của Llewellyn Hilleth Thomas và Enrico Fermi ngay từ khi cơ học lượng tử mới ra đời. Đến năm 1964, Pierre Hohenberg và Walter Kohn chứng minh chặt chẽ hai định lý cơ bản, là nền tảng của lý thuyết phiếm hàm mật độ. Hai định lý khẳng định năng lượng ở trạng thái cơ bản là một phiếm hàm của mật độ electron, do đó về nguyên tắc có thể mô tả hầu hết các tính chất vật lý của hệ electron qua hàm mật độ. Một năm sau, W. Kohn và Lu Jeu Sham nêu ra qui trình tính toán để thu được gần đúng mật độ electron ở trạng thái cơ bản trong khuôn khổ lý thuyết DFT. Từ những năm 1980 đến nay, cùng với sự phát triển tốc độ tính toán của máy tính điện tử, lý thuyết DFT được sử dụng rộng rãi và hiệu quả trong các ngành khoa học như: vật lý chất rắn, hóa học lượng tử, vật lý sinh học, khoa học vật liệu,... . W. Kohn đã được ghi nhận những đóng góp của ông cho việc phát triển lý thuyết phiếm hàm mật độ bằng giải thưởng Nobel Hóa học năm 1998. Phương pháp Hartree-Fock cho kết quả rất tốt đối với độ dài liên kết trong các phân tử, nhưng năng lượng liên kết nhìn chung không phù hợp tốt với các kết quả thu được từ thực nghiệm. Đối với chất rắn, phương pháp HF gặp phải vấn đề khi mô một mảng vô cùng quan trọng, đó là cấu trúc vùng năng lượng. Phương pháp DFT được phát minh để nghiên cứu các hiệu ứng tương quan mà không sử dụng đến phương pháp hàm sóng quý giá. Trong DFT, năng lượng không được tìm như là trị riêng của hàm sóng, mà tìm thông qua phiếm hàm của nó đối với mật độ trạng thái. Lý thuyết phiếm hàm mật độ là một lý thuyết được dùng để mô tả các tính chất của hệ electron trong nguyên tử, phân tử, vật rắn,... trong khuôn khổ của lý thuyết lượng tử. Trong lý thuyết này, các tính chất của hệ N electron được biểu diễn qua hàm mật độ electron của toàn bộ hệ (là hàm của 3 biến tọa độ không gian) thay vì hàm sóng (là hàm của 3N biến tọa độ không gian). Vì vậy, lý thuyết hàm mật độ có ưu điểm lớn (và hiện nay đang được sử dụng nhiều nhất) trong việc tính toán các tính chất vật lý cho các hệ cụ thể xuất phát từ những phương trình rất cơ bản của vật lý lượng tử. Hiện nay, lý thyết phiếm hàm mật độ đã trở thành một công cụ phổ biến và hiệu dụng trong lĩnh vực hoá tính toán. Rất nhiều chương trình mô phỏng và tính toán, bài báo đã sử dụng kết quả của lý thuyết này. Lý thuyết phiếm hàm mật độ ngày nay là một trong những công cụ mang lại kết quả chính xác khi áp dụng vào hệ vi mô, ứng dụng của thuyết này cũng được đưa vào rất nhiều lĩnh vực khác nhau. Lý thuyết này hiện nay đang được tiếp tục hoàn thiện và phát triển. 2. Mục tiêu nghiên cứu Đưa ra một số cơ sở hình thành nên lý thuyết phiếm hàm mật độ như: gần đúng Thomas-Fermi, hai định lý Hohenberg-Kohn và phần mở rộng của nó. Trình bày được những khó khăn gặp phải khi xây dựng thuyết này một cách chính xác, cũng như những vấn đề chưa thể giải quyết trong khuôn khổ của thuyết. 3. Nhiệm vụ nghiên cứu - Giới thiệu về lý thyết phiếm hàm mật độ, đưa ra cái nhìn tổng quan về thuyết. - Nghiên cứu những nền tảng đầu tiên của thyết bắt đầu từ gần đúng Thomas-Fermi, hai định lý Hohenberg-Kohn. - Nghiên cứu phần mở rộng và điều kiện áp dụng lý thuyết này trong một số trường hợp. - Trình bày những khó khăn gặp phải khi xây dựng lý thuyết phiếm hàm mật độ. 4. Phương pháp nghiên cứu - Tìm kiếm và xử lý tài liệu: sách, giáo trình, tạp chí khoa học, internet… - Dịch hiểu các tài liệu nước ngoài. - Tham khảo ý kiến của giáo viên hướng dẫn. 5. Bố cục đề tài Trong niên luận này nội dung gồm 4 phần chính: Phần mở đầu: Nêu rõ lý do chọn đề tài, mục đích nghiên cứu, nhiệm vụ nghiên cứu và phuơng pháp nghiên cứu. Phần nội dung: Bao gồm 7 chương Chương I: Tổng quan Chương II: Gần đúng Thomas-Fermi-Dirac: ví dụ về một phiếm hàm Chương III: Các định lý Hohenberg-Kohn Chương IV: Những khó khăn khi đi tìm cách trình bày rõ ràng cho lý thuyết phiếm hàm chính xác Chương V: Phần mở rộng của định lý Hohenberg-Kohn Chương VI: Những phức tạp của lý thuyết phiếm hàm mật độ chính xác Chương VII: Khó khăn trong việc xuất phát từ mật độ Phần kết luận: Tóm tắt kết quả đã đạt được. Tài liệu tham khảo NỘI DUNG Chương I: Tổng quan Nguyên lý cơ bản của lý thyết phiếm hàm mật độ là mô tả tính chất của hệ nhiều hạt tương tác, có thể được xem như là một phiếm hàm của mật độ trạng thái cơ bản ; nghĩa là một phiếm hàm vô hướng của vị trí có mật độ . Do đó, về nguyên tắc, có thể mô tả các tính chất và thông tin của nhiều vật ở trạng thái cơ bản và trạng thái kích thích. Việc chứng minh sự tồn tại của phiếm hàm được đưa ra trong tác phẩm của Hohenberg và Kohn và của Mermin. Tuy nhiên họ không cung cấp một hướng dẫn nào để xây dựng một phiếm hàm, và không có phiếm hàm chính xác khi áp dụng cho bất kỳ hệ hạt nào nhiều hơn một điện tử. Lý thuyết phiếm hàm mật độ sẽ để lại một sự tò mò cho chúng ta ngày nay nếu không có phương trình được đưa ra bởi Kohn và Sham, họ đã đưa ra được quy trình tính toán để thu được gần đúng mật độ electron ở trạng thái cơ bản trong khuôn khổ lý thuyết phiếm hàm mật độ. Vấn đề nghiên cứu của đề tài này là lý thuyết phiếm hàm mật độ - lý thuyết được coi như là một phương pháp được đưa ra cho hệ nhiều hạt. Khi mô tả phương trình Kohn-Sham, ý tưởng của Kohn-Sham là thay thế bài toán thiều electron bằng tập hợp tương ứng các phương trình tự hợp một electron trong một phiếm hàm tương quan - trao đổi. Ngoài ra, có thể mở rộng gần đúng phiếm hàm tương quan - trao đổi và phát triển để đưa ra đáp án cho phương trình tự hợp một electron Kohn-Sham một cách khái quát nhất bằng cách sử dụng các phép toán Kohn-Sham. Bước phát triển tiếp theo của đề tài này là việc phát triển các thuật toán chính xác, được áp dụng vào việc nghiên cứu các vấn đề về nguyên tử, phân tử và vật lý chất rắn. Lý thuyết phiếm hàm mật độ là một lý thuyết nghiên cứu về hệ nhiều hạt tương tác với nhau, nó bao gồm một tập hợp tương ứng các phương trình tự hợp một hạt, nó là chìa khóa cho sự phát triển của thực nghiệm. Vấn đề hữu ích khi tiếp cận hạt mang tính độc lập là hiệu ứng tương tác và tương quan giữa các hạt. Tiến đến, lý thuyết phiếm hàm mật độ trở thành công cụ ban đầu cho những phép tính về cấu tạo của electron trong chất ngưng tụ. Sự thành công của lý thuyết này là thu được phiếm gần đúng mật độ địa phương và phiếm hàm gần đúng gradien suy rộng bằng cách tiếp cận phương trình Kohn-Sham. Nguồn gốc của lý thuyết phiếm hàm mật độ được trình bày trong tác phẩm nổi tiếng của P.Hohenberg và W.kohn vào năm 1964. Tác phẩm đã trình bày về vai trò đặc biệt của việc đưa về mật độ của hạt ở trạng thái cơ bản trong hệ vật chất lượng tử: mật độ được xem như một biến số cơ bản. Tất cả các tính chất ở trạng thái cơ bản của hệ electron được mô tả thông qua hàm mật độ của hệ. Một năm sau, vào năm 1965, Mermin mở rộng đối số Hohenberg-Kohn cho một nhiệt độ hữu hạn và tập hợp chính tắc lớn. Mặc dù nhiệt độ hữu hạn không được sử dụng rộng rãi, nhưng nó đã soi sáng cho cả hai thuyết là thuyết phiếm hàm mật độ và giải quyết khó khăn trong việc thực hiện những đảm bảo của thuyết phiếm hàm mật độ chính xác. Cũng trong năm 1965 đã xuất hiện các tác phẩm cổ điển khác của lĩnh vực này được viết bởi W.Kohn và L.J.Sham mà việc xây dựng lý thuyết phiếm hàm mật độ đã trở thành cơ sở của rất nhiều phương pháp hiện nay để nghiên cứu các electron trong nguyên tử, phân tử, và các chất cô đặc. Mục tiêu của chương về lý thuyết phiếm hàm mật độ là làm sáng tỏ các ý tưởng cơ bản và thực nghiệm hiện hành, nhằm để cung cấp cho người đọc đủ để vận dụng các lý thuyết phiếm hàm mật độ một cách thông minh cho các vấn đề thực tế, và để lộ ra các tiềm năng, hướng nghiên cứu mới và những con đường phát triển hơn trong tương lai. Các chương trong đề tài này liên quan đến việc xây dựng cơ bản lý thuyết. Đề tài này có thể được tiếp tục phát triển để đưa ra các phương trình Kohn-Sham, là bước quan trọng nhất trong việc đưa ra chính xác, cách tiếp cận khả thi cho vấn đề nhiều điện tử, vật chất đầy đủ; các lý thuyết phiếm hàm về sự tương quan trao đổi và phiếm hàm gần đúng thực tế cùng với một vài kết quả sẽ được tính toán Chương II: Gần đúng Thomas-Fermi-Dirac: ví dụ về một phiếm hàm Nguồn gốc của lý thuyết phiếm hàm mật độ của hệ lượng tử là phương pháp của Thomas và Fermi đề xuất năm 1927. Mặc dù ngày nay phép gần đúng của họ không đủ chính xác để tính toán cấu trúc lượng tử. Trong phương pháp Thomas-Fermi, động năng của electron xấp xỉ bằng một phiếm hàm tường minh của mật độ có biểu thức tương tự như biểu thức của hệ electron không tương tác trong khí electron đồng nhất với mật độ bằng mật độ địa phương tại một điểm. Cả Thomas và Fermi đều bỏ quan sự trao đổi và tương quan giữa các electron. Tuy nhiên, vấn đề này đã được mở rộng bởi Dirac vào năm 1930, người đã xây dựng nên phép gần đúng mật độ địa phương cho trao đổi, vẫn sử dụng đến ngày nay. Điều này dẫn đến phiếm hàm năng lượng bên ngoài thế có dạng: , (1) trong đó, số hạng đầu tiên là gần đúng địa phương của năng lượng với đơn vị nguyên tử, số hạng thứ 3 là trao đổi địa phương với ( đối với tập hợp spin hướng lên và hướng xuống), số hạng cuối cùng là năng lượng Hartree tĩnh điện cổ điển. Mật độ trạng thái cơ bản và năng lượng có thể được tìm thấy bằng cách lấy cực tiểu phiếm hàm (1) cho tất cả các hàm để hạn chế về số lượng cho electron (2) Áp dụng phương pháp nhân tử Lagrange, đáp án có thể được tìm thấy với sự cực tiểu hóa phiếm hàm , (3) trong đó, hệ số Lagrange là năng lượng Fermi. Đối với các biến phân nhỏ của mật độ , điều kiện cho một điểm dừng là (4) trong đó, là thế tổng hợp. Từ đó, (6.4) phải được thỏa mãn cho bất kỳ phiếm hàm nào , phiếm hàm là dừng nếu và chỉ nếu mật độ và thế thỏa mãn mối quan hệ . (5) Việc mở rộng để tính toán những hiệu ứng của tính không đồng nhất đã là ý tưởng của nhiều người, nổi tiếng nhất là sự hiệu chỉnh Weizsacker, , nhưng gần đây tác phẩm đã tìm thấy các hiệu chỉnh được giảm tới . Sự hữu ích của lý thuyết phiếm hàm là hiển nhiên bởi một thực tế là một phương trình cho mật độ khá là đơn giản so với phương trình Schrodinger cho hệ nhiều hạt bao gồm 3N bậc tự do với N electron. Tuy nhiên cách tiếp cận Thomas-Fermi bắt đầu với sự xấp xỉ gặp phải những thiếu sót. Như đã nói ở trên, liên kết phân tử không được nhắc đến chút nào trong lý thuyết này. Thêm nữa, độ chính xác cho các nguyên tử là không cao như các phương pháp khác. Điều này làm cho lý thuyết Thomas-Fermi được nhìn nhận như một mẫu quá đơn giản đối với những tiên đoán định lượng trong vật lý nguyên tử, phân tử và vật lý chất rắn. Chương III: Các định lý Hohenberg-Kohn Năm 1964, Hohenberg và Kohn đã làm việc cùng nhau ở Paris để nghiên cứu các vấn đề cơ bản của mẫu Thomas-Fermi. Họ đã đưa ra và chứng minh hai định lý quan trọng. Đầu tiên, họ lưu ý rằng một hệ điện tử cùng với một Hamiltonian trước có một năng lượng ở trạng thái cơ bản cũng như là hàm sóng ở trạng thái cơ bản, và được xác định hoàn toàn bằng cách tối thiểu hóa năng lượng tổng cộng như một phiếm hàm của hàm sóng. Sau đó, họ lưu ý rằng khi thế ngoài cùng với số hạt electron hoàn toàn xác định Hamiltonian, những đại lượng đó sẽ xác định tất cả các tính chất của trạng thái cơ bản. Hình 1: Sơ đồ đại diện cho định lý Hohenberg-Kohn. Các mũi tên ngắn biểu thị giải pháp thông thường là giải pháp Shrodinger mà thế xác định tất cả trạng thái , bao gồm trạng thái cơ bản và mật độ trạng thái cơ bản . Các mũi tên dài có ký hiệu “HK” chỉ định lý Hohenberg-Kohn. Chúng trở thành một vòng tròn kép kín. Cách tiếp cận của Hohernberg-Kohn là để xây dựng phiếm hàm mật độ như một lý thuyết cho hệ nhiều hạt. Áp dụng phát biểu này cho bất kỳ một hệ thống nào của các hạt tương quan trong thế ngoài , bao gồm bài toán về electron và hạt nhân đứng yên, trong đó hamiltonian có thể được viết . (6) Lý thuyết phiếm hàm mật độ được chứng minh dựa trên hai định lý đầu tiên bới Hohenberg và Kohn. Ở đây, lần đầu tiên đề tài trình bày các định lý và chứng minh các định lý cùng với việc đưa ra hệ quả của định lý. Nững mối quan hệ đã được thiết lập bởi Hohenberg và Kohn được minh họa trong hình 1 và có thể được phát biểu như sau thành hai định lý sẽ được trình bày dưới đây. III.1 Định lý I III.1.1 Định lý Với một hệ bất lỳ gồm các hạt tương tác với nhau trong một thế ngoài , thì thế bên ngoài này được xác định duy nhất (sai khác hằng số cộng) bởi mật độ trạng thái cơ bản của hạt với mật độ . III.1.2 Hệ quả Khi hamiltonian được xác định (ngoại trừ sự thay đổi bất biến năng lượng) thì mọi hàm sóng của phiếm hàm của hệ gồm tất cả các trạng thái (cơ bản và kích thích) đều được xác định. Bởi vậy, mọi thuộc tính của hệ hoàn toàn xác định chỉ dựa vào mật độ trạng thái cơ bản . III.1.3 Chứng minh định lý: Mật độ như là một biến phân cơ bản Việc chứng minh định lý Hohenberg-Kohn hoàn toàn đơn giản. Xem như ở định lý thứ nhất, đưa vào hai biểu thức ngoài là (7) và (8) cho mật độ và năng lượng trong giới hạn của hàm sóng cho hệ nhiều vật. Giả sử tồn tại hai thế ngoài và khác nhau bởi nhiều hơn một hàm số và cùng cho một giá trị mật độ đối với trạng thái cơ bản của chúng. Hai thế ngoài này cho hai hamiltonian khác nhau là và . Vì vậy cho hai hàm sóng khác nhau ở trạng thái cơ bản là và , mà mật độ ở trạng thái cơ bản là giống nhau. Ta thấy, không phải là hàm sóng của trạng thái cơ bản của , ta có . (9) Biểu thức trên xác định chính xác nếu trạng thái cơ bản không suy biến, ta sẽ thừa nhận lý luận của Hohenberg và Kohn. Số hạng cuối cùng trong (9) có thể được viết lại (10) , (11) vì vậy . (12) Mặt khác, nếu chúng ta xem trong cùng một cách chính xác, chúng ta có tìm thấy biểu thức ở đó (1) và (2) có thể đổi chổ cho nhau . (13) Bây giờ chúng ta có thể cộng (12) và (13), chúng ta sẽ có được biểu thức . Đây là một điều hoàn toàn vô lý. Và như vậy không thể nào có hai thế khác nhau mà lại cùng một giá trị mật độ được. Mật độ xác định duy nhất một thế ngoài trong giới hạn một hằng số. Hệ quả tất yếu là hamiltonian cũng xác định duy nhất (sai khác một hằng số cộng) bởi mật đọ trạng thái cơ bản. Theo nguyên tắc này thì hàm sóng của bất kỳ trạng thái nào đều được xác định bằng cách giải phương trình Schrodinger với hamiltonian này. Trong tất cả các cách giải thì cách giải dùng hàm mật độ là phù hợp nhất, hàm sóng của trạng thái cơ bản xác định duy nhất là một trạng thái có năng lượng thấp nhất. Mặc dù kết quả này là rất hấp dẫn, nhưng rõ ràng từ lý luận mà không có các giới hạn đưa ra để giải quyết vấn đề. Vì tất cả đã được chứng minh là có mật độ xác định duy nhất một thế . Ví dụ, electron trong kim loại thì thế ngoài là thế Coulomb đối với hạt nhân. Định lý chỉ phụ thuộc vào mật độ electron xác định duy nhất tính chất và loại hạt nhân, cái mà có thể dễ dàng chứng minh từ cơ học lượng tử cơ bản. Ở cấp độ này, chúng ta đã đạt được: chúng ta phải đối mặt với vấn đề nhiều hạt tương tác chuyển động trong thế của hạt nhân. III.2 Định lý II III.2.1 Định lý Một phiếm hàm phổ quát của năng lượng trong giới hạn của mật độ n(r) có thể được xác định, hợp lệ cho bất kỳ thế ngoài nào. Đối với bất kỳ một thế ngoài cụ thể, năng lượng chính xác ở trạng thái cơ bản của hệ là giá trị cực tiểu của phiếm hàm, và mật độ mà ở đó có phiếm hàm cực tiểu là mật độ chính xác ở trạng thái cơ bản . III.2.2 Hệ quả Phiếm hàm năng lượng chỉ xác định chính xác trạng thái cơ bản và mật độ ở trạng thái này. Ngoài ra, trạng thái kích thích của electron phải xác định bởi phương pháp khác. Tuy nhiên, tác phẩm của Mermin chỉ ra rằng tính chất cân bằng nhiệt như nhiệt dung riêng được xác định ngay lập tức bằng phiếm hàm năng lượng tự do của mật độ. Những khẳng định như trên là hoàn thiện và việc chứng minh nó cũng khá đơn giản, điều cốt lõi là bất kỳ học viên nào trong lĩnh vực này đều hiểu về những vấn đề cơ bản của định lý và trong phạm vi của những hệ quả loogic. III.2.3 Chứng minh định lý Chúng ta có thể chứng minh định lý II một cách dễ dàng để xác định một cách cẩn thận ý nghĩa của phiếm hàm của mật độ và giới hạn không gian của mật độ. Cách chứng minh ban đầu của Hohenberg được giới hạn cho mật độ n(r) là mật độ ở trạng thái cơ bản cuả hamiltonian của electron với một thế ngoài . Như vậy được gọi là V-biểu diễn. Việc xác định một không gian có thể có những mật độ mà trong đó chúng ta có thể xây dựng những phiếm hàm của mật độ. Vì tất cả các tính chất như động năng, vv…. Được xác định duy nhất nếu n(r) được xác định, nên mỗi tính chất đó được xem như là một phiếm hàm của n(r), bao gồm phiếm hàm năng lượng tổng quát (14) trong đó, EII là năng lượng tương tác của hạt nhân. Phiếm hàm FHF[n] được xác định trong (14) bao gồm tất cả các năng lượng tương tác, động năng và thế của hệ electron tương tác , (15) mà phải được phổ quát bằng cách xây dựng từ động năng và năng lượng tương tác của các hạt là những phiếm hàm chỉ của mật độ. Bây giờ xem xét một hệ thống với mật độ trạng thái cơ bản tương ứng với thế ngoài . Từ những tính toán ở trên, phiếm hàm Hohenberg-Kohn bằng giá trị kỳ vọng của hamiltonian ở trạng thái cơ bản duy nhất, trong đó có hàm sóng . (16) Bây giờ xét đến một mật độ khác, gọi là , tương ứng với hàm sóng . Ta thấy ngay năng lượng của trạng thái này lớn hơn năng lượng , vì (17) Vì vậy, năng lượng được đưa ra bởi (12) trong giới hạn của phiếm hàm Hohenberg-Kohn đã đánh giá chính xác mật độ trạng thái cơ bản là thực sự thấp hơn giá trị của biểu thức này cho bất kỳ mật độ khác n(r). Theo sau đó, nếu phiếm hàm được biết, thì bằng cực tiểu của tổng năng lượng của hệ, (14), đối với các biến phân trong phiếm hàm mật độ n(r), ta sẽ tìm thấy mật độ trạng thái cơ bản chính xác và năng lượng của nó. Lưu ý rằng phiếm hàm chỉ xác định những tính chất của trạng thái cơ bản; nó không cung cấp bất kỳ một hướng dẫn nào liên quan đến trạng thái kích thích. Chương IV: Những khó khăn khi đi tìm cách trình bày rõ ràng cho lý thuyết phiếm hàm mật độ chính xác Một định nghĩa khác về phiếm hàm do Levy và Lieb trình bày là rất được quan tâm, bởi vì nó: Mở rộng phạm vi của định nghĩa về phiếm hàm một cách chính thức hơn và làm rõ ý nghĩa vật lý của nó hơn; Cung cấp một nguyên tắc để xây dựng một phiếm hàm chính xác; Dẫn đến cùng một mật độ trạng thái cơ bản và năng lượng cực tiểu như trong các phân tích của Hohenberg-Kohn, và cũng áp dụng cho trạng thái cơ bản suy biến. Ý tưởng của Levy và Lieb ( LL) đã định rõ hai phương pháp cực tiểu bắt đầu từ phương thức tổng quát của năng lượng trong đó hệ số của hàm sóng được đưa ra bởi (8). Trên nguyên tắc, trạng thái cơ bản có thể được tìm thấy bằng cực tiểu của năng lượng đối với tất cả biến phân trong hàm sóng . Tuy nhiên, giả sữ đầu tiên xem xét năng lượng chỉ cho một lớp hàm sóng của hệ vật- nó có chung mật độ . Với bất kỳ hàm sóng nào, năng lượng toàn phần có thể được viết . (18) Bây giờ nếu năng lượng cực tiểu (6.16) trên lớp hàm sóng với cùng một mật độ , thì nó có thể xác định một năng lượng thấp nhất duy nhất của mật độ đó , (19) trong đó, hàm sóng Levy-Lieb được xác định bởi . (20) Trong công thức trên, biểu hiện một phiếm hàm của năng lượng và phiếm hàm của trạng thái cơ bản được tìm thấy thông qua cực tiểu. Cách xây dựng của Levy-Lieb không chỉ trình bày lại phiếm hàm Hohenberg-Kohn (14). Đầu tiên (20) làm rõ ý nghĩa của phiếm hàm và cung cấp một cách để xây dựng nên ý nghĩa của toán tử: cực tiểu của tổng động năng tương tác cộng với tất cả hàm sóng sẽ đưa ra được phiếm hàm mật độ n(r). Phiếm hàm Levy-Lieb cũng có sự khác biệt quan trọng so với phiếm hàm Hohenberg-Kohn, đặc biệt là phiếm hàm trong (20) được xác định cho bất kỳ mật độ n(r) được sinh ra từ hàm sóng cho N electron. Điều này được gọi là “N-biểu diễn” và sự tồn tại của hàm sóng cho bất kỳ mật độ nào đều thỏa mãn những điều kiện đơn giản đã được biết. Ngược lại phiếm hàm Hohenberg-Kohn được xác định chỉ cho mật độ có thể được tạo ra bởi một số thế ngoài, điều này được gọi là “V-biểu diễn” và nói chung điều kiện cho mật độ là không biết. Cực tiểu của năng lượng toàn phần của hệ trong một thế ngoài nào đó,