Show that if $f(tx)=tf(x)$ for all $t>0,x\in E\setminus\{0\}$ and $f\in C^1(E,F)$ then $f\in\mathcal L(E,F)$

2.4k Views Asked by At

Can someone confirm if this exercise is correctly done? The context of the exercise is multivariable calculus, that is, $E$ and $F$ are Banach spaces of unknown dimension.

What I did: I must show that if $f\in C^1(E,F)$ and $f(tx)=tf(x)$ for all $t>0$ for all $x\in E\setminus\{0\}$ then $f\in\mathcal L(E,F)$. Using the chain rule I know that

$$\partial[f(tx)]=t\partial f(tx)=t\partial f(x)=\partial[t f(x)]\implies \partial f(tx)=\partial f(x),\quad \forall t>0$$

Thus, by the continuity of $\partial f$, $\partial f(x)$ is a constant function for each $x\in E$, and by differentiation it can be seen that

$$f(x)=\partial f(x)x+v\quad\text{and}\quad f(tx)=tf(x)\implies v=0$$

Thus $f$ is linear, as required.


UPDATE: I now think that the above is not totally correct. I solved the exercise in a different way (with a more explicit result) using the fact that $f$ is differentiable at zero.

From the first attempt above we knows that $\partial f$ is a constant function in the sets $\{tx:t>0\text{ and } x\in E\setminus\{0\}\}$. And because $f$ is differentiable at zero by assumption then using the directional derivatives of $f$ at zero we can see that

$$D_vf(0):=\lim_{t\to 0}\frac{f(0+tv)-f(0)}t\in F\implies\matrix{f(0)=0\;\text{ and }\\D_vf(0)=f(v)=-f(v),\forall v\in E\setminus\{0\}}$$

Thus $f$ is a constant function and because $f(0)=0$ then $f=0$.

1

There are 1 best solutions below

5
On BEST ANSWER

Let $x\in E$ be fixed. Define $\gamma: \mathbb R\to E, t\mapsto tx$ and $g:\mathbb R \to F, t\mapsto tf(x)$.

Using the chain rule, note that for all $t,h\in \mathbb R$, $d(f\circ \gamma)(t)(h) = hdf(tx)(x)$.

Let $t>0$ be fixed. Since $f\circ \gamma$ and $g$ coincide on a neighborhood of $t$, their Fréchet derivatives at $t$ are the same: for all $h\in \mathbb R$, $hdf(tx)(x) = hf(x)$. Setting $h=1$ yields $$df(tx)(x) = f(x)$$

The idea is then to let $t$ go to $0$. If all goes well, we end up with $df(0)(x) = f(x)$, that is to say $df(0)=f$, hence $f\in\mathcal L(E,F)$.

Note that $$\begin{align}\|df(tx)(x)-df(0)(x)\|&=\|(df(tx)-df(0))(x)\|\\ &\leq \|df(tx)-df(0)\|\|x\| \\ &\leq \|df\|\|tx\|\|x\|\\ &=t\|df\|\|x\|^2 \end{align}$$

Letting $t\to0$ from above, we get $\lim_{t\to 0+}df(tx)(x) = df(0)(x)$, hence $f(x)=df(0)(x)$.

This holds for all $x\neq 0$, and we're done.