considérons une famille de difféomorphisme de la forme


est choisi de sorte que $\partial_{z} >0$, ce qui garantit que
un difféomorphisme.peut être

ou $\beta$ est une extension choisie sur définie par

on note



comment peut on définir l'opérateur par exemple d'un scalaire f ?