A frequency‐constrained geometric Pontryagin maximum principle on matrix Lie groups. (22nd July 2020)