Multivariable calculus
Gradient of 1/(x^2+y^2+1): A Radial Bump Surface
For f(x, y) = 1/(x^2 + y^2 + 1) the gradient is (-2x, -2y) divided by (x^2 + y^2 + 1) squared. At (1, 1) it equals (-2/9, -2/9). Every gradient vector points back toward the origin, because the origin is the single peak of this bump-shaped surface.
Rewrite as a power, then use the chain rule
The quotient rule works here, but it is slower than it needs to be, because the numerator is the constant . Write and instead.
The inner function is symmetric in the two variables, so the partial has the identical shape with in place of .
At the denominator equals , so and .
The mistake: losing the minus sign or the squared denominator
Two errors dominate. The first is writing with no minus sign, forgetting that the power rule on brings down . The second is writing , leaving the denominator unsquared.
Both fail a quick reality check. The surface is a hill with its top at the origin, so heading away from the origin must lower the height, which forces the gradient to point inward and the components to carry the opposite sign to and .
- , so the exponent goes from to and the sign flips.
- Slice at : has derivative , which matches the formula.
- The denominator is never zero, so the gradient is defined at every point of the plane.
A bump with one peak, and gradients that all aim at it
The gradient is the negative multiple of the position vector , so it points from the point straight back toward the origin. Since steepest ascent means uphill, every point other than the origin is looking uphill at the origin. At the origin itself the gradient is the zero vector, because you are already standing on the summit.
Setting both components to zero gives and , so the origin is the only critical point, and is the global maximum. Far from the origin, decays to zero like and the surface flattens out.
The magnitude tells you where the hillside is steepest. In polar form, with ,
This is zero at the summit, rises to a maximum on the circle , and then decays. The steepest part of the hill is a ring partway down, which is what a rounded bump looks like in cross section.
Frequently asked questions
Is the gradient of 1/(x^2+y^2+1) ever undefined?
No. The denominator is at least everywhere, so it never vanishes and neither does its square. Both partials are defined and continuous on the whole plane, which makes differentiable everywhere.
What are the level curves of this surface?
Circles centred at the origin. Setting gives , so for you get a circle whose radius grows as shrinks. The value is the exception: the radius collapses to zero and the level set is the single peak point at the origin. The radial gradient crosses every one of those circles at a right angle.