Paper 2, Section II, F

Analysis II
Part IB, 2013

Let f:URf: U \rightarrow \mathbb{R} be continuous on an open set UR2U \subset \mathbb{R}^{2}. Suppose that on UU the partial derivatives D1f,D2f,D1D2fD_{1} f, D_{2} f, D_{1} D_{2} f and D2D1fD_{2} D_{1} f exist and are continuous. Prove that D1D2f=D2D1fD_{1} D_{2} f=D_{2} D_{1} f on UU.

If ff is infinitely differentiable, and mNm \in \mathbb{N}, what is the maximum number of distinct mm-th order partial derivatives that ff may have on UU ?

Let f:R2Rf: \mathbb{R}^{2} \rightarrow \mathbb{R} be defined by

f(x,y)={x2y2x4+y4(x,y)(0,0)0(x,y)=(0,0)f(x, y)= \begin{cases}\frac{x^{2} y^{2}}{x^{4}+y^{4}} & (x, y) \neq(0,0) \\ 0 & (x, y)=(0,0)\end{cases}

Let g:R2Rg: \mathbb{R}^{2} \rightarrow \mathbb{R} be defined by

g(x,y)={xy(x4y4)x4+y4(x,y)(0,0)0(x,y)=(0,0)g(x, y)= \begin{cases}\frac{x y\left(x^{4}-y^{4}\right)}{x^{4}+y^{4}} & (x, y) \neq(0,0) \\ 0 & (x, y)=(0,0)\end{cases}

For each of ff and gg, determine whether they are (i) differentiable, (ii) infinitely differentiable at the origin. Briefly justify your answers.