上述の方程式に現れる未知のスカラー関数 formula_17をベルマンの「価値関数」と呼ぶ。