Understanding Uniqueness and Existence Theorems for ODE's

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.
 
There is the following linear Volterra equation of the second kind $$ y(x)+\int_{0}^{x} K(x-s) y(s)\,{\rm d}s = 1 $$ with kernel $$ K(x-s) = 1 - 4 \sum_{n=1}^{\infty} \dfrac{1}{\lambda_n^2} e^{-\beta \lambda_n^2 (x-s)} $$ where $y(0)=1$, $\beta>0$ and $\lambda_n$ is the $n$-th positive root of the equation $J_0(x)=0$ (here $n$ is a natural number that numbers these positive roots in the order of increasing their values), $J_0(x)$ is the Bessel function of the first kind of zero order. I...
Are there any good visualization tutorials, written or video, that show graphically how separation of variables works? I particularly have the time-independent Schrodinger Equation in mind. There are hundreds of demonstrations out there which essentially distill to copies of one another. However I am trying to visualize in my mind how this process looks graphically - for example plotting t on one axis and x on the other for f(x,t). I have seen other good visual representations of...
Back
Top