MHB Application of existence and uniqueness theorem

find_the_fun
Messages
147
Reaction score
0
Given the differential equation [math]y'=4x^3y^3[/math] with initial condition [math]y(1)=0[/math]determine what the existence and uniqueness theorem can conclude about the IVP.

I know the Existence and Uniquness theorem has two parts 1)check to see if the function is differentiable and 2)check to see if $$\frac{\partial f}{\partial y}$$ is continious. If they both are true you can condlude there is only one solution (a unique solution). If not, then you can't conclude anything.

My problem is I don't understand which function I should be checking. Should I be checking the differential equation it self, or do I first need to solve and and then check the (a) solution?
 
Physics news on Phys.org
find_the_fun said:
Given the differential equation [math]y'=4x^3y^3[/math] with initial condition [math]y(1)=0[/math]determine what the existence and uniqueness theorem can conclude about the IVP.

I know the Existence and Uniquness theorem has two parts 1)check to see if the function is differentiable and 2)check to see if $$\frac{\partial f}{\partial y}$$ is continious. If they both are true you can condlude there is only one solution (a unique solution). If not, then you can't conclude anything.

My problem is I don't understand which function I should be checking. Should I be checking the differential equation it self, or do I first need to solve and and then check the (a) solution?

The initial value problem is of the form:

$$\left\{\begin{matrix}
y'=f(x,y)\\
\\
y(x_0)=y_0
\end{matrix}\right.$$

Therefore, the function $f$ is equal to $4x^3y^3$.
 
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