Hostname: page-component-76fb5796d-zzh7m Total loading time: 0 Render date: 2024-04-26T03:50:37.175Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  20 November 2018

D. Azagra
Affiliation:
Departamento de Análisis Matemático, Facultad de Ciencias Matemáticas, Universidad Complutense, 28040 Madrid, Spain e-mail: Daniel Azagra@mat.ucm.es
M. Fabian
Affiliation:
Mathematical Institute, Czech Academy of Sciences, Žitná 25, 11567 Praha 1, Czech Republic e-mail: fabian@math.cas.cz
M. Jiménez-Sevilla
Affiliation:
Departamento de Análisis Matemático, Facultad de Ciencias Matemáticas, Universidad Complutense, 28040 Madrid, Spain e-mail: mm_jimenez@mat.ucm.es
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We establish sufficient conditions on the shape of a set $A$ included in the space $\mathcal{L}_{s}^{n}\left( X,Y \right)$ of the $n$-linear symmetric mappings between Banach spaces $X$ and $Y$ , to ensure the existence of a ${{C}^{n}}$-smooth mapping $f:X\to Y$, with bounded support, and such that ${{f}^{\left( n \right)}}\left( X \right)=A$, provided that $X$ admits a ${{C}^{n}}$-smooth bump with bounded $n$-th derivative and dens $\text{dens }X=\text{dens }{{\mathcal{L}}^{n}}\left( X,Y \right)$. For instance, when $X$ is infinite-dimensional, every bounded connected and open set $U$ containing the origin is the range of the $n$-th derivative of such amapping. 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 finite-dimensional case, more restrictive conditions are required. We also study the Fréchet smooth case for mappings from ${{\mathbb{R}}^{n}}$ to a separable infinite-dimensional Banach space and the Gâteaux smooth case for mappings defined on a separable infinite-dimensional Banach space and with values in a separable Banach space.

Keywords

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2005

References

[1] Azagra, D. and Deville, R., James’ theorem fails for starlike bodies. J. Funct. Anal. 180(2001), 328346.Google Scholar
[2] Azagra, D., Deville, R., and Jiménez-Sevilla, M., On the range of the derivatives of a smooth mapping between Banach spaces. Math. Proc. Cambridge Philos. Soc. 134(2003), 163185.Google Scholar
[3] Azagra, D. and Jiménez-Sevilla, M., The failure of Rolle's theorem in infinite-dimensional Banach spaces. J. Funct. Anal., 182(2001), 207226.Google Scholar
[4] Azagra, D. and Jiménez-Sevilla, M., On the size of the sets of gradients of bump functions and starlike bodies on the Hilbert space. Bull. Soc. Math. France 130(2002), 337347.Google Scholar
[5] Bates, S. M., On smooth non-linear surjections of Banach spaces. Israel J. Math. 100(1997), 209220.Google Scholar
[6] Borwein, J. M., Fabian, M., Kortezov, I., and Loewen, P. D., The range of the gradient of a continuously differentiable bump. J. Nonlinear Convex Anal. 2(2001), 119.Google Scholar
[7] Borwein, J. M., Fabian, M., and Loewen, P. D., The range of the gradient of a Lipschitzian C1-smooth bump in infinite dimensions. Israel J. Math. 132(2002), 239251.Google Scholar
[8] Deville, R., Godefroy, G., and Zizler, V., Smoothness and Renormings in Banach Spaces. Pitman Monographs and Surveys in Pure and Applied Mathematics 64, Longman, Harlow, 1993.Google Scholar
[9] Dobrowolski, T.,Weak bump mappings and applications. Bull. Polish Acad. Sci. Math. 49(2001), 337347.Google Scholar
[10] Gaspari, T., On the range of the derivative of a real-valued function with bounded support, Studia Math. 153(2002), 8199.Google Scholar
[11] Hájek, P., Smooth functions on c 0 , Israel J. Math. 104(1998), 1727.Google Scholar