← 2025 Paper 1
UPSC 2025 Maths Optional Paper 1 Q4b — Step-by-Step Solution 15 marks · Section A
Partial derivatives · Calculus · asked 8× in 13 yrs · Read the full method →
Question
If
f ( x , y ) = { x y x 2 − y 2 x 2 + y 2 , when ( x , y ) ≠ ( 0 , 0 ) 0 , when ( x , y ) = ( 0 , 0 ) , f(x, y) = \begin{cases} xy\dfrac{x^2 - y^2}{x^2 + y^2}, & \text{when } (x, y) \neq (0, 0) \\ 0, & \text{when } (x, y) = (0, 0), \end{cases} f ( x , y ) = ⎩ ⎨ ⎧ x y x 2 + y 2 x 2 − y 2 , 0 , when ( x , y ) = ( 0 , 0 ) when ( x , y ) = ( 0 , 0 ) ,
then find f x y ( 0 , 0 ) f_{xy}(0, 0) f x y ( 0 , 0 ) and f y x ( 0 , 0 ) f_{yx}(0, 0) f y x ( 0 , 0 ) .
Technique
Compute the mixed second-order partials at the origin from the limit definition , working through the first-order partials f x ( 0 , y ) f_x(0,y) f x ( 0 , y ) and f y ( x , 0 ) f_y(x,0) f y ( x , 0 ) . This is the classic example where f x y ( 0 , 0 ) ≠ f y x ( 0 , 0 ) f_{xy}(0,0)\neq f_{yx}(0,0) f x y ( 0 , 0 ) = f y x ( 0 , 0 ) , because the mixed partials are not continuous at the origin and Clairaut’s theorem fails.
Solution
Step 1 — f x ( 0 , y ) f_x(0,y) f x ( 0 , y ) for arbitrary y y y .
By definition,
f x ( 0 , y ) = lim h → 0 f ( h , y ) − f ( 0 , y ) h . f_x(0,y)=\lim_{h\to0}\frac{f(h,y)-f(0,y)}{h}. f x ( 0 , y ) = h → 0 lim h f ( h , y ) − f ( 0 , y ) .
For ( h , y ) ≠ ( 0 , 0 ) (h,y)\neq(0,0) ( h , y ) = ( 0 , 0 ) , f ( h , y ) = h y h 2 − y 2 h 2 + y 2 f(h,y)=hy\dfrac{h^2-y^2}{h^2+y^2} f ( h , y ) = h y h 2 + y 2 h 2 − y 2 , and f ( 0 , y ) = 0 f(0,y)=0 f ( 0 , y ) = 0 . Thus
f x ( 0 , y ) = lim h → 0 h y h 2 − y 2 h 2 + y 2 h = lim h → 0 y h 2 − y 2 h 2 + y 2 = y ⋅ − y 2 y 2 = − y ( y ≠ 0 ) , f_x(0,y)=\lim_{h\to0}\frac{hy\frac{h^2-y^2}{h^2+y^2}}{h}=\lim_{h\to0}y\,\frac{h^2-y^2}{h^2+y^2}=y\cdot\frac{-y^2}{y^2}=-y\quad(y\neq0), f x ( 0 , y ) = h → 0 lim h h y h 2 + y 2 h 2 − y 2 = h → 0 lim y h 2 + y 2 h 2 − y 2 = y ⋅ y 2 − y 2 = − y ( y = 0 ) ,
and f x ( 0 , 0 ) = 0 f_x(0,0)=0 f x ( 0 , 0 ) = 0 . So f x ( 0 , y ) = − y f_x(0,y)=-y f x ( 0 , y ) = − y for all y y y (the value at y = 0 y=0 y = 0 also fits).
Step 2 — f y ( x , 0 ) f_y(x,0) f y ( x , 0 ) for arbitrary x x x .
Similarly,
f y ( x , 0 ) = lim k → 0 f ( x , k ) − f ( x , 0 ) k = lim k → 0 x k x 2 − k 2 x 2 + k 2 k = lim k → 0 x x 2 − k 2 x 2 + k 2 = x ⋅ x 2 x 2 = x ( x ≠ 0 ) , f_y(x,0)=\lim_{k\to0}\frac{f(x,k)-f(x,0)}{k}=\lim_{k\to0}\frac{xk\frac{x^2-k^2}{x^2+k^2}}{k}=\lim_{k\to0}x\,\frac{x^2-k^2}{x^2+k^2}=x\cdot\frac{x^2}{x^2}=x\quad(x\neq0), f y ( x , 0 ) = k → 0 lim k f ( x , k ) − f ( x , 0 ) = k → 0 lim k x k x 2 + k 2 x 2 − k 2 = k → 0 lim x x 2 + k 2 x 2 − k 2 = x ⋅ x 2 x 2 = x ( x = 0 ) ,
and f y ( 0 , 0 ) = 0 f_y(0,0)=0 f y ( 0 , 0 ) = 0 . So f y ( x , 0 ) = x f_y(x,0)=x f y ( x , 0 ) = x for all x x x .
Step 3 — Mixed partials at the origin.
f x y ( 0 , 0 ) = ∂ ∂ y [ f x ( 0 , y ) ] y = 0 = lim k → 0 f x ( 0 , k ) − f x ( 0 , 0 ) k = lim k → 0 − k − 0 k = − 1. f_{xy}(0,0)=\frac{\partial}{\partial y}\Big[f_x(0,y)\Big]_{y=0}=\lim_{k\to0}\frac{f_x(0,k)-f_x(0,0)}{k}=\lim_{k\to0}\frac{-k-0}{k}=-1. f x y ( 0 , 0 ) = ∂ y ∂ [ f x ( 0 , y ) ] y = 0 = k → 0 lim k f x ( 0 , k ) − f x ( 0 , 0 ) = k → 0 lim k − k − 0 = − 1.
f y x ( 0 , 0 ) = ∂ ∂ x [ f y ( x , 0 ) ] x = 0 = lim h → 0 f y ( h , 0 ) − f y ( 0 , 0 ) h = lim h → 0 h − 0 h = + 1. f_{yx}(0,0)=\frac{\partial}{\partial x}\Big[f_y(x,0)\Big]_{x=0}=\lim_{h\to0}\frac{f_y(h,0)-f_y(0,0)}{h}=\lim_{h\to0}\frac{h-0}{h}=+1. f y x ( 0 , 0 ) = ∂ x ∂ [ f y ( x , 0 ) ] x = 0 = h → 0 lim h f y ( h , 0 ) − f y ( 0 , 0 ) = h → 0 lim h h − 0 = + 1.
Since f x y ( 0 , 0 ) = − 1 ≠ 1 = f y x ( 0 , 0 ) f_{xy}(0,0)=-1\neq1=f_{yx}(0,0) f x y ( 0 , 0 ) = − 1 = 1 = f y x ( 0 , 0 ) , the order of differentiation matters here (the mixed partials are discontinuous at the origin, so Clairaut’s theorem does not apply).
Answer
f x y ( 0 , 0 ) = − 1 , f y x ( 0 , 0 ) = + 1. \boxed{\;f_{xy}(0,0)=-1,\qquad f_{yx}(0,0)=+1.\;} f x y ( 0 , 0 ) = − 1 , f y x ( 0 , 0 ) = + 1.