Which Differential Equation Has a Unique Solution on the Interval (0, pi)?

  • Context: Graduate 
  • Thread starter Thread starter gemredpanda
  • Start date Start date
  • Tags Tags
    Interval
Click For Summary

Discussion Overview

The discussion revolves around identifying which differential equation has a unique solution on the interval (0, pi). Participants explore various equations and their initial conditions, considering the implications of existence and uniqueness theorems for initial value problems.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Post 1 presents four differential equations and expresses uncertainty about their uniqueness, noting that the first two have arbitrary constants suggesting non-unique solutions.
  • Post 2 challenges the validity of the fourth equation's solution, suggesting that it leads to a contradiction with the initial condition y'(0)=1.
  • Post 3 agrees with the ruling out of the first two equations and emphasizes the need to consider the existence and uniqueness theorem for initial value problems.
  • Post 4 elaborates on the fourth equation, using the integrating factor method to show that it leads to y=0, which conflicts with the initial condition y'(0)=1. It also discusses the discontinuities in the equations and their implications for the intervals of unique solutions.
  • Post 4 further concludes that the third equation has a discontinuity at t=-1, allowing for a unique solution on the interval (-1,∞), which includes t=1.
  • Post 4 introduces additional superposition problems, expressing confusion about how to apply the concept of superposition to find solutions to new equations based on known solutions Y1 and Y2.
  • Post 5 attempts to clarify the superposition problem by analyzing the combinations of Y1 and Y2, concluding that Y1+Y2 does not satisfy the equation for 2e^t.

Areas of Agreement / Disagreement

Participants generally disagree on the uniqueness of solutions for the equations presented, with multiple competing views on the validity of the fourth equation and the implications of the initial conditions. The discussion remains unresolved regarding the correct identification of the equation with a unique solution.

Contextual Notes

Participants reference the existence and uniqueness theorem, but there are unresolved mathematical steps and assumptions regarding the conditions under which solutions are considered unique.

Who May Find This Useful

Readers interested in differential equations, particularly those studying initial value problems and the implications of existence and uniqueness theorems, may find this discussion relevant.

gemredpanda
Messages
3
Reaction score
0
Which of the following has a unique solution on the whole interval (0, pi)?
y''+y=0, y(0)=0, y(pi)=0
y''+4y=0, y'(0)=0, y'(pi)=0
(t+1)y''+ty=0, y(1)=1, y'(1)=0
(t-1)y'+2y=0, y(0)=0, y'(0)=1

I'm not sure where to go on this one. I solved the first 2 equations and got:
y=c*sin(t)
and y=c*cost(2t) respectively
I don't believe these are unique solutions due to the arbitrary constants in both equations.

I'm not sure I was even taught how to solve the third one. So I'm left with the 4th one as the answer. Am I correct?
 
Physics news on Phys.org
Actually there is no solution for the fourth since we get y=0, and y'(0)=1 wouldn't make sense...is the third one the answer?
 
gemredpanda said:
Actually there is no solution for the fourth since we get y=0, and y'(0)=1 wouldn't make sense...is the third one the answer?

You've correctly ruled out a and b.

There's nothing wrong with specifying y(0)=0 and y'(0) = 1. But I think you are supposed to think about what your existence and uniqueness theorem for initial value problems says.
 
I didn't mean that it was wrong to specify y(0)=0 and y'(0)=1, I meant that if we solve the 4th equatio using the integrating factor method we would get

μ=e^(∫(2 / (t-1) ) )
which reduces to μ=(t-1)^2

then we get
y[(t-1)^2]= ∫0
so we get y[(t-1)^2]=c

invoking y(0)=0 we get
so we get y=0.

Then if we try to invoke y'(0)=1 we can't, since that makes no sense. Am I right? Thanks for you help!

EDIT: Oh, I think I got it...
the fourth equation has a discontinuity at t=1, so the intervals are (-∞,1) (1,∞)---the original IC have the point t=0, so the largest interval on which a unique solution is guaranteed is (-∞,1). So this isn't our answer,

the third equation has a discontinutity at t=-1. So the intervals are (-∞,-1) and (-1,∞)
Here the ICs have the point t=1, which is in the interval (-1,∞). So (-1,∞) is the largest interval on which a unique solution is guananteed, so this must be the answer.

I'm also having troubles on some superposition problems if anyone can help...
Given Y1 is a solution to y''+py'+qy=e^t
and Y2 is a solution to y''+py'+qy=3e^t
Which of the following is a solution to y''+py'+qy=2e^t?
Y=Y1+Y2
Y=Y1-Y2
Y=2Y1
Y=2Y2

I know that given the Y1 and Y2 where Y1 and Y2 are the solutions to a homogenous diff eq we know that
Y3=c1Y1+c2Y2
is also a solution. But I can't seem to reconcile how to apply this here. my guess at the answer would just be Y=2Y1, since 2e^t is 2 times e^t...thats probably way wrong thoughAnd another similar superpostition problems is:

Y1 and Y2 are solutions to y''+py'+qy=g(t). Which one of the following is also a solution
Y=Y1-Y2
Y=Y1+Y2
Y=2Y1-Y2
Y=2Y1-3Y2
I think this is also a superposition question but I'm unsure of what to do.
 
Last edited:
Y1''+ pY1'+ qY1= 3e^t and Y2''+ pY2'+ qY2= 2e^t so if
Y= Y1+ Y2, Y''+ pY'+ qY= (Y1+ Y2)''+ p(Y1+ Y2)'+ q(Y1+ Y2)= Y1''+ Y2''+ pY1'+ pY2'+ qY1+ qY2= (Y1''+ pY1'+ qY1)+ (Y2''+ pY2'+ qY2)= (2e^t)+ (2e^t)= 4e^t, not 2e^t so Y1+ Y2 does NOT satisfy the equation., Do the same with the others.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
865
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K