Which domains have two-sided supporting unit spheres at every boundary point? (Q2221498)

Let \(r>0\) be given. Then a subset \(\Omega\) of \(\mathbb{R}^N\) is said to satisfy the two-sided supporting \(r\)-sphere condition if \[ \left \{\begin{array}{ccc} \text{for every } x_0\in \partial \Omega,\ \text{there exist } a, b \in \mathbb{R}^N \ \text{such that}\\ B_r (a) \subset \Omega,\ B_r (b) \subset \mathbb{R}^N,\ \text{and}\ |x_0- a| = |x_0 -b| = r. \end{array}\right. \eqno{(S_r)} \] Also, \(\Omega\) is said to satisfy the condition of \(\frac{1}{r}\)-Lipschitz continuity of the normal vector if \[ \left \{\begin{array}{ccc} \text{the boundary}\ \partial \Omega \ \text{is}\ C^1 \text{-regular and the outward unit normal}\\ \vec{n}: \partial \Omega \to \mathbb{R}^N\ \text{obeys:}\\ | \vec{n}(x_0)-\vec{n}(y_0) |\leq \frac{1}{r}|x_0-y_0|\ \text{for all}\ x_0, y_0 \in \partial \Omega. \end{array}\right. \eqno{(L_r)} \] Note that for \(\Omega=B_r (0)\), both \((S_r)\) and \((L_r)\) hold. In this paper, the authors prove that if \(\Omega \subset \mathbb{R}^N\) is a domain (i.e., an open, connected set), then for any \(r>0\), conditions \((S_r)\) and \((L_r)\) are equivalent.