# Teoría del funcional de la densidad

La teoría del funcional de la densidad (TFD o DFT por sus siglas en inglés: Density functional theory), aplicada a sistemas electrónicos, es un procedimiento variacional alternativo a la solución de la ecuación de Schrödinger, donde el funcional de la energía electrónica es minimizado respecto a la densidad electrónica. Es uno de los métodos más utilizados en los cálculos cuánticos de la estructura electrónica de la materia, tanto en la física de la materia condensada como en la química cuántica.
Los orígenes de la teoría del funcional de la densidad electrónica se encuentran en un modelo desarrollado por Llewellyn Thomas y Enrico Fermi a final de los años 1920. Sin embargo, no fue hasta mediados de los años 1960 cuando las contribuciones de Pierre Hohenberg, Walter Kohn y Lu Sham establecieron el formalismo teórico en el que se basa el método usado actualmente. En 1998, Walter Kohn recibió el premio Nobel de Química por sus aportes al desarrollo de esta teoría.
Los métodos tradicionales dentro de las teorías de la estructura electrónica de la materia, en particular la teoría de Hartree-Fock y los derivados de este formalismo, se basan en una función de onda multielectrónica. Si bien esta resolución de la ecuación de Schrödinger permite describir de forma exacta el comportamiento de los sistemas muy pequeños, su capacidad de predicción se ve limitada por el hecho de que sus ecuaciones son demasiado complejas de resolver numéricamente o menos aún analíticamente. La TFD reformula el problema para ser capaz de obtener, por ejemplo, la energía y la distribución electrónica del estado fundamental, trabajando con el funcional de la densidad electrónica en vez de con la función de ondas. Una ventaja es que la densidad es una magnitud mucho más simple que la función de ondas y por lo tanto más fácil de calcular y en la práctica son accesibles sistemas mucho más complejos: la función de ondas de un sistema de N electrones depende de 3N variables, mientras que la densidad electrónica solo depende de 3 variables. Una desventaja es que, salvo los casos más simples, no se conoce de manera exacta el funcional que relaciona esta densidad con la energía del sistema. En la práctica, se usan funcionales que se han comprobado que dan buenos resultados.
Originalmente, la TFD se desarrolló en el marco de la teoría cuántica no relativista (ecuación de Schrödinger independiente del tiempo) y de la aproximación de Born-Oppenheimer. La teoría fue extendida posteriormente al dominio de la mecánica cuántica dependiente del tiempo, y se habla de la TD-DFT o Teoría del Funcional de la Densidad Dependiente del Tiempo y del dominio relativista. Entre otras cosas, esto permite calcular estados excitados.
Este método es uno de los exponentes máximos de la interpretación probabilística de la mecánica cuántica.

## Historia

Las primeras nociones de una teoría del funcional de la densidad fueron desarrolladas por Thomas y Fermi en los años 1920. Calcularon la energía de un átomo, representando su energía cinética como función de su densidad electrónica, y combinando esto con las expresiones clásicas de las interacciones núcleo-electrón y electrón-electrón (que también se pueden representar en términos de densidad electrónica). El modelo fue mejorado por Dirac, que añadió un funcional de energía de intercambio en 1928. Sin embargo, la teoría de Thomas-Fermi-Dirac era imprecisa para la mayoría de las aplicaciones, por la mala representación de la energía cinética como función de la densidad.
La base teórica para la TFD fue dada en 1964 por Hohenberg y Kohn, quienes mostraron que la energía es un funcional de la densidad y que además la densidad del sistema minimiza este funcional. Sin embargo, el desarrollo más importante fue dado el año siguiente, cuando Kohn y Sham demostraron que a partir de la teoría del funcional de la densidad es posible escribir una ecuación para orbitales de una partícula, de los cuales se obtiene la densidad.
La TFD era muy popular para cálculos de física del estado sólido desde los años 1970. Sin embargo, se consideraba que no era lo bastante precisa para la química cuántica hasta los años 1990, cuando se refinaron en gran medida las aproximaciones usadas en la teoría. Ahora la TFD es un método fundamental para los cálculos de estructura electrónica en ambos campos.

## Descripción de la teoría
### Teoremas de Hohenberg-Kohn

En la mecánica cuántica estándar, los observables son calculados a partir de la función de onda de muchos cuerpos. El método de la DFT fue sometido a un tratamiento riguroso por Hohenberg y Kohn en 1964, quienes demostraron que, para el estado fundamental, existe una relación uno a uno entre la densidad electrónica y el potencial externo, $v(\mathbf {r} )$. Esto quiere decir que la densidad electrónica en el estado fundamental contiene la información de un sistema electrónico.
En particular, Hohenberg y Kohn mostraron que la energía es un funcional de la densidad a través de la relación
   $E[\rho ]=F[\rho ]+\int d\mathbf {r} \rho (\mathbf {r} )v(\mathbf {r} )$,
donde $F[\rho ]$ representa al funcional universal que contiene a la energía cinética, $T[\rho ]$, y la interacción electrón-electrón, $V_{ee}[\rho ]$.
Con un segundo teorema los mismos autores demostraron que la densidad electrónica del estado basal es aquella que minimiza al funcional de energía $E[\rho ]$. Desde el punto de vista numérico, la función de onda es un objeto muy complejo de manipular, pues para N partículas es una función de 3N variables, mientras que la densidad es más fácil de manejar pues es siempre una función de 3 variables, independientemente del número de partículas. El problema, es que no se conoce la forma exacta del funcional $F[\rho ]$.

### El modelo de Kohn y Sham

Kohn y Sham presentaron una forma de aproximar al funcional universal $F[\rho ]$. Para lograr este propósito, Kohn y Sham recurrieron a un sistema ficticio el cual está constituido por un sistema de $N$ electrones no interactuantes. Esto significa que tal sistema puede estar representado por un determinante (determinante de Slater) cuyos elementos son funciones que representan a cada uno de los electrones del sistema (orbitales,$\phi _{i}$). Con este punto de partida la energía cinética corresponde a una suma de energías cinéticas individuales
   $T_{s}=\sum _{i=1}^{N}\int d\mathbf {r} \phi _{i}^{*}(\mathbf {r} )(-{\frac {1}{2}}\nabla ^{2})\phi _{i}(\mathbf {r} )$
y la densidad electrónica a la suma de densidades orbitales
   $\rho (\mathbf {r} )=\sum _{i=1}^{N}\rho _{i}(\mathbf {r} )=\sum _{i=1}^{N}\phi _{i}^{*}(\mathbf {r} )\phi _{i}(\mathbf {r} )$
Un elemento adicional en el modelo de Kohn y Sham es la aproximación a la interacción electrón-electrón ya que proponen como parte principal de esta a la interacción coulómbica:
   $J[\rho ]={\frac {1}{2}}\int \int d\mathbf {r} d\mathbf {r} '{\frac {\rho (\mathbf {r} )\rho (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}$
y con esto el funcional universal es escrito como:
       $F[\rho ]=T[\rho ]+V_{ee}[\rho ]=T_{s}[\rho ]+J[\rho ]+E_{xc}[\rho ]$
donde es claro que el funcional de intercambio y correlación, $E_{xc}[\rho ]$, se define como:
   $E_{xc}[\rho ]=T[\rho ]-T_{s}[\rho ]+V_{ee}[\rho ]-J[\rho ]$
Los orbitales de Kohn y Sham son aquellos que satisfagan las ecuaciones íntegro-diferenciales de Kohn y Sham
   $\left(-{\frac {1}{2}}\nabla ^{2}+v_{\rm {eff}}(\mathbf {r} )\right)\phi _{i}(\mathbf {r} )=\varepsilon _{i}\phi _{i}(\mathbf {r} )$
y que generarán la energía del estado fundamental. El potencial de Kohn—Sham $v_{eff}(\mathbf {r} )$ incorpora por lo tanto los efectos de la interacción entre los electrones (incluyendo los de intercambio-correlación) y también los de un posible potencial externo de confinamiento (por ejemplo el potencial atractivo del núcleo atómico sobre los electrones) $v(\mathbf {r} )$. Formalmente, el potencial de Kohn-Sham se define como la derivada funcional
       $v_{\rm {eff}}(\mathbf {r} )={\frac {\delta J[\rho ]}{\delta \rho (\mathbf {r} )}}+{\frac {\delta E_{xc}[\rho ]}{\delta \rho (\mathbf {r} )}}+v(\mathbf {r} )=\int d\mathbf {r} '{\frac {\rho (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}+{\frac {\delta E_{xc}[\rho ]}{\delta \rho (\mathbf {r} )}}+v(\mathbf {r} )$
En la práctica, por lo tanto, es para el segundo término (llamado potencial de intercambio-correlación $v_{xc}[\rho ]={\frac {\delta E_{xc}[\rho ]}{\delta \rho (\mathbf {r} )}}$) que se deben emplear expresiones aproximadas.
La idea básica del método de Kohn-Sham, por lo tanto, se puede resumir de la siguiente manera: el problema de N partículas interactuantes entre ellas, y confinadas en un cierto potencial externo $v(\mathbf {r} )$, se redefine en términos de un sistema artificial donde las partículas no interactúan pero se mueven bajo la acción de un distinto potencial effectivo $v_{\rm {eff}}(\mathbf {r} )$. Este debe modelar los efectos de la interacción del sistema físico original de forma que ambos problemas sean equivalentes (es decir, tengan la misma distribución de densidad y por lo tanto la misma energía).
Aunque las ecuaciones de Kohn—Sham son muy similares a las del método de Hartree-Fock y se resuelven también como éstas de manera iterativa y autoconsistente (dado que las soluciones $\phi _{i}$ vienen determinadas por el potencial $v_{\rm {eff}}$ y este a su vez depende implícitamente de los $\phi _{i}$ a través de su relación con la densidad), el significado físico de ambos métodos es diferente ya que tienen asociados potenciales efectivos diferentes.

### Energía de intercambio y correlación

Aun cuando el planteamiento de Kohn y Sham es exacto, hasta el momento el funcional de intercambio y correlación exacto, $E_{xc}$, es desconocido y por lo tanto son necesarias aproximaciones a este funcional. La clasificación a estas aproximaciones se puede encontrar en la escalera de Jacob definida por John. P. Perdew.
La primera aproximación para este funcional se conoce como Aproximación de Densidad Local (LDA) y consiste en suponer que en cada punto, la energía de intercambio y correlación depende solo de la densidad en ese punto. Este valor se considera como el que tendría un gas de electrones libres de esa densidad. Si bien es una aproximación bastante fuerte, se obtienen resultados sorprendentemente precisos para algunas propiedades, y es en parte a eso que se debe el éxito de esta teoría.
Existen aproximaciones más sofisticadas para el funcional de intercambio y correlación, estas se conocen como Aproximaciones de Gradiente Generalizado (GGA), estas son semilocales, ya que consideran en cada punto el valor de la densidad y sus gradientes. Un ejemplo representativo de esta aproximación es el funcional reportado por Perdew, Burke y Ernzerhof,$^,$ el cual ha motivado a varias revisiones y mejoras. Para algunas propiedades estas aproximaciones dan mejores resultados que LDA, en particular para geometrías moleculares y energías del estado fundamental, aunque para otras no representan una mejora sustancial.
Aun con esta aproximación, no se conoce la forma funcional para las energías de correlación electrónicas y energía de intercambio (también llamado interacción de canje). Estas corresponden a la interacción cuántica entre electrones, la primera debido a la parte cuántica de la repulsión coulombiana y la segunda debido al principio de exclusión de Pauli entre electrones del mismo espín. Una solución a este problema es el desarrollo de métodos híbridos como el B3LYP, pero existen otros métodos dentro de la propia teoría del funcional de la densidad.
Una serie de funcionales más sofisticados puede obtenerse al suponer que la energía de intercambio y correlación depende explícitamente de los orbitales de Kohn-Sham. El más común de estos funcionales es el de Intercambio Exacto (EXX), que incluye de manera completa la energía de intercambio electrónico y que puede derivarse desde primeros principios. El problema de este tipo de funcionales es que computacionalmente son más costosos de tratar.

### Extensiones

La teoría del funcional de la densidad ha sido generalizada para tratar sistemas más complejos. Una de las generalizaciones más importantes es la teoría del funcional de la densidad tiempo-dependiente (TDDFT por sus siglas en inglés) que permite ampliar la teoría para el estudio de sistemas bajo excitaciones.

## Aplicaciones y comparación con otros métodos

La principal ventaja de la Teoría del Funcional de la Densidad es que las ecuaciones de esta son mucho más simples de resolver que las ecuaciones de muchos cuerpos de mecánica cuántica u otras aproximaciones, por lo que permiten tratar sistemas más grandes y calcular más propiedades. Por lo general es posible llegar a hacer simulaciones con unos pocos miles de átomos.
El principal problema es que si bien es en principio una teoría exacta, solo se puede aplicar de forma aproximada, lo que hace que sus resultados sean menos precisos que otros métodos. Además, diferentes aproximaciones a la energía de intercambio y correlación pueden dar resultados diferentes. Aun así, para muchos métodos más sofisticados se utiliza como punto de partida los resultados de TFD.
Por este motivo, hay cierta división en la comunidad científica. Los defensores de la TFD indican que sus resultados son muy satisfactorios, y que, por su bajo coste computacional, es la única forma de abordar sistemas más allá de cierta complejidad. Sus detractores apuntan a que es un método semiempírico más, y que no es tan fiable como los métodos ab initio «clásicos».
En este sentido, existe una controversia sobre si la Teoría del Funcional de la Densidad puede ser considerada o no un método ab initio. En general en física se le considera así, debido a que no se requiere ningún tipo de parámetro adicional ni ajuste obtenido de resultados experimentales. En química por el contrario, suele guardarse el término ab initio para métodos derivados de la teoría cuántica de muchos cuerpos que por lo general son más precisos, más costosos computacionalmente y cuyo nivel de aproximación puede ser ajustado.