In Kohn-Sham DFT, the expression for the energy is:
EDFT=Ts[ρ]+Ene[ρ] + J[ρ]+Exc[ρ], now, I am looking in the book of Frank Jensen (2007): Introduction to computational chemistry, and he says that by equating this energy to the exact energy, Exc[ρ] is:
Exc[ρ] = (T[ρ]-Ts[ρ])+(Eee[ρ]-J[ρ])
But I am not sure how he has defined the exact energy, I hope it is simply Eexact[ρ]= T[ρ]+Ene[ρ] + Eee[ρ], does anyone here have an idea?