エネルギー汎関数