When a Direction Field Has Missing Slopes
A direction field represents a differential equation by drawing a short line segment at each point where the equation prescribes a slope. But not every formula prescribes a slope everywhere in the plane. A denominator can vanish, a logarithm can have an inadmissible input, or a square root can fail to be real. At such points, the direction field has a genuine gap: the equation supplies no slope there.
These gaps matter because solution curves must obey the differential equation at every point of their domain. A curve may approach a gap, but it cannot be a classical solution at a point where the equation itself is undefined. The equation \(y' = 1/y\) makes this restriction especially visible: the entire line \(y=0\) is excluded, and solution curves can approach that line only at the edge of their domains.
The Domain of a Differential Equation
For an explicit first-order differential equation \(y'=f(x,y)\), the formula \(f\) assigns a slope to points in its domain, denoted \(D\), which is a subset of the \(xy\)-plane. A classical solution on an interval \(I\) is a differentiable function \(y:I\to\mathbb R\) such that, for every \(x\in I\), the point \((x,y(x))\) lies in \(D\) and \(y'(x)=f(x,y(x))\).
This definition is about the equation as written, not about how large or small a slope happens to be. A slope of zero is defined; a steep finite slope is also defined. An undefined value is different: at that point the equation does not specify any slope at all.
To find singularities, inspect the formula for \(f\) and identify where its operations are not defined over the real numbers. For example, a denominator cannot be zero. A real square root requires a nonnegative input, and a real logarithm requires a positive input. Once the excluded points or curves are located, the direction field should be read separately on the remaining parts of the plane.
Worked Example: The Singular Line for \(y'=1/y\)
Worked Example: The Singular Line for \(y'=1/y\)
For \(y'=1/y\), the right-hand side is \(f(x,y)=1/y\). Find its domain and compare the slopes at \((2,1)\), \((2,-2)\), and \((2,0)\).
The denominator is \(y\), so the formula is defined exactly when \(y\ne 0\). Thus its domain is \(D=\{(x,y)\in\mathbb R^2:y\ne0\}\), and the singular set is the entire horizontal line \(y=0\).
At \((2,1)\), the prescribed slope is \(1/1=1\). At \((2,-2)\), it is \(1/(-2)=-1/2\). At \((2,0)\), the expression is \(1/0\), which is undefined. There is no direction segment at that point.
Check: the first two points have nonzero \(y\)-coordinates, so substitution produces finite slopes; the third has \(y=0\), so it lies exactly on the excluded line. The singularity is the line \(y=0\), not the vertical line \(x=2\).
What an Undefined Slope Implies for a Solution
The definition of a classical solution gives an immediate restriction. If \(f\) is undefined at \((x_0,y_0)\), no classical solution of \(y'=f(x,y)\) can satisfy \(y(x_0)=y_0\). Indeed, the solution condition requires both that \(f(x_0,y(x_0))\) be defined and that it equal \(y'(x_0)\). If the expression on the right is undefined, that equality cannot hold.
In particular, for \(y'=1/y\), a solution cannot take the value \(0\). It follows that a solution defined on an interval must remain entirely above or entirely below the line \(y=0\). To see why it cannot switch sides while remaining a solution, suppose it were positive at one point and negative at another. A differentiable function is continuous, so the intermediate value theorem would force it to equal zero at a point between them. That would put a point of the solution on the singular line, which is impossible.
Worked Example: The Barrier in \(y'=1/y\)
Worked Example: The Barrier in \(y'=1/y\)
Suppose \(y(x)\) is a classical solution of \(y'=1/y\) on an interval. Determine a relation that constrains its graph, and identify what that relation says about approaching \(y=0\).
Because the equation is defined only for \(y\ne0\), the solution has \(y(x)\ne0\) throughout its interval. Apply the chain rule to \(y(x)^2\):
Therefore the derivative of \(y(x)^2-2x\) is zero. By the mean value theorem, a differentiable function with zero derivative on an interval is constant there. Hence, for some constant \(C\),
Write \(a=-C/2\). Then the relation becomes \(y(x)^2=2(x-a)\). It requires \(x\ge a\), and at \(x=a\) it would give \(y=0\), which is not permitted for a solution of the original equation. On the part with \(x>a\), the two possible branches are \(y=\sqrt{2(x-a)}\) and \(y=-\sqrt{2(x-a)}\).
Check each branch by differentiation. For the positive branch, \(y'=1/\sqrt{2(x-a)}=1/y\). For the negative branch, \(y'=-1/\sqrt{2(x-a)}=1/y\), since \(y=-\sqrt{2(x-a)}\). Both satisfy the equation for \(x>a\), and neither includes the point \(x=a\). As \(x\) approaches \(a\) from above, each branch approaches \(0\), but the equation is undefined at the limiting point.
This derivation explains the barrier without treating the singular line as a place where the slope is merely “very large.” The slopes do grow in magnitude as nonzero \(y\)-values approach zero, but at \(y=0\) there is no slope value. The branches have a vertical tangent in their limiting geometric shape at \((a,0)\), but that limiting shape does not make the endpoint a solution point.
Singular Curves Can Also Be Vertical
A denominator may depend on \(x\), so the singular set need not be horizontal. For \(y'=1/(x^2-4)\), the right-hand side is undefined when \(x^2-4=0\), that is, when \(x=2\) or \(x=-2\). These are vertical lines in the plane. A classical solution on an interval cannot include either \(x=-2\) or \(x=2\), because the equation is undefined there regardless of the value of \(y\).
Worked Example: Vertical Singular Lines
For \(y'=1/(x^2-4)\), locate the singular set and evaluate the slope at \((0,1)\), \((1,1)\), and \((2,1)\).
Factor the denominator: \(x^2-4=(x-2)(x+2)\). It vanishes when \(x=2\) or \(x=-2\), so the singular set is the union of the two vertical lines \(x=2\) and \(x=-2\).
At \((0,1)\), the slope is \(1/(0^2-4)=1/(-4)=-1/4\). At \((1,1)\), it is \(1/(1^2-4)=1/(-3)=-1/3\). At \((2,1)\), it is \(1/(2^2-4)=1/0\), which is undefined.
Check: neither \(x=0\) nor \(x=1\) makes the denominator zero, so each gives a finite slope. The point with \(x=2\) lies on a singular line, so no slope is prescribed there. In particular, a solution on an interval containing \(x=2\) cannot satisfy this equation throughout that interval.
Do Not Treat Cancellation as Permission to Fill a Gap
Algebraic simplification can make a formula look defined at a point that was excluded from the original expression. The domain must still be checked against the equation that was given. Cancellation gives an equivalent expression only where the cancelled factor is nonzero; it does not, by itself, change the original domain.
Worked Example: A Removable Algebraic Gap
Consider \(y'=(y^2-1)/(y-1)\). Locate the singular line and compare the original expression with its simplified form.
Factor the numerator: \(y^2-1=(y-1)(y+1)\). For \(y\ne1\), cancellation gives
The original formula has denominator zero when \(y=1\), so its singular set is the line \(y=1\). At the point \((0,2)\), the original slope is \((2^2-1)/(2-1)=3/1=3\), matching \(y+1=3\). At \((0,1)\), the original expression is \((1^2-1)/(1-1)=0/0\), which is undefined, although the simplified expression \(y+1\) would give \(2\).
Check: cancellation is valid at \(y=2\), because \(2-1\ne0\), and the two calculations agree. It is not valid at \(y=1\), where the cancelled factor is zero. Thus the original equation still excludes \(y=1\); assigning slope \(2\) there would define a different, extended equation.
Common Pitfall: An Undefined Slope Is Not an Infinite Slope
A frequent error is to treat division by zero as though it produced a vertical direction. For example, one might write \(1/0=\infty\), then conclude that the direction field for \(y'=1/y\) contains a vertical segment at every point of \(y=0\). This is not correct: \(1/0\) is undefined, not a real slope, and the original equation provides no direction segment there.
There is a real geometric idea behind the mistake: slopes \(1/y\) become arbitrarily large in magnitude as \(y\) approaches zero through nonzero values. But each such slope is attached to a point with \(y\ne0\). No finite point on the line \(y=0\) receives a slope from this equation. A limiting direction, when it exists geometrically, is not a value of the right-hand side at the singular point.
A Practical Way to Read Singularities
Check denominators and any other operations that restrict the real-valued domain of \(f(x,y)\).
These form the singular set, where the direction field has no prescribed slopes.
Compare slopes only at points where the right-hand side is defined; do not replace a missing slope with zero or infinity.
A classical solution must stay in the domain of the equation at every point of its interval. It may approach a singular set at an endpoint, but it cannot include a point where the equation is undefined.
These steps help distinguish a gap in the field from a part of the field where slopes happen to be horizontal or steep. They also clarify what a “barrier” means here: it is a restriction imposed by the domain of the differential equation. A curve that approaches a singularity may have a limiting geometric continuation, but that continuation is not automatically a solution of the equation at the excluded point.
Check Your Understanding
Use the domain of each equation to decide where the field is missing and what that implies for a classical solution.
- For \(y'=1/(y+3)\), identify the singular set and state which values of \(y\) a solution cannot take.
- For \(y'=\sqrt{x-y}\), what condition on \(x\) and \(y\) makes the right-hand side real? Where is it undefined over the real numbers?
- Why is a slope of zero different from an undefined slope in a direction field?
- For \(y'=1/y\), why can a solution not be positive at one point and negative at another point in the same interval?
- For \(y'=(y-2)/(y-2)\), does the original formula define a slope at \(y=2\)? Explain why simplifying it does not settle the domain question.
