ディリクレ積分は凸汎函数なんだから
最小があれば一意なんじゃないですかね