תורת פונקציונל הצפיפות

תורת פונקציונל הצפיפות (באנגלית: Density functional theory;‏ DFT) היא שיטה חישובית במכניקת הקוונטים שמשתמשת בצפיפות האלקטרונים לחישוב אנרגיית רמת היסוד המולקולרית ופרמטרים פיזיקליים נוספים. במסגרת ה-DFT חישוב צפיפות המטען של ענן האלקטרונים קובע את האנרגיה המולקולרית וזו בתורה נקבעת על סמך הפוטנציאל החיצוני של גרעיני האטומים. מינימיזציה של פונקציונל האנרגיה מאפשרת אופטימיזציה של המבנה המולקולרי למצב בו אנרגיית מצב היסוד מינימלית. בבסיסה, ה-DFT מסתמכת על כך שניתן להשתמש בחישובים בצפיפות האלקטרונים ובפונקציית גל אחת במקום בפונקציית גל נפרדת לכל אלקטרון במשוואת שרדינגר, דבר שמביא לחיסכון משמעותי בזמני חישוב. ה-DFT הגיעה לידי מימוש על בסיס עבודתם של הוהנברג (Hohenberg) וקוהן (Kohn) ולאחר מכן קוהן ושאם (Sham).
שיטת ה-DFT נפוצה מאוד בחישובים של מצב מוצק עוד משנות ה-70, אבל נחשבה פחות מדויקת עבור חישובים בכימיה קוונטית עד שנות ה-90, לאחר שנעשו חידושים שנועדו להתמודד טוב יותר עם אינטראקציית האלקטרונים. במרבית המקרים חישובי מצב מוצק שנעשו בשיטת DFT מתאימים בצורה משביעת רצון לתוצאות הנסיוניות וזאת בזמני חישוב מהירים יחסית לשיטות אחרות (למשל שיטת הרטרי-פוק) שמבוססות על בניית פונקציית גל מורכבת.
למרות החידושים והפיתוחים שנעשים בתאוריה, עדיין ה-DFT סובלת ממספר בעיות בהם קושי לתאר אינטראקציות בין מולקולות, מצבים מעוררים וחישוב פער האנרגיה במל"מים. כיום, עדיין מתבצע מחקר שמטרתו לשפר את התאוריה כך שתוכל להתמודד עם חלק מהבעיות שצוינו.

סקירה כללית של השיטה

שיטת ה-DFT מתבססת על 2 משפטי Hohenberg–Kohn (H-K)‏.
משפט H-K הראשון מראה שתכונות מצב היסוד של הרבה אלקטרונים נקבעות באופן ייחודי על ידי צפיפות האלקטרונים שתלויה רק ב-3 קואורדינטות מרחביות. בעקבות כך אנו נוכל לרדת מבעיה של N אלקטרונים עם 3N קואורדינטות ל-3 קואורדינטות בלבד, על ידי שימוש בפונקציונלים של צפיפות האלקטרונים. ניתן להרחיב את המשפט הזה כך שיכיל גם את התלות בזמן וכך לפתח גם את תורת פונקציונל הצפיפות התלויה בזמן (באנגלית: Time-Dependent Density Functional Theory, TDDFT).
משפט H-K השני מגדיר את פונקציונל האנרגיה עבור המערכת ומוכיח שמצב היסוד של האלקטרונים ממזער אותו (כלומר, במצב היסוד האנרגיה היא הנמוכה ביותר).
במסגרת שיטת Kohn-Sham, הבעיה המקורית של הרבה אלקטרונים שיש ביניהם אינטראקציה ונעים בפוטנציאל חיצוני מוחלפת בבעיה פשוטה יותר של אלקטרונים שאין ביניהם אינטראקציה ונעים בפוטנציאל אפקטיבי. הפוטנציאל האפקטיבי כולל בתוכו את הפוטנציאל החיצוני ואת האינטראקציה החשמלית בין האלקטרונים (אינטראקציית החלפה וקורלציה). מציאת מודלים מדויקים לאינטראקציית ההחלפה והקורלציה היא הבעיה העיקרית ב-DFT ולשם כך פותחו מספר קירובים שיוצגו בהמשך.

תיאור מתמטי

הבעיה שאנו רוצים לפתור היא פתרון משוואת שרדינגר עבור גופים מרובים. כמקובל בבעיות אלו ההנחה הראשונה תהיה להתייחס לגרעיני האטומים כקבועים במקומם (לפי קירוב בורן-אופנהיימר) בזמן שרק האלקטרונים נעים. הנחה זאת מוצדקת בגלל מסתם הגדולה של הגרעינים יחסית לאלקטרונים. את האלקטרונים נתאר בעזרת פונקציית גל של הרבה אלקטרונים . משוואת שרדינגר שתיארנו כאן נראית כך:
כאשר עבור מערכת עם  אלקטרונים,  הוא ההמילטוניאן,  היא האנרגיה הכללית,  אופרטור האנרגיה הקינטית,  אופרטור האנרגיה הפוטנציאלית של האלקטרונים כתוצאה מהשדה החשמלי שיוצרים הגרעינים הקבועים במקומם ו- אופרטור אנרגיית האינטראקציה בין האלקטרונים לעצמם. הבעיה המורכבת שתיארנו כאן לא ניתנת לפתרון אנליטי וגם לא ניתנת לפירוק לבעיות קטנות יותר של חלקיק בודד בגלל האינטראקציה בין האלקטרונים שמתוארת על ידי .
ישנן שיטות רבות שמנסות לפתור משוואה זו על ידי פיתוח של פונקציית הגל  בעזרת דטרמיננטת סלייטר. השיטה הפשוטה ביותר היא שיטת הרטרי-פוק וישנן גם שיטות מתקדמות יותר, אך הבעיה העיקרית שלהן היא המורכבות החישובית הגדולה שהן דורשות.
כאן באה לעזרה שיטת ה-DFT, מכיוון שהיא מאפשרת לייצג את הבעיה של הרבה חלקיקים שמתוארת על ידי  בעזרת פונקציה של חלקיק בודד ואז אין לנו צורך ב- בתיאור הבעיה. בשיטת ה-DFT משתנה המפתח הוא צפיפות האלקטרונים  שנתון ע"י:
הקשר הזה הוא הפיך ולכן ניתן לתאר בעקרון את פונקציית הגל במצב היסוד כפונקציונל של צפיפות האלקטרונים במצב היסוד:
ומכאן ניתן לקבל את ערך התצפית במצב היסוד של כל אופרטור כללי  על ידי פונקציונל של :
במיוחד מעניינת אותנו אנרגיית מצב היסוד של המערכת שניתנת ע"י:
כאשר התרומה של הפוטנציאל החיצוני  יכולה להירשם במפורש במונחים של צפיפות האלקטרונים במצב היסוד :
בצורה כללית יותר אנו יכולים לתאר את התרומה של הפוטנציאל החיצוני  במונחים של צפיפות האלקטרונים :
הפונקציונלים  ו- נקראים פונקציונלים אוניברסליים, בעוד ש-  נקרא פונקציונל לא אוניברסלי, מכיוון שהוא מתאים לבעיה ספציפית שנובעת מסידור הגרעינים במרחב. מכאן נובע שברגע שנתון לנו הפוטנציאל הספציפי בבעיה , כדי למצוא את אנרגיית מצב היסוד עלינו למזער את הפונקציונל:
כאשר המשתנה שלנו הוא  ואנו מניחים שיש לנו פונקציונלים אמינים ל  ו-. אם נצליח לפתור את בעיית המינימיזציה ולמצוא את אנרגיית מצב היסוד למעשה גם מצאנו את  וכמו שראינו קודם בעזרת הצפיפות במצב היסוד נוכל למצוא את כל ערכי התצפית שמעניינים אותנו.
את בעיית המינימיזציה של  ניתן לפתור על ידי שימוש בשיטת כופלי לגראנז'. בשלב ראשון, נתייחס רק לפונקציונל האנרגיה שלא תלוי במפורשות באיבר האינטראקציה בין האלקטרונים:
כאשר  מסמן את אופרטור האנרגיה הקינטית,  זהו הפוטנציאל החיצוני (שנובע מהגרעינים) בו האלקטרונים נעים, כך ש .
כך, ניתן לפתור את משוואות Kohn–Sham עבור מערכת העזר שהגדרנו, ללא האינטראקציה:
שמניבה לנו את האורביטלים  שמהם ניתן לקבל את הצפיפות  של הבעיה המקורית של הגופים המרובים.
הפוטנציאל האפקטיבי של תיאור החלקיק הבודד ניתן לתיאור בצורה יותר מפורשת:
כאשר האיבר השני מייצג את איבר Hartree שמתאר את הדחייה החשמלית בין אלקטרון לאלקטרון והאיבר האחרון  נקרא פוטנציאל ההחלפה-קורלציה. כאן  כולל בתוכו את כל האינטראקציות בין הגופים.
מכיוון שאיבר Hartree ו- תלויים בצפיפות  שתלויה באורביטלים  שתלויים בפוטנציאל , הבעיה של פתרון משוואות Kohn-Sham צריכה להתבצע בצורה איטרטיבית. בדרך-כלל מתחילים מניחוש התחלתי ל-, אז מחשבים את הפוטנציאל  המתאים ופותרים את משוואות Kohn-Sham עבור . בעזרת האורביטלים שנמצאו אפשר לחשב את הצפיפות החדשה ולהתחיל את אותו התהליך מחדש. אפשר לחזור על התהליך הזה עד שמגיעים להתכנסות.

קירובים (פונקציונלים עבור ההחלפה-קורלציה)

הבעיה העיקרית ב-DFT היא שאנו לא יודעים את הפונקציונלים המדויקים עבור ההחלפה והקורלציה. אבל, קיימים קירובים לפונקציונלים האלו שמאפשרים לנו לחשב גדלים פיזיקליים מסוימים בצורה דיי מדויקת. בפיזיקה הקירוב הנפוץ ביותר הוא Local-density approximation (LDA), בו הפונקציונל תלוי רק בצפיפות במיקום בו מעריכים את הפונקציונל:
ניתן להכליל את ה-LDA בצורה ישירה כך שיכלול גם ספין ואז הוא נקרא Local Spin-Density Approximation‏ (LSDA):
קירוב נוסף שהוא גם מקומי אבל לוקח בחשבון גם את גרדיאנט הצפיפות הוא Generalized Gradient Approximations‏ (GGA):
המשך טבעי נוסף לפונקציונלי ה-GGA הם פונקציונלי ה-meta-GGA שכוללים גם את הנגזרות השניות (הלפלסיאן) ואמורים להיות מדויקים יותר.
ניתן להקל על קשיים בתיאור אנרגיית ההחלפה על ידי הכנסת רכיב של אנרגיית ההחלפה המדויקת כפי שמחושבת בשיטת הרטרי-פוק (באנגלית Hartree–Fock). פונקציונלים מהסוג הזה נקראים פונקציונלים היברידיים (באנגלית Hybrid functionals).