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

Maximal solution to ODE

  • Thread starter zpconn
  • Start date
  • #1
243
2
Note: this has been edited to fix a typo.

Homework Statement



The problem is to find the maximum solution on all of R of the differential equation dy/dt = t * y^(1/3) subject to the initial-value conditoin y(1) = -1.


Homework Equations




The Attempt at a Solution



This equation is not subject to the conclusion of Picard's standard existence and uniqueness theorem since t * y^(1/3) is not Lipschitz in the y variable. But the existence of a solution is guaranteed by Peano's theorem. Further, it's proved in the theory of ODEs that there will be a maximum solution--a solution that is greater than or equal to all others at all points.

By separation of variables it's easy to find a particular solution and then use the initial condition to find the value of the constant that emerges in the process. But as for finding the maximum solution I don't know where to begin.

Any help would be greatly appreciated!
 
Last edited:

Answers and Replies

  • #2
33,505
5,191

Homework Statement



The problem is to find the maximum solution on all of R of the differential equation dt/dt = t * t^(1/3) subject to the initial-value conditoin y(1) = -1.
Don't you mean dy/dt = y*t^(1/3)?

Homework Equations




The Attempt at a Solution



This equation is not subject to the conclusion of Picard's standard existence and uniqueness theorem since t * y^(1/3) is not Lipschitz in the y variable. But the existence of a solution is guaranteed by Peano's theorem. Further, it's proved in the theory of ODEs that there will be a maximum solution--a solution that is greater than or equal to all others at all points.

By separation of variables it's easy to find a particular solution and then use the initial condition to find the value of the constant that emerges in the process. But as for finding the maximum solution I don't know where to begin.

Any help would be greatly appreciated!
 
  • #3
243
2
Oh my, this was a bad typo. I meant dy/dt = t * y^(1/3) !
 
  • #4
33,505
5,191
I found the solution, using separation. The graph looks something like two parabolas, one opening up, and one opening down. The one opening down goes through (1, -1). Being that this is the only solution that satisfies the initial condition and the differential equation, seems like it would also be the maximal solution. The other solution (the upward-opening parabola-like curve) is such that all of its y values are greater than those on the solution represented by the downward-opening parabola-like curve, but it doesn't pass through (1, -1).
 
  • #5
243
2
Actually, I've realized I am somehow not solving it right, and your post verifies this since I got a different scenario.

Am I missing something here?

After separating variables and integrating one finds (3/2) * y^(2/3) = t^2/2 + const. But imposing the initial condition forces the constant to be complex as far as I can tell.
 
  • #6
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,620
1,254
Yeah, that confused me as well. You might have noted your equation will satisfy the initial condition if the constant is equal to 2/3. If you solve for y2, you get

[tex]y^2 = \left(\frac{t^2}{3}+\frac{2}{3}\right)^3[/tex]

The solution you want is the negative root of that equation.
 
  • #7
243
2
You are correct indeed.

Thanks very much to both of you!
 

Related Threads on Maximal solution to ODE

  • Last Post
Replies
0
Views
741
Replies
0
Views
2K
Replies
2
Views
1K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
6
Views
956
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
3
Views
627
Top