Researcher profile

Ludek Zajicek

Ludek Zajicek contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.FA math.CA math.DG math.MG

Trust snapshot

Quick read

Trust 21 - Emerging

8works

0followers

4topics

2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

On sets of discontinuities of functions continuous on all lines

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.

preprint2019arXiv

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

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.

preprint2013arXiv

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

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.

preprint2012arXiv

G\^ ateaux and Hadamard differentiability via directional differentiability

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.

preprint2012arXiv

Hadamard differentiability via G\^ ateaux differentiability

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.

preprint2010arXiv

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

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.

preprint2009arXiv

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

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.

preprint2008arXiv

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

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.