Thursday, 16 June 2016

ordinary differential equations - On the Proof of the Uniqueness/Existence Theorem





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)|=|(ac)+(bd)||ac|+|bd|. (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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...