The math optional, made finite.

← 2025 Paper 1

UPSC Maths 2025 Paper 1 Q4b — Solution

15 marks · Section A

Question

If f(x,y)={xyx2y2x2+y2,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} then find fxy(0,0)f_{xy}(0, 0) and fyx(0,0)f_{yx}(0, 0).

Technique

Compute the mixed second-order partials at the origin from the limit definition, working through the first-order partials fx(0,y)f_x(0,y) and fy(x,0)f_y(x,0). This is the classic example where fxy(0,0)fyx(0,0)f_{xy}(0,0)\neq f_{yx}(0,0), because the mixed partials are not continuous at the origin and Clairaut’s theorem fails.

Solution

Step 1 — fx(0,y)f_x(0,y) for arbitrary yy.

By definition, fx(0,y)=limh0f(h,y)f(0,y)h.f_x(0,y)=\lim_{h\to0}\frac{f(h,y)-f(0,y)}{h}. For (h,y)(0,0)(h,y)\neq(0,0), f(h,y)=hyh2y2h2+y2f(h,y)=hy\dfrac{h^2-y^2}{h^2+y^2}, and f(0,y)=0f(0,y)=0. Thus fx(0,y)=limh0hyh2y2h2+y2h=limh0yh2y2h2+y2=yy2y2=y(y0),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), and fx(0,0)=0f_x(0,0)=0. So fx(0,y)=yf_x(0,y)=-y for all yy (the value at y=0y=0 also fits).

Step 2 — fy(x,0)f_y(x,0) for arbitrary xx.

Similarly, fy(x,0)=limk0f(x,k)f(x,0)k=limk0xkx2k2x2+k2k=limk0xx2k2x2+k2=xx2x2=x(x0),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), and fy(0,0)=0f_y(0,0)=0. So fy(x,0)=xf_y(x,0)=x for all xx.

Step 3 — Mixed partials at the origin.

fxy(0,0)=y[fx(0,y)]y=0=limk0fx(0,k)fx(0,0)k=limk0k0k=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. fyx(0,0)=x[fy(x,0)]x=0=limh0fy(h,0)fy(0,0)h=limh0h0h=+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.

Since fxy(0,0)=11=fyx(0,0)f_{xy}(0,0)=-1\neq1=f_{yx}(0,0), the order of differentiation matters here (the mixed partials are discontinuous at the origin, so Clairaut’s theorem does not apply).

Answer

  fxy(0,0)=1,fyx(0,0)=+1.  \boxed{\;f_{xy}(0,0)=-1,\qquad f_{yx}(0,0)=+1.\;}

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.