Random coverage from within with variable radii, and Johnson-Mehl cover times

Given a compact planar region A, let τA be the (random) time it takes for A to be fully covered by a spatial birth-growth process in A with seeds arriving as a unit-intensity Poisson point process in A × [0,∞), where upon arrival each seed grows at unit rate in all directions. We show that if ∂ A is smooth or polygonal then [ π τsA³ - 6 log s - 4 log log s ≤ x] tends to exp(- (81/4π)1/3 |A|e-x/3 - (9/2π²)1/3 |∂ A| e-x/6) in the large-s limit; the second term in the exponent is due to boundary effects, the importance of which was not recognized in earlier work on this model. We present similar results in higher dimensions (where boundary effects dominate). These results are derived using new results on the asymptotic probability of covering A with a high-intensity spherical Poisson Boolean model restricted to A with grains having iid small random radii, which generalize recent work of the author that dealt only with grains of deterministic radius.