Problem with Nonunique Solutions

  • Context: Graduate 
  • Thread starter Thread starter mkkrnfoo85
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the initial value problem defined by the differential equation y' = y^{1/3} with the initial condition y(0) = 0. The solutions derived include y = [2/3(t)]^{3/2}, y = -[2/3(t)]^{3/2}, and y = 0, all valid for t ≥ 0. The generalized solution is presented as y = χ(t) = {0, if 0 ≤ t < t_0; ±[2/3(t - t_0)]^{3/2}, if t ≥ 0}. The confusion arises regarding the behavior of the solution for 0 ≤ t < t_0, particularly the interpretation of undefined values.

PREREQUISITES
  • Understanding of differential equations, specifically initial value problems.
  • Familiarity with the concept of nonunique solutions in mathematics.
  • Knowledge of the properties of fractional powers and their implications.
  • Basic calculus, including differentiation and integration techniques.
NEXT STEPS
  • Study the theory of nonunique solutions in differential equations.
  • Explore the implications of initial conditions on solution behavior in differential equations.
  • Learn about the uniqueness theorem for ordinary differential equations.
  • Investigate the mathematical properties of fractional powers and their domains.
USEFUL FOR

Mathematics students, educators, and anyone studying differential equations, particularly those interested in initial value problems and nonunique solutions.

mkkrnfoo85
Messages
50
Reaction score
0
Hello all,

I am just having a problem understanding a problem in my textbook on nonunique solutions. Let me get to the problem:

So, consider the initial value problem:

[tex]y' = y^{1/3}\mbox{, } y(0) = y_0 = 0[/tex]
[tex]\mbox{for t}\geq 0[/tex]

So, solving for the differential equation, I get:

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

So, satisfying initial condition, [tex]0 = [\frac{2}{3}(0 + C)]^{3/2}[/tex]

So, [tex]C = 0[/tex]

[tex]y = [\frac{2}{3}(t)]^{3/2}[/tex]
, for [tex]t\geq 0[/tex]

So, that's all understandable to me.
But the answer in the book goes on to say that:

[tex]y = -[\frac{2}{3}(t)]^{3/2}[/tex]
, for [tex]t\geq 0[/tex]

is also a solution. And:

[tex]y = 0[/tex]
, for [tex]t\geq 0[/tex]

is also a solution. Finally, the answer says you can generalize the solultion to:

[tex]y = \chi (t) =\left\{\begin{array}{cc}0,&\mbox{ if }<br /> 0\leq t< t_0\\ \pm [\frac{2}{3}(t - t_0)]^{3/2}, & \mbox{ if } t\geq 0\end{array}\right[/tex]

This last part is very confusing for me. If someone could explain it, it would be very helpful. For example, if the value of [tex]t_0[/tex] was given, and it followed the generalization above, wouldn't values for [tex]0 \leq t < t_0[/tex] not be 0, but instead be undefined? Since, you can't do [tex](negative number)^{3/2}[/tex]
Right?

Thanks in advance for all the help.
-mk
 
Physics news on Phys.org
mkkrnfoo85 said:
Hello all,

I am just having a problem understanding a problem in my textbook on nonunique solutions. Let me get to the problem:

So, consider the initial value problem:

[tex]y' = y^{1/3}\mbox{, } y(0) = y_0 = 0[/tex]
[tex]\mbox{for t}\geq 0[/tex]

So, solving for the differential equation, I get:

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

So, satisfying initial condition, [tex]0 = [\frac{2}{3}(0 + C)]^{3/2}[/tex]

So, [tex]C = 0[/tex]

[tex]y = [\frac{2}{3}(t)]^{3/2}[/tex]
, for [tex]t\geq 0[/tex]

So, that's all understandable to me.
But the answer in the book goes on to say that:

[tex]y = -[\frac{2}{3}(t)]^{3/2}[/tex]
, for [tex]t\geq 0[/tex]

is also a solution.
Yes, it is.
[tex](-[\frac{2}{3}t]^{3/2})= -\frac{2}{3}[\frac{3}{2}t^{\frac{1}{2}[/tex]
while [tex](-[\frac{2}{3}t]^\frac{3}{2})^\frac{1}{3}][/tex] is exactly the same thing. Also, of course, y(0)= 0.

And:

[tex]y = 0[/tex]
, for [tex]t\geq 0[/tex]

is also a solution.
Absolutely: (0)'= 0 and (0)1/3= 0.

Finally, the answer says you can generalize the solultion to:

[tex]y = \chi (t) =\left\{\begin{array}{cc}0,&\mbox{ if }<br /> 0\leq t< t_0\\ \pm [\frac{2}{3}(t - t_0)]^{3/2}, & \mbox{ if } t\geq 0\end{array}\right[/tex]

This last part is very confusing for me. If someone could explain it, it would be very helpful. For example, if the value of [tex]t_0[/tex] was given, and it followed the generalization above, wouldn't values for [tex]0 \leq t < t_0[/tex] not be 0, but instead be undefined? Since, you can't do [tex](negative number)^{3/2}[/tex]
Right?

Well, yes. Perhaps that is why they specifically said [tex]t\geq 0[/tex]?

Thanks in advance for all the help.
-mk

You'er welcome.
 
Last edited by a moderator:

Similar threads

  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 0 ·
Replies
0
Views
5K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K