>>250
普通の定義ならブロッホの定理から来るもの。

>>251
必ず出る必要は無い。
LDA+UとLSDA+Uは厳密には違う。
非磁性で+Uするか磁性ありで+Uやるか。
式も少々違う。