MHB Does the Existence and Uniqueness Theorem Guarantee Solutions for dy/dx = 2xy²?

find_the_fun
Messages
147
Reaction score
0
Given $$\frac{dy}{dx} =2xy^2$$ and the point $$y(x_0)=y_0$$ what does the existence and uniqueness theorem (the basic one) say about the solutions?

1) $$2xy^2$$ is continuous everywhere. Therefore a solution exists everywhere
2) $$\frac{\partial }{\partial y} (2xy^2) = 4xy$$ which is continuous everywhere. Therefore the solution is unique everywhere.

Is this all? What does the point $$y(x_0)=y_0$$ have to do with it? I actually couldn't find any fully worked examples of the existence and uniqueness theorem. Is there a way I should be writing the answers that is more mathy?
 
Physics news on Phys.org
find_the_fun said:
Given $$\frac{dy}{dx} =2xy^2$$ and the point $$y(x_0)=y_0$$ what does the existence and uniqueness theorem (the basic one) say about the solutions?

1) $$2xy^2$$ is continuous everywhere. Therefore a solution exists everywhere.

Actually not. $f(x,y)$ must be Lipschitz continuous in $y$ and continuous in $x$ in order to guarantee existence and uniqueness. $f(x,y)=2xy^2$ is continuous in $x$, but it is not Lipschitz continuous in $y$. Now, it is locally Lipschitz continuous in $y$; if you wanted to argue that on any finite interval containing $x_0$ there exists a unique solution, you'd be on solid ground.
 
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