Differentiability of a function, of its sections and of its components

948 Views Asked by At

Let's consider two cases:

  1. For $f:\mathbb{R}^2 \to \mathbb{R}$, where the domain may be some open subset in $\mathbb{R}^2$, define its sections to be functions in $\{ f(,x_2), f(x_1,), \forall x_1,x_2 \in \mathbb{R}\}$.

    Do differentiablility of $f$ and differentiability of each of its sections in imply each other, or just one-directional implication, or neither?

  2. For $f:\mathbb{R} \to \mathbb{R}^2$, where the domain may be some open subset in $\mathbb{R}$, define its components to be functions $\{f_i:\mathbb{R} \to \mathbb{R}, i=1,2, \text{ s.t. }f(x)=[f_1(x), f_2(x)], \forall x \in \mathbb{R} \}$.

    Do differentiablility of $f$ and differentiability of each of its components imply each other, or just one-directional implication, or neither?

  3. Are answers to part 1 and part 2 the same when $f:\mathbb{R}^n \to \mathbb{R}$ and $f:\mathbb{R} \to \mathbb{R}^n$?

Thanks and regards!


PS: In part 1, I was hoping to ask for a more general case $f:\mathbb{R}^n \to \mathbb{R}$, but didn't know how to write down a single formula for defining all its sections. Its sections are defined by fixing all except one of the n components of the domain variable and varying the exceptional one. Do you have some idea?

1

There are 1 best solutions below

2
On BEST ANSWER

$\mathbb R^n\to\mathbb R$: Differentiability implies that the sections are differentiable.
A composition of differentiable functions is differentiable, and each of the functions $x\mapsto (x,x_2,x_3,\ldots)$, $x\mapsto (x_1,x,x_3,\ldots)$, etc., are differentiable. The sections of $f$ are compositions of $f$ with these functions.

The converse is false. A counterexample is the function $f:\mathbb R^2\to\mathbb R$ defined by $f(x,y)=\frac{xy}{x^2+y^2}$ if $x^2+y^2\neq 0$, $f(0,0)=0$. Each section of $f$ is differentiable everywhere, but $f$ is not even continuous at $(0,0)$, let alone differentiable there.

$\mathbb R\to\mathbb R^n$: Differentiability is equivalent to each component being differentiable. This is because convergence in $\mathbb R^n$ is equivalent to convergence in each component, and this can be applied to limits of difference quotients.