Source author record

Sławomir Kolasiński

Sławomir Kolasiński appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AP math.FA math.CA math.MG math.DG math.OC

Catalog footprint

What is connected

9works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2022arXiv

Regularity of distance functions from arbitrary closed sets

We investigate the distance function $\boldsymbolδ_{K}^ϕ$ from an arbitrary closed subset $ K $ of a~finite-dimensional Banach space $ (\mathbf{R}^{n}, ϕ) $, equipped with a uniformly convex $\mathcal{C}^{2}$-norm $ ϕ$. These spaces are known as \emph{Minkowski spaces} and they are one of the fundamental spaces of Finslerian geometry (see https://doi.org/10.1016/S0723-0869(01)80025-6). We prove that the gradient of $\boldsymbolδ_{K}^ϕ$ satisfies a Lipschitz property on the complement of the $ϕ$-cut-locus of $K$ (a.k.a. the medial axis of $\mathbf{R}^{n} \sim K$) and we prove a~structural result for the set of points outside $K$ where $\boldsymbolδ_{K}^ϕ$ is pointwise twice differentiable, providing an answer to a question raised by Hiriart-Urruty (see https://doi.org/10.2307/2321379). Our results give sharp generalisations of some classical results in the theory of distance functions and they are motivated by critical low-regularity examples for which the available results gives no meaningful or very restricted informations. The results of this paper find natural applications in the theory of partial differential equations and in convex geometry.

preprint2020arXiv

Equivalence of the ellipticity conditions for geometric variational problems

We exploit the so called atomic condition, recently defined by De Philippis, De Rosa, and Ghiraldin in [Comm. Pure Appl. Math.] and proved to be necessary and sufficient for the validity of the anisotropic counterpart of the Allard rectifiability theorem. In particular, we address an open question of this seminal work, showing that the atomic condition implies the strict Almgren geometric ellipticity condition.

preprint2016arXiv

Estimating discrete curvatures in terms of beta numbers

For an arbitrary Radon measure $μ$ we estimate the integrated discrete curvature of $μ$ in terms of its centred variant of Jones' beta numbers. We farther relate integrals of centred and non-centred beta numbers. As a corollary, employing the recent result of Tolsa [Calc. Var. PDE, 2015], we obtain a partial converse of the theorem of Meurer [arXiv:1510.04523].

preprint2015arXiv

Compactness and isotopy finiteness for submanifolds with uniformly bounded geometric curvature energies

In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz submanifolds in ${\mathbb{R}}^n$. It turns out that due to a smoothing effect any sequence of submanifolds with uniformly bounded energy contains a subsequence converging in $C^1$ to a limit submanifold. This result has two applications. The first one is an isotopy finiteness theorem: there are only finitely many isotopy types of such submanifolds below a given energy value, and we provide explicit bounds on the number of isotopy types in terms of the respective energy. The second one is the lower semicontinuity - with respect to Hausdorff-convergence of submanifolds - of all geometric curvature energies under consideration, which can be used to minimise each of these energies within prescribed isotopy classes.

preprint2013arXiv

Geometric Sobolev-like embedding using high-dimensional Menger-like curvature

We study a modified version of Lerman-Whitehouse Menger-like curvature defined for m+2 points in an n-dimensional Euclidean space. For 1 <= l <= m+2 and an m-dimensional subset S of R^n we also introduce global versions of this discrete curvature, by taking supremum with respect to m+2-l points on S. We then define geometric curvature energies by integrating one of the global Menger-like curvatures, raised to a certain power p, over all l-tuples of points on S. Next, we prove that if S is compact and m-Ahlfors regular and if p is greater than ml, then the P. Jones' β-numbers of S must decay as r^t with r \to 0 for some t in (0,1). If S is an immersed C^1 manifold or a bilipschitz image of such set then it follows that it is Reifenberg flat with vanishing constant, hence (by a theorem of David, Kenig and Toro) an embedded C^{1,t} manifold. We also define a wide class of other sets for which this assertion is true. After that, we bootstrap the exponent t to the optimal one a = 1 - ml/p showing an analogue of the Morrey-Sobolev embedding theorem. Moreover, we obtain a qualitative control over the local graph representations of S only in terms of the energy.

preprint2012arXiv

Characterizing $W^{2,p}$~submanifolds by $p$-integrability of global curvatures

We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold $Σ^m\subset \R^n$ of class $C^1$ and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set $Σ$ satisfying a mild general condition relating the size of holes in $Σ$ to the flatness of $Σ$ measured in terms of beta numbers) is in fact an embedded manifold of class $C^{1,τ}\cap W^{2,p}$, where $p>m$ and $τ=1-m/p$. The results are based on a careful analysis of Morrey estimates for integral curvature--like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on $Σ$ or (b) the size of spheres tangent to $Σ$ at one point and passing through another point of $Σ$. Appropriately defined \emph{maximal functions} of such integrands turn out to be of class $L^p(Σ)$ for $p>m$ if and only if the local graph representations of $Σ$ have second order derivatives in $L^p$ and $Σ$ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set $Σ$ is a round sphere.

preprint2012arXiv

Integral Menger curvature for sets of arbitrary dimension and codimension

We propose a notion of integral Menger curvature for compact, $m$-dimensional sets in $n$-dimensional Euclidean space and prove that finiteness of this quantity implies that the set is $C^{1,α}$ embedded manifold with the H{ö}lder norm and the size of maps depending only on the curvature. We develop the ideas introduced by Strzelecki and von der Mosel [Adv. Math. 226(2011)] and use a similar strategy to prove our results.

preprint2011arXiv

Minimal Hölder regularity implying finiteness of integral Menger curvature

We study two families of integral functionals indexed by a real number $p > 0$. One family is defined for 1-dimensional curves in $\R^3$ and the other one is defined for $m$-dimensional manifolds in $\R^n$. These functionals are described as integrals of appropriate integrands (strongly related to the Menger curvature) raised to power $p$. Given $p > m(m+1)$ we prove that $C^{1,α}$ regularity of the set (a curve or a manifold), with $α> α_0 = 1 - \frac{m(m+1)}p$ implies finiteness of both curvature functionals ($m=1$ in the case of curves). We also show that $α_0$ is optimal by constructing examples of $C^{1,α_0}$ functions with graphs of infinite integral curvature.