# Dividing both sides by $y(x)$ when solving separable differential equations

Consider, for example, the differential equation

$$\frac{dy(x)}{dx} = y(x)$$

This is generally solved as follows

$$\frac{dy(x)}{dx} = y(x) \Longleftrightarrow \frac{1}{y(x)} \frac{dy(x)}{dx}= 1 \Longleftrightarrow \int \left( \frac{1}{y(x)} \frac{dy(x)}{dx}\right) dx = \int dx \Longleftrightarrow \log|y(x)| = x+C_1 \Longleftrightarrow y(x) = C_2\exp(x)$$

In the first step, why are we allowed to divide both sides by $y(x)$? We are making the a priori assumption that $y(x) \neq 0$ for all $x$. In other words, the above argument holds only if we assume that $y(x)$ vanishes nowhere. What if there are solutions where $y(c) = 0$ for some $c$? In fact, what if there are solutions where $y(c) = 0$ and $y$ is not the zero function?

Of course, there are other ways to prove that $C\exp(x)$ uniquely satisfies the equation, but this was merely an example:

Why are we allowed to do this in general when solving separable ODEs?

• In this particular case, two solutions cannot intersect, so it cannot cross the $x$-axis. – alphacapture May 15 '16 at 0:52
• Check this out: math.washington.edu/~aloveles/Math307Spring2016/… – KR136 May 15 '16 at 0:54
• – alphacapture May 15 '16 at 0:58
• @alphacapture Hmm, that's a similar question and it does entirely address the particular example I give. But one question: what if there are no stationary solutions? – MathematicsStudent1122 May 15 '16 at 1:11
• @MathematicsStudent1122 I can't think of a separable differential equation where y=0 is not a stationary solution where I would want to divide by y; perhaps an example would help? – alphacapture May 15 '16 at 1:50

## 2 Answers

I'm not quite answering your question. I find it distasteful to divide a differential equation by something you don't know whether it will be zero at any point. Only when you are solving this sort of equations in an elementary course, I will not have a quarrel with you regarding the issue of division by zero. What I would teach my students is, for example, rewriting $\frac{\text{d}}{\text{d}x}\,y(x)=y(x)$ as $\frac{\text{d}}{\text{d}x}\,\big(\exp(-x)\,y(x)\big)=0$, from which it is evident that $y(x)=C\,\exp(x)$ for some constant $C$ (assuming that your domain is a connected subset of $\mathbb{R}$ with nonempty interior). I remember, but I may be wrong, that division by zero can cause problems such as removing a solution from a differential equation. Maybe some expert in this subject can give such an example.

Many elementary methods for solving differential equations are more accurately viewed as formal manipulations for generating good guesses about solutions of DEs. Once you have a guess, it is usually quite straightforward to verify if it is a solution by substituting back into the DE.

When there are general theorems justifying certain manipulations, they are essentially just automating the "verification" step: the theorem takes care of performing it. And so it is in this case... in particular, such a manipulation will not directly prove any sort of uniqueness theorem for the DE. Uniqueness is usually proven separately by appealing to a more general theorem. If this can be arranged, then once you find a single good guess, you know that is the unique solution to the problem - which is closer to the lines of what is going on here.

If you want to dig deeper into this type of approach to solving DEs, you may be interested in looking at the proof of Gronwall's Inequality.