機能解析
最後の行から$$ C ^2≥ | g_t | ^ 2_ {2} = sum_ {h in S} | langle h、g_t rangle | ^ {2} = sum_ {h in S} | h(t)| ^ {2} $$ so begin {align} infty&> int_0 ^ 1 C ^ 2
$ E $がヒルベルト空間でのフレシェ微分可能関数である場合、$ u $での$ E $の勾配は、$ E '(u)v =(w、v)を満たすヒルベルト空間の要素$ w $です。
これは、これまでに与えられた答えの解釈であり、議論を分解し、重要な中間結果を強調しています。最初の事実。 $ T $をsとします