Showing 1–13 of 13 results for author: Kolasiński, S

Regularity of distance functions from arbitrary closed sets

Authors: Sławomir Kolasiński, Mario Santilli

Abstract: 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 th… ▽ More 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. △ Less

Submitted 25 February, 2022; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: Major revision

MSC Class: 35F20; 49L25

Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets

Authors: Antonio De Rosa, Sławomir Kolasiński, Mario Santilli

Abstract: Given an elliptic integrand of class $ \mathscr{C}^{3} $, we prove that finite unions of disjoint open Wulff shapes with equal radii are the only volume-constrained critical points of the anisotropic surface energy among all sets with finite perimeter and reduced boundary almost equal to its closure. Given an elliptic integrand of class $ \mathscr{C}^{3} $, we prove that finite unions of disjoint open Wulff shapes with equal radii are the only volume-constrained critical points of the anisotropic surface energy among all sets with finite perimeter and reduced boundary almost equal to its closure. △ Less

Submitted 26 August, 2019; originally announced August 2019.

MSC Class: 49Q10; 49Q20; 53A10

Equivalence of the ellipticity conditions for geometric variational problems

Authors: Antonio De Rosa, Sławomir Kolasiński

Abstract: 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 elliptic… ▽ More 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. △ Less

Submitted 6 February, 2020; v1 submitted 16 October, 2018; originally announced October 2018.

MSC Class: 49Q20; 28A75; 49Q15

Existence of solutions to a general geometric elliptic variational problem

Authors: Yangqin Fang, Sławomir Kolasiński

Abstract: We consider the problem of minimising an inhomogeneous anisotropic elliptic functional in a class of closed $m$ dimensional subsets of $\mathbf{R}^n$ which is stable under taking smooth deformations homotopic to the identity and under local Hausdorff limits. We prove that the minimiser exists inside the class and is an $(\mathscr{H}^m,m)$~rectifiable set in the sense of Federer. The class of compe… ▽ More We consider the problem of minimising an inhomogeneous anisotropic elliptic functional in a class of closed $m$ dimensional subsets of $\mathbf{R}^n$ which is stable under taking smooth deformations homotopic to the identity and under local Hausdorff limits. We prove that the minimiser exists inside the class and is an $(\mathscr{H}^m,m)$~rectifiable set in the sense of Federer. The class of competitors encodes a notion of spanning a boundary. We admit unrectifiable and non-compact competitors and boundaries, and we make no restrictions on the dimension $m$ and the co-dimension $n-m$ other than $1 \le m < n$. An important tool for the proof is a novel smooth deformation theorem. The skeleton of the proof and the main ideas follow Almgren's 1968 paper. In the end we show that classes of sets spanning some closed set $B$ in homological and cohomological sense satisfy our axioms. △ Less

Submitted 24 April, 2018; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: This is a pre-print of an article accepted for publication in Calc. Var. PDE

MSC Class: 49Q20; 28A75; 49Q15

Estimating discrete curvatures in terms of beta numbers

Authors: Sławomir Kolasiński

Abstract: 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]. 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]. △ Less

Submitted 3 May, 2016; originally announced May 2016.

MSC Class: 28A75; 49Q15

Higher order rectifiability of measures via averaged discrete curvatures

Authors: Sławomir Kolasiński

Abstract: We provide a sufficient geometric condition for $\mathbb{R}^n$ to be countably $(μ,m)$ rectifiable of class $\mathscr{C}^{1,α}$ (using the terminology of Federer), where $μ$ is a Radon measure having positive lower density and finite upper density $μ$ almost everywhere. Our condition involves integrals of certain many-point interaction functions (discrete curvatures) which measure flatness of simp… ▽ More We provide a sufficient geometric condition for $\mathbb{R}^n$ to be countably $(μ,m)$ rectifiable of class $\mathscr{C}^{1,α}$ (using the terminology of Federer), where $μ$ is a Radon measure having positive lower density and finite upper density $μ$ almost everywhere. Our condition involves integrals of certain many-point interaction functions (discrete curvatures) which measure flatness of simplices spanned by the parameters. △ Less

Submitted 12 April, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: Thoroughly revised and shortened version. A bit stronger result about measures and not only sets. Cleaner statement of the main result. Concise introduction. No claims to build a general theory

MSC Class: 28A75; 49Q15; 28A78

Journal ref: Revista Matemática Iberoamericana, Volume 33, Issue 3, 2017, pp. 861-884

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

Authors: Sławomir Kolasiński, Paweł Strzelecki, Heiko von der Mosel

Abstract: 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 conve… ▽ More 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. △ Less

Submitted 2 October, 2015; v1 submitted 17 April, 2015; originally announced April 2015.

Comments: 44 pages, 5 figures

MSC Class: Primary: 53C23; 49Q20; Secondary: 49Q10; 49J45; 53C21; 57R52

Decay rates for the quadratic and super-quadratic tilt-excess of integral varifolds

Authors: Sławomir Kolasiński, Ulrich Menne

Abstract: This paper concerns integral varifolds of arbitrary dimension in an open subset of Euclidean space satisfying integrability conditions on their first variation. Firstly, the study of pointwise power decay rates almost everywhere of the quadratic tilt-excess is completed by establishing the precise decay rate for two-dimensional integral varifolds of locally bounded first variation. In order to obt… ▽ More This paper concerns integral varifolds of arbitrary dimension in an open subset of Euclidean space satisfying integrability conditions on their first variation. Firstly, the study of pointwise power decay rates almost everywhere of the quadratic tilt-excess is completed by establishing the precise decay rate for two-dimensional integral varifolds of locally bounded first variation. In order to obtain the exact decay rate, a coercive estimate involving a height-excess quantity measured in Orlicz spaces is established. Moreover, counter-examples to pointwise power decay rates almost everywhere of the super-quadratic tilt-excess are obtained. These examples are optimal in terms of the dimension of the varifold and the exponent of the integrability condition in most cases, for example if the varifold is not two-dimensional. These examples also demonstrate that within the scale of Lebesgue spaces no local higher integrability of the second fundamental form, of an at least two-dimensional curvature varifold, may be deduced from boundedness of its generalised mean curvature vector. Amongst the tools are Cartesian products of curvature varifolds. △ Less

Submitted 17 November, 2015; v1 submitted 28 January, 2015; originally announced January 2015.

Comments: mainly extended the overview section; updated references

MSC Class: 49Q15; 28A15; 35J47; 35J60

Journal ref: NoDEA Nonlinear Differential Equations Appl., 24:Art. 17, 56, 2017

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

Authors: Sławomir Kolasiński

Abstract: 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 curvature… ▽ More 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. △ Less

Submitted 8 March, 2013; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: I removed Example 3.11, which was wrong in the sense that the β-numbers for this set do not decay as r^2

MSC Class: 28A75; 49Q10; 49Q20; 49Q15

Journal ref: Trans. Amer. Math. Soc., Vol. 367, 775-811, 2015

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

Authors: Sławomir Kolasiński, Paweł Strzelecki, Heiko von der Mosel

Abstract: 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… ▽ More 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. △ Less

Submitted 20 October, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 44 pages, 2 figures; several minor corrections

MSC Class: 28A75; 46E35; 53A07

Journal ref: Geometric Functional Analysis 23, no. 3 (2013), 937--984

Minimal Hölder regularity implying finiteness of integral Menger curvature

Authors: Sławomir Kolasiński, Marta Szumańska

Abstract: 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 t… ▽ More 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. △ Less

Submitted 17 November, 2011; v1 submitted 4 November, 2011; originally announced November 2011.

MSC Class: 49Q10; 28A75; 49Q20; 49Q15

Sharp Boundedness and Regularizing effects of the integral Menger curvature for submanifolds

Authors: Simon Blatt, Sławomir Kolasiński

Abstract: In this paper we show that embedded and compact $C^1$ manifolds have finite integral Menger curvature if and only if they are locally graphs of certain Sobolev-Slobodeckij spaces. Furthermore, we prove that for some intermediate energies of integral Menger type a similar characterization of objects with finite energy can be given. In this paper we show that embedded and compact $C^1$ manifolds have finite integral Menger curvature if and only if they are locally graphs of certain Sobolev-Slobodeckij spaces. Furthermore, we prove that for some intermediate energies of integral Menger type a similar characterization of objects with finite energy can be given. △ Less

Submitted 21 October, 2011; originally announced October 2011.

MSC Class: 46E35; 28A75;

Integral Menger curvature for sets of arbitrary dimension and codimension

Authors: Sławomir Kolasiński

Abstract: 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 strat… ▽ More 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. △ Less

Submitted 7 December, 2012; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: This dissertation is not going to be published. The article "Geometric Sobolev-like embedding using high-dimensional Menger-like curvature" [arXiv:1205.4112] obsoletes my thesis. For any further reference one should use [arXiv:1205.4112] or its published version

MSC Class: 49Q15; 49Q20; 28A75