 Solution

Write $\ell (x,u)=t_{+}(x,u)-t_{-}(x,u)$ and letThis is the accepted fraction of directions when zero-length chords are redrawn; it equals one in the interior. The Markov kernel integrates a test function $h$ asThe signed polar representation has Jacobian determinant $|t|$. Each point $y\ne x$ is represented twice, once with positive $t$ and once with negative $t$ and the opposite direction. Since the chord is the same in either representation, the hit-and-run kernel density isfor almost every $y\in \mathcal{C}$, and it is zero outside the body. Thus the transition is absolutely continuous with respect to planar Lebesgue measure. Redrawing removes the only potential zero-chord atoms.

Let $D=\mathrm{diam}(\mathcal{C})>0$. For distinct $x,y\in \mathcal{C}$, the chord contains their segment, so it has positive length, andHence $p(x,y)\ge 1/(\pi D^2)$. Values on the diagonal, and on other null sets where a density is only specified almost everywhere, can be assigned this same lower bound. This gives a version satisfyingFor interior $x,y$, $a(x)=a(y)=1$ and the chord length is unchanged on interchanging its endpoints, so $p(x,y)=p(y,x)$. A convex body's boundary has area zero; for example contractions about an interior point fill the interior and their areas tend to the body's area. Thus this symmetry holds almost everywhere for two uniform points, proving detailed balance and stationarity of the uniform distribution. Without positive area or the boundary convention in part (a), the literal assertion need not hold.