Multivariable calculus
Gradient of x^2/(y^2+1): When to Skip Quotient Rule
For f(x, y) = x^2/(y^2 + 1) the x-component of the gradient is 2x/(y^2 + 1) and the y-component is -2x^2 y divided by (y^2 + 1) squared. At (2, 1) the gradient is (2, -2). The denominator holds no x, so the x partial needs no quotient rule at all.
Split the function before you differentiate
Read the function as , a product of one factor in and one factor in . Each partial then has exactly one live factor.
With frozen, is a constant multiplier and only moves.
With frozen, is the constant multiplier and the power rule handles .
At : the first component is and the second is , so .
The mistake: forcing the quotient rule on both components
Applied honestly to , the quotient rule gives . The second term is zero because the denominator has no , and cancelling one factor of returns . Correct, but three extra chances to slip.
Where it goes wrong is when students carry over a from the other partial and write . The derivative of the denominator with respect to is zero, not .
- If the denominator does not contain your variable, the whole fraction is a constant multiplier.
- Reserve the quotient rule for the component where both top and bottom actually move.
- Check by slicing: has derivative , and at gives as well.
A trough floor along the y-axis and a ridge along the x-axis
Both components vanish together only when , since forces and then the second component is zero automatically. So the entire -axis is a line of critical points, all with .
None of them is a strict minimum in the usual isolated sense, but each is a minimum in value, because everywhere. The surface is a trough whose floor runs along the -axis.
The signs read cleanly. The -component has the sign of , so the surface climbs away from the axis in both directions. The -component has the sign opposite to whenever , so moving toward always gains height. The ridge line sits along the -axis, where is as large as it gets for a given .
Frequently asked questions
Is the gradient of x^2/(y^2+1) defined everywhere?
Yes. The denominator is at least for every real , so neither it nor its square can vanish. Both partials are rational functions with nonvanishing denominators, and is smooth on the whole plane.
In which direction does f decrease fastest at (2, 1)?
Along , or as a unit vector . The rate of decrease in that direction is .