Is there proof that the exact exchange correlation functional is an analytic function?
See my colleagues work, it seems to be the answer you want.

http://journals.aps.org/pra/abstract/10.1103/PhysRevA.93.042511