Hi everyone, I was going through the derivation of the first Hohenberg-Kohn theorem (see here under eqn 1.31 for reference) when I noticed a once-obvious statement that didn't seem so obvious anymore. Namely, the proof requires that if you have two Hamiltonians ##H_1 \neq H_2##, then their ground states are not equal ##\Psi_1 \neq \Psi_2##. Maybe this statement is just completely obvious and I'm missing some PDE or linear algebra uniqueness theorem that I should have remembered from college, but for the life of me, I can't prove it. I know that 2nd order ODE's have unique solutions (given the proper assumptions), but why can't we have:(adsbygoogle = window.adsbygoogle || []).push({});

$$H_1\Psi = E_1\Psi$$

$$H_2\Psi = E_2\Psi$$

where ##H_i## is a partial differential operator?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Help with Hohenberg-Kohn Theorem

Have something to add?

Draft saved
Draft deleted

**Physics Forums | Science Articles, Homework Help, Discussion**