ソボレフ空間内でもよいので
ディリクレ積分の最小解の一意性を
「ディクリ汎関数D[u}」の単なる凸性から導いている
textがあれば教えていただければありがたい