Geodesic strong convexity does not imply forward invariance under gradient flow on SO(3): a certified counterexample

Dongming Wang, Wei Ren

Let $mathcalC={\overline{\mathcal{B}}}_{\rho }(R_c)$ be a geodesic ball of radius $\rho <\pi /2$ in SO(3) with the bi-invariant metric, and let $f$ be geodesically strongly convex on $\mathcal{…