Obtener una estimación para el Lagrangiano $L=H^*$ del hamiltoniano $H$

Question

Esto es de C. Evans' PDE libro, página 130. La función convexa $H:\mathbb{R}^n\to\mathbb{R}$ $C^2$ y satisface $$ H\big(\frac{p_1+p_2}{2}\big) \leq \frac{1}{2}H(p_1) + \frac{1}{2}H(p_2) - \frac{\theta}{8}|p_1-p_2|^2. $$ The lagrangian $L$ is defined as the Legendre transform of $H$: $$ L(v)=(H^*)(v)=\max_{p\in\mathbb{R}^n}p\cdot v - H (p). $$ It's a fact that the statements $p\cdot v = L(v) + H(p), $ $ p=DL(v), $ $v=DH(p)$ son equivalentes.

Uno debe mostrar que, desde el cálculo anterior se deduce que $$ \frac{1}{2}L(v_1)+\frac{1}{2}L(v_2)\leq L\big(\frac{v_1+v_2}{2}\big) + \frac{1}{8\theta}|v_1-v_2|^2.$$ no he sido capaz de demostrar esto. A continuación se muestra una captura de pantalla de el libro de la página.

Gracias.

Answer 1

Como tu sugerencia, dice, para cada $q_1, q_2 \in \mathbb R^n$ existe $p_1, p_2 \in \mathbb R^n$ tal que $L(q_j) = p_j \cdot q_j - H(p_j)$$j \in \{1,2\}$. La combinación con el de la desigualdad de la $H$,

\begin{align} \frac{1}{2} L(q_1) + \frac{1}{2} L(q_2) &= \frac{p_1 \cdot q_1 + p_2 \cdot q_2}{2} - \frac{1}{2} H(p_1) - \frac{1}{2} H(p_2) \\ &\leq \frac{p_1 \cdot q_1 + p_2 \cdot q_2}{2} - H\left(\frac{p_1+p_2}{2}\right) - \frac{\theta}{8} \lvert p_1 - p_2\rvert^2. \end{align}

Tenga en cuenta que

\begin{align} \frac{p_1 \cdot q_1 + p_2 \cdot q_2}{2} - H\left(\frac{p_1+p_2}{2}\right) &= \frac{p_1 - p_2}{2} \cdot \frac{q_1 - q_2}{2} + \frac{p_1 + p_2}{2} \cdot \frac{q_1 + q_2}{2} - H\left(\frac{p_1+p_2}{2}\right) \\ &\leq \frac{p_1 - p_2}{2} \cdot \frac{q_1 - q_2}{2} + \max_{p \in \mathbb R^n} \left(p \cdot \frac{q_1 + q_2}{2} - H(p)\right) \\ &= \frac{p_1 - p_2}{2} \cdot \frac{q_1 - q_2}{2} + L\left(\frac{q_1 + q_2}{2}\right), \end{align}

lo que significa que

$$ \frac{1}{2} L(q_1) + \frac{1}{2} L(q_2) \leq L\left(\frac{q_1 + q_2}{2}\right) - \frac{\theta \lvert p_1 - p_2\rvert^2 - 2(p_1 - p_2) \cdot (q_1 - q_2)}{8}. $$

El deseado de la desigualdad de la $L$ es ahora inmediata del hecho de que

$$ \left\lvert \sqrt\theta (p_1 - p_2) - \frac{q_1 - q_2}{\sqrt\theta}\right\rvert^2 \geq 0. $$