解の一意性がなかった。。。

最近考えていた内容について、うっかり間違いがあって、最適解の一意性がないことがわかってしまった。

基本的には、最適解が一意の場合には、反復計算の点列がそこに収束することを示せばＯＫとなるが、最適解が一意でない場合には点列が収束するとは限らない。
このあたりをどう処理するかを検討する必要がありそうだ。

短期目標：証明の方針を再検討
今日の作業内容：証明読み込み 2h
今日のランチ：らく　鶏の照り焼き定食
明日の予測作業時間：3h