Dowker-type theorems for hyperconvex discs

A hyperconvex disc of radius r is a planar set with nonempty interior that is the intersection of closed circular discs of radius r . A convex disc-polygon of radius r is a set with nonempty interior that is the intersection of a finite number of closed circular discs of radius r . We prove that the maximum area and perimeter of convex disc- n -gons of radius r contained in a hyperconvex disc of radius r are concave functions of n , and the minimum area and perimeter of disc- n -gons of radius r containing a hyperconvex disc of radius r are convex functions of n . We also consider hyperbolic and spherical versions of these statements

Dowker-type theorems for disk-polygons in normed planes

A classical result of Dowker (Bull. Amer. Math. Soc. 50: 120-122, 1944) states that for any plane convex body $K$ in the Euclidean plane, the areas of the maximum (resp. minimum) area convex $n$-gons inscribed (resp. circumscribed) in $K$ is a concave (resp. convex) sequence. It is known that this theorem remains true if we replace area by perimeter, the Euclidean plane by an arbitrary normed plane, or convex $n$-gons by disk-$n$-gons, obtained as the intersection of $n$ closed Euclidean unit disks. The aim of our paper is to investigate these problems for $C$-$n$-gons, defined as intersections of $n$ translates of the unit disk $C$ of a normed plane. In particular, we show that Dowker's theorem remains true for the areas and the perimeters of circumscribed $C$-$n$-gons, and the perimeters of inscribed $C$-$n$-gons. We also show that in the family of origin-symmetric plane convex bodies, for a typical element $C$ with respect to Hausdorff distance, Dowker's theorem for the areas of inscribed $C$-$n$-gons fails.Comment: 15 pages, 4 figure

On a Dowker-type problem for convex disks with almost constant curvature

A classical result of Dowker (Bull. Amer. Math. Soc. 50: 120-122, 1944) states that for any plane convex body $K$, the areas of the maximum (resp. minimum) area convex $n$-gons inscribed (resp. circumscribed) in $K$ is a concave (resp. convex) sequence. It is known that this theorem remains true if we replace area by perimeter, or convex $n$-gons by disk-$n$-gons, obtained as the intersection of $n$ closed Euclidean unit disks. It has been proved recently that if $C$ is the unit disk of a normed plane, then the same properties hold for the area of $C$-$n$-gons circumscribed about a $C$-convex disk $K$ and for the perimeters of $C$-$n$-gons inscribed or circumscribed about a $C$-convex disk $K$, but for a typical origin-symmetric convex disk $C$ with respect to Hausdorff distance, there is a $C$-convex disk $K$ such that the sequence of the areas of the maximum area $C$-$n$-gons inscribed in $K$ is not concave. The aim of this paper is to investigate this question if we replace the topology induced by Hausdorff distance with a topology induced by the surface area measure of the boundary of $C$.Comment: 12 pages, 3 figure

Variance estimates for random disc-polygons in smooth convex discs

In this paper we prove asymptotic upper bounds on the variance of the number of vertices and missed area of inscribed random disc-polygons in smooth convex discs whose boundary is C2+. We also consider a circumscribed variant of this probability model in which the convex disc is approximated by the intersection of random circles