3.II.13F

Analysis II | Part IB, 2008

Let f:R2→Rf: \mathbb{R}^{2} \rightarrow \mathbb{R} be a function, and (x0,y0)\left(x_{0}, y_{0}\right) a point of R2\mathbb{R}^{2}. Prove that if the partial derivatives of ff exist in some open disc around (x0,y0)\left(x_{0}, y_{0}\right) and are continuous at (x0,y0)\left(x_{0}, y_{0}\right), then ff is differentiable at (x0,y0)\left(x_{0}, y_{0}\right).

Now let XX denote the vector space of all (n×n)(n \times n) real matrices, and let f:X→Rf: X \rightarrow \mathbb{R} be the function assigning to each matrix its determinant. Show that ff is differentiable at the identity matrix II, and that Df∣I\left.D f\right|_{I} is the linear map H↦tr⁡HH \mapsto \operatorname{tr} H. Deduce that ff is differentiable at any invertible matrix AA, and that Df∣A\left.D f\right|_{A} is the linear map H↦det⁡Atr⁡(A−1H).H \mapsto \operatorname{det} A \operatorname{tr}\left(A^{-1} H\right) .

Show also that if KK is a matrix with ∥K∥<1\|K\|<1, then (I+K)(I+K) is invertible. Deduce that ff is twice differentiable at II, and find D2f∣I\left.D^{2} f\right|_{I} as a bilinear map X×X→RX \times X \rightarrow \mathbb{R}.

[You may assume that the norm ∥−∥\|-\| on XX is complete, and that it satisfies the inequality ∥AB∥⩽∥A∥⋅∥B∥\|A B\| \leqslant\|A\| \cdot\|B\| for any two matrices AA and B.]B .]

Typos? Please submit corrections to this page on GitHub.