1: \begin{proof}

2: Writing $w^\delta$ in the form

3: \begin{equation*}

4: w^\delta(y) = \lambda v^\delta(y,\omega;p) = \lambda \big( (q-p)\cdot y + v^\delta(y,\omega;p) \big) + (1-\lambda)\left( \frac{\lambda(q-p)}{1-\lambda} \cdot y \right)

5: \end{equation*}

6: and using the convexity of $H$, we find that, formally,

7: \begin{equation*}

8: H(q+Dw^\delta(y),y,\omega) \leq \lambda H(p+Dv^\delta(y,\omega;p) ) + (1-\lambda) H\left( \frac{q-\lambda p}{1-\lambda},y,\omega\right).

9: \end{equation*}

10: Therefore, formally we have

11: \begin{multline*}

12: \delta w^\delta -\tr\!\left( A(y,\omega)D^2w^\delta\right) + H( q + Dw^\delta ,y,\omega) -(1-\lambda) H\left( \frac{q-\lambda p}{1-\lambda},y,\omega\right) \\

13:  \leq \lambda \left( \delta v^\delta(y,\omega;p) - \tr\!\left( A(y,\omega)D^2v^\delta(y,\omega;p) \right) + H( p + Dv^\delta(y,\omega;p) ,y,\omega) \right) = 0.

14: \end{multline*}

15: This inequality is easy to confirm in the viscosity sense by performing an analogous calculation with smooth test functions. We have proved \eqref{movepdn}.

16: 

17: The proof of \eqref{movepup} is similar. Expressing $v^\delta(\cdot; p)$ in terms of $w^\delta$ as

18: \begin{equation*}

19: v^\delta(y,\omega;p) = \lambda^{-1} \big( (p-q)\cdot y + w^\delta(y) \big) + (1-\lambda^{-1}) \left( \frac{\lambda(q-p)}{1-\lambda} \cdot y\right),

20: \end{equation*}

21: we use again the convexity of $H$ to find that, formally,

22: \begin{equation*}

23: H(p+Dv^\delta(y,\omega;p) ) \leq \lambda^{-1} H(q+Dw^\delta(y)) + (1-\lambda^{-1}) H\left( \frac{q-\lambda p}{1-\lambda},y,\omega\right).

24: \end{equation*}

25: From this we formally obtain \eqref{movepup}. The derivation is once again made rigorous with smooth test functions. 

26: \end{proof}

27: