Multivariable calculus
Partial Derivatives of x e^y + y e^x
For f(x, y) = x e^y + y e^x, the partial with respect to x is e^y + y e^x and the partial with respect to y is x e^y + e^x. In each term one factor is a frozen constant and the other is differentiated, and swapping x and y swaps the two answers.
Take the sum one term at a time
Differentiate term by term and, inside each term, ask which factor actually contains the moving variable. For : in the factor is a constant, so the term differentiates to ; in the factor is a constant, so the term differentiates to .
Now move instead. In the constant is , leaving ; in the constant is , leaving .
At the slopes are in and in .
The mistake: a product rule with nothing to differentiate
- Writing runs the product rule on a factor that does not depend on . The derivative of with respect to is , so only the first term survives.
- Writing drops the constant multiplier .
- Reporting as the partial, which is really the mixed second partial .
Symmetry gives a free check. Because , the partial must be the partial with the letters exchanged. Compare with : swap and in either and you get the other.
The one critical point
Set both partials to zero: and . Multiply the first by and subtract the second. The terms cancel and what is left factors.
Since is never zero, every critical point lies on the hyperbola . Put into the second equation and it becomes , which needs because is positive. That left side has derivative , and for the bracket exceeds , so the derivative is positive and the left side is strictly increasing. It can cross zero at most once, and it does cross at . So is the only critical point, and the value there is .
The second derivatives there are , , and , so the discriminant is negative.
A negative discriminant means is a saddle point, so this surface has no local maximum or minimum anywhere.
Frequently asked questions
Why do the two partials look like mirror images?
Because the function is symmetric: swapping x and y gives back the same expression. So the partial in y is the partial in x with the letters exchanged, which is a quick way to check your work.
Does x e^y + y e^x have a critical point?
Yes, one, at (-1, -1), where both partials vanish and the value is -2/e, about -0.736. The discriminant there is about -0.406, so it is a saddle point, not a maximum or a minimum.