Abstract view
Exact Filling of Figures with the Derivatives of Smooth Mappings Between Banach Spaces


Published:20051201
Printed: Dec 2005
D. Azagra
M. Fabian
M. JimĂ©nezSevilla
Abstract
We establish sufficient conditions on the shape of a set $A$
included in the space $\mathcal L _s^n(X,Y)$ of the $n$linear
symmetric mappings between Banach spaces $X$ and $Y$, to ensure
the existence of a $C^n$\nobreakdashsmooth
mapping $f\colon X \rightarrow Y$,
with bounded support, and such that $f^{(n)}(X)=A$, provided that
$X$ admits a $C^{n}$smooth bump with bounded $n$th derivative
and $\dens X=\dens \mathcal L ^n(X,Y)$. For instance, when $X$ is
infinitedimensional, every bounded connected and open set $U$
containing the origin is the range of the $n$th derivative of
such a mapping. The same holds true for the closure of $U$,
provided that every point in the boundary of $U$ is the end
point of a path within $U$. In the finitedimensional case, more
restrictive conditions are required. We also study the Fr\'echet
smooth case for mappings from $\mathbb R^n$ to a separable
infinitedimensional Banach space and the G\^ateaux smooth case
for mappings defined on a separable infinitedimensional Banach
space and with values in a separable Banach space.