1: \begin{definition}[Infinitesimal cost]

2: \label{def: infinitesimal cost}

3: In the following, an infinitesimal cost is a function $f: \Omega \times \R \times \R^d \times \R \to \R_+ \cup \{+ \infty \}$ such that for all $x\in \Omega$, $f(x,\cdot,\cdot,\cdot)$ is convex, positively 1-homogeneous, lower semicontinuous and satisfies

4: \[

5: f(x,\rho,\omega,\zeta) 

6: \begin{cases}

7: = 0 & \tn{if } (\omega,\zeta) = (0,0) \tn{ and } \rho \geq 0\\

8: > 0 & \tn{if } | \omega | \tn{ or } |\zeta| > 0 \\

9: = + \infty & \tn{if } \rho<0 \, .

10: \end{cases}

11: \]

12: 

13: For Theorem \ref{th: continuous static general}, we also require (i) that there exists continuous functions $\lambda_i : \Om \to \R_+^*, \, i\in \{1,\dots , N\}$ such that 

14: \begin{equation}\label{continuity assumption}

15: f(x,\rho,\omega,\zeta) = \sum_{i=1}^N \lambda_i(x) \tilde{f}_i(\rho,\omega,\zeta)

16: \end{equation}

17: where each $\tilde{f}_i$ satisfies an integrability condition: there exists $C_i>0$ such that $|\tilde{f}_i(\cdot)|\leq C_i \max_x f(x,\cdot)$

18: %

19: and (ii) a non-degeneracy condition : there exists $C>0$ such that $f(x,\rho,\omega,2\zeta)\leq C \cdot f(x,\rho,\omega,\zeta)$, for all $(x,\rho,\omega,\zeta) \in \Omega \times \R \times \R^d \times \R$.

20: \end{definition}

21: