I am trying to show that |x_(t)−y_(t)|≤|x_(t0)−y_(t0)|+∫tt0|f_(x_,s)−f_(y_,s)| ds,
where x_(t)=x_(t0)+∫tt0f_(x_,s) ds, y_(t)=y_(t0)+∫tt0f_(y_,s) ds.This is part of my proof for the uniqueness/existence theorem.
This is my working so far.
|x_(t)−y_(t)|≤|x_(t)|+|−y_(t)|=|x_(t0)+∫tt0f_(x_,s) ds|+|−y_(t0)−∫tt0f_(y_,s) ds|≤|x_(t0)|+|∫tt0f_(x_,s) ds|+|−y_(t0)|+|−∫tt0f_(y_,s) ds|
I don't see how to combine the terms as desired.
Answer
Hint: |(a+b)−(c+d)|=|(a−c)+(b−d)|≤|a−c|+|b−d|. (Your first step makes it impossible to complete the proof). [Take a and b to be the first and second terms of x(t) and c and d to be the first and second terms of y(t)].
No comments:
Post a Comment