Multivariable calculus
Partial Derivatives of xy e^(-x^2 - y^2)
For f(x,y) = xy e^(-x^2 - y^2), the partial with respect to x is y(1 - 2x^2)e^(-x^2 - y^2) and the partial with respect to y is x(1 - 2y^2)e^(-x^2 - y^2). Both need the product rule, since each variable appears once in the polynomial factor and again inside the exponent.
Product rule with a Gaussian factor
Each variable appears twice: once in the polynomial factor and once in the exponent. So both partials need the product rule, and in each case the exponential contributes its own chain rule factor.
Differentiating in , treat as a constant. The polynomial part contributes , and the exponential contributes times itself.
The exponential is common to both terms, so factor it out along with the . What is left inside the bracket is the informative part.
The function is symmetric in and , so the -partial is the same expression with the letters swapped.
The mistake: dropping a term or a sign in the exponent
Two errors are worth naming. The first is writing the -partial as , which keeps only the second product rule term. The second is losing the minus sign on the chain rule factor and getting inside the bracket, which never vanishes and so destroys the critical point structure.
- The exponent is , so its -derivative is and its -derivative is .
- The bracket is zero at , which is the -coordinate of the four peaks and valleys, not a peak on its own.
- The exponential factor is positive everywhere, so it never creates a zero of its own.
Setting both partials to zero gives and . The solutions are the origin, which is a saddle, and the four points where and are each , which are the two peaks and two valleys of this classic bump surface.
A worked evaluation
At the exponent is , and the bracket for both partials.
Both components are about . The point sits outside the peak at , so moving further out in either direction sends you downhill, which is exactly what the negative signs say.
Frequently asked questions
Why does the exponential appear in both terms of the product rule?
Because it is a factor of the original function and also the derivative of itself up to a constant. Differentiating leaves the exponential untouched, and differentiating the exponential leaves untouched, so every term carries . That is why factoring it out is always the right next step.
How do I know the origin is a saddle rather than a peak?
Look at the function along two lines through the origin. On the line the function is , which is positive on both sides. On the line it is , which is negative on both sides. Rising in one direction and falling in another is precisely a saddle.