Missing Solutions Homework: Find 1-Param Family for DE

  • Thread starter roam
  • Start date
In summary: I'm not sure if it is a solution or notno i mean that if it was a solution, we might...I'm not sure if it is a solution or not
  • #1
roam
1,271
12

Homework Statement



Find a one-parameter family of solutions to the differential equation:

[itex]\frac{dy}{dt} = \frac{t \ cos 2t}{y}[/itex]

Are there any solutions to the differential equation that are missing from the set of solutions you found? Explain.

The Attempt at a Solution



I used the separation of variables to find the solution as follows:

[itex]\int ydy = \int t \ cos (2t) dt[/itex]

[itex]\frac{y^2}{2} = \frac{1}{4} (2t \ sin (2t)+ cos(2t)) + c[/itex]

[itex]\therefore y = \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k}[/itex]

And this is defined as long as there is no negative under the square root. So, how do I know whether there are any missing solutions or not? And how do I identify them?
 
Physics news on Phys.org
  • #2
There could be a negative sign in front of the square root, with an independent constant c(or k).
 
  • #3
sunjin09 said:
There could be a negative sign in front of the square root, with an independent constant c(or k).

How does that show that there are any missing solutions? Furthermore, there is no negative sign in front of the squre root in the general solution that I've found.
 
  • #4
hi roam! :smile:
roam said:
How does that show that there are any missing solutions?

sunjin09 :smile: is correct

if y is a solution, then obviously -y is also
Furthermore, there is no negative sign in front of the squre root in the general solution that I've found.

that's because you deliberately threw it away :rolleyes: when you did the following step :redface:
roam said:
[itex]\frac{y^2}{2} = \frac{1}{4} (2t \ sin (2t)+ cos(2t)) + c[/itex]

[itex]\therefore y = \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k}[/itex]
 
  • Like
Likes roam
  • #5
tiny-tim said:
hi roam! :smile:


sunjin09 :smile: is correct

if y is a solution, then obviously -y is also


that's because you deliberately threw it away :rolleyes: when you did the following step :redface:

Thank you! So the correct general solution to the DE must have been:

[itex]\therefore y = \pm \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k}[/itex] ...(1)

But this doesn't answer the second part of the question: Are there any solutions to the differential equation that are missing from the set of solutions you found?

Are there any solutions to the DE that are missing from the set (1)? :confused:
 
  • #6
roam said:
Thank you! So the correct general solution to the DE must have been:

[itex]\therefore y = \pm \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k}[/itex] ...(1)

But this doesn't answer the second part of the question: Are there any solutions to the differential equation that are missing from the set of solutions you found?

Are there any solutions to the DE that are missing from the set (1)? :confused:

Your "solution" is not a solution at all; a solution will not have a [itex] \pm [/itex] in it. You need to pick either [tex] y_1(t) = \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k_1} \text{ or } y_2(t) = -\sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k_2}.[/tex] (If you don't believe me, try plugging in you written solution into a program such as Maple and see whether or not the soflware can handle it.) That being said, the question becomes: are there any solutions different from [itex] y_1 \text{ or } y_2[/itex]? You need to use some theorems, for example, related to the IVP, where in addition to the DE you also specify y(0) for example.

RGV
 
  • Like
Likes roam
  • #7
roam said:
Are there any solutions to the DE that are missing from the set (1)? :confused:

well, i don't see how we could have thrown any away …

(the only dangerous thing we did was to multiply both sides by y, and "y = 0 for all t" obviously isn't a solution in this case)
 
  • Like
Likes roam
  • #8
tiny-tim said:
well, i don't see how we could have thrown any away …

(the only dangerous thing we did was to multiply both sides by y, and "y = 0 for all t" obviously isn't a solution in this case)

So, do you mean that y(t)=0 is a missing solution?

Ray Vickson said:
Your "solution" is not a solution at all; a solution will not have a [itex] \pm [/itex] in it. You need to pick either [tex] y_1(t) = \sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k_1} \text{ or } y_2(t) = -\sqrt{t \ sin (2t)+ \frac{1}{2} \ cos (2t) + k_2}.[/tex] (If you don't believe me, try plugging in you written solution into a program such as Maple and see whether or not the soflware can handle it.) That being said, the question becomes: are there any solutions different from [itex] y_1 \text{ or } y_2[/itex]? You need to use some theorems, for example, related to the IVP, where in addition to the DE you also specify y(0) for example.

So we must when we are solving a DE and have a situation like y2=..., we must always take the positive value?
 
  • #9
roam said:
So, do you mean that y(t)=0 is a missing solution?

no i mean that if it was a solution, we might have missed it :redface:

so we check, we find it isn't, and we relax again o:)
 
  • Like
Likes roam
  • #10
Hi tiny tim,

I have two questions:

1. If using the "±" symbol is wrong, then what is the correct notation for representing the solution to this DE?

2. So, there are absolutely no missing solutions, and my answer is the general solution and we can solve all initial-value problems with solutions of this form? (Personally I can't think of any counter examples, but I'm not sure).
 
  • #11
roam said:
So, do you mean that y(t)=0 is a missing solution?
So we must when we are solving a DE and have a situation like y2=..., we must always take the positive value?

Why would you ask me that, when I very clearly wrote down TWO solutions?

Anyway, if you look at the IVP and have y(0) > 0, then you must choose the solution y1 (with the + sign); if y(0) < 0 you must choose y2 (with the - sign). Then the issue is: are there any other solutions to your IVP? You can use theorems about that. Google "uniqueness theorems for differential equations".

RGV
 
Last edited:
  • #12
hi roam! :smile:
roam said:
1. If using the "±" symbol is wrong, then what is the correct notation for representing the solution to this DE?

i didn't say it was wrong!

if your professor doesn't like it, don't do it

if your professor doesn't mind it, do do it

it's a convenient shorthand …

when we write "the general solution is x = Acoskt + C", we don't feel the need to add "for any constant C"

when we write "the general solution is x = -b ±√(b2 - 4c), we don't feel the need to add "for either value of ±" :wink:
2. So, there are absolutely no missing solutions, and my answer is the general solution and we can solve all initial-value problems with solutions of this form? (Personally I can't think of any counter examples, but I'm not sure).

looks ok :smile:
 
  • Like
Likes roam
  • #13
tiny-tim said:
hi roam! :smile:i didn't say it was wrong!

if your professor doesn't like it, don't do it

if your professor doesn't mind it, do do it

it's a convenient shorthand …

when we write "the general solution is x = Acoskt + C", we don't feel the need to add "for any constant C"

when we write "the general solution is x = -b ±√(b2 - 4c), we don't feel the need to add "for either value of ±" :wink:looks ok :smile:

The point I was trying to get across to him was that y = ± f(t) is _not_ a solution; it is TWO DIFFERENT solutions, but written in shorthand. As I suggested to him, try submitting his "solution" y = ± f(t) to Maple, Mathematica or Matlab to test it. The computer would choke. I know, I know that we sometimes say "the root is a ± b" and similar language, but *if one does not fully understand this one should avoid it*! It is really a shorthand form of the statement that there are two roots, a + b and a - b. It is perfectly acceptable to say "the roots are a ± b"; this emphasizes roots (plural) and is absolutely correct in all respects.

RGV
 
Last edited:
  • #14
Ray Vickson said:
Then the issue is: are there any other solutions to your IVP? You can use theorems about that. Google "uniqueness theorems for differential equations".

RGV

By the Uniqueness Theorem, to have a unique solution both f(t, y) and ∂f/∂y must be continious at a point.

So [itex]\frac{\partial f}{\partial y} = - \frac{t \ cos \ 2t}{y^2}[/itex]

When y=0, the partial derivative fails to exist, this means that the uniqueness theorem doesn't tell us anything about solutions of an IVP that have the form y(t0)=0. For example at the point y(0)=0, neither f(t, y) or ∂f/∂y exist. But how can we use this to prove that y(0)=0 is another solution to the IVP?

I'm confused because the satisfaction of the theorem simply guarantees a uniques solution, but failure of the theorem doesn't prove multiple solutions (inconclusive). So how can we use this theorem?
 
  • #15
So, if y(0) is not zero you have a unique solution; in fact, you can see from the DE itself that y(t) is strictly increasing if y(0) > 0 and is strictly decreasing if y(0) < 0, so y(t) never reaches zero. The case y(0) = 0 is pathological, and I don't think you can say the DE even means anything right at the point t = 0.

RGV
 
  • #16
Right, so how else can I find the missing solutions? :confused:
 
  • #17
roam said:
Right, so how else can I find the missing solutions? :confused:

Who says there are missing solutions?

RGV
 
  • #18
Ray Vickson said:
Who says there are missing solutions?

RGV

So f(t, y) is not defined at y=0, but it is continious everywhere else and ∂f/∂y is continious everywhere, and by the Uniqueness Theorem the solution to every initial-value problem is unique. Is this a sufficient explanation that there are no missing solutions?
 
  • #19
The Uniqueness Theorem says if f(t,y) and ∂f/∂y are BOTH continuous functions of t and y for all t and y, then there is a unique solution to the DE for any particular choice of the initial condition.

To show that there are no missing solutions I must show thate there are NO values of t and y at which either f(t,y) and ∂f/∂y is discontinuous. BUT at the point y=0 the function f(t,y) is not defined/has a discontinuity. So one of the hypotheses of the theorem is violated. Doesn't this mean there is a missing solution? :confused:
 
  • #20
roam said:
The Uniqueness Theorem says if f(t,y) and ∂f/∂y are BOTH continuous functions of t and y for all t and y, then there is a unique solution to the DE for any particular choice of the initial condition.

To show that there are no missing solutions I must show thate there are NO values of t and y at which either f(t,y) and ∂f/∂y is discontinuous. BUT at the point y=0 the function f(t,y) is not defined/has a discontinuity. So one of the hypotheses of the theorem is violated. Doesn't this mean there is a missing solution? :confused:

No. The conditions you cite are *sufficient* for uniqueness, not necessary. In other words, even if the conditions are violated that does not mean that uniqueness fails; in some examples it will, and in other examples it won't.

You KNOW that the DE is meaningless at y = 0, so you could say that it must hold if y ≠ 0. That does not mean that y(t)=0 is impossible; it just means that the DE fails at such a point. For example, the solution [itex]y(t) = \sqrt{t \sin(2t) + \cos(t)/2 - 1/2} [/itex]
gives [itex] y(t) \rightarrow 0 \text{ as } t \rightarrow 0,[/itex] and [itex] y(0) = 0,[/itex] so y(t) is continuous at t = 0. The DE holds for all t > 0 but not at t = 0 itself.

RGV
 
  • Like
Likes roam

1. What is a "1-Param Family" in the context of solving a differential equation?

A 1-Param Family in the context of solving a differential equation refers to a set of equations that can be derived from a single general solution by varying a single parameter. This allows for a range of solutions to the same differential equation, each with a unique value for the parameter.

2. How do you find a 1-Param Family for a given differential equation?

To find a 1-Param Family for a given differential equation, you must first solve the differential equation by finding a general solution. Then, introduce a new parameter into the general solution and vary its value to generate a range of solutions.

3. What is the purpose of finding a 1-Param Family for a differential equation?

The purpose of finding a 1-Param Family for a differential equation is to generate a range of solutions that satisfy the same equation but have different characteristics. This can be useful in modeling real-world situations where there may be multiple possible solutions to a problem.

4. Can a 1-Param Family be used to solve any type of differential equation?

No, a 1-Param Family can only be used to solve certain types of differential equations, specifically those that are separable or can be solved by integrating factors. It cannot be used for more complex types of differential equations, such as partial differential equations.

5. How does finding a 1-Param Family differ from finding a particular solution to a differential equation?

Finding a 1-Param Family involves finding a range of solutions to a differential equation by introducing a new parameter, while finding a particular solution involves finding a single solution that satisfies specific initial conditions for the differential equation. A 1-Param Family is more general and allows for a variety of solutions, while a particular solution is more specific and unique.

Similar threads

  • Calculus and Beyond Homework Help
Replies
6
Views
677
  • Calculus and Beyond Homework Help
Replies
3
Views
515
  • Calculus and Beyond Homework Help
Replies
4
Views
885
  • Calculus and Beyond Homework Help
Replies
20
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
7K
  • Differential Equations
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
116
  • Calculus and Beyond Homework Help
Replies
1
Views
950
  • Calculus and Beyond Homework Help
Replies
16
Views
475
Back
Top