Showing 1–23 of 23 results for author: Rataj, J

Mean Minkowski content and mean fractal curvatures of random self-similar code tree fractals

Authors: Jan Rataj, Steffen Winter, Martina Zähle

Abstract: We consider a class of random self-similar fractals based on code trees which includes random recursive, homogeneous and V-variable fractals and many more. For such random fractals we consider mean values of the Lipschitz-Killing curvatures of their parallel sets for small parallel radii. Under the uniform strong open set condition and some further geometric assumptions we show that rescaled limit… ▽ More We consider a class of random self-similar fractals based on code trees which includes random recursive, homogeneous and V-variable fractals and many more. For such random fractals we consider mean values of the Lipschitz-Killing curvatures of their parallel sets for small parallel radii. Under the uniform strong open set condition and some further geometric assumptions we show that rescaled limits of these mean values exist as the parallel radius tends to 0. Moreover, integral representations are derived for these limits which recover and extend those known in the deterministic case and certain random cases. Results on the mean Minkowski content are included as a special case and shown to hold under weaker geometric assumptions. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 25 pages, 3 Figures

MSC Class: Primary 28A80; Secondary 28A75; 53C65; 60D05; 60G57

On the (outer) Minkowski content with lower-dimensional structuring element

Authors: Markus Kiderlen, Jan Rataj

Abstract: Given a convex body $Q$ (structuring element) and a set $A$ in a Euclidean space, we consider the $Q$-Minkowski content of $A$. It is defined as the usual isotropic Minkowski content of $A$, but where the Euclidean ball is replaced by $Q$. When $Q$ is full-dimensional, the existence of the $Q$-Minkowski content can be assured by a sufficient condition which was stated by Ambrosio, Fusco and Pallar… ▽ More Given a convex body $Q$ (structuring element) and a set $A$ in a Euclidean space, we consider the $Q$-Minkowski content of $A$. It is defined as the usual isotropic Minkowski content of $A$, but where the Euclidean ball is replaced by $Q$. When $Q$ is full-dimensional, the existence of the $Q$-Minkowski content can be assured by a sufficient condition which was stated by Ambrosio, Fusco and Pallara in the isotropic case. If $Q$ is not full-dimensional, we show that a weaker condition is sufficient for this purpose. We also consider the outer $Q$-Minkowski content of $A$ yielding the anisotropic perimeter of $A$ and we find a sufficient condition for its existence. Finally, we present an example of a set in three-dimensional Euclidean space, which does not admit the isotropic outer Minkwski content, but it admits the outer $Q$-Minkowski content for all two-dimensional disks $Q$. △ Less

Submitted 4 April, 2025; originally announced April 2025.

Comments: 23 pages

MSC Class: 28A75; 49Q15; 52A39

On volume and surface area of parallel sets. II. Surface measures and (non-)differentiability of the volume

Authors: Jan Rataj, Steffen Winter

Abstract: We prove that at differentiability points $r_0>0$ of the volume function of a compact set $A\subset {\mathbb R}^d$ (associating to $r$ the volume of the $r$-parallel set of $A$), the surface area measures of $r$-parallel sets of $A$ converge weakly to the surface area measure of the $r_0$-parallel set as $r\to r_0$. We further study the question which sets of parallel radii can occur as sets of no… ▽ More We prove that at differentiability points $r_0>0$ of the volume function of a compact set $A\subset {\mathbb R}^d$ (associating to $r$ the volume of the $r$-parallel set of $A$), the surface area measures of $r$-parallel sets of $A$ converge weakly to the surface area measure of the $r_0$-parallel set as $r\to r_0$. We further study the question which sets of parallel radii can occur as sets of non-differentiability points of the volume function of some compact set. We provide a full characterization for dimensions $d=1$ and $2$. △ Less

Submitted 19 December, 2024; v1 submitted 18 January, 2023; originally announced January 2023.

MSC Class: 28A75; 28A80; 51M25

Mean Lipschitz-Killing curvatures for homogeneous random fractals

Authors: Jan Rataj, Steffen Winter, Martina Zähle

Abstract: Homogeneous random fractals form a probabilistic extension of self-similar sets with more dependencies than in random recursive constructions. For such random fractals we consider mean values of the Lipschitz-Killing curvatures of their parallel sets for small parallel radii. Under the Uniform Strong Open Set Condition and some further geometric assumptions we show that rescaled limits of these me… ▽ More Homogeneous random fractals form a probabilistic extension of self-similar sets with more dependencies than in random recursive constructions. For such random fractals we consider mean values of the Lipschitz-Killing curvatures of their parallel sets for small parallel radii. Under the Uniform Strong Open Set Condition and some further geometric assumptions we show that rescaled limits of these mean values exist as the parallel radius tends to zero. Moreover, integral representations are derived for these limits which extend those known in the deterministic case. △ Less

Submitted 27 September, 2022; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: 34 pages, 1 figure

MSC Class: Primary: 28A80; 60G57; Secondary: 28A75; 53C65; 60D05

Mean Euler characteristic of stationary random closed sets

Authors: Jan Rataj

Abstract: The translative intersection formula of integral geometry yields an expression for the mean Euler characteristic of a stationary random closed set intersected with a fixed observation window. We formulate this result in the setting of sets with positive reach and using flag measures which yield curvature measures as marginals. As an application, we consider excursion sets of stationary random fiel… ▽ More The translative intersection formula of integral geometry yields an expression for the mean Euler characteristic of a stationary random closed set intersected with a fixed observation window. We formulate this result in the setting of sets with positive reach and using flag measures which yield curvature measures as marginals. As an application, we consider excursion sets of stationary random fields with $C^{1,1}$ realizations, in particular, stationary Gaussian fields, and obtain results which extend those known from the literature. △ Less

Submitted 18 January, 2021; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: A new section (Polytopal window) has been added

MSC Class: 60D05; 60G60; 53C65

Journal ref: Stochastic Process. Appl. 137 (2021), 252-271

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

Dilation volumes of sets of finite perimeter

Authors: Markus Kiderlen, Jan Rataj

Abstract: This paper analyzes the first order behavior (that is, the right sided derivative) of the volume of the dilation $A\oplus tQ$ as $t$ converges to zero. Here $A$ and $Q$ are subsets of $n$-dimensional Euclidean space, $A$ has finite perimeter and $Q$ is finite. If $Q$ consists of two points only, $x$ and $x+u$, say, this derivative coincides up to sign with the directional derivative of the covario… ▽ More This paper analyzes the first order behavior (that is, the right sided derivative) of the volume of the dilation $A\oplus tQ$ as $t$ converges to zero. Here $A$ and $Q$ are subsets of $n$-dimensional Euclidean space, $A$ has finite perimeter and $Q$ is finite. If $Q$ consists of two points only, $x$ and $x+u$, say, this derivative coincides up to sign with the directional derivative of the covariogram of $A$ in direction $u$. By known results for the covariogram, this derivative can therefore be expressed by the cosine transform of the surface area measure of $A$. We extend this result to finite sets $Q$ and use it to determine the derivative of the contact distribution function with finite structuring element of a stationary random set at zero. The proofs are based on approximation of the characteristic function of $A$ by smooth functions of bounded variation and showing corresponding formulas for them. △ Less

Submitted 30 August, 2017; originally announced August 2017.

MSC Class: 26B30; 28A75; 60D05

Journal ref: Adv. Appl. Probab. 50 (2018) 1095-1118

Flag representations of mixed volumes and mixed functionals of convex bodies

Authors: Daniel Hug, Jan Rataj, Wolfgang Weil

Abstract: Mixed volumes $V(K_1,\dots, K_d)$ of convex bodies $K_1,\dots ,K_d$ in Euclidean space $\mathbb{R}^d$ are of central importance in the Brunn-Minkowski theory. Representations for mixed volumes are available in special cases, for example as integrals over the unit sphere with respect to mixed area measures. More generally, in Hug-Rataj-Weil (2013) a formula for $V(K [n], M[d-n])$,… ▽ More Mixed volumes $V(K_1,\dots, K_d)$ of convex bodies $K_1,\dots ,K_d$ in Euclidean space $\mathbb{R}^d$ are of central importance in the Brunn-Minkowski theory. Representations for mixed volumes are available in special cases, for example as integrals over the unit sphere with respect to mixed area measures. More generally, in Hug-Rataj-Weil (2013) a formula for $V(K [n], M[d-n])$, $n\in \{1,\dots ,d-1\}$, as a double integral over flag manifolds was established which involved certain flag measures of the convex bodies $K$ and $M$ (and required a general position of the bodies). In the following, we discuss the general case $V(K_1[n_1],\dots , K_k[n_k])$, $n_1+\cdots +n_k=d$, and show a corresponding result involving the flag measures $Ω_{n_1}(K_1;\cdot),\dots, Ω_{n_k}(K_k;\cdot)$. For this purpose, we first establish a curvature representation of mixed volumes over the normal bundles of the bodies involved. We also obtain a corresponding flag representation for the mixed functionals from translative integral geometry and a local version, for mixed (translative) curvature measures. △ Less

Submitted 19 September, 2017; v1 submitted 13 May, 2017; originally announced May 2017.

MSC Class: 52A20; 52A22; 52A39; 53C65

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

Mixed curvature measures of translative integral geometry

Authors: Daniel Hug, Jan Rataj

Abstract: The curvature measures of a set $X$ with singularities are measures concentrated on the normal bundle of $X$, which describe the local geometry of the set $X$. For given finitely many convex bodies or, more generally, sets with positive reach, the translative integral formula for curvature measures relates the integral mean of the curvature measures of the intersections of the given sets, one fixe… ▽ More The curvature measures of a set $X$ with singularities are measures concentrated on the normal bundle of $X$, which describe the local geometry of the set $X$. For given finitely many convex bodies or, more generally, sets with positive reach, the translative integral formula for curvature measures relates the integral mean of the curvature measures of the intersections of the given sets, one fixed and the others translated, to the mixed curvature measures of the given sets. In the case of two sets of positive reach, a representation of these mixed measures in terms of generalized curvatures, defined on the normal bundles of the sets, is known. For more than two sets, a description of mixed curvature measures in terms of rectifiable currents has been derived previously. Here we provide a representation of mixed curvatures measures of sets with positive reach based on generalized curvatures. The special case of convex polyhedra is treated in detail. △ Less

Submitted 14 June, 2016; originally announced June 2016.

MSC Class: 53C65; 52A20

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

Kinematic formulas for sets defined by differences of convex functions

Authors: Joseph H. G. Fu, Dusan Pokorny, Jan Rataj

Abstract: Two of the authors have defined the class $ WDC(M)$ as the class of all subsets of a smooth manifold $M$ that may be expressed in local coordinates as certain sublevel sets of DC (differences of convex) functions. If $M$ is Riemanian and $G$ is a group of isometries acting transitively on the sphere bundle $SM$, we define the invariant curvature measures of compact \WDC~ subsets of $M$, and show t… ▽ More Two of the authors have defined the class $ WDC(M)$ as the class of all subsets of a smooth manifold $M$ that may be expressed in local coordinates as certain sublevel sets of DC (differences of convex) functions. If $M$ is Riemanian and $G$ is a group of isometries acting transitively on the sphere bundle $SM$, we define the invariant curvature measures of compact \WDC~ subsets of $M$, and show that pairs of such subsets are subject to the array of kinematic formulas known to apply to smoother sets. Restricting to the case $(M, G) = (\mathbb R^d, \overline{SO(d)})$, this extends and subsumes Federer's theory of sets with positive reach in an essential way. The key technical point is equivalent to a sharpening of a classical theorem of Ewald, Larman, and Rogers characterizing the dimension of the set of directions of line segments lying in the boundary of a given convex body. △ Less

Submitted 13 October, 2015; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 26 pages. Further minor revisions

MSC Class: 53C65; 52A20

A flag representation of projection functions

Authors: Paul Goodey, Wolfram Hinderer, Daniel Hug, Jan Rataj, Wolfgang Weil

Abstract: The $k$th projection function $v_k(K,\cdot)$ of a convex body $K\subset {\mathbb R}^d, d\ge 3,$ is a function on the Grassmannian $G(d,k)$ which measures the $k$-dimensional volume of the projection of $K$ onto members of $G(d,k)$. For $k=1$ and $k=d-1$, simple formulas for the projection functions exist. In particular, $v_{d-1}(K,\cdot)$ can be written as a spherical integral with respect to the… ▽ More The $k$th projection function $v_k(K,\cdot)$ of a convex body $K\subset {\mathbb R}^d, d\ge 3,$ is a function on the Grassmannian $G(d,k)$ which measures the $k$-dimensional volume of the projection of $K$ onto members of $G(d,k)$. For $k=1$ and $k=d-1$, simple formulas for the projection functions exist. In particular, $v_{d-1}(K,\cdot)$ can be written as a spherical integral with respect to the surface area measure of $K$. Here, we generalize this result and prove two integral representations for $v_k(K,\cdot), k=1,\dots,d-1$, over flag manifolds. Whereas the first representation generalizes a result of Ambartzumian (1987), but uses a flag measure which is not continuous in $K$, the second representation is related to a recent flag formula for mixed volumes by Hug, Rataj and Weil (2013) and depends continuously on $K$. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Comments: 29 pages

MSC Class: 52A20; 52A22; 52A39; 53C65

Legendrian cycles and curvatures

Authors: Jan Rataj, Martina Zähle

Abstract: Properties of general Legendrian cycles $T$ acting in ${\mathbb R}^d\times S^{d-1}$ are studied. In particular, we give short proofs for certain uniqueness theorems with respect to the projections on the first and second component of such currents: In general, $T$ is determined by its restriction to the Gauss curvature form - this result goes back to J. Fu - and in the full-dimensional case also b… ▽ More Properties of general Legendrian cycles $T$ acting in ${\mathbb R}^d\times S^{d-1}$ are studied. In particular, we give short proofs for certain uniqueness theorems with respect to the projections on the first and second component of such currents: In general, $T$ is determined by its restriction to the Gauss curvature form - this result goes back to J. Fu - and in the full-dimensional case also by the restriction to the surface area form. As a tool a version of the Constancy theorem for Lipschitz submanifolds is shown. △ Less

Submitted 10 February, 2014; originally announced February 2014.

MSC Class: 53C65; 28A75; 53A07

Journal ref: J. Geom. Anal. 25 (2015) 2133-2147

Random sets of finite perimeter

Authors: Jan Rataj

Abstract: An approach to modelling random sets with locally finite perimeter as random elements in the corresponding subspace of $L^1$ functions is suggested. A Crofton formula for flat sections of the perimeter is shown. Finally, random processes of particles with finite perimeter are introduced and it is shown that their union sets are random sets with locally finite perimeter. An approach to modelling random sets with locally finite perimeter as random elements in the corresponding subspace of $L^1$ functions is suggested. A Crofton formula for flat sections of the perimeter is shown. Finally, random processes of particles with finite perimeter are introduced and it is shown that their union sets are random sets with locally finite perimeter. △ Less

Submitted 8 January, 2014; originally announced January 2014.

MSC Class: 60D05; 60B99

Journal ref: Math. Nachr. 288 (2015) 1047-1056

Normal cycles and curvature measures of sets with d.c. boundary

Authors: Dusan Pokorny, Jan Rataj

Abstract: We show that for every compact domain in a Euclidean space with d.c. (delta-convex) boundary there exists a unique Legendrian cycle such that the associated curvature measures fulfil a local version of the Gauss-Bonnet formula. This was known in dimensions two and three and was open in higher dimensions. In fact, we show this property for a larger class of sets including also lower-dimensional set… ▽ More We show that for every compact domain in a Euclidean space with d.c. (delta-convex) boundary there exists a unique Legendrian cycle such that the associated curvature measures fulfil a local version of the Gauss-Bonnet formula. This was known in dimensions two and three and was open in higher dimensions. In fact, we show this property for a larger class of sets including also lower-dimensional sets. We also describe the local index function of the Legendrian cycles and we show that the associated curvature measures fulfill the Crofton formula. △ Less

Submitted 22 July, 2013; v1 submitted 11 September, 2012; originally announced September 2012.

Comments: 22 pp, corrected version

MSC Class: 26B25; 53C65

Journal ref: Advances in Mathematics 248 (2013), 963-985

A product integral representation of mixed volumes of two convex bodies

Authors: Daniel Hug, Jan Rataj, Wolfgang Weil

Abstract: The Brunn-Minkowski theory relies heavily on the notion of mixed volumes. Despite its particular importance, even explicit representations for the mixed volumes of two convex bodies in Euclidean space are available only in special cases. Here we investigate a new integral representation of such mixed volumes, in terms of flag measures of the involved convex sets. A brief introduction to (extended)… ▽ More The Brunn-Minkowski theory relies heavily on the notion of mixed volumes. Despite its particular importance, even explicit representations for the mixed volumes of two convex bodies in Euclidean space are available only in special cases. Here we investigate a new integral representation of such mixed volumes, in terms of flag measures of the involved convex sets. A brief introduction to (extended) flag measures of convex bodies is also provided. △ Less

Submitted 2 January, 2013; v1 submitted 30 November, 2011; originally announced December 2011.

MSC Class: 52A20 (Primary) 52A22; 52A39; 53C65 (Secondary)

Journal ref: Adv. Geom. 13 (2013), 633 - 662

Characterization of Minkowski measurability in terms of surface area

Authors: Jan Rataj, Steffen Winter

Abstract: The $r$-parallel set to a set $A$ in Euclidean space consists of all points with distance at most $r$ from $A$. Recently, the asymptotic behaviour of volume and the surface area of parallel sets as $r$ tends to 0 has been studied and some general results regarding their relations have been established. In this paper we complete this picture. In particular, we show that a set is Minkowski measurabl… ▽ More The $r$-parallel set to a set $A$ in Euclidean space consists of all points with distance at most $r$ from $A$. Recently, the asymptotic behaviour of volume and the surface area of parallel sets as $r$ tends to 0 has been studied and some general results regarding their relations have been established. In this paper we complete this picture. In particular, we show that a set is Minkowski measurable if and only if it is S-measurable, i.e. if its S-content is positive and finite, and that positivity and finiteness of lower and upper Minkowski content implies the same for the S-contents and vice versa. The results are formulated in the more general setting of Kneser functions. Furthermore, the relations between Minkowski and S-contents are studied for more general gauge functions. The results are also applied to simplify the proof of the Modified Weyl-Berry conjecture in dimension one. △ Less

Submitted 1 December, 2011; v1 submitted 8 November, 2011; originally announced November 2011.

Comments: slightly revised original version

MSC Class: 28A75; 28A80; 52A20; 60D05

Journal ref: J. Math. Anal. Appl. 400 (2013), 120-132

Curvature densities of self-similar sets

Authors: Jan Rataj, Martina Zähle

Abstract: For a large class of self-similar sets F in R^d analogues of the higher order mean curvatures of differentiable submanifolds are introduced, in particular, the fractal Gauss-type curvature. They are shown to be the densities of associated fractal curvature measures, which are all multiples of the corresponding Hausdorff measures on F, due to its self-similarity. This local approach based on ergodi… ▽ More For a large class of self-similar sets F in R^d analogues of the higher order mean curvatures of differentiable submanifolds are introduced, in particular, the fractal Gauss-type curvature. They are shown to be the densities of associated fractal curvature measures, which are all multiples of the corresponding Hausdorff measures on F, due to its self-similarity. This local approach based on ergodic theory for an associated dynamical system enables us to extend former global curvature results. △ Less

Submitted 30 September, 2010; originally announced September 2010.

Comments: 17 pages

MSC Class: Prrimary: 28A80; 37A30; Seccondary 28A75; 28A78; 53C65

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

Approximations of the Wiener sausage and its curvature measures

Authors: Jan Rataj, Evgeny Spodarev, Daniel Meschenmoser

Abstract: A parallel neighborhood of a path of a Brownian motion is sometimes called the Wiener sausage. We consider almost sure approximations of this random set by a sequence of random polyconvex sets and show that the convergence of the corresponding mean curvature measures holds under certain conditions in two and three dimensions. Based on these convergence results, the mean curvature measures of the… ▽ More A parallel neighborhood of a path of a Brownian motion is sometimes called the Wiener sausage. We consider almost sure approximations of this random set by a sequence of random polyconvex sets and show that the convergence of the corresponding mean curvature measures holds under certain conditions in two and three dimensions. Based on these convergence results, the mean curvature measures of the Wiener sausage are calculated numerically by Monte Carlo simulations in two dimensions. The corresponding approximation formulae are given. △ Less

Submitted 20 October, 2009; originally announced October 2009.

Comments: Published in at http://dx.doi.org/10.1214/09-AAP596 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP596 MSC Class: 60J65 (Primary) 60D05 (Secondary)

Journal ref: Annals of Applied Probability 2009, Vol. 19, No. 5, 1840-1859

On Volume and Surface Area of Parallel Sets

Authors: Jan Rataj, Steffen Winter

Abstract: The r-parallel set to a set A in a Euclidean space consists of all points with distance at most r from A. We clarify the relation between the volume and the surface area of parallel sets and study the asymptotic behaviour of both quantities as r tends to 0. We show, for instance, that in general, the existence of a (suitably rescaled) limit of the surface area implies the existence of the correspo… ▽ More The r-parallel set to a set A in a Euclidean space consists of all points with distance at most r from A. We clarify the relation between the volume and the surface area of parallel sets and study the asymptotic behaviour of both quantities as r tends to 0. We show, for instance, that in general, the existence of a (suitably rescaled) limit of the surface area implies the existence of the corresponding limit for the volume, known as the Minkowski content. A full characterisation is obtained for the case of self-similar fractal sets. Applications to stationary random sets are discussed as well, in particular, to the trajectory of the Brownian motion. △ Less

Submitted 11 October, 2010; v1 submitted 20 May, 2009; originally announced May 2009.

Comments: 19 pages

MSC Class: 28A75; 52A20; 60D05

Journal ref: Indiana University Mathematics Journal 59, 5 (2010), 1661-1685

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