ここでは無限遠での凝縮体の波動関数の値を表し、formula_15はコヒーレント長を表す。