Why Hold One Input Fixed?
A function of two variables assigns an output to each input pair. To measure how the output changes as one input varies, we must keep the other input unchanged. This isolates the effect of a single coordinate and turns the calculation into a familiar one-variable difference quotient.
For example, when studying how \(f(x,y)\) changes with \(x\) near \((a,b)\), we compare \(f(a+h,b)\) with \(f(a,b)\). The first input has changed by \(h\); the second remains \(b\). Dividing the output change by \(h\) gives an average rate of change along that fixed-\(y\) slice. Taking the limit as \(h\) approaches zero gives the rate at the point, if that limit exists.
Definition by a Difference Quotient
Let \(f\) be a function defined on an open set \(D\) in \(\mathbb{R}^2\), and let \((a,b)\) be a point in \(D\). Because \(D\) is open, sufficiently small positive and negative changes in either coordinate remain in the domain. The partial derivative with respect to \(x\) is defined by changing \(x\) while holding \(y=b\) fixed.
In the first quotient, only the \(x\)-coordinate changes. In the second, only the \(y\)-coordinate changes. The same increment symbol \(h\) is used in both definitions, but each limit is calculated separately. A partial derivative exists only if its own quotient has a finite two-sided limit; the existence of one partial derivative does not by itself guarantee the existence of the other.
The open-domain condition ensures that both signs of a sufficiently small increment are allowed. At a boundary point, a one-sided limit might be available, but that is not the two-sided partial derivative defined here unless the function is defined on an open neighborhood of the point.
Why This Is an Ordinary Derivative on a Slice
The definition is a direct application of the ordinary one-variable derivative. To see why, fix \(y=b\) and define a one-variable function \(g(t)=f(t,b)\) for values of \(t\) near \(a\). Its derivative at \(a\), by the ordinary difference-quotient definition, is
Substituting \(g(a+h)=f(a+h,b)\) and \(g(a)=f(a,b)\) gives exactly the definition of \(f_x(a,b)\). Thus, whenever the limit exists, \(f_x(a,b)=g'(a)\). For the \(y\)-partial derivative, fix \(x=a\), define \(q(t)=f(a,t)\), and apply the same one-variable definition at \(t=b\). This explains why the method works: a partial derivative is an ordinary derivative of the function restricted to a coordinate-parallel slice.
Each quotient first measures a change over a nonzero increment. The limit then asks whether those average rates approach one finite value as the increment shrinks to zero. It is important to simplify the quotient before setting \(h\) to zero: the quotient itself is undefined at \(h=0\), even when its limit exists.
Computing Both Partials Directly
Worked Example: A Polynomial at a Point
Find both first partial derivatives of \(f(x,y)=x^2+xy+y^2\) at \((1,2)\), using the defining limits.
First calculate the function value:
For the \(x\)-partial, hold \(y=2\) fixed:
For the \(y\)-partial, hold \(x=1\) fixed:
As a check, the simplified \(x\)-quotient \(4+h\) approaches \(4\), and the simplified \(y\)-quotient \(5+h\) approaches \(5\). The two rates differ because they describe changes along different coordinate directions.
Keeping the Other Input Fixed
The fixed input may appear as a constant in the calculation, but it still affects the output change. In the next example, the \(x\)-quotient is calculated with \(y=-1\) throughout, while the \(y\)-quotient uses \(x=2\) throughout.
Worked Example: A Product with a Linear Term
For \(f(x,y)=x^2y+3y\), find \(f_x(2,-1)\) and \(f_y(2,-1)\) directly from the limits.
The value at the point is
To find the \(x\)-partial, keep \(y=-1\):
To find the \(y\)-partial, keep \(x=2\):
Check the simplified quotients: \(-4-h\) approaches \(-4\), and \(7\) remains \(7\) for every nonzero \(h\). Thus the two partial derivatives at the point are \(-4\) and \(7\), respectively.
When the Limit Does Not Exist
A difference quotient need not approach a single finite number. The next example shows why a two-sided limit matters: the quotient approaches different values from the two sides, so the partial derivative in that coordinate does not exist.
Worked Example: A Partial Derivative That Fails to Exist
Let \(f(x,y)=|x|+2y\). Examine both partial derivatives at \((0,3)\). First,
For the \(x\)-partial, keep \(y=3\):
When \(h>0\), \(|h|/h=1\), so the right-hand limit is \(1\). When \(h<0\), \(|h|/h=-1\), so the left-hand limit is \(-1\). Since the one-sided limits differ, the two-sided limit does not exist. Therefore \(f_x(0,3)\) does not exist.
For the \(y\)-partial, keep \(x=0\):
The check is explicit: the \(y\)-quotient equals \(2\) for every nonzero \(h\), while the \(x\)-quotient has unequal one-sided limits. One partial exists and the other does not.
Common Mistake: Changing Both Inputs
A partial derivative measures a change in one coordinate, not a change along an arbitrary path. If both inputs are changed in the quotient, the result generally measures a different rate and cannot be substituted for either partial derivative.
A Reliable Procedure
When evaluating a partial derivative directly from its definition, write the fixed coordinate into the function arguments at every step. Then simplify the numerator, factor or cancel the increment where possible, and only then take the limit.
For an \(x\)-partial, change \(a\) to \(a+h\) and leave \(b\) unchanged; reverse these roles for a \(y\)-partial.
Subtract the original function value from the perturbed value, then divide by \(h\).
Use algebra to remove any factor of \(h\), while remembering that \(h\ne0\) inside the quotient.
A partial derivative exists only when both sides approach the same finite value.
This direct method is useful even when later techniques make some derivative calculations shorter. The limit definition clarifies exactly what is being measured, which input is fixed, and what must be true for the derivative to exist.
Check Your Understanding
For each question, begin from the difference-quotient definition rather than a differentiation shortcut.
- For \(f(x,y)=x^2+y\), write the difference quotient whose limit defines \(f_x(1,2)\). Which input is held fixed?
- For \(g(x,y)=xy\), compute \(g_y(2,3)\) directly from the limit.
- Why must the quotient be simplified before setting \(h=0\)?
- For \(p(x,y)=|y|\), does \(p_y(1,0)\) exist? Compare the limits for positive and negative \(h\).
- In the quotient for \(f_x(a,b)\), what changes if the second input is changed from \(b\) to \(b+h\) as well?