ところで、Neumann Type の境界値ですが、近似解(y(L))において、 x=L での値は、下式で表していましたね。

では、厳密解(y₀(L))のNeumann Type の境界値は、どうでしょう。下式に示す通り、近似解とまったく同じになります。

すると、近似解は、y(x)=y₀(x)+δy(x) ですから、重み関数(δy(x))の x=L での微分は、ゼロでなくてはなりません。

これは、ちょっと意外な条件です。どっちにしろ、これまでをまとめると、次の様になります。