を、境界上で "g" の値を取るようなすべての関数 "u" について、最小化するものである。