09/05/13 23:32:33
C,Lを非負の定数、ｆを[a,b]で定義された非負の実数値連続関数とする
[a,b]でf(t)が
f(t)<=C+L∫[a,t]f(s)ds (a<=t<=b)
をみたすとき
f(t)<=C･exp(L(t-a)) (a<=t<=b)
が成り立つ事を示せ
自分なりに証明してみたんですが、↓の証明は問題ないでしょうか？
f(t)>C･exp(L(t-a))とすると
f(t)<=C+L∫[a,t]f(s)ds <=C･exp(L(t-a))+L∫[a,t]f(s)ds<f(t)+L∫[a,t]f(s)ds
∴0<∫[a,t]f(s)ds
t=aとすると、0<0 これは矛盾。故に、f(t)<=C･exp(L(t-a)) (a<=t<=b)が成り立つ。