The Return Map in the Class $\mathcal{O}_C$: Geometry, Dynamics, and Thickness Descent

Abstract: We investigate a geometric dynamical mechanism arising in the class $\mathcal{O}C$ of domains containing a fixed convex set $C$ and satisfying two geometric normals properties introduced by Barkatou \cite{barkatou2002}. The first property induces a radial structure linking the boundaries $\partial C$ and $\partialΩ$ through a thickness function $d:\partial C\to\mathbb{R}+$. Using this structure, we introduce a natural return map obtained by composing the radial projection from $\partial C$ to $\partialΩ$ with the map that follows inward normals from $\partialΩ$ back to $C$. This construction generates a discrete dynamical system on $\partial C$. We prove that the return map admits the first-order expansion [ F(c)=c-2d(c)\nabla_{\partial C}d(c)+ \text{higher order terms}, ] which reveals that the induced dynamics behaves, to leading order, like an adaptive gradient descent for the thickness function. The expansion incorporates curvature corrections arising from the convex core $\partial C$ \cite{doCarmo1976}. Consequently, the fixed points of the dynamics coincide with the critical points of $d$, and the iteration admits a natural Lyapunov structure \cite{nesterov2004}. The construction reveals a hidden geometric mechanism: a transformation acting on $\partial C$ emerges from a round-trip through the outer boundary $\partialΩ$, a phenomenon reminiscent of holonomy \cite{sharpe1997}. Numerical simulations illustrate convergence to fixed points, limit cycles, and chaotic behavior. Connections with variational problems (Cheeger, Faber-Krahn, Saint-Venant) within the class $\mathcal{O}_C$ are also explored \cite{henrot2018}.