Recognizing Separable Differential Equations

What Makes a Differential Equation Separable?

A first-order differential equation gives the derivative \(dy/dx\) as a function of the independent variable \(x\), the dependent variable \(y\), or both. In some equations, the right-hand side can be expressed as a product in which one factor depends only on \(x\) and the other depends only on \(y\). Recognizing that structure is the first step in identifying a separable differential equation.

This lesson is about recognizing the form, not finding its solutions. The distinction matters: an expression may look like a sum or a complicated fraction at first, yet still factor into the required product after ordinary algebra.

For this definition, we will usually consider a rectangular domain \(D=X\times Y\), where \(x\in X\) and \(y\in Y\). The factors need not be unique. For example, a nonzero constant can be moved from one factor to the other without changing their product. Also, if \(H(x,y)=0\) everywhere, the equation is separable: choose \(f(x)=0\) and \(g(y)=1\).

Recognizing a Product After Rearranging

The defining form is about the whole right-hand side, not about how it was originally written. Factoring, collecting terms, and simplifying can reveal a product that was not immediately visible. A useful check is to multiply the proposed factors back out and verify that they reproduce the original expression exactly.

Notice that this classification does not require dividing by either factor. Recognition asks only whether the right-hand side has the product form. In particular, the equation above remains separable even at values where one of its factors is zero.

Why a Sum Is Not Automatically Separable

A common source of confusion is seeing \(x\) and \(y\) in the same expression and assuming the equation is separable. The presence of both variables is not enough. For instance, \(x+y\) is a sum of a function of \(x\) and a function of \(y\); it is not the product of such functions. Sometimes a sum can be factored, as in \(xy+4x=x(y+4)\), but sometimes it cannot.

For simple expressions, factoring may settle the question. For less obvious cases, a general test can determine whether any product representation is possible. It applies to the values of \(H\) on the domain, without relying on a particular way of writing the expression.

Why the Cross-Product Test Works

Here is a complete justification of the test. First suppose \(H(x,y)=f(x)g(y)\). For any selected \(x_1,x_2,y_1,y_2\), the two sides of the identity become

Multiplication of real numbers is commutative, so these products are equal. This proves the identity is necessary.

Now suppose the identity holds for all choices. If \(H\) is zero everywhere, it factors as \(0\cdot1\). Otherwise, choose \(x_0\in X\) and \(y_0\in Y\) such that \(H(x_0,y_0)\ne0\). Define

Using the assumed identity with \(x_1=x\), \(x_2=x_0\), \(y_1=y\), and \(y_2=y_0\), we obtain

Because \(H(x_0,y_0)\ne0\), division by this fixed nonzero number gives

This proves the converse and completes the justification. The test is particularly useful for showing that an expression cannot be separated: one choice of four points that violates the identity is enough.

What the Test Does—and Does Not—Say

The cross-product identity is a test of product structure on a specified domain. A function may pass the test on one domain and fail on a larger one, so it is important to be clear about the values of \(x\) and \(y\) under consideration. For the common AP examples, the intended domain is usually a region where the displayed expression is defined.

Passing the test establishes that some one-variable factors exist; it does not claim that the factors are unique. Failing the test establishes that no such factors work throughout the domain. It does not prevent an expression from having a product form on a smaller restricted region.

The test also helps distinguish a genuine product from a tempting but incorrect rearrangement. For example, the sum \(x+y\) cannot be turned into \(xy\) merely because the equation contains both variables: the expressions have different values, and the cross-product test rules out any more subtle one-variable factorization on the tested domain.

A Reliable Recognition Process

When you are given a first-order equation, focus first on its right-hand side. Use ordinary algebra to search for a product; if the expression resists clear factorization, use the cross-product identity to test whether a product representation is possible. Then verify any claimed product by expanding it. This keeps the classification separate from later steps that use the separated form.

Common Pitfall: Treating Any Sum as a Product

A frequent incorrect step is to replace a sum by a product because the equation contains both variables. For \(dy/dx=x+y\), one might incorrectly write \(x+y=xy\) and then label the equation separable. But substituting \(x=1,y=0\) gives \(x+y=1\), while \(xy=0\). The proposed equality is false.

The cross-product calculation makes the correction decisive: the values at \((0,0),(1,1),(0,1),(1,0)\) give products \(0\cdot2=0\) and \(1\cdot1=1\). Since they are unequal, no product of a function of \(x\) and a function of \(y\) can equal \(x+y\) throughout this domain. By contrast, \(xy+4x=x(y+4)\) really is a product, as expansion confirms. The key is to verify the whole expression rather than rely on its appearance.

Why Recognition Matters

Separability is a structural property that identifies which first-order equations have a product-form right-hand side. Recognizing that structure helps you choose an appropriate method later, while recognizing a failure prevents you from forcing an invalid rearrangement. At this stage, the goal is simply accurate classification: identify the factors when they exist, and justify nonseparability when they do not.