First contact distributions for spatial patterns: regularity and estimation

For applications in spatial statistics, an important property of a random set X in Rk is its first contact distribution. This is the distribution of the distance from a fixed point 0 to the nearest point of X, where distance is measured using scalar dilations of a fixed test set B. We show that, if B is convex and contains a neighbourhood of 0, the first contact distribution function FB is absolutely continuous. We give two explicit representations of FB, and additional regularity conditions under which FB is continuously differentiable. A Kaplan-Meier estimator of FB is introduced and its basic properties examined.