  The van Leeuwen proof of linear-response time-dependent density functional
theory (TDDFT) is generalized to thermal ensembles. This allows generalization
to finite temperatures of the Gross-Kohn relation, the exchange-correlation
kernel of TDDFT, and fluctuation dissipation theorem for DFT. This produces a
natural method for generating new thermal exchange-correlation (XC)
approximations.
