First- and Second-Order Conditions at a Penalised Extremum of an Intrinsic Test Function on the Wasserstein Space

In the setting of The Intrinsic Calculus on the Wasserstein Space: Standing Notation, let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be a penalty pair on $\mathcal{P}_{2}(\mathbb{R}^{d})$, let $\delta\in\mathbb{R}$ be positive, let $Q\subseteq\mathcal{P}_{2}(\mathbb{R}^{d})$ and let $\chi$ be an intrinsic test function on $Q$, with gradient along couplings $\nabla\chi(\mu)$ at $\mu\in Q$ and translation Hessian $H_{\chi}(\mu)$. The functions $\chi-\delta\mathcal{E}$ and $\chi+\delta\mathcal{E}$ on $\mathcal{D}$ take the values $\chi(\mu)-\delta\,\mathcal{E}(\mu)$ and $\chi(\mu)+\delta\,\mathcal{E}(\mu)$ at $\mu\in\mathcal{D}$, and local maxima and local minima relative to $\mathcal{D}$ are taken in the metric space $(\mathcal{P}_{2}(\mathbb{R}^{d}),W_{2})$. The zero matrix $0_{d}$ of the set $\mathcal{S}(d)$ of symmetric real $d\times d$ matrices and its order $\preceq$ are those fixed there. For $\mu\in Q\cap\mathcal{D}_{\Sigma}$ both $\nabla\chi(\mu)$ and the score $\Sigma(\mu)$ lie in $T_{\mu}$, by property (b) of Intrinsic Test Functions on the Wasserstein Space and Their Translation Hessians §test and by Penalty Pairs on the Wasserstein Space: the Penalty, Its Score, and Their Domains §pair. Then the following hold.

1. (Penalised maximum)¶ Let $\hat{\mu}\in Q\cap\mathcal{D}_{\Sigma}$ be a point at which the function $\chi-\delta\mathcal{E}$ has a local maximum relative to $\mathcal{D}$. Then

2. (Penalised minimum)¶ Let $\hat{\mu}\in Q\cap\mathcal{D}_{\Sigma}$ be a point at which the function $\chi+\delta\mathcal{E}$ has a local minimum relative to $\mathcal{D}$. Then