偏微分方程式を境界条件を満たす直交関数列の級数に展開するときに
使います。