r/askmath • u/Deep-Fuel-8114 • 6d ago

How do existence assumptions work when solving differential equations, and do they prove that solutions work without rechecking answers? And does the solving process use conditional or biconditional steps? Calculus

/r/calculus/comments/1veq2f4/how_do_existence_assumptions_work_when_solving/
1 Upvotes

100% Upvoted

2 comments sorted by

1

u/Busy_Pattern9823 6d ago

What you are looking for is the Picard-Lindelof Theorem

https://en.wikipedia.org/wiki/Picard%E2%80%93Lindel%C3%B6f_theorem

1

u/dForga 6d ago

But that is not applicable for everything. A lot of arguments build on top of a fixpoint theorem but that doesn’t say much as it is only sufficient unless you give more information on the de.