#### (New Question of the Week)

This recent question involves an ordinary differential equation (ODE) and the relation between different solutions. It illustrates common difficulties in interpreting what a problem is asking for, as well as some communication problems involving language and notation.

Juares (whose native language is Portuguese) wrote to us a few weeks ago; I have cleaned up some of the translations:

The problem is:

Consider an ODE of the first order, dy/dx + t

^{2}y. It is known that y_{1}(t) and y_{2}(t) are solutions of this equation. The function y(t) = y_{1}(t) + y_{2}(t) is also a solution of this equation?( ) true ( ) false

Well, by making dy/y = -t

^{2}dx and integrating, solution becomes y = e^{-t3/3 + C1}. I understand that there is only one solution, that one. And that there is no second solution as a function of t, but with a function of C.For example y

_{1}would be y_{1}= e^{-t3/3 + C1}one solution, the other solutions stem from varying C to C_{2, 3…}And t varies in range, but which one? Infinite? I do not know more.

y

_{2}= 1/e^{t3/3 +C1}, thus y(t) =^{ }e^{-t3/3 +C1}+ 1/e^{t3/3 +C1}.And since it is ODE of the first degree, it is not possible to say that it has two solutions, only in some cases, in this no. Answer (x) False (?)

Juares correctly solved the equation, but seems to misunderstand what it means to have more than one solution. There is one *family* of solutions, in which the constant *C* can vary; all solutions therefore look similar. The question does not imply that there are two *unrelated* solutions. Probably the main problem here (whether due to language issues or unfamiliarity with the concepts) is in seeing what the question is asking.

Doctor Fenton replied, first correcting some common typing errors. We become so accustomed to calling an independent variable x that we can write that even when there is no x involved; and it is common to omit an equal sign. It was easy enough to see what was intended:

Hi Juares,

You say that this is an ODE,

Consider ODE of the first order dy/dx + t

^{2}y.but you have three variables, and this isn’t an equation, since there is no = sign. I assume that the ODE is

dy/dt + t

^{2}y = 0 ,so that

tis the independent variable, and there is noxin the equation:yis a function of the single variablet.The question was

Consider ODE of the first order dy/dx + t

^{2}y. It is known that y_{1}(t) and y_{2}(t) are solutions of this equation. The function y(t) = y_{1}(t) + y_{2}(t) is also a solution of this equation?

It isn’t necessary to solve the ODEto answer this question.Just let y(t) = y

_{1}(t) + y_{2}(t). Then what is dy/dt?By the addition property of differentiation,

dy/dt = d/dt(y

_{1}+ y_{2}) = dy_{1}/dt + dy_{2}/dt .Since y

_{1}is a solution of dy/dt + t^{2}y = 0, then dy_{1}/dt + t^{2}y_{1}= 0, or dy_{1}/dt = -t^{2}y_{1}. What do you get if you replace dy_{1}/dt by -t^{2}y_{1}in the equation above, and also do the same thing for y_{2}, since it is also a solution of the ODE?In your solution above, you say

Well, by making dy/y = -t

^{2}dx and integrating, solution becomes y = e^{-t3/3 + C1}. I understand thatthere is only one solution, that one.Actually, the formula e

^{-t3/3 + C1}representsinfinitely many solutions: each different value of C_{1}; gives a different solution to the ODE. You can also writee

^{-t^3/3 + C1}= e^{-t3/3}* e^{C1}= (e^{C1})(e^{-t3/3})and since e

^{C1}^{ }is just a constant C_{2},= C

_{2}e^{-t3/3},so that all the solutions of the DE have this same form. However, for different values of C

_{2}, they are different solutions: y_{1}= e^{-t3/3}, y_{2}= 2 e^{-t3/3}, and y_{3}= 20e^{-t3/3}, and so on, are alldifferentsolutions to the ODE. If you add two solutions, such asy

_{1}+ y_{2}= e^{-t3/3}+ 2e^{-t3/3}= 3e^{-t3/3},the sum is another function of the same form, so it is also a solution of the ODE.

To get a

uniquesolution to the ODE, you must add an additional requirement: an initial value. You specify a value t, t_{0}, and you require that y(t_{0}) = y_{0 }. That requirement determines the value of C_{2}, so that only one of the functions of the given form passes through the point specified.Does this help?

The quick answer to the question does not require solving the equation (and thus can be extended to any equation of the same type, teaching a general principle and perhaps serving as an example for a theorem); but when the actual solution is properly understood, it illustrates the general concept clearly.

What Doctor Fenton has done here is a good model for how students can use textbook exercises to deepen their understanding of a topic: Don’t stop with a quick answer to a problem, but explore what it means in detail. What Juares did bypassed the quick method, but practiced other important skills, and provided a way to illustrate the concepts.

Juares understood; he replied,

You said,

“Since y

_{1}is a solution of dy/dt + t^{2}y = 0, then dy_{1}/dt + t^{2y1}= 0, or dy_{1}/dt = -t^{2y1}. What do you get if you replace dy_{1}/dt by -t^{2y1}in the equation above, and also do the same thing for y_{2}, since it is also a solution of the ODE?”Could this be

(-t

^{2}y_{1}– t^{2 }y_{2}) + t^{2}(y_{1}+ y_{2}) = 0 ,so

0 = 0,

so it’s true?

He was right:

You are correct that all terms cancel, so (y

_{1}+ y_{2}) is also a solution of the ODE.

The sum of any two solutions of this equation is also a solution, because it still satisfies the differential equation. Next, you might want to think about what properties of the equation led to this result; when might it not work?