Understanding Uniqueness and Existence Theorems for ODE's

  • Context: Graduate 
  • Thread starter Thread starter manimaran1605
  • Start date Start date
  • Tags Tags
    Existence Uniqueness
Click For Summary

Discussion Overview

The discussion centers on understanding the uniqueness and existence theorems for first-order and second-order ordinary differential equations (ODEs), focusing on intuitive interpretations and methods of proof. Participants explore various approaches to grasp these concepts, including references to established theorems and numerical methods.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant seeks an intuitive understanding of uniqueness and existence theorems for ODEs.
  • Another participant suggests providing more detail about the specific areas of confusion and references a Wikipedia page for intuitive insights.
  • A participant notes that the uniqueness and existence theorems can be derived as a corollary of the contraction mapping theorem, also known as the Banach fixed point theorem.
  • It is mentioned that Euler's method can be used to demonstrate existence and uniqueness, although the proof can be complex. The iterative nature of Picard iterations is described as a process of integrating vectors along previous curves to derive the next curve.
  • Euler's method is characterized as a more intuitive approach to understanding these concepts.

Areas of Agreement / Disagreement

Participants express varying levels of understanding and approaches to the topic, indicating that multiple perspectives exist without a consensus on a single intuitive explanation or method.

Contextual Notes

The discussion does not resolve specific assumptions or limitations inherent in the proofs or methods mentioned, such as the complexity of the proof for Euler's method or the specific conditions under which the theorems apply.

manimaran1605
Messages
60
Reaction score
0
How to understand Uniqueness and existence theorem for first order and second order ODE's intuitively?
 
Physics news on Phys.org
Following up on Strum's comment, it is a corollary of the contraction mapping theorem, a.k.a, Banach fixed point theorem.
 
It's possible to prove existence and uniqueness using Euler's method, so if you understand Euler's method, that gives you some insight. But the actual proof that it works is kind of nasty--at least the one that I saw.

It's basically an iterated mapping from the set of smooth curves to itself that's a contraction mapping, so it has a fixed point that it goes towards, which is the solution curve. If you look carefully at the Picard iterations, it is possible to picture what they are doing. It's integrating all vectors that lie along the previous curve to get the next curve. So, for example, if you started with a stationary curve and there is a non-zero vector there, it will be corrected because it will move in the direction of that vector. The solution curve is the one that gives itself back when this procedure is applied.

Euler's method is a bit easier to understand intuitively.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
0
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K