• Support PF! Buy your school textbooks, materials and every day products Here!

ODE question

  • Thread starter ariesleo
  • Start date
  • #1
3
0

Homework Statement



show the initial value problem x(dy/dx)=4y, y(0)=1 has no solution. does this contradict the existence theorem. please explain

The Attempt at a Solution



it is easy to find out a general solution is y=C*e^(4x), C is a constant. and for any x the right part of the equation will always be
~~~~I'm sorry, I made a mistake here, the general solution should be y=C*x^4

bigger than zero, so there is no solution for y(0)=-1, the question is how to explain it?

the existence theorem I learned from class is the following:
For F(t,y,y')=0, I.C. y(x0)=y0 ...(EQ1)
Let R be the region a<x<b, c<y<d. Such that (x0,y0) belongs to R. If f(x,y) is continuous and bounded on R, then EQ1 has a solution. The validity of the solution is in R.

thanks~
 
Last edited:

Answers and Replies

  • #2
rock.freak667
Homework Helper
6,230
31
[tex]\int \frac{1}{y} dy=\int \frac{4}{x}dx[/tex]

Your general solution is incorrect. The differential eq'n can be seperated as shown above. Integrate again and simplify. Then put in the initial values and see if a solution exists.
 
  • #3
41
0
I agree the poster's solution is faulty...The final result should be y=B(x^4),but that also shows there is no solution fo y(0)=1!Because with 1=B*0 you cant find the solution for constant B....THERE IS NO SOLUTION AS SHOWN ABOVE,mathematically the language is understood,this part am sure of!...Now about the EXISTENCE THEOREM[this part am not so sure,its logical and could be anything,I just read it anyways]...there is no clear statement associated with the question,I dont see an EXISTENTIAL QUANTIFIER to count for anything...ALTHOUGH,abstractly I would consider that the statement "show that there is no solution for y(0)=1" is equivalent to an existential quantifier of statement "for a value x=0 there is no value y=1" which DOES NOT really contradict the existence theorem...I still have doubts and this is not something to completely count on though I hope it has been helpful!
 
  • #4
3
0
you are right, i made a mistake. I changed the answer.

after put the initial conditions, there is still no solutions.

thanks
 
  • #5
3
0
thanks for your reply!

I posted the existence theorem I learned from class.

In my opinion, the function we get y=Ax^4 is continuous, however, by using the existence theorem we could not find a solution. that is the contradict point.

maybe the existence theorem is just sufficient. maybe that is why?
 
  • #6
HallsofIvy
Science Advisor
Homework Helper
41,833
955
You quoted the existence theorem before as saying "If f(x,y) is continuous and bounded on R, then dy/dx= f(x,y) has a solution."

What is f(x,y) for this problem?
 

Related Threads on ODE question

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
741
  • Last Post
Replies
2
Views
908
  • Last Post
Replies
1
Views
756
  • Last Post
Replies
9
Views
1K
  • Last Post
Replies
1
Views
674
  • Last Post
Replies
2
Views
819
  • Last Post
Replies
0
Views
969
  • Last Post
Replies
9
Views
922
Top