Showing 1–23 of 23 results for author: Zajicek, L

On $C^1$ Whitney extension theorem in Banach spaces

Authors: Michal Johanis, Luděk Zajíček

Abstract: Our note is a complement to recent articles \cite{JS1} (2011) and \cite{JS2} (2013) by M. Jiménez-Sevilla and L. Sánchez-González which generalise (the basic statement of) the classical Whitney extension theorem for $C^1$-smooth real functions on $\mathbb R^n$ to the case of real functions on $X$ (\cite{JS1}) and to the case of mappings from $X$ to $Y$ (\cite{JS2}) for some Banach spaces $X$ and… ▽ More Our note is a complement to recent articles \cite{JS1} (2011) and \cite{JS2} (2013) by M. Jiménez-Sevilla and L. Sánchez-González which generalise (the basic statement of) the classical Whitney extension theorem for $C^1$-smooth real functions on $\mathbb R^n$ to the case of real functions on $X$ (\cite{JS1}) and to the case of mappings from $X$ to $Y$ (\cite{JS2}) for some Banach spaces $X$ and $Y$. Since the proof from \cite{JS2} contains a serious flaw, we supply a different more transparent detailed proof under (probably) slightly stronger assumptions on $X$ and $Y$. Our proof gives also extensions results from special sets (e.g. Lipschitz submanifolds or closed convex bodies) under substantially weaker assumptions on $X$ and $Y$. Further, we observe that the mapping $F\in C^1(X;Y)$ which extends $f$ given on a closed set $A\subset X$ can be, in some cases, $C^\infty$-smooth (or $C^k$-smooth with $k>1$) on $X\setminus A$. Of course, also this improved result is weaker than Whitney's result (for $X=\mathbb R^n$, $Y=\mathbb R$) which asserts that $F$ is even analytic on $X\setminus A$. Further, following another Whitney's article and using the above results, we prove results on extensions of $C^1$-smooth mappings from open ("weakly") quasiconvex subsets of $X$. Following the above mentioned articles we also consider the question concerning the Lipschitz constant of $F$ if $f$ is a Lipschitz mapping. △ Less

Submitted 3 April, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: There has been some progress concerning the (non)validity of the $C^k$ Whitney extension theorem for $k\ge3$, which makes Section 6 from the previous version obsolete. The section was removed and the still relevant parts will appear in another article

MSC Class: 46G05; 46T20

On Whitney-type extension theorems on Banach spaces for $C^{1,ω}$, $C^{1,+}$, $C_{\mathrm{loc}}^{1,+}$, and $C_{\mathrm B}^{1,+}$-smooth functions

Authors: Michal Johanis, Václav Kryštof, Luděk Zajíček

Abstract: Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $ω$ easily imply extension theorems for $C^{1,ω}$-smooth functions on super-reflexive Banach spaces which are versions of some theorems of Azagra and Mudarra. We present also some new interesting consequences which are not mentioned in their article, in p… ▽ More Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $ω$ easily imply extension theorems for $C^{1,ω}$-smooth functions on super-reflexive Banach spaces which are versions of some theorems of Azagra and Mudarra. We present also some new interesting consequences which are not mentioned in their article, in particular extensions of $C^{1,ω}$-smooth functions from open quasiconvex sets. They proved also an extension theorem for $C_{\mathrm B}^{1,+}$-smooth functions (i.e., functions with uniformly continuous derivative on each bounded set) on Hilbert spaces. Our version of this theorem and new extension results for $C^{1,+}$ and $C_{\mathrm{loc}}^{1,+}$-smooth functions (i.e., functions with uniformly, resp. locally uniformly continuous derivative), all of which are proved on arbitrary super-reflexive Banach spaces, are further main contributions of our paper. Some of our proofs use main ideas of the article by D. Azagra and C. Mudarra, but all are formally completely independent on their article. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Frechet differentiability via partial Frechet differentiability

Authors: Ludek Zajicek

Abstract: Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our results imply that if $X_1, \dots, X_{n-1}$ are Asplund spaces and $f$ is continuous (resp. Lipschitz) on $X$, then $A_f$ is a first category set (resp. a $σ$-uppe… ▽ More Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our results imply that if $X_1, \dots, X_{n-1}$ are Asplund spaces and $f$ is continuous (resp. Lipschitz) on $X$, then $A_f$ is a first category set (resp. a $σ$-upper porous set). We also prove that if $X$, $Y$ are separable Banach spaces and $f:X \to Y$ is a Lipschitz mapping, then the set of all points $x \in X$ at which $f$ is G\^ ateaux differentiable, is Fr\' echet differentiable along a closed subspace of finite codimension but is not Fr\' echet differentiable, is $σ$-upper porous. A number of related more general results are also proved. △ Less

Submitted 26 September, 2022; originally announced September 2022.

MSC Class: Primary: 46G05; Secondary: 46T20

On sets of discontinuities of functions continuous on all lines

Authors: Ludek Zajicek

Abstract: Answering a question asked by K.C. Ciesielski and T. Glatzer in 2013, we construct a $C^1$-smooth function $f$ on $[0,1]$ and a set $M \subset \operatorname{graph} f$ nowhere dense in $\operatorname{graph} f$ such that there does not exist any linearly continuous function on $\mathbb R^2$ (i.e. function continuous on all lines) which is discontinuous at each point of $M$. We substantially use a re… ▽ More Answering a question asked by K.C. Ciesielski and T. Glatzer in 2013, we construct a $C^1$-smooth function $f$ on $[0,1]$ and a set $M \subset \operatorname{graph} f$ nowhere dense in $\operatorname{graph} f$ such that there does not exist any linearly continuous function on $\mathbb R^2$ (i.e. function continuous on all lines) which is discontinuous at each point of $M$. We substantially use a recent full characterization of sets of discontinuity points of linearly continuous functions on $\mathbb R^n$ proved by T. Banakh and O. Maslyuchenko in 2020. As an easy consequence of our result, we prove that the necessary condition for such sets of discontinuities proved by S.G. Slobodnik in 1976 is not sufficient. We also prove an analogon of this Slobodnik's result in separable Banach spaces. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: 15 pages

MSC Class: 26B05 (Primary) 46B99 (Secondary)

On the set of points at which an increasing continuous singular function has a nonzero finite derivative

Authors: Marta Kossaczka, Ludek Zajicek

Abstract: Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each subinterval of $[0,1]$. We prove a stronger (and optimal) result showing that a set $A_f$ as above can contain any prescribed $F_σ$ null subset of $[0,1]$. Sanchez, Viader, Paradis and Carrillo (2016) proved that there exists an increasing continuous singular function $f$ on $[0,1]$ such that the set $A_f$ of points where $f$ has a nonzero finite derivative has Hausdorff dimension 1 in each subinterval of $[0,1]$. We prove a stronger (and optimal) result showing that a set $A_f$ as above can contain any prescribed $F_σ$ null subset of $[0,1]$. △ Less

Submitted 7 December, 2021; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 4 pages

MSC Class: 26A30

Functions on a convex set which are both $ω$-semiconvex and $ω$-semiconcave

Authors: Václav Kryštof, Luděk Zajíček

Abstract: Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $ω$, every function on $G$ which is both semiconvex and semiconcave with modulus $ω$ is (globally) $C^{1,ω}$-smooth. We show that this result is optimal in the sense that the assumption on $G$ cannot be relaxed. We… ▽ More Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $ω$, every function on $G$ which is both semiconvex and semiconcave with modulus $ω$ is (globally) $C^{1,ω}$-smooth. We show that this result is optimal in the sense that the assumption on $G$ cannot be relaxed. We also present direct short proofs of the above mentioned result and of some its quantitative versions. Our results have immediate consequences concerning (i) a first-order quantitative converse Taylor theorem and (ii) the problem whether $f\in C^{1,ω}(G)$ whenever $f$ is continuous and smooth in a corresponding sense on all lines. We hope that these consequences are of an independent interest. △ Less

Submitted 28 February, 2021; originally announced March 2021.

MSC Class: 26B25

A characterization of sets in $\mathbb{R}^2$ with DC distance function

Authors: Dušan Pokorný, Luděk Zajíček

Abstract: We give a complete characterization of closed sets $F \subset \mathbb{R}^2$ whose distance function $d_F:= \mathrm{dist}(\cdot,F)$ is DC (i.e., is the difference of two convex functions on $\mathbb{R}^2$). Using this characterization, a number of properties of such sets is proved. We give a complete characterization of closed sets $F \subset \mathbb{R}^2$ whose distance function $d_F:= \mathrm{dist}(\cdot,F)$ is DC (i.e., is the difference of two convex functions on $\mathbb{R}^2$). Using this characterization, a number of properties of such sets is proved. △ Less

Submitted 7 June, 2020; originally announced June 2020.

MSC Class: 26B25

Remarks on WDC sets

Authors: Dušan Pokorný, Luděk Zajíček

Abstract: We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A\subset \mathbb{R}^2$. We prove that, for such $A$, the distance function $d_A= {\rm dist}(\cdot,A)$ is a `DC aura' for $A$, which implies that each locally WDC set in $\mathbb{R}^2$ is a WDC set. An another consequence is that… ▽ More We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A\subset \mathbb{R}^2$. We prove that, for such $A$, the distance function $d_A= {\rm dist}(\cdot,A)$ is a `DC aura' for $A$, which implies that each locally WDC set in $\mathbb{R}^2$ is a WDC set. An another consequence is that compact WDC subsets of $\mathbb{R}^2$ form a Borel subset of the space of all compact sets. △ Less

Submitted 29 May, 2019; originally announced May 2019.

MSC Class: 26B25

On sets in ${\mathbb R}^d$ with DC distance function

Authors: Dušan Pokorný, Luděk Zajíček

Abstract: We study closed sets $F \subset {\mathbb R}^d$ whose distance function $d_F:= {\rm dist}\,(\cdot,F)$ is DC (i.e., is the difference of two convex functions on ${\mathbb R}^d$). Our main result asserts that if $F \subset {\mathbb R}^2$ is a graph of a DC function $g:{\mathbb R}\to {\mathbb R}$, then $F$ has the above property. If $d>1$, the same holds if $g:{\mathbb R}^{d-1}\to {\mathbb R}$ is semi… ▽ More We study closed sets $F \subset {\mathbb R}^d$ whose distance function $d_F:= {\rm dist}\,(\cdot,F)$ is DC (i.e., is the difference of two convex functions on ${\mathbb R}^d$). Our main result asserts that if $F \subset {\mathbb R}^2$ is a graph of a DC function $g:{\mathbb R}\to {\mathbb R}$, then $F$ has the above property. If $d>1$, the same holds if $g:{\mathbb R}^{d-1}\to {\mathbb R}$ is semiconcave, however the case of a general DC function $g$ remains open. △ Less

Submitted 21 June, 2019; v1 submitted 27 April, 2019; originally announced April 2019.

Comments: Some minor errors were corrected and the last section was considerably extended

MSC Class: 26B25

Smallness of the set of critical values of distance functions in two-dimensional Euclidean and Riemannian spaces

Authors: Jan Rataj, Ludek Zajicek

Abstract: We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical values is compact and Lebesgue null (which is a known result) and that it has "locally" (away from 0) bounded sum of square roots of lengths of gaps (components of… ▽ More We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical values is compact and Lebesgue null (which is a known result) and that it has "locally" (away from 0) bounded sum of square roots of lengths of gaps (components of the complement). In the planar case, these conditions of local smallness are shown to be optimal. These results improve and generalize those of Fu (1985) and of our earlier paper from 2012. We also find an optimal condition for the smallness of the whole set of critical values of a planar compact set. △ Less

Submitted 22 March, 2019; originally announced March 2019.

MSC Class: 57N40; 53B21

Journal ref: Mathematika 66 (2020), 297-324

On the structure of WDC sets

Authors: Dušan Pokorný, Jan Rataj, Luděk Zajíček

Abstract: WDC sets in ${\mathbb R}^d$ were recently defined as sublevel sets of DC functions (differences of convex functions) at weakly regular values. They form a natural and substantial generalization of sets with positive reach and still admit the definition of curvature measures. Using results on singularities of convex functions, we obtain regularity results on the boundaries of WDC sets. In particula… ▽ More WDC sets in ${\mathbb R}^d$ were recently defined as sublevel sets of DC functions (differences of convex functions) at weakly regular values. They form a natural and substantial generalization of sets with positive reach and still admit the definition of curvature measures. Using results on singularities of convex functions, we obtain regularity results on the boundaries of WDC sets. In particular, the boundary of a compact WDC set can be covered by finitely many DC surfaces. More generally, we prove that any compact WDC set $M$ of topological dimension $k\leq d$ can be decomposed into the union of two sets, one of them being a $k$-dimensional DC manifold open in $M$, and the other can be covered by finitely many DC surfaces of dimension $k-1$. We also characterize locally WDC sets among closed Lipschitz domains and among lower-dimensional Lipschitz manifolds. Finally, we find a full characterization of locally WDC sets in the plane. △ Less

Submitted 31 May, 2017; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: 35 pages

MSC Class: 26B25; 53C65

On the structure of sets with positive reach

Authors: Jan Rataj, Ludek Zajicek

Abstract: We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb R}^d$ is a set of positive reach of topological dimension $0< k \leq d$, then $A$ has its "$k$-dimensional regular part" $\emptyset \neq R \subset A$ which is a… ▽ More We give a complete characterization of compact sets with positive reach (=proximally $C^1$ sets) in the plane and of one-dimensional sets with positive reach in ${\mathbb R}^d$. Further, we prove that if $\emptyset \neq A\subset{\mathbb R}^d$ is a set of positive reach of topological dimension $0< k \leq d$, then $A$ has its "$k$-dimensional regular part" $\emptyset \neq R \subset A$ which is a $k$-dimensional "uniform" $C^{1,1}$ manifold open in $A$ and $A\setminus R$ can be locally covered by finitely many $(k-1)$-dimensional DC surfaces. We also show that if $A \subset {\mathbb R}^d$ has positive reach, then $\partial A$ can be locally covered by finitely many semiconcave hypersurfaces. △ Less

Submitted 3 June, 2016; v1 submitted 29 April, 2016; originally announced April 2016.

Journal ref: Math. Nachr. 290 (2017), 1806-1829

Properties of Hadamard directional derivatives: Denjoy-Young-Saks theorem for functions on Banach spaces

Authors: Ludek Zajicek

Abstract: The classical Denjoy-Young-Saks theorem on Dini derivatives of arbitrary functions $f: \R \to \R$ was extended by U.S. Haslam-Jones (1932) and A.J. Ward (1935) to arbitrary functions on $\R^2$. This extension gives the strongest relation among upper and lower Hadamard directional derivatives $f^+_H (x,v)$, $f^-_H (x,v)$ ($v \in X$) which holds almost everywhere for an arbitrary function… ▽ More The classical Denjoy-Young-Saks theorem on Dini derivatives of arbitrary functions $f: \R \to \R$ was extended by U.S. Haslam-Jones (1932) and A.J. Ward (1935) to arbitrary functions on $\R^2$. This extension gives the strongest relation among upper and lower Hadamard directional derivatives $f^+_H (x,v)$, $f^-_H (x,v)$ ($v \in X$) which holds almost everywhere for an arbitrary function $f:\R^2\to \R$. Our main result extends the theorem of Haslam-Jones and Ward to functions on separable Banach spaces. △ Less

Submitted 11 August, 2013; originally announced August 2013.

MSC Class: Primary: 46G05; Secondary: 26B05

G\^ ateaux and Hadamard differentiability via directional differentiability

Authors: Ludek Zajicek

Abstract: Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ an arbitrary mapping. Then the following implication holds at each point $x \in X$ except a $σ$-directionally porous set: If the one-sided Hadamard directional derivative $f'_{H+}(x,u)$ exists in all directions $u$ from a set $S_x \subset X$ whose linear span is dense in $X$, then $f$ is Hadamard differentiable at $x$. Th… ▽ More Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ an arbitrary mapping. Then the following implication holds at each point $x \in X$ except a $σ$-directionally porous set: If the one-sided Hadamard directional derivative $f'_{H+}(x,u)$ exists in all directions $u$ from a set $S_x \subset X$ whose linear span is dense in $X$, then $f$ is Hadamard differentiable at $x$. This theorem improves and generalizes a recent result of A.D. Ioffe, in which the linear span of $S_x$ equals $X$ and $Y = \R$. An analogous theorem, in which $f$ is pointwise Lipschitz, and which deals with the usual one-sided derivatives and G\^ ateaux differentiability is also proved. It generalizes a result of D. Preiss and the author, in which $f$ is supposed to be Lipschitz. △ Less

Submitted 12 November, 2012; originally announced November 2012.

MSC Class: 46G05 (Primary) 26B05; 49J50 (Secondary)

Hadamard differentiability via G\^ ateaux differentiability

Authors: Ludek Zajicek

Abstract: Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $σ$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is Gâteaux differentiable at $x$, then $f$ is Hadamard differentiable at $x$. If $f$ is Borel measurable (or has the Baire property) and is G\^ ateaux differentiable at all… ▽ More Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $σ$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is Gâteaux differentiable at $x$, then $f$ is Hadamard differentiable at $x$. If $f$ is Borel measurable (or has the Baire property) and is G\^ ateaux differentiable at all points, then $f$ is Hadamard differentiable at all points except a set which is $σ$-directionally porous set (and so is Aronszajn null, Haar null and $Γ$-null). Consequently, an everywhere G\^ ateaux differentiable $f: \R^n \to Y$ is Fr\' echet differentiable except a nowhere dense $σ$-porous set. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 9 pages

MSC Class: 46G05 (Primary) 26B05; 49J50 (Secondary)

A note on propagation of singularities of semiconcave functions of two variables

Authors: Ludek Zajicek

Abstract: P. Albano and P. Cannarsa proved in 1999 that, under some applicable conditions, singularities of semiconcave functions in $\R^n$ propagate along Lipschitz arcs. Further regularity properties of these arcs were proved by P. Cannarsa and Y. Yu in 2009. We prove that, for $n=2$, these arcs are very regular: they can be found in the form (in a suitable Cartesian coordinate system)… ▽ More P. Albano and P. Cannarsa proved in 1999 that, under some applicable conditions, singularities of semiconcave functions in $\R^n$ propagate along Lipschitz arcs. Further regularity properties of these arcs were proved by P. Cannarsa and Y. Yu in 2009. We prove that, for $n=2$, these arcs are very regular: they can be found in the form (in a suitable Cartesian coordinate system) $ψ(x) = (x, y_1(x)-y_2(x)), x \in [0,α]$, where $y_1$, $y_2$ are convex and Lipschitz on $[0,α]$. In other words: singularities propagate along arcs with finite turn. △ Less

Submitted 15 February, 2010; originally announced February 2010.

MSC Class: 26B25; 35A21

Critical values and level sets of distance functions in Riemannian, Alexandrov and Minkowski spaces

Authors: Jan Rataj, Ludek Zajicek

Abstract: Let $F \subset \R^n$ be a closed set and $n=2$ or $n=3$. S. Ferry (1975) proved that then, for almost all $r>0$, the level set (distance sphere, $r$-boundary) $S_r(F):= \{x \in \R^n: \dist(x,F) = r\}$ is a topological $(n-1)$-dimensional manifold. This result was improved by J.H.G. Fu (1985). We show that Ferry's result is an easy consequence of the only fact that the distance function… ▽ More Let $F \subset \R^n$ be a closed set and $n=2$ or $n=3$. S. Ferry (1975) proved that then, for almost all $r>0$, the level set (distance sphere, $r$-boundary) $S_r(F):= \{x \in \R^n: \dist(x,F) = r\}$ is a topological $(n-1)$-dimensional manifold. This result was improved by J.H.G. Fu (1985). We show that Ferry's result is an easy consequence of the only fact that the distance function $d(x)= \dist(x,F)$ is locally DC and has no stationary point in $\R^n\setminus F$. Using this observation, we show that Ferry's (and even Fu's) result extends to sufficiently smooth normed linear spaces $X$ with $\dim X \in \{2,3\}$ (e.g., to $\ell^p_n, n=2,3, p\geq 2$), which improves and generalizes a result of R. Gariepy and W.D. Pepe (1972). By the same method we also generalize Fu's result to Riemannian manifolds and improve a result of K. Shiohama and M. Tanaka (1996) on distance spheres in Alexandrov spaces. △ Less

Submitted 20 November, 2009; originally announced November 2009.

Comments: 21 pages

MSC Class: 26B25; 52A21; 53C23

Journal ref: Houston J. Math. 38 (2012), 435-467

Properties of distance functions on convex surfaces and applications

Authors: Jan Rataj, Ludek Zajicek

Abstract: If $X$ is a convex surface in a Euclidean space, then the squared intrinsic distance function $\dist^2(x,y)$ is DC (d.c., delta-convex) on $X\times X$ in the only natural extrinsic sense. An analogous result holds for the squared distance function $\dist^2(x,F)$ from a closed set $F \subset X$. Applications concerning $r$-boundaries (distance spheres) and the ambiguous locus (exoskeleton) of a c… ▽ More If $X$ is a convex surface in a Euclidean space, then the squared intrinsic distance function $\dist^2(x,y)$ is DC (d.c., delta-convex) on $X\times X$ in the only natural extrinsic sense. An analogous result holds for the squared distance function $\dist^2(x,F)$ from a closed set $F \subset X$. Applications concerning $r$-boundaries (distance spheres) and the ambiguous locus (exoskeleton) of a closed subset of a convex surface are given. △ Less

Submitted 20 November, 2009; v1 submitted 9 February, 2009; originally announced February 2009.

Comments: 21 pages. Section 4. Applications was revised and improved

MSC Class: 53C45; 52A20

On extensions of d.c. functions and convex functions

Authors: Libor Vesely, Ludek Zajicek

Abstract: We show how our recent results on compositions of d.c. functions (and mappings) imply positive results on extensions of d.c. functions (and mappings). Examples answering two natural relevant questions are presented. Two further theorems, concerning extendability of continuous convex functions from a closed subspace of a normed linear space, complement recent results of J.Borwein, V.Montesinos an… ▽ More We show how our recent results on compositions of d.c. functions (and mappings) imply positive results on extensions of d.c. functions (and mappings). Examples answering two natural relevant questions are presented. Two further theorems, concerning extendability of continuous convex functions from a closed subspace of a normed linear space, complement recent results of J.Borwein, V.Montesinos and J.Vanderwerff. △ Less

Submitted 8 October, 2008; originally announced October 2008.

Comments: 16 pages

MSC Class: 52A41; 26B25; 46B99

Quotients of continuous convex functions on nonreflexive Banach spaces

Authors: P. Holicky, O. Kalenda, L. Vesely, L. Zajicek

Abstract: On each nonreflexive Banach space X there exists a positive continuous convex function f such that 1/f is not a d.c. function (i.e., a difference of two continuous convex functions). This result together with known ones implies that X is reflexive if and only if each everywhere defined quotient of two continuous convex functions is a d.c. function. Our construction gives also a stronger version… ▽ More On each nonreflexive Banach space X there exists a positive continuous convex function f such that 1/f is not a d.c. function (i.e., a difference of two continuous convex functions). This result together with known ones implies that X is reflexive if and only if each everywhere defined quotient of two continuous convex functions is a d.c. function. Our construction gives also a stronger version of Klee's result concerning renormings of nonreflexive spaces and non-norm-attaining functionals. △ Less

Submitted 5 June, 2007; originally announced June 2007.

Comments: 5 pages

MSC Class: 46B10; 46B03

On compositions of d.c. functions and mappings

Authors: L. Vesely, L. Zajicek

Abstract: A d.c. (delta-convex) function on a normed linear space is a function representable as a difference of two continuous convex functions. We show that an infinite dimensional analogue of Hartman's theorem on stability of d.c. functions under compositions does not hold in general. However, we prove that it holds in some interesting particular cases. Our main results about compositions are proved in… ▽ More A d.c. (delta-convex) function on a normed linear space is a function representable as a difference of two continuous convex functions. We show that an infinite dimensional analogue of Hartman's theorem on stability of d.c. functions under compositions does not hold in general. However, we prove that it holds in some interesting particular cases. Our main results about compositions are proved in the more general context of d.c. mappings between normed linear spaces. △ Less

Submitted 5 June, 2007; originally announced June 2007.

Comments: 19 pages

MSC Class: 46B99; 26B25; 52A41

On Lipschitz and d.c. surfaces of finite codimension in a Banach space

Authors: Luděk Zajíček

Abstract: Properties of Lipschitz and d.c. surfaces of finite codimension in a Banach space, and properties of generated $σ$-ideals are studied. These $σ$-ideals naturally appear in the differentiation theory and in the abstract approximation theory. Using these properties, we improve an unpublished result of M. Heisler which gives an alternative proof of a result of D. Preiss on singular points of convex… ▽ More Properties of Lipschitz and d.c. surfaces of finite codimension in a Banach space, and properties of generated $σ$-ideals are studied. These $σ$-ideals naturally appear in the differentiation theory and in the abstract approximation theory. Using these properties, we improve an unpublished result of M. Heisler which gives an alternative proof of a result of D. Preiss on singular points of convex functions. △ Less

Submitted 31 January, 2007; originally announced January 2007.

Comments: 13 pages

MSC Class: 46T05; 58C20; 47H05

Curves in Banach spaces which allow a $C^2$ parametrization

Authors: Jakub Duda, Ludek Zajicek

Abstract: We give a complete characterization of those $f: [0,1] \to X$ (where $X$ is a Banach space which admits an equivalent Fréchet smooth norm) which allow an equivalent $C^2$ parametrization. For $X=\R$, a characterization is well-known. However, even in the case $X=\R^2$, several quite new ideas are needed. Moreover, the very close case of parametrizations with a bounded second derivative is solved… ▽ More We give a complete characterization of those $f: [0,1] \to X$ (where $X$ is a Banach space which admits an equivalent Fréchet smooth norm) which allow an equivalent $C^2$ parametrization. For $X=\R$, a characterization is well-known. However, even in the case $X=\R^2$, several quite new ideas are needed. Moreover, the very close case of parametrizations with a bounded second derivative is solved. △ Less

Submitted 2 September, 2008; v1 submitted 31 March, 2006; originally announced March 2006.

Comments: 22 pages; We split the original paper into two parts. This is the first part ($C^2$ paths), the second part (paths with finite convexity) will appear later

MSC Class: 26E20; 26A51; 53A04