Talk:Uniqueness of Continuously Differentiable Solution to Initial Value Problem

I've probably got this wrong again and it's not the same thing at all. If this is the case, perhaps it's time I retired. --prime mover (talk) 15:12, 4 July 2016 (UTC)

My text (Miller - Ordinary Differential Equations) lists this as a corollary to Picard's Theorem. (It's not called Picard's theorem, the text breaks the theorem up into a few chapters, but you know. That fundamental existence theorem for ODE's.) The proof is "left to the reader" and I lack the focus/interest to piece it together and fill it in right now. The proof seems to depend equally on the MVT, Picard's Theorem, and some facts on convex sets, so I didn't feel like posting it as a corollary.

This proposition is a bit "nicer". You don't have to directly show Lipschitz continuity, and the interval of existence guaranteed by Picard's theorem can be restrictive. --Keith.U (talk) 16:44, 4 July 2016 (UTC)

Okay so I think I need to retire, i'm shit at maths. --prime mover (talk) 19:39, 4 July 2016 (UTC)

If you're shit then I don't wanna think about where that puts me D: --Keith.U (talk) 22:05, 4 July 2016 (UTC)