Bréchet, Thierry; Tsachev, Tsvetomir; Veliov, Vladimir M. - 2009
) every
, that
j ( ;s)j
Z !
s
e (r+ )( s)j (f( ) v0( + )g( )) (f( ) v00( + )g( ))jd
! gkv0 v00kL1[ ; +!];
where (x …) = x for x> 0, (x) = 0 for x 0, g = g( !) is an upper bound for g, and we use that
is Lipschitz continuous with …^k+1(v);:::;FM(v)))2VMh ( v) for v2VMh ( v), which would imply the
claim of the proposition due to the Brawer x point …