[Math] Continuity of the directional derivatives implies continuity at the point

continuityderivativesmultivariable-calculus

This might be a trivial question.

Consider a function $f:\mathbb{R^2}\rightarrow \mathbb{R}$ and consider some point $(a,b)\in \mathbb{R^2}$.

Suppose we know that all the directional derivatives $D_{\overline{u}}f(a,b)$ for an arbitrary unit vector $\overline{u}=\langle u_1,u_2\rangle$ in $\mathbb{R^2}$ exist $…(1)$

Furthermore, we also know that $\lim_{\overline{u}\to\overline{v}}D_{\overline{u}}f(a,b) = D_{\overline{v}}f(a,b)$ for some other arbitrary arbitrary unit vector $\overline{v}$$…(2)$

So all the directional derivatives can smoothly transition into one another as we change the unit vector $\overline{u}$ in $\mathbb{R^2}$$…(*)$

This is however $\textbf{not}$ sufficient for the function $f$ to be differentiable at $(a,b)$ since all the directional derivatives must be parallel to one another to trace out the tangent plane at the point $(a,b)$ as we change $\overline{u}$$…(*)$

$(*)$ As far as my understanding goes.

$\textbf{My Question:}$

From $(1)$ & $(2)$ can we conclude however that $f$ is continuous at $(a,b)$ ?

The only other ways of establishing continuity at $(a,b)$ in calculus of $2$ variables – that I am aware of – is by applying the$\ $ $\epsilon -\delta$ definition of continuity to $f$ at $(a,b)$ or establishing the differentiability of $f$ at $(a,b)$ which implies continuity.

Best Answer

The directional derivatives are linear combinations of partial derivatives:

$$D_\overline{u}f(a,b) = u_1D_1f(a,b) + u_2D_2f(a,b),$$

so continuity with respect to $\overline{u}$ is guaranteed and not particularly relevant in terms of the continuity of $f$.

If all partial derivatives exist in an open neighborhood of $(a,b)$ and, in addition, they are continuous at $(a,b)$, then $f$ is differentiable (and continuous) there. If any partial derivative fails to exist throughout every open neighborhood or is discontinuous at $(a,b)$ then it is not guaranteed that $f$ is continuous there.

Related Question