3
$\begingroup$

Assume that $X$ is a Banach space. Is there a continuous map $f:X\to X$ such that $f$ is nowhere Frechet differentiable, but its restriction to every finite dimensional subspace is every where Frechet differentiable?

$\endgroup$

1 Answer 1

6
$\begingroup$

From http://thaijmath.in.cmu.ac.th/index.php/thaijmath/article/viewFile/285/416

Fr\'echet differentiability implies G\^ateaux differentiability, but the converse is true only for finite-dimensional Banach spaces, in general. As an example, the mapping $f:L^1[0,\pi]\rightarrow\mathbb{R}$ defined by $f(x)=\int_0^\pi\mbox{sin}(x(t))dt$ is every where G^ateaux differentiable, but nowhere Fr\'echet differentiable [9]

[9] M. Sova, Conditions for differentiability in linear topological spaces, Czechoslovak Math. J. (Russian) 16 (1966) 339­-362.

$\endgroup$
7
  • 1
    $\begingroup$ I think in finite (2) dimension there is a Gateaux differentiable function whih is not Frechet differentiable. so in finite dimension, these two are not equivalent. :en.wikipedia.org/wiki/Fr%C3%A9chet_derivative $\endgroup$ Mar 25, 2014 at 13:21
  • $\begingroup$ In the context of the paper the first statement was probably only for differentiation of norms. It seems to me that this does not affect this specific example. $\endgroup$
    – user46855
    Mar 25, 2014 at 14:48
  • 1
    $\begingroup$ Gateaux differentiability implies Frechet differentiability for Lipschitz mappings on finite dimensional spaces. $\endgroup$ Mar 25, 2014 at 14:52
  • 1
    $\begingroup$ Notice that non separability of $L_1^*$ is essentially for the example user46855 gave. Preiss' differentiability theorem says that every real valued Lipschitz function on a space with separable dual has a point of Frechet differentiability. $\endgroup$ Mar 25, 2014 at 14:57
  • $\begingroup$ @BillJohnson Prof. Johnson Thank you for your 2 interesting comments $\endgroup$ Mar 25, 2014 at 21:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.