Peano Existence Theorem confusion

LumenPlacidum
Messages
40
Reaction score
0
I'm working on a proof of the Peano Existence Theorem. It says that:

For a continuous ordinary differential equation dx/dt = f(x, t), where x is in R^n and f is continuous on |t-t_0|<=a, ||x-x_0||<=b

when you have an initial value, x(t_0) = x_0, then there is a solution on |t-t_0|<= c, 0<c<=a.

Wikipedia has a pretty relevant statement of the theorem, though I'm trying it for dimensions higher than one. My confusion is more easily described by their statement at http://en.wikipedia.org/wiki/Peano_existence_theorem

They say that the function f is defined so that it satisfies the ODE on its interval of definition, then why can't you just use any continuous function y(x) as the z(x) in that explanation? It just seems like the second line of the statement of the theorem shows that such a solution exists.

If anyone has some insights to offer, I'd be much obliged.
 
Physics news on Phys.org
LumenPlacidum said:
They say that the function f is defined so that it satisfies the ODE on its interval of definition, then why can't you just use any continuous function y(x) as the z(x) in that explanation? It just seems like the second line of the statement of the theorem shows that such a solution exists.

If anyone has some insights to offer, I'd be much obliged.

No, they don't say f satisfies the ODE. It is y(x) that satisfies the ODE y' = f(x,y) where the assumption on f is continuity.
 
Thread 'Direction Fields and Isoclines'
I sketched the isoclines for $$ m=-1,0,1,2 $$. Since both $$ \frac{dy}{dx} $$ and $$ D_{y} \frac{dy}{dx} $$ are continuous on the square region R defined by $$ -4\leq x \leq 4, -4 \leq y \leq 4 $$ the existence and uniqueness theorem guarantees that if we pick a point in the interior that lies on an isocline there will be a unique differentiable function (solution) passing through that point. I understand that a solution exists but I unsure how to actually sketch it. For example, consider a...

Similar threads

Back
Top