Can a point be in the solution curve

chatarazona7sq

chatarazona7sq

Answered question

2022-03-19

Can a point be in the solution curve of a differential equation when domain of that differential equation does not contain it?
I am given: dydx=2xyx2y2 with initial condition y(1)=1
(1,1) does not belong to the domain of this O.D.E: dydx=2xyx2y2
I have a very little knowledge of Differential equation. I can not understand how (1,1) is belonging to the solution curve when domain of O.D,E does not contain it.
Can anyone please help me ?

Answer & Explanation

Gideon Hutchinson

Gideon Hutchinson

Beginner2022-03-20Added 4 answers

Explanation:
You're right that the question is meaningless as it stands. But you could reformulate the ODE as (x2y2) dy  dx =2xy, or the initial condition as limx1y(x)=1, and then the problem would make sense.

Kayla Fitzgerald

Kayla Fitzgerald

Beginner2022-03-21Added 4 answers

Step 1
The source of the confusion here is that the phrase "finding a solution" is completely ambiguous. In most contexts, this is not an issue, but it is an issue when using functions that involve singularities. The careful, rigorous way to go about this is to give me a family of functions you are interested in. I would assume you are interested in functions of the family y:RR, and furthermore, I would assume that you want functions that are differentiable everywhere, a.k.a, differentiable at every point in their domain, which in this case, would be every point in R. With those assumptions in place, it now makes perfect sense to ask about solutions to y=2xyx2y2,,y(1)=1.
However, with those specific assumptions in place, you would be correct in saying that the initial condition is nonsensical.
Step 2
With that being said, as Hans Lundmark clarified in his answer, it is entirely possible that the initial condition as provided is actually an abuse of notation, and they probably meant to say that
limx1y(x)=1
instead. This amounts to saying that the intended solution should have a removable singularity or a branch singularity at 1. I should say, though, that rewriting the equation as [x2y(x)2]y(x)=2xy(x) would not actually solve the problem, because for y(1)=1, this rewrite implies 0y(1)=2, which is nonsensical. So it still would be the case that the solution would not actually be a solution, since it would not be differentiable at 1. This is why it makes more sense to think of it as the solution actually having a singularity at 1. Hence, if instead, we assume that the class of functions you are interested in are the functions of the family y:R{1}R instead, such that it is differentiable everywhere, with the rewritten boundary condition, then the problem to solve actually makes sense, and the equation can then be solved, though the solving method is annoying.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?