d8b335ddf4b9c247.tex
1: \begin{definition}\label{Def.14}
2:  For any $a,b\in\Omega$ and $x\in\cR^n$, we define
3: \bqq
4: v_{a,b}&\triangleq&\frac{1}{2}(D_af+D_bf)+\frac{\kappa}{2}(b-a),\\
5: \alpha_{a,b}&\triangleq& 2\kappa(f_a-f_b)+\kappa\left\langle D_a f+D_b f,b-a\right\rangle-\frac{1}{2}\|D_a f-D_b f\|^2+\frac{\kappa^2}{2}\|a-b\|^2\\
6: &\triangleq& (\kappa A_{a,b}(F)-\frac{B_{a,b}(F)^2}{2}+\frac{\kappa^2}{2})\|a-b\|^2,\\
7: \beta_{a,b}(x)&\triangleq&\left\|\frac{1}{2}(D_af-D_bf)+\frac{\kappa}{2}(2x-a-b)\right\|^2,\\
8: \eqq
9: We know (see [\cite{ELG1}, Theorem 2.6]) that  $\alpha_{a,b}\ge 0$ thus we can define
10: \bqq
11: r_{a,b}(x)&\triangleq&\sqrt{\alpha_{a,b}+\beta_{a,b}(x)},\\
12: \Lambda_x&\triangleq&\left\{v\in\cR^n:\|v-v_{a,b}\|\le r_{a,b}(x),\forall a,b\in\Omega\right\}.
13: \eqq
14: \end{definition}
15: