Benign Geometry and Distributional Robustness of ${\mathcal{H}}_2$ Synthesis

In this paper, we study standard and distributionally robust ${\mathcal{H}}_2$ synthesis problem of a stabilizing state-feedback controller for discrete-time linear time-invariant systems. Without requiring a nonsingular disturbance controllability Gramian or a positive-definite control penalty, we establish that stationarity of a stabilizing gain in standard ${\mathcal{H}}_2$ synthesis is equivalent to global optimality and derive an exact Pythagorean identity for the performance difference. We then generalize the ${\mathcal{H}}_2$ synthesis problem by considering i.i.d. disturbances with zero mean and uniformly bounded second moments, and extend the stationarity-optimality equivalence to the corresponding distributionally robust ${\mathcal{H}}_2$ synthesis. Moreover, we show that every standard ${\mathcal{H}}_2$-optimal gain is simultaneously optimal for every such distributionally robust problem. Finally, we specialize the framework to Frobenius, Kullback--Leibler, and Wasserstein-2 ambiguity sets and obtain explicit characterizations of their worst-case covariances, which, in turn, provide performance certificates for a common optimal controller.