4
$\begingroup$

Let $X, Y$ be Banach spaces. A mapping $F: X\rightarrow Y$ is said to be Gateaux differentiable at $x_0\in X$ iff there exists a continuous linear mapping $A: X\rightarrow Y$ such that $ \textbf{(*)} \quad \lim_{t\downarrow 0}\frac{F(x_0+th)-F(x_0)}{t}=A(h) \quad \forall h\in X. $ I would like to construct a nonlinear mapping $F: X\rightarrow Y$ that is not Gateaux differentiable at $x_0\in X$ but there exists a discontinuous linear mapping $A: X\rightarrow Y$ such that (*) is satisfied.

Thank you for all comments and helping.

  • 1
    And with $F^2$, where $F$ is linear and discontinuous?2012-12-09

1 Answers 1

4

Take $X$ an infinite dimensional Banach space, and $Y:=\Bbb R$. There exists a non-continuous linear functional $f$. Let $F(x):=f(x)^2$ and let $x_0$ such that $f(x_0)\neq 0$. Then \begin{align} F(x_0+th)-F(x_0)&=(f(x_0)+tf(h))^2-f(x_0)^2\\ &=2tf(x_0)f(h)+t^2f(x_0)^2, \end{align} so the $A$ which would work is $A(h):=2f(x_0)f(h)$, which is not continuous.