Multivariable calculus
Partial Derivatives of e^x/(1 + e^y)
For f(x, y) = e^x/(1 + e^y), the partial with respect to x is e^x/(1 + e^y), the function itself, and the partial with respect to y is -e^x e^y/(1 + e^y)^2. Only the denominator depends on y, so the x partial needs no quotient rule at all.
Only one variable sits in the denominator
The variable appears only in the numerator, so when moves the denominator is a fixed number and you divide its derivative straight through. No quotient rule is needed.
For , rewrite the function as and use the power rule with the chain rule. The outside gives and the inside gives .
At the origin the height is , the slope is , and the slope is .
The mistake: quotient rule where there is nothing to differentiate
- Running the full quotient rule for the partial adds a term containing . That derivative is , so the extra term is not wrong so much as wasted, and it is where sign errors creep in.
- Writing for the partial forgets the inside derivative from the chain rule.
- Writing loses the minus sign that the power produces.
The sign is checkable without any algebra. Raising makes the denominator larger and the fraction smaller, so must be negative at every point. The correct formula is a negative number over a positive square, so it is.
A logistic curve in disguise
The factor is , where is the logistic function, so this surface is an exponential in scaled by a logistic decay in . Its derivative is minus times the logistic derivative .
Because peaks at and decays in both directions, the surface is most sensitive to near the -axis and nearly flat in far from it, while it keeps growing without bound in . The function is positive everywhere and has no critical points.
Frequently asked questions
Why does the x partial equal the function itself?
Because x appears only in the factor e^x, which is its own derivative, and the denominator 1 + e^y is a constant while x moves, so the whole expression comes back unchanged.
Can the denominator ever be zero?
No. Since e^y is always positive, 1 + e^y is greater than 1, so the function and both partial derivatives are defined at every point of the plane.